[llvm] [SLSR] Skip candidate-basis differences when `SCEVUnknown`s differ (NFC) (PR #217451)
Justin Fargnoli via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 25 19:01:12 PDT 2026
================
@@ -4582,6 +4582,30 @@ bool ScalarEvolution::containsAddRecurrence(const SCEV *S) {
return FoundAddRec;
}
+bool ScalarEvolution::hasSameSCEVUnknowns(const SCEV *A, const SCEV *B) {
+ auto CacheUnknowns = [&](const SCEV *Root) {
----------------
justinfargnoli wrote:
Discussed offline.
https://github.com/llvm/llvm-project/pull/217451
More information about the llvm-commits
mailing list