blob: a1ecb3e59370714140804d9649f1248c4d075f6a [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"
Alex Bradbury9d3f1252017-09-28 08:26:24 +000024#include "llvm/MC/MCInstrInfo.h"
Alex Bradbury6b2cca72016-11-01 23:47:30 +000025#include "llvm/MC/MCRegisterInfo.h"
26#include "llvm/MC/MCSymbol.h"
Alex Bradbury9d3f1252017-09-28 08:26:24 +000027#include "llvm/Support/Casting.h"
Alex Bradbury6b2cca72016-11-01 23:47:30 +000028#include "llvm/Support/EndianStream.h"
29#include "llvm/Support/raw_ostream.h"
30
31using namespace llvm;
32
33#define DEBUG_TYPE "mccodeemitter"
34
35STATISTIC(MCNumEmitted, "Number of MC instructions emitted");
Alex Bradbury9d3f1252017-09-28 08:26:24 +000036STATISTIC(MCNumFixups, "Number of MC fixups created");
Alex Bradbury6b2cca72016-11-01 23:47:30 +000037
38namespace {
39class RISCVMCCodeEmitter : public MCCodeEmitter {
40 RISCVMCCodeEmitter(const RISCVMCCodeEmitter &) = delete;
41 void operator=(const RISCVMCCodeEmitter &) = delete;
42 MCContext &Ctx;
Alex Bradbury9d3f1252017-09-28 08:26:24 +000043 MCInstrInfo const &MCII;
Alex Bradbury6b2cca72016-11-01 23:47:30 +000044
45public:
Alex Bradbury9d3f1252017-09-28 08:26:24 +000046 RISCVMCCodeEmitter(MCContext &ctx, MCInstrInfo const &MCII)
47 : Ctx(ctx), MCII(MCII) {}
Alex Bradbury6b2cca72016-11-01 23:47:30 +000048
49 ~RISCVMCCodeEmitter() override {}
50
51 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
52 SmallVectorImpl<MCFixup> &Fixups,
53 const MCSubtargetInfo &STI) const override;
54
55 /// TableGen'erated function for getting the binary encoding for an
56 /// instruction.
57 uint64_t getBinaryCodeForInstr(const MCInst &MI,
58 SmallVectorImpl<MCFixup> &Fixups,
59 const MCSubtargetInfo &STI) const;
60
61 /// Return binary encoding of operand. If the machine operand requires
62 /// relocation, record the relocation and return zero.
63 unsigned getMachineOpValue(const MCInst &MI, const MCOperand &MO,
64 SmallVectorImpl<MCFixup> &Fixups,
65 const MCSubtargetInfo &STI) const;
Alex Bradbury6758ecb2017-09-17 14:27:35 +000066
67 unsigned getImmOpValueAsr1(const MCInst &MI, unsigned OpNo,
68 SmallVectorImpl<MCFixup> &Fixups,
69 const MCSubtargetInfo &STI) const;
Alex Bradbury9d3f1252017-09-28 08:26:24 +000070
Alex Bradbury8ab4a962017-09-17 14:36:28 +000071 unsigned getImmOpValue(const MCInst &MI, unsigned OpNo,
72 SmallVectorImpl<MCFixup> &Fixups,
73 const MCSubtargetInfo &STI) const;
Alex Bradbury6b2cca72016-11-01 23:47:30 +000074};
75} // end anonymous namespace
76
77MCCodeEmitter *llvm::createRISCVMCCodeEmitter(const MCInstrInfo &MCII,
78 const MCRegisterInfo &MRI,
79 MCContext &Ctx) {
Alex Bradbury9d3f1252017-09-28 08:26:24 +000080 return new RISCVMCCodeEmitter(Ctx, MCII);
Alex Bradbury6b2cca72016-11-01 23:47:30 +000081}
82
83void RISCVMCCodeEmitter::encodeInstruction(const MCInst &MI, raw_ostream &OS,
84 SmallVectorImpl<MCFixup> &Fixups,
85 const MCSubtargetInfo &STI) const {
Alex Bradbury9f6aec42017-12-07 12:50:32 +000086 const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
87 // Get byte count of instruction.
88 unsigned Size = Desc.getSize();
89
90 switch (Size) {
91 default:
92 llvm_unreachable("Unhandled encodeInstruction length!");
93 case 2: {
94 uint16_t Bits = getBinaryCodeForInstr(MI, Fixups, STI);
95 support::endian::Writer<support::little>(OS).write<uint16_t>(Bits);
96 break;
97 }
98 case 4: {
99 uint32_t Bits = getBinaryCodeForInstr(MI, Fixups, STI);
100 support::endian::Writer<support::little>(OS).write(Bits);
101 break;
102 }
103 }
104
Alex Bradbury6b2cca72016-11-01 23:47:30 +0000105 ++MCNumEmitted; // Keep track of the # of mi's emitted.
106}
107
108unsigned
109RISCVMCCodeEmitter::getMachineOpValue(const MCInst &MI, const MCOperand &MO,
110 SmallVectorImpl<MCFixup> &Fixups,
111 const MCSubtargetInfo &STI) const {
112
113 if (MO.isReg())
114 return Ctx.getRegisterInfo()->getEncodingValue(MO.getReg());
115
116 if (MO.isImm())
117 return static_cast<unsigned>(MO.getImm());
118
119 llvm_unreachable("Unhandled expression!");
120 return 0;
121}
122
Alex Bradbury6758ecb2017-09-17 14:27:35 +0000123unsigned
124RISCVMCCodeEmitter::getImmOpValueAsr1(const MCInst &MI, unsigned OpNo,
125 SmallVectorImpl<MCFixup> &Fixups,
126 const MCSubtargetInfo &STI) const {
127 const MCOperand &MO = MI.getOperand(OpNo);
128
129 if (MO.isImm()) {
130 unsigned Res = MO.getImm();
131 assert((Res & 1) == 0 && "LSB is non-zero");
132 return Res >> 1;
133 }
134
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000135 return getImmOpValue(MI, OpNo, Fixups, STI);
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000136}
137
138unsigned RISCVMCCodeEmitter::getImmOpValue(const MCInst &MI, unsigned OpNo,
139 SmallVectorImpl<MCFixup> &Fixups,
140 const MCSubtargetInfo &STI) const {
141
142 const MCOperand &MO = MI.getOperand(OpNo);
143
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000144 MCInstrDesc const &Desc = MCII.get(MI.getOpcode());
145 unsigned MIFrm = Desc.TSFlags & RISCVII::InstFormatMask;
146
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000147 // If the destination is an immediate, there is nothing to do
148 if (MO.isImm())
149 return MO.getImm();
150
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000151 assert(MO.isExpr() &&
152 "getImmOpValue expects only expressions or immediates");
153 const MCExpr *Expr = MO.getExpr();
154 MCExpr::ExprKind Kind = Expr->getKind();
155 RISCV::Fixups FixupKind = RISCV::fixup_riscv_invalid;
156 if (Kind == MCExpr::Target) {
157 const RISCVMCExpr *RVExpr = cast<RISCVMCExpr>(Expr);
158
159 switch (RVExpr->getKind()) {
160 case RISCVMCExpr::VK_RISCV_None:
161 case RISCVMCExpr::VK_RISCV_Invalid:
162 llvm_unreachable("Unhandled fixup kind!");
163 case RISCVMCExpr::VK_RISCV_LO:
Alex Bradbury8d8d0a72018-02-22 13:24:25 +0000164 if (MIFrm == RISCVII::InstFormatI)
165 FixupKind = RISCV::fixup_riscv_lo12_i;
166 else if (MIFrm == RISCVII::InstFormatS)
167 FixupKind = RISCV::fixup_riscv_lo12_s;
168 else
169 llvm_unreachable("VK_RISCV_LO used with unexpected instruction format");
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000170 break;
171 case RISCVMCExpr::VK_RISCV_HI:
172 FixupKind = RISCV::fixup_riscv_hi20;
173 break;
Ahmed Charles646ab872018-02-06 00:55:23 +0000174 case RISCVMCExpr::VK_RISCV_PCREL_LO:
Alex Bradbury8d8d0a72018-02-22 13:24:25 +0000175 if (MIFrm == RISCVII::InstFormatI)
176 FixupKind = RISCV::fixup_riscv_pcrel_lo12_i;
177 else if (MIFrm == RISCVII::InstFormatS)
178 FixupKind = RISCV::fixup_riscv_pcrel_lo12_s;
179 else
180 llvm_unreachable(
181 "VK_RISCV_PCREL_LO used with unexpected instruction format");
Ahmed Charles646ab872018-02-06 00:55:23 +0000182 break;
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000183 case RISCVMCExpr::VK_RISCV_PCREL_HI:
184 FixupKind = RISCV::fixup_riscv_pcrel_hi20;
185 break;
186 }
187 } else if (Kind == MCExpr::SymbolRef &&
188 cast<MCSymbolRefExpr>(Expr)->getKind() == MCSymbolRefExpr::VK_None) {
189 if (Desc.getOpcode() == RISCV::JAL) {
190 FixupKind = RISCV::fixup_riscv_jal;
Alex Bradburyee7c7ec2017-10-19 14:29:03 +0000191 } else if (MIFrm == RISCVII::InstFormatB) {
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000192 FixupKind = RISCV::fixup_riscv_branch;
Alex Bradburyf8f4b902017-12-07 13:19:57 +0000193 } else if (MIFrm == RISCVII::InstFormatCJ) {
194 FixupKind = RISCV::fixup_riscv_rvc_jump;
195 } else if (MIFrm == RISCVII::InstFormatCB) {
196 FixupKind = RISCV::fixup_riscv_rvc_branch;
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000197 }
198 }
199
200 assert(FixupKind != RISCV::fixup_riscv_invalid && "Unhandled expression!");
201
202 Fixups.push_back(
203 MCFixup::create(0, Expr, MCFixupKind(FixupKind), MI.getLoc()));
204 ++MCNumFixups;
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000205
206 return 0;
Alex Bradbury6758ecb2017-09-17 14:27:35 +0000207}
208
Alex Bradbury6b2cca72016-11-01 23:47:30 +0000209#include "RISCVGenMCCodeEmitter.inc"