blob: 7e908011bd50001afbebe8cef6847d2518e63b2c [file] [log] [blame]
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +00001//===-- SparcMCCodeEmitter.cpp - Convert Sparc code to machine code -------===//
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
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file implements the SparcMCCodeEmitter class.
10//
11//===----------------------------------------------------------------------===//
12
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000013#include "MCTargetDesc/SparcFixupKinds.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000014#include "SparcMCExpr.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000015#include "SparcMCTargetDesc.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000016#include "llvm/ADT/SmallVector.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000017#include "llvm/ADT/Statistic.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000018#include "llvm/MC/MCAsmInfo.h"
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000019#include "llvm/MC/MCCodeEmitter.h"
20#include "llvm/MC/MCContext.h"
21#include "llvm/MC/MCExpr.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000022#include "llvm/MC/MCFixup.h"
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000023#include "llvm/MC/MCInst.h"
Daniel Sanders72db2a32016-11-19 13:05:44 +000024#include "llvm/MC/MCInstrInfo.h"
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000025#include "llvm/MC/MCRegisterInfo.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000026#include "llvm/MC/MCSubtargetInfo.h"
Venkatraman Govindarajufd075002014-02-07 05:54:20 +000027#include "llvm/MC/MCSymbol.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000028#include "llvm/MC/SubtargetFeature.h"
29#include "llvm/Support/Casting.h"
30#include "llvm/Support/Endian.h"
Reid Kleckner858239d2016-06-22 23:23:08 +000031#include "llvm/Support/EndianStream.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000032#include "llvm/Support/ErrorHandling.h"
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000033#include "llvm/Support/raw_ostream.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000034#include <cassert>
35#include <cstdint>
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000036
37using namespace llvm;
38
Chandler Carruth84e68b22014-04-22 02:41:26 +000039#define DEBUG_TYPE "mccodeemitter"
40
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000041STATISTIC(MCNumEmitted, "Number of MC instructions emitted");
42
43namespace {
Eugene Zelenko3f37f072017-02-04 00:36:49 +000044
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000045class SparcMCCodeEmitter : public MCCodeEmitter {
Daniel Sanders72db2a32016-11-19 13:05:44 +000046 const MCInstrInfo &MCII;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000047 MCContext &Ctx;
48
49public:
Daniel Sanders72db2a32016-11-19 13:05:44 +000050 SparcMCCodeEmitter(const MCInstrInfo &mcii, MCContext &ctx)
51 : MCII(mcii), Ctx(ctx) {}
Eugene Zelenko3f37f072017-02-04 00:36:49 +000052 SparcMCCodeEmitter(const SparcMCCodeEmitter &) = delete;
53 SparcMCCodeEmitter &operator=(const SparcMCCodeEmitter &) = delete;
54 ~SparcMCCodeEmitter() override = default;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000055
Jim Grosbach91df21f2015-05-15 19:13:16 +000056 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +000057 SmallVectorImpl<MCFixup> &Fixups,
Craig Topperb0c941b2014-04-29 07:57:13 +000058 const MCSubtargetInfo &STI) const override;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000059
60 // getBinaryCodeForInstr - TableGen'erated function for getting the
61 // binary encoding for an instruction.
62 uint64_t getBinaryCodeForInstr(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +000063 SmallVectorImpl<MCFixup> &Fixups,
64 const MCSubtargetInfo &STI) const;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000065
66 /// getMachineOpValue - Return binary encoding of operand. If the machine
67 /// operand requires relocation, record the relocation and return zero.
68 unsigned getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +000069 SmallVectorImpl<MCFixup> &Fixups,
70 const MCSubtargetInfo &STI) const;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000071
72 unsigned getCallTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +000073 SmallVectorImpl<MCFixup> &Fixups,
74 const MCSubtargetInfo &STI) const;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000075 unsigned getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +000076 SmallVectorImpl<MCFixup> &Fixups,
77 const MCSubtargetInfo &STI) const;
Venkatraman Govindarajuc86e0f32014-03-01 22:03:07 +000078 unsigned getBranchPredTargetOpValue(const MCInst &MI, unsigned OpNo,
79 SmallVectorImpl<MCFixup> &Fixups,
80 const MCSubtargetInfo &STI) const;
Venkatraman Govindarajub745e672014-03-02 09:46:56 +000081 unsigned getBranchOnRegTargetOpValue(const MCInst &MI, unsigned OpNo,
82 SmallVectorImpl<MCFixup> &Fixups,
83 const MCSubtargetInfo &STI) const;
84
Daniel Sanders72db2a32016-11-19 13:05:44 +000085private:
Stanislav Mekhanoshine98944e2019-03-11 17:04:35 +000086 FeatureBitset computeAvailableFeatures(const FeatureBitset &FB) const;
87 void
88 verifyInstructionPredicates(const MCInst &MI,
89 const FeatureBitset &AvailableFeatures) const;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000090};
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000091
Eugene Zelenko3f37f072017-02-04 00:36:49 +000092} // end anonymous namespace
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000093
Jim Grosbach91df21f2015-05-15 19:13:16 +000094void SparcMCCodeEmitter::encodeInstruction(const MCInst &MI, raw_ostream &OS,
Douglas Katzman9160e782015-04-29 20:30:57 +000095 SmallVectorImpl<MCFixup> &Fixups,
96 const MCSubtargetInfo &STI) const {
Daniel Sanders72db2a32016-11-19 13:05:44 +000097 verifyInstructionPredicates(MI,
98 computeAvailableFeatures(STI.getFeatureBits()));
99
David Woodhouse3fa98a62014-01-28 23:13:18 +0000100 unsigned Bits = getBinaryCodeForInstr(MI, Fixups, STI);
Peter Collingbournee3f65292018-05-18 19:46:24 +0000101 support::endian::write(OS, Bits,
102 Ctx.getAsmInfo()->isLittleEndian() ? support::little
103 : support::big);
Venkatraman Govindarajufd075002014-02-07 05:54:20 +0000104 unsigned tlsOpNo = 0;
105 switch (MI.getOpcode()) {
106 default: break;
107 case SP::TLS_CALL: tlsOpNo = 1; break;
108 case SP::TLS_ADDrr:
109 case SP::TLS_ADDXrr:
110 case SP::TLS_LDrr:
111 case SP::TLS_LDXrr: tlsOpNo = 3; break;
112 }
113 if (tlsOpNo != 0) {
114 const MCOperand &MO = MI.getOperand(tlsOpNo);
115 uint64_t op = getMachineOpValue(MI, MO, Fixups, STI);
116 assert(op == 0 && "Unexpected operand value!");
117 (void)op; // suppress warning.
118 }
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000119
120 ++MCNumEmitted; // Keep track of the # of mi's emitted.
121}
122
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000123unsigned SparcMCCodeEmitter::
124getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000125 SmallVectorImpl<MCFixup> &Fixups,
126 const MCSubtargetInfo &STI) const {
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000127 if (MO.isReg())
128 return Ctx.getRegisterInfo()->getEncodingValue(MO.getReg());
129
130 if (MO.isImm())
131 return MO.getImm();
132
133 assert(MO.isExpr());
134 const MCExpr *Expr = MO.getExpr();
Venkatraman Govindarajub73aeca2014-01-06 01:22:54 +0000135 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) {
Venkatraman Govindaraju104643d2014-02-07 04:24:35 +0000136 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind();
Jim Grosbach63661f82015-05-15 19:13:05 +0000137 Fixups.push_back(MCFixup::create(0, Expr, Kind));
Venkatraman Govindarajub73aeca2014-01-06 01:22:54 +0000138 return 0;
139 }
140
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000141 int64_t Res;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000142 if (Expr->evaluateAsAbsolute(Res))
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000143 return Res;
144
Craig Topper35b2f752014-06-19 06:10:58 +0000145 llvm_unreachable("Unhandled expression!");
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000146 return 0;
147}
148
149unsigned SparcMCCodeEmitter::
150getCallTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000151 SmallVectorImpl<MCFixup> &Fixups,
152 const MCSubtargetInfo &STI) const {
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000153 const MCOperand &MO = MI.getOperand(OpNo);
154 if (MO.isReg() || MO.isImm())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000155 return getMachineOpValue(MI, MO, Fixups, STI);
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000156
Venkatraman Govindarajufd075002014-02-07 05:54:20 +0000157 if (MI.getOpcode() == SP::TLS_CALL) {
158 // No fixups for __tls_get_addr. Will emit for fixups for tls_symbol in
Jim Grosbach91df21f2015-05-15 19:13:16 +0000159 // encodeInstruction.
Venkatraman Govindarajufd075002014-02-07 05:54:20 +0000160#ifndef NDEBUG
161 // Verify that the callee is actually __tls_get_addr.
162 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr());
163 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef &&
164 "Unexpected expression in TLS_CALL");
165 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr());
166 assert(SymExpr->getSymbol().getName() == "__tls_get_addr" &&
167 "Unexpected function for TLS_CALL");
168#endif
169 return 0;
170 }
171
Venkatraman Govindaraju104643d2014-02-07 04:24:35 +0000172 MCFixupKind fixupKind = (MCFixupKind)Sparc::fixup_sparc_call30;
173
174 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr())) {
175 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_WPLT30)
176 fixupKind = (MCFixupKind)Sparc::fixup_sparc_wplt30;
177 }
178
Jim Grosbach63661f82015-05-15 19:13:05 +0000179 Fixups.push_back(MCFixup::create(0, MO.getExpr(), fixupKind));
Venkatraman Govindaraju104643d2014-02-07 04:24:35 +0000180
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000181 return 0;
182}
183
184unsigned SparcMCCodeEmitter::
185getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000186 SmallVectorImpl<MCFixup> &Fixups,
187 const MCSubtargetInfo &STI) const {
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000188 const MCOperand &MO = MI.getOperand(OpNo);
189 if (MO.isReg() || MO.isImm())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000190 return getMachineOpValue(MI, MO, Fixups, STI);
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000191
Jim Grosbach63661f82015-05-15 19:13:05 +0000192 Fixups.push_back(MCFixup::create(0, MO.getExpr(),
Venkatraman Govindarajuc86e0f32014-03-01 22:03:07 +0000193 (MCFixupKind)Sparc::fixup_sparc_br22));
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000194 return 0;
195}
196
Venkatraman Govindarajuc86e0f32014-03-01 22:03:07 +0000197unsigned SparcMCCodeEmitter::
198getBranchPredTargetOpValue(const MCInst &MI, unsigned OpNo,
199 SmallVectorImpl<MCFixup> &Fixups,
200 const MCSubtargetInfo &STI) const {
201 const MCOperand &MO = MI.getOperand(OpNo);
202 if (MO.isReg() || MO.isImm())
203 return getMachineOpValue(MI, MO, Fixups, STI);
204
Jim Grosbach63661f82015-05-15 19:13:05 +0000205 Fixups.push_back(MCFixup::create(0, MO.getExpr(),
Venkatraman Govindarajuc86e0f32014-03-01 22:03:07 +0000206 (MCFixupKind)Sparc::fixup_sparc_br19));
207 return 0;
208}
Eugene Zelenko3f37f072017-02-04 00:36:49 +0000209
Venkatraman Govindarajub745e672014-03-02 09:46:56 +0000210unsigned SparcMCCodeEmitter::
211getBranchOnRegTargetOpValue(const MCInst &MI, unsigned OpNo,
212 SmallVectorImpl<MCFixup> &Fixups,
213 const MCSubtargetInfo &STI) const {
214 const MCOperand &MO = MI.getOperand(OpNo);
215 if (MO.isReg() || MO.isImm())
216 return getMachineOpValue(MI, MO, Fixups, STI);
217
Jim Grosbach63661f82015-05-15 19:13:05 +0000218 Fixups.push_back(MCFixup::create(0, MO.getExpr(),
Venkatraman Govindarajub745e672014-03-02 09:46:56 +0000219 (MCFixupKind)Sparc::fixup_sparc_br16_2));
Jim Grosbach63661f82015-05-15 19:13:05 +0000220 Fixups.push_back(MCFixup::create(0, MO.getExpr(),
Venkatraman Govindarajub745e672014-03-02 09:46:56 +0000221 (MCFixupKind)Sparc::fixup_sparc_br16_14));
222
223 return 0;
224}
225
Daniel Sanders72db2a32016-11-19 13:05:44 +0000226#define ENABLE_INSTR_PREDICATE_VERIFIER
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000227#include "SparcGenMCCodeEmitter.inc"
Eugene Zelenko3f37f072017-02-04 00:36:49 +0000228
229MCCodeEmitter *llvm::createSparcMCCodeEmitter(const MCInstrInfo &MCII,
230 const MCRegisterInfo &MRI,
231 MCContext &Ctx) {
232 return new SparcMCCodeEmitter(MCII, Ctx);
233}