test/Analysis/PostDominators/pr6047_d.ll

   1 ; RUN: opt < %s -postdomtree -analyze | FileCheck %s
   2 define internal void @f() {
   3 entry:
   4   br i1 1, label %a, label %b
   5
   6 a:
   7 br label %c
   8
   9 b:
  10 br label %c
  11
  12 c:
  13   br i1 undef, label %bb35, label %bb3.i
  14
  15 bb3.i:
  16   br label %bb3.i
  17
  18 bb35.loopexit3:
  19   br label %bb35
  20
  21 bb35:
  22   ret void
  23 }
  24 ; CHECK: Inorder PostDominator Tree:
  25 ; CHECK-NEXT:   [1]  <<exit node>>
  26 ; CHECK-NEXT:     [2] %bb35
  27 ; CHECK-NEXT:       [3] %bb35.loopexit3
  28 ; CHECK-NEXT:     [2] %c
  29 ; CHECK-NEXT:       [3] %a
  30 ; CHECK-NEXT:       [3] %entry
  31 ; CHECK-NEXT:       [3] %b
  32 ; CHECK-NEXT:     [2] %bb3.i