X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2Finvoke-2.ll;h=9201f4d9fb0a689198cef15179e134cbfac30bc9;hb=6fa1c051dc515b6fd1f9a26ac12fed985469bff5;hp=5ab038648dbd2cc2d1bb6e034d764603bad8d07a;hpb=1451afe0e4367e703d76d5c282eb89acf1c60c17;p=oota-llvm.git diff --git a/test/Verifier/invoke-2.ll b/test/Verifier/invoke-2.ll index 5ab038648db..9201f4d9fb0 100644 --- a/test/Verifier/invoke-2.ll +++ b/test/Verifier/invoke-2.ll @@ -1,13 +1,14 @@ -; RUN: llvm-upgrade < %s | not llvm-as -f &| grep {not verify as correct} +; RUN: not llvm-as %s -f |& 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 ; [#uses=1] +L2: ; preds = %0 + br label %L +L: ; preds = %L2, %L1, %L1 + ret i32 %A } +