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