Searched refs:ConstraintSystem (Results 1 – 4 of 4) sorted by relevance
22 bool ConstraintSystem::eliminateUsingFM() { in eliminateUsingFM()147 bool ConstraintSystem::mayHaveSolutionImpl() { in mayHaveSolutionImpl()165 SmallVector<std::string> ConstraintSystem::getVarNamesList() const { in getVarNamesList()180 void ConstraintSystem::dump() const { in dump()207 bool ConstraintSystem::mayHaveSolution() { in mayHaveSolution()215 bool ConstraintSystem::isConditionImplied(SmallVector<int64_t, 8> R) const { in isConditionImplied()223 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
240 std::optional<bool> isImpliedBy(const ConstraintSystem &CS) const;255 ConstraintSystem UnsignedCS;256 ConstraintSystem SignedCS;280 ConstraintSystem &getCS(bool Signed) { in getCS()283 const ConstraintSystem &getCS(bool Signed) const { in getCS()844 ConstraintTy::isImpliedBy(const ConstraintSystem &CS) const { in isImpliedBy()848 auto NegatedOrEqual = ConstraintSystem::negateOrEqual(Coefficients); in isImpliedBy()858 auto Negated = ConstraintSystem::negate(Coefficients); in isImpliedBy()861 auto StrictLessThan = ConstraintSystem::toStrictLessThan(Coefficients); in isImpliedBy()878 auto Negated = ConstraintSystem::negate(Coefficients); in isImpliedBy()[all …]
94 SRCS_MIN+= Analysis/ConstraintSystem.cpp