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);