[llvm] 6abb92f - [SCCP] Avoid modifying AdditionalUsers while iterating over it
Dimitry Andric via llvm-commits
llvm-commits at lists.llvm.org
Fri Apr 2 10:06:19 PDT 2021
Author: Dimitry Andric
Date: 2021-04-02T19:05:59+02:00
New Revision: 6abb92f2103a58d097620b4410054c5bb18c48ec
URL: https://github.com/llvm/llvm-project/commit/6abb92f2103a58d097620b4410054c5bb18c48ec
DIFF: https://github.com/llvm/llvm-project/commit/6abb92f2103a58d097620b4410054c5bb18c48ec.diff
LOG: [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
Added:
llvm/test/Transforms/SCCP/pr49582-iterator-invalidation.ll
Modified:
llvm/lib/Transforms/Scalar/SCCP.cpp
Removed:
################################################################################
diff --git a/llvm/lib/Transforms/Scalar/SCCP.cpp b/llvm/lib/Transforms/Scalar/SCCP.cpp
index 045abefd4741c..86705b8622a31 100644
--- a/llvm/lib/Transforms/Scalar/SCCP.cpp
+++ b/llvm/lib/Transforms/Scalar/SCCP.cpp
@@ -533,9 +533,14 @@ class SCCPSolver : public InstVisitor<SCCPSolver> {
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);
diff --git a/llvm/test/Transforms/SCCP/pr49582-iterator-invalidation.ll b/llvm/test/Transforms/SCCP/pr49582-iterator-invalidation.ll
new file mode 100644
index 0000000000000..6d5b2e1841b47
--- /dev/null
+++ b/llvm/test/Transforms/SCCP/pr49582-iterator-invalidation.ll
@@ -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.
+
+ at c = external dso_local global i32*, align 8
+ at 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)
+
More information about the llvm-commits
mailing list