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