[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