aboutsummaryrefslogtreecommitdiffstats
path: root/test/Verifier/2006-10-15-AddrLabel.ll
blob: bd2c40da14f5019c841e98fe5eb7537c3a8a6050 (plain)
1
2
3
4
5
6
7
8
9
10
; RUN: not llvm-as < %s > /dev/null 2> %t
; RUN: FileCheck %s --input-file=%t
; CHECK: basic block pointers are invalid

define i32 @main() {
         %foo  = call i8* %llvm.stacksave()
         %foop = bitcast i8* %foo to label*
         %nret = load label, label* %foop
         br label %nret
}