Lines Matching refs:CSToUse
1331 auto &CSToUse = Info.getCS(R.IsSigned); in checkCondition() local
1337 CSToUse.addVariableRow(Row); in checkCondition()
1340 CSToUse.popLastConstraint(); in checkCondition()
1343 if (auto ImpliedCondition = R.isImpliedBy(CSToUse)) { in checkCondition()
1353 CSToUse.dump(); in checkCondition()
1489 auto &CSToUse = getCS(R.IsSigned); in addFact() local
1493 Added |= CSToUse.addVariableRowFill(R.Coefficients); in addFact()
1519 CSToUse.addVariableRow(VarPos.Coefficients); in addFact()
1529 CSToUse.addVariableRowFill(R.Coefficients); in addFact()
1578 auto &CSToUse = Info.getCS(R.IsSigned); in tryToSimplifyOverflowMath() local
1579 return CSToUse.isConditionImplied(R.Coefficients); in tryToSimplifyOverflowMath()