Home | History | Annotate | Download | only in Verifier
      1 ; RUN: not llvm-as < %s > /dev/null 2> %t
      2 ; RUN: FileCheck %s --input-file=%t
      3 ; CHECK: basic block pointers are invalid
      4 
      5 define i32 @main() {
      6          %foo  = call i8* %llvm.stacksave()
      7          %foop = bitcast i8* %foo to label*
      8          %nret = load label, label* %foop
      9          br label %nret
     10 }
     11