Searched refs:isConditionImplied (Results 1 – 3 of 3) sorted by relevance
145 bool isConditionImplied(SmallVector<int64_t, 8> R) const; in toStrictLessThan()
194 bool ConstraintSystem::isConditionImplied(SmallVector<int64_t, 8> R) const { in isConditionImplied() function in ConstraintSystem
787 bool IsConditionImplied = CS.isConditionImplied(Coefficients); in isImpliedBy()792 !NegatedOrEqual.empty() && CS.isConditionImplied(NegatedOrEqual); in isImpliedBy()801 bool IsNegatedImplied = !Negated.empty() && CS.isConditionImplied(Negated); in isImpliedBy()805 !StrictLessThan.empty() && CS.isConditionImplied(StrictLessThan); in isImpliedBy()821 auto IsNegatedImplied = !Negated.empty() && CS.isConditionImplied(Negated); in isImpliedBy()833 getCS(R.IsSigned).isConditionImplied(R.Coefficients); in doesHold()1656 return CSToUse.isConditionImplied(R.Coefficients); in tryToSimplifyOverflowMath()