Path: blob/main/contrib/llvm-project/llvm/lib/Target/Mips/Mips16ISelDAGToDAG.cpp
34371 views
//===-- Mips16ISelDAGToDAG.cpp - A Dag to Dag Inst Selector for Mips16 ----===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//7//8// Subclass of MipsDAGToDAGISel specialized for mips16.9//10//===----------------------------------------------------------------------===//1112#include "Mips16ISelDAGToDAG.h"13#include "MCTargetDesc/MipsBaseInfo.h"14#include "Mips.h"15#include "MipsMachineFunction.h"16#include "MipsRegisterInfo.h"17#include "llvm/CodeGen/MachineConstantPool.h"18#include "llvm/CodeGen/MachineFrameInfo.h"19#include "llvm/CodeGen/MachineFunction.h"20#include "llvm/CodeGen/MachineInstrBuilder.h"21#include "llvm/CodeGen/MachineRegisterInfo.h"22#include "llvm/CodeGen/SelectionDAGNodes.h"23#include "llvm/IR/CFG.h"24#include "llvm/IR/GlobalValue.h"25#include "llvm/IR/Instructions.h"26#include "llvm/IR/Intrinsics.h"27#include "llvm/IR/Type.h"28#include "llvm/Support/Debug.h"29#include "llvm/Support/ErrorHandling.h"30#include "llvm/Support/raw_ostream.h"31#include "llvm/Target/TargetMachine.h"32using namespace llvm;3334#define DEBUG_TYPE "mips-isel"3536bool Mips16DAGToDAGISel::runOnMachineFunction(MachineFunction &MF) {37Subtarget = &MF.getSubtarget<MipsSubtarget>();38if (!Subtarget->inMips16Mode())39return false;40return MipsDAGToDAGISel::runOnMachineFunction(MF);41}42/// Select multiply instructions.43std::pair<SDNode *, SDNode *>44Mips16DAGToDAGISel::selectMULT(SDNode *N, unsigned Opc, const SDLoc &DL, EVT Ty,45bool HasLo, bool HasHi) {46SDNode *Lo = nullptr, *Hi = nullptr;47SDNode *Mul = CurDAG->getMachineNode(Opc, DL, MVT::Glue, N->getOperand(0),48N->getOperand(1));49SDValue InGlue = SDValue(Mul, 0);5051if (HasLo) {52unsigned Opcode = Mips::Mflo16;53Lo = CurDAG->getMachineNode(Opcode, DL, Ty, MVT::Glue, InGlue);54InGlue = SDValue(Lo, 1);55}56if (HasHi) {57unsigned Opcode = Mips::Mfhi16;58Hi = CurDAG->getMachineNode(Opcode, DL, Ty, InGlue);59}60return std::make_pair(Lo, Hi);61}6263void Mips16DAGToDAGISel::initGlobalBaseReg(MachineFunction &MF) {64MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();6566if (!MipsFI->globalBaseRegSet())67return;6869MachineBasicBlock &MBB = MF.front();70MachineBasicBlock::iterator I = MBB.begin();71MachineRegisterInfo &RegInfo = MF.getRegInfo();72const TargetInstrInfo &TII = *Subtarget->getInstrInfo();73DebugLoc DL;74Register V0, V1, V2, GlobalBaseReg = MipsFI->getGlobalBaseReg(MF);75const TargetRegisterClass *RC = &Mips::CPU16RegsRegClass;7677V0 = RegInfo.createVirtualRegister(RC);78V1 = RegInfo.createVirtualRegister(RC);79V2 = RegInfo.createVirtualRegister(RC);808182BuildMI(MBB, I, DL, TII.get(Mips::LiRxImmX16), V0)83.addExternalSymbol("_gp_disp", MipsII::MO_ABS_HI);84BuildMI(MBB, I, DL, TII.get(Mips::AddiuRxPcImmX16), V1)85.addExternalSymbol("_gp_disp", MipsII::MO_ABS_LO);8687BuildMI(MBB, I, DL, TII.get(Mips::SllX16), V2).addReg(V0).addImm(16);88BuildMI(MBB, I, DL, TII.get(Mips::AdduRxRyRz16), GlobalBaseReg)89.addReg(V1)90.addReg(V2);91}9293void Mips16DAGToDAGISel::processFunctionAfterISel(MachineFunction &MF) {94initGlobalBaseReg(MF);95}9697bool Mips16DAGToDAGISel::selectAddr(bool SPAllowed, SDValue Addr, SDValue &Base,98SDValue &Offset) {99SDLoc DL(Addr);100EVT ValTy = Addr.getValueType();101102// if Address is FI, get the TargetFrameIndex.103if (SPAllowed) {104if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {105Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy);106Offset = CurDAG->getTargetConstant(0, DL, ValTy);107return true;108}109}110// on PIC code Load GA111if (Addr.getOpcode() == MipsISD::Wrapper) {112Base = Addr.getOperand(0);113Offset = Addr.getOperand(1);114return true;115}116if (!TM.isPositionIndependent()) {117if ((Addr.getOpcode() == ISD::TargetExternalSymbol ||118Addr.getOpcode() == ISD::TargetGlobalAddress))119return false;120}121// Addresses of the form FI+const or FI|const122if (CurDAG->isBaseWithConstantOffset(Addr)) {123auto *CN = cast<ConstantSDNode>(Addr.getOperand(1));124if (isInt<16>(CN->getSExtValue())) {125// If the first operand is a FI, get the TargetFI Node126if (SPAllowed) {127if (FrameIndexSDNode *FIN =128dyn_cast<FrameIndexSDNode>(Addr.getOperand(0))) {129Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy);130Offset = CurDAG->getTargetConstant(CN->getZExtValue(), DL, ValTy);131return true;132}133}134135Base = Addr.getOperand(0);136Offset = CurDAG->getTargetConstant(CN->getZExtValue(), DL, ValTy);137return true;138}139}140// Operand is a result from an ADD.141if (Addr.getOpcode() == ISD::ADD) {142// When loading from constant pools, load the lower address part in143// the instruction itself. Example, instead of:144// lui $2, %hi($CPI1_0)145// addiu $2, $2, %lo($CPI1_0)146// lwc1 $f0, 0($2)147// Generate:148// lui $2, %hi($CPI1_0)149// lwc1 $f0, %lo($CPI1_0)($2)150if (Addr.getOperand(1).getOpcode() == MipsISD::Lo ||151Addr.getOperand(1).getOpcode() == MipsISD::GPRel) {152SDValue Opnd0 = Addr.getOperand(1).getOperand(0);153if (isa<ConstantPoolSDNode>(Opnd0) || isa<GlobalAddressSDNode>(Opnd0) ||154isa<JumpTableSDNode>(Opnd0)) {155Base = Addr.getOperand(0);156Offset = Opnd0;157return true;158}159}160}161Base = Addr;162Offset = CurDAG->getTargetConstant(0, DL, ValTy);163return true;164}165166bool Mips16DAGToDAGISel::selectAddr16(SDValue Addr, SDValue &Base,167SDValue &Offset) {168return selectAddr(false, Addr, Base, Offset);169}170171bool Mips16DAGToDAGISel::selectAddr16SP(SDValue Addr, SDValue &Base,172SDValue &Offset) {173return selectAddr(true, Addr, Base, Offset);174}175176/// Select instructions not customized! Used for177/// expanded, promoted and normal instructions178bool Mips16DAGToDAGISel::trySelect(SDNode *Node) {179unsigned Opcode = Node->getOpcode();180SDLoc DL(Node);181182///183// Instruction Selection not handled by the auto-generated184// tablegen selection should be handled here.185///186EVT NodeTy = Node->getValueType(0);187unsigned MultOpc;188189switch (Opcode) {190default:191break;192193/// Mul with two results194case ISD::SMUL_LOHI:195case ISD::UMUL_LOHI: {196MultOpc = (Opcode == ISD::UMUL_LOHI ? Mips::MultuRxRy16 : Mips::MultRxRy16);197std::pair<SDNode *, SDNode *> LoHi =198selectMULT(Node, MultOpc, DL, NodeTy, true, true);199if (!SDValue(Node, 0).use_empty())200ReplaceUses(SDValue(Node, 0), SDValue(LoHi.first, 0));201202if (!SDValue(Node, 1).use_empty())203ReplaceUses(SDValue(Node, 1), SDValue(LoHi.second, 0));204205CurDAG->RemoveDeadNode(Node);206return true;207}208209case ISD::MULHS:210case ISD::MULHU: {211MultOpc = (Opcode == ISD::MULHU ? Mips::MultuRxRy16 : Mips::MultRxRy16);212auto LoHi = selectMULT(Node, MultOpc, DL, NodeTy, false, true);213ReplaceNode(Node, LoHi.second);214return true;215}216}217218return false;219}220221Mips16DAGToDAGISelLegacy::Mips16DAGToDAGISelLegacy(MipsTargetMachine &TM,222CodeGenOptLevel OL)223: MipsDAGToDAGISelLegacy(std::make_unique<Mips16DAGToDAGISel>(TM, OL)) {}224225FunctionPass *llvm::createMips16ISelDag(MipsTargetMachine &TM,226CodeGenOptLevel OptLevel) {227return new Mips16DAGToDAGISelLegacy(TM, OptLevel);228}229230231