221 lines · plain
1; RUN: opt < %s -passes='print<scalar-evolution>'2 3target 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 { ptr, ptr }5 6define void @JnJVM_antlr_CSharpCodeGenerator_genBitSet__Lantlr_collections_impl_BitSet_2I(ptr, ptr, i32, i1 %arg) {7start:8 br i1 %arg, label %"stack overflow", label %"no stack overflow"9 10"GOTO or IF*2": ; preds = %"true verifyAndComputePtr89", %verifyNullCont8411 unreachable12 13"GOTO or IF*5": ; preds = %"true verifyAndComputePtr127", %"GOTO or IF*6"14 unreachable15 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 23end: ; preds = %"no exception block35"24 ret void25 26"stack overflow": ; preds = %start27 ret void28 29"no stack overflow": ; preds = %start30 br i1 %arg, label %verifyNullCont, label %"no stack overflow.end_crit_edge"31 32"no stack overflow.end_crit_edge": ; preds = %"no stack overflow"33 ret void34 35verifyNullCont: ; preds = %"no stack overflow"36 br i1 %arg, label %verifyNullCont9, label %verifyNullCont.end_crit_edge37 38verifyNullCont.end_crit_edge: ; preds = %verifyNullCont39 ret void40 41verifyNullCont9: ; preds = %verifyNullCont42 br i1 %arg, label %verifyNullCont12, label %verifyNullCont9.end_crit_edge43 44verifyNullCont9.end_crit_edge: ; preds = %verifyNullCont945 ret void46 47verifyNullCont12: ; preds = %verifyNullCont948 br i1 %arg, label %"no exception block13", label %verifyNullCont12.end_crit_edge49 50verifyNullCont12.end_crit_edge: ; preds = %verifyNullCont1251 ret void52 53"no exception block13": ; preds = %verifyNullCont1254 br i1 %arg, label %verifyNullExit14, label %verifyNullCont1555 56verifyNullExit14: ; preds = %"no exception block13"57 ret void58 59verifyNullCont15: ; preds = %"no exception block13"60 br i1 %arg, label %"no exception block16", label %verifyNullCont15.end_crit_edge61 62verifyNullCont15.end_crit_edge: ; preds = %verifyNullCont1563 ret void64 65"no exception block16": ; preds = %verifyNullCont1566 br i1 %arg, label %verifyNullExit17, label %verifyNullCont1867 68verifyNullExit17: ; preds = %"no exception block16"69 ret void70 71verifyNullCont18: ; preds = %"no exception block16"72 br i1 %arg, label %"no exception block19", label %verifyNullCont18.end_crit_edge73 74verifyNullCont18.end_crit_edge: ; preds = %verifyNullCont1875 ret void76 77"no exception block19": ; preds = %verifyNullCont1878 br i1 %arg, label %verifyNullExit20, label %verifyNullCont2179 80verifyNullExit20: ; preds = %"no exception block19"81 ret void82 83verifyNullCont21: ; preds = %"no exception block19"84 br i1 %arg, label %verifyNullCont24, label %verifyNullCont21.end_crit_edge85 86verifyNullCont21.end_crit_edge: ; preds = %verifyNullCont2187 ret void88 89verifyNullCont24: ; preds = %verifyNullCont2190 br i1 %arg, label %verifyNullCont27, label %verifyNullCont24.end_crit_edge91 92verifyNullCont24.end_crit_edge: ; preds = %verifyNullCont2493 ret void94 95verifyNullCont27: ; preds = %verifyNullCont2496 br i1 %arg, label %verifyNullCont32, label %verifyNullCont27.end_crit_edge97 98verifyNullCont27.end_crit_edge: ; preds = %verifyNullCont2799 ret void100 101verifyNullCont32: ; preds = %verifyNullCont27102 br i1 %arg, label %verifyNullExit33, label %verifyNullCont34103 104verifyNullExit33: ; preds = %verifyNullCont32105 ret void106 107verifyNullCont34: ; preds = %verifyNullCont32108 br i1 %arg, label %"no exception block35", label %verifyNullCont34.end_crit_edge109 110verifyNullCont34.end_crit_edge: ; preds = %verifyNullCont34111 ret void112 113"no exception block35": ; preds = %verifyNullCont34114 br i1 %arg, label %end, label %verifyNullCont60115 116verifyNullCont60: ; preds = %"no exception block35"117 br i1 %arg, label %verifyNullCont63, label %verifyNullCont60.end_crit_edge118 119verifyNullCont60.end_crit_edge: ; preds = %verifyNullCont60120 ret void121 122verifyNullCont63: ; preds = %verifyNullCont60123 br i1 %arg, label %"no exception block64", label %verifyNullCont63.end_crit_edge124 125verifyNullCont63.end_crit_edge: ; preds = %verifyNullCont63126 ret void127 128"no exception block64": ; preds = %verifyNullCont63129 br i1 %arg, label %verifyNullExit65, label %verifyNullCont66130 131verifyNullExit65: ; preds = %"no exception block64"132 ret void133 134verifyNullCont66: ; preds = %"no exception block64"135 br i1 %arg, label %"no exception block67", label %verifyNullCont66.end_crit_edge136 137verifyNullCont66.end_crit_edge: ; preds = %verifyNullCont66138 ret void139 140"no exception block67": ; preds = %verifyNullCont66141 br i1 %arg, label %verifyNullExit68, label %verifyNullCont69142 143verifyNullExit68: ; preds = %"no exception block67"144 ret void145 146verifyNullCont69: ; preds = %"no exception block67"147 br i1 %arg, label %"no exception block70", label %verifyNullCont69.end_crit_edge148 149verifyNullCont69.end_crit_edge: ; preds = %verifyNullCont69150 ret void151 152"no exception block70": ; preds = %verifyNullCont69153 br i1 %arg, label %verifyNullExit71, label %verifyNullCont72154 155verifyNullExit71: ; preds = %"no exception block70"156 ret void157 158verifyNullCont72: ; preds = %"no exception block70"159 br i1 %arg, label %verifyNullCont75, label %verifyNullCont72.end_crit_edge160 161verifyNullCont72.end_crit_edge: ; preds = %verifyNullCont72162 ret void163 164verifyNullCont75: ; preds = %verifyNullCont72165 br i1 %arg, label %verifyNullCont78, label %verifyNullCont75.end_crit_edge166 167verifyNullCont75.end_crit_edge: ; preds = %verifyNullCont75168 ret void169 170verifyNullCont78: ; preds = %verifyNullCont75171 br i1 %arg, label %"verifyNullCont78.GOTO or IF*4_crit_edge", label %verifyNullCont78.end_crit_edge172 173"verifyNullCont78.GOTO or IF*4_crit_edge": ; preds = %verifyNullCont78174 br i1 %arg, label %verifyNullExit80, label %verifyNullCont81175 176verifyNullCont78.end_crit_edge: ; preds = %verifyNullCont78177 ret void178 179verifyNullExit80: ; preds = %"verifyNullCont78.GOTO or IF*4_crit_edge"180 ret void181 182verifyNullCont81: ; preds = %"verifyNullCont78.GOTO or IF*4_crit_edge"183 %4 = ptrtoint ptr undef to i32 ; <i32> [#uses=2]184 %5 = icmp slt i32 0, %4 ; <i1> [#uses=1]185 br i1 %5, label %verifyNullCont84, label %verifyNullCont172186 187verifyNullCont84: ; preds = %verifyNullCont81188 br i1 %arg, label %"GOTO or IF*2", label %verifyNullCont86189 190verifyNullCont86: ; preds = %verifyNullCont84191 br i1 %arg, label %"true verifyAndComputePtr", label %"false verifyAndComputePtr"192 193"true verifyAndComputePtr": ; preds = %verifyNullCont86194 br i1 %arg, label %"true verifyAndComputePtr89", label %"false verifyAndComputePtr90"195 196"false verifyAndComputePtr": ; preds = %verifyNullCont86197 ret void198 199"true verifyAndComputePtr89": ; preds = %"true verifyAndComputePtr"200 br i1 %arg, label %"GOTO or IF*6", label %"GOTO or IF*2"201 202"false verifyAndComputePtr90": ; preds = %"true verifyAndComputePtr"203 ret void204 205verifyNullCont126: ; preds = %"GOTO or IF*6"206 br i1 %arg, label %"true verifyAndComputePtr127", label %"false verifyAndComputePtr128"207 208"true verifyAndComputePtr127": ; preds = %verifyNullCont126209 br i1 %arg, label %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge", label %"GOTO or IF*5"210 211"false verifyAndComputePtr128": ; preds = %verifyNullCont126212 ret void213 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 218verifyNullCont172: ; preds = %verifyNullCont81219 unreachable220}221