[llvm] 9bf3cfa - [SCEV] Add a missing AssumptionCache parameter

Philip Reames via llvm-commits llvm-commits at lists.llvm.org
Wed Feb 10 12:09:07 PST 2021


Author: Philip Reames
Date: 2021-02-10T12:08:55-08:00
New Revision: 9bf3cfa77b833b508c118384b57c596fc8f92933

URL: https://github.com/llvm/llvm-project/commit/9bf3cfa77b833b508c118384b57c596fc8f92933
DIFF: https://github.com/llvm/llvm-project/commit/9bf3cfa77b833b508c118384b57c596fc8f92933.diff

LOG: [SCEV] Add a missing AssumptionCache parameter

The AssumptionCache mechanism is used to feed assumes into known bits computations.  Most places in SCEV passed it in, but one place appears to have been missed.

Spotted via inspection, don't have a test case which actually exercises this, but it seemed like an obvious fixit.

Added: 
    

Modified: 
    llvm/lib/Analysis/ScalarEvolution.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp
index b207fc89f89b..1243ad4bfc66 100644
--- a/llvm/lib/Analysis/ScalarEvolution.cpp
+++ b/llvm/lib/Analysis/ScalarEvolution.cpp
@@ -7996,7 +7996,7 @@ ScalarEvolution::ExitLimit ScalarEvolution::computeShiftCompareExitLimit(
     // {K,ashr,<positive-constant>} stabilizes to signum(K) in at most
     // bitwidth(K) iterations.
     Value *FirstValue = PN->getIncomingValueForBlock(Predecessor);
-    KnownBits Known = computeKnownBits(FirstValue, DL, 0, nullptr,
+    KnownBits Known = computeKnownBits(FirstValue, DL, 0, &AC,
                                        Predecessor->getTerminator(), &DT);
     auto *Ty = cast<IntegerType>(RHS->getType());
     if (Known.isNonNegative())


        


More information about the llvm-commits mailing list