[SelectionDAG] Expand ADD/SUBCARRY

[leonardchan]

Summary

This patch allows for expansion of ADDCARRY and SUBCARRY when the target does not support it.

[efriedma]

llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

3300

Are you sure this is right? The comment is correct, but there's only an overflow if the carry is set and the result is zero.

[leonardchan]

llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

3300

My bad, you're right. Updated.

[efriedma]

LGTM

Please run some basic sanity tests before you merge to make sure this works correctly at runtime. The code looks right, but I don't really trust that. :) If you want to test something simpler than smul.fix, might make sense to just temporarily hack legalization for addition to use this codepath, or something like that, so you can easily understand what you're actually testing.

llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

3300

Looks okay now.

[leonardchan]

In D61411#1487156, @efriedma wrote:

LGTM

Please run some basic sanity tests before you merge to make sure this works correctly at runtime. The code looks right, but I don't really trust that. :) If you want to test something simpler than smul.fix, might make sense to just temporarily hack legalization for addition to use this codepath, or something like that, so you can easily understand what you're actually testing.

Good thing I checked! I did as you suggested by forcing 32bit x86 to take this path and found a bunch of type mismatches. After fixing that, everything looks good for expected results. Will submit tomorrow morning if there aren't any more comments then.

[jyknight]

llvm/test/CodeGen/SPARC/addcarry.ll

3

SPARC is probably not a great example, because it can support ADDCARRY fine, only nobody implemented it yet (just the deprecated ADDC/ADDE). RISCV would be a better test-case, because it actually doesn't have an overflow flag at all.

[efriedma]

llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

3292

Looking at this again, it isn't quite right. In general, on targets where getBooleanContents does not return ZeroOrOneBooleanContent, you need to getZeroExtendInReg to convert a carry bit to 1/0.

[leonardchan]

llvm/test/CodeGen/SPARC/addcarry.ll

3

So I'm having trouble figuring out how to properly test this since RISCV also doesn't seem to support the MUL_LOHI ISDs and I don't know other ways to invoke usage of ISD::ADDCARRY other than through expandMUL_LOHI.

Do you think it would be fine if I also added an intrinsic like llvm.addcarry for explicitly expanding to ISD::ADDCARRY so I could test this directly?

[efriedma]

llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

3292

I think you need both the getZExtOrTrunc to fix the type, and the getZeroExtendInReg to fix the value. (getZeroExtendInReg just produces an ISD::AND.)

[efriedma]

llvm/test/CodeGen/SPARC/addcarry.ll

3

Try "llc -mtriple=riscv32 -mattr=+m"?

[leonardchan]

llvm/test/CodeGen/SPARC/addcarry.ll

3

This works well. Didn't know about this beforehand. Thanks.

[efriedma]

llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

3293

The VT argument for getZeroExtendInReg is the mask, so should be MVT::i1. The way it's written, the getZeroExtendInReg does nothing.

[leonardchan]

llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

3293

Updated

[efriedma]

LGTM with a minor comment.

llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

3312

Shouldn't matter in practice, but the second type passed to getBoolExtOrTrunc is supposed to be the type of the operation ("VT").

llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

