blob: 3b0e461842c6638484186ad7c625dd2c306c63fd [file] [log] [blame]
Alex Bradbury6b2cca72016-11-01 23:47:30 +00001//===-- RISCVMCCodeEmitter.cpp - Convert RISCV code to machine code -------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the RISCVMCCodeEmitter class.
11//
12//===----------------------------------------------------------------------===//
13
Alex Bradbury9d3f1252017-09-28 08:26:24 +000014#include "MCTargetDesc/RISCVBaseInfo.h"
15#include "MCTargetDesc/RISCVFixupKinds.h"
16#include "MCTargetDesc/RISCVMCExpr.h"
Alex Bradbury6b2cca72016-11-01 23:47:30 +000017#include "MCTargetDesc/RISCVMCTargetDesc.h"
18#include "llvm/ADT/Statistic.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000019#include "llvm/MC/MCAsmInfo.h"
Alex Bradbury6b2cca72016-11-01 23:47:30 +000020#include "llvm/MC/MCCodeEmitter.h"
21#include "llvm/MC/MCContext.h"
22#include "llvm/MC/MCExpr.h"
23#include "llvm/MC/MCInst.h"
Shiva Chen98f93892018-04-25 14:18:55 +000024#include "llvm/MC/MCInstBuilder.h"
Alex Bradbury9d3f1252017-09-28 08:26:24 +000025#include "llvm/MC/MCInstrInfo.h"
Alex Bradbury6b2cca72016-11-01 23:47:30 +000026#include "llvm/MC/MCRegisterInfo.h"
27#include "llvm/MC/MCSymbol.h"
Alex Bradbury9d3f1252017-09-28 08:26:24 +000028#include "llvm/Support/Casting.h"
Alex Bradbury6b2cca72016-11-01 23:47:30 +000029#include "llvm/Support/EndianStream.h"
30#include "llvm/Support/raw_ostream.h"
31
32using namespace llvm;
33
34#define DEBUG_TYPE "mccodeemitter"
35
36STATISTIC(MCNumEmitted, "Number of MC instructions emitted");
Alex Bradbury9d3f1252017-09-28 08:26:24 +000037STATISTIC(MCNumFixups, "Number of MC fixups created");
Alex Bradbury6b2cca72016-11-01 23:47:30 +000038
39namespace {
40class RISCVMCCodeEmitter : public MCCodeEmitter {
41 RISCVMCCodeEmitter(const RISCVMCCodeEmitter &) = delete;
42 void operator=(const RISCVMCCodeEmitter &) = delete;
43 MCContext &Ctx;
Alex Bradbury9d3f1252017-09-28 08:26:24 +000044 MCInstrInfo const &MCII;
Alex Bradbury6b2cca72016-11-01 23:47:30 +000045
46public:
Alex Bradbury9d3f1252017-09-28 08:26:24 +000047 RISCVMCCodeEmitter(MCContext &ctx, MCInstrInfo const &MCII)
48 : Ctx(ctx), MCII(MCII) {}
Alex Bradbury6b2cca72016-11-01 23:47:30 +000049
50 ~RISCVMCCodeEmitter() override {}
51
52 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
53 SmallVectorImpl<MCFixup> &Fixups,
54 const MCSubtargetInfo &STI) const override;
55
Shiva Chen98f93892018-04-25 14:18:55 +000056 void expandFunctionCall(const MCInst &MI, raw_ostream &OS,
57 SmallVectorImpl<MCFixup> &Fixups,
58 const MCSubtargetInfo &STI) const;
59
Alex Bradbury6b2cca72016-11-01 23:47:30 +000060 /// TableGen'erated function for getting the binary encoding for an
61 /// instruction.
62 uint64_t getBinaryCodeForInstr(const MCInst &MI,
63 SmallVectorImpl<MCFixup> &Fixups,
64 const MCSubtargetInfo &STI) const;
65
66 /// Return binary encoding of operand. If the machine operand requires
67 /// relocation, record the relocation and return zero.
68 unsigned getMachineOpValue(const MCInst &MI, const MCOperand &MO,
69 SmallVectorImpl<MCFixup> &Fixups,
70 const MCSubtargetInfo &STI) const;
Alex Bradbury6758ecb2017-09-17 14:27:35 +000071
72 unsigned getImmOpValueAsr1(const MCInst &MI, unsigned OpNo,
73 SmallVectorImpl<MCFixup> &Fixups,
74 const MCSubtargetInfo &STI) const;
Alex Bradbury9d3f1252017-09-28 08:26:24 +000075
Alex Bradbury8ab4a962017-09-17 14:36:28 +000076 unsigned getImmOpValue(const MCInst &MI, unsigned OpNo,
77 SmallVectorImpl<MCFixup> &Fixups,
78 const MCSubtargetInfo &STI) const;
Alex Bradbury6b2cca72016-11-01 23:47:30 +000079};
80} // end anonymous namespace
81
82MCCodeEmitter *llvm::createRISCVMCCodeEmitter(const MCInstrInfo &MCII,
83 const MCRegisterInfo &MRI,
84 MCContext &Ctx) {
Alex Bradbury9d3f1252017-09-28 08:26:24 +000085 return new RISCVMCCodeEmitter(Ctx, MCII);
Alex Bradbury6b2cca72016-11-01 23:47:30 +000086}
87
Mandeep Singh Grangddcb9562018-05-23 22:44:08 +000088// Expand PseudoCALL and PseudoTAIL to AUIPC and JALR with relocation types.
89// We expand PseudoCALL and PseudoTAIL while encoding, meaning AUIPC and JALR
90// won't go through RISCV MC to MC compressed instruction transformation. This
91// is acceptable because AUIPC has no 16-bit form and C_JALR have no immediate
92// operand field. We let linker relaxation deal with it. When linker
93// relaxation enabled, AUIPC and JALR have chance relax to JAL. If C extension
94// is enabled, JAL has chance relax to C_JAL.
Shiva Chen98f93892018-04-25 14:18:55 +000095void RISCVMCCodeEmitter::expandFunctionCall(const MCInst &MI, raw_ostream &OS,
96 SmallVectorImpl<MCFixup> &Fixups,
97 const MCSubtargetInfo &STI) const {
98 MCInst TmpInst;
99 MCOperand Func = MI.getOperand(0);
Mandeep Singh Grangef0ebf22018-05-17 17:31:27 +0000100 unsigned Ra = (MI.getOpcode() == RISCV::PseudoTAIL) ? RISCV::X6 : RISCV::X1;
Shiva Chen98f93892018-04-25 14:18:55 +0000101 uint32_t Binary;
102
103 assert(Func.isExpr() && "Expected expression");
104
105 const MCExpr *Expr = Func.getExpr();
106
107 // Create function call expression CallExpr for AUIPC.
108 const MCExpr *CallExpr =
109 RISCVMCExpr::create(Expr, RISCVMCExpr::VK_RISCV_CALL, Ctx);
110
111 // Emit AUIPC Ra, Func with R_RISCV_CALL relocation type.
112 TmpInst = MCInstBuilder(RISCV::AUIPC)
113 .addReg(Ra)
114 .addOperand(MCOperand::createExpr(CallExpr));
115 Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Peter Collingbournee3f65292018-05-18 19:46:24 +0000116 support::endian::write(OS, Binary, support::little);
Shiva Chen98f93892018-04-25 14:18:55 +0000117
118 // Emit JALR Ra, Ra, 0
119 TmpInst = MCInstBuilder(RISCV::JALR).addReg(Ra).addReg(Ra).addImm(0);
120 Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Peter Collingbournee3f65292018-05-18 19:46:24 +0000121 support::endian::write(OS, Binary, support::little);
Shiva Chen98f93892018-04-25 14:18:55 +0000122}
123
Alex Bradbury6b2cca72016-11-01 23:47:30 +0000124void RISCVMCCodeEmitter::encodeInstruction(const MCInst &MI, raw_ostream &OS,
125 SmallVectorImpl<MCFixup> &Fixups,
126 const MCSubtargetInfo &STI) const {
Alex Bradbury9f6aec42017-12-07 12:50:32 +0000127 const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
128 // Get byte count of instruction.
129 unsigned Size = Desc.getSize();
130
Mandeep Singh Grangef0ebf22018-05-17 17:31:27 +0000131 if (MI.getOpcode() == RISCV::PseudoCALL ||
132 MI.getOpcode() == RISCV::PseudoTAIL) {
Shiva Chen98f93892018-04-25 14:18:55 +0000133 expandFunctionCall(MI, OS, Fixups, STI);
134 MCNumEmitted += 2;
135 return;
136 }
137
Alex Bradbury9f6aec42017-12-07 12:50:32 +0000138 switch (Size) {
139 default:
140 llvm_unreachable("Unhandled encodeInstruction length!");
141 case 2: {
142 uint16_t Bits = getBinaryCodeForInstr(MI, Fixups, STI);
Peter Collingbournee3f65292018-05-18 19:46:24 +0000143 support::endian::write<uint16_t>(OS, Bits, support::little);
Alex Bradbury9f6aec42017-12-07 12:50:32 +0000144 break;
145 }
146 case 4: {
147 uint32_t Bits = getBinaryCodeForInstr(MI, Fixups, STI);
Peter Collingbournee3f65292018-05-18 19:46:24 +0000148 support::endian::write(OS, Bits, support::little);
Alex Bradbury9f6aec42017-12-07 12:50:32 +0000149 break;
150 }
151 }
152
Alex Bradbury6b2cca72016-11-01 23:47:30 +0000153 ++MCNumEmitted; // Keep track of the # of mi's emitted.
154}
155
156unsigned
157RISCVMCCodeEmitter::getMachineOpValue(const MCInst &MI, const MCOperand &MO,
158 SmallVectorImpl<MCFixup> &Fixups,
159 const MCSubtargetInfo &STI) const {
160
161 if (MO.isReg())
162 return Ctx.getRegisterInfo()->getEncodingValue(MO.getReg());
163
164 if (MO.isImm())
165 return static_cast<unsigned>(MO.getImm());
166
167 llvm_unreachable("Unhandled expression!");
168 return 0;
169}
170
Alex Bradbury6758ecb2017-09-17 14:27:35 +0000171unsigned
172RISCVMCCodeEmitter::getImmOpValueAsr1(const MCInst &MI, unsigned OpNo,
173 SmallVectorImpl<MCFixup> &Fixups,
174 const MCSubtargetInfo &STI) const {
175 const MCOperand &MO = MI.getOperand(OpNo);
176
177 if (MO.isImm()) {
178 unsigned Res = MO.getImm();
179 assert((Res & 1) == 0 && "LSB is non-zero");
180 return Res >> 1;
181 }
182
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000183 return getImmOpValue(MI, OpNo, Fixups, STI);
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000184}
185
186unsigned RISCVMCCodeEmitter::getImmOpValue(const MCInst &MI, unsigned OpNo,
187 SmallVectorImpl<MCFixup> &Fixups,
188 const MCSubtargetInfo &STI) const {
189
190 const MCOperand &MO = MI.getOperand(OpNo);
191
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000192 MCInstrDesc const &Desc = MCII.get(MI.getOpcode());
193 unsigned MIFrm = Desc.TSFlags & RISCVII::InstFormatMask;
194
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000195 // If the destination is an immediate, there is nothing to do
196 if (MO.isImm())
197 return MO.getImm();
198
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000199 assert(MO.isExpr() &&
200 "getImmOpValue expects only expressions or immediates");
201 const MCExpr *Expr = MO.getExpr();
202 MCExpr::ExprKind Kind = Expr->getKind();
203 RISCV::Fixups FixupKind = RISCV::fixup_riscv_invalid;
204 if (Kind == MCExpr::Target) {
205 const RISCVMCExpr *RVExpr = cast<RISCVMCExpr>(Expr);
206
207 switch (RVExpr->getKind()) {
208 case RISCVMCExpr::VK_RISCV_None:
209 case RISCVMCExpr::VK_RISCV_Invalid:
210 llvm_unreachable("Unhandled fixup kind!");
211 case RISCVMCExpr::VK_RISCV_LO:
Alex Bradbury8d8d0a72018-02-22 13:24:25 +0000212 if (MIFrm == RISCVII::InstFormatI)
213 FixupKind = RISCV::fixup_riscv_lo12_i;
214 else if (MIFrm == RISCVII::InstFormatS)
215 FixupKind = RISCV::fixup_riscv_lo12_s;
216 else
217 llvm_unreachable("VK_RISCV_LO used with unexpected instruction format");
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000218 break;
219 case RISCVMCExpr::VK_RISCV_HI:
220 FixupKind = RISCV::fixup_riscv_hi20;
221 break;
Ahmed Charles646ab872018-02-06 00:55:23 +0000222 case RISCVMCExpr::VK_RISCV_PCREL_LO:
Alex Bradbury8d8d0a72018-02-22 13:24:25 +0000223 if (MIFrm == RISCVII::InstFormatI)
224 FixupKind = RISCV::fixup_riscv_pcrel_lo12_i;
225 else if (MIFrm == RISCVII::InstFormatS)
226 FixupKind = RISCV::fixup_riscv_pcrel_lo12_s;
227 else
228 llvm_unreachable(
229 "VK_RISCV_PCREL_LO used with unexpected instruction format");
Ahmed Charles646ab872018-02-06 00:55:23 +0000230 break;
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000231 case RISCVMCExpr::VK_RISCV_PCREL_HI:
232 FixupKind = RISCV::fixup_riscv_pcrel_hi20;
233 break;
Shiva Chen98f93892018-04-25 14:18:55 +0000234 case RISCVMCExpr::VK_RISCV_CALL:
235 FixupKind = RISCV::fixup_riscv_call;
236 break;
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000237 }
238 } else if (Kind == MCExpr::SymbolRef &&
239 cast<MCSymbolRefExpr>(Expr)->getKind() == MCSymbolRefExpr::VK_None) {
240 if (Desc.getOpcode() == RISCV::JAL) {
241 FixupKind = RISCV::fixup_riscv_jal;
Alex Bradburyee7c7ec2017-10-19 14:29:03 +0000242 } else if (MIFrm == RISCVII::InstFormatB) {
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000243 FixupKind = RISCV::fixup_riscv_branch;
Alex Bradburyf8f4b902017-12-07 13:19:57 +0000244 } else if (MIFrm == RISCVII::InstFormatCJ) {
245 FixupKind = RISCV::fixup_riscv_rvc_jump;
246 } else if (MIFrm == RISCVII::InstFormatCB) {
247 FixupKind = RISCV::fixup_riscv_rvc_branch;
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000248 }
249 }
250
251 assert(FixupKind != RISCV::fixup_riscv_invalid && "Unhandled expression!");
252
253 Fixups.push_back(
254 MCFixup::create(0, Expr, MCFixupKind(FixupKind), MI.getLoc()));
255 ++MCNumFixups;
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000256
257 return 0;
Alex Bradbury6758ecb2017-09-17 14:27:35 +0000258}
259
Alex Bradbury6b2cca72016-11-01 23:47:30 +0000260#include "RISCVGenMCCodeEmitter.inc"