llvm-project/llvm/test/Verifier/invoke-2.ll

15 lines
289 B
LLVM

; RUN: not llvm-as %s -f |& grep {not verify as correct}
; PR1042
define i32 @foo() {
br i1 false, label %L1, label %L2
L1: ; preds = %0
%A = invoke i32 @foo( )
to label %L unwind label %L ; <i32> [#uses=1]
L2: ; preds = %0
br label %L
L: ; preds = %L2, %L1, %L1
ret i32 %A
}