llvm/test/Linker/inalloca-types.ll

   1 ; RUN: llvm-link %s %p/Inputs/inalloca-type-input.ll -S | FileCheck %s
   2
   3 %a = type { i64 }
   4 %struct = type { i32, i8 }
   5
   6 ; CHECK-LABEL: define void @f(%a* inalloca(%a) %0)
   7 define void @f(%a* inalloca(%a)) {
   8   ret void
   9 }
  10
  11 ; CHECK-LABEL: define void @bar(
  12 ; CHECK: call void @foo(%struct* inalloca(%struct) %ptr)
  13 define void @bar() {
  14   %ptr = alloca inalloca %struct
  15   call void @foo(%struct* inalloca(%struct) %ptr)
  16   ret void
  17 }
  18
  19 ; CHECK-LABEL: define void @g(%a* inalloca(%a) %0)
  20
  21 ; CHECK-LABEL: define void @foo(%struct* inalloca(%struct) %a)
  22 ; CHECK-NEXT:   call void @baz(%struct* inalloca(%struct) %a)
  23 declare void @foo(%struct* inalloca(%struct) %a)
  24
  25 ; CHECK: declare void @baz(%struct* inalloca(%struct))