bool SelectionDAGLegalize::ExpandNode(SDNode *Node) {
   case ISD::SSUBSAT:
   case ISD::USUBSAT:
     Results.push_back(TLI.expandAddSubSat(Node, DAG));
     break;
   case ISD::SMULFIX:
   case ISD::UMULFIX:
     Results.push_back(TLI.expandFixedPointMul(Node, DAG));
     break;
+  case ISD::ADDCARRY:
+  case ISD::SUBCARRY: {
+    SDValue LHS = Node->getOperand(0);
+    SDValue RHS = Node->getOperand(1);
+    SDValue Carry = Node->getOperand(2);
+
+    bool IsAdd = Node->getOpcode() == ISD::ADDCARRY;
+
+    // Initial add of the 2 operands.
+    unsigned Op = IsAdd ? ISD::ADD : ISD::SUB;
+    EVT VT = LHS.getValueType();
+    SDValue Sum = DAG.getNode(Op, dl, VT, LHS, RHS);
+
+    // Initial check for overflow.
+    EVT CarryType = Node->getValueType(1);
+    EVT SetCCType = getSetCCResultType(Node->getValueType(0));
+    ISD::CondCode CC = IsAdd ? ISD::SETULT : ISD::SETUGT;
+    SDValue Overflow = DAG.getSetCC(dl, SetCCType, Sum, LHS, CC);
+
+    // Add of the sum and the carry.
+    SDValue Sum2 = DAG.getNode(Op, dl, VT, Sum, Carry);
+
+    // Second check for overflow. If we are adding, we can only overflow if the
+    // initial sum is all 1s, resulting in a new sum of 0. If we are
+    // subtracting, we can only overflow if the initial sum is 0, resulting in a
+    // new sum of all 1s.
+    SDValue Zero = DAG.getConstant(0, dl, VT);
+    SDValue Overflow2 = IsAdd ? DAG.getSetCC(dl, VT, Sum2, Zero, ISD::SETEQ)
+                              : DAG.getSetCC(dl, VT, Sum, Zero, ISD::SETEQ);
+
+    SDValue ResultCarry =
+        DAG.getNode(ISD::OR, dl, SetCCType, Overflow, Overflow2);
+
+    Results.push_back(Sum2);
+    Results.push_back(
+        DAG.getBoolExtOrTrunc(ResultCarry, dl, CarryType, CarryType));
+    break;
+  }
   case ISD::SADDO:
   case ISD::SSUBO: {
     SDValue LHS = Node->getOperand(0);
     SDValue RHS = Node->getOperand(1);
     bool IsAdd = Node->getOpcode() == ISD::SADDO;
 
     SDValue Sum = DAG.getNode(IsAdd ? ISD::ADD : ISD::SUB, dl,
                               LHS.getValueType(), LHS, RHS);
     Results.push_back(Sum);
 
     EVT ResultType = Node->getValueType(1);

llvm/test/CodeGen/SPARC/addcarry.ll

+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=sparc | FileCheck %s --check-prefix=SPARC
+
+; Test ADDCARRY node expansion on a target that does not currently support ADDCARRY.
+; Signed fixed point multiplication eventually expands down to an ADDCARRY.
+
+declare  i64 @llvm.smul.fix.i64  (i64, i64, i32)
+
+define i64 @func2(i64 %x, i64 %y) {
+; SPARC-LABEL: func2:
+; SPARC:         .cfi_startproc
+; SPARC-NEXT:  ! %bb.0:
+; SPARC-NEXT:    umul %o1, %o3, %o4
+; SPARC-NEXT:    rd %y, %o5
+; SPARC-NEXT:    umul %o1, %o2, %g2
+; SPARC-NEXT:    rd %y, %g3
+; SPARC-NEXT:    addcc %o5, %g2, %g4
+; SPARC-NEXT:    addxcc %g3, 0, %g2
+; SPARC-NEXT:    umul %o0, %o3, %o5
+; SPARC-NEXT:    rd %y, %g3
+; SPARC-NEXT:    add %g4, %o5, %o5
+; SPARC-NEXT:    cmp %o5, %g4
+; SPARC-NEXT:    bcs .LBB0_1
+; SPARC-NEXT:    nop
+; SPARC-NEXT:  ! %bb.2:
+; SPARC-NEXT:    ba .LBB0_3
+; SPARC-NEXT:    mov %g0, %g4
+; SPARC-NEXT:  .LBB0_1:
+; SPARC-NEXT:    mov 1, %g4
+; SPARC-NEXT:  .LBB0_3:
+; SPARC-NEXT:    add %g2, %g3, %g2
+; SPARC-NEXT:    add %g2, %g4, %g2
+; SPARC-NEXT:    smul %o0, %o2, %g3
+; SPARC-NEXT:    cmp %o0, 0
+; SPARC-NEXT:    bge .LBB0_5
+; SPARC-NEXT:    add %g2, %g3, %o0
+; SPARC-NEXT:  ! %bb.4:
+; SPARC-NEXT:    sub %o0, %o3, %o0
+; SPARC-NEXT:  .LBB0_5:
+; SPARC-NEXT:    cmp %o2, 0
+; SPARC-NEXT:    bge .LBB0_7
+; SPARC-NEXT:    nop
+; SPARC-NEXT:  ! %bb.6:
+; SPARC-NEXT:    sub %o0, %o1, %o0
+; SPARC-NEXT:  .LBB0_7:
+; SPARC-NEXT:    sll %o0, 30, %o0
+; SPARC-NEXT:    srl %o5, 2, %o1
+; SPARC-NEXT:    or %o1, %o0, %o0
+; SPARC-NEXT:    sll %o5, 30, %o1
+; SPARC-NEXT:    srl %o4, 2, %o2
+; SPARC-NEXT:    retl
+; SPARC-NEXT:    or %o2, %o1, %o1
+  %tmp = call i64 @llvm.smul.fix.i64(i64 %x, i64 %y, i32 2);
+  ret i64 %tmp;
+}