Lines Matching defs:CSToUse

1369   auto &CSToUse = Info.getCS(R.IsSigned);
1375     CSToUse.addVariableRow(Row);
1378       CSToUse.popLastConstraint();
1381   if (auto ImpliedCondition = R.isImpliedBy(CSToUse)) {
1391       CSToUse.dump();
1569   auto &CSToUse = getCS(R.IsSigned);
1573   Added |= CSToUse.addVariableRowFill(R.Coefficients);
1599         CSToUse.addVariableRow(VarPos.Coefficients);
1609       CSToUse.addVariableRowFill(R.Coefficients);
1658     auto &CSToUse = Info.getCS(R.IsSigned);
1659     return CSToUse.isConditionImplied(R.Coefficients);