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 |
+} |
+ |