blob: ca323d8941d01a73751cdde87bb283d4b3127830 [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:
164 FixupKind = MIFrm == RISCVII::InstFormatI ? RISCV::fixup_riscv_lo12_i
165 : RISCV::fixup_riscv_lo12_s;
166 break;
167 case RISCVMCExpr::VK_RISCV_HI:
168 FixupKind = RISCV::fixup_riscv_hi20;
169 break;
170 case RISCVMCExpr::VK_RISCV_PCREL_HI:
171 FixupKind = RISCV::fixup_riscv_pcrel_hi20;
172 break;
173 }
174 } else if (Kind == MCExpr::SymbolRef &&
175 cast<MCSymbolRefExpr>(Expr)->getKind() == MCSymbolRefExpr::VK_None) {
176 if (Desc.getOpcode() == RISCV::JAL) {
177 FixupKind = RISCV::fixup_riscv_jal;
Alex Bradburyee7c7ec2017-10-19 14:29:03 +0000178 } else if (MIFrm == RISCVII::InstFormatB) {
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000179 FixupKind = RISCV::fixup_riscv_branch;
180 }
181 }
182
183 assert(FixupKind != RISCV::fixup_riscv_invalid && "Unhandled expression!");
184
185 Fixups.push_back(
186 MCFixup::create(0, Expr, MCFixupKind(FixupKind), MI.getLoc()));
187 ++MCNumFixups;
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000188
189 return 0;
Alex Bradbury6758ecb2017-09-17 14:27:35 +0000190}
191
Alex Bradbury6b2cca72016-11-01 23:47:30 +0000192#include "RISCVGenMCCodeEmitter.inc"