; 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: Inorder PostDominator Tree:
; CHECK-NEXT:   [1]  <<exit node>>
; CHECK-NEXT:     [2] %bb35
; CHECK-NEXT:       [3] %bb
; CHECK-NEXT:       [3] %bb.i
; CHECK-NEXT:       [3] %_float32_unpack.exit
; CHECK-NEXT:       [3] %bb.i5
; CHECK-NEXT:       [3] %_float32_unpack.exit8
; CHECK-NEXT:       [3] %bb32.preheader
; CHECK-NEXT:       [3] %bb3
; CHECK-NEXT:       [3] %bb3.split.us
; CHECK-NEXT:       [3] %bb.i4.us
; CHECK-NEXT:       [3] %bb7.i.us
; CHECK-NEXT:       [3] %bb.i4.us.backedge
; CHECK-NEXT:       [3] %bb1.i.us
; CHECK-NEXT:       [3] %bb6.i.us
; CHECK-NEXT:       [3] %bb4.i.us
; CHECK-NEXT:       [3] %bb8.i.us
; CHECK-NEXT:       [3] %bb3.i.loopexit.us
; CHECK-NEXT:       [3] %bb.nph21
; CHECK-NEXT:       [3] %bb4
; CHECK-NEXT:       [3] %bb5
; CHECK-NEXT:       [3] %bb14.preheader
; CHECK-NEXT:       [3] %bb.nph18
; CHECK-NEXT:       [3] %bb8.us.preheader
; CHECK-NEXT:       [3] %bb8.preheader
; CHECK-NEXT:       [3] %bb8.us
; CHECK-NEXT:       [3] %bb8
; CHECK-NEXT:       [3] %bb15.loopexit
; CHECK-NEXT:       [3] %bb15.loopexit2
; CHECK-NEXT:       [3] %bb15
; CHECK-NEXT:       [3] %bb16
; CHECK-NEXT:       [3] %bb17.loopexit.split
; CHECK-NEXT:       [3] %bb.nph14
; CHECK-NEXT:       [3] %bb19
; CHECK-NEXT:       [3] %bb20
; CHECK-NEXT:       [3] %bb29.preheader
; CHECK-NEXT:       [3] %bb.nph
; CHECK-NEXT:       [3] %bb23.us.preheader
; CHECK-NEXT:       [3] %bb23.preheader
; CHECK-NEXT:       [3] %bb23.us
; CHECK-NEXT:       [3] %bb23
; CHECK-NEXT:       [3] %bb30.loopexit
; CHECK-NEXT:       [3] %bb30.loopexit1
; CHECK-NEXT:       [3] %bb30
; CHECK-NEXT:       [3] %bb31
; CHECK-NEXT:       [3] %bb35.loopexit
; CHECK-NEXT:       [3] %bb35.loopexit3
; CHECK-NEXT:     [2] %entry
; CHECK-NEXT:     [2] %bb3.i
; CHECK-NEXT: Roots: %bb35 %bb3.i