Searched refs:isConditionImplied (Results 1 – 3 of 3) sorted by relevance
145 bool isConditionImplied(SmallVector<int64_t, 8> R) const;
194 bool ConstraintSystem::isConditionImplied(SmallVector<int64_t, 8> R) const { in isConditionImplied() function in ConstraintSystem
771 bool IsConditionImplied = CS.isConditionImplied(Coefficients); in isImpliedBy()776 !NegatedOrEqual.empty() && CS.isConditionImplied(NegatedOrEqual); in isImpliedBy()785 bool IsNegatedImplied = !Negated.empty() && CS.isConditionImplied(Negated); in isImpliedBy()789 !StrictLessThan.empty() && CS.isConditionImplied(StrictLessThan); in isImpliedBy()805 auto IsNegatedImplied = !Negated.empty() && CS.isConditionImplied(Negated); in isImpliedBy()817 getCS(R.IsSigned).isConditionImplied(R.Coefficients); in doesHold()1579 return CSToUse.isConditionImplied(R.Coefficients); in tryToSimplifyOverflowMath()