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: [4] %entry