Home | History | Annotate | Download | only in Dominators
      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()
     20