[llvm] [X86] Fold generic ADD/SUB with constants to X86ISD::SUB/ADD (PR #164316)
via llvm-commits
llvm-commits at lists.llvm.org
Wed Oct 22 08:06:07 PDT 2025
================
@@ -57631,8 +57631,25 @@ static SDValue combineX86AddSub(SDNode *N, SelectionDAG &DAG,
DCI.CombineTo(GenericAddSub, Op);
}
};
- MatchGeneric(LHS, RHS, false);
- MatchGeneric(RHS, LHS, X86ISD::SUB == N->getOpcode());
+ MatchGeneric(GenericOpc, LHS, RHS, false);
+ MatchGeneric(GenericOpc, RHS, LHS, X86ISD::SUB == N->getOpcode());
+
+ if (ConstantSDNode *Const = dyn_cast<ConstantSDNode>(RHS)) {
+ SDValue NegC = DAG.getConstant(-Const->getAPIntValue(), DL, VT);
+ if (X86ISD::SUB == N->getOpcode()) {
+ // With LHS - C, fold LHS + (-C)
----------------
brandonxin wrote:
Do you mean with `-X86ISD::SUB(LHS, C)` we can fold the generic `sub(C, LHS)`? Yes we can. It is handled by the `MatchGeneric(GenericOpc, RHS, LHS, X86ISD::SUB == N->getOpcode());` above at line 57635.
https://github.com/llvm/llvm-project/pull/164316
More information about the llvm-commits
mailing list