1; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2; RUN: verify-uselistorder < %s
3
4; inalloca should roundtrip.
5
6define void @foo(i32* inalloca %args) {
7  ret void
8}
9; CHECK-LABEL: define void @foo(i32* inalloca %args)
10
11define 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)
20