blob: b1dbcfa7f73872f3ce9db4c15ac5c126fc3a8be8 [file] [log] [blame]
Alex Bradbury89718422017-10-19 21:37:38 +00001//===-- RISCVMCInstLower.cpp - Convert RISCV MachineInstr to an MCInst ------=//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Alex Bradbury89718422017-10-19 21:37:38 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file contains code to lower RISCV MachineInstrs to their corresponding
10// MCInst records.
11//
12//===----------------------------------------------------------------------===//
13
14#include "RISCV.h"
Alex Bradburyec8aa912017-11-08 13:24:21 +000015#include "MCTargetDesc/RISCVMCExpr.h"
16#include "llvm/CodeGen/AsmPrinter.h"
Alex Bradbury89718422017-10-19 21:37:38 +000017#include "llvm/CodeGen/MachineBasicBlock.h"
18#include "llvm/CodeGen/MachineInstr.h"
19#include "llvm/MC/MCAsmInfo.h"
20#include "llvm/MC/MCContext.h"
21#include "llvm/MC/MCExpr.h"
22#include "llvm/MC/MCInst.h"
23#include "llvm/Support/ErrorHandling.h"
24#include "llvm/Support/raw_ostream.h"
25
26using namespace llvm;
27
Alex Bradburyec8aa912017-11-08 13:24:21 +000028static MCOperand lowerSymbolOperand(const MachineOperand &MO, MCSymbol *Sym,
29 const AsmPrinter &AP) {
30 MCContext &Ctx = AP.OutContext;
31 RISCVMCExpr::VariantKind Kind;
32
33 switch (MO.getTargetFlags()) {
34 default:
35 llvm_unreachable("Unknown target flag on GV operand");
36 case RISCVII::MO_None:
37 Kind = RISCVMCExpr::VK_RISCV_None;
38 break;
Alex Bradbury44668ae2019-04-01 14:53:17 +000039 case RISCVII::MO_CALL:
40 Kind = RISCVMCExpr::VK_RISCV_CALL;
41 break;
Lewis Revill74c83642019-06-18 14:29:45 +000042 case RISCVII::MO_PLT:
43 Kind = RISCVMCExpr::VK_RISCV_CALL_PLT;
44 break;
Alex Bradburyec8aa912017-11-08 13:24:21 +000045 case RISCVII::MO_LO:
46 Kind = RISCVMCExpr::VK_RISCV_LO;
47 break;
48 case RISCVII::MO_HI:
49 Kind = RISCVMCExpr::VK_RISCV_HI;
50 break;
Alex Bradburyda20f5c2019-04-01 14:42:56 +000051 case RISCVII::MO_PCREL_LO:
52 Kind = RISCVMCExpr::VK_RISCV_PCREL_LO;
53 break;
54 case RISCVII::MO_PCREL_HI:
55 Kind = RISCVMCExpr::VK_RISCV_PCREL_HI;
56 break;
Lewis Revilla5240362019-06-11 12:57:47 +000057 case RISCVII::MO_GOT_HI:
58 Kind = RISCVMCExpr::VK_RISCV_GOT_HI;
59 break;
Lewis Revill39263ac2019-06-19 08:40:59 +000060 case RISCVII::MO_TPREL_LO:
61 Kind = RISCVMCExpr::VK_RISCV_TPREL_LO;
62 break;
63 case RISCVII::MO_TPREL_HI:
64 Kind = RISCVMCExpr::VK_RISCV_TPREL_HI;
65 break;
66 case RISCVII::MO_TPREL_ADD:
67 Kind = RISCVMCExpr::VK_RISCV_TPREL_ADD;
68 break;
69 case RISCVII::MO_TLS_GOT_HI:
70 Kind = RISCVMCExpr::VK_RISCV_TLS_GOT_HI;
71 break;
72 case RISCVII::MO_TLS_GD_HI:
73 Kind = RISCVMCExpr::VK_RISCV_TLS_GD_HI;
74 break;
Alex Bradburyec8aa912017-11-08 13:24:21 +000075 }
76
77 const MCExpr *ME =
78 MCSymbolRefExpr::create(Sym, MCSymbolRefExpr::VK_None, Ctx);
79
Alex Bradbury315cd3a2018-01-10 21:05:07 +000080 if (!MO.isJTI() && !MO.isMBB() && MO.getOffset())
Alex Bradburyec8aa912017-11-08 13:24:21 +000081 ME = MCBinaryExpr::createAdd(
82 ME, MCConstantExpr::create(MO.getOffset(), Ctx), Ctx);
83
Alex Bradbury315cd3a2018-01-10 21:05:07 +000084 if (Kind != RISCVMCExpr::VK_RISCV_None)
85 ME = RISCVMCExpr::create(ME, Kind, Ctx);
Alex Bradburyec8aa912017-11-08 13:24:21 +000086 return MCOperand::createExpr(ME);
87}
88
89bool llvm::LowerRISCVMachineOperandToMCOperand(const MachineOperand &MO,
90 MCOperand &MCOp,
91 const AsmPrinter &AP) {
92 switch (MO.getType()) {
93 default:
94 report_fatal_error("LowerRISCVMachineInstrToMCInst: unknown operand type");
95 case MachineOperand::MO_Register:
96 // Ignore all implicit register operands.
97 if (MO.isImplicit())
98 return false;
99 MCOp = MCOperand::createReg(MO.getReg());
100 break;
Alex Bradburya3376752017-11-08 13:41:21 +0000101 case MachineOperand::MO_RegisterMask:
102 // Regmasks are like implicit defs.
103 return false;
Alex Bradburyec8aa912017-11-08 13:24:21 +0000104 case MachineOperand::MO_Immediate:
105 MCOp = MCOperand::createImm(MO.getImm());
106 break;
Alex Bradbury74913e12017-11-08 13:31:40 +0000107 case MachineOperand::MO_MachineBasicBlock:
Alex Bradbury315cd3a2018-01-10 21:05:07 +0000108 MCOp = lowerSymbolOperand(MO, MO.getMBB()->getSymbol(), AP);
Alex Bradbury74913e12017-11-08 13:31:40 +0000109 break;
Alex Bradburyec8aa912017-11-08 13:24:21 +0000110 case MachineOperand::MO_GlobalAddress:
111 MCOp = lowerSymbolOperand(MO, AP.getSymbol(MO.getGlobal()), AP);
112 break;
Alex Bradburyffc435e2017-11-21 08:11:03 +0000113 case MachineOperand::MO_BlockAddress:
114 MCOp = lowerSymbolOperand(
115 MO, AP.GetBlockAddressSymbol(MO.getBlockAddress()), AP);
116 break;
117 case MachineOperand::MO_ExternalSymbol:
118 MCOp = lowerSymbolOperand(
119 MO, AP.GetExternalSymbolSymbol(MO.getSymbolName()), AP);
120 break;
Alex Bradbury80c8eb72018-03-20 13:26:12 +0000121 case MachineOperand::MO_ConstantPoolIndex:
122 MCOp = lowerSymbolOperand(MO, AP.GetCPISymbol(MO.getIndex()), AP);
123 break;
Alex Bradburyec8aa912017-11-08 13:24:21 +0000124 }
125 return true;
126}
127
128void llvm::LowerRISCVMachineInstrToMCInst(const MachineInstr *MI, MCInst &OutMI,
129 const AsmPrinter &AP) {
Alex Bradbury89718422017-10-19 21:37:38 +0000130 OutMI.setOpcode(MI->getOpcode());
131
132 for (const MachineOperand &MO : MI->operands()) {
133 MCOperand MCOp;
Alex Bradburyec8aa912017-11-08 13:24:21 +0000134 if (LowerRISCVMachineOperandToMCOperand(MO, MCOp, AP))
135 OutMI.addOperand(MCOp);
Alex Bradbury89718422017-10-19 21:37:38 +0000136 }
137}