test/Analysis/Dominators/invoke.ll

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