Searched refs:CSToUse (Results 1 – 1 of 1) sorted by relevance
1428 auto &CSToUse = Info.getCS(R.IsSigned); in checkCondition() local1434 CSToUse.addVariableRow(Row); in checkCondition()1437 CSToUse.popLastConstraint(); in checkCondition()1440 if (auto ImpliedCondition = R.isImpliedBy(CSToUse)) { in checkCondition()1450 CSToUse.dump(); in checkCondition()1679 auto &CSToUse = getCS(R.IsSigned); in addFactImpl() local1683 bool Added = CSToUse.addVariableRowFill(R.Coefficients); in addFactImpl()1710 CSToUse.addVariableRow(VarPos.Coefficients); in addFactImpl()1720 CSToUse.addVariableRowFill(R.Coefficients); in addFactImpl()1768 auto &CSToUse = Info.getCS(R.IsSigned); in tryToSimplifyOverflowMath() local[all …]