X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2F2006-10-15-AddrLabel.ll;h=0b73b47893c5845ef5022585ba542973fd4a8e6d;hb=4845f990081d466ad193d90d1cd6f1d0eb910309;hp=40bd2e83b0ba9fca04b2e9f91e7f919d105fe952;hpb=a5ce97b15a1835fbcbe8a33642fde13ce49501d3;p=oota-llvm.git diff --git a/test/Verifier/2006-10-15-AddrLabel.ll b/test/Verifier/2006-10-15-AddrLabel.ll index 40bd2e83b0b..0b73b47893c 100644 --- a/test/Verifier/2006-10-15-AddrLabel.ll +++ b/test/Verifier/2006-10-15-AddrLabel.ll @@ -1,9 +1,8 @@ -; RUN: llvm-upgrade %s | not llvm-as -o /dev/null -f && -; RUN: llvm-upgrade %s | llvm-as -o /dev/null -f 2>&1 | grep 'Cannot form' +; RUN: not llvm-as < %s > /dev/null |& grep {basic block pointers are invalid} -int %main() { - %foo = call sbyte* %llvm.stacksave() - %foop = cast sbyte* %foo to label* +define i32 @main() { + %foo = call i8* %llvm.stacksave() + %foop = bitcast i8* %foo to label* %nret = load label* %foop - br label %nret; + br label %nret }