Lines Matching defs:CSToUse
1400 auto &CSToUse = Info.getCS(R.IsSigned);
1406 CSToUse.addVariableRow(Row);
1409 CSToUse.popLastConstraint();
1412 if (auto ImpliedCondition = R.isImpliedBy(CSToUse)) {
1422 CSToUse.dump();
1617 auto &CSToUse = getCS(R.IsSigned);
1621 bool Added = CSToUse.addVariableRowFill(R.Coefficients);
1648 CSToUse.addVariableRow(VarPos.Coefficients);
1658 CSToUse.addVariableRowFill(R.Coefficients);
1706 auto &CSToUse = Info.getCS(R.IsSigned);
1707 return CSToUse.isConditionImplied(R.Coefficients);