[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