[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