Lines Matching refs:getMinusSCEV

952     const SCEV *S = SE.getMinusSCEV(It, SE.getConstant(It->getType(), i));  in BinomialCoefficient()
2312 Operation = &ScalarEvolution::getMinusSCEV; in willNotOverflow()
3417 return getMinusSCEV(LHS, Mult, SCEV::FlagNUW); in getURemExpr()
4644 return getMinusSCEV(getMinusOne(Ty), V); in getNotSCEV()
4677 const SCEV *ScalarEvolution::getMinusSCEV(const SCEV *LHS, const SCEV *RHS, in getMinusSCEV() function in ScalarEvolution
5066 return SE.getMinusSCEV(Expr, Expr->getStepRecurrence(SE)); in visitAddRecExpr()
6134 const SCEV *LDiff = getMinusSCEV(LA, LS); in createNodeForSelectOrPHIInstWithICmpInstCond()
6135 const SCEV *RDiff = getMinusSCEV(RA, RS); in createNodeForSelectOrPHIInstWithICmpInstCond()
6139 LDiff = getMinusSCEV(LA, RS); in createNodeForSelectOrPHIInstWithICmpInstCond()
6140 RDiff = getMinusSCEV(RA, LS); in createNodeForSelectOrPHIInstWithICmpInstCond()
6157 const SCEV *Y = getMinusSCEV(FalseValExpr, X); // y = (x+y)-x in createNodeForSelectOrPHIInstWithICmpInstCond()
6158 const SCEV *C = getMinusSCEV(TrueValExpr, Y); // C = (C+y)-y in createNodeForSelectOrPHIInstWithICmpInstCond()
6215 return SE->getAddExpr(C, SE->getUMinExpr(CondExpr, SE->getMinusSCEV(X, C), in createNodeForSelectViaUMinSeq()
7715 AddOps.push_back(getMinusSCEV(LHS, RHS, Flags)); in createSCEV()
7784 return getMinusSCEV(LHS, RHS, Flags); in createSCEV()
8032 return getMinusSCEV(V1, V2, SCEV::FlagNSW); in createSCEV()
8113 return getMinusSCEV(X, ClampedY, SCEV::FlagNUW); in createSCEV()
9209 ExitLimit EL = howFarToZero(getMinusSCEV(LHS, RHS), L, ControlsOnlyExit, in computeExitLimitFromICmp()
9227 ExitLimit EL = howFarToNonZero(getMinusSCEV(LHS, RHS), L); in computeExitLimitFromICmp()
9308 ExitLimit EL = howFarToZero(getMinusSCEV(LHS, RHS), L, ControlsOnlyExit); in computeExitLimitFromSingleExitSwitch()
11251 auto *Diff = getMinusSCEV(LHS, RHS); in isKnownPredicateViaConstantRanges()
12519 auto *DenomMinusTwo = getMinusSCEV(DenominatorExt, getConstant(WTy, 2)); in isImpliedViaOperations()
12532 auto *NegDenomMinusOne = getMinusSCEV(MinusOne, DenominatorExt); in isImpliedViaOperations()
12678 APInt MaxStrideMinusOne = getSignedRangeMax(getMinusSCEV(Stride, One)); in canIVOverflowOnLT()
12686 APInt MaxStrideMinusOne = getUnsignedRangeMax(getMinusSCEV(Stride, One)); in canIVOverflowOnLT()
12701 APInt MaxStrideMinusOne = getSignedRangeMax(getMinusSCEV(Stride, One)); in canIVOverflowOnGT()
12709 APInt MaxStrideMinusOne = getUnsignedRangeMax(getMinusSCEV(Stride, One)); in canIVOverflowOnGT()
12720 const SCEV *NMinusOne = getMinusSCEV(N, MinNOne); in getUDivCeilSCEV()
12953 auto *StartIfZero = getMinusSCEV(IV->getStart(), Stride); in howManyLessThans()
13037 const SCEV *Denominator = getMinusSCEV(Stride, RHSStride); in howManyLessThans()
13043 const SCEV *Delta = getMinusSCEV(End, Start); in howManyLessThans()
13047 getUDivCeilSCEV(getMinusSCEV(RHSStart, Start), Denominator); in howManyLessThans()
13066 auto *OrigStartMinusStride = getMinusSCEV(OrigStart, Stride); in howManyLessThans()
13094 getMinusSCEV(getAddExpr(RHS, MinusOne), getMinusSCEV(Start, Stride)); in howManyLessThans()
13141 getUDivCeilSCEV(getMinusSCEV(RHS, Start), Stride); in howManyLessThans()
13204 if (Start == Stride || Start == getMinusSCEV(Stride, One)) { in howManyLessThans()
13217 const SCEV *Delta = getMinusSCEV(End, Start); in howManyLessThans()
13223 getUDivExpr(getAddExpr(Delta, getMinusSCEV(Stride, One)), Stride); in howManyLessThans()
13321 getAddExpr(getMinusSCEV(Start, End), getMinusSCEV(Stride, One)), Stride); in howManyGreaterThans()
14214 const SCEV *Delta = SE2.getMinusSCEV(Old, New); in verify()
15350 RHS = SE.getMinusSCEV(RHS, One); in collect()