123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257 |
- //===-- RISCVMCInstLower.cpp - Convert RISCV MachineInstr to an MCInst ------=//
- //
- // 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 contains code to lower RISCV MachineInstrs to their corresponding
- // MCInst records.
- //
- //===----------------------------------------------------------------------===//
- #include "RISCV.h"
- #include "RISCVSubtarget.h"
- #include "MCTargetDesc/RISCVMCExpr.h"
- #include "llvm/CodeGen/AsmPrinter.h"
- #include "llvm/CodeGen/MachineBasicBlock.h"
- #include "llvm/CodeGen/MachineInstr.h"
- #include "llvm/MC/MCAsmInfo.h"
- #include "llvm/MC/MCContext.h"
- #include "llvm/MC/MCExpr.h"
- #include "llvm/MC/MCInst.h"
- #include "llvm/Support/ErrorHandling.h"
- #include "llvm/Support/raw_ostream.h"
- using namespace llvm;
- static MCOperand lowerSymbolOperand(const MachineOperand &MO, MCSymbol *Sym,
- const AsmPrinter &AP) {
- MCContext &Ctx = AP.OutContext;
- RISCVMCExpr::VariantKind Kind;
- switch (MO.getTargetFlags()) {
- default:
- llvm_unreachable("Unknown target flag on GV operand");
- case RISCVII::MO_None:
- Kind = RISCVMCExpr::VK_RISCV_None;
- break;
- case RISCVII::MO_CALL:
- Kind = RISCVMCExpr::VK_RISCV_CALL;
- break;
- case RISCVII::MO_PLT:
- Kind = RISCVMCExpr::VK_RISCV_CALL_PLT;
- break;
- case RISCVII::MO_LO:
- Kind = RISCVMCExpr::VK_RISCV_LO;
- break;
- case RISCVII::MO_HI:
- Kind = RISCVMCExpr::VK_RISCV_HI;
- break;
- case RISCVII::MO_PCREL_LO:
- Kind = RISCVMCExpr::VK_RISCV_PCREL_LO;
- break;
- case RISCVII::MO_PCREL_HI:
- Kind = RISCVMCExpr::VK_RISCV_PCREL_HI;
- break;
- case RISCVII::MO_GOT_HI:
- Kind = RISCVMCExpr::VK_RISCV_GOT_HI;
- break;
- case RISCVII::MO_TPREL_LO:
- Kind = RISCVMCExpr::VK_RISCV_TPREL_LO;
- break;
- case RISCVII::MO_TPREL_HI:
- Kind = RISCVMCExpr::VK_RISCV_TPREL_HI;
- break;
- case RISCVII::MO_TPREL_ADD:
- Kind = RISCVMCExpr::VK_RISCV_TPREL_ADD;
- break;
- case RISCVII::MO_TLS_GOT_HI:
- Kind = RISCVMCExpr::VK_RISCV_TLS_GOT_HI;
- break;
- case RISCVII::MO_TLS_GD_HI:
- Kind = RISCVMCExpr::VK_RISCV_TLS_GD_HI;
- break;
- }
- const MCExpr *ME =
- MCSymbolRefExpr::create(Sym, MCSymbolRefExpr::VK_None, Ctx);
- if (!MO.isJTI() && !MO.isMBB() && MO.getOffset())
- ME = MCBinaryExpr::createAdd(
- ME, MCConstantExpr::create(MO.getOffset(), Ctx), Ctx);
- if (Kind != RISCVMCExpr::VK_RISCV_None)
- ME = RISCVMCExpr::create(ME, Kind, Ctx);
- return MCOperand::createExpr(ME);
- }
- bool llvm::lowerRISCVMachineOperandToMCOperand(const MachineOperand &MO,
- MCOperand &MCOp,
- const AsmPrinter &AP) {
- switch (MO.getType()) {
- default:
- report_fatal_error("LowerRISCVMachineInstrToMCInst: unknown operand type");
- case MachineOperand::MO_Register:
- // Ignore all implicit register operands.
- if (MO.isImplicit())
- return false;
- MCOp = MCOperand::createReg(MO.getReg());
- break;
- case MachineOperand::MO_RegisterMask:
- // Regmasks are like implicit defs.
- return false;
- case MachineOperand::MO_Immediate:
- MCOp = MCOperand::createImm(MO.getImm());
- break;
- case MachineOperand::MO_MachineBasicBlock:
- MCOp = lowerSymbolOperand(MO, MO.getMBB()->getSymbol(), AP);
- break;
- case MachineOperand::MO_GlobalAddress:
- MCOp = lowerSymbolOperand(MO, AP.getSymbolPreferLocal(*MO.getGlobal()), AP);
- break;
- case MachineOperand::MO_BlockAddress:
- MCOp = lowerSymbolOperand(
- MO, AP.GetBlockAddressSymbol(MO.getBlockAddress()), AP);
- break;
- case MachineOperand::MO_ExternalSymbol:
- MCOp = lowerSymbolOperand(
- MO, AP.GetExternalSymbolSymbol(MO.getSymbolName()), AP);
- break;
- case MachineOperand::MO_ConstantPoolIndex:
- MCOp = lowerSymbolOperand(MO, AP.GetCPISymbol(MO.getIndex()), AP);
- break;
- case MachineOperand::MO_JumpTableIndex:
- MCOp = lowerSymbolOperand(MO, AP.GetJTISymbol(MO.getIndex()), AP);
- break;
- case MachineOperand::MO_MCSymbol:
- MCOp = lowerSymbolOperand(MO, MO.getMCSymbol(), AP);
- break;
- }
- return true;
- }
- static bool lowerRISCVVMachineInstrToMCInst(const MachineInstr *MI,
- MCInst &OutMI) {
- const RISCVVPseudosTable::PseudoInfo *RVV =
- RISCVVPseudosTable::getPseudoInfo(MI->getOpcode());
- if (!RVV)
- return false;
- OutMI.setOpcode(RVV->BaseInstr);
- const MachineBasicBlock *MBB = MI->getParent();
- assert(MBB && "MI expected to be in a basic block");
- const MachineFunction *MF = MBB->getParent();
- assert(MF && "MBB expected to be in a machine function");
- const TargetRegisterInfo *TRI =
- MF->getSubtarget<RISCVSubtarget>().getRegisterInfo();
- assert(TRI && "TargetRegisterInfo expected");
- uint64_t TSFlags = MI->getDesc().TSFlags;
- unsigned NumOps = MI->getNumExplicitOperands();
- // Skip policy, VL and SEW operands which are the last operands if present.
- if (RISCVII::hasVecPolicyOp(TSFlags))
- --NumOps;
- if (RISCVII::hasVLOp(TSFlags))
- --NumOps;
- if (RISCVII::hasSEWOp(TSFlags))
- --NumOps;
- bool hasVLOutput = RISCV::isFaultFirstLoad(*MI);
- for (unsigned OpNo = 0; OpNo != NumOps; ++OpNo) {
- const MachineOperand &MO = MI->getOperand(OpNo);
- // Skip vl ouput. It should be the second output.
- if (hasVLOutput && OpNo == 1)
- continue;
- // Skip merge op. It should be the first operand after the result.
- if (RISCVII::hasMergeOp(TSFlags) && OpNo == 1U + hasVLOutput) {
- assert(MI->getNumExplicitDefs() == 1U + hasVLOutput);
- continue;
- }
- MCOperand MCOp;
- switch (MO.getType()) {
- default:
- llvm_unreachable("Unknown operand type");
- case MachineOperand::MO_Register: {
- Register Reg = MO.getReg();
- if (RISCV::VRM2RegClass.contains(Reg) ||
- RISCV::VRM4RegClass.contains(Reg) ||
- RISCV::VRM8RegClass.contains(Reg)) {
- Reg = TRI->getSubReg(Reg, RISCV::sub_vrm1_0);
- assert(Reg && "Subregister does not exist");
- } else if (RISCV::FPR16RegClass.contains(Reg)) {
- Reg = TRI->getMatchingSuperReg(Reg, RISCV::sub_16, &RISCV::FPR32RegClass);
- assert(Reg && "Subregister does not exist");
- } else if (RISCV::FPR64RegClass.contains(Reg)) {
- Reg = TRI->getSubReg(Reg, RISCV::sub_32);
- assert(Reg && "Superregister does not exist");
- }
- MCOp = MCOperand::createReg(Reg);
- break;
- }
- case MachineOperand::MO_Immediate:
- MCOp = MCOperand::createImm(MO.getImm());
- break;
- }
- OutMI.addOperand(MCOp);
- }
- // Unmasked pseudo instructions need to append dummy mask operand to
- // V instructions. All V instructions are modeled as the masked version.
- if (RISCVII::hasDummyMaskOp(TSFlags))
- OutMI.addOperand(MCOperand::createReg(RISCV::NoRegister));
- return true;
- }
- bool llvm::lowerRISCVMachineInstrToMCInst(const MachineInstr *MI, MCInst &OutMI,
- AsmPrinter &AP) {
- if (lowerRISCVVMachineInstrToMCInst(MI, OutMI))
- return false;
- OutMI.setOpcode(MI->getOpcode());
- for (const MachineOperand &MO : MI->operands()) {
- MCOperand MCOp;
- if (lowerRISCVMachineOperandToMCOperand(MO, MCOp, AP))
- OutMI.addOperand(MCOp);
- }
- switch (OutMI.getOpcode()) {
- case TargetOpcode::PATCHABLE_FUNCTION_ENTER: {
- const Function &F = MI->getParent()->getParent()->getFunction();
- if (F.hasFnAttribute("patchable-function-entry")) {
- unsigned Num;
- if (F.getFnAttribute("patchable-function-entry")
- .getValueAsString()
- .getAsInteger(10, Num))
- return false;
- AP.emitNops(Num);
- return true;
- }
- break;
- }
- case RISCV::PseudoReadVLENB:
- OutMI.setOpcode(RISCV::CSRRS);
- OutMI.addOperand(MCOperand::createImm(
- RISCVSysReg::lookupSysRegByName("VLENB")->Encoding));
- OutMI.addOperand(MCOperand::createReg(RISCV::X0));
- break;
- case RISCV::PseudoReadVL:
- OutMI.setOpcode(RISCV::CSRRS);
- OutMI.addOperand(
- MCOperand::createImm(RISCVSysReg::lookupSysRegByName("VL")->Encoding));
- OutMI.addOperand(MCOperand::createReg(RISCV::X0));
- break;
- }
- return false;
- }
|