[PATCH] D134663: [LoopDeletion] Clear block & loop dispo cache after breaking backedge.
Florian Hahn via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Sep 26 12:16:20 PDT 2022
fhahn created this revision.
fhahn added reviewers: nikic, reames, mkazantsev.
Herald added a subscriber: hiraditya.
Herald added a project: All.
fhahn requested review of this revision.
Herald added a project: LLVM.
breakLoopBackedge may remove blocks and loops. Also clear block &
loop disposition to avoid the cache containing invalid blocks and loops.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D134663
Files:
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/lib/Transforms/Utils/LoopUtils.cpp
Index: llvm/lib/Transforms/Utils/LoopUtils.cpp
===================================================================
--- llvm/lib/Transforms/Utils/LoopUtils.cpp
+++ llvm/lib/Transforms/Utils/LoopUtils.cpp
@@ -696,6 +696,7 @@
Loop *OutermostLoop = L->getOutermostLoop();
SE.forgetLoop(L);
+ SE.forgetBlockAndLoopDispositions();
std::unique_ptr<MemorySSAUpdater> MSSAU;
if (MSSA)
Index: llvm/lib/Analysis/ScalarEvolution.cpp
===================================================================
--- llvm/lib/Analysis/ScalarEvolution.cpp
+++ llvm/lib/Analysis/ScalarEvolution.cpp
@@ -14003,9 +14003,6 @@
for (auto &V : Values) {
auto CachedDisposition = V.getInt();
const auto *Loop = V.getPointer();
- // TODO: Make sure LoopDispositions contains no invalid loops.
- if (!ValidLoops.contains(Loop))
- continue;
const auto RecomputedDisposition = SE2.getLoopDisposition(S, Loop);
if (CachedDisposition != RecomputedDisposition) {
dbgs() << "Cached disposition of " << *S << " for loop " << *Loop
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D134663.462992.patch
Type: text/x-patch
Size: 1065 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220926/fe885008/attachment.bin>
More information about the llvm-commits
mailing list