Searched refs:getCS (Results 1 – 1 of 1) sorted by relevance
131 ConstraintSystem &getCS(bool Signed) { in getCS() function in __anon0e91cfc10111::ConstraintInfo134 const ConstraintSystem &getCS(bool Signed) const { in getCS() function in __anon0e91cfc10111::ConstraintInfo138 void popLastConstraint(bool Signed) { getCS(Signed).popLastConstraint(); } in popLastConstraint()140 getCS(Signed).popLastNVariables(N); in popLastNVariables()390 getCS(CmpInst::isSigned(Pred)).isConditionImplied(R.Coefficients); in doesHold()588 auto &CSToUse = getCS(R.IsSigned); in addFact()633 auto &CSToUse = Info.getCS(CmpInst::isSigned(Pred)); in tryToSimplifyOverflowMath()711 dumpWithNames(Info.getCS(E.IsSigned).getLastConstraint(), in eliminateConstraints()752 auto &CSToUse = Info.getCS(R.IsSigned); in eliminateConstraints()821 assert(Info.getCS(false).size() == DFSInStack.size() - SignedEntries && in eliminateConstraints()[all …]