llvm/test/Assembler/byval-type-attr.ll

   1 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
   2
   3 ; CHECK: define void @foo(i32* byval(i32) align 4 %0)
   4 define void @foo(i32* byval(i32) align 4 %0) {
   5   ret void
   6 }
   7
   8 ; CHECK: define void @bar({ i32*, i8 }* byval({ i32*, i8 }) align 4 %0)
   9 define void @bar({i32*, i8}* byval({i32*, i8}) align 4 %0) {
  10   ret void
  11 }
  12
  13 define void @caller({ i32*, i8 }* %ptr) personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
  14 ; CHECK: call void @bar({ i32*, i8 }* byval({ i32*, i8 }) %ptr)
  15 ; CHECK: invoke void @bar({ i32*, i8 }* byval({ i32*, i8 }) %ptr)
  16   call void @bar({i32*, i8}* byval({i32*, i8}) %ptr)
  17   invoke void @bar({i32*, i8}* byval({i32*, i8}) %ptr) to label %success unwind label %fail
  18
  19 success:
  20   ret void
  21
  22 fail:
  23   landingpad { i8*, i32 } cleanup
  24   ret void
  25 }
  26
  27 ; CHECK: declare void @baz([8 x i8]* byval([8 x i8]))
  28 %named_type = type [8 x i8]
  29 declare void @baz(%named_type* byval(%named_type))
  30
  31 declare i32 @__gxx_personality_v0(...)
  32
  33 %0 = type opaque
  34
  35 ; CHECK: define void @anon({ %0* }* byval({ %0* }) %arg)
  36 ; CHECK:   call void @anon_callee({ %0* }* byval({ %0* }) %arg)
  37 define void @anon({ %0* }* byval({ %0* }) %arg) {
  38   call void @anon_callee({ %0* }* byval({ %0* }) %arg)
  39   ret void
  40 }
  41
  42 ; CHECK: declare void @anon_callee({ %0* }* byval({ %0* }))
  43 declare void @anon_callee({ %0* }* byval({ %0* }))