Searched refs:rhsNeg (Results 1 – 5 of 5) sorted by relevance
375 auto rhsNeg = rhs.dyn_cast<SDBMNegExpr>(); in foldSumDiff() local377 if (lhsDirect && rhsNeg) in foldSumDiff()378 return buildDiffExpr(lhsDirect, rhsNeg); in foldSumDiff()404 if (lhsDiff && rhsNeg && in foldSumDiff()405 lhsDiff.getLHS().getTerm() == rhsNeg.getVar().getTerm()) { in foldSumDiff()407 rhsNeg.getVar().getConstant() - lhsDiff.getLHS().getConstant(); in foldSumDiff()
542 bool rhsNeg = RHS.isNegative(); in slt() local545 if (lhsNeg != rhsNeg) in slt()
564 bool rhsNeg = RHS.isNegative(); in slt() local567 if (lhsNeg != rhsNeg) in slt()
292 bool rhsNeg = RHS.isNegative(); in compareSigned() local295 if (lhsNeg != rhsNeg) in compareSigned()