xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/CSKY/CSKYISelDAGToDAG.cpp (revision bdd1243df58e60e85101c09001d9812a789b6bc4)
1349cc55cSDimitry Andric //===-- CSKYISelDAGToDAG.cpp - A dag to dag inst selector for CSKY---------===//
2349cc55cSDimitry Andric //
3349cc55cSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4349cc55cSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5349cc55cSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6349cc55cSDimitry Andric //
7349cc55cSDimitry Andric //===----------------------------------------------------------------------===//
8349cc55cSDimitry Andric //
9349cc55cSDimitry Andric // This file defines an instruction selector for the CSKY target.
10349cc55cSDimitry Andric //
11349cc55cSDimitry Andric //===----------------------------------------------------------------------===//
12349cc55cSDimitry Andric 
13349cc55cSDimitry Andric #include "CSKY.h"
14349cc55cSDimitry Andric #include "CSKYSubtarget.h"
15349cc55cSDimitry Andric #include "CSKYTargetMachine.h"
16349cc55cSDimitry Andric #include "MCTargetDesc/CSKYMCTargetDesc.h"
1781ad6265SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h"
18349cc55cSDimitry Andric #include "llvm/CodeGen/SelectionDAG.h"
19349cc55cSDimitry Andric #include "llvm/CodeGen/SelectionDAGISel.h"
20349cc55cSDimitry Andric 
21349cc55cSDimitry Andric using namespace llvm;
22349cc55cSDimitry Andric 
23349cc55cSDimitry Andric #define DEBUG_TYPE "csky-isel"
24*bdd1243dSDimitry Andric #define PASS_NAME "CSKY DAG->DAG Pattern Instruction Selection"
25349cc55cSDimitry Andric 
26349cc55cSDimitry Andric namespace {
27349cc55cSDimitry Andric class CSKYDAGToDAGISel : public SelectionDAGISel {
28349cc55cSDimitry Andric   const CSKYSubtarget *Subtarget;
29349cc55cSDimitry Andric 
30349cc55cSDimitry Andric public:
31*bdd1243dSDimitry Andric   static char ID;
32349cc55cSDimitry Andric 
33*bdd1243dSDimitry Andric   explicit CSKYDAGToDAGISel(CSKYTargetMachine &TM, CodeGenOpt::Level OptLevel)
34*bdd1243dSDimitry Andric       : SelectionDAGISel(ID, TM, OptLevel) {}
35349cc55cSDimitry Andric 
36349cc55cSDimitry Andric   bool runOnMachineFunction(MachineFunction &MF) override {
37349cc55cSDimitry Andric     // Reset the subtarget each time through.
38349cc55cSDimitry Andric     Subtarget = &MF.getSubtarget<CSKYSubtarget>();
39349cc55cSDimitry Andric     SelectionDAGISel::runOnMachineFunction(MF);
40349cc55cSDimitry Andric     return true;
41349cc55cSDimitry Andric   }
42349cc55cSDimitry Andric 
43349cc55cSDimitry Andric   void Select(SDNode *N) override;
440eae32dcSDimitry Andric   bool selectAddCarry(SDNode *N);
450eae32dcSDimitry Andric   bool selectSubCarry(SDNode *N);
4681ad6265SDimitry Andric   bool selectBITCAST_TO_LOHI(SDNode *N);
4781ad6265SDimitry Andric   bool selectInlineAsm(SDNode *N);
4881ad6265SDimitry Andric 
4981ad6265SDimitry Andric   SDNode *createGPRPairNode(EVT VT, SDValue V0, SDValue V1);
5081ad6265SDimitry Andric 
5181ad6265SDimitry Andric   bool SelectInlineAsmMemoryOperand(const SDValue &Op, unsigned ConstraintID,
5281ad6265SDimitry Andric                                     std::vector<SDValue> &OutOps) override;
53349cc55cSDimitry Andric 
54349cc55cSDimitry Andric #include "CSKYGenDAGISel.inc"
55349cc55cSDimitry Andric };
56349cc55cSDimitry Andric } // namespace
57349cc55cSDimitry Andric 
58*bdd1243dSDimitry Andric char CSKYDAGToDAGISel::ID = 0;
59*bdd1243dSDimitry Andric 
60*bdd1243dSDimitry Andric INITIALIZE_PASS(CSKYDAGToDAGISel, DEBUG_TYPE, PASS_NAME, false, false)
61*bdd1243dSDimitry Andric 
62349cc55cSDimitry Andric void CSKYDAGToDAGISel::Select(SDNode *N) {
63349cc55cSDimitry Andric   // If we have a custom node, we have already selected
64349cc55cSDimitry Andric   if (N->isMachineOpcode()) {
65349cc55cSDimitry Andric     LLVM_DEBUG(dbgs() << "== "; N->dump(CurDAG); dbgs() << "\n");
66349cc55cSDimitry Andric     N->setNodeId(-1);
67349cc55cSDimitry Andric     return;
68349cc55cSDimitry Andric   }
69349cc55cSDimitry Andric 
70349cc55cSDimitry Andric   SDLoc Dl(N);
71349cc55cSDimitry Andric   unsigned Opcode = N->getOpcode();
72349cc55cSDimitry Andric   bool IsSelected = false;
73349cc55cSDimitry Andric 
74349cc55cSDimitry Andric   switch (Opcode) {
75349cc55cSDimitry Andric   default:
76349cc55cSDimitry Andric     break;
770eae32dcSDimitry Andric   case ISD::ADDCARRY:
780eae32dcSDimitry Andric     IsSelected = selectAddCarry(N);
790eae32dcSDimitry Andric     break;
800eae32dcSDimitry Andric   case ISD::SUBCARRY:
810eae32dcSDimitry Andric     IsSelected = selectSubCarry(N);
820eae32dcSDimitry Andric     break;
8304eeddc0SDimitry Andric   case ISD::GLOBAL_OFFSET_TABLE: {
8404eeddc0SDimitry Andric     Register GP = Subtarget->getInstrInfo()->getGlobalBaseReg(*MF);
8504eeddc0SDimitry Andric     ReplaceNode(N, CurDAG->getRegister(GP, N->getValueType(0)).getNode());
8604eeddc0SDimitry Andric 
8704eeddc0SDimitry Andric     IsSelected = true;
8804eeddc0SDimitry Andric     break;
8904eeddc0SDimitry Andric   }
9004eeddc0SDimitry Andric   case ISD::FrameIndex: {
9104eeddc0SDimitry Andric     SDValue Imm = CurDAG->getTargetConstant(0, Dl, MVT::i32);
9204eeddc0SDimitry Andric     int FI = cast<FrameIndexSDNode>(N)->getIndex();
9304eeddc0SDimitry Andric     SDValue TFI = CurDAG->getTargetFrameIndex(FI, MVT::i32);
9404eeddc0SDimitry Andric     ReplaceNode(N, CurDAG->getMachineNode(Subtarget->hasE2() ? CSKY::ADDI32
9504eeddc0SDimitry Andric                                                              : CSKY::ADDI16XZ,
9604eeddc0SDimitry Andric                                           Dl, MVT::i32, TFI, Imm));
9704eeddc0SDimitry Andric 
9804eeddc0SDimitry Andric     IsSelected = true;
9904eeddc0SDimitry Andric     break;
10004eeddc0SDimitry Andric   }
10181ad6265SDimitry Andric   case CSKYISD::BITCAST_TO_LOHI:
10281ad6265SDimitry Andric     IsSelected = selectBITCAST_TO_LOHI(N);
10381ad6265SDimitry Andric     break;
10481ad6265SDimitry Andric   case ISD::INLINEASM:
10581ad6265SDimitry Andric   case ISD::INLINEASM_BR:
10681ad6265SDimitry Andric     IsSelected = selectInlineAsm(N);
10781ad6265SDimitry Andric     break;
108349cc55cSDimitry Andric   }
109349cc55cSDimitry Andric 
110349cc55cSDimitry Andric   if (IsSelected)
111349cc55cSDimitry Andric     return;
112349cc55cSDimitry Andric 
113349cc55cSDimitry Andric   // Select the default instruction.
114349cc55cSDimitry Andric   SelectCode(N);
115349cc55cSDimitry Andric }
116349cc55cSDimitry Andric 
11781ad6265SDimitry Andric bool CSKYDAGToDAGISel::selectInlineAsm(SDNode *N) {
11881ad6265SDimitry Andric   std::vector<SDValue> AsmNodeOperands;
11981ad6265SDimitry Andric   unsigned Flag, Kind;
12081ad6265SDimitry Andric   bool Changed = false;
12181ad6265SDimitry Andric   unsigned NumOps = N->getNumOperands();
12281ad6265SDimitry Andric 
12381ad6265SDimitry Andric   // Normally, i64 data is bounded to two arbitrary GRPs for "%r" constraint.
12481ad6265SDimitry Andric   // However, some instructions (e.g. mula.s32) require GPR pair.
12581ad6265SDimitry Andric   // Since there is no constraint to explicitly specify a
12681ad6265SDimitry Andric   // reg pair, we use GPRPair reg class for "%r" for 64-bit data.
12781ad6265SDimitry Andric 
12881ad6265SDimitry Andric   SDLoc dl(N);
12981ad6265SDimitry Andric   SDValue Glue =
13081ad6265SDimitry Andric       N->getGluedNode() ? N->getOperand(NumOps - 1) : SDValue(nullptr, 0);
13181ad6265SDimitry Andric 
13281ad6265SDimitry Andric   SmallVector<bool, 8> OpChanged;
13381ad6265SDimitry Andric   // Glue node will be appended late.
13481ad6265SDimitry Andric   for (unsigned i = 0, e = N->getGluedNode() ? NumOps - 1 : NumOps; i < e;
13581ad6265SDimitry Andric        ++i) {
13681ad6265SDimitry Andric     SDValue op = N->getOperand(i);
13781ad6265SDimitry Andric     AsmNodeOperands.push_back(op);
13881ad6265SDimitry Andric 
13981ad6265SDimitry Andric     if (i < InlineAsm::Op_FirstOperand)
14081ad6265SDimitry Andric       continue;
14181ad6265SDimitry Andric 
14281ad6265SDimitry Andric     if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(N->getOperand(i))) {
14381ad6265SDimitry Andric       Flag = C->getZExtValue();
14481ad6265SDimitry Andric       Kind = InlineAsm::getKind(Flag);
14581ad6265SDimitry Andric     } else
14681ad6265SDimitry Andric       continue;
14781ad6265SDimitry Andric 
14881ad6265SDimitry Andric     // Immediate operands to inline asm in the SelectionDAG are modeled with
14981ad6265SDimitry Andric     // two operands. The first is a constant of value InlineAsm::Kind_Imm, and
15081ad6265SDimitry Andric     // the second is a constant with the value of the immediate. If we get here
15181ad6265SDimitry Andric     // and we have a Kind_Imm, skip the next operand, and continue.
15281ad6265SDimitry Andric     if (Kind == InlineAsm::Kind_Imm) {
15381ad6265SDimitry Andric       SDValue op = N->getOperand(++i);
15481ad6265SDimitry Andric       AsmNodeOperands.push_back(op);
15581ad6265SDimitry Andric       continue;
15681ad6265SDimitry Andric     }
15781ad6265SDimitry Andric 
15881ad6265SDimitry Andric     unsigned NumRegs = InlineAsm::getNumOperandRegisters(Flag);
15981ad6265SDimitry Andric     if (NumRegs)
16081ad6265SDimitry Andric       OpChanged.push_back(false);
16181ad6265SDimitry Andric 
16281ad6265SDimitry Andric     unsigned DefIdx = 0;
16381ad6265SDimitry Andric     bool IsTiedToChangedOp = false;
16481ad6265SDimitry Andric     // If it's a use that is tied with a previous def, it has no
16581ad6265SDimitry Andric     // reg class constraint.
16681ad6265SDimitry Andric     if (Changed && InlineAsm::isUseOperandTiedToDef(Flag, DefIdx))
16781ad6265SDimitry Andric       IsTiedToChangedOp = OpChanged[DefIdx];
16881ad6265SDimitry Andric 
16981ad6265SDimitry Andric     // Memory operands to inline asm in the SelectionDAG are modeled with two
17081ad6265SDimitry Andric     // operands: a constant of value InlineAsm::Kind_Mem followed by the input
17181ad6265SDimitry Andric     // operand. If we get here and we have a Kind_Mem, skip the next operand (so
17281ad6265SDimitry Andric     // it doesn't get misinterpreted), and continue. We do this here because
17381ad6265SDimitry Andric     // it's important to update the OpChanged array correctly before moving on.
17481ad6265SDimitry Andric     if (Kind == InlineAsm::Kind_Mem) {
17581ad6265SDimitry Andric       SDValue op = N->getOperand(++i);
17681ad6265SDimitry Andric       AsmNodeOperands.push_back(op);
17781ad6265SDimitry Andric       continue;
17881ad6265SDimitry Andric     }
17981ad6265SDimitry Andric 
18081ad6265SDimitry Andric     if (Kind != InlineAsm::Kind_RegUse && Kind != InlineAsm::Kind_RegDef &&
18181ad6265SDimitry Andric         Kind != InlineAsm::Kind_RegDefEarlyClobber)
18281ad6265SDimitry Andric       continue;
18381ad6265SDimitry Andric 
18481ad6265SDimitry Andric     unsigned RC;
18581ad6265SDimitry Andric     bool HasRC = InlineAsm::hasRegClassConstraint(Flag, RC);
18681ad6265SDimitry Andric     if ((!IsTiedToChangedOp && (!HasRC || RC != CSKY::GPRRegClassID)) ||
18781ad6265SDimitry Andric         NumRegs != 2)
18881ad6265SDimitry Andric       continue;
18981ad6265SDimitry Andric 
19081ad6265SDimitry Andric     assert((i + 2 < NumOps) && "Invalid number of operands in inline asm");
19181ad6265SDimitry Andric     SDValue V0 = N->getOperand(i + 1);
19281ad6265SDimitry Andric     SDValue V1 = N->getOperand(i + 2);
19381ad6265SDimitry Andric     unsigned Reg0 = cast<RegisterSDNode>(V0)->getReg();
19481ad6265SDimitry Andric     unsigned Reg1 = cast<RegisterSDNode>(V1)->getReg();
19581ad6265SDimitry Andric     SDValue PairedReg;
19681ad6265SDimitry Andric     MachineRegisterInfo &MRI = MF->getRegInfo();
19781ad6265SDimitry Andric 
19881ad6265SDimitry Andric     if (Kind == InlineAsm::Kind_RegDef ||
19981ad6265SDimitry Andric         Kind == InlineAsm::Kind_RegDefEarlyClobber) {
20081ad6265SDimitry Andric       // Replace the two GPRs with 1 GPRPair and copy values from GPRPair to
20181ad6265SDimitry Andric       // the original GPRs.
20281ad6265SDimitry Andric 
20381ad6265SDimitry Andric       Register GPVR = MRI.createVirtualRegister(&CSKY::GPRPairRegClass);
20481ad6265SDimitry Andric       PairedReg = CurDAG->getRegister(GPVR, MVT::i64);
20581ad6265SDimitry Andric       SDValue Chain = SDValue(N, 0);
20681ad6265SDimitry Andric 
20781ad6265SDimitry Andric       SDNode *GU = N->getGluedUser();
20881ad6265SDimitry Andric       SDValue RegCopy =
20981ad6265SDimitry Andric           CurDAG->getCopyFromReg(Chain, dl, GPVR, MVT::i64, Chain.getValue(1));
21081ad6265SDimitry Andric 
21181ad6265SDimitry Andric       // Extract values from a GPRPair reg and copy to the original GPR reg.
21281ad6265SDimitry Andric       SDValue Sub0 =
21381ad6265SDimitry Andric           CurDAG->getTargetExtractSubreg(CSKY::sub32_0, dl, MVT::i32, RegCopy);
21481ad6265SDimitry Andric       SDValue Sub1 =
21581ad6265SDimitry Andric           CurDAG->getTargetExtractSubreg(CSKY::sub32_32, dl, MVT::i32, RegCopy);
21681ad6265SDimitry Andric       SDValue T0 =
21781ad6265SDimitry Andric           CurDAG->getCopyToReg(Sub0, dl, Reg0, Sub0, RegCopy.getValue(1));
21881ad6265SDimitry Andric       SDValue T1 = CurDAG->getCopyToReg(Sub1, dl, Reg1, Sub1, T0.getValue(1));
21981ad6265SDimitry Andric 
22081ad6265SDimitry Andric       // Update the original glue user.
22181ad6265SDimitry Andric       std::vector<SDValue> Ops(GU->op_begin(), GU->op_end() - 1);
22281ad6265SDimitry Andric       Ops.push_back(T1.getValue(1));
22381ad6265SDimitry Andric       CurDAG->UpdateNodeOperands(GU, Ops);
22481ad6265SDimitry Andric     } else {
22581ad6265SDimitry Andric       // For Kind  == InlineAsm::Kind_RegUse, we first copy two GPRs into a
22681ad6265SDimitry Andric       // GPRPair and then pass the GPRPair to the inline asm.
22781ad6265SDimitry Andric       SDValue Chain = AsmNodeOperands[InlineAsm::Op_InputChain];
22881ad6265SDimitry Andric 
22981ad6265SDimitry Andric       // As REG_SEQ doesn't take RegisterSDNode, we copy them first.
23081ad6265SDimitry Andric       SDValue T0 =
23181ad6265SDimitry Andric           CurDAG->getCopyFromReg(Chain, dl, Reg0, MVT::i32, Chain.getValue(1));
23281ad6265SDimitry Andric       SDValue T1 =
23381ad6265SDimitry Andric           CurDAG->getCopyFromReg(Chain, dl, Reg1, MVT::i32, T0.getValue(1));
23481ad6265SDimitry Andric       SDValue Pair = SDValue(createGPRPairNode(MVT::i64, T0, T1), 0);
23581ad6265SDimitry Andric 
23681ad6265SDimitry Andric       // Copy REG_SEQ into a GPRPair-typed VR and replace the original two
23781ad6265SDimitry Andric       // i32 VRs of inline asm with it.
23881ad6265SDimitry Andric       Register GPVR = MRI.createVirtualRegister(&CSKY::GPRPairRegClass);
23981ad6265SDimitry Andric       PairedReg = CurDAG->getRegister(GPVR, MVT::i64);
24081ad6265SDimitry Andric       Chain = CurDAG->getCopyToReg(T1, dl, GPVR, Pair, T1.getValue(1));
24181ad6265SDimitry Andric 
24281ad6265SDimitry Andric       AsmNodeOperands[InlineAsm::Op_InputChain] = Chain;
24381ad6265SDimitry Andric       Glue = Chain.getValue(1);
24481ad6265SDimitry Andric     }
24581ad6265SDimitry Andric 
24681ad6265SDimitry Andric     Changed = true;
24781ad6265SDimitry Andric 
24881ad6265SDimitry Andric     if (PairedReg.getNode()) {
24981ad6265SDimitry Andric       OpChanged[OpChanged.size() - 1] = true;
25081ad6265SDimitry Andric       Flag = InlineAsm::getFlagWord(Kind, 1 /* RegNum*/);
25181ad6265SDimitry Andric       if (IsTiedToChangedOp)
25281ad6265SDimitry Andric         Flag = InlineAsm::getFlagWordForMatchingOp(Flag, DefIdx);
25381ad6265SDimitry Andric       else
25481ad6265SDimitry Andric         Flag = InlineAsm::getFlagWordForRegClass(Flag, CSKY::GPRPairRegClassID);
25581ad6265SDimitry Andric       // Replace the current flag.
25681ad6265SDimitry Andric       AsmNodeOperands[AsmNodeOperands.size() - 1] =
25781ad6265SDimitry Andric           CurDAG->getTargetConstant(Flag, dl, MVT::i32);
25881ad6265SDimitry Andric       // Add the new register node and skip the original two GPRs.
25981ad6265SDimitry Andric       AsmNodeOperands.push_back(PairedReg);
26081ad6265SDimitry Andric       // Skip the next two GPRs.
26181ad6265SDimitry Andric       i += 2;
26281ad6265SDimitry Andric     }
26381ad6265SDimitry Andric   }
26481ad6265SDimitry Andric 
26581ad6265SDimitry Andric   if (Glue.getNode())
26681ad6265SDimitry Andric     AsmNodeOperands.push_back(Glue);
26781ad6265SDimitry Andric   if (!Changed)
26881ad6265SDimitry Andric     return false;
26981ad6265SDimitry Andric 
27081ad6265SDimitry Andric   SDValue New = CurDAG->getNode(N->getOpcode(), SDLoc(N),
27181ad6265SDimitry Andric                                 CurDAG->getVTList(MVT::Other, MVT::Glue),
27281ad6265SDimitry Andric                                 AsmNodeOperands);
27381ad6265SDimitry Andric   New->setNodeId(-1);
27481ad6265SDimitry Andric   ReplaceNode(N, New.getNode());
27581ad6265SDimitry Andric   return true;
27681ad6265SDimitry Andric }
27781ad6265SDimitry Andric 
27881ad6265SDimitry Andric bool CSKYDAGToDAGISel::selectBITCAST_TO_LOHI(SDNode *N) {
27981ad6265SDimitry Andric   SDLoc Dl(N);
28081ad6265SDimitry Andric   auto VT = N->getValueType(0);
28181ad6265SDimitry Andric   auto V = N->getOperand(0);
28281ad6265SDimitry Andric 
28381ad6265SDimitry Andric   if (!Subtarget->hasFPUv2DoubleFloat())
28481ad6265SDimitry Andric     return false;
28581ad6265SDimitry Andric 
28681ad6265SDimitry Andric   SDValue V1 = SDValue(CurDAG->getMachineNode(CSKY::FMFVRL_D, Dl, VT, V), 0);
28781ad6265SDimitry Andric   SDValue V2 = SDValue(CurDAG->getMachineNode(CSKY::FMFVRH_D, Dl, VT, V), 0);
28881ad6265SDimitry Andric 
28981ad6265SDimitry Andric   ReplaceUses(SDValue(N, 0), V1);
29081ad6265SDimitry Andric   ReplaceUses(SDValue(N, 1), V2);
29181ad6265SDimitry Andric   CurDAG->RemoveDeadNode(N);
29281ad6265SDimitry Andric 
29381ad6265SDimitry Andric   return true;
29481ad6265SDimitry Andric }
29581ad6265SDimitry Andric 
2960eae32dcSDimitry Andric bool CSKYDAGToDAGISel::selectAddCarry(SDNode *N) {
2970eae32dcSDimitry Andric   MachineSDNode *NewNode = nullptr;
2980eae32dcSDimitry Andric   auto Type0 = N->getValueType(0);
2990eae32dcSDimitry Andric   auto Type1 = N->getValueType(1);
3000eae32dcSDimitry Andric   auto Op0 = N->getOperand(0);
3010eae32dcSDimitry Andric   auto Op1 = N->getOperand(1);
3020eae32dcSDimitry Andric   auto Op2 = N->getOperand(2);
3030eae32dcSDimitry Andric 
3040eae32dcSDimitry Andric   SDLoc Dl(N);
3050eae32dcSDimitry Andric 
3060eae32dcSDimitry Andric   if (isNullConstant(Op2)) {
3070eae32dcSDimitry Andric     auto *CA = CurDAG->getMachineNode(
3080eae32dcSDimitry Andric         Subtarget->has2E3() ? CSKY::CLRC32 : CSKY::CLRC16, Dl, Type1);
3090eae32dcSDimitry Andric     NewNode = CurDAG->getMachineNode(
3100eae32dcSDimitry Andric         Subtarget->has2E3() ? CSKY::ADDC32 : CSKY::ADDC16, Dl, {Type0, Type1},
3110eae32dcSDimitry Andric         {Op0, Op1, SDValue(CA, 0)});
3120eae32dcSDimitry Andric   } else if (isOneConstant(Op2)) {
3130eae32dcSDimitry Andric     auto *CA = CurDAG->getMachineNode(
3140eae32dcSDimitry Andric         Subtarget->has2E3() ? CSKY::SETC32 : CSKY::SETC16, Dl, Type1);
3150eae32dcSDimitry Andric     NewNode = CurDAG->getMachineNode(
3160eae32dcSDimitry Andric         Subtarget->has2E3() ? CSKY::ADDC32 : CSKY::ADDC16, Dl, {Type0, Type1},
3170eae32dcSDimitry Andric         {Op0, Op1, SDValue(CA, 0)});
3180eae32dcSDimitry Andric   } else {
3190eae32dcSDimitry Andric     NewNode = CurDAG->getMachineNode(Subtarget->has2E3() ? CSKY::ADDC32
3200eae32dcSDimitry Andric                                                          : CSKY::ADDC16,
3210eae32dcSDimitry Andric                                      Dl, {Type0, Type1}, {Op0, Op1, Op2});
3220eae32dcSDimitry Andric   }
3230eae32dcSDimitry Andric   ReplaceNode(N, NewNode);
3240eae32dcSDimitry Andric   return true;
3250eae32dcSDimitry Andric }
3260eae32dcSDimitry Andric 
3270eae32dcSDimitry Andric static SDValue InvertCarryFlag(const CSKYSubtarget *Subtarget,
3280eae32dcSDimitry Andric                                SelectionDAG *DAG, SDLoc Dl, SDValue OldCarry) {
3290eae32dcSDimitry Andric   auto NewCarryReg =
3300eae32dcSDimitry Andric       DAG->getMachineNode(Subtarget->has2E3() ? CSKY::MVCV32 : CSKY::MVCV16, Dl,
3310eae32dcSDimitry Andric                           MVT::i32, OldCarry);
3320eae32dcSDimitry Andric   auto NewCarry =
3330eae32dcSDimitry Andric       DAG->getMachineNode(Subtarget->hasE2() ? CSKY::BTSTI32 : CSKY::BTSTI16,
3340eae32dcSDimitry Andric                           Dl, OldCarry.getValueType(), SDValue(NewCarryReg, 0),
3350eae32dcSDimitry Andric                           DAG->getTargetConstant(0, Dl, MVT::i32));
3360eae32dcSDimitry Andric   return SDValue(NewCarry, 0);
3370eae32dcSDimitry Andric }
3380eae32dcSDimitry Andric 
3390eae32dcSDimitry Andric bool CSKYDAGToDAGISel::selectSubCarry(SDNode *N) {
3400eae32dcSDimitry Andric   MachineSDNode *NewNode = nullptr;
3410eae32dcSDimitry Andric   auto Type0 = N->getValueType(0);
3420eae32dcSDimitry Andric   auto Type1 = N->getValueType(1);
3430eae32dcSDimitry Andric   auto Op0 = N->getOperand(0);
3440eae32dcSDimitry Andric   auto Op1 = N->getOperand(1);
3450eae32dcSDimitry Andric   auto Op2 = N->getOperand(2);
3460eae32dcSDimitry Andric 
3470eae32dcSDimitry Andric   SDLoc Dl(N);
3480eae32dcSDimitry Andric 
3490eae32dcSDimitry Andric   if (isNullConstant(Op2)) {
3500eae32dcSDimitry Andric     auto *CA = CurDAG->getMachineNode(
3510eae32dcSDimitry Andric         Subtarget->has2E3() ? CSKY::SETC32 : CSKY::SETC16, Dl, Type1);
3520eae32dcSDimitry Andric     NewNode = CurDAG->getMachineNode(
3530eae32dcSDimitry Andric         Subtarget->has2E3() ? CSKY::SUBC32 : CSKY::SUBC16, Dl, {Type0, Type1},
3540eae32dcSDimitry Andric         {Op0, Op1, SDValue(CA, 0)});
3550eae32dcSDimitry Andric   } else if (isOneConstant(Op2)) {
3560eae32dcSDimitry Andric     auto *CA = CurDAG->getMachineNode(
3570eae32dcSDimitry Andric         Subtarget->has2E3() ? CSKY::CLRC32 : CSKY::CLRC16, Dl, Type1);
3580eae32dcSDimitry Andric     NewNode = CurDAG->getMachineNode(
3590eae32dcSDimitry Andric         Subtarget->has2E3() ? CSKY::SUBC32 : CSKY::SUBC16, Dl, {Type0, Type1},
3600eae32dcSDimitry Andric         {Op0, Op1, SDValue(CA, 0)});
3610eae32dcSDimitry Andric   } else {
3620eae32dcSDimitry Andric     auto CarryIn = InvertCarryFlag(Subtarget, CurDAG, Dl, Op2);
3630eae32dcSDimitry Andric     NewNode = CurDAG->getMachineNode(Subtarget->has2E3() ? CSKY::SUBC32
3640eae32dcSDimitry Andric                                                          : CSKY::SUBC16,
3650eae32dcSDimitry Andric                                      Dl, {Type0, Type1}, {Op0, Op1, CarryIn});
3660eae32dcSDimitry Andric   }
3670eae32dcSDimitry Andric   auto CarryOut = InvertCarryFlag(Subtarget, CurDAG, Dl, SDValue(NewNode, 1));
3680eae32dcSDimitry Andric 
3690eae32dcSDimitry Andric   ReplaceUses(SDValue(N, 0), SDValue(NewNode, 0));
3700eae32dcSDimitry Andric   ReplaceUses(SDValue(N, 1), CarryOut);
3710eae32dcSDimitry Andric   CurDAG->RemoveDeadNode(N);
3720eae32dcSDimitry Andric 
3730eae32dcSDimitry Andric   return true;
3740eae32dcSDimitry Andric }
3750eae32dcSDimitry Andric 
37681ad6265SDimitry Andric SDNode *CSKYDAGToDAGISel::createGPRPairNode(EVT VT, SDValue V0, SDValue V1) {
37781ad6265SDimitry Andric   SDLoc dl(V0.getNode());
37881ad6265SDimitry Andric   SDValue RegClass =
37981ad6265SDimitry Andric       CurDAG->getTargetConstant(CSKY::GPRPairRegClassID, dl, MVT::i32);
38081ad6265SDimitry Andric   SDValue SubReg0 = CurDAG->getTargetConstant(CSKY::sub32_0, dl, MVT::i32);
38181ad6265SDimitry Andric   SDValue SubReg1 = CurDAG->getTargetConstant(CSKY::sub32_32, dl, MVT::i32);
38281ad6265SDimitry Andric   const SDValue Ops[] = {RegClass, V0, SubReg0, V1, SubReg1};
38381ad6265SDimitry Andric   return CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, dl, VT, Ops);
38481ad6265SDimitry Andric }
38581ad6265SDimitry Andric 
38681ad6265SDimitry Andric bool CSKYDAGToDAGISel::SelectInlineAsmMemoryOperand(
38781ad6265SDimitry Andric     const SDValue &Op, unsigned ConstraintID, std::vector<SDValue> &OutOps) {
38881ad6265SDimitry Andric   switch (ConstraintID) {
38981ad6265SDimitry Andric   case InlineAsm::Constraint_m:
39081ad6265SDimitry Andric     // We just support simple memory operands that have a single address
39181ad6265SDimitry Andric     // operand and need no special handling.
39281ad6265SDimitry Andric     OutOps.push_back(Op);
39381ad6265SDimitry Andric     return false;
39481ad6265SDimitry Andric   default:
39581ad6265SDimitry Andric     break;
39681ad6265SDimitry Andric   }
39781ad6265SDimitry Andric 
39881ad6265SDimitry Andric   return true;
39981ad6265SDimitry Andric }
40081ad6265SDimitry Andric 
401*bdd1243dSDimitry Andric FunctionPass *llvm::createCSKYISelDag(CSKYTargetMachine &TM,
402*bdd1243dSDimitry Andric                                       CodeGenOpt::Level OptLevel) {
403*bdd1243dSDimitry Andric   return new CSKYDAGToDAGISel(TM, OptLevel);
404349cc55cSDimitry Andric }
405