697   static void divide(ScalarEvolution &SE, const SCEV *Numerator,  in divide()
700     assert(Numerator && Denominator && "Uninitialized SCEV");  in divide()
702     SCEVDivision D(SE, Numerator, Denominator);  in divide()
706     if (Numerator == Denominator) {  in divide()
712     if (Numerator->isZero()) {  in divide()
720       *Quotient = Numerator;  in divide()
728       *Quotient = Numerator;  in divide()
737           *Remainder = Numerator;  in divide()
745     D.visit(Numerator);  in divide()
752   void visitTruncateExpr(const SCEVTruncateExpr *Numerator) {}  in visitTruncateExpr()
753   void visitZeroExtendExpr(const SCEVZeroExtendExpr *Numerator) {}  in visitZeroExtendExpr()
754   void visitSignExtendExpr(const SCEVSignExtendExpr *Numerator) {}  in visitSignExtendExpr()
755   void visitUDivExpr(const SCEVUDivExpr *Numerator) {}  in visitUDivExpr()
756   void visitSMaxExpr(const SCEVSMaxExpr *Numerator) {}  in visitSMaxExpr()
757   void visitUMaxExpr(const SCEVUMaxExpr *Numerator) {}  in visitUMaxExpr()
758   void visitUnknown(const SCEVUnknown *Numerator) {}  in visitUnknown()
759   void visitCouldNotCompute(const SCEVCouldNotCompute *Numerator) {}  in visitCouldNotCompute()
761   void visitConstant(const SCEVConstant *Numerator) {  in visitConstant()
763       APInt NumeratorVal = Numerator->getAPInt();  in visitConstant()
782   void visitAddRecExpr(const SCEVAddRecExpr *Numerator) {  in visitAddRecExpr()
784     if (!Numerator->isAffine())  in visitAddRecExpr()
785       return cannotDivide(Numerator);  in visitAddRecExpr()
786     divide(SE, Numerator->getStart(), Denominator, &StartQ, &StartR);  in visitAddRecExpr()
787     divide(SE, Numerator->getStepRecurrence(SE), Denominator, &StepQ, &StepR);  in visitAddRecExpr()
792       return cannotDivide(Numerator);  in visitAddRecExpr()
793     Quotient = SE.getAddRecExpr(StartQ, StepQ, Numerator->getLoop(),  in visitAddRecExpr()
794                                 Numerator->getNoWrapFlags());  in visitAddRecExpr()
795     Remainder = SE.getAddRecExpr(StartR, StepR, Numerator->getLoop(),  in visitAddRecExpr()
796                                  Numerator->getNoWrapFlags());  in visitAddRecExpr()
799   void visitAddExpr(const SCEVAddExpr *Numerator) {  in visitAddExpr()
803     for (const SCEV *Op : Numerator->operands()) {  in visitAddExpr()
809         return cannotDivide(Numerator);  in visitAddExpr()
825   void visitMulExpr(const SCEVMulExpr *Numerator) {  in visitMulExpr()
830     for (const SCEV *Op : Numerator->operands()) {  in visitMulExpr()
833         return cannotDivide(Numerator);  in visitMulExpr()
850         return cannotDivide(Numerator);  in visitMulExpr()
866       return cannotDivide(Numerator);  in visitMulExpr()
872     Remainder = SCEVParameterRewriter::rewrite(Numerator, SE, RewriteMap, true);  in visitMulExpr()
879           SCEVParameterRewriter::rewrite(Numerator, SE, RewriteMap, true);  in visitMulExpr()
885     const SCEV *Diff = SE.getMinusSCEV(Numerator, Remainder);  in visitMulExpr()
887     if (sizeOfSCEV(Diff) > sizeOfSCEV(Numerator))  in visitMulExpr()
888       return cannotDivide(Numerator);  in visitMulExpr()
891       return cannotDivide(Numerator);  in visitMulExpr()
896   SCEVDivision(ScalarEvolution &S, const SCEV *Numerator,  in SCEVDivision()
905     cannotDivide(Numerator);  in SCEVDivision()
910   void cannotDivide(const SCEV *Numerator) {  in cannotDivide()
912     Remainder = Numerator;  in cannotDivide()