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

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