386   auto rhsDiff = rhs.dyn_cast<SDBMDiffExpr>();  in foldSumDiff()  local
389   if (lhsNeg && rhsDiff &&  in foldSumDiff()
390       lhsNeg.getVar().getTerm() == rhsDiff.getLHS().getTerm()) {  in foldSumDiff()
392         lhsNeg.getVar().getConstant() - rhsDiff.getLHS().getConstant();  in foldSumDiff()
396         addConstant(rhsDiff.getRHS(), constant).cast<SDBMDirectExpr>());  in foldSumDiff()
400   if (lhsDirect && rhsDiff && lhsDirect.getTerm() == rhsDiff.getRHS())  in foldSumDiff()
401     return addConstant(rhsDiff.getLHS(), lhsDirect.getConstant());  in foldSumDiff()
672   auto rhsDiff = rhs.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 +()