| //===-- RISCVISelDAGToDAG.cpp - A dag to dag inst selector for RISCV ------===// | |
| // | |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | |
| // See https://llvm.org/LICENSE.txt for license information. | |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | |
| // | |
| //===----------------------------------------------------------------------===// | |
| // | |
| // This file defines an instruction selector for the RISCV target. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| #include "MCTargetDesc/RISCVMCTargetDesc.h" | |
| #include "RISCV.h" | |
| #include "RISCVTargetMachine.h" | |
| #include "Utils/RISCVMatInt.h" | |
| #include "llvm/CodeGen/MachineFrameInfo.h" | |
| #include "llvm/CodeGen/SelectionDAGISel.h" | |
| #include "llvm/Support/Debug.h" | |
| #include "llvm/Support/MathExtras.h" | |
| #include "llvm/Support/raw_ostream.h" | |
| using namespace llvm; | |
| #define DEBUG_TYPE "riscv-isel" | |
| // RISCV-specific code to select RISCV machine instructions for | |
| // SelectionDAG operations. | |
| namespace { | |
| class RISCVDAGToDAGISel final : public SelectionDAGISel { | |
| const RISCVSubtarget *Subtarget = nullptr; | |
| public: | |
| explicit RISCVDAGToDAGISel(RISCVTargetMachine &TargetMachine) | |
| : SelectionDAGISel(TargetMachine) {} | |
| StringRef getPassName() const override { | |
| return "RISCV DAG->DAG Pattern Instruction Selection"; | |
| } | |
| bool runOnMachineFunction(MachineFunction &MF) override { | |
| Subtarget = &MF.getSubtarget<RISCVSubtarget>(); | |
| return SelectionDAGISel::runOnMachineFunction(MF); | |
| } | |
| void PostprocessISelDAG() override; | |
| void Select(SDNode *Node) override; | |
| bool SelectInlineAsmMemoryOperand(const SDValue &Op, unsigned ConstraintID, | |
| std::vector<SDValue> &OutOps) override; | |
| bool SelectAddrFI(SDValue Addr, SDValue &Base); | |
| // Include the pieces autogenerated from the target description. | |
| #include "RISCVGenDAGISel.inc" | |
| private: | |
| void doPeepholeLoadStoreADDI(); | |
| }; | |
| } | |
| void RISCVDAGToDAGISel::PostprocessISelDAG() { | |
| doPeepholeLoadStoreADDI(); | |
| } | |
| static SDNode *selectImm(SelectionDAG *CurDAG, const SDLoc &DL, int64_t Imm, | |
| MVT XLenVT) { | |
| RISCVMatInt::InstSeq Seq; | |
| RISCVMatInt::generateInstSeq(Imm, XLenVT == MVT::i64, Seq); | |
| SDNode *Result = nullptr; | |
| SDValue SrcReg = CurDAG->getRegister(RISCV::X0, XLenVT); | |
| for (RISCVMatInt::Inst &Inst : Seq) { | |
| SDValue SDImm = CurDAG->getTargetConstant(Inst.Imm, DL, XLenVT); | |
| if (Inst.Opc == RISCV::LUI) | |
| Result = CurDAG->getMachineNode(RISCV::LUI, DL, XLenVT, SDImm); | |
| else | |
| Result = CurDAG->getMachineNode(Inst.Opc, DL, XLenVT, SrcReg, SDImm); | |
| // Only the first instruction has X0 as its source. | |
| SrcReg = SDValue(Result, 0); | |
| } | |
| return Result; | |
| } | |
| // Returns true if the Node is an ISD::AND with a constant argument. If so, | |
| // set Mask to that constant value. | |
| static bool isConstantMask(SDNode *Node, uint64_t &Mask) { | |
| if (Node->getOpcode() == ISD::AND && | |
| Node->getOperand(1).getOpcode() == ISD::Constant) { | |
| Mask = cast<ConstantSDNode>(Node->getOperand(1))->getZExtValue(); | |
| return true; | |
| } | |
| return false; | |
| } | |
| void RISCVDAGToDAGISel::Select(SDNode *Node) { | |
| // If we have a custom node, we have already selected. | |
| if (Node->isMachineOpcode()) { | |
| LLVM_DEBUG(dbgs() << "== "; Node->dump(CurDAG); dbgs() << "\n"); | |
| Node->setNodeId(-1); | |
| return; | |
| } | |
| // Instruction Selection not handled by the auto-generated tablegen selection | |
| // should be handled here. | |
| unsigned Opcode = Node->getOpcode(); | |
| MVT XLenVT = Subtarget->getXLenVT(); | |
| SDLoc DL(Node); | |
| EVT VT = Node->getValueType(0); | |
| switch (Opcode) { | |
| case ISD::Constant: { | |
| auto ConstNode = cast<ConstantSDNode>(Node); | |
| if (VT == XLenVT && ConstNode->isNullValue()) { | |
| SDValue New = CurDAG->getCopyFromReg(CurDAG->getEntryNode(), SDLoc(Node), | |
| RISCV::X0, XLenVT); | |
| ReplaceNode(Node, New.getNode()); | |
| return; | |
| } | |
| int64_t Imm = ConstNode->getSExtValue(); | |
| if (XLenVT == MVT::i64) { | |
| ReplaceNode(Node, selectImm(CurDAG, SDLoc(Node), Imm, XLenVT)); | |
| return; | |
| } | |
| break; | |
| } | |
| case ISD::FrameIndex: { | |
| SDValue Imm = CurDAG->getTargetConstant(0, DL, XLenVT); | |
| int FI = cast<FrameIndexSDNode>(Node)->getIndex(); | |
| SDValue TFI = CurDAG->getTargetFrameIndex(FI, VT); | |
| ReplaceNode(Node, CurDAG->getMachineNode(RISCV::ADDI, DL, VT, TFI, Imm)); | |
| return; | |
| } | |
| case ISD::SRL: { | |
| if (!Subtarget->is64Bit()) | |
| break; | |
| SDValue Op0 = Node->getOperand(0); | |
| SDValue Op1 = Node->getOperand(1); | |
| uint64_t Mask; | |
| // Match (srl (and val, mask), imm) where the result would be a | |
| // zero-extended 32-bit integer. i.e. the mask is 0xffffffff or the result | |
| // is equivalent to this (SimplifyDemandedBits may have removed lower bits | |
| // from the mask that aren't necessary due to the right-shifting). | |
| if (Op1.getOpcode() == ISD::Constant && | |
| isConstantMask(Op0.getNode(), Mask)) { | |
| uint64_t ShAmt = cast<ConstantSDNode>(Op1.getNode())->getZExtValue(); | |
| if ((Mask | maskTrailingOnes<uint64_t>(ShAmt)) == 0xffffffff) { | |
| SDValue ShAmtVal = | |
| CurDAG->getTargetConstant(ShAmt, SDLoc(Node), XLenVT); | |
| CurDAG->SelectNodeTo(Node, RISCV::SRLIW, XLenVT, Op0.getOperand(0), | |
| ShAmtVal); | |
| return; | |
| } | |
| } | |
| break; | |
| } | |
| case RISCVISD::READ_CYCLE_WIDE: | |
| assert(!Subtarget->is64Bit() && "READ_CYCLE_WIDE is only used on riscv32"); | |
| ReplaceNode(Node, CurDAG->getMachineNode(RISCV::ReadCycleWide, DL, MVT::i32, | |
| MVT::i32, MVT::Other, | |
| Node->getOperand(0))); | |
| return; | |
| } | |
| // Select the default instruction. | |
| SelectCode(Node); | |
| } | |
| bool RISCVDAGToDAGISel::SelectInlineAsmMemoryOperand( | |
| const SDValue &Op, unsigned ConstraintID, std::vector<SDValue> &OutOps) { | |
| switch (ConstraintID) { | |
| case InlineAsm::Constraint_m: | |
| // We just support simple memory operands that have a single address | |
| // operand and need no special handling. | |
| OutOps.push_back(Op); | |
| return false; | |
| case InlineAsm::Constraint_A: | |
| OutOps.push_back(Op); | |
| return false; | |
| default: | |
| break; | |
| } | |
| return true; | |
| } | |
| bool RISCVDAGToDAGISel::SelectAddrFI(SDValue Addr, SDValue &Base) { | |
| if (auto FIN = dyn_cast<FrameIndexSDNode>(Addr)) { | |
| Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), Subtarget->getXLenVT()); | |
| return true; | |
| } | |
| return false; | |
| } | |
| // Merge an ADDI into the offset of a load/store instruction where possible. | |
| // (load (add base, off), 0) -> (load base, off) | |
| // (store val, (add base, off)) -> (store val, base, off) | |
| void RISCVDAGToDAGISel::doPeepholeLoadStoreADDI() { | |
| SelectionDAG::allnodes_iterator Position(CurDAG->getRoot().getNode()); | |
| ++Position; | |
| while (Position != CurDAG->allnodes_begin()) { | |
| SDNode *N = &*--Position; | |
| // Skip dead nodes and any non-machine opcodes. | |
| if (N->use_empty() || !N->isMachineOpcode()) | |
| continue; | |
| int OffsetOpIdx; | |
| int BaseOpIdx; | |
| // Only attempt this optimisation for I-type loads and S-type stores. | |
| switch (N->getMachineOpcode()) { | |
| default: | |
| continue; | |
| case RISCV::LB: | |
| case RISCV::LH: | |
| case RISCV::LW: | |
| case RISCV::LBU: | |
| case RISCV::LHU: | |
| case RISCV::LWU: | |
| case RISCV::LD: | |
| case RISCV::FLW: | |
| case RISCV::FLD: | |
| BaseOpIdx = 0; | |
| OffsetOpIdx = 1; | |
| break; | |
| case RISCV::SB: | |
| case RISCV::SH: | |
| case RISCV::SW: | |
| case RISCV::SD: | |
| case RISCV::FSW: | |
| case RISCV::FSD: | |
| BaseOpIdx = 1; | |
| OffsetOpIdx = 2; | |
| break; | |
| } | |
| // Currently, the load/store offset must be 0 to be considered for this | |
| // peephole optimisation. | |
| if (!isa<ConstantSDNode>(N->getOperand(OffsetOpIdx)) || | |
| N->getConstantOperandVal(OffsetOpIdx) != 0) | |
| continue; | |
| SDValue Base = N->getOperand(BaseOpIdx); | |
| // If the base is an ADDI, we can merge it in to the load/store. | |
| if (!Base.isMachineOpcode() || Base.getMachineOpcode() != RISCV::ADDI) | |
| continue; | |
| SDValue ImmOperand = Base.getOperand(1); | |
| if (auto Const = dyn_cast<ConstantSDNode>(ImmOperand)) { | |
| ImmOperand = CurDAG->getTargetConstant( | |
| Const->getSExtValue(), SDLoc(ImmOperand), ImmOperand.getValueType()); | |
| } else if (auto GA = dyn_cast<GlobalAddressSDNode>(ImmOperand)) { | |
| ImmOperand = CurDAG->getTargetGlobalAddress( | |
| GA->getGlobal(), SDLoc(ImmOperand), ImmOperand.getValueType(), | |
| GA->getOffset(), GA->getTargetFlags()); | |
| } else { | |
| continue; | |
| } | |
| LLVM_DEBUG(dbgs() << "Folding add-immediate into mem-op:\nBase: "); | |
| LLVM_DEBUG(Base->dump(CurDAG)); | |
| LLVM_DEBUG(dbgs() << "\nN: "); | |
| LLVM_DEBUG(N->dump(CurDAG)); | |
| LLVM_DEBUG(dbgs() << "\n"); | |
| // Modify the offset operand of the load/store. | |
| if (BaseOpIdx == 0) // Load | |
| CurDAG->UpdateNodeOperands(N, Base.getOperand(0), ImmOperand, | |
| N->getOperand(2)); | |
| else // Store | |
| CurDAG->UpdateNodeOperands(N, N->getOperand(0), Base.getOperand(0), | |
| ImmOperand, N->getOperand(3)); | |
| // The add-immediate may now be dead, in which case remove it. | |
| if (Base.getNode()->use_empty()) | |
| CurDAG->RemoveDeadNode(Base.getNode()); | |
| } | |
| } | |
| // This pass converts a legalized DAG into a RISCV-specific DAG, ready | |
| // for instruction scheduling. | |
| FunctionPass *llvm::createRISCVISelDag(RISCVTargetMachine &TM) { | |
| return new RISCVDAGToDAGISel(TM); | |
| } |