Searched refs:CSToUse (Results 1 – 1 of 1) sorted by relevance
1369 auto &CSToUse = Info.getCS(R.IsSigned); in checkCondition() local1375 CSToUse.addVariableRow(Row); in checkCondition()1378 CSToUse.popLastConstraint(); in checkCondition()1381 if (auto ImpliedCondition = R.isImpliedBy(CSToUse)) { in checkCondition()1391 CSToUse.dump(); in checkCondition()1569 auto &CSToUse = getCS(R.IsSigned); in addFact() local1573 Added |= CSToUse.addVariableRowFill(R.Coefficients); in addFact()1599 CSToUse.addVariableRow(VarPos.Coefficients); in addFact()1609 CSToUse.addVariableRowFill(R.Coefficients); in addFact()1658 auto &CSToUse = Info.getCS(R.IsSigned); in tryToSimplifyOverflowMath() local[all …]