Searched refs:lhsSum (Results 1 – 1 of 1) sorted by relevance
241 if (auto lhsSum = lhs.dyn_cast<SDBMSumExpr>()) { in get() local242 lhs = lhsSum.getLHS(); in get()244 rhs.getValue() + lhsSum.getRHS().getValue()); in get()343 if (auto lhsSum = lhs.dyn_cast<SDBMSumExpr>()) in addConstant() local344 return addConstantAndSink<SDBMExpr>(lhsSum, constant, /*negated=*/false, in addConstant()