1; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
2; RUN: verify-uselistorder %s
3
4define void @foo() {
5entry:
6; CHECK: %alloc32 = alloca i1, align 8
7; CHECK: %alloc64 = alloca i1, i64 1, align 8
8  %alloc32 = alloca i1, i32 1, align 8
9  %alloc64 = alloca i1, i64 1, align 8
10  unreachable
11}
12