Searched refs:NeedNSW (Results 1 – 2 of 2) sorted by relevance
| /netbsd/external/apache2/llvm/dist/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 143 bool isKnownNegation(const Value *X, const Value *Y, bool NeedNSW = false);
|
| /netbsd/external/apache2/llvm/dist/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 5795 bool llvm::isKnownNegation(const Value *X, const Value *Y, bool NeedNSW) { in isKnownNegation() argument
5799 if ((!NeedNSW && match(X, m_Sub(m_ZeroInt(), m_Specific(Y)))) || in isKnownNegation()
5800 (NeedNSW && match(X, m_NSWSub(m_ZeroInt(), m_Specific(Y))))) in isKnownNegation()
5804 if ((!NeedNSW && match(Y, m_Sub(m_ZeroInt(), m_Specific(X)))) || in isKnownNegation()
5805 (NeedNSW && match(Y, m_NSWSub(m_ZeroInt(), m_Specific(X))))) in isKnownNegation()
5810 return (!NeedNSW && (match(X, m_Sub(m_Value(A), m_Value(B))) && in isKnownNegation()
5812 (NeedNSW && (match(X, m_NSWSub(m_Value(A), m_Value(B))) && in isKnownNegation()
|