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 | |
| parent | a2476ab7c9a908761ed64f8df69475da7b8dbabe (diff) | |
| download | bcm5719-llvm-9bb6c392e3a6459f5e7ec1e5f372764b4a2f03e5.tar.gz bcm5719-llvm-9bb6c392e3a6459f5e7ec1e5f372764b4a2f03e5.zip | |
[InstCombine] Simplify isKnownNegation
llvm-svn: 336957
| -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 88ed6562c38..42bf427276f 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, |
