1 ; RUN: opt < %s -analyze -scalar-evolution 2 3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32" 4 %JavaObject = type { [0 x i32 (...)*]*, i8* } 5 6 define void @JnJVM_antlr_CSharpCodeGenerator_genBitSet__Lantlr_collections_impl_BitSet_2I(%JavaObject*, %JavaObject*, i32) { 7 start: 8 br i1 undef, label %"stack overflow", label %"no stack overflow" 9 10 "GOTO or IF*2": ; preds = %"true verifyAndComputePtr89", %verifyNullCont84 11 unreachable 12 13 "GOTO or IF*5": ; preds = %"true verifyAndComputePtr127", %"GOTO or IF*6" 14 unreachable 15 16 "GOTO or IF*6": ; preds = %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge", %"true verifyAndComputePtr89" 17 %indvar = phi i32 [ %indvar.next, %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge" ], [ 0, %"true verifyAndComputePtr89" ] ; <i32> [#uses=2] 18 %.0.in = add i32 %indvar, 0 ; <i32> [#uses=1] 19 %.0 = add i32 %.0.in, 1 ; <i32> [#uses=1] 20 %3 = icmp slt i32 %.0, %4 ; <i1> [#uses=1] 21 br i1 %3, label %verifyNullCont126, label %"GOTO or IF*5" 22 23 end: ; preds = %"no exception block35" 24 ret void 25 26 "stack overflow": ; preds = %start 27 ret void 28 29 "no stack overflow": ; preds = %start 30 br i1 undef, label %verifyNullCont, label %"no stack overflow.end_crit_edge" 31 32 "no stack overflow.end_crit_edge": ; preds = %"no stack overflow" 33 ret void 34 35 verifyNullCont: ; preds = %"no stack overflow" 36 br i1 undef, label %verifyNullCont9, label %verifyNullCont.end_crit_edge 37 38 verifyNullCont.end_crit_edge: ; preds = %verifyNullCont 39 ret void 40 41 verifyNullCont9: ; preds = %verifyNullCont 42 br i1 undef, label %verifyNullCont12, label %verifyNullCont9.end_crit_edge 43 44 verifyNullCont9.end_crit_edge: ; preds = %verifyNullCont9 45 ret void 46 47 verifyNullCont12: ; preds = %verifyNullCont9 48 br i1 undef, label %"no exception block13", label %verifyNullCont12.end_crit_edge 49 50 verifyNullCont12.end_crit_edge: ; preds = %verifyNullCont12 51 ret void 52 53 "no exception block13": ; preds = %verifyNullCont12 54 br i1 undef, label %verifyNullExit14, label %verifyNullCont15 55 56 verifyNullExit14: ; preds = %"no exception block13" 57 ret void 58 59 verifyNullCont15: ; preds = %"no exception block13" 60 br i1 undef, label %"no exception block16", label %verifyNullCont15.end_crit_edge 61 62 verifyNullCont15.end_crit_edge: ; preds = %verifyNullCont15 63 ret void 64 65 "no exception block16": ; preds = %verifyNullCont15 66 br i1 undef, label %verifyNullExit17, label %verifyNullCont18 67 68 verifyNullExit17: ; preds = %"no exception block16" 69 ret void 70 71 verifyNullCont18: ; preds = %"no exception block16" 72 br i1 undef, label %"no exception block19", label %verifyNullCont18.end_crit_edge 73 74 verifyNullCont18.end_crit_edge: ; preds = %verifyNullCont18 75 ret void 76 77 "no exception block19": ; preds = %verifyNullCont18 78 br i1 undef, label %verifyNullExit20, label %verifyNullCont21 79 80 verifyNullExit20: ; preds = %"no exception block19" 81 ret void 82 83 verifyNullCont21: ; preds = %"no exception block19" 84 br i1 undef, label %verifyNullCont24, label %verifyNullCont21.end_crit_edge 85 86 verifyNullCont21.end_crit_edge: ; preds = %verifyNullCont21 87 ret void 88 89 verifyNullCont24: ; preds = %verifyNullCont21 90 br i1 undef, label %verifyNullCont27, label %verifyNullCont24.end_crit_edge 91 92 verifyNullCont24.end_crit_edge: ; preds = %verifyNullCont24 93 ret void 94 95 verifyNullCont27: ; preds = %verifyNullCont24 96 br i1 undef, label %verifyNullCont32, label %verifyNullCont27.end_crit_edge 97 98 verifyNullCont27.end_crit_edge: ; preds = %verifyNullCont27 99 ret void 100 101 verifyNullCont32: ; preds = %verifyNullCont27 102 br i1 undef, label %verifyNullExit33, label %verifyNullCont34 103 104 verifyNullExit33: ; preds = %verifyNullCont32 105 ret void 106 107 verifyNullCont34: ; preds = %verifyNullCont32 108 br i1 undef, label %"no exception block35", label %verifyNullCont34.end_crit_edge 109 110 verifyNullCont34.end_crit_edge: ; preds = %verifyNullCont34 111 ret void 112 113 "no exception block35": ; preds = %verifyNullCont34 114 br i1 undef, label %end, label %verifyNullCont60 115 116 verifyNullCont60: ; preds = %"no exception block35" 117 br i1 undef, label %verifyNullCont63, label %verifyNullCont60.end_crit_edge 118 119 verifyNullCont60.end_crit_edge: ; preds = %verifyNullCont60 120 ret void 121 122 verifyNullCont63: ; preds = %verifyNullCont60 123 br i1 undef, label %"no exception block64", label %verifyNullCont63.end_crit_edge 124 125 verifyNullCont63.end_crit_edge: ; preds = %verifyNullCont63 126 ret void 127 128 "no exception block64": ; preds = %verifyNullCont63 129 br i1 undef, label %verifyNullExit65, label %verifyNullCont66 130 131 verifyNullExit65: ; preds = %"no exception block64" 132 ret void 133 134 verifyNullCont66: ; preds = %"no exception block64" 135 br i1 undef, label %"no exception block67", label %verifyNullCont66.end_crit_edge 136 137 verifyNullCont66.end_crit_edge: ; preds = %verifyNullCont66 138 ret void 139 140 "no exception block67": ; preds = %verifyNullCont66 141 br i1 undef, label %verifyNullExit68, label %verifyNullCont69 142 143 verifyNullExit68: ; preds = %"no exception block67" 144 ret void 145 146 verifyNullCont69: ; preds = %"no exception block67" 147 br i1 undef, label %"no exception block70", label %verifyNullCont69.end_crit_edge 148 149 verifyNullCont69.end_crit_edge: ; preds = %verifyNullCont69 150 ret void 151 152 "no exception block70": ; preds = %verifyNullCont69 153 br i1 undef, label %verifyNullExit71, label %verifyNullCont72 154 155 verifyNullExit71: ; preds = %"no exception block70" 156 ret void 157 158 verifyNullCont72: ; preds = %"no exception block70" 159 br i1 undef, label %verifyNullCont75, label %verifyNullCont72.end_crit_edge 160 161 verifyNullCont72.end_crit_edge: ; preds = %verifyNullCont72 162 ret void 163 164 verifyNullCont75: ; preds = %verifyNullCont72 165 br i1 undef, label %verifyNullCont78, label %verifyNullCont75.end_crit_edge 166 167 verifyNullCont75.end_crit_edge: ; preds = %verifyNullCont75 168 ret void 169 170 verifyNullCont78: ; preds = %verifyNullCont75 171 br i1 undef, label %"verifyNullCont78.GOTO or IF*4_crit_edge", label %verifyNullCont78.end_crit_edge 172 173 "verifyNullCont78.GOTO or IF*4_crit_edge": ; preds = %verifyNullCont78 174 br i1 undef, label %verifyNullExit80, label %verifyNullCont81 175 176 verifyNullCont78.end_crit_edge: ; preds = %verifyNullCont78 177 ret void 178 179 verifyNullExit80: ; preds = %"verifyNullCont78.GOTO or IF*4_crit_edge" 180 ret void 181 182 verifyNullCont81: ; preds = %"verifyNullCont78.GOTO or IF*4_crit_edge" 183 %4 = ptrtoint i8* undef to i32 ; <i32> [#uses=2] 184 %5 = icmp slt i32 0, %4 ; <i1> [#uses=1] 185 br i1 %5, label %verifyNullCont84, label %verifyNullCont172 186 187 verifyNullCont84: ; preds = %verifyNullCont81 188 br i1 undef, label %"GOTO or IF*2", label %verifyNullCont86 189 190 verifyNullCont86: ; preds = %verifyNullCont84 191 br i1 undef, label %"true verifyAndComputePtr", label %"false verifyAndComputePtr" 192 193 "true verifyAndComputePtr": ; preds = %verifyNullCont86 194 br i1 undef, label %"true verifyAndComputePtr89", label %"false verifyAndComputePtr90" 195 196 "false verifyAndComputePtr": ; preds = %verifyNullCont86 197 ret void 198 199 "true verifyAndComputePtr89": ; preds = %"true verifyAndComputePtr" 200 br i1 undef, label %"GOTO or IF*6", label %"GOTO or IF*2" 201 202 "false verifyAndComputePtr90": ; preds = %"true verifyAndComputePtr" 203 ret void 204 205 verifyNullCont126: ; preds = %"GOTO or IF*6" 206 br i1 undef, label %"true verifyAndComputePtr127", label %"false verifyAndComputePtr128" 207 208 "true verifyAndComputePtr127": ; preds = %verifyNullCont126 209 br i1 undef, label %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge", label %"GOTO or IF*5" 210 211 "false verifyAndComputePtr128": ; preds = %verifyNullCont126 212 ret void 213 214 "true verifyAndComputePtr131.GOTO or IF*6_crit_edge": ; preds = %"true verifyAndComputePtr127" 215 %indvar.next = add i32 %indvar, 1 ; <i32> [#uses=1] 216 br label %"GOTO or IF*6" 217 218 verifyNullCont172: ; preds = %verifyNullCont81 219 unreachable 220 } 221
