test/Analysis/PostDominators/pr6047_c.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 bb:
  10   br label %bb35
  11
  12 bb.i:
  13   br label %bb35
  14
  15 _float32_unpack.exit:
  16   br label %bb35
  17
  18 bb.i5:
  19   br label %bb35
  20
  21 _float32_unpack.exit8:
  22   br label %bb35
  23
  24 bb32.preheader:
  25   br label %bb35
  26
  27 bb3:
  28   br label %bb35
  29
  30 bb3.split.us:
  31   br label %bb35
  32
  33 bb.i4.us:
  34   br label %bb35
  35
  36 bb7.i.us:
  37   br label %bb35
  38
  39 bb.i4.us.backedge:
  40   br label %bb35
  41
  42 bb1.i.us:
  43   br label %bb35
  44
  45 bb6.i.us:
  46   br label %bb35
  47
  48 bb4.i.us:
  49   br label %bb35
  50
  51 bb8.i.us:
  52   br label %bb35
  53
  54 bb3.i.loopexit.us:
  55   br label %bb35
  56
  57 bb.nph21:
  58   br label %bb35
  59
  60 bb4:
  61   br label %bb35
  62
  63 bb5:
  64   br label %bb35
  65
  66 bb14.preheader:
  67   br label %bb35
  68
  69 bb.nph18:
  70   br label %bb35
  71
  72 bb8.us.preheader:
  73   br label %bb35
  74
  75 bb8.preheader:
  76   br label %bb35
  77
  78 bb8.us:
  79   br label %bb35
  80
  81 bb8:
  82   br label %bb35
  83
  84 bb15.loopexit:
  85   br label %bb35
  86
  87 bb15.loopexit2:
  88   br label %bb35
  89
  90 bb15:
  91   br label %bb35
  92
  93 bb16:
  94   br label %bb35
  95
  96 bb17.loopexit.split:
  97   br label %bb35
  98
  99 bb.nph14:
 100   br label %bb35
 101
 102 bb19:
 103   br label %bb35
 104
 105 bb20:
 106   br label %bb35
 107
 108 bb29.preheader:
 109   br label %bb35
 110
 111 bb.nph:
 112   br label %bb35
 113
 114 bb23.us.preheader:
 115   br label %bb35
 116
 117 bb23.preheader:
 118   br label %bb35
 119
 120 bb23.us:
 121   br label %bb35
 122
 123 bb23:
 124   br label %bb35
 125
 126 bb30.loopexit:
 127   br label %bb35
 128
 129 bb30.loopexit1:
 130   br label %bb35
 131
 132 bb30:
 133   br label %bb35
 134
 135 bb31:
 136   br label %bb35
 137
 138 bb35.loopexit:
 139   br label %bb35
 140
 141 bb35.loopexit3:
 142   br label %bb35
 143
 144 bb35:
 145   ret void
 146 }
 147 ; CHECK: [3] %entry