diff options
author | Fangrui Song <maskray@google.com> | 2018-07-12 22:56:23 +0000 |
---|---|---|
committer | Fangrui Song <maskray@google.com> | 2018-07-12 22:56:23 +0000 |
commit | 9bb6c392e3a6459f5e7ec1e5f372764b4a2f03e5 (patch) | |
tree | f6e5c2212a02fe44d17811ea86eba7ef5aebcf05 /llvm/lib/Analysis/ValueTracking.cpp | |
parent | a2476ab7c9a908761ed64f8df69475da7b8dbabe (diff) | |
download | llvm-9bb6c392e3a6459f5e7ec1e5f372764b4a2f03e5.zip llvm-9bb6c392e3a6459f5e7ec1e5f372764b4a2f03e5.tar.gz llvm-9bb6c392e3a6459f5e7ec1e5f372764b4a2f03e5.tar.bz2 |
[InstCombine] Simplify isKnownNegation
llvm-svn: 336957
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
-rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 88ed656..42bf427 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -4524,11 +4524,8 @@ bool llvm::isKnownNegation(const Value *X, const Value *Y) { // X = sub (A, B), Y = sub (B, A) Value *A, *B; - if (match(X, m_Sub(m_Value(A), m_Value(B))) && - match(Y, m_Sub(m_Specific(B), m_Specific(A)))) - return true; - - return false; + return match(X, m_Sub(m_Value(A), m_Value(B))) && + match(Y, m_Sub(m_Specific(B), m_Specific(A))); } static SelectPatternResult matchSelectPattern(CmpInst::Predicate Pred, |