aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/Dominators/invoke.ll
blob: ce5f992d8f4ea7d8e071d1cd7406dfbe68a98597 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
; 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, 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()