blob: f94c37aae8f4c6a0c8c329e78ccf1e0ce7cd2859 [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 {
86 // For now, we only support RISC-V instructions with 32-bit length
87 uint32_t Bits = getBinaryCodeForInstr(MI, Fixups, STI);
88 support::endian::Writer<support::little>(OS).write(Bits);
89 ++MCNumEmitted; // Keep track of the # of mi's emitted.
90}
91
92unsigned
93RISCVMCCodeEmitter::getMachineOpValue(const MCInst &MI, const MCOperand &MO,
94 SmallVectorImpl<MCFixup> &Fixups,
95 const MCSubtargetInfo &STI) const {
96
97 if (MO.isReg())
98 return Ctx.getRegisterInfo()->getEncodingValue(MO.getReg());
99
100 if (MO.isImm())
101 return static_cast<unsigned>(MO.getImm());
102
103 llvm_unreachable("Unhandled expression!");
104 return 0;
105}
106
Alex Bradbury6758ecb2017-09-17 14:27:35 +0000107unsigned
108RISCVMCCodeEmitter::getImmOpValueAsr1(const MCInst &MI, unsigned OpNo,
109 SmallVectorImpl<MCFixup> &Fixups,
110 const MCSubtargetInfo &STI) const {
111 const MCOperand &MO = MI.getOperand(OpNo);
112
113 if (MO.isImm()) {
114 unsigned Res = MO.getImm();
115 assert((Res & 1) == 0 && "LSB is non-zero");
116 return Res >> 1;
117 }
118
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000119 return getImmOpValue(MI, OpNo, Fixups, STI);
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000120}
121
122unsigned RISCVMCCodeEmitter::getImmOpValue(const MCInst &MI, unsigned OpNo,
123 SmallVectorImpl<MCFixup> &Fixups,
124 const MCSubtargetInfo &STI) const {
125
126 const MCOperand &MO = MI.getOperand(OpNo);
127
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000128 MCInstrDesc const &Desc = MCII.get(MI.getOpcode());
129 unsigned MIFrm = Desc.TSFlags & RISCVII::InstFormatMask;
130
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000131 // If the destination is an immediate, there is nothing to do
132 if (MO.isImm())
133 return MO.getImm();
134
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000135 assert(MO.isExpr() &&
136 "getImmOpValue expects only expressions or immediates");
137 const MCExpr *Expr = MO.getExpr();
138 MCExpr::ExprKind Kind = Expr->getKind();
139 RISCV::Fixups FixupKind = RISCV::fixup_riscv_invalid;
140 if (Kind == MCExpr::Target) {
141 const RISCVMCExpr *RVExpr = cast<RISCVMCExpr>(Expr);
142
143 switch (RVExpr->getKind()) {
144 case RISCVMCExpr::VK_RISCV_None:
145 case RISCVMCExpr::VK_RISCV_Invalid:
146 llvm_unreachable("Unhandled fixup kind!");
147 case RISCVMCExpr::VK_RISCV_LO:
148 FixupKind = MIFrm == RISCVII::InstFormatI ? RISCV::fixup_riscv_lo12_i
149 : RISCV::fixup_riscv_lo12_s;
150 break;
151 case RISCVMCExpr::VK_RISCV_HI:
152 FixupKind = RISCV::fixup_riscv_hi20;
153 break;
154 case RISCVMCExpr::VK_RISCV_PCREL_HI:
155 FixupKind = RISCV::fixup_riscv_pcrel_hi20;
156 break;
157 }
158 } else if (Kind == MCExpr::SymbolRef &&
159 cast<MCSymbolRefExpr>(Expr)->getKind() == MCSymbolRefExpr::VK_None) {
160 if (Desc.getOpcode() == RISCV::JAL) {
161 FixupKind = RISCV::fixup_riscv_jal;
Alex Bradburyee7c7ec2017-10-19 14:29:03 +0000162 } else if (MIFrm == RISCVII::InstFormatB) {
Alex Bradbury9d3f1252017-09-28 08:26:24 +0000163 FixupKind = RISCV::fixup_riscv_branch;
164 }
165 }
166
167 assert(FixupKind != RISCV::fixup_riscv_invalid && "Unhandled expression!");
168
169 Fixups.push_back(
170 MCFixup::create(0, Expr, MCFixupKind(FixupKind), MI.getLoc()));
171 ++MCNumFixups;
Alex Bradbury8ab4a962017-09-17 14:36:28 +0000172
173 return 0;
Alex Bradbury6758ecb2017-09-17 14:27:35 +0000174}
175
Alex Bradbury6b2cca72016-11-01 23:47:30 +0000176#include "RISCVGenMCCodeEmitter.inc"