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

[Craig Topper via llvm-commits]

================
@@ -2807,6 +2807,62 @@ Instruction *InstCombinerImpl::visitSub(BinaryOperator &I) {
   if (Instruction *Res = foldBinOpOfSelectAndCastOfSelectCondition(I))
     return Res;
 
+  // (sub[ nsw][ nuw] (sext (add nsw (X, Y)), sext (X))) --> (sext (Y))
+  {
+    Value *Add0;
+    if (match(Op0, m_SExt(m_Value(Add0))) &&
+        match(Add0, m_Add(m_Value(X), m_Value(Y))) &&
+        match(Op1, m_SExt(m_Specific(X)))) {
+      auto *OBO0 = cast<OverflowingBinaryOperator>(Add0);
+      if (OBO0->hasNoSignedWrap()) {
+        // Non-constant Y requires new SExt.
+        unsigned numOfNewInstrs = !isa<Constant>(Y) ? 1 : 0;
----------------
topperc wrote:

Capitalize first letter of variable names

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