[llvm] [InstSimplify] Simplify select if it combinated `and/or/xor` (PR #73362)

[via llvm-commits]

================
@@ -4585,6 +4585,50 @@ static Value *simplifySelectWithFakeICmpEq(Value *CmpLHS, Value *CmpRHS,
                                Pred == ICmpInst::ICMP_EQ);
 }
 
+/// Try to simplify the Select instruction consisting of and/or/xor.
+static Value *simplifySelectWithAndOrXorBitOp(Value *CmpLHS, Value *CmpRHS,
+                                              Value *TrueVal, Value *FalseVal) {
+  Value *X, *Y;
+  // (X & Y) == 0 ? X | Y : X ^ Y   --> X ^ Y
+  // (X & Y) == 0 ? X ^ Y : X | Y   --> X | Y
+  if (match(CmpLHS, m_And(m_Value(X), m_Value(Y))) && match(CmpRHS, m_Zero())) {
+    if ((match(TrueVal, m_c_Or(m_Specific(X), m_Specific(Y))) &&
+         match(FalseVal, m_c_Xor(m_Specific(X), m_Specific(Y)))) ||
+        (match(FalseVal, m_c_Or(m_Specific(X), m_Specific(Y))) &&
+         match(TrueVal, m_c_Xor(m_Specific(X), m_Specific(Y)))))
+      return FalseVal;
+  }
+  // (X | Y) == 0 ? X & Y : X ^ Y   --> X ^ Y
+  // (X | Y) == 0 ? X ^ Y : X & Y   --> X & Y
+  if (match(CmpLHS, m_Or(m_Value(X), m_Value(Y))) && match(CmpRHS, m_Zero())) {
+    if ((match(TrueVal, m_c_And(m_Specific(X), m_Specific(Y))) &&
+         match(FalseVal, m_c_Xor(m_Specific(X), m_Specific(Y)))) ||
+        (match(FalseVal, m_c_And(m_Specific(X), m_Specific(Y))) &&
+         match(TrueVal, m_c_Xor(m_Specific(X), m_Specific(Y)))))
+      return FalseVal;
+  }
+  // (X ^ Y) == 0 ? X | Y : X & Y   --> X & Y
+  // (X ^ Y) == 0 ? X & Y : X | Y   --> X | Y
+  if (match(CmpLHS, m_Xor(m_Value(X), m_Value(Y))) && match(CmpRHS, m_Zero())) {
----------------
ParkHanbum wrote:

@goldsteinn like this?
```
  // (X ^ Y) == 0 ? X | Y : X & Y   --> X & Y
  // (X ^ Y) == 0 ? X & Y : X | Y   --> X | Y
  // X == Y is equals with (X ^ Y) == 0
  LLVM_DEBUG(dbgs() << "xor\n");
  if ((match(CmpLHS, m_Xor(m_Value(X), m_Value(Y))) &&
       match(CmpRHS, m_Zero())) ||
      (match(CmpLHS, m_Value(X) && match(CmpRhs, m_Value(Y))))) {
    LLVM_DEBUG(dbgs() << "xor inside\n");
    if ((match(TrueVal, m_c_And(m_Specific(X), m_Specific(Y))) &&
         match(FalseVal, m_c_Or(m_Specific(X), m_Specific(Y)))) ||
        (match(FalseVal, m_c_And(m_Specific(X), m_Specific(Y))) &&
         match(TrueVal, m_c_Or(m_Specific(X), m_Specific(Y)))))
      return FalseVal;
  }
```

https://github.com/llvm/llvm-project/pull/73362