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=7c68d94f67acb3d5a7f419adcdda8947caa4e56a;hpb=1d4b6bfd3e3b03ec0bcd81bc3116173876c81c6e;p=oota-llvm.git

diff --git a/test/Verifier/2006-10-15-AddrLabel.ll b/test/Verifier/2006-10-15-AddrLabel.ll
index 7c68d94f67a..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 -o /dev/null -f &&
-; RUN: llvm-as %s -o /dev/null -f 2>&1 | grep 'Cannot form'
+; RUN: not llvm-as < %s > /dev/null 2> %t
+; RUN: FileCheck %s --input-file=%t
+; CHECK: 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
 }