Searched refs:buildDiffExpr (Results 1 – 1 of 1) sorted by relevance
354 static SDBMExpr buildDiffExpr(SDBMDirectExpr lhs, SDBMNegExpr rhs) { in buildDiffExpr() function378 return buildDiffExpr(lhsDirect, rhsNeg); in foldSumDiff()380 return buildDiffExpr(rhsDirect, lhsNeg); in foldSumDiff()720 return buildDiffExpr(lhs.cast<SDBMDirectExpr>(), (-rhs).cast<SDBMNegExpr>()); in operator -()