test/Bitcode/inalloca.ll

   1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
   2 ; RUN: verify-uselistorder < %s
   3
   4 ; inalloca should roundtrip.
   5
   6 define void @foo(i32* inalloca %args) {
   7   ret void
   8 }
   9 ; CHECK-LABEL: define void @foo(i32* inalloca %args)
  10
  11 define void @bar() {
  12   ; Use the maximum alignment, since we stuff our bit with alignment.
  13   %args = alloca inalloca i32, align 536870912
  14   call void @foo(i32* inalloca %args)
  15   ret void
  16 }
  17 ; CHECK-LABEL: define void @bar() {
  18 ; CHECK: %args = alloca inalloca i32, align 536870912
  19 ; CHECK: call void @foo(i32* inalloca %args)