mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-22 18:54:02 +01:00
[SCCP] Avoid modifying AdditionalUsers while iterating over it
When run under valgrind, or with a malloc that poisons freed memory, this can lead to segfaults or other problems. To avoid modifying the AdditionalUsers DenseMap while still iterating, save the instructions to be notified in a separate SmallPtrSet, and use this to later call OperandChangedState on each instruction. Fixes PR49582. Reviewed By: fhahn Differential Revision: https://reviews.llvm.org/D98602
This commit is contained in:
Dimitry Andric
parent
6c0a714ca5
commit
85f44c8bd7
@ -533,9 +533,14 @@ private:
|
||||
|
||||
auto Iter = AdditionalUsers.find(I);
|
||||
if (Iter != AdditionalUsers.end()) {
|
||||
// Copy additional users before notifying them of changes, because new
|
||||
// users may be added, potentially invalidating the iterator.
|
||||
SmallVector<Instruction *, 2> ToNotify;
|
||||
for (User *U : Iter->second)
|
||||
if (auto *UI = dyn_cast<Instruction>(U))
|
||||
OperandChangedState(UI);
|
||||
ToNotify.push_back(UI);
|
||||
for (Instruction *UI : ToNotify)
|
||||
OperandChangedState(UI);
|
||||
}
|
||||
}
|
||||
void handleCallOverdefined(CallBase &CB);
|
||||
|
||||
854
test/Transforms/SCCP/pr49582-iterator-invalidation.ll
Normal file
854
test/Transforms/SCCP/pr49582-iterator-invalidation.ll
Normal file
@ -0,0 +1,854 @@
|
||||
; RUN: opt < %s -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)
|
||||
|
||||
Loading…
Reference in New Issue
Block a user