X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2F2006-10-15-AddrLabel.ll;h=decbf5ba42bbcd3471ae59952ab723c0ccfd50e6;hb=b3cabb44c32b5a3aba9b4d23aae9723d498ea7a9;hp=e2c0e603c33ad8bce880e342d3abe372acbdeca0;hpb=83935ac59d5f1760cb127a57e48bb74712ef9507;p=oota-llvm.git diff --git a/test/Verifier/2006-10-15-AddrLabel.ll b/test/Verifier/2006-10-15-AddrLabel.ll index e2c0e603c33..decbf5ba42b 100644 --- a/test/Verifier/2006-10-15-AddrLabel.ll +++ b/test/Verifier/2006-10-15-AddrLabel.ll @@ -1,9 +1,10 @@ -; RUN: not llvm-as < %s > /dev/null |& \ -; RUN: grep {Cannot form a pointer to a basic block} +; RUN: not llvm-as < %s > /dev/null 2> %t +; RUN: FileCheck %s --input-file=%t +; CHECK: basic block pointers are invalid define i32 @main() { %foo = call i8* %llvm.stacksave() %foop = bitcast i8* %foo to label* %nret = load label* %foop - br label %nret; + br label %nret }