blob: 6fa56e81a7308c5d90831f0f69415d2d444f64d6 [file] [log] [blame]
Jia Liu9f610112012-02-17 08:55:11 +00001//===-- MipsMCCodeEmitter.cpp - Convert Mips Code to Machine Code ---------===//
Akira Hatanaka750ecec2011-09-30 20:40:03 +00002//
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 MipsMCCodeEmitter class.
11//
12//===----------------------------------------------------------------------===//
13//
Matheus Almeida9e1450b2014-03-20 09:29:54 +000014
Matheus Almeida9e1450b2014-03-20 09:29:54 +000015#include "MipsMCCodeEmitter.h"
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +000016#include "MCTargetDesc/MipsFixupKinds.h"
Petar Jovanovica5da5882014-02-04 18:41:57 +000017#include "MCTargetDesc/MipsMCExpr.h"
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +000018#include "MCTargetDesc/MipsMCTargetDesc.h"
19#include "llvm/ADT/APFloat.h"
Matheus Almeida9e1450b2014-03-20 09:29:54 +000020#include "llvm/ADT/SmallVector.h"
Akira Hatanaka5d6faed2012-12-10 20:04:40 +000021#include "llvm/MC/MCContext.h"
Akira Hatanaka750ecec2011-09-30 20:40:03 +000022#include "llvm/MC/MCExpr.h"
23#include "llvm/MC/MCInst.h"
24#include "llvm/MC/MCInstrInfo.h"
Matheus Almeida9e1450b2014-03-20 09:29:54 +000025#include "llvm/MC/MCFixup.h"
Akira Hatanaka750ecec2011-09-30 20:40:03 +000026#include "llvm/MC/MCSubtargetInfo.h"
Akira Hatanaka750ecec2011-09-30 20:40:03 +000027#include "llvm/Support/raw_ostream.h"
Akira Hatanaka750ecec2011-09-30 20:40:03 +000028
Chandler Carruth84e68b22014-04-22 02:41:26 +000029#define DEBUG_TYPE "mccodeemitter"
30
Akira Hatanakabe6a8182013-04-19 19:03:11 +000031#define GET_INSTRMAP_INFO
32#include "MipsGenInstrInfo.inc"
Matheus Almeida9e1450b2014-03-20 09:29:54 +000033#undef GET_INSTRMAP_INFO
Akira Hatanakabe6a8182013-04-19 19:03:11 +000034
Matheus Almeida9e1450b2014-03-20 09:29:54 +000035namespace llvm {
36MCCodeEmitter *createMipsMCCodeEmitterEB(const MCInstrInfo &MCII,
37 const MCRegisterInfo &MRI,
38 const MCSubtargetInfo &STI,
39 MCContext &Ctx) {
David Woodhoused2cca112014-01-28 23:13:25 +000040 return new MipsMCCodeEmitter(MCII, Ctx, false);
Akira Hatanaka1ee768d2012-03-01 01:53:15 +000041}
42
Matheus Almeida9e1450b2014-03-20 09:29:54 +000043MCCodeEmitter *createMipsMCCodeEmitterEL(const MCInstrInfo &MCII,
44 const MCRegisterInfo &MRI,
45 const MCSubtargetInfo &STI,
46 MCContext &Ctx) {
David Woodhoused2cca112014-01-28 23:13:25 +000047 return new MipsMCCodeEmitter(MCII, Ctx, true);
Akira Hatanaka750ecec2011-09-30 20:40:03 +000048}
Matheus Almeida9e1450b2014-03-20 09:29:54 +000049} // End of namespace llvm.
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +000050
51// If the D<shift> instruction has a shift amount that is greater
52// than 31 (checked in calling routine), lower it to a D<shift>32 instruction
53static void LowerLargeShift(MCInst& Inst) {
54
55 assert(Inst.getNumOperands() == 3 && "Invalid no. of operands for shift!");
56 assert(Inst.getOperand(2).isImm());
57
58 int64_t Shift = Inst.getOperand(2).getImm();
59 if (Shift <= 31)
60 return; // Do nothing
61 Shift -= 32;
62
63 // saminus32
64 Inst.getOperand(2).setImm(Shift);
65
66 switch (Inst.getOpcode()) {
67 default:
68 // Calling function is not synchronized
69 llvm_unreachable("Unexpected shift instruction");
70 case Mips::DSLL:
71 Inst.setOpcode(Mips::DSLL32);
72 return;
73 case Mips::DSRL:
74 Inst.setOpcode(Mips::DSRL32);
75 return;
76 case Mips::DSRA:
77 Inst.setOpcode(Mips::DSRA32);
78 return;
Akira Hatanaka6a3fe572013-09-07 00:18:01 +000079 case Mips::DROTR:
80 Inst.setOpcode(Mips::DROTR32);
81 return;
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +000082 }
83}
84
85// Pick a DEXT or DINS instruction variant based on the pos and size operands
86static void LowerDextDins(MCInst& InstIn) {
87 int Opcode = InstIn.getOpcode();
88
89 if (Opcode == Mips::DEXT)
90 assert(InstIn.getNumOperands() == 4 &&
91 "Invalid no. of machine operands for DEXT!");
92 else // Only DEXT and DINS are possible
93 assert(InstIn.getNumOperands() == 5 &&
94 "Invalid no. of machine operands for DINS!");
95
96 assert(InstIn.getOperand(2).isImm());
97 int64_t pos = InstIn.getOperand(2).getImm();
98 assert(InstIn.getOperand(3).isImm());
99 int64_t size = InstIn.getOperand(3).getImm();
100
101 if (size <= 32) {
102 if (pos < 32) // DEXT/DINS, do nothing
103 return;
104 // DEXTU/DINSU
105 InstIn.getOperand(2).setImm(pos - 32);
106 InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTU : Mips::DINSU);
107 return;
108 }
109 // DEXTM/DINSM
110 assert(pos < 32 && "DEXT/DINS cannot have both size and pos > 32");
111 InstIn.getOperand(3).setImm(size - 32);
112 InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTM : Mips::DINSM);
113 return;
114}
115
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000116bool MipsMCCodeEmitter::isMicroMips(const MCSubtargetInfo &STI) const {
117 return STI.getFeatureBits() & Mips::FeatureMicroMips;
118}
119
120void MipsMCCodeEmitter::EmitByte(unsigned char C, raw_ostream &OS) const {
121 OS << (char)C;
122}
123
124void MipsMCCodeEmitter::EmitInstruction(uint64_t Val, unsigned Size,
125 const MCSubtargetInfo &STI,
126 raw_ostream &OS) const {
127 // Output the instruction encoding in little endian byte order.
128 // Little-endian byte ordering:
129 // mips32r2: 4 | 3 | 2 | 1
130 // microMIPS: 2 | 1 | 4 | 3
131 if (IsLittleEndian && Size == 4 && isMicroMips(STI)) {
132 EmitInstruction(Val >> 16, 2, STI, OS);
133 EmitInstruction(Val, 2, STI, OS);
134 } else {
135 for (unsigned i = 0; i < Size; ++i) {
136 unsigned Shift = IsLittleEndian ? i * 8 : (Size - 1 - i) * 8;
137 EmitByte((Val >> Shift) & 0xff, OS);
138 }
139 }
140}
141
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000142/// EncodeInstruction - Emit the instruction.
Jack Carter4e07b95d2013-08-27 19:45:28 +0000143/// Size the instruction with Desc.getSize().
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000144void MipsMCCodeEmitter::
145EncodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +0000146 SmallVectorImpl<MCFixup> &Fixups,
147 const MCSubtargetInfo &STI) const
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000148{
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000149
150 // Non-pseudo instructions that get changed for direct object
151 // only based on operand values.
152 // If this list of instructions get much longer we will move
153 // the check to a function call. Until then, this is more efficient.
154 MCInst TmpInst = MI;
155 switch (MI.getOpcode()) {
156 // If shift amount is >= 32 it the inst needs to be lowered further
157 case Mips::DSLL:
158 case Mips::DSRL:
159 case Mips::DSRA:
Akira Hatanaka6a3fe572013-09-07 00:18:01 +0000160 case Mips::DROTR:
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000161 LowerLargeShift(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000162 break;
163 // Double extract instruction is chosen by pos and size operands
164 case Mips::DEXT:
165 case Mips::DINS:
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000166 LowerDextDins(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000167 }
168
Jack Carter97700972013-08-13 20:19:16 +0000169 unsigned long N = Fixups.size();
David Woodhouse3fa98a62014-01-28 23:13:18 +0000170 uint32_t Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000171
172 // Check for unimplemented opcodes.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000173 // Unfortunately in MIPS both NOP and SLL will come in with Binary == 0
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000174 // so we have to special check for them.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000175 unsigned Opcode = TmpInst.getOpcode();
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000176 if ((Opcode != Mips::NOP) && (Opcode != Mips::SLL) && !Binary)
177 llvm_unreachable("unimplemented opcode in EncodeInstruction()");
178
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000179 if (STI.getFeatureBits() & Mips::FeatureMicroMips) {
180 int NewOpcode = Mips::Std2MicroMips (Opcode, Mips::Arch_micromips);
181 if (NewOpcode != -1) {
Jack Carter97700972013-08-13 20:19:16 +0000182 if (Fixups.size() > N)
183 Fixups.pop_back();
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000184 Opcode = NewOpcode;
185 TmpInst.setOpcode (NewOpcode);
David Woodhouse3fa98a62014-01-28 23:13:18 +0000186 Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000187 }
188 }
189
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000190 const MCInstrDesc &Desc = MCII.get(TmpInst.getOpcode());
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000191
Jack Carter5b5559d2012-10-03 21:58:54 +0000192 // Get byte count of instruction
193 unsigned Size = Desc.getSize();
194 if (!Size)
195 llvm_unreachable("Desc.getSize() returns 0");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000196
David Woodhoused2cca112014-01-28 23:13:25 +0000197 EmitInstruction(Binary, Size, STI, OS);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000198}
199
200/// getBranchTargetOpValue - Return binary encoding of the branch
201/// target operand. If the machine operand requires relocation,
202/// record the relocation and return zero.
203unsigned MipsMCCodeEmitter::
204getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000205 SmallVectorImpl<MCFixup> &Fixups,
206 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000207
208 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter71e6a742012-09-06 00:43:26 +0000209
Jack Carter4f69a0f2013-03-22 00:29:10 +0000210 // If the destination is an immediate, divide by 4.
211 if (MO.isImm()) return MO.getImm() >> 2;
212
Jack Carter71e6a742012-09-06 00:43:26 +0000213 assert(MO.isExpr() &&
214 "getBranchTargetOpValue expects only expressions or immediates");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000215
216 const MCExpr *Expr = MO.getExpr();
217 Fixups.push_back(MCFixup::Create(0, Expr,
218 MCFixupKind(Mips::fixup_Mips_PC16)));
219 return 0;
220}
221
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000222/// getBranchTargetOpValue - Return binary encoding of the microMIPS branch
223/// target operand. If the machine operand requires relocation,
224/// record the relocation and return zero.
225unsigned MipsMCCodeEmitter::
226getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000227 SmallVectorImpl<MCFixup> &Fixups,
228 const MCSubtargetInfo &STI) const {
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000229
230 const MCOperand &MO = MI.getOperand(OpNo);
231
232 // If the destination is an immediate, divide by 2.
233 if (MO.isImm()) return MO.getImm() >> 1;
234
235 assert(MO.isExpr() &&
236 "getBranchTargetOpValueMM expects only expressions or immediates");
237
238 const MCExpr *Expr = MO.getExpr();
239 Fixups.push_back(MCFixup::Create(0, Expr,
240 MCFixupKind(Mips::
241 fixup_MICROMIPS_PC16_S1)));
242 return 0;
243}
244
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000245/// getBranchTarget21OpValue - Return binary encoding of the branch
246/// target operand. If the machine operand requires relocation,
247/// record the relocation and return zero.
248unsigned MipsMCCodeEmitter::
249getBranchTarget21OpValue(const MCInst &MI, unsigned OpNo,
250 SmallVectorImpl<MCFixup> &Fixups,
251 const MCSubtargetInfo &STI) const {
252
253 const MCOperand &MO = MI.getOperand(OpNo);
254
255 // If the destination is an immediate, divide by 4.
256 if (MO.isImm()) return MO.getImm() >> 2;
257
258 assert(MO.isExpr() &&
259 "getBranchTarget21OpValue expects only expressions or immediates");
260
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000261 const MCExpr *Expr = MO.getExpr();
262 Fixups.push_back(MCFixup::Create(0, Expr,
263 MCFixupKind(Mips::fixup_MIPS_PC21_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000264 return 0;
265}
266
267/// getBranchTarget26OpValue - Return binary encoding of the branch
268/// target operand. If the machine operand requires relocation,
269/// record the relocation and return zero.
270unsigned MipsMCCodeEmitter::
271getBranchTarget26OpValue(const MCInst &MI, unsigned OpNo,
272 SmallVectorImpl<MCFixup> &Fixups,
273 const MCSubtargetInfo &STI) const {
274
275 const MCOperand &MO = MI.getOperand(OpNo);
276
277 // If the destination is an immediate, divide by 4.
278 if (MO.isImm()) return MO.getImm() >> 2;
279
280 assert(MO.isExpr() &&
281 "getBranchTarget26OpValue expects only expressions or immediates");
282
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000283 const MCExpr *Expr = MO.getExpr();
284 Fixups.push_back(MCFixup::Create(0, Expr,
285 MCFixupKind(Mips::fixup_MIPS_PC26_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000286 return 0;
287}
288
Zoran Jovanovic52c56b92014-05-16 13:19:46 +0000289/// getJumpOffset16OpValue - Return binary encoding of the jump
290/// target operand. If the machine operand requires relocation,
291/// record the relocation and return zero.
292unsigned MipsMCCodeEmitter::
293getJumpOffset16OpValue(const MCInst &MI, unsigned OpNo,
294 SmallVectorImpl<MCFixup> &Fixups,
295 const MCSubtargetInfo &STI) const {
296
297 const MCOperand &MO = MI.getOperand(OpNo);
298
299 if (MO.isImm()) return MO.getImm();
300
301 assert(MO.isExpr() &&
302 "getJumpOffset16OpValue expects only expressions or an immediate");
303
304 // TODO: Push fixup.
305 return 0;
306}
307
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000308/// getJumpTargetOpValue - Return binary encoding of the jump
309/// target operand. If the machine operand requires relocation,
310/// record the relocation and return zero.
311unsigned MipsMCCodeEmitter::
312getJumpTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000313 SmallVectorImpl<MCFixup> &Fixups,
314 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000315
316 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter4f69a0f2013-03-22 00:29:10 +0000317 // If the destination is an immediate, divide by 4.
318 if (MO.isImm()) return MO.getImm()>>2;
319
Jack Carter71e6a742012-09-06 00:43:26 +0000320 assert(MO.isExpr() &&
321 "getJumpTargetOpValue expects only expressions or an immediate");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000322
323 const MCExpr *Expr = MO.getExpr();
324 Fixups.push_back(MCFixup::Create(0, Expr,
325 MCFixupKind(Mips::fixup_Mips_26)));
326 return 0;
327}
328
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000329unsigned MipsMCCodeEmitter::
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000330getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000331 SmallVectorImpl<MCFixup> &Fixups,
332 const MCSubtargetInfo &STI) const {
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000333
334 const MCOperand &MO = MI.getOperand(OpNo);
335 // If the destination is an immediate, divide by 2.
336 if (MO.isImm()) return MO.getImm() >> 1;
337
338 assert(MO.isExpr() &&
339 "getJumpTargetOpValueMM expects only expressions or an immediate");
340
341 const MCExpr *Expr = MO.getExpr();
342 Fixups.push_back(MCFixup::Create(0, Expr,
343 MCFixupKind(Mips::fixup_MICROMIPS_26_S1)));
344 return 0;
345}
346
347unsigned MipsMCCodeEmitter::
Zoran Jovanovicc74e3eb92014-09-12 14:29:54 +0000348getUImm5Lsl2Encoding(const MCInst &MI, unsigned OpNo,
349 SmallVectorImpl<MCFixup> &Fixups,
350 const MCSubtargetInfo &STI) const {
351
352 const MCOperand &MO = MI.getOperand(OpNo);
353 if (MO.isImm()) {
354 // The immediate is encoded as 'immediate << 2'.
355 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
356 assert((Res & 3) == 0);
357 return Res >> 2;
358 }
359
360 assert(MO.isExpr() &&
361 "getUImm5Lsl2Encoding expects only expressions or an immediate");
362
363 return 0;
364}
365
366unsigned MipsMCCodeEmitter::
Zoran Jovanovicbac36192014-10-23 11:06:34 +0000367getSImm3Lsa2Value(const MCInst &MI, unsigned OpNo,
368 SmallVectorImpl<MCFixup> &Fixups,
369 const MCSubtargetInfo &STI) const {
370
371 const MCOperand &MO = MI.getOperand(OpNo);
372 if (MO.isImm()) {
373 int Value = MO.getImm();
374 return Value >> 2;
375 }
376
377 return 0;
378}
379
380unsigned MipsMCCodeEmitter::
Zoran Jovanovic42b84442014-10-23 11:13:59 +0000381getUImm6Lsl2Encoding(const MCInst &MI, unsigned OpNo,
382 SmallVectorImpl<MCFixup> &Fixups,
383 const MCSubtargetInfo &STI) const {
384
385 const MCOperand &MO = MI.getOperand(OpNo);
386 if (MO.isImm()) {
387 unsigned Value = MO.getImm();
388 return Value >> 2;
389 }
390
391 return 0;
392}
393
394unsigned MipsMCCodeEmitter::
Zoran Jovanovic98bd58c2014-10-10 14:37:30 +0000395getSImm9AddiuspValue(const MCInst &MI, unsigned OpNo,
396 SmallVectorImpl<MCFixup> &Fixups,
397 const MCSubtargetInfo &STI) const {
398
399 const MCOperand &MO = MI.getOperand(OpNo);
400 if (MO.isImm()) {
401 unsigned Binary = (MO.getImm() >> 2) & 0x0000ffff;
402 return (((Binary & 0x8000) >> 7) | (Binary & 0x00ff));
403 }
404
405 return 0;
406}
407
408unsigned MipsMCCodeEmitter::
David Woodhouse3fa98a62014-01-28 23:13:18 +0000409getExprOpValue(const MCExpr *Expr,SmallVectorImpl<MCFixup> &Fixups,
410 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000411 int64_t Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000412
Jack Carterb5cf5902013-04-17 00:18:04 +0000413 if (Expr->EvaluateAsAbsolute(Res))
414 return Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000415
Akira Hatanakafe384a22012-03-27 02:33:05 +0000416 MCExpr::ExprKind Kind = Expr->getKind();
Jack Carterb5cf5902013-04-17 00:18:04 +0000417 if (Kind == MCExpr::Constant) {
418 return cast<MCConstantExpr>(Expr)->getValue();
419 }
Akira Hatanakae2eed962011-12-22 01:05:17 +0000420
Akira Hatanakafe384a22012-03-27 02:33:05 +0000421 if (Kind == MCExpr::Binary) {
David Woodhouse3fa98a62014-01-28 23:13:18 +0000422 unsigned Res = getExprOpValue(cast<MCBinaryExpr>(Expr)->getLHS(), Fixups, STI);
423 Res += getExprOpValue(cast<MCBinaryExpr>(Expr)->getRHS(), Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000424 return Res;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000425 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000426
427 if (Kind == MCExpr::Target) {
428 const MipsMCExpr *MipsExpr = cast<MipsMCExpr>(Expr);
429
430 Mips::Fixups FixupKind = Mips::Fixups(0);
431 switch (MipsExpr->getKind()) {
432 default: llvm_unreachable("Unsupported fixup kind for target expression!");
Sasa Stankovic06c47802014-04-03 10:37:45 +0000433 case MipsMCExpr::VK_Mips_HIGHEST:
434 FixupKind = Mips::fixup_Mips_HIGHEST;
435 break;
436 case MipsMCExpr::VK_Mips_HIGHER:
437 FixupKind = Mips::fixup_Mips_HIGHER;
438 break;
439 case MipsMCExpr::VK_Mips_HI:
Petar Jovanovica5da5882014-02-04 18:41:57 +0000440 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16
441 : Mips::fixup_Mips_HI16;
442 break;
Sasa Stankovic06c47802014-04-03 10:37:45 +0000443 case MipsMCExpr::VK_Mips_LO:
Petar Jovanovica5da5882014-02-04 18:41:57 +0000444 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16
445 : Mips::fixup_Mips_LO16;
446 break;
447 }
448 Fixups.push_back(MCFixup::Create(0, MipsExpr, MCFixupKind(FixupKind)));
449 return 0;
450 }
451
Jack Carterb5cf5902013-04-17 00:18:04 +0000452 if (Kind == MCExpr::SymbolRef) {
Mark Seabornc3bd1772013-12-31 13:05:15 +0000453 Mips::Fixups FixupKind = Mips::Fixups(0);
Akira Hatanakafe384a22012-03-27 02:33:05 +0000454
Mark Seabornc3bd1772013-12-31 13:05:15 +0000455 switch(cast<MCSymbolRefExpr>(Expr)->getKind()) {
456 default: llvm_unreachable("Unknown fixup kind!");
457 break;
458 case MCSymbolRefExpr::VK_Mips_GPOFF_HI :
459 FixupKind = Mips::fixup_Mips_GPOFF_HI;
460 break;
461 case MCSymbolRefExpr::VK_Mips_GPOFF_LO :
462 FixupKind = Mips::fixup_Mips_GPOFF_LO;
463 break;
464 case MCSymbolRefExpr::VK_Mips_GOT_PAGE :
David Woodhoused2cca112014-01-28 23:13:25 +0000465 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_PAGE
Mark Seabornc3bd1772013-12-31 13:05:15 +0000466 : Mips::fixup_Mips_GOT_PAGE;
467 break;
468 case MCSymbolRefExpr::VK_Mips_GOT_OFST :
David Woodhoused2cca112014-01-28 23:13:25 +0000469 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_OFST
Mark Seabornc3bd1772013-12-31 13:05:15 +0000470 : Mips::fixup_Mips_GOT_OFST;
471 break;
472 case MCSymbolRefExpr::VK_Mips_GOT_DISP :
David Woodhoused2cca112014-01-28 23:13:25 +0000473 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_DISP
Mark Seabornc3bd1772013-12-31 13:05:15 +0000474 : Mips::fixup_Mips_GOT_DISP;
475 break;
476 case MCSymbolRefExpr::VK_Mips_GPREL:
477 FixupKind = Mips::fixup_Mips_GPREL16;
478 break;
479 case MCSymbolRefExpr::VK_Mips_GOT_CALL:
David Woodhoused2cca112014-01-28 23:13:25 +0000480 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_CALL16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000481 : Mips::fixup_Mips_CALL16;
482 break;
483 case MCSymbolRefExpr::VK_Mips_GOT16:
David Woodhoused2cca112014-01-28 23:13:25 +0000484 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000485 : Mips::fixup_Mips_GOT_Global;
486 break;
487 case MCSymbolRefExpr::VK_Mips_GOT:
David Woodhoused2cca112014-01-28 23:13:25 +0000488 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000489 : Mips::fixup_Mips_GOT_Local;
490 break;
491 case MCSymbolRefExpr::VK_Mips_ABS_HI:
David Woodhoused2cca112014-01-28 23:13:25 +0000492 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000493 : Mips::fixup_Mips_HI16;
494 break;
495 case MCSymbolRefExpr::VK_Mips_ABS_LO:
David Woodhoused2cca112014-01-28 23:13:25 +0000496 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000497 : Mips::fixup_Mips_LO16;
498 break;
499 case MCSymbolRefExpr::VK_Mips_TLSGD:
David Woodhoused2cca112014-01-28 23:13:25 +0000500 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_GD
Mark Seabornc3bd1772013-12-31 13:05:15 +0000501 : Mips::fixup_Mips_TLSGD;
502 break;
503 case MCSymbolRefExpr::VK_Mips_TLSLDM:
David Woodhoused2cca112014-01-28 23:13:25 +0000504 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_LDM
Mark Seabornc3bd1772013-12-31 13:05:15 +0000505 : Mips::fixup_Mips_TLSLDM;
506 break;
507 case MCSymbolRefExpr::VK_Mips_DTPREL_HI:
David Woodhoused2cca112014-01-28 23:13:25 +0000508 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_HI16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000509 : Mips::fixup_Mips_DTPREL_HI;
510 break;
511 case MCSymbolRefExpr::VK_Mips_DTPREL_LO:
David Woodhoused2cca112014-01-28 23:13:25 +0000512 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_LO16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000513 : Mips::fixup_Mips_DTPREL_LO;
514 break;
515 case MCSymbolRefExpr::VK_Mips_GOTTPREL:
516 FixupKind = Mips::fixup_Mips_GOTTPREL;
517 break;
518 case MCSymbolRefExpr::VK_Mips_TPREL_HI:
David Woodhoused2cca112014-01-28 23:13:25 +0000519 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_HI16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000520 : Mips::fixup_Mips_TPREL_HI;
521 break;
522 case MCSymbolRefExpr::VK_Mips_TPREL_LO:
David Woodhoused2cca112014-01-28 23:13:25 +0000523 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_LO16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000524 : Mips::fixup_Mips_TPREL_LO;
525 break;
526 case MCSymbolRefExpr::VK_Mips_HIGHER:
527 FixupKind = Mips::fixup_Mips_HIGHER;
528 break;
529 case MCSymbolRefExpr::VK_Mips_HIGHEST:
530 FixupKind = Mips::fixup_Mips_HIGHEST;
531 break;
532 case MCSymbolRefExpr::VK_Mips_GOT_HI16:
533 FixupKind = Mips::fixup_Mips_GOT_HI16;
534 break;
535 case MCSymbolRefExpr::VK_Mips_GOT_LO16:
536 FixupKind = Mips::fixup_Mips_GOT_LO16;
537 break;
538 case MCSymbolRefExpr::VK_Mips_CALL_HI16:
539 FixupKind = Mips::fixup_Mips_CALL_HI16;
540 break;
541 case MCSymbolRefExpr::VK_Mips_CALL_LO16:
542 FixupKind = Mips::fixup_Mips_CALL_LO16;
543 break;
Zoran Jovanovicb355e8f2014-05-27 14:58:51 +0000544 case MCSymbolRefExpr::VK_Mips_PCREL_HI16:
545 FixupKind = Mips::fixup_MIPS_PCHI16;
546 break;
547 case MCSymbolRefExpr::VK_Mips_PCREL_LO16:
548 FixupKind = Mips::fixup_MIPS_PCLO16;
549 break;
Mark Seabornc3bd1772013-12-31 13:05:15 +0000550 } // switch
Akira Hatanakafe384a22012-03-27 02:33:05 +0000551
Jack Carterb5cf5902013-04-17 00:18:04 +0000552 Fixups.push_back(MCFixup::Create(0, Expr, MCFixupKind(FixupKind)));
553 return 0;
554 }
Akira Hatanakafe384a22012-03-27 02:33:05 +0000555 return 0;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000556}
557
Jack Carterb5cf5902013-04-17 00:18:04 +0000558/// getMachineOpValue - Return binary encoding of operand. If the machine
559/// operand requires relocation, record the relocation and return zero.
560unsigned MipsMCCodeEmitter::
561getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000562 SmallVectorImpl<MCFixup> &Fixups,
563 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000564 if (MO.isReg()) {
565 unsigned Reg = MO.getReg();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000566 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
Jack Carterb5cf5902013-04-17 00:18:04 +0000567 return RegNo;
568 } else if (MO.isImm()) {
569 return static_cast<unsigned>(MO.getImm());
570 } else if (MO.isFPImm()) {
571 return static_cast<unsigned>(APFloat(MO.getFPImm())
572 .bitcastToAPInt().getHiBits(32).getLimitedValue());
573 }
574 // MO must be an Expr.
575 assert(MO.isExpr());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000576 return getExprOpValue(MO.getExpr(),Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000577}
578
Matheus Almeida6b59c442013-12-05 11:06:22 +0000579/// getMSAMemEncoding - Return binary encoding of memory operand for LD/ST
580/// instructions.
581unsigned
582MipsMCCodeEmitter::getMSAMemEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000583 SmallVectorImpl<MCFixup> &Fixups,
584 const MCSubtargetInfo &STI) const {
Matheus Almeida6b59c442013-12-05 11:06:22 +0000585 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
586 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000587 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16;
588 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Matheus Almeida6b59c442013-12-05 11:06:22 +0000589
590 // The immediate field of an LD/ST instruction is scaled which means it must
591 // be divided (when encoding) by the size (in bytes) of the instructions'
592 // data format.
593 // .b - 1 byte
594 // .h - 2 bytes
595 // .w - 4 bytes
596 // .d - 8 bytes
597 switch(MI.getOpcode())
598 {
599 default:
600 assert (0 && "Unexpected instruction");
601 break;
602 case Mips::LD_B:
603 case Mips::ST_B:
604 // We don't need to scale the offset in this case
605 break;
606 case Mips::LD_H:
607 case Mips::ST_H:
608 OffBits >>= 1;
609 break;
610 case Mips::LD_W:
611 case Mips::ST_W:
612 OffBits >>= 2;
613 break;
614 case Mips::LD_D:
615 case Mips::ST_D:
616 OffBits >>= 3;
617 break;
618 }
619
620 return (OffBits & 0xFFFF) | RegBits;
621}
622
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000623/// getMemEncoding - Return binary encoding of memory related operand.
624/// If the offset operand requires relocation, record the relocation.
625unsigned
626MipsMCCodeEmitter::getMemEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000627 SmallVectorImpl<MCFixup> &Fixups,
628 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000629 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
630 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000631 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16;
632 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000633
634 return (OffBits & 0xFFFF) | RegBits;
635}
636
Jack Carter97700972013-08-13 20:19:16 +0000637unsigned MipsMCCodeEmitter::
638getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000639 SmallVectorImpl<MCFixup> &Fixups,
640 const MCSubtargetInfo &STI) const {
Jack Carter97700972013-08-13 20:19:16 +0000641 // Base register is encoded in bits 20-16, offset is encoded in bits 11-0.
642 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000643 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) << 16;
644 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Jack Carter97700972013-08-13 20:19:16 +0000645
646 return (OffBits & 0x0FFF) | RegBits;
647}
648
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000649unsigned
650MipsMCCodeEmitter::getSizeExtEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000651 SmallVectorImpl<MCFixup> &Fixups,
652 const MCSubtargetInfo &STI) const {
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000653 assert(MI.getOperand(OpNo).isImm());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000654 unsigned SizeEncoding = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
Bruno Cardoso Lopes56b70de2011-12-07 22:35:30 +0000655 return SizeEncoding - 1;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000656}
657
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000658// FIXME: should be called getMSBEncoding
659//
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000660unsigned
661MipsMCCodeEmitter::getSizeInsEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000662 SmallVectorImpl<MCFixup> &Fixups,
663 const MCSubtargetInfo &STI) const {
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000664 assert(MI.getOperand(OpNo-1).isImm());
665 assert(MI.getOperand(OpNo).isImm());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000666 unsigned Position = getMachineOpValue(MI, MI.getOperand(OpNo-1), Fixups, STI);
667 unsigned Size = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000668
Bruno Cardoso Lopes56b70de2011-12-07 22:35:30 +0000669 return Position + Size - 1;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000670}
671
Matheus Almeida779c5932013-11-18 12:32:49 +0000672unsigned
673MipsMCCodeEmitter::getLSAImmEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000674 SmallVectorImpl<MCFixup> &Fixups,
675 const MCSubtargetInfo &STI) const {
Matheus Almeida779c5932013-11-18 12:32:49 +0000676 assert(MI.getOperand(OpNo).isImm());
677 // The immediate is encoded as 'immediate - 1'.
David Woodhouse3fa98a62014-01-28 23:13:18 +0000678 return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) - 1;
Matheus Almeida779c5932013-11-18 12:32:49 +0000679}
680
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000681unsigned
682MipsMCCodeEmitter::getSimm19Lsl2Encoding(const MCInst &MI, unsigned OpNo,
683 SmallVectorImpl<MCFixup> &Fixups,
684 const MCSubtargetInfo &STI) const {
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +0000685 const MCOperand &MO = MI.getOperand(OpNo);
686 if (MO.isImm()) {
687 // The immediate is encoded as 'immediate << 2'.
688 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
689 assert((Res & 3) == 0);
690 return Res >> 2;
691 }
692
693 assert(MO.isExpr() &&
694 "getSimm19Lsl2Encoding expects only expressions or an immediate");
695
696 const MCExpr *Expr = MO.getExpr();
697 Fixups.push_back(MCFixup::Create(0, Expr,
698 MCFixupKind(Mips::fixup_MIPS_PC19_S2)));
699 return 0;
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000700}
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000701
Zoran Jovanovic28551422014-06-09 09:49:51 +0000702unsigned
703MipsMCCodeEmitter::getSimm18Lsl3Encoding(const MCInst &MI, unsigned OpNo,
704 SmallVectorImpl<MCFixup> &Fixups,
705 const MCSubtargetInfo &STI) const {
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +0000706 const MCOperand &MO = MI.getOperand(OpNo);
707 if (MO.isImm()) {
708 // The immediate is encoded as 'immediate << 3'.
709 unsigned Res = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
710 assert((Res & 7) == 0);
711 return Res >> 3;
712 }
713
714 assert(MO.isExpr() &&
715 "getSimm18Lsl2Encoding expects only expressions or an immediate");
716
717 const MCExpr *Expr = MO.getExpr();
718 Fixups.push_back(MCFixup::Create(0, Expr,
719 MCFixupKind(Mips::fixup_MIPS_PC18_S3)));
720 return 0;
Zoran Jovanovic28551422014-06-09 09:49:51 +0000721}
722
Zoran Jovanovic4a00fdc2014-10-23 10:42:01 +0000723unsigned
724MipsMCCodeEmitter::getUImm3Mod8Encoding(const MCInst &MI, unsigned OpNo,
725 SmallVectorImpl<MCFixup> &Fixups,
726 const MCSubtargetInfo &STI) const {
727 assert(MI.getOperand(OpNo).isImm());
728 const MCOperand &MO = MI.getOperand(OpNo);
729 return MO.getImm() % 8;
730}
731
Zoran Jovanovic88531712014-11-05 17:31:00 +0000732unsigned
733MipsMCCodeEmitter::getUImm4AndValue(const MCInst &MI, unsigned OpNo,
734 SmallVectorImpl<MCFixup> &Fixups,
735 const MCSubtargetInfo &STI) const {
736 assert(MI.getOperand(OpNo).isImm());
737 const MCOperand &MO = MI.getOperand(OpNo);
738 unsigned Value = MO.getImm();
739 switch (Value) {
740 case 128: return 0x0;
741 case 1: return 0x1;
742 case 2: return 0x2;
743 case 3: return 0x3;
744 case 4: return 0x4;
745 case 7: return 0x5;
746 case 8: return 0x6;
747 case 15: return 0x7;
748 case 16: return 0x8;
749 case 31: return 0x9;
750 case 32: return 0xa;
751 case 63: return 0xb;
752 case 64: return 0xc;
753 case 255: return 0xd;
754 case 32768: return 0xe;
755 case 65535: return 0xf;
756 }
757 llvm_unreachable("Unexpected value");
758}
759
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000760#include "MipsGenMCCodeEmitter.inc"