X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2F2006-10-15-AddrLabel.ll;h=e2c0e603c33ad8bce880e342d3abe372acbdeca0;hb=9a036b945c67aeb44093c6c515e4b85e21094335;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..e2c0e603c33 100644
--- a/test/Verifier/2006-10-15-AddrLabel.ll
+++ b/test/Verifier/2006-10-15-AddrLabel.ll
@@ -1,9 +1,9 @@
-; 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 |& \
+; RUN:    grep {Cannot form a pointer to a basic block}
 
-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;
 }