Lines Matching defs:Numerator

53 // Computes the Quotient and Remainder of the division of Numerator by
55 void SCEVDivision::divide(ScalarEvolution &SE, const SCEV *Numerator,
58   assert(Numerator && Denominator && "Uninitialized SCEV");
60   SCEVDivision D(SE, Numerator, Denominator);
64   if (Numerator == Denominator) {
70   if (Numerator->isZero()) {
78     *Quotient = Numerator;
86     *Quotient = Numerator;
91       // Bail out when the Numerator is not divisible by one of the terms of
95         *Remainder = Numerator;
103   D.visit(Numerator);
108 void SCEVDivision::visitConstant(const SCEVConstant *Numerator) {
110     APInt NumeratorVal = Numerator->getAPInt();
129 void SCEVDivision::visitVScale(const SCEVVScale *Numerator) {
130   return cannotDivide(Numerator);
133 void SCEVDivision::visitAddRecExpr(const SCEVAddRecExpr *Numerator) {
135   if (!Numerator->isAffine())
136     return cannotDivide(Numerator);
137   divide(SE, Numerator->getStart(), Denominator, &StartQ, &StartR);
138   divide(SE, Numerator->getStepRecurrence(SE), Denominator, &StepQ, &StepR);
143     return cannotDivide(Numerator);
144   Quotient = SE.getAddRecExpr(StartQ, StepQ, Numerator->getLoop(),
145                               Numerator->getNoWrapFlags());
146   Remainder = SE.getAddRecExpr(StartR, StepR, Numerator->getLoop(),
147                                Numerator->getNoWrapFlags());
150 void SCEVDivision::visitAddExpr(const SCEVAddExpr *Numerator) {
154   for (const SCEV *Op : Numerator->operands()) {
160       return cannotDivide(Numerator);
176 void SCEVDivision::visitMulExpr(const SCEVMulExpr *Numerator) {
181   for (const SCEV *Op : Numerator->operands()) {
184       return cannotDivide(Numerator);
201       return cannotDivide(Numerator);
217     return cannotDivide(Numerator);
219   // The Remainder is obtained by replacing Denominator by 0 in Numerator.
222   Remainder = SCEVParameterRewriter::rewrite(Numerator, SE, RewriteMap);
225     // The Quotient is obtained by replacing Denominator by 1 in Numerator.
227     Quotient = SCEVParameterRewriter::rewrite(Numerator, SE, RewriteMap);
231   // Quotient is (Numerator - Remainder) divided by Denominator.
233   const SCEV *Diff = SE.getMinusSCEV(Numerator, Remainder);
235   if (sizeOfSCEV(Diff) > sizeOfSCEV(Numerator))
236     return cannotDivide(Numerator);
239     return cannotDivide(Numerator);
243 SCEVDivision::SCEVDivision(ScalarEvolution &S, const SCEV *Numerator,
251   cannotDivide(Numerator);
256 void SCEVDivision::cannotDivide(const SCEV *Numerator) {
258   Remainder = Numerator;