-; 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 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
}