848   const SCEV *Step = AR->getStepRecurrence(SE);  in IsIncrementNSW()  local
849   const SCEV *OpAfterExtend = SE.getAddExpr(SE.getSignExtendExpr(Step, WideTy),  in IsIncrementNSW()
852     SE.getSignExtendExpr(SE.getAddExpr(AR, Step), WideTy);  in IsIncrementNSW()
862   const SCEV *Step = AR->getStepRecurrence(SE);  in IsIncrementNUW()  local
863   const SCEV *OpAfterExtend = SE.getAddExpr(SE.getZeroExtendExpr(Step, WideTy),  in IsIncrementNUW()
866     SE.getZeroExtendExpr(SE.getAddExpr(AR, Step), WideTy);  in IsIncrementNUW()
993   const SCEV *Step = Normalized->getStepRecurrence(SE);  in getAddRecExprPHILiterally()  local
998   bool useSubtract = !ExpandTy->isPointerTy() && Step->isNonConstantNegative();  in getAddRecExprPHILiterally()
1000     Step = SE.getNegativeSCEV(Step);  in getAddRecExprPHILiterally()
1002   Value *StepV = expand(Step, L->getHeader()->getFirstInsertionPt());  in getAddRecExprPHILiterally()
1069   const SCEV *Step = Normalized->getStepRecurrence(SE);  in expandAddRecExprLiterally()  local
1072   assert(SE.dominates(Step, L->getHeader()) && "Step not dominate loop header");  in expandAddRecExprLiterally()
1117           !S->getType()->isPointerTy() && Step->isNonConstantNegative();  in expandAddRecExprLiterally()
1119         Step = SE.getNegativeSCEV(Step);  in expandAddRecExprLiterally()
1124         StepV = expand(Step, L->getHeader()->getFirstInsertionPt());  in expandAddRecExprLiterally()
1998   const SCEV *Step = AR->getStepRecurrence(SE);  in generateOverflowCheck()  local
2016   Value *StepValue = expand(Step, Loc);  in generateOverflowCheck()
2017   Value *NegStepValue = expand(SE.getNegativeSCEV(Step), Loc);  in generateOverflowCheck()
2038     if (!Signed && Start->isZero() && SE.isKnownPositive(Step))  in generateOverflowCheck()
2045     if (Step->isOne()) {  in generateOverflowCheck()
2061     bool NeedPosCheck = !SE.isKnownNegative(Step);  in generateOverflowCheck()
2062     bool NeedNegCheck = !SE.isKnownPositive(Step);  in generateOverflowCheck()