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

diff --git a/test/Verifier/AmbiguousPhi.ll b/test/Verifier/AmbiguousPhi.ll
index 7da71b05162..9a725301877 100644
--- a/test/Verifier/AmbiguousPhi.ll
+++ b/test/Verifier/AmbiguousPhi.ll
@@ -1,8 +1,10 @@
+; RUN: not llvm-as < %s |& grep {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
 }