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
254 std::optional<bool> isImpliedBy(const ConstraintSystem &CS) const;269 ConstraintSystem UnsignedCS;270 ConstraintSystem SignedCS;294 ConstraintSystem &getCS(bool Signed) { in getCS()297 const ConstraintSystem &getCS(bool Signed) const { in getCS()770 ConstraintTy::isImpliedBy(const ConstraintSystem &CS) const { in isImpliedBy()774 auto NegatedOrEqual = ConstraintSystem::negateOrEqual(Coefficients); in isImpliedBy()784 auto Negated = ConstraintSystem::negate(Coefficients); in isImpliedBy()787 auto StrictLessThan = ConstraintSystem::toStrictLessThan(Coefficients); in isImpliedBy()804 auto Negated = ConstraintSystem::negate(Coefficients); in isImpliedBy()[all …]
73 SRCS_MIN+= Analysis/ConstraintSystem.cpp