1; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
2; RUN: verify-uselistorder %s
3
4declare void @llvm.metadata(metadata)
5
6define void @foo(i32 %arg) {
7entry:
8  %before = alloca i32
9  call void @llvm.metadata(metadata i32 %arg)
10  call void @llvm.metadata(metadata i32* %after)
11  call void @llvm.metadata(metadata i32* %before)
12  %after = alloca i32
13  ret void
14
15; CHECK: %before = alloca i32
16; CHECK: call void @llvm.metadata(metadata i32 %arg)
17; CHECK: call void @llvm.metadata(metadata i32* %after)
18; CHECK: call void @llvm.metadata(metadata i32* %before)
19; CHECK: %after = alloca i32
20}
21