xref: /llvm-project/llvm/test/Analysis/Dominators/invoke.ll (revision 1aee1e1f4c4b504becc06521546de992a662694b) 
1; RUN: opt -passes=verify -disable-output < %s
2; This tests that we handle unreachable blocks correctly
3
4define void @f() personality ptr @__gxx_personality_v0 {
5  %v1 = invoke ptr @g()
6          to label %bb1 unwind label %bb2
7  invoke void @__dynamic_cast()
8          to label %bb1 unwind label %bb2
9bb1:
10  %Hidden = getelementptr inbounds i32, ptr %v1, i64 1
11  ret void
12bb2:
13  %lpad.loopexit80 = landingpad { ptr, i32 }
14          cleanup
15  ret void
16}
17declare i32 @__gxx_personality_v0(...)
18declare void @__dynamic_cast()
19declare ptr @g()
20