Lines Matching refs:RightSCEV
810 const SCEV *RightSCEV = SE.getSCEV(RightValue);
814 if (isa<SCEVAddRecExpr>(RightSCEV)) {
815 std::swap(LeftSCEV, RightSCEV);
884 FixedRightSCEV = RightSCEV;
896 // comparison check against "RightSCEV + 1" more optimistic.
898 isKnownNonNegativeInLoop(RightSCEV, &L, SE))
909 cannotBeMinInLoop(RightSCEV, &L, SE, /*Signed*/false)) {
911 RightSCEV = SE.getMinusSCEV(RightSCEV,
912 SE.getOne(RightSCEV->getType()));
914 } else if (cannotBeMinInLoop(RightSCEV, &L, SE, /*Signed*/true)) {
916 RightSCEV = SE.getMinusSCEV(RightSCEV,
917 SE.getOne(RightSCEV->getType()));
939 if (!isSafeIncreasingBound(IndVarStart, RightSCEV, Step, Pred,
949 SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
964 // our check against "RightSCEV - 1".
973 cannotBeMaxInLoop(RightSCEV, &L, SE, /* Signed */ false)) {
975 RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
977 } else if (cannotBeMaxInLoop(RightSCEV, &L, SE, /* Signed */ true)) {
979 RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
1004 if (!isSafeDecreasingBound(IndVarStart, RightSCEV, Step, Pred,
1015 SE.getMinusSCEV(RightSCEV, SE.getOne(RightSCEV->getType()));