[llvm] [InstCombine] Optimize sub(sext(add(x, y)), sext(add(x, z))). (PR #144174)

[Yingwei Zheng via llvm-commits]

================
@@ -2807,6 +2807,44 @@ Instruction *InstCombinerImpl::visitSub(BinaryOperator &I) {
   if (Instruction *Res = foldBinOpOfSelectAndCastOfSelectCondition(I))
     return Res;
 
+  // (sub (sext (add nsw (X, Y)), sext (X))) --> (sext (Y))
+  if (match(Op1, m_SExt(m_Value(X))) &&
+      match(Op0, m_SExt(m_c_NSWAdd(m_Specific(X), m_Value(Y))))) {
----------------
dtcxzyw wrote:

```suggestion
  if (match(Op1, m_SExtLike(m_Value(X))) &&
      match(Op0, m_SExtLike(m_c_NSWAdd(m_Specific(X), m_Value(Y))))) {
```
Can you add some tests with `zext nneg`?


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