X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2Finvoke-2.ll;h=0145935a1a785c0b486d54f31d9e403bcebc42bf;hb=7787800481ad854eed5d976778dd493eb49bfaf9;hp=b3a5750fee5a2d3eb7bf603c10995f78a2dd68be;hpb=adbb6383a9cca4ef43aec3b6c0add25d1f243eda;p=oota-llvm.git

diff --git a/test/Verifier/invoke-2.ll b/test/Verifier/invoke-2.ll
index b3a5750fee5..0145935a1a7 100644
--- a/test/Verifier/invoke-2.ll
+++ b/test/Verifier/invoke-2.ll
@@ -1,13 +1,14 @@
-; RUN: not llvm-as < %s -o /dev/null -f
+; RUN: not llvm-as %s |& grep {not verify as correct}
 ; PR1042
 
-int %foo() {
-        br bool false, label %L1, label %L2
-L1:
-        %A = invoke int %foo() to label %L unwind label %L
-
-L2:
-        br label %L
-L:
-        ret int %A
+define i32 @foo() {
+	br i1 false, label %L1, label %L2
+L1:		; preds = %0
+	%A = invoke i32 @foo( )
+			to label %L unwind label %L		; <i32> [#uses=1]
+L2:		; preds = %0
+	br label %L
+L:		; preds = %L2, %L1, %L1
+	ret i32 %A
 }
+