Searched refs:NeedNSW (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 142 bool isKnownNegation(const Value *X, const Value *Y, bool NeedNSW = false,
|
| /freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 8347 bool llvm::isKnownNegation(const Value *X, const Value *Y, bool NeedNSW, in isKnownNegation() argument
8356 if (NeedNSW && !BO->hasNoSignedWrap()) in isKnownNegation()
8372 return (!NeedNSW && (match(X, m_Sub(m_Value(A), m_Value(B))) && in isKnownNegation()
8374 (NeedNSW && (match(X, m_NSWSub(m_Value(A), m_Value(B))) && in isKnownNegation()
|