Taints the non-acquire RMW's store address with the load part

[oota-llvm.git] / test / Verifier / AmbiguousPhi.ll

diff --git a/test/Verifier/AmbiguousPhi.ll b/test/Verifier/AmbiguousPhi.ll
index f64ec3fd77e42f155033f5267b578a2408328b77..cb05a728262920ce82bcafde1761e475c44db02f 100644 (file)
--- a/test/Verifier/AmbiguousPhi.ll
+++ b/test/Verifier/AmbiguousPhi.ll
@@ -1,10 +1,9 @@
-; RUN: not llvm-as -f %s -o /dev/null
+; RUN: not llvm-as < %s 2>&1 | FileCheck %s
+; CHECK: multiple entries for the same basic block
 
-
-
-int "test"(int %i, int %j, bool %c) {
-       br bool %c, label %A, label %A
+define i32 @test(i32 %i, i32 %j, i1 %c) {
+       br i1 %c, label %A, label %A
 A:
-       %a = phi int [%i, %0], [%j, %0]  ; Error, different values from same block!
-       ret int %a
+       %a = phi i32 [%i, %0], [%j, %0]  ; Error, different values from same block!
+       ret i32 %a
 }