; RUN: llvm-as < %s | llvm-dis | FileCheck %s
; RUN: verify-uselistorder < %s

; inalloca should roundtrip.

define void @foo(i32* inalloca(i32) %args) {
  ret void
}
; CHECK-LABEL: define void @foo(i32* inalloca(i32) %args)

define void @bar() {
  ; Use the maximum alignment, since we stuff our bit with alignment.
  %args = alloca inalloca i32, align 4294967296
  call void @foo(i32* inalloca(i32) %args)
  ret void
}
; CHECK-LABEL: define void @bar() {
; CHECK: %args = alloca inalloca i32, align 4294967296
; CHECK: call void @foo(i32* inalloca(i32) %args)