Searched refs:lhsDiff (Results 1 – 1 of 1) sorted by relevance
333 if (auto lhsDiff = lhs.dyn_cast<SDBMDiffExpr>()) in addConstant() local335 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() local404 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()[all …]