511   auto lBin = lhs.dyn_cast<AffineBinaryOpExpr>();  in simplifyAdd()  local
512   if (lBin && rhsConst && lBin.getKind() == AffineExprKind::Add) {  in simplifyAdd()
513     if (auto lrhs = lBin.getRHS().dyn_cast<AffineConstantExpr>())  in simplifyAdd()
514       return lBin.getLHS() + (lrhs.getValue() + rhsConst.getValue());  in simplifyAdd()
552   if (lBin && lBin.getKind() == AffineExprKind::Add) {  in simplifyAdd()
553     if (auto lrhs = lBin.getRHS().dyn_cast<AffineConstantExpr>()) {  in simplifyAdd()
554       return lBin.getLHS() + rhs + lrhs;  in simplifyAdd()
626   auto lBin = lhs.dyn_cast<AffineBinaryOpExpr>();  in simplifyMul()  local
627   if (lBin && rhsConst && lBin.getKind() == AffineExprKind::Mul) {  in simplifyMul()
628     if (auto lrhs = lBin.getRHS().dyn_cast<AffineConstantExpr>())  in simplifyMul()
629       return lBin.getLHS() * (lrhs.getValue() * rhsConst.getValue());  in simplifyMul()
634   if (lBin && lBin.getKind() == AffineExprKind::Mul) {  in simplifyMul()
635     if (auto lrhs = lBin.getRHS().dyn_cast<AffineConstantExpr>()) {  in simplifyMul()
636       return (lBin.getLHS() * rhs) * lrhs;  in simplifyMul()
685   auto lBin = lhs.dyn_cast<AffineBinaryOpExpr>();  in simplifyFloorDiv()  local
686   if (lBin && lBin.getKind() == AffineExprKind::Mul) {  in simplifyFloorDiv()
687     if (auto lrhs = lBin.getRHS().dyn_cast<AffineConstantExpr>()) {  in simplifyFloorDiv()
690         return lBin.getLHS() * (lrhs.getValue() / rhsConst.getValue());  in simplifyFloorDiv()
696   if (lBin && lBin.getKind() == AffineExprKind::Add) {  in simplifyFloorDiv()
697     int64_t llhsDiv = lBin.getLHS().getLargestKnownDivisor();  in simplifyFloorDiv()
698     int64_t lrhsDiv = lBin.getRHS().getLargestKnownDivisor();  in simplifyFloorDiv()
702       return lBin.getLHS().floorDiv(rhsConst.getValue()) +  in simplifyFloorDiv()
703              lBin.getRHS().floorDiv(rhsConst.getValue());  in simplifyFloorDiv()
740   auto lBin = lhs.dyn_cast<AffineBinaryOpExpr>();  in simplifyCeilDiv()  local
741   if (lBin && lBin.getKind() == AffineExprKind::Mul) {  in simplifyCeilDiv()
742     if (auto lrhs = lBin.getRHS().dyn_cast<AffineConstantExpr>()) {  in simplifyCeilDiv()
745         return lBin.getLHS() * (lrhs.getValue() / rhsConst.getValue());  in simplifyCeilDiv()
785   auto lBin = lhs.dyn_cast<AffineBinaryOpExpr>();  in simplifyMod()  local
786   if (lBin && lBin.getKind() == AffineExprKind::Add) {  in simplifyMod()
787     int64_t llhsDiv = lBin.getLHS().getLargestKnownDivisor();  in simplifyMod()
788     int64_t lrhsDiv = lBin.getRHS().getLargestKnownDivisor();  in simplifyMod()
791       return lBin.getRHS() % rhsConst.getValue();  in simplifyMod()
793       return lBin.getLHS() % rhsConst.getValue();  in simplifyMod()