Searched refs:isConditionImplied (Results 1 – 3 of 3) sorted by relevance
147 LLVM_ABI bool isConditionImplied(SmallVector<int64_t, 8> R) const;
215 bool ConstraintSystem::isConditionImplied(SmallVector<int64_t, 8> R) const { in isConditionImplied() function in ConstraintSystem
845 bool IsConditionImplied = CS.isConditionImplied(Coefficients); in isImpliedBy()850 !NegatedOrEqual.empty() && CS.isConditionImplied(NegatedOrEqual); in isImpliedBy()859 bool IsNegatedImplied = !Negated.empty() && CS.isConditionImplied(Negated); in isImpliedBy()863 !StrictLessThan.empty() && CS.isConditionImplied(StrictLessThan); in isImpliedBy()879 auto IsNegatedImplied = !Negated.empty() && CS.isConditionImplied(Negated); in isImpliedBy()891 getCS(R.IsSigned).isConditionImplied(R.Coefficients); in doesHold()1769 return CSToUse.isConditionImplied(R.Coefficients); in tryToSimplifyOverflowMath()