[llvm] [X86] Improve transform for add-like nodes to `add` (PR #83691)

[Craig Topper via llvm-commits]

================
@@ -5294,11 +5294,26 @@ void X86DAGToDAGISel::Select(SDNode *Node) {
       return;
     if (tryVPTERNLOG(Node))
       return;
-
     [[fallthrough]];
   case ISD::ADD:
     if (Opcode == ISD::ADD && matchBitExtract(Node))
       return;
+
+    // Convert addlike to add before final selection. Do this before we drop
+    // flags like `disjoint`.
----------------
topperc wrote:

Where does the flag get dropped?

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