From 511ee8759f714a8bd17f8669ecc0022e07eb2362 Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Sun, 31 Oct 2021 12:12:37 -0400
Subject: [PATCH] [InstCombine] reduce code duplication with commutative
 matcher; NFC

---
 .../InstCombine/InstCombineAndOrXor.cpp       | 32 ++++++++-----------
 1 file changed, 14 insertions(+), 18 deletions(-)

diff --git a/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp b/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
index 56b6f7d15674..6745b1b394cf 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
@@ -2728,28 +2728,24 @@ Instruction *InstCombinerImpl::visitOr(BinaryOperator &I) {
     // (A & C1)|(B & C2)
     ConstantInt *C1, *C2;
     if (match(C, m_ConstantInt(C1)) && match(D, m_ConstantInt(C2))) {
-      Value *V1 = nullptr, *V2 = nullptr;
+      Value *N;
       if ((C1->getValue() & C2->getValue()).isZero()) {
-        // ((V | N) & C1) | (V & C2) --> (V|N) & (C1|C2)
-        // iff (C1&C2) == 0 and (N&~C1) == 0
-        if (match(A, m_Or(m_Value(V1), m_Value(V2))) &&
-            ((V1 == B &&
-              MaskedValueIsZero(V2, ~C1->getValue(), 0, &I)) || // (V|N)
-             (V2 == B &&
-              MaskedValueIsZero(V1, ~C1->getValue(), 0, &I))))  // (N|V)
-          return BinaryOperator::CreateAnd(A,
-                                Builder.getInt(C1->getValue()|C2->getValue()));
-        // Or commutes, try both ways.
-        if (match(B, m_Or(m_Value(V1), m_Value(V2))) &&
-            ((V1 == A &&
-              MaskedValueIsZero(V2, ~C2->getValue(), 0, &I)) || // (V|N)
-             (V2 == A &&
-              MaskedValueIsZero(V1, ~C2->getValue(), 0, &I))))  // (N|V)
-          return BinaryOperator::CreateAnd(B,
-                                 Builder.getInt(C1->getValue()|C2->getValue()));
+        // ((B | N) & C1) | (B & C2) --> (B | N) & (C1 | C2)
+        // iff (C1 & C2) == 0 and (N & ~C1) == 0
+        if (match(A, m_c_Or(m_Specific(B), m_Value(N))) &&
+            MaskedValueIsZero(N, ~C1->getValue(), 0, &I))
+          return BinaryOperator::CreateAnd(
+              A, Builder.getInt(C1->getValue() | C2->getValue()));
+        // (A & C1) | ((A | N) & C2) --> (A | N) & (C1 | C2)
+        // iff (C1 & C2) == 0 and (N & ~C1) == 0
+        if (match(B, m_c_Or(m_Specific(A), m_Value(N))) &&
+            MaskedValueIsZero(N, ~C2->getValue(), 0, &I))
+          return BinaryOperator::CreateAnd(
+              B, Builder.getInt(C1->getValue() | C2->getValue()));
 
         // ((V|C3)&C1) | ((V|C4)&C2) --> (V|C3|C4)&(C1|C2)
         // iff (C1&C2) == 0 and (C3&~C1) == 0 and (C4&~C2) == 0.
+        Value *V1 = nullptr, *V2 = nullptr;
         ConstantInt *C3 = nullptr, *C4 = nullptr;
         if (match(A, m_Or(m_Value(V1), m_ConstantInt(C3))) &&
             (C3->getValue() & ~C1->getValue()).isZero() &&