333   if (auto lhsDiff = lhs.dyn_cast<SDBMDiffExpr>())  in addConstant()  local
335         lhsDiff.getLHS(), constant, /*negated=*/false,  in addConstant()
336         [lhsDiff](SDBMDirectExpr e) {  in addConstant()
337           return SDBMDiffExpr::get(e, lhsDiff.getRHS());  in addConstant()
385   auto lhsDiff = lhs.dyn_cast<SDBMDiffExpr>();  in foldSumDiff()  local
404   if (lhsDiff && rhsNeg &&  in foldSumDiff()
405       lhsDiff.getLHS().getTerm() == rhsNeg.getVar().getTerm()) {  in foldSumDiff()
407         rhsNeg.getVar().getConstant() - lhsDiff.getLHS().getConstant();  in foldSumDiff()
411         addConstant(lhsDiff.getRHS(), constant).cast<SDBMDirectExpr>());  in foldSumDiff()
415   if (rhsDirect && lhsDiff && rhsDirect.getTerm() == lhsDiff.getRHS())  in foldSumDiff()
416     return addConstant(lhsDiff.getLHS(), rhsDirect.getConstant());  in foldSumDiff()
480       if (auto lhsDiff = lhs.dyn_cast<SDBMDiffExpr>())  in tryConvertAffineExpr()  local
481         return SDBMNegator().visitDiff(lhsDiff);  in tryConvertAffineExpr()
671   auto lhsDiff = lhs.dyn_cast<SDBMDiffExpr>();  in operator +()  local
673   if (lhsDiff && rhsDiff) {  in operator +()
674     if (lhsDiff.getLHS() == rhsDiff.getRHS() &&  in operator +()
675         lhsDiff.getRHS() == rhsDiff.getLHS())  in operator +()