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 148