Searched refs:getCS (Results 1 – 1 of 1) sorted by relevance
294 ConstraintSystem &getCS(bool Signed) { in getCS() function in __anon87d6bc870111::ConstraintInfo297 const ConstraintSystem &getCS(bool Signed) const { in getCS() function in __anon87d6bc870111::ConstraintInfo303 getCS(Signed).popLastNVariables(N); in popLastNVariables()817 getCS(R.IsSigned).isConditionImplied(R.Coefficients); in doesHold()1331 auto &CSToUse = Info.getCS(R.IsSigned); in checkCondition()1489 auto &CSToUse = getCS(R.IsSigned); in addFact()1578 auto &CSToUse = Info.getCS(R.IsSigned); in tryToSimplifyOverflowMath()1669 dumpConstraint(Info.getCS(E.IsSigned).getLastConstraint(), in eliminateConstraints()1705 if (Info.getCS(CmpInst::isSigned(Pred)).size() > MaxRows) { in eliminateConstraints()1785 assert(Info.getCS(false).size() - FunctionArgs.size() == in eliminateConstraints()[all …]