| ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s | |
| ; RUN: verify-uselistorder %s | |
| declare void @llvm.metadata(metadata) | |
| define void @foo(i32 %arg) { | |
| entry: | |
| %before = alloca i32 | |
| call void @llvm.metadata(metadata i32 %arg) | |
| call void @llvm.metadata(metadata i32* %after) | |
| call void @llvm.metadata(metadata i32* %before) | |
| %after = alloca i32 | |
| ret void | |
| ; CHECK: %before = alloca i32 | |
| ; CHECK: call void @llvm.metadata(metadata i32 %arg) | |
| ; CHECK: call void @llvm.metadata(metadata i32* %after) | |
| ; CHECK: call void @llvm.metadata(metadata i32* %before) | |
| ; CHECK: %after = alloca i32 | |
| } |