Lines Matching refs:CSToUse
1369 auto &CSToUse = Info.getCS(R.IsSigned); in checkCondition() local
1375 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() local
1573 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
1659 return CSToUse.isConditionImplied(R.Coefficients); in tryToSimplifyOverflowMath()