Searched refs:CSToUse (Results 1 – 1 of 1) sorted by relevance
1331 auto &CSToUse = Info.getCS(R.IsSigned); in checkCondition() local1337 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() local1493 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[all …]