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