Lines Matching defs:getCS
294 ConstraintSystem &getCS(bool Signed) {
297 const ConstraintSystem &getCS(bool Signed) const {
301 void popLastConstraint(bool Signed) { getCS(Signed).popLastConstraint(); }
303 getCS(Signed).popLastNVariables(N);
866 getCS(R.IsSigned).isConditionImplied(R.Coefficients);
1400 auto &CSToUse = Info.getCS(R.IsSigned);
1617 auto &CSToUse = getCS(R.IsSigned);
1706 auto &CSToUse = Info.getCS(R.IsSigned);
1797 dumpConstraint(Info.getCS(E.IsSigned).getLastConstraint(),
1837 if (Info.getCS(CmpInst::isSigned(Pred)).size() > MaxRows) {
1930 assert(Info.getCS(false).size() - FunctionArgs.size() ==
1933 assert(Info.getCS(true).size() == SignedEntries &&