| ; RUN: opt < %s -passes=ipsccp -disable-output |
| ; PR49582: This test checks for an iterator invalidation issue, which only gets |
| ; exposed on a large-enough test case. We intentionally do not check the output. |
| |
| @c = external dso_local global i32*, align 8 |
| @d = external dso_local global i32, align 4 |
| |
| define void @f(i32 %i) { |
| entry: |
| br label %for.cond |
| |
| for.cond: ; preds = %if.end628, %entry |
| %e.0 = phi i32 [ 1, %entry ], [ %e.15, %if.end628 ] |
| %cmp = icmp slt i32 %e.0, %i |
| call void @llvm.assume(i1 %cmp) |
| %0 = load i32*, i32** @c, align 8 |
| %tobool = icmp ne i32* %0, null |
| br i1 %tobool, label %if.then, label %if.end628 |
| |
| if.then: ; preds = %for.cond |
| %1 = load i32, i32* %0, align 4 |
| %tobool1 = icmp ne i32 %1, 0 |
| br i1 %tobool1, label %if.then2, label %if.else78 |
| |
| if.then2: ; preds = %if.then |
| %add = add nsw i32 %e.0, 1 |
| %cmp3 = icmp sge i32 %add, %i |
| br i1 %cmp3, label %if.then4, label %if.end |
| |
| if.then4: ; preds = %if.then2 |
| %idxprom = sext i32 %add to i64 |
| br label %if.end |
| |
| if.end: ; preds = %if.then4, %if.then2 |
| br i1 %cmp3, label %if.then9, label %if.end13 |
| |
| if.then9: ; preds = %if.end |
| %idxprom11 = sext i32 %add to i64 |
| br label %if.end13 |
| |
| if.end13: ; preds = %if.then9, %if.end |
| br i1 %cmp3, label %if.then16, label %if.end20 |
| |
| if.then16: ; preds = %if.end13 |
| %idxprom18 = sext i32 %add to i64 |
| br label %if.end20 |
| |
| if.end20: ; preds = %if.then16, %if.end13 |
| %add21 = add nsw i32 %e.0, 3 |
| %cmp22 = icmp sge i32 %add21, %i |
| br i1 %cmp22, label %if.then23, label %if.end25 |
| |
| if.then23: ; preds = %if.end20 |
| br label %if.end25 |
| |
| if.end25: ; preds = %if.then23, %if.end20 |
| %e.1 = phi i32 [ %add21, %if.then23 ], [ %e.0, %if.end20 ] |
| %cmp26 = icmp sge i32 %e.1, %i |
| br i1 %cmp26, label %if.then27, label %if.end28 |
| |
| if.then27: ; preds = %if.end25 |
| %inc = add nsw i32 %e.1, 1 |
| br label %if.end28 |
| |
| if.end28: ; preds = %if.then27, %if.end25 |
| %e.2 = phi i32 [ %inc, %if.then27 ], [ %e.1, %if.end25 ] |
| %add29 = add nsw i32 %e.2, 2 |
| %cmp30 = icmp sge i32 %add29, %i |
| br i1 %cmp30, label %if.then31, label %if.end33 |
| |
| if.then31: ; preds = %if.end28 |
| br label %if.end33 |
| |
| if.end33: ; preds = %if.then31, %if.end28 |
| %e.3 = phi i32 [ %add29, %if.then31 ], [ %e.2, %if.end28 ] |
| %cmp34 = icmp sge i32 %e.3, %i |
| br i1 %cmp34, label %if.then35, label %if.end38 |
| |
| if.then35: ; preds = %if.end33 |
| %idxprom36 = sext i32 %e.3 to i64 |
| br label %if.end38 |
| |
| if.end38: ; preds = %if.then35, %if.end33 |
| br i1 %cmp34, label %if.then40, label %if.end43 |
| |
| if.then40: ; preds = %if.end38 |
| %idxprom41 = sext i32 %e.3 to i64 |
| br label %if.end43 |
| |
| if.end43: ; preds = %if.then40, %if.end38 |
| br i1 %cmp34, label %if.then45, label %if.end47 |
| |
| if.then45: ; preds = %if.end43 |
| %inc46 = add nsw i32 %e.3, 1 |
| br label %if.end47 |
| |
| if.end47: ; preds = %if.then45, %if.end43 |
| %e.4 = phi i32 [ %inc46, %if.then45 ], [ %e.3, %if.end43 ] |
| %cmp48 = icmp sge i32 %e.4, %i |
| br i1 %cmp48, label %if.then49, label %if.end51 |
| |
| if.then49: ; preds = %if.end47 |
| %inc50 = add nsw i32 %e.4, 1 |
| br label %if.end51 |
| |
| if.end51: ; preds = %if.then49, %if.end47 |
| %e.5 = phi i32 [ %inc50, %if.then49 ], [ %e.4, %if.end47 ] |
| %2 = load i32*, i32** @c, align 8 |
| %tobool52 = icmp ne i32* %2, null |
| br i1 %tobool52, label %if.then53, label %if.else |
| |
| if.then53: ; preds = %if.end51 |
| %cmp54 = icmp sge i32 %e.5, %i |
| br i1 %cmp54, label %if.then55, label %if.end628 |
| |
| if.then55: ; preds = %if.then53 |
| unreachable |
| |
| if.else: ; preds = %if.end51 |
| %3 = load i32, i32* @d, align 4 |
| %tobool57 = icmp ne i32 %3, 0 |
| br i1 %tobool57, label %if.then58, label %if.else68 |
| |
| if.then58: ; preds = %if.else |
| %cmp59 = icmp sge i32 %e.5, %i |
| br i1 %cmp59, label %if.then60, label %if.end62 |
| |
| if.then60: ; preds = %if.then58 |
| %inc61 = add nsw i32 %e.5, 1 |
| br label %if.end62 |
| |
| if.end62: ; preds = %if.then60, %if.then58 |
| %e.6 = phi i32 [ %inc61, %if.then60 ], [ %e.5, %if.then58 ] |
| %add63 = add nsw i32 %e.6, 1 |
| %cmp64 = icmp sge i32 %add63, %i |
| br i1 %cmp64, label %if.then65, label %if.end628 |
| |
| if.then65: ; preds = %if.end62 |
| br label %if.end628 |
| |
| if.else68: ; preds = %if.else |
| %add69 = add nsw i32 %e.5, 2 |
| %cmp70 = icmp sge i32 %add69, %i |
| br i1 %cmp70, label %if.then71, label %if.end628 |
| |
| if.then71: ; preds = %if.else68 |
| %idxprom73 = sext i32 %add69 to i64 |
| br label %if.end628 |
| |
| if.else78: ; preds = %if.then |
| %call = call i32 @g() |
| %tobool79 = icmp ne i32 %call, 0 |
| br i1 %tobool79, label %if.then80, label %if.else123 |
| |
| if.then80: ; preds = %if.else78 |
| %add81 = add nsw i32 %e.0, 3 |
| %cmp82 = icmp sge i32 %add81, %i |
| br i1 %cmp82, label %if.then83, label %if.end87 |
| |
| if.then83: ; preds = %if.then80 |
| %idxprom85 = sext i32 %add81 to i64 |
| br label %if.end87 |
| |
| if.end87: ; preds = %if.then83, %if.then80 |
| br i1 %cmp82, label %if.then90, label %if.end94 |
| |
| if.then90: ; preds = %if.end87 |
| %idxprom92 = sext i32 %add81 to i64 |
| br label %if.end94 |
| |
| if.end94: ; preds = %if.then90, %if.end87 |
| br i1 %cmp82, label %if.then97, label %if.end99 |
| |
| if.then97: ; preds = %if.end94 |
| br label %if.end99 |
| |
| if.end99: ; preds = %if.then97, %if.end94 |
| %e.7 = phi i32 [ %add81, %if.then97 ], [ %e.0, %if.end94 ] |
| %cmp100 = icmp sge i32 %e.7, %i |
| br i1 %cmp100, label %if.then101, label %if.end103 |
| |
| if.then101: ; preds = %if.end99 |
| %inc102 = add nsw i32 %e.7, 1 |
| br label %if.end103 |
| |
| if.end103: ; preds = %if.then101, %if.end99 |
| %e.8 = phi i32 [ %inc102, %if.then101 ], [ %e.7, %if.end99 ] |
| %add104 = add nsw i32 %e.8, 1 |
| %cmp105 = icmp sge i32 %add104, %i |
| br i1 %cmp105, label %if.then106, label %if.end108 |
| |
| if.then106: ; preds = %if.end103 |
| br label %if.end108 |
| |
| if.end108: ; preds = %if.then106, %if.end103 |
| %e.9 = phi i32 [ %add104, %if.then106 ], [ %e.8, %if.end103 ] |
| %cmp109 = icmp sge i32 %e.9, %i |
| br i1 %cmp109, label %if.then110, label %if.end113 |
| |
| if.then110: ; preds = %if.end108 |
| %idxprom111 = sext i32 %e.9 to i64 |
| br label %if.end113 |
| |
| if.end113: ; preds = %if.then110, %if.end108 |
| br i1 %cmp109, label %if.then115, label %if.end118 |
| |
| if.then115: ; preds = %if.end113 |
| %idxprom116 = sext i32 %e.9 to i64 |
| unreachable |
| |
| if.end118: ; preds = %if.end113 |
| br i1 %cmp109, label %if.then120, label %if.end628 |
| |
| if.then120: ; preds = %if.end118 |
| br label %if.end628 |
| |
| if.else123: ; preds = %if.else78 |
| %call124 = call i32 @g() |
| %tobool125 = icmp ne i32 %call124, 0 |
| br i1 %tobool125, label %if.then126, label %if.end628 |
| |
| if.then126: ; preds = %if.else123 |
| %call127 = call i32 @g() |
| %tobool128 = icmp ne i32 %call127, 0 |
| br i1 %tobool128, label %if.then129, label %if.else164 |
| |
| if.then129: ; preds = %if.then126 |
| %add130 = add nsw i32 %e.0, 1 |
| %cmp131 = icmp sge i32 %add130, %i |
| br i1 %cmp131, label %if.then132, label %if.end134 |
| |
| if.then132: ; preds = %if.then129 |
| br label %if.end134 |
| |
| if.end134: ; preds = %if.then132, %if.then129 |
| %e.10 = phi i32 [ %add130, %if.then132 ], [ %e.0, %if.then129 ] |
| %cmp135 = icmp sge i32 %e.10, %i |
| br i1 %cmp135, label %if.then136, label %if.end139 |
| |
| if.then136: ; preds = %if.end134 |
| %idxprom137 = sext i32 %e.10 to i64 |
| br label %if.end139 |
| |
| if.end139: ; preds = %if.then136, %if.end134 |
| br i1 %cmp135, label %if.then141, label %if.end144 |
| |
| if.then141: ; preds = %if.end139 |
| %idxprom142 = sext i32 %e.10 to i64 |
| br label %if.end144 |
| |
| if.end144: ; preds = %if.then141, %if.end139 |
| br i1 %cmp135, label %if.then146, label %if.end149 |
| |
| if.then146: ; preds = %if.end144 |
| %idxprom147 = sext i32 %e.10 to i64 |
| br label %if.end149 |
| |
| if.end149: ; preds = %if.then146, %if.end144 |
| br i1 %cmp135, label %if.then151, label %if.else154 |
| |
| if.then151: ; preds = %if.end149 |
| %idxprom152 = sext i32 %e.10 to i64 |
| br label %if.end160 |
| |
| if.else154: ; preds = %if.end149 |
| %idxprom157 = sext i32 %e.10 to i64 |
| br label %if.end160 |
| |
| if.end160: ; preds = %if.else154, %if.then151 |
| br i1 %cmp135, label %if.then162, label %if.end628 |
| |
| if.then162: ; preds = %if.end160 |
| unreachable |
| |
| if.else164: ; preds = %if.then126 |
| %4 = load i32*, i32** @c, align 8 |
| %tobool165 = icmp ne i32* %4, null |
| br i1 %tobool165, label %if.then166, label %if.else195 |
| |
| if.then166: ; preds = %if.else164 |
| %add167 = add nsw i32 %e.0, 1 |
| %cmp168 = icmp sge i32 %add167, %i |
| br i1 %cmp168, label %if.then169, label %if.end173 |
| |
| if.then169: ; preds = %if.then166 |
| %idxprom171 = sext i32 %add167 to i64 |
| br label %if.end173 |
| |
| if.end173: ; preds = %if.then169, %if.then166 |
| br i1 %cmp168, label %if.then176, label %if.end180 |
| |
| if.then176: ; preds = %if.end173 |
| %idxprom178 = sext i32 %add167 to i64 |
| unreachable |
| |
| if.end180: ; preds = %if.end173 |
| br i1 %cmp168, label %if.then183, label %if.end187 |
| |
| if.then183: ; preds = %if.end180 |
| %idxprom185 = sext i32 %add167 to i64 |
| unreachable |
| |
| if.end187: ; preds = %if.end180 |
| br i1 %cmp168, label %if.then190, label %if.end628 |
| |
| if.then190: ; preds = %if.end187 |
| br label %if.end628 |
| |
| if.else195: ; preds = %if.else164 |
| %5 = load i32, i32* @d, align 4 |
| %tobool196 = icmp ne i32 %5, 0 |
| br i1 %tobool196, label %if.then197, label %if.else205 |
| |
| if.then197: ; preds = %if.else195 |
| %add198 = add nsw i32 %e.0, 1 |
| %cmp199 = icmp sge i32 %add198, %i |
| br i1 %cmp199, label %if.then200, label %if.end628 |
| |
| if.then200: ; preds = %if.then197 |
| %idxprom202 = sext i32 %add198 to i64 |
| br label %if.end628 |
| |
| if.else205: ; preds = %if.else195 |
| %call206 = call i32 @h() |
| %tobool207 = icmp ne i32 %call206, 0 |
| br i1 %tobool207, label %if.then208, label %if.else217 |
| |
| if.then208: ; preds = %if.else205 |
| %add209 = add nsw i32 %e.0, 1 |
| %cmp210 = icmp sge i32 %add209, %i |
| br i1 %cmp210, label %if.then211, label %if.end215 |
| |
| if.then211: ; preds = %if.then208 |
| %idxprom213 = sext i32 %add209 to i64 |
| unreachable |
| |
| if.end215: ; preds = %if.then208 |
| %6 = zext i32 %add209 to i64 |
| br label %if.end628 |
| |
| if.else217: ; preds = %if.else205 |
| %7 = load i32*, i32** @c, align 8 |
| %tobool218 = icmp ne i32* %7, null |
| br i1 %tobool218, label %if.then219, label %if.else227 |
| |
| if.then219: ; preds = %if.else217 |
| %add220 = add nsw i32 %e.0, 1 |
| %cmp221 = icmp sge i32 %add220, %i |
| br i1 %cmp221, label %if.then222, label %if.end628 |
| |
| if.then222: ; preds = %if.then219 |
| %idxprom224 = sext i32 %add220 to i64 |
| br label %if.end628 |
| |
| if.else227: ; preds = %if.else217 |
| %call228 = call i32 @g() |
| %tobool229 = icmp ne i32 %call228, 0 |
| br i1 %tobool229, label %if.then230, label %if.else245 |
| |
| if.then230: ; preds = %if.else227 |
| %add231 = add nsw i32 %e.0, 1 |
| %cmp232 = icmp sge i32 %add231, %i |
| br i1 %cmp232, label %if.then233, label %if.end237 |
| |
| if.then233: ; preds = %if.then230 |
| %idxprom235 = sext i32 %add231 to i64 |
| br label %if.end237 |
| |
| if.end237: ; preds = %if.then233, %if.then230 |
| br i1 %cmp232, label %if.then240, label %if.end628 |
| |
| if.then240: ; preds = %if.end237 |
| %idxprom242 = sext i32 %add231 to i64 |
| br label %if.end628 |
| |
| if.else245: ; preds = %if.else227 |
| %8 = load i32*, i32** @c, align 8 |
| %tobool246 = icmp ne i32* %8, null |
| br i1 %tobool246, label %if.then247, label %if.else258 |
| |
| if.then247: ; preds = %if.else245 |
| %add248 = add nsw i32 %e.0, 1 |
| %cmp249 = icmp sge i32 %add248, %i |
| br i1 %cmp249, label %if.then250, label %if.end254 |
| |
| if.then250: ; preds = %if.then247 |
| %idxprom252 = sext i32 %add248 to i64 |
| unreachable |
| |
| if.end254: ; preds = %if.then247 |
| %9 = zext i32 %add248 to i64 |
| br label %if.end628 |
| |
| if.else258: ; preds = %if.else245 |
| %10 = load i32, i32* @d, align 4 |
| %tobool259 = icmp ne i32 %10, 0 |
| br i1 %tobool259, label %if.then260, label %if.else268 |
| |
| if.then260: ; preds = %if.else258 |
| %add261 = add nsw i32 %e.0, 1 |
| %cmp262 = icmp sge i32 %add261, %i |
| br i1 %cmp262, label %if.then263, label %if.end628 |
| |
| if.then263: ; preds = %if.then260 |
| %idxprom265 = sext i32 %add261 to i64 |
| br label %if.end628 |
| |
| if.else268: ; preds = %if.else258 |
| %call269 = call i32 @h() |
| %tobool270 = icmp ne i32 %call269, 0 |
| br i1 %tobool270, label %if.then271, label %if.else279 |
| |
| if.then271: ; preds = %if.else268 |
| %add272 = add nsw i32 %e.0, 1 |
| %cmp273 = icmp sge i32 %add272, %i |
| br i1 %cmp273, label %if.then274, label %if.end628 |
| |
| if.then274: ; preds = %if.then271 |
| %idxprom276 = sext i32 %add272 to i64 |
| br label %if.end628 |
| |
| if.else279: ; preds = %if.else268 |
| %11 = load i32*, i32** @c, align 8 |
| %tobool280 = icmp ne i32* %11, null |
| br i1 %tobool280, label %if.then281, label %if.else287 |
| |
| if.then281: ; preds = %if.else279 |
| %add282 = add nsw i32 %e.0, 2 |
| %cmp283 = icmp sge i32 %add282, %i |
| br i1 %cmp283, label %if.then284, label %if.end628 |
| |
| if.then284: ; preds = %if.then281 |
| br label %if.end628 |
| |
| if.else287: ; preds = %if.else279 |
| %call288 = call i32 @g() |
| %tobool289 = icmp ne i32 %call288, 0 |
| br i1 %tobool289, label %if.then290, label %if.else307 |
| |
| if.then290: ; preds = %if.else287 |
| %12 = load i32*, i32** @c, align 8 |
| %tobool291 = icmp ne i32* %12, null |
| br i1 %tobool291, label %if.then292, label %if.else298 |
| |
| if.then292: ; preds = %if.then290 |
| %add293 = add nsw i32 %e.0, 3 |
| %cmp294 = icmp sge i32 %add293, %i |
| br i1 %cmp294, label %if.then295, label %if.end628 |
| |
| if.then295: ; preds = %if.then292 |
| br label %if.end628 |
| |
| if.else298: ; preds = %if.then290 |
| %add299 = add nsw i32 %e.0, 4 |
| %cmp300 = icmp sge i32 %add299, %i |
| br i1 %cmp300, label %if.then301, label %if.end628 |
| |
| if.then301: ; preds = %if.else298 |
| %idxprom303 = sext i32 %add299 to i64 |
| br label %if.end628 |
| |
| if.else307: ; preds = %if.else287 |
| %13 = load i32*, i32** @c, align 8 |
| %tobool308 = icmp ne i32* %13, null |
| br i1 %tobool308, label %if.then309, label %if.else324 |
| |
| if.then309: ; preds = %if.else307 |
| %add310 = add nsw i32 %e.0, 1 |
| %cmp311 = icmp sge i32 %add310, %i |
| br i1 %cmp311, label %if.then312, label %if.else316 |
| |
| if.then312: ; preds = %if.then309 |
| %idxprom314 = sext i32 %add310 to i64 |
| br label %if.end628 |
| |
| if.else316: ; preds = %if.then309 |
| br i1 undef, label %if.then318, label %if.end628 |
| |
| if.then318: ; preds = %if.else316 |
| %idxprom320 = sext i32 %add310 to i64 |
| br label %if.end628 |
| |
| if.else324: ; preds = %if.else307 |
| %call325 = call i32 @g() |
| %tobool326 = icmp ne i32 %call325, 0 |
| br i1 %tobool326, label %if.then327, label %if.else475 |
| |
| if.then327: ; preds = %if.else324 |
| %add328 = add nsw i32 %e.0, 2 |
| %cmp329 = icmp sge i32 %add328, %i |
| br i1 %cmp329, label %if.then330, label %if.end332 |
| |
| if.then330: ; preds = %if.then327 |
| br label %if.end332 |
| |
| if.end332: ; preds = %if.then330, %if.then327 |
| %e.11 = phi i32 [ %add328, %if.then330 ], [ %e.0, %if.then327 ] |
| %cmp333 = icmp sge i32 %e.11, %i |
| br i1 %cmp333, label %if.then334, label %if.end336 |
| |
| if.then334: ; preds = %if.end332 |
| %inc335 = add nsw i32 %e.11, 1 |
| br label %if.end336 |
| |
| if.end336: ; preds = %if.then334, %if.end332 |
| %e.12 = phi i32 [ %inc335, %if.then334 ], [ %e.11, %if.end332 ] |
| %cmp337 = icmp sge i32 %e.12, %i |
| br i1 %cmp337, label %if.then338, label %if.end340 |
| |
| if.then338: ; preds = %if.end336 |
| %inc339 = add nsw i32 %e.12, 1 |
| br label %if.end340 |
| |
| if.end340: ; preds = %if.then338, %if.end336 |
| %e.13 = phi i32 [ %inc339, %if.then338 ], [ %e.12, %if.end336 ] |
| %cmp341 = icmp sge i32 %e.13, %i |
| br i1 %cmp341, label %if.then342, label %if.end344 |
| |
| if.then342: ; preds = %if.end340 |
| %inc343 = add nsw i32 %e.13, 1 |
| br label %if.end344 |
| |
| if.end344: ; preds = %if.then342, %if.end340 |
| %e.14 = phi i32 [ %inc343, %if.then342 ], [ %e.13, %if.end340 ] |
| %call345 = call i32 @g() |
| %tobool346 = icmp ne i32 %call345, 0 |
| br i1 %tobool346, label %if.then347, label %if.else398 |
| |
| if.then347: ; preds = %if.end344 |
| %cmp348 = icmp sge i32 %e.14, %i |
| br i1 %cmp348, label %if.then349, label %if.end352 |
| |
| if.then349: ; preds = %if.then347 |
| %idxprom350 = sext i32 %e.14 to i64 |
| br label %if.end352 |
| |
| if.end352: ; preds = %if.then349, %if.then347 |
| br i1 %cmp348, label %if.then354, label %if.else357 |
| |
| if.then354: ; preds = %if.end352 |
| %idxprom355 = sext i32 %e.14 to i64 |
| br label %if.end361 |
| |
| if.else357: ; preds = %if.end352 |
| %idxprom359 = sext i32 %e.14 to i64 |
| br label %if.end361 |
| |
| if.end361: ; preds = %if.else357, %if.then354 |
| br i1 %cmp348, label %if.then363, label %if.end366 |
| |
| if.then363: ; preds = %if.end361 |
| %idxprom364 = sext i32 %e.14 to i64 |
| br label %if.end366 |
| |
| if.end366: ; preds = %if.then363, %if.end361 |
| br i1 %cmp348, label %if.then368, label %if.end371 |
| |
| if.then368: ; preds = %if.end366 |
| %idxprom369 = sext i32 %e.14 to i64 |
| br label %if.end371 |
| |
| if.end371: ; preds = %if.then368, %if.end366 |
| br i1 %cmp348, label %if.then373, label %if.end376 |
| |
| if.then373: ; preds = %if.end371 |
| %idxprom374 = sext i32 %e.14 to i64 |
| br label %if.end376 |
| |
| if.end376: ; preds = %if.then373, %if.end371 |
| br i1 %cmp348, label %if.then378, label %if.end381 |
| |
| if.then378: ; preds = %if.end376 |
| %idxprom379 = sext i32 %e.14 to i64 |
| br label %if.end381 |
| |
| if.end381: ; preds = %if.then378, %if.end376 |
| br i1 %cmp348, label %if.then383, label %if.else386 |
| |
| if.then383: ; preds = %if.end381 |
| %idxprom384 = sext i32 %e.14 to i64 |
| br label %if.end390 |
| |
| if.else386: ; preds = %if.end381 |
| %idxprom388 = sext i32 %e.14 to i64 |
| br label %if.end390 |
| |
| if.end390: ; preds = %if.else386, %if.then383 |
| %add391 = add nsw i32 %e.14, 1 |
| %cmp392 = icmp sge i32 %add391, %i |
| br i1 %cmp392, label %if.then393, label %if.end628 |
| |
| if.then393: ; preds = %if.end390 |
| %idxprom395 = sext i32 %add391 to i64 |
| br label %if.end628 |
| |
| if.else398: ; preds = %if.end344 |
| %call399 = call i32 @h() |
| %tobool400 = icmp ne i32 %call399, 0 |
| br i1 %tobool400, label %if.then401, label %if.else409 |
| |
| if.then401: ; preds = %if.else398 |
| %add402 = add nsw i32 %e.14, 1 |
| %cmp403 = icmp sge i32 %add402, %i |
| br i1 %cmp403, label %if.then404, label %if.end628 |
| |
| if.then404: ; preds = %if.then401 |
| %idxprom406 = sext i32 %add402 to i64 |
| br label %if.end628 |
| |
| if.else409: ; preds = %if.else398 |
| %call410 = call i32 @h() |
| %tobool411 = icmp ne i32 %call410, 0 |
| br i1 %tobool411, label %if.then412, label %if.else420 |
| |
| if.then412: ; preds = %if.else409 |
| %add413 = add nsw i32 %e.14, 1 |
| %cmp414 = icmp sge i32 %add413, %i |
| br i1 %cmp414, label %if.then415, label %if.end628 |
| |
| if.then415: ; preds = %if.then412 |
| %idxprom417 = sext i32 %add413 to i64 |
| br label %if.end628 |
| |
| if.else420: ; preds = %if.else409 |
| %call421 = call i32 @h() |
| %tobool422 = icmp ne i32 %call421, 0 |
| br i1 %tobool422, label %if.then423, label %if.else431 |
| |
| if.then423: ; preds = %if.else420 |
| %add424 = add nsw i32 %e.14, 3 |
| %cmp425 = icmp sge i32 %add424, %i |
| br i1 %cmp425, label %if.then426, label %if.end628 |
| |
| if.then426: ; preds = %if.then423 |
| %idxprom428 = sext i32 %add424 to i64 |
| br label %if.end628 |
| |
| if.else431: ; preds = %if.else420 |
| %call432 = call i32 @h() |
| %tobool433 = icmp ne i32 %call432, 0 |
| br i1 %tobool433, label %if.then434, label %if.else440 |
| |
| if.then434: ; preds = %if.else431 |
| %add435 = add nsw i32 %e.14, 1 |
| %cmp436 = icmp sge i32 %add435, %i |
| br i1 %cmp436, label %if.then437, label %if.end628 |
| |
| if.then437: ; preds = %if.then434 |
| br label %if.end628 |
| |
| if.else440: ; preds = %if.else431 |
| %call441 = call i32 @h() |
| %tobool442 = icmp ne i32 %call441, 0 |
| br i1 %tobool442, label %if.then443, label %if.else451 |
| |
| if.then443: ; preds = %if.else440 |
| %tobool444 = icmp ne i32 %e.14, 0 |
| br i1 %tobool444, label %if.then445, label %if.end628 |
| |
| if.then445: ; preds = %if.then443 |
| %cmp446 = icmp sge i32 %e.14, %i |
| br i1 %cmp446, label %if.then447, label %if.end628 |
| |
| if.then447: ; preds = %if.then445 |
| br label %if.end628 |
| |
| if.else451: ; preds = %if.else440 |
| %call452 = call i32 @h() |
| %tobool453 = icmp ne i32 %call452, 0 |
| br i1 %tobool453, label %if.then454, label %if.else460 |
| |
| if.then454: ; preds = %if.else451 |
| %add455 = add nsw i32 %e.14, 1 |
| %cmp456 = icmp sge i32 %add455, %i |
| br i1 %cmp456, label %if.then457, label %if.end628 |
| |
| if.then457: ; preds = %if.then454 |
| br label %if.end628 |
| |
| if.else460: ; preds = %if.else451 |
| %add461 = add nsw i32 %e.14, 2 |
| %cmp462 = icmp sge i32 %add461, %i |
| br i1 %cmp462, label %if.then463, label %if.end628 |
| |
| if.then463: ; preds = %if.else460 |
| %idxprom465 = sext i32 %add461 to i64 |
| br label %if.end628 |
| |
| if.else475: ; preds = %if.else324 |
| %call476 = call i32 @g() |
| %tobool477 = icmp ne i32 %call476, 0 |
| br i1 %tobool477, label %if.then478, label %if.else509 |
| |
| if.then478: ; preds = %if.else475 |
| %call479 = call i32 @h() |
| %tobool480 = icmp ne i32 %call479, 0 |
| br i1 %tobool480, label %if.then481, label %if.else487 |
| |
| if.then481: ; preds = %if.then478 |
| %add482 = add nsw i32 %e.0, 1 |
| %cmp483 = icmp sge i32 %add482, %i |
| br i1 %cmp483, label %if.then484, label %if.end628 |
| |
| if.then484: ; preds = %if.then481 |
| br label %if.end628 |
| |
| if.else487: ; preds = %if.then478 |
| %call488 = call i32 @h() |
| %tobool489 = icmp ne i32 %call488, 0 |
| br i1 %tobool489, label %if.then490, label %if.else496 |
| |
| if.then490: ; preds = %if.else487 |
| %add491 = add nsw i32 %e.0, 1 |
| %cmp492 = icmp sge i32 %add491, %i |
| br i1 %cmp492, label %if.then493, label %if.end628 |
| |
| if.then493: ; preds = %if.then490 |
| br label %if.end628 |
| |
| if.else496: ; preds = %if.else487 |
| %add497 = add nsw i32 %e.0, 1 |
| %cmp498 = icmp sge i32 %add497, %i |
| br i1 %cmp498, label %if.then499, label %if.else501 |
| |
| if.then499: ; preds = %if.else496 |
| br label %if.end628 |
| |
| if.else501: ; preds = %if.else496 |
| br i1 undef, label %if.then503, label %if.end628 |
| |
| if.then503: ; preds = %if.else501 |
| br label %if.end628 |
| |
| if.else509: ; preds = %if.else475 |
| %call510 = call i32 @g() |
| %tobool511 = icmp ne i32 %call510, 0 |
| br i1 %tobool511, label %if.then512, label %if.else565 |
| |
| if.then512: ; preds = %if.else509 |
| %add513 = add nsw i32 %e.0, 1 |
| %cmp514 = icmp sge i32 %add513, %i |
| br i1 %cmp514, label %if.then515, label %if.end519 |
| |
| if.then515: ; preds = %if.then512 |
| %idxprom517 = sext i32 %add513 to i64 |
| br label %if.end519 |
| |
| if.end519: ; preds = %if.then515, %if.then512 |
| br i1 %cmp514, label %if.then522, label %if.end526 |
| |
| if.then522: ; preds = %if.end519 |
| %idxprom524 = sext i32 %add513 to i64 |
| br label %if.end526 |
| |
| if.end526: ; preds = %if.then522, %if.end519 |
| br i1 %cmp514, label %if.then529, label %if.end533 |
| |
| if.then529: ; preds = %if.end526 |
| %idxprom531 = sext i32 %add513 to i64 |
| br label %if.end533 |
| |
| if.end533: ; preds = %if.then529, %if.end526 |
| %add534 = add nsw i32 %e.0, 2 |
| %cmp535 = icmp sge i32 %add534, %i |
| br i1 %cmp535, label %if.then536, label %if.end540 |
| |
| if.then536: ; preds = %if.end533 |
| %idxprom538 = sext i32 %add534 to i64 |
| br label %if.end540 |
| |
| if.end540: ; preds = %if.then536, %if.end533 |
| br i1 %cmp535, label %if.then543, label %if.end547 |
| |
| if.then543: ; preds = %if.end540 |
| %idxprom545 = sext i32 %add534 to i64 |
| unreachable |
| |
| if.end547: ; preds = %if.end540 |
| br i1 %cmp514, label %if.then550, label %if.else554 |
| |
| if.then550: ; preds = %if.end547 |
| %idxprom552 = sext i32 %add513 to i64 |
| br label %if.end559 |
| |
| if.else554: ; preds = %if.end547 |
| %idxprom557 = sext i32 %add513 to i64 |
| br label %if.end559 |
| |
| if.end559: ; preds = %if.else554, %if.then550 |
| br i1 %cmp514, label %if.then562, label %if.end628 |
| |
| if.then562: ; preds = %if.end559 |
| br label %if.end628 |
| |
| if.else565: ; preds = %if.else509 |
| %call566 = call i32 @g() |
| %tobool567 = icmp ne i32 %call566, 0 |
| br i1 %tobool567, label %if.then568, label %if.else590 |
| |
| if.then568: ; preds = %if.else565 |
| %add569 = add nsw i32 %e.0, 2 |
| %cmp570 = icmp sge i32 %add569, %i |
| br i1 %cmp570, label %if.then571, label %if.else575 |
| |
| if.then571: ; preds = %if.then568 |
| %idxprom573 = sext i32 %add569 to i64 |
| br label %if.end582 |
| |
| if.else575: ; preds = %if.then568 |
| %idxprom579 = sext i32 %add569 to i64 |
| br label %if.end582 |
| |
| if.end582: ; preds = %if.else575, %if.then571 |
| %add583 = add nsw i32 %e.0, 1 |
| %cmp584 = icmp sge i32 %add583, %i |
| br i1 %cmp584, label %if.then585, label %if.end628 |
| |
| if.then585: ; preds = %if.end582 |
| %idxprom587 = sext i32 %add583 to i64 |
| br label %if.end628 |
| |
| if.else590: ; preds = %if.else565 |
| %call591 = call i32 @g() |
| %tobool592 = icmp ne i32 %call591, 0 |
| br i1 %tobool592, label %if.then593, label %if.end628 |
| |
| if.then593: ; preds = %if.else590 |
| %add594 = add nsw i32 %e.0, 1 |
| %cmp595 = icmp sge i32 %add594, %i |
| br i1 %cmp595, label %if.then596, label %if.else600 |
| |
| if.then596: ; preds = %if.then593 |
| %idxprom598 = sext i32 %add594 to i64 |
| br label %if.end628 |
| |
| if.else600: ; preds = %if.then593 |
| br i1 undef, label %if.then602, label %if.end628 |
| |
| if.then602: ; preds = %if.else600 |
| %idxprom604 = sext i32 %add594 to i64 |
| br label %if.end628 |
| |
| if.end628: ; preds = %if.then602, %if.else600, %if.then596, %if.else590, %if.then585, %if.end582, %if.then562, %if.end559, %if.then503, %if.else501, %if.then499, %if.then493, %if.then490, %if.then484, %if.then481, %if.then463, %if.else460, %if.then457, %if.then454, %if.then447, %if.then445, %if.then443, %if.then437, %if.then434, %if.then426, %if.then423, %if.then415, %if.then412, %if.then404, %if.then401, %if.then393, %if.end390, %if.then318, %if.else316, %if.then312, %if.then301, %if.else298, %if.then295, %if.then292, %if.then284, %if.then281, %if.then274, %if.then271, %if.then263, %if.then260, %if.end254, %if.then240, %if.end237, %if.then222, %if.then219, %if.end215, %if.then200, %if.then197, %if.then190, %if.end187, %if.end160, %if.else123, %if.then120, %if.end118, %if.then71, %if.else68, %if.then65, %if.end62, %if.then53, %for.cond |
| %e.15 = phi i32 [ %e.5, %if.then53 ], [ %add63, %if.then65 ], [ %e.6, %if.end62 ], [ %e.5, %if.then71 ], [ %e.5, %if.else68 ], [ %e.9, %if.then120 ], [ %e.9, %if.end118 ], [ %e.10, %if.end160 ], [ %e.0, %if.then190 ], [ %e.0, %if.end187 ], [ %e.0, %if.then200 ], [ %e.0, %if.then197 ], [ %e.0, %if.end215 ], [ %e.0, %if.then222 ], [ %e.0, %if.then219 ], [ %e.0, %if.then240 ], [ %e.0, %if.end237 ], [ %e.0, %if.end254 ], [ %e.0, %if.then263 ], [ %e.0, %if.then260 ], [ %e.0, %if.then274 ], [ %e.0, %if.then271 ], [ %add282, %if.then284 ], [ %e.0, %if.then281 ], [ %add293, %if.then295 ], [ %e.0, %if.then292 ], [ %e.0, %if.then301 ], [ %e.0, %if.else298 ], [ %e.0, %if.then312 ], [ %e.0, %if.then318 ], [ %e.0, %if.else316 ], [ %e.14, %if.then393 ], [ %e.14, %if.end390 ], [ %e.14, %if.then404 ], [ %e.14, %if.then401 ], [ %e.14, %if.then415 ], [ %e.14, %if.then412 ], [ %e.14, %if.then426 ], [ %e.14, %if.then423 ], [ %add435, %if.then437 ], [ %e.14, %if.then434 ], [ %e.14, %if.then447 ], [ %e.14, %if.then445 ], [ %e.14, %if.then443 ], [ %add455, %if.then457 ], [ %e.14, %if.then454 ], [ %e.14, %if.then463 ], [ %e.14, %if.else460 ], [ %add482, %if.then484 ], [ %e.0, %if.then481 ], [ %add491, %if.then493 ], [ %e.0, %if.then490 ], [ %add497, %if.then499 ], [ %add497, %if.then503 ], [ %e.0, %if.else501 ], [ %add513, %if.then562 ], [ %e.0, %if.end559 ], [ %e.0, %if.then585 ], [ %e.0, %if.end582 ], [ %e.0, %if.then596 ], [ %e.0, %if.then602 ], [ %e.0, %if.else600 ], [ %e.0, %if.else590 ], [ %e.0, %if.else123 ], [ %e.0, %for.cond ] |
| br label %for.cond |
| } |
| |
| declare i32 @g() |
| |
| declare i32 @h() |
| |
| ; Function Attrs: nofree nosync nounwind willreturn |
| declare void @llvm.assume(i1 noundef) |
| |
