test/Analysis/PostDominators/pr6047_a.ll

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