[llvm] 35a8bdc - [NFCI][IndVars] rewriteLoopExitValues(): nowadays SCEV should not change `GEP` base pointer
Roman Lebedev via llvm-commits
llvm-commits at lists.llvm.org
Sun Aug 15 09:05:50 PDT 2021
Author: Roman Lebedev
Date: 2021-08-15T18:59:32+03:00
New Revision: 35a8bdc775817ce13a6c9b5cf81502052634aa1f
URL: https://github.com/llvm/llvm-project/commit/35a8bdc775817ce13a6c9b5cf81502052634aa1f
DIFF: https://github.com/llvm/llvm-project/commit/35a8bdc775817ce13a6c9b5cf81502052634aa1f.diff
LOG: [NFCI][IndVars] rewriteLoopExitValues(): nowadays SCEV should not change `GEP` base pointer
Currently/previously, while SCEV guaranteed that it produces the same value,
the way it was produced may be illegal IR, so we have an ugly check that
the replacement is valid.
But now that the SCEV strictness wrt the pointer/integer types has been improved,
i believe this invariant is already upheld by the SCEV itself, natively.
I think we should add an assertion, wait for a week, and then, if all is good,
rip out all this checking.
Or we could just do the latter directly i guess.
This reverts commit rL127839.
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D108043
Added:
Modified:
llvm/lib/Transforms/Utils/LoopUtils.cpp
Removed:
################################################################################
diff --git a/llvm/lib/Transforms/Utils/LoopUtils.cpp b/llvm/lib/Transforms/Utils/LoopUtils.cpp
index e4d78f9ada083..51498548856d6 100644
--- a/llvm/lib/Transforms/Utils/LoopUtils.cpp
+++ b/llvm/lib/Transforms/Utils/LoopUtils.cpp
@@ -1351,6 +1351,9 @@ int llvm::rewriteLoopExitValues(Loop *L, LoopInfo *LI, TargetLibraryInfo *TLI,
// FIXME: isValidRewrite() is a hack. it should be an assert, eventually.
Phi.ValidRewrite = isValidRewrite(SE, Phi.ExpansionPoint, Phi.Expansion);
+ assert(Phi.ValidRewrite &&
+ "Now that the SCEV is strict wrt pointer/integer types, this "
+ "invariant is expected to be uphold by SCEV itself.");
if (!Phi.ValidRewrite) {
DeadInsts.push_back(Phi.Expansion);
continue;
More information about the llvm-commits
mailing list