526   auto rhsConst = rhs.dyn_cast<AffineConstantExpr>();  in simplifyAdd()  local
528   if (lhsConst && rhsConst)  in simplifyAdd()
529     return getAffineConstantExpr(lhsConst.getValue() + rhsConst.getValue(),  in simplifyAdd()
542   if (rhsConst) {  in simplifyAdd()
543     if (rhsConst.getValue() == 0)  in simplifyAdd()
548   if (lBin && rhsConst && lBin.getKind() == AffineExprKind::Add) {  in simplifyAdd()
550       return lBin.getLHS() + (lrhs.getValue() + rhsConst.getValue());  in simplifyAdd()
654   auto rhsConst = rhs.dyn_cast<AffineConstantExpr>();  in simplifyMul()  local
656   if (lhsConst && rhsConst)  in simplifyMul()
657     return getAffineConstantExpr(lhsConst.getValue() * rhsConst.getValue(),  in simplifyMul()
673   if (rhsConst) {  in simplifyMul()
674     if (rhsConst.getValue() == 1)  in simplifyMul()
677     if (rhsConst.getValue() == 0)  in simplifyMul()
678       return rhsConst;  in simplifyMul()
683   if (lBin && rhsConst && lBin.getKind() == AffineExprKind::Mul) {  in simplifyMul()
685       return lBin.getLHS() * (lrhs.getValue() * rhsConst.getValue());  in simplifyMul()
724   auto rhsConst = rhs.dyn_cast<AffineConstantExpr>();  in simplifyFloorDiv()  local
727   if (!rhsConst || rhsConst.getValue() < 1)  in simplifyFloorDiv()
732         floorDiv(lhsConst.getValue(), rhsConst.getValue()), lhs.getContext());  in simplifyFloorDiv()
736   if (rhsConst == 1)  in simplifyFloorDiv()
745       if (lrhs.getValue() % rhsConst.getValue() == 0)  in simplifyFloorDiv()
746         return lBin.getLHS() * (lrhs.getValue() / rhsConst.getValue());  in simplifyFloorDiv()
756     if (llhsDiv % rhsConst.getValue() == 0 ||  in simplifyFloorDiv()
757         lrhsDiv % rhsConst.getValue() == 0)  in simplifyFloorDiv()
758       return lBin.getLHS().floorDiv(rhsConst.getValue()) +  in simplifyFloorDiv()
759              lBin.getRHS().floorDiv(rhsConst.getValue());  in simplifyFloorDiv()
780   auto rhsConst = rhs.dyn_cast<AffineConstantExpr>();  in simplifyCeilDiv()  local
782   if (!rhsConst || rhsConst.getValue() < 1)  in simplifyCeilDiv()
787         ceilDiv(lhsConst.getValue(), rhsConst.getValue()), lhs.getContext());  in simplifyCeilDiv()
791   if (rhsConst.getValue() == 1)  in simplifyCeilDiv()
800       if (lrhs.getValue() % rhsConst.getValue() == 0)  in simplifyCeilDiv()
801         return lBin.getLHS() * (lrhs.getValue() / rhsConst.getValue());  in simplifyCeilDiv()
823   auto rhsConst = rhs.dyn_cast<AffineConstantExpr>();  in simplifyMod()  local
826   if (!rhsConst || rhsConst.getValue() < 1)  in simplifyMod()
830     return getAffineConstantExpr(mod(lhsConst.getValue(), rhsConst.getValue()),  in simplifyMod()
836   if (lhs.getLargestKnownDivisor() % rhsConst.getValue() == 0)  in simplifyMod()
846     if (llhsDiv % rhsConst.getValue() == 0)  in simplifyMod()
847       return lBin.getRHS() % rhsConst.getValue();  in simplifyMod()
848     if (lrhsDiv % rhsConst.getValue() == 0)  in simplifyMod()
849       return lBin.getLHS() % rhsConst.getValue();  in simplifyMod()
856         mod(intermediate.getValue(), rhsConst.getValue()) == 0) {  in simplifyMod()
857       return lBin.getLHS() % rhsConst.getValue();  in simplifyMod()
1132   auto rhsConst = rhs[getConstantIndex()];  in visitMulExpr()  local
1134     lhs[i] *= rhsConst;  in visitMulExpr()
1182   int64_t rhsConst = rhs[getConstantIndex()];  in visitModExpr()  local
1185   assert(rhsConst > 0 && "RHS constant has to be positive");  in visitModExpr()
1190     if (lhs[i] % rhsConst != 0)  in visitModExpr()
1202   uint64_t gcd = rhsConst;  in visitModExpr()
1210   int64_t floorDivisor = rhsConst / static_cast<int64_t>(gcd);  in visitModExpr()
1222     lhs[getLocalVarStartIndex() + numLocals - 1] = -rhsConst;  in visitModExpr()
1225     lhs[getLocalVarStartIndex() + loc] = -rhsConst;  in visitModExpr()
1307   int64_t rhsConst = rhs[getConstantIndex()];  in visitDivExpr()  local
1310   assert(rhsConst > 0 && "RHS constant has to be positive");  in visitDivExpr()
1314   uint64_t gcd = std::abs(rhsConst);  in visitDivExpr()
1322   int64_t divisor = rhsConst / static_cast<int64_t>(gcd);  in visitDivExpr()