; RUN: opt -objc-arc -S < %s ; rdar://12277446 ; rdar://12480535 ; The total number of paths grows exponentially with the number of branches, and a ; computation of this number can overflow any reasonable fixed-sized ; integer. This can occur in both the addition phase when we are adding up the ; total bottomup/topdown paths and when we multiply them together at the end. target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n32-S32" target triple = "thumbv7-apple-ios5.0.0" %struct.NSConstantString.11.33.55.77.99.121.143.332.1130.1340.2768 = type { i32*, i32, i8*, i32 } @_unnamed_cfstring_591 = external constant %struct.NSConstantString.11.33.55.77.99.121.143.332.1130.1340.2768, section "__DATA,__cfstring" declare i8* @objc_retain(i8*) nonlazybind declare i8* @objc_retainAutoreleasedReturnValue(i8*) nonlazybind declare void @objc_release(i8*) nonlazybind declare i8* @returner() define hidden void @test1() { entry: br i1 undef, label %msgSend.nullinit, label %msgSend.call msgSend.call: ; preds = %entry br label %msgSend.cont msgSend.nullinit: ; preds = %entry br label %msgSend.cont msgSend.cont: ; preds = %msgSend.nullinit, %msgSend.call %0 = bitcast %struct.NSConstantString.11.33.55.77.99.121.143.332.1130.1340.2768* @_unnamed_cfstring_591 to i8* %1 = call i8* @objc_retain(i8* %0) nounwind br i1 undef, label %msgSend.nullinit33, label %msgSend.call32 msgSend.call32: ; preds = %if.end10 br label %msgSend.cont34 msgSend.nullinit33: ; preds = %if.end10 br label %msgSend.cont34 msgSend.cont34: ; preds = %msgSend.nullinit33, %msgSend.call32 br i1 undef, label %msgSend.nullinit38, label %msgSend.call37 msgSend.call37: ; preds = %msgSend.cont34 br label %msgSend.cont39 msgSend.nullinit38: ; preds = %msgSend.cont34 br label %msgSend.cont39 msgSend.cont39: ; preds = %msgSend.nullinit38, %msgSend.call37 br i1 undef, label %msgSend.nullinit49, label %msgSend.call48 msgSend.call48: ; preds = %msgSend.cont39 br label %msgSend.cont50 msgSend.nullinit49: ; preds = %msgSend.cont39 br label %msgSend.cont50 msgSend.cont50: ; preds = %msgSend.nullinit49, %msgSend.call48 br i1 undef, label %msgSend.nullinit61, label %msgSend.call60 msgSend.call60: ; preds = %msgSend.cont50 br label %msgSend.cont62 msgSend.nullinit61: ; preds = %msgSend.cont50 br label %msgSend.cont62 msgSend.cont62: ; preds = %msgSend.nullinit61, %msgSend.call60 br i1 undef, label %msgSend.nullinit67, label %msgSend.call66 msgSend.call66: ; preds = %msgSend.cont62 br label %msgSend.cont68 msgSend.nullinit67: ; preds = %msgSend.cont62 br label %msgSend.cont68 msgSend.cont68: ; preds = %msgSend.nullinit67, %msgSend.call66 br i1 undef, label %msgSend.nullinit84, label %msgSend.call83 msgSend.call83: ; preds = %msgSend.cont68 br label %msgSend.cont85 msgSend.nullinit84: ; preds = %msgSend.cont68 br label %msgSend.cont85 msgSend.cont85: ; preds = %msgSend.nullinit84, %msgSend.call83 br i1 undef, label %msgSend.nullinit90, label %msgSend.call89 msgSend.call89: ; preds = %msgSend.cont85 br label %msgSend.cont91 msgSend.nullinit90: ; preds = %msgSend.cont85 br label %msgSend.cont91 msgSend.cont91: ; preds = %msgSend.nullinit90, %msgSend.call89 br i1 undef, label %msgSend.nullinit104, label %msgSend.call103 msgSend.call103: ; preds = %msgSend.cont91 br label %msgSend.cont105 msgSend.nullinit104: ; preds = %msgSend.cont91 br label %msgSend.cont105 msgSend.cont105: ; preds = %msgSend.nullinit104, %msgSend.call103 br i1 undef, label %land.lhs.true, label %if.end123 land.lhs.true: ; preds = %msgSend.cont105 br i1 undef, label %if.then117, label %if.end123 if.then117: ; preds = %land.lhs.true br label %if.end123 if.end123: ; preds = %if.then117, %land.lhs.true, %msgSend.cont105 br i1 undef, label %msgSend.nullinit132, label %msgSend.call131 msgSend.call131: ; preds = %if.end123 br label %msgSend.cont133 msgSend.nullinit132: ; preds = %if.end123 br label %msgSend.cont133 msgSend.cont133: ; preds = %msgSend.nullinit132, %msgSend.call131 br i1 undef, label %msgSend.nullinit139, label %msgSend.call138 msgSend.call138: ; preds = %msgSend.cont133 br label %msgSend.cont140 msgSend.nullinit139: ; preds = %msgSend.cont133 br label %msgSend.cont140 msgSend.cont140: ; preds = %msgSend.nullinit139, %msgSend.call138 br i1 undef, label %if.then151, label %if.end157 if.then151: ; preds = %msgSend.cont140 br label %if.end157 if.end157: ; preds = %if.then151, %msgSend.cont140 br i1 undef, label %msgSend.nullinit164, label %msgSend.call163 msgSend.call163: ; preds = %if.end157 br label %msgSend.cont165 msgSend.nullinit164: ; preds = %if.end157 br label %msgSend.cont165 msgSend.cont165: ; preds = %msgSend.nullinit164, %msgSend.call163 br i1 undef, label %msgSend.nullinit176, label %msgSend.call175 msgSend.call175: ; preds = %msgSend.cont165 br label %msgSend.cont177 msgSend.nullinit176: ; preds = %msgSend.cont165 br label %msgSend.cont177 msgSend.cont177: ; preds = %msgSend.nullinit176, %msgSend.call175 br i1 undef, label %land.lhs.true181, label %if.end202 land.lhs.true181: ; preds = %msgSend.cont177 br i1 undef, label %if.then187, label %if.end202 if.then187: ; preds = %land.lhs.true181 br i1 undef, label %msgSend.nullinit199, label %msgSend.call198 msgSend.call198: ; preds = %if.then187 br label %msgSend.cont200 msgSend.nullinit199: ; preds = %if.then187 br label %msgSend.cont200 msgSend.cont200: ; preds = %msgSend.nullinit199, %msgSend.call198 br label %if.end202 if.end202: ; preds = %msgSend.cont200, %land.lhs.true181, %msgSend.cont177 br i1 undef, label %msgSend.nullinit236, label %msgSend.call235 msgSend.call235: ; preds = %if.end202 br label %msgSend.cont237 msgSend.nullinit236: ; preds = %if.end202 br label %msgSend.cont237 msgSend.cont237: ; preds = %msgSend.nullinit236, %msgSend.call235 br i1 undef, label %msgSend.nullinit254, label %msgSend.call253 msgSend.call253: ; preds = %msgSend.cont237 br label %msgSend.cont255 msgSend.nullinit254: ; preds = %msgSend.cont237 br label %msgSend.cont255 msgSend.cont255: ; preds = %msgSend.nullinit254, %msgSend.call253 br i1 undef, label %msgSend.nullinit269, label %msgSend.call268 msgSend.call268: ; preds = %msgSend.cont255 br label %msgSend.cont270 msgSend.nullinit269: ; preds = %msgSend.cont255 br label %msgSend.cont270 msgSend.cont270: ; preds = %msgSend.nullinit269, %msgSend.call268 br i1 undef, label %msgSend.nullinit281, label %msgSend.call280 msgSend.call280: ; preds = %msgSend.cont270 br label %msgSend.cont282 msgSend.nullinit281: ; preds = %msgSend.cont270 br label %msgSend.cont282 msgSend.cont282: ; preds = %msgSend.nullinit281, %msgSend.call280 br i1 undef, label %msgSend.nullinit287, label %msgSend.call286 msgSend.call286: ; preds = %msgSend.cont282 br label %msgSend.cont288 msgSend.nullinit287: ; preds = %msgSend.cont282 br label %msgSend.cont288 msgSend.cont288: ; preds = %msgSend.nullinit287, %msgSend.call286 br i1 undef, label %msgSend.nullinit303, label %msgSend.call302 msgSend.call302: ; preds = %msgSend.cont288 br label %msgSend.cont304 msgSend.nullinit303: ; preds = %msgSend.cont288 br label %msgSend.cont304 msgSend.cont304: ; preds = %msgSend.nullinit303, %msgSend.call302 br i1 undef, label %msgSend.nullinit344, label %msgSend.call343 msgSend.call343: ; preds = %msgSend.cont304 br label %msgSend.cont345 msgSend.nullinit344: ; preds = %msgSend.cont304 br label %msgSend.cont345 msgSend.cont345: ; preds = %msgSend.nullinit344, %msgSend.call343 br i1 undef, label %msgSend.nullinit350, label %msgSend.call349 msgSend.call349: ; preds = %msgSend.cont345 br label %msgSend.cont351 msgSend.nullinit350: ; preds = %msgSend.cont345 br label %msgSend.cont351 msgSend.cont351: ; preds = %msgSend.nullinit350, %msgSend.call349 br i1 undef, label %msgSend.nullinit366, label %msgSend.call365 msgSend.call365: ; preds = %msgSend.cont351 br label %msgSend.cont367 msgSend.nullinit366: ; preds = %msgSend.cont351 br label %msgSend.cont367 msgSend.cont367: ; preds = %msgSend.nullinit366, %msgSend.call365 br i1 undef, label %msgSend.nullinit376, label %msgSend.call375 msgSend.call375: ; preds = %msgSend.cont367 br label %msgSend.cont377 msgSend.nullinit376: ; preds = %msgSend.cont367 br label %msgSend.cont377 msgSend.cont377: ; preds = %msgSend.nullinit376, %msgSend.call375 br i1 undef, label %if.then384, label %if.else401 if.then384: ; preds = %msgSend.cont377 br i1 undef, label %msgSend.nullinit392, label %msgSend.call391 msgSend.call391: ; preds = %if.then384 br label %msgSend.cont393 msgSend.nullinit392: ; preds = %if.then384 br label %msgSend.cont393 msgSend.cont393: ; preds = %msgSend.nullinit392, %msgSend.call391 br label %if.end418 if.else401: ; preds = %msgSend.cont377 br i1 undef, label %msgSend.nullinit409, label %msgSend.call408 msgSend.call408: ; preds = %if.else401 br label %msgSend.cont410 msgSend.nullinit409: ; preds = %if.else401 br label %msgSend.cont410 msgSend.cont410: ; preds = %msgSend.nullinit409, %msgSend.call408 br label %if.end418 if.end418: ; preds = %msgSend.cont410, %msgSend.cont393 br i1 undef, label %msgSend.nullinit470, label %msgSend.call469 msgSend.call469: ; preds = %if.end418 br label %msgSend.cont471 msgSend.nullinit470: ; preds = %if.end418 br label %msgSend.cont471 msgSend.cont471: ; preds = %msgSend.nullinit470, %msgSend.call469 br i1 undef, label %msgSend.nullinit484, label %msgSend.call483 msgSend.call483: ; preds = %msgSend.cont471 br label %msgSend.cont485 msgSend.nullinit484: ; preds = %msgSend.cont471 br label %msgSend.cont485 msgSend.cont485: ; preds = %msgSend.nullinit484, %msgSend.call483 br i1 undef, label %msgSend.nullinit500, label %msgSend.call499 msgSend.call499: ; preds = %msgSend.cont485 br label %msgSend.cont501 msgSend.nullinit500: ; preds = %msgSend.cont485 br label %msgSend.cont501 msgSend.cont501: ; preds = %msgSend.nullinit500, %msgSend.call499 br i1 undef, label %msgSend.nullinit506, label %msgSend.call505 msgSend.call505: ; preds = %msgSend.cont501 br label %msgSend.cont507 msgSend.nullinit506: ; preds = %msgSend.cont501 br label %msgSend.cont507 msgSend.cont507: ; preds = %msgSend.nullinit506, %msgSend.call505 call void @objc_release(i8* %0) nounwind, !clang.imprecise_release !0 ret void } ; Function Attrs: optsize ssp uwtable define void @test2() unnamed_addr align 2 { bb: br i1 undef, label %bb3, label %bb2 bb2: ; preds = %bb br label %bb3 bb3: ; preds = %bb2, %bb br i1 undef, label %bb5, label %bb4 bb4: ; preds = %bb3 br label %bb5 bb5: ; preds = %bb4, %bb3 br i1 undef, label %bb7, label %bb6 bb6: ; preds = %bb5 br label %bb7 bb7: ; preds = %bb6, %bb5 br i1 undef, label %bb9, label %bb8 bb8: ; preds = %bb7 unreachable bb9: ; preds = %bb7 br i1 undef, label %bb11, label %bb10 bb10: ; preds = %bb9 br label %bb11 bb11: ; preds = %bb10, %bb9 br i1 undef, label %bb13, label %bb12 bb12: ; preds = %bb11 br label %bb13 bb13: ; preds = %bb12, %bb11 br i1 undef, label %bb15, label %bb14 bb14: ; preds = %bb13 br label %bb15 bb15: ; preds = %bb14, %bb13 br i1 undef, label %bb17, label %bb16 bb16: ; preds = %bb15 br label %bb17 bb17: ; preds = %bb16, %bb15 br i1 undef, label %bb19, label %bb18 bb18: ; preds = %bb17 br label %bb19 bb19: ; preds = %bb18, %bb17 br i1 undef, label %bb222, label %bb20 bb20: ; preds = %bb19 br i1 undef, label %bb222, label %bb21 bb21: ; preds = %bb20 br i1 undef, label %bb22, label %bb30 bb22: ; preds = %bb21 br i1 undef, label %bb23, label %bb32 bb23: ; preds = %bb22 br i1 undef, label %bb24, label %bb34 bb24: ; preds = %bb23 br i1 undef, label %bb26, label %bb25 bb25: ; preds = %bb24 br label %bb27 bb26: ; preds = %bb24 br label %bb27 bb27: ; preds = %bb26, %bb25 br i1 undef, label %bb28, label %bb42 bb28: ; preds = %bb27 br i1 undef, label %bb36, label %bb29 bb29: ; preds = %bb28 br label %bb36 bb30: ; preds = %bb210, %bb207, %bb203, %bb199, %bb182, %bb176, %bb174, %bb171, %bb136, %bb132, %bb21 br label %bb213 bb32: ; preds = %bb22 unreachable bb34: ; preds = %bb23 unreachable bb36: ; preds = %bb29, %bb28 br i1 undef, label %bb38, label %bb37 bb37: ; preds = %bb36 br label %bb39 bb38: ; preds = %bb36 br label %bb39 bb39: ; preds = %bb38, %bb37 br i1 undef, label %bb41, label %bb40 bb40: ; preds = %bb39 unreachable bb41: ; preds = %bb39 br label %bb42 bb42: ; preds = %bb41, %bb27 br i1 undef, label %bb43, label %bb214 bb43: ; preds = %bb42 br i1 undef, label %bb47, label %bb45 bb45: ; preds = %bb130, %bb128, %bb126, %bb124, %bb122, %bb120, %bb118, %bb116, %bb114, %bb112, %bb110, %bb108, %bb105, %bb102, %bb100, %bb96, %bb94, %bb90, %bb88, %bb84, %bb82, %bb78, %bb76, %bb72, %bb70, %bb66, %bb64, %bb60, %bb58, %bb54, %bb51, %bb43 unreachable bb47: ; preds = %bb43 br i1 undef, label %bb48, label %bb106 bb48: ; preds = %bb47 br i1 undef, label %bb50, label %bb49 bb49: ; preds = %bb48 br label %bb51 bb50: ; preds = %bb48 br label %bb51 bb51: ; preds = %bb50, %bb49 br i1 undef, label %bb53, label %bb45 bb53: ; preds = %bb51 br i1 undef, label %bb54, label %bb134 bb54: ; preds = %bb53 br i1 undef, label %bb55, label %bb45 bb55: ; preds = %bb54 br i1 undef, label %bb57, label %bb56 bb56: ; preds = %bb55 br label %bb58 bb57: ; preds = %bb55 br label %bb58 bb58: ; preds = %bb57, %bb56 br i1 undef, label %bb60, label %bb45 bb60: ; preds = %bb58 br i1 undef, label %bb61, label %bb45 bb61: ; preds = %bb60 br i1 undef, label %bb63, label %bb62 bb62: ; preds = %bb61 br label %bb64 bb63: ; preds = %bb61 br label %bb64 bb64: ; preds = %bb63, %bb62 br i1 undef, label %bb66, label %bb45 bb66: ; preds = %bb64 br i1 undef, label %bb67, label %bb45 bb67: ; preds = %bb66 br i1 undef, label %bb69, label %bb68 bb68: ; preds = %bb67 br label %bb70 bb69: ; preds = %bb67 br label %bb70 bb70: ; preds = %bb69, %bb68 br i1 undef, label %bb72, label %bb45 bb72: ; preds = %bb70 br i1 undef, label %bb73, label %bb45 bb73: ; preds = %bb72 br i1 undef, label %bb75, label %bb74 bb74: ; preds = %bb73 br label %bb76 bb75: ; preds = %bb73 br label %bb76 bb76: ; preds = %bb75, %bb74 br i1 undef, label %bb78, label %bb45 bb78: ; preds = %bb76 br i1 undef, label %bb79, label %bb45 bb79: ; preds = %bb78 br i1 undef, label %bb81, label %bb80 bb80: ; preds = %bb79 br label %bb82 bb81: ; preds = %bb79 br label %bb82 bb82: ; preds = %bb81, %bb80 br i1 undef, label %bb84, label %bb45 bb84: ; preds = %bb82 br i1 undef, label %bb85, label %bb45 bb85: ; preds = %bb84 br i1 undef, label %bb87, label %bb86 bb86: ; preds = %bb85 br label %bb88 bb87: ; preds = %bb85 br label %bb88 bb88: ; preds = %bb87, %bb86 br i1 undef, label %bb90, label %bb45 bb90: ; preds = %bb88 br i1 undef, label %bb91, label %bb45 bb91: ; preds = %bb90 br i1 undef, label %bb93, label %bb92 bb92: ; preds = %bb91 br label %bb94 bb93: ; preds = %bb91 br label %bb94 bb94: ; preds = %bb93, %bb92 br i1 undef, label %bb96, label %bb45 bb96: ; preds = %bb94 br i1 undef, label %bb97, label %bb45 bb97: ; preds = %bb96 br i1 undef, label %bb99, label %bb98 bb98: ; preds = %bb97 br label %bb100 bb99: ; preds = %bb97 br label %bb100 bb100: ; preds = %bb99, %bb98 br i1 undef, label %bb102, label %bb45 bb102: ; preds = %bb100 br i1 undef, label %bb104, label %bb45 bb104: ; preds = %bb102 br i1 undef, label %bb108, label %bb105 bb105: ; preds = %bb104 br i1 undef, label %bb108, label %bb45 bb106: ; preds = %bb47 unreachable bb108: ; preds = %bb105, %bb104 br i1 undef, label %bb110, label %bb45 bb110: ; preds = %bb108 br i1 undef, label %bb112, label %bb45 bb112: ; preds = %bb110 br i1 undef, label %bb114, label %bb45 bb114: ; preds = %bb112 br i1 undef, label %bb116, label %bb45 bb116: ; preds = %bb114 br i1 undef, label %bb118, label %bb45 bb118: ; preds = %bb116 br i1 undef, label %bb120, label %bb45 bb120: ; preds = %bb118 br i1 undef, label %bb122, label %bb45 bb122: ; preds = %bb120 br i1 undef, label %bb124, label %bb45 bb124: ; preds = %bb122 br i1 undef, label %bb126, label %bb45 bb126: ; preds = %bb124 br i1 undef, label %bb128, label %bb45 bb128: ; preds = %bb126 br i1 undef, label %bb130, label %bb45 bb130: ; preds = %bb128 br i1 undef, label %bb132, label %bb45 bb132: ; preds = %bb130 br i1 undef, label %bb135, label %bb30 bb134: ; preds = %bb53 unreachable bb135: ; preds = %bb132 br i1 undef, label %bb139, label %bb136 bb136: ; preds = %bb135 br i1 undef, label %bb138, label %bb30 bb138: ; preds = %bb136 br label %bb139 bb139: ; preds = %bb138, %bb135 br i1 undef, label %bb140, label %bb141 bb140: ; preds = %bb139 unreachable bb141: ; preds = %bb139 br i1 undef, label %bb142, label %bb215 bb142: ; preds = %bb141 br i1 undef, label %bb144, label %bb143 bb143: ; preds = %bb142 br label %bb145 bb144: ; preds = %bb142 br label %bb145 bb145: ; preds = %bb144, %bb143 br i1 undef, label %bb146, label %bb151 bb146: ; preds = %bb145 br i1 undef, label %bb148, label %bb153 bb148: ; preds = %bb146 br i1 undef, label %bb155, label %bb149 bb149: ; preds = %bb148 br i1 undef, label %bb150, label %bb153 bb150: ; preds = %bb149 br label %bb155 bb151: ; preds = %bb145 unreachable bb153: ; preds = %bb158, %bb149, %bb146 unreachable bb155: ; preds = %bb150, %bb148 br i1 undef, label %bb157, label %bb156 bb156: ; preds = %bb155 br label %bb158 bb157: ; preds = %bb155 br label %bb158 bb158: ; preds = %bb157, %bb156 br i1 undef, label %bb160, label %bb153 bb160: ; preds = %bb158 br i1 undef, label %bb162, label %bb161 bb161: ; preds = %bb160 br label %bb163 bb162: ; preds = %bb160 br label %bb163 bb163: ; preds = %bb162, %bb161 br i1 undef, label %bb165, label %bb164 bb164: ; preds = %bb163 br label %bb165 bb165: ; preds = %bb164, %bb163 br i1 undef, label %bb170, label %bb166 bb166: ; preds = %bb165 br i1 undef, label %bb167, label %bb168 bb167: ; preds = %bb166 unreachable bb168: ; preds = %bb166 unreachable bb170: ; preds = %bb165 br i1 undef, label %bb215, label %bb171 bb171: ; preds = %bb170 br i1 undef, label %bb173, label %bb30 bb173: ; preds = %bb171 br i1 undef, label %bb174, label %bb215 bb174: ; preds = %bb173 br i1 undef, label %bb176, label %bb30 bb176: ; preds = %bb174 br i1 undef, label %bb178, label %bb30 bb178: ; preds = %bb176 br i1 undef, label %bb179, label %bb193 bb179: ; preds = %bb178 br i1 undef, label %bb181, label %bb180 bb180: ; preds = %bb179 br label %bb182 bb181: ; preds = %bb179 br label %bb182 bb182: ; preds = %bb181, %bb180 br i1 undef, label %bb184, label %bb30 bb184: ; preds = %bb182 %tmp185 = call i8* @returner() br i1 undef, label %bb186, label %bb195 bb186: ; preds = %bb184 %tmp188 = call i8* @objc_retainAutoreleasedReturnValue(i8* %tmp185) %tmp189 = call i8* @objc_retain(i8* %tmp188) call void @objc_release(i8* %tmp189), !clang.imprecise_release !0 br i1 undef, label %bb197, label %bb190 bb190: ; preds = %bb186 br i1 undef, label %bb192, label %bb195 bb192: ; preds = %bb190 br i1 undef, label %bb197, label %bb195 bb193: ; preds = %bb178 br label %bb213 bb195: ; preds = %bb192, %bb190, %bb184 unreachable bb197: ; preds = %bb192, %bb186 br i1 undef, label %bb198, label %bb215 bb198: ; preds = %bb197 br i1 undef, label %bb202, label %bb199 bb199: ; preds = %bb198 br i1 undef, label %bb201, label %bb30 bb201: ; preds = %bb199 br label %bb202 bb202: ; preds = %bb201, %bb198 br i1 undef, label %bb206, label %bb203 bb203: ; preds = %bb202 br i1 undef, label %bb205, label %bb30 bb205: ; preds = %bb203 br label %bb206 bb206: ; preds = %bb205, %bb202 br i1 undef, label %bb210, label %bb207 bb207: ; preds = %bb206 br i1 undef, label %bb209, label %bb30 bb209: ; preds = %bb207 br label %bb210 bb210: ; preds = %bb209, %bb206 br i1 undef, label %bb212, label %bb30 bb212: ; preds = %bb210 unreachable bb213: ; preds = %bb193, %bb30 resume { i8*, i32 } undef bb214: ; preds = %bb42 br label %bb219 bb215: ; preds = %bb197, %bb173, %bb170, %bb141 br i1 undef, label %bb217, label %bb216 bb216: ; preds = %bb215 br label %bb217 bb217: ; preds = %bb216, %bb215 br i1 undef, label %bb219, label %bb218 bb218: ; preds = %bb217 br label %bb219 bb219: ; preds = %bb218, %bb217, %bb214 br i1 undef, label %bb221, label %bb220 bb220: ; preds = %bb219 unreachable bb221: ; preds = %bb219 unreachable bb222: ; preds = %bb20, %bb19 ret void } !0 = metadata !{}