blob: 84abe176d65e992a6af8e0f6d27a801c4e5ffbce [file] [log] [blame]
Reid Kleckner55a421f2014-07-16 01:34:27 +00001; RUN: llvm-as < %s | llvm-dis | FileCheck %s
Duncan P. N. Exon Smith13f5c582014-08-19 21:08:27 +00002; RUN: verify-uselistorder < %s
Reid Kleckner55a421f2014-07-16 01:34:27 +00003
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)