test/Bitcode/inalloca.ll

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