; RUN: opt < %s -postdomtree -analyze | FileCheck %s
define internal void @f() {
entry:
br i1 undef, label %bb35, label %bb3.i
bb3.i:
br label %bb3.i
bb:
br label %bb35
bb.i:
br label %bb35
_float32_unpack.exit:
br label %bb35
bb.i5:
br label %bb35
_float32_unpack.exit8:
br label %bb35
bb32.preheader:
br label %bb35
bb3:
br label %bb35
bb3.split.us:
br label %bb35
bb.i4.us:
br label %bb35
bb7.i.us:
br label %bb35
bb.i4.us.backedge:
br label %bb35
bb1.i.us:
br label %bb35
bb6.i.us:
br label %bb35
bb4.i.us:
br label %bb35
bb8.i.us:
br label %bb35
bb3.i.loopexit.us:
br label %bb35
bb.nph21:
br label %bb35
bb4:
br label %bb35
bb5:
br label %bb35
bb14.preheader:
br label %bb35
bb.nph18:
br label %bb35
bb8.us.preheader:
br label %bb35
bb8.preheader:
br label %bb35
bb8.us:
br label %bb35
bb8:
br label %bb35
bb15.loopexit:
br label %bb35
bb15.loopexit2:
br label %bb35
bb15:
br label %bb35
bb16:
br label %bb35
bb17.loopexit.split:
br label %bb35
bb.nph14:
br label %bb35
bb19:
br label %bb35
bb20:
br label %bb35
bb29.preheader:
br label %bb35
bb.nph:
br label %bb35
bb23.us.preheader:
br label %bb35
bb23.preheader:
br label %bb35
bb23.us:
br label %bb35
bb23:
br label %bb35
bb30.loopexit:
br label %bb35
bb30.loopexit1:
br label %bb35
bb30:
br label %bb35
bb31:
br label %bb35
bb35.loopexit:
br label %bb35
bb35.loopexit3:
br label %bb35
bb35:
ret void
}
; CHECK: [3] %entry