mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-28 22:29:56 +00:00
verifier does. This correctly handles invoke. Thanks to Duncan, Andrew and Chris for the comments. Thanks to Joerg for the early testing. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151469 91177308-0d34-0410-b5e6-96231b3b80d8
20 lines
558 B
LLVM
20 lines
558 B
LLVM
; RUN: opt -verify -disable-output %s
|
|
; This tests that we handle unreachable blocks correctly
|
|
|
|
define void @f() {
|
|
%v1 = invoke i32* @g()
|
|
to label %bb1 unwind label %bb2
|
|
invoke void @__dynamic_cast()
|
|
to label %bb1 unwind label %bb2
|
|
bb1:
|
|
%Hidden = getelementptr inbounds i32* %v1, i64 1
|
|
ret void
|
|
bb2:
|
|
%lpad.loopexit80 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
|
|
cleanup
|
|
ret void
|
|
}
|
|
declare i32 @__gxx_personality_v0(...)
|
|
declare void @__dynamic_cast()
|
|
declare i32* @g()
|