[llvm] [ScalarEvolution] howManyLessThans infer stride isPositive from guard (PR #214014)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 3 02:12:55 PDT 2026
================
@@ -13424,12 +13424,21 @@ ScalarEvolution::howManyLessThans(const SCEV *LHS, const SCEV *RHS,
ICmpInst::Predicate Cond = IsSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT;
const SCEV *Stride = IV->getStepRecurrence(*this);
-
- bool PositiveStride = isKnownPositive(Stride);
+ const SCEV *StrideForBounds = Stride;
----------------
fhahn wrote:
Not sure what the connection to `Bounds` is in the name. It is the stride with loop guards applied (in some cases), so maybe `StrideWithGuards` or something like that?
https://github.com/llvm/llvm-project/pull/214014
More information about the llvm-commits
mailing list