test/Verifier/2006-10-15-AddrLabel.ll

   1 ; RUN: llvm-upgrade %s | not llvm-as -o /dev/null -f &&
   2 ; RUN: llvm-upgrade %s | llvm-as -o /dev/null -f 2>&1 | grep 'Cannot form'
   3
   4 int %main() {
   5          %foo  = call sbyte* %llvm.stacksave()
   6          %foop = cast sbyte* %foo to label*
   7          %nret = load label* %foop
   8          br label %nret;
   9 }