Lines Matching defs:RightSCEV

182   const SCEV *RightSCEV = SE.getSCEV(RightValue);
186     if (isa<SCEVAddRecExpr>(RightSCEV)) {
187       std::swap(LeftSCEV, RightSCEV);
260       FixedRightSCEV = RightSCEV;
272         // comparison check against "RightSCEV + 1" more optimistic.
274             isKnownNonNegativeInLoop(RightSCEV, &L, SE))
285             cannotBeMinInLoop(RightSCEV, &L, SE, /*Signed*/ false)) {
287           RightSCEV =
288               SE.getMinusSCEV(RightSCEV, SE.getOne(RightSCEV->getType()));
290         } else if (cannotBeMinInLoop(RightSCEV, &L, SE, /*Signed*/ true)) {
292           RightSCEV =
293               SE.getMinusSCEV(RightSCEV, SE.getOne(RightSCEV->getType()));
315     if (!isSafeIncreasingBound(IndVarStart, RightSCEV, Step, Pred,
325             SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
340         // our check against "RightSCEV - 1".
349             cannotBeMaxInLoop(RightSCEV, &L, SE, /* Signed */ false)) {
351           RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
353         } else if (cannotBeMaxInLoop(RightSCEV, &L, SE, /* Signed */ true)) {
355           RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
380     if (!isSafeDecreasingBound(IndVarStart, RightSCEV, Step, Pred,
391             SE.getMinusSCEV(RightSCEV, SE.getOne(RightSCEV->getType()));