[llvm] 8d28d44 - [SCEV] Fix outdated comment (NFC)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 30 05:39:25 PDT 2024


Author: Nikita Popov
Date: 2024-07-30T14:37:52+02:00
New Revision: 8d28d448e35add632345ff6d1c45449155652756

URL: https://github.com/llvm/llvm-project/commit/8d28d448e35add632345ff6d1c45449155652756
DIFF: https://github.com/llvm/llvm-project/commit/8d28d448e35add632345ff6d1c45449155652756.diff

LOG: [SCEV] Fix outdated comment (NFC)

The EqCache parameter has been removed.

Added: 
    

Modified: 
    llvm/lib/Analysis/ScalarEvolution.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp
index f60a6c585e5ba..fb56d5d436653 100644
--- a/llvm/lib/Analysis/ScalarEvolution.cpp
+++ b/llvm/lib/Analysis/ScalarEvolution.cpp
@@ -581,22 +581,7 @@ void SCEVUnknown::allUsesReplacedWith(Value *New) {
 
 /// Compare the two values \p LV and \p RV in terms of their "complexity" where
 /// "complexity" is a partial (and somewhat ad-hoc) relation used to order
-/// operands in SCEV expressions.  \p EqCache is a set of pairs of values that
-/// have been previously deemed to be "equally complex" by this routine.  It is
-/// intended to avoid exponential time complexity in cases like:
-///
-///   %a = f(%x, %y)
-///   %b = f(%a, %a)
-///   %c = f(%b, %b)
-///
-///   %d = f(%x, %y)
-///   %e = f(%d, %d)
-///   %f = f(%e, %e)
-///
-///   CompareValueComplexity(%f, %c)
-///
-/// Since we do not continue running this routine on expression trees once we
-/// have seen unequal values, there is no need to track them in the cache.
+/// operands in SCEV expressions.
 static int CompareValueComplexity(const LoopInfo *const LI, Value *LV,
                                   Value *RV, unsigned Depth) {
   if (Depth > MaxValueCompareDepth)


        


More information about the llvm-commits mailing list