Searched refs:NeedNSW (Results 1 – 2 of 2) sorted by relevance
| /external/swiftshader/third_party/llvm-7.0/llvm/include/llvm/Analysis/ |
| D | ValueTracking.h | 108 bool isKnownNegation(const Value *X, const Value *Y, bool NeedNSW = false);
|
| /external/swiftshader/third_party/llvm-7.0/llvm/lib/Analysis/ |
| D | ValueTracking.cpp | 4517 bool llvm::isKnownNegation(const Value *X, const Value *Y, bool NeedNSW) { in isKnownNegation() argument
4521 if ((!NeedNSW && match(X, m_Sub(m_ZeroInt(), m_Specific(Y)))) || in isKnownNegation()
4522 (NeedNSW && match(X, m_NSWSub(m_ZeroInt(), m_Specific(Y))))) in isKnownNegation()
4526 if ((!NeedNSW && match(Y, m_Sub(m_ZeroInt(), m_Specific(X)))) || in isKnownNegation()
4527 (NeedNSW && match(Y, m_NSWSub(m_ZeroInt(), m_Specific(X))))) in isKnownNegation()
4532 return (!NeedNSW && (match(X, m_Sub(m_Value(A), m_Value(B))) && in isKnownNegation()
4534 (NeedNSW && (match(X, m_NSWSub(m_Value(A), m_Value(B))) && in isKnownNegation()
|