test/Analysis/PostDominators/pr6047_b.ll

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