Searched refs:CSToUse (Results 1 – 1 of 1) sorted by relevance
588 auto &CSToUse = getCS(R.IsSigned); in addFact() local592 Added |= CSToUse.addVariableRowFill(R.Coefficients); in addFact()615 CSToUse.addVariableRowFill(R.Coefficients); in addFact()633 auto &CSToUse = Info.getCS(CmpInst::isSigned(Pred)); in tryToSimplifyOverflowMath() local634 return CSToUse.isConditionImplied(R.Coefficients); in tryToSimplifyOverflowMath()752 auto &CSToUse = Info.getCS(R.IsSigned); in eliminateConstraints() local753 if (CSToUse.isConditionImplied(R.Coefficients)) { in eliminateConstraints()760 dumpWithNames(CSToUse, Info.getValue2Index(R.IsSigned)); in eliminateConstraints()772 if (CSToUse.isConditionImplied( in eliminateConstraints()780 dumpWithNames(CSToUse, Info.getValue2Index(R.IsSigned)); in eliminateConstraints()