blob: b6dfc155ae121896c36cf29c74a2df200593bb57 [file] [log] [blame]
; 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)