Searched refs:getCS (Results 1 – 1 of 1) sorted by relevance
144 ConstraintSystem &getCS(bool Signed) { in getCS() function in __anonc0b77bc80111::ConstraintInfo147 const ConstraintSystem &getCS(bool Signed) const { in getCS() function in __anonc0b77bc80111::ConstraintInfo151 void popLastConstraint(bool Signed) { getCS(Signed).popLastConstraint(); } in popLastConstraint()153 getCS(Signed).popLastNVariables(N); in popLastNVariables()543 getCS(R.IsSigned).isConditionImplied(R.Coefficients); in doesHold()764 auto &CSToUse = Info.getCS(R.IsSigned); in checkAndReplaceCondition()827 auto &CSToUse = getCS(R.IsSigned); in addFact()905 auto &CSToUse = Info.getCS(R.IsSigned); in tryToSimplifyOverflowMath()986 dumpWithNames(Info.getCS(E.IsSigned).getLastConstraint(), in eliminateConstraints()1025 if (Info.getCS(CmpInst::isSigned(Pred)).size() > MaxRows) { in eliminateConstraints()[all …]