Searched refs:ConstraintSystem (Results 1 – 4 of 4) sorted by relevance
22 bool ConstraintSystem::eliminateUsingFM() { in eliminateUsingFM()126 bool ConstraintSystem::mayHaveSolutionImpl() { in mayHaveSolutionImpl()144 SmallVector<std::string> ConstraintSystem::getVarNamesList() const { in getVarNamesList()159 void ConstraintSystem::dump() const { in dump()186 bool ConstraintSystem::mayHaveSolution() { in mayHaveSolution()194 bool ConstraintSystem::isConditionImplied(SmallVector<int64_t, 8> R) const { in isConditionImplied()202 R = ConstraintSystem::negate(R); in isConditionImplied()
23 class ConstraintSystem {67 ConstraintSystem() {} in ConstraintSystem() function68 ConstraintSystem(ArrayRef<Value *> FunctionArgs) { in ConstraintSystem() function74 ConstraintSystem(const DenseMap<Value *, unsigned> &Value2Index) in ConstraintSystem() function
255 std::optional<bool> isImpliedBy(const ConstraintSystem &CS) const;270 ConstraintSystem UnsignedCS;271 ConstraintSystem SignedCS;295 ConstraintSystem &getCS(bool Signed) { in getCS()298 const ConstraintSystem &getCS(bool Signed) const { in getCS()786 ConstraintTy::isImpliedBy(const ConstraintSystem &CS) const { in isImpliedBy()790 auto NegatedOrEqual = ConstraintSystem::negateOrEqual(Coefficients); in isImpliedBy()800 auto Negated = ConstraintSystem::negate(Coefficients); in isImpliedBy()803 auto StrictLessThan = ConstraintSystem::toStrictLessThan(Coefficients); in isImpliedBy()820 auto Negated = ConstraintSystem::negate(Coefficients); in isImpliedBy()[all …]
91 SRCS_MIN+= Analysis/ConstraintSystem.cpp