| Index: test/NaCl/PNaClLLC/test-runs-verify.ll
|
| diff --git a/test/NaCl/PNaClLLC/test-runs-verify.ll b/test/NaCl/PNaClLLC/test-runs-verify.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..9e7c9d32a5cb48f3e891b4d0a91b07d8eb2268e8
|
| --- /dev/null
|
| +++ b/test/NaCl/PNaClLLC/test-runs-verify.ll
|
| @@ -0,0 +1,13 @@
|
| +; RUN: not pnacl-llc -mtriple=i386-unknown-nacl -filetype=asm %s -o - 2>&1 | FileCheck %s
|
| +
|
| +; Test that the Verifier pass is running in pnacl-llc.
|
| +
|
| +define i32 @f1(i32 %x) {
|
| + %y = add i32 %z, 1
|
| + %z = add i32 %x, 1
|
| + ret i32 %y
|
| +; CHECK: Instruction does not dominate all uses!
|
| +; CHECK-NEXT: %z = add i32 %x, 1
|
| +; CHECK-NEXT: %y = add i32 %z, 1
|
| +}
|
| +
|
|
|