908   const SCEV *Step = AR->getStepRecurrence(SE);  in IsIncrementNSW()  local
909   const SCEV *OpAfterExtend = SE.getAddExpr(SE.getSignExtendExpr(Step, WideTy),  in IsIncrementNSW()
912     SE.getSignExtendExpr(SE.getAddExpr(AR, Step), WideTy);  in IsIncrementNSW()
922   const SCEV *Step = AR->getStepRecurrence(SE);  in IsIncrementNUW()  local
923   const SCEV *OpAfterExtend = SE.getAddExpr(SE.getZeroExtendExpr(Step, WideTy),  in IsIncrementNUW()
926     SE.getZeroExtendExpr(SE.getAddExpr(AR, Step), WideTy);  in IsIncrementNUW()
1053   const SCEV *Step = Normalized->getStepRecurrence(SE);  in getAddRecExprPHILiterally()  local
1058   bool useSubtract = !ExpandTy->isPointerTy() && Step->isNonConstantNegative();  in getAddRecExprPHILiterally()
1060     Step = SE.getNegativeSCEV(Step);  in getAddRecExprPHILiterally()
1062   Value *StepV = expand(Step, L->getHeader()->getFirstInsertionPt());  in getAddRecExprPHILiterally()
1126   const SCEV *Step = Normalized->getStepRecurrence(SE);  in expandAddRecExprLiterally()  local
1129   assert(SE.dominates(Step, L->getHeader()) && "Step not dominate loop header");  in expandAddRecExprLiterally()
1174           !S->getType()->isPointerTy() && Step->isNonConstantNegative();  in expandAddRecExprLiterally()
1176         Step = SE.getNegativeSCEV(Step);  in expandAddRecExprLiterally()
1181         StepV = expand(Step, L->getHeader()->getFirstInsertionPt());  in expandAddRecExprLiterally()
2096   const SCEV *Step = AR->getStepRecurrence(SE);  in generateOverflowCheck()  local
2114   Value *StepValue = expand(Step, Loc);  in generateOverflowCheck()
2115   Value *NegStepValue = expand(SE.getNegativeSCEV(Step), Loc);  in generateOverflowCheck()
2136     if (!Signed && Start->isZero() && SE.isKnownPositive(Step))  in generateOverflowCheck()
2143     if (Step->isOne()) {  in generateOverflowCheck()
2159     bool NeedPosCheck = !SE.isKnownNegative(Step);  in generateOverflowCheck()
2160     bool NeedNegCheck = !SE.isKnownPositive(Step);  in generateOverflowCheck()