[llvm] [InstCombine] Add Missed Optimization (PR #141962)

[Nikita Popov via llvm-commits]

================
@@ -2176,6 +2176,20 @@ static Value *simplifyAndInst(Value *Op0, Value *Op1, const SimplifyQuery &Q,
       match(Op1, m_Xor(m_Specific(A), m_SpecificInt(~*C1))))
     return Constant::getNullValue(Op0->getType());
 
+  // (X <= ~Y) && (Y > ~X) --> 0
+  CmpPredicate Pred0, Pred1;
+  if (match(Op0,
+            m_c_ICmp(Pred0, m_Value(X), m_c_Xor(m_Value(Y), m_AllOnes()))) &&
+      match(Op1, m_c_ICmp(Pred1, m_Specific(Y),
+                          m_c_Xor(m_Specific(X), m_AllOnes())))) {
----------------
nikic wrote:

```suggestion
                          m_Not(m_Specific(X))))) {
```

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