Lines Matching refs:getStepRecurrence
1337 const SCEV *Step = AR->getStepRecurrence(*SE); in getPreStartForExtend()
1416 return SE->getAddExpr((SE->*GetExtendExpr)(AR->getStepRecurrence(*SE), Ty, in getExtendAddRecStart()
1625 const SCEV *Step = AR->getStepRecurrence(*this); in getZeroExtendExprImpl()
1998 const SCEV *Step = AR->getStepRecurrence(*this); in getSignExtendExprImpl()
3429 dyn_cast<SCEVConstant>(AR->getStepRecurrence(*this))) { in getUDivExpr()
5032 return SE.getMinusSCEV(Expr, Expr->getStepRecurrence(SE)); in visitAddRecExpr()
5061 ConstantRange StepCR = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
5072 ConstantRange IncRange = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
5082 ConstantRange IncRange = getUnsignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
5107 const SCEV *Step = AR->getStepRecurrence(*this); in proveNoSignedWrapViaInduction()
5160 const SCEV *Step = AR->getStepRecurrence(*this); in proveNoUnsignedWrapViaInduction()
5705 !areExprsEqual(AR1->getStepRecurrence(SE), AR2->getStepRecurrence(SE))) in areAddRecsEqualWithPreds()
6789 AddRec->getStart(), AddRec->getStepRecurrence(*this), MaxBECount); in getRangeRef()
6794 AddRec->getStart(), AddRec->getStepRecurrence(*this), MaxBECount); in getRangeRef()
7067 const SCEV *Step = AddRec->getStepRecurrence(*this); in getRangeForAffineNoSelfWrappingAR()
9222 isKnownToBeAPowerOfTwo(AR->getStepRecurrence(*this), /*OrZero=*/true, in computeExitLimitFromICmp()
9241 isKnownPositive(AR->getStepRecurrence(*this))) { in computeExitLimitFromICmp()
10987 isKnownMultipleOf(AddRec->getStepRecurrence(*this), M, Assumptions); in isKnownMultipleOf()
11194 const SCEV *Step = LHS->getStepRecurrence(*this); in getMonotonicPredicateTypeImpl()
11279 isKnownPositive(ArLHS->getStepRecurrence(*this)) && in getLoopInvariantPredicate()
11340 const SCEV *Step = AR->getStepRecurrence(*this); in getLoopInvariantExitCondDuringFirstIterationsImpl()
12105 if (LAR->getStepRecurrence(*this) != MAR->getStepRecurrence(*this)) in computeConstantDifference()
12977 if (!isKnownNonZero(AR->getStepRecurrence(*this))) in howManyLessThans()
12990 APInt StrideMax = getUnsignedRangeMax(AR->getStepRecurrence(*this)); in howManyLessThans()
13003 const SCEV *Step = AR->getStepRecurrence(*this); in howManyLessThans()
13041 const SCEV *Stride = IV->getStepRecurrence(*this); in howManyLessThans()
13168 const SCEV *RHSStride = RHSAddRec->getStepRecurrence(*this); in howManyLessThans()
13420 const SCEV *Stride = getNegativeSCEV(IV->getStepRecurrence(*this)); in howManyGreaterThans()
14829 const SCEV *Step = AR->getStepRecurrence(SE); in visitZeroExtendExpr()
14845 const SCEV *Step = AR->getStepRecurrence(SE); in visitSignExtendExpr()
14999 const SCEV *Step = AR->getStepRecurrence(SE); in implies()
15000 const SCEV *OpStep = Op->AR->getStepRecurrence(SE); in implies()
15052 if (const auto *Step = dyn_cast<SCEVConstant>(AR->getStepRecurrence(SE))) in getImpliedFlags()