Lines Matching refs:SDBMNegExpr
177 void visitNeg(SDBMNegExpr expr) { in print()
204 SDBMExpr visitDirect(SDBMDirectExpr expr) { return SDBMNegExpr::get(expr); } in visitDirect()
207 SDBMExpr visitNeg(SDBMNegExpr expr) { return expr.getVar(); } in visitNeg()
286 AffineExpr visitNeg(SDBMNegExpr expr) { in getAsAffineExpr()
339 if (auto lhsNeg = lhs.dyn_cast<SDBMNegExpr>()) in addConstant()
342 [](SDBMDirectExpr e) { return SDBMNegExpr::get(e); }); in addConstant()
354 static SDBMExpr buildDiffExpr(SDBMDirectExpr lhs, SDBMNegExpr rhs) { in buildDiffExpr()
374 auto lhsNeg = lhs.dyn_cast<SDBMNegExpr>(); in foldSumDiff()
375 auto rhsNeg = rhs.dyn_cast<SDBMNegExpr>(); in foldSumDiff()
395 return SDBMNegExpr::get( in foldSumDiff()
410 return SDBMNegExpr::get( in foldSumDiff()
479 return SDBMNegExpr::get(lhsVar); in tryConvertAffineExpr()
652 SDBMNegExpr SDBMNegExpr::get(SDBMDirectExpr var) { in get()
659 SDBMDirectExpr SDBMNegExpr::getVar() const { in getVar()
666 assert(!(lhs.isa<SDBMNegExpr>() && rhs.isa<SDBMNegExpr>()) && in operator +()
720 return buildDiffExpr(lhs.cast<SDBMDirectExpr>(), (-rhs).cast<SDBMNegExpr>()); in operator -()