X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2FAmbiguousPhi.ll;h=cb05a728262920ce82bcafde1761e475c44db02f;hb=318b7cc7f10d41370929ff93274de29c11f87b81;hp=7da71b0516264cd072ef073101f269af9a7d0738;hpb=23e07e73a8d05902278d506eba34b321e2302bb6;p=oota-llvm.git

diff --git a/test/Verifier/AmbiguousPhi.ll b/test/Verifier/AmbiguousPhi.ll
index 7da71b05162..cb05a728262 100644
--- a/test/Verifier/AmbiguousPhi.ll
+++ b/test/Verifier/AmbiguousPhi.ll
@@ -1,8 +1,9 @@
+; 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
 }