blob: 684f66970dbe92229d416a279a39dd66b67d75a6 [file] [log] [blame]
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +00001//===-- SparcMCCodeEmitter.cpp - Convert Sparc 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 SparcMCCodeEmitter class.
11//
12//===----------------------------------------------------------------------===//
13
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000014#include "MCTargetDesc/SparcFixupKinds.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000015#include "SparcMCExpr.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000016#include "SparcMCTargetDesc.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000017#include "llvm/ADT/SmallVector.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000018#include "llvm/ADT/Statistic.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000019#include "llvm/MC/MCAsmInfo.h"
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000020#include "llvm/MC/MCCodeEmitter.h"
21#include "llvm/MC/MCContext.h"
22#include "llvm/MC/MCExpr.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000023#include "llvm/MC/MCFixup.h"
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000024#include "llvm/MC/MCInst.h"
Daniel Sanders72db2a32016-11-19 13:05:44 +000025#include "llvm/MC/MCInstrInfo.h"
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000026#include "llvm/MC/MCRegisterInfo.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000027#include "llvm/MC/MCSubtargetInfo.h"
Venkatraman Govindarajufd075002014-02-07 05:54:20 +000028#include "llvm/MC/MCSymbol.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000029#include "llvm/MC/SubtargetFeature.h"
30#include "llvm/Support/Casting.h"
31#include "llvm/Support/Endian.h"
Reid Kleckner858239d2016-06-22 23:23:08 +000032#include "llvm/Support/EndianStream.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000033#include "llvm/Support/ErrorHandling.h"
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000034#include "llvm/Support/raw_ostream.h"
Eugene Zelenko3f37f072017-02-04 00:36:49 +000035#include <cassert>
36#include <cstdint>
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000037
38using namespace llvm;
39
Chandler Carruth84e68b22014-04-22 02:41:26 +000040#define DEBUG_TYPE "mccodeemitter"
41
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000042STATISTIC(MCNumEmitted, "Number of MC instructions emitted");
43
44namespace {
Eugene Zelenko3f37f072017-02-04 00:36:49 +000045
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000046class SparcMCCodeEmitter : public MCCodeEmitter {
Daniel Sanders72db2a32016-11-19 13:05:44 +000047 const MCInstrInfo &MCII;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000048 MCContext &Ctx;
49
50public:
Daniel Sanders72db2a32016-11-19 13:05:44 +000051 SparcMCCodeEmitter(const MCInstrInfo &mcii, MCContext &ctx)
52 : MCII(mcii), Ctx(ctx) {}
Eugene Zelenko3f37f072017-02-04 00:36:49 +000053 SparcMCCodeEmitter(const SparcMCCodeEmitter &) = delete;
54 SparcMCCodeEmitter &operator=(const SparcMCCodeEmitter &) = delete;
55 ~SparcMCCodeEmitter() override = default;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000056
Jim Grosbach91df21f2015-05-15 19:13:16 +000057 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +000058 SmallVectorImpl<MCFixup> &Fixups,
Craig Topperb0c941b2014-04-29 07:57:13 +000059 const MCSubtargetInfo &STI) const override;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000060
61 // getBinaryCodeForInstr - TableGen'erated function for getting the
62 // binary encoding for an instruction.
63 uint64_t getBinaryCodeForInstr(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +000064 SmallVectorImpl<MCFixup> &Fixups,
65 const MCSubtargetInfo &STI) const;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000066
67 /// getMachineOpValue - Return binary encoding of operand. If the machine
68 /// operand requires relocation, record the relocation and return zero.
69 unsigned getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +000070 SmallVectorImpl<MCFixup> &Fixups,
71 const MCSubtargetInfo &STI) const;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000072
73 unsigned getCallTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +000074 SmallVectorImpl<MCFixup> &Fixups,
75 const MCSubtargetInfo &STI) const;
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +000076 unsigned getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +000077 SmallVectorImpl<MCFixup> &Fixups,
78 const MCSubtargetInfo &STI) const;
Venkatraman Govindarajuc86e0f32014-03-01 22:03:07 +000079 unsigned getBranchPredTargetOpValue(const MCInst &MI, unsigned OpNo,
80 SmallVectorImpl<MCFixup> &Fixups,
81 const MCSubtargetInfo &STI) const;
Venkatraman Govindarajub745e672014-03-02 09:46:56 +000082 unsigned getBranchOnRegTargetOpValue(const MCInst &MI, unsigned OpNo,
83 SmallVectorImpl<MCFixup> &Fixups,
84 const MCSubtargetInfo &STI) const;
85
Daniel Sanders72db2a32016-11-19 13:05:44 +000086private:
87 uint64_t computeAvailableFeatures(const FeatureBitset &FB) const;
88 void verifyInstructionPredicates(const MCInst &MI,
89 uint64_t 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);
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000101
Douglas Katzman9160e782015-04-29 20:30:57 +0000102 if (Ctx.getAsmInfo()->isLittleEndian()) {
103 // Output the bits in little-endian byte order.
Benjamin Kramer50e2a292015-06-04 15:03:02 +0000104 support::endian::Writer<support::little>(OS).write<uint32_t>(Bits);
Douglas Katzman9160e782015-04-29 20:30:57 +0000105 } else {
106 // Output the bits in big-endian byte order.
Benjamin Kramer50e2a292015-06-04 15:03:02 +0000107 support::endian::Writer<support::big>(OS).write<uint32_t>(Bits);
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000108 }
Venkatraman Govindarajufd075002014-02-07 05:54:20 +0000109 unsigned tlsOpNo = 0;
110 switch (MI.getOpcode()) {
111 default: break;
112 case SP::TLS_CALL: tlsOpNo = 1; break;
113 case SP::TLS_ADDrr:
114 case SP::TLS_ADDXrr:
115 case SP::TLS_LDrr:
116 case SP::TLS_LDXrr: tlsOpNo = 3; break;
117 }
118 if (tlsOpNo != 0) {
119 const MCOperand &MO = MI.getOperand(tlsOpNo);
120 uint64_t op = getMachineOpValue(MI, MO, Fixups, STI);
121 assert(op == 0 && "Unexpected operand value!");
122 (void)op; // suppress warning.
123 }
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000124
125 ++MCNumEmitted; // Keep track of the # of mi's emitted.
126}
127
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000128unsigned SparcMCCodeEmitter::
129getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000130 SmallVectorImpl<MCFixup> &Fixups,
131 const MCSubtargetInfo &STI) const {
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000132 if (MO.isReg())
133 return Ctx.getRegisterInfo()->getEncodingValue(MO.getReg());
134
135 if (MO.isImm())
136 return MO.getImm();
137
138 assert(MO.isExpr());
139 const MCExpr *Expr = MO.getExpr();
Venkatraman Govindarajub73aeca2014-01-06 01:22:54 +0000140 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) {
Venkatraman Govindaraju104643d2014-02-07 04:24:35 +0000141 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind();
Jim Grosbach63661f82015-05-15 19:13:05 +0000142 Fixups.push_back(MCFixup::create(0, Expr, Kind));
Venkatraman Govindarajub73aeca2014-01-06 01:22:54 +0000143 return 0;
144 }
145
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000146 int64_t Res;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000147 if (Expr->evaluateAsAbsolute(Res))
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000148 return Res;
149
Craig Topper35b2f752014-06-19 06:10:58 +0000150 llvm_unreachable("Unhandled expression!");
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000151 return 0;
152}
153
154unsigned SparcMCCodeEmitter::
155getCallTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000156 SmallVectorImpl<MCFixup> &Fixups,
157 const MCSubtargetInfo &STI) const {
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000158 const MCOperand &MO = MI.getOperand(OpNo);
159 if (MO.isReg() || MO.isImm())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000160 return getMachineOpValue(MI, MO, Fixups, STI);
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000161
Venkatraman Govindarajufd075002014-02-07 05:54:20 +0000162 if (MI.getOpcode() == SP::TLS_CALL) {
163 // No fixups for __tls_get_addr. Will emit for fixups for tls_symbol in
Jim Grosbach91df21f2015-05-15 19:13:16 +0000164 // encodeInstruction.
Venkatraman Govindarajufd075002014-02-07 05:54:20 +0000165#ifndef NDEBUG
166 // Verify that the callee is actually __tls_get_addr.
167 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr());
168 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef &&
169 "Unexpected expression in TLS_CALL");
170 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr());
171 assert(SymExpr->getSymbol().getName() == "__tls_get_addr" &&
172 "Unexpected function for TLS_CALL");
173#endif
174 return 0;
175 }
176
Venkatraman Govindaraju104643d2014-02-07 04:24:35 +0000177 MCFixupKind fixupKind = (MCFixupKind)Sparc::fixup_sparc_call30;
178
179 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr())) {
180 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_WPLT30)
181 fixupKind = (MCFixupKind)Sparc::fixup_sparc_wplt30;
182 }
183
Jim Grosbach63661f82015-05-15 19:13:05 +0000184 Fixups.push_back(MCFixup::create(0, MO.getExpr(), fixupKind));
Venkatraman Govindaraju104643d2014-02-07 04:24:35 +0000185
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000186 return 0;
187}
188
189unsigned SparcMCCodeEmitter::
190getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000191 SmallVectorImpl<MCFixup> &Fixups,
192 const MCSubtargetInfo &STI) const {
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000193 const MCOperand &MO = MI.getOperand(OpNo);
194 if (MO.isReg() || MO.isImm())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000195 return getMachineOpValue(MI, MO, Fixups, STI);
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000196
Jim Grosbach63661f82015-05-15 19:13:05 +0000197 Fixups.push_back(MCFixup::create(0, MO.getExpr(),
Venkatraman Govindarajuc86e0f32014-03-01 22:03:07 +0000198 (MCFixupKind)Sparc::fixup_sparc_br22));
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000199 return 0;
200}
201
Venkatraman Govindarajuc86e0f32014-03-01 22:03:07 +0000202unsigned SparcMCCodeEmitter::
203getBranchPredTargetOpValue(const MCInst &MI, unsigned OpNo,
204 SmallVectorImpl<MCFixup> &Fixups,
205 const MCSubtargetInfo &STI) const {
206 const MCOperand &MO = MI.getOperand(OpNo);
207 if (MO.isReg() || MO.isImm())
208 return getMachineOpValue(MI, MO, Fixups, STI);
209
Jim Grosbach63661f82015-05-15 19:13:05 +0000210 Fixups.push_back(MCFixup::create(0, MO.getExpr(),
Venkatraman Govindarajuc86e0f32014-03-01 22:03:07 +0000211 (MCFixupKind)Sparc::fixup_sparc_br19));
212 return 0;
213}
Eugene Zelenko3f37f072017-02-04 00:36:49 +0000214
Venkatraman Govindarajub745e672014-03-02 09:46:56 +0000215unsigned SparcMCCodeEmitter::
216getBranchOnRegTargetOpValue(const MCInst &MI, unsigned OpNo,
217 SmallVectorImpl<MCFixup> &Fixups,
218 const MCSubtargetInfo &STI) const {
219 const MCOperand &MO = MI.getOperand(OpNo);
220 if (MO.isReg() || MO.isImm())
221 return getMachineOpValue(MI, MO, Fixups, STI);
222
Jim Grosbach63661f82015-05-15 19:13:05 +0000223 Fixups.push_back(MCFixup::create(0, MO.getExpr(),
Venkatraman Govindarajub745e672014-03-02 09:46:56 +0000224 (MCFixupKind)Sparc::fixup_sparc_br16_2));
Jim Grosbach63661f82015-05-15 19:13:05 +0000225 Fixups.push_back(MCFixup::create(0, MO.getExpr(),
Venkatraman Govindarajub745e672014-03-02 09:46:56 +0000226 (MCFixupKind)Sparc::fixup_sparc_br16_14));
227
228 return 0;
229}
230
Daniel Sanders72db2a32016-11-19 13:05:44 +0000231#define ENABLE_INSTR_PREDICATE_VERIFIER
Venkatraman Govindaraju5f1cce52014-01-05 02:13:48 +0000232#include "SparcGenMCCodeEmitter.inc"
Eugene Zelenko3f37f072017-02-04 00:36:49 +0000233
234MCCodeEmitter *llvm::createSparcMCCodeEmitter(const MCInstrInfo &MCII,
235 const MCRegisterInfo &MRI,
236 MCContext &Ctx) {
237 return new SparcMCCodeEmitter(MCII, Ctx);
238}