blob: 1d06860bdf92907d2737c1e8e7c44250d066cd2c [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"
Chandler Carruthd9903882015-01-14 11:23:27 +000023#include "llvm/MC/MCFixup.h"
Akira Hatanaka750ecec2011-09-30 20:40:03 +000024#include "llvm/MC/MCInst.h"
25#include "llvm/MC/MCInstrInfo.h"
Pete Cooper3de83e42015-05-15 21:58:42 +000026#include "llvm/MC/MCRegisterInfo.h"
Akira Hatanaka750ecec2011-09-30 20:40:03 +000027#include "llvm/MC/MCSubtargetInfo.h"
Akira Hatanaka750ecec2011-09-30 20:40:03 +000028#include "llvm/Support/raw_ostream.h"
Akira Hatanaka750ecec2011-09-30 20:40:03 +000029
Chandler Carruth84e68b22014-04-22 02:41:26 +000030#define DEBUG_TYPE "mccodeemitter"
31
Akira Hatanakabe6a8182013-04-19 19:03:11 +000032#define GET_INSTRMAP_INFO
33#include "MipsGenInstrInfo.inc"
Matheus Almeida9e1450b2014-03-20 09:29:54 +000034#undef GET_INSTRMAP_INFO
Akira Hatanakabe6a8182013-04-19 19:03:11 +000035
Matheus Almeida9e1450b2014-03-20 09:29:54 +000036namespace llvm {
37MCCodeEmitter *createMipsMCCodeEmitterEB(const MCInstrInfo &MCII,
38 const MCRegisterInfo &MRI,
Matheus Almeida9e1450b2014-03-20 09:29:54 +000039 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,
Matheus Almeida9e1450b2014-03-20 09:29:54 +000045 MCContext &Ctx) {
David Woodhoused2cca112014-01-28 23:13:25 +000046 return new MipsMCCodeEmitter(MCII, Ctx, true);
Akira Hatanaka750ecec2011-09-30 20:40:03 +000047}
Matheus Almeida9e1450b2014-03-20 09:29:54 +000048} // End of namespace llvm.
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +000049
50// If the D<shift> instruction has a shift amount that is greater
51// than 31 (checked in calling routine), lower it to a D<shift>32 instruction
52static void LowerLargeShift(MCInst& Inst) {
53
54 assert(Inst.getNumOperands() == 3 && "Invalid no. of operands for shift!");
55 assert(Inst.getOperand(2).isImm());
56
57 int64_t Shift = Inst.getOperand(2).getImm();
58 if (Shift <= 31)
59 return; // Do nothing
60 Shift -= 32;
61
62 // saminus32
63 Inst.getOperand(2).setImm(Shift);
64
65 switch (Inst.getOpcode()) {
66 default:
67 // Calling function is not synchronized
68 llvm_unreachable("Unexpected shift instruction");
69 case Mips::DSLL:
70 Inst.setOpcode(Mips::DSLL32);
71 return;
72 case Mips::DSRL:
73 Inst.setOpcode(Mips::DSRL32);
74 return;
75 case Mips::DSRA:
76 Inst.setOpcode(Mips::DSRA32);
77 return;
Akira Hatanaka6a3fe572013-09-07 00:18:01 +000078 case Mips::DROTR:
79 Inst.setOpcode(Mips::DROTR32);
80 return;
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +000081 }
82}
83
84// Pick a DEXT or DINS instruction variant based on the pos and size operands
85static void LowerDextDins(MCInst& InstIn) {
86 int Opcode = InstIn.getOpcode();
87
88 if (Opcode == Mips::DEXT)
89 assert(InstIn.getNumOperands() == 4 &&
90 "Invalid no. of machine operands for DEXT!");
91 else // Only DEXT and DINS are possible
92 assert(InstIn.getNumOperands() == 5 &&
93 "Invalid no. of machine operands for DINS!");
94
95 assert(InstIn.getOperand(2).isImm());
96 int64_t pos = InstIn.getOperand(2).getImm();
97 assert(InstIn.getOperand(3).isImm());
98 int64_t size = InstIn.getOperand(3).getImm();
99
100 if (size <= 32) {
101 if (pos < 32) // DEXT/DINS, do nothing
102 return;
103 // DEXTU/DINSU
104 InstIn.getOperand(2).setImm(pos - 32);
105 InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTU : Mips::DINSU);
106 return;
107 }
108 // DEXTM/DINSM
109 assert(pos < 32 && "DEXT/DINS cannot have both size and pos > 32");
110 InstIn.getOperand(3).setImm(size - 32);
111 InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTM : Mips::DINSM);
112 return;
113}
114
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000115bool MipsMCCodeEmitter::isMicroMips(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000116 return STI.getFeatureBits()[Mips::FeatureMicroMips];
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000117}
118
Jozef Kolekc22555d2015-04-20 12:23:06 +0000119bool MipsMCCodeEmitter::isMips32r6(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000120 return STI.getFeatureBits()[Mips::FeatureMips32r6];
Jozef Kolekc22555d2015-04-20 12:23:06 +0000121}
122
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000123void MipsMCCodeEmitter::EmitByte(unsigned char C, raw_ostream &OS) const {
124 OS << (char)C;
125}
126
127void MipsMCCodeEmitter::EmitInstruction(uint64_t Val, unsigned Size,
128 const MCSubtargetInfo &STI,
129 raw_ostream &OS) const {
130 // Output the instruction encoding in little endian byte order.
131 // Little-endian byte ordering:
132 // mips32r2: 4 | 3 | 2 | 1
133 // microMIPS: 2 | 1 | 4 | 3
134 if (IsLittleEndian && Size == 4 && isMicroMips(STI)) {
135 EmitInstruction(Val >> 16, 2, STI, OS);
136 EmitInstruction(Val, 2, STI, OS);
137 } else {
138 for (unsigned i = 0; i < Size; ++i) {
139 unsigned Shift = IsLittleEndian ? i * 8 : (Size - 1 - i) * 8;
140 EmitByte((Val >> Shift) & 0xff, OS);
141 }
142 }
143}
144
Jim Grosbach91df21f2015-05-15 19:13:16 +0000145/// encodeInstruction - Emit the instruction.
Jack Carter4e07b95d2013-08-27 19:45:28 +0000146/// Size the instruction with Desc.getSize().
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000147void MipsMCCodeEmitter::
Jim Grosbach91df21f2015-05-15 19:13:16 +0000148encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +0000149 SmallVectorImpl<MCFixup> &Fixups,
150 const MCSubtargetInfo &STI) const
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000151{
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000152
153 // Non-pseudo instructions that get changed for direct object
154 // only based on operand values.
155 // If this list of instructions get much longer we will move
156 // the check to a function call. Until then, this is more efficient.
157 MCInst TmpInst = MI;
158 switch (MI.getOpcode()) {
159 // If shift amount is >= 32 it the inst needs to be lowered further
160 case Mips::DSLL:
161 case Mips::DSRL:
162 case Mips::DSRA:
Akira Hatanaka6a3fe572013-09-07 00:18:01 +0000163 case Mips::DROTR:
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000164 LowerLargeShift(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000165 break;
166 // Double extract instruction is chosen by pos and size operands
167 case Mips::DEXT:
168 case Mips::DINS:
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000169 LowerDextDins(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000170 }
171
Jack Carter97700972013-08-13 20:19:16 +0000172 unsigned long N = Fixups.size();
David Woodhouse3fa98a62014-01-28 23:13:18 +0000173 uint32_t Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000174
175 // Check for unimplemented opcodes.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000176 // Unfortunately in MIPS both NOP and SLL will come in with Binary == 0
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000177 // so we have to special check for them.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000178 unsigned Opcode = TmpInst.getOpcode();
Jozef Kolekc7e220f2014-11-29 13:29:24 +0000179 if ((Opcode != Mips::NOP) && (Opcode != Mips::SLL) &&
180 (Opcode != Mips::SLL_MM) && !Binary)
Jim Grosbach91df21f2015-05-15 19:13:16 +0000181 llvm_unreachable("unimplemented opcode in encodeInstruction()");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000182
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000183 int NewOpcode = -1;
Jozef Kolek6ca13ea2015-04-20 12:42:08 +0000184 if (isMicroMips(STI)) {
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000185 if (isMips32r6(STI)) {
186 NewOpcode = Mips::MipsR62MicroMipsR6(Opcode, Mips::Arch_micromipsr6);
187 if (NewOpcode == -1)
188 NewOpcode = Mips::Std2MicroMipsR6(Opcode, Mips::Arch_micromipsr6);
189 }
190 else
191 NewOpcode = Mips::Std2MicroMips(Opcode, Mips::Arch_micromips);
192
Zoran Jovanovic2e386d32015-10-12 16:07:25 +0000193 // Check whether it is Dsp instruction.
194 if (NewOpcode == -1)
195 NewOpcode = Mips::Dsp2MicroMips(Opcode, Mips::Arch_mmdsp);
196
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000197 if (NewOpcode != -1) {
Jack Carter97700972013-08-13 20:19:16 +0000198 if (Fixups.size() > N)
199 Fixups.pop_back();
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000200
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000201 Opcode = NewOpcode;
202 TmpInst.setOpcode (NewOpcode);
David Woodhouse3fa98a62014-01-28 23:13:18 +0000203 Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000204 }
205 }
206
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000207 const MCInstrDesc &Desc = MCII.get(TmpInst.getOpcode());
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000208
Jack Carter5b5559d2012-10-03 21:58:54 +0000209 // Get byte count of instruction
210 unsigned Size = Desc.getSize();
211 if (!Size)
212 llvm_unreachable("Desc.getSize() returns 0");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000213
David Woodhoused2cca112014-01-28 23:13:25 +0000214 EmitInstruction(Binary, Size, STI, OS);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000215}
216
217/// getBranchTargetOpValue - Return binary encoding of the branch
218/// target operand. If the machine operand requires relocation,
219/// record the relocation and return zero.
220unsigned MipsMCCodeEmitter::
221getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000222 SmallVectorImpl<MCFixup> &Fixups,
223 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000224
225 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter71e6a742012-09-06 00:43:26 +0000226
Jack Carter4f69a0f2013-03-22 00:29:10 +0000227 // If the destination is an immediate, divide by 4.
228 if (MO.isImm()) return MO.getImm() >> 2;
229
Jack Carter71e6a742012-09-06 00:43:26 +0000230 assert(MO.isExpr() &&
231 "getBranchTargetOpValue expects only expressions or immediates");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000232
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000233 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
234 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
235 Fixups.push_back(MCFixup::create(0, FixupExpression,
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000236 MCFixupKind(Mips::fixup_Mips_PC16)));
237 return 0;
238}
239
Jozef Kolek9761e962015-01-12 12:03:34 +0000240/// getBranchTarget7OpValueMM - Return binary encoding of the microMIPS branch
241/// target operand. If the machine operand requires relocation,
242/// record the relocation and return zero.
243unsigned MipsMCCodeEmitter::
244getBranchTarget7OpValueMM(const MCInst &MI, unsigned OpNo,
245 SmallVectorImpl<MCFixup> &Fixups,
246 const MCSubtargetInfo &STI) const {
247
248 const MCOperand &MO = MI.getOperand(OpNo);
249
250 // If the destination is an immediate, divide by 2.
251 if (MO.isImm()) return MO.getImm() >> 1;
252
253 assert(MO.isExpr() &&
254 "getBranchTargetOpValueMM expects only expressions or immediates");
255
256 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000257 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek9761e962015-01-12 12:03:34 +0000258 MCFixupKind(Mips::fixup_MICROMIPS_PC7_S1)));
259 return 0;
260}
261
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000262/// getBranchTargetOpValueMMPC10 - Return binary encoding of the microMIPS
263/// 10-bit branch target operand. If the machine operand requires relocation,
264/// record the relocation and return zero.
265unsigned MipsMCCodeEmitter::
266getBranchTargetOpValueMMPC10(const MCInst &MI, unsigned OpNo,
267 SmallVectorImpl<MCFixup> &Fixups,
268 const MCSubtargetInfo &STI) const {
269
270 const MCOperand &MO = MI.getOperand(OpNo);
271
272 // If the destination is an immediate, divide by 2.
273 if (MO.isImm()) return MO.getImm() >> 1;
274
275 assert(MO.isExpr() &&
276 "getBranchTargetOpValuePC10 expects only expressions or immediates");
277
278 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000279 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000280 MCFixupKind(Mips::fixup_MICROMIPS_PC10_S1)));
281 return 0;
282}
283
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000284/// getBranchTargetOpValue - Return binary encoding of the microMIPS branch
285/// target operand. If the machine operand requires relocation,
286/// record the relocation and return zero.
287unsigned MipsMCCodeEmitter::
288getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000289 SmallVectorImpl<MCFixup> &Fixups,
290 const MCSubtargetInfo &STI) const {
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000291
292 const MCOperand &MO = MI.getOperand(OpNo);
293
294 // If the destination is an immediate, divide by 2.
295 if (MO.isImm()) return MO.getImm() >> 1;
296
297 assert(MO.isExpr() &&
298 "getBranchTargetOpValueMM expects only expressions or immediates");
299
300 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000301 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000302 MCFixupKind(Mips::
303 fixup_MICROMIPS_PC16_S1)));
304 return 0;
305}
306
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000307/// getBranchTarget21OpValue - Return binary encoding of the branch
308/// target operand. If the machine operand requires relocation,
309/// record the relocation and return zero.
310unsigned MipsMCCodeEmitter::
311getBranchTarget21OpValue(const MCInst &MI, unsigned OpNo,
312 SmallVectorImpl<MCFixup> &Fixups,
313 const MCSubtargetInfo &STI) const {
314
315 const MCOperand &MO = MI.getOperand(OpNo);
316
317 // If the destination is an immediate, divide by 4.
318 if (MO.isImm()) return MO.getImm() >> 2;
319
320 assert(MO.isExpr() &&
321 "getBranchTarget21OpValue expects only expressions or immediates");
322
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000323 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
324 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
325 Fixups.push_back(MCFixup::create(0, FixupExpression,
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000326 MCFixupKind(Mips::fixup_MIPS_PC21_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000327 return 0;
328}
329
330/// getBranchTarget26OpValue - Return binary encoding of the branch
331/// target operand. If the machine operand requires relocation,
332/// record the relocation and return zero.
333unsigned MipsMCCodeEmitter::
334getBranchTarget26OpValue(const MCInst &MI, unsigned OpNo,
335 SmallVectorImpl<MCFixup> &Fixups,
336 const MCSubtargetInfo &STI) const {
337
338 const MCOperand &MO = MI.getOperand(OpNo);
339
340 // If the destination is an immediate, divide by 4.
341 if (MO.isImm()) return MO.getImm() >> 2;
342
343 assert(MO.isExpr() &&
344 "getBranchTarget26OpValue expects only expressions or immediates");
345
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000346 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
347 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
348 Fixups.push_back(MCFixup::create(0, FixupExpression,
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000349 MCFixupKind(Mips::fixup_MIPS_PC26_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000350 return 0;
351}
352
Zoran Jovanovic52c56b92014-05-16 13:19:46 +0000353/// getJumpOffset16OpValue - Return binary encoding of the jump
354/// target operand. If the machine operand requires relocation,
355/// record the relocation and return zero.
356unsigned MipsMCCodeEmitter::
357getJumpOffset16OpValue(const MCInst &MI, unsigned OpNo,
358 SmallVectorImpl<MCFixup> &Fixups,
359 const MCSubtargetInfo &STI) const {
360
361 const MCOperand &MO = MI.getOperand(OpNo);
362
363 if (MO.isImm()) return MO.getImm();
364
365 assert(MO.isExpr() &&
366 "getJumpOffset16OpValue expects only expressions or an immediate");
367
368 // TODO: Push fixup.
369 return 0;
370}
371
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000372/// getJumpTargetOpValue - Return binary encoding of the jump
373/// target operand. If the machine operand requires relocation,
374/// record the relocation and return zero.
375unsigned MipsMCCodeEmitter::
376getJumpTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000377 SmallVectorImpl<MCFixup> &Fixups,
378 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000379
380 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter4f69a0f2013-03-22 00:29:10 +0000381 // If the destination is an immediate, divide by 4.
382 if (MO.isImm()) return MO.getImm()>>2;
383
Jack Carter71e6a742012-09-06 00:43:26 +0000384 assert(MO.isExpr() &&
385 "getJumpTargetOpValue expects only expressions or an immediate");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000386
387 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000388 Fixups.push_back(MCFixup::create(0, Expr,
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000389 MCFixupKind(Mips::fixup_Mips_26)));
390 return 0;
391}
392
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000393unsigned MipsMCCodeEmitter::
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000394getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000395 SmallVectorImpl<MCFixup> &Fixups,
396 const MCSubtargetInfo &STI) const {
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000397
398 const MCOperand &MO = MI.getOperand(OpNo);
399 // If the destination is an immediate, divide by 2.
400 if (MO.isImm()) return MO.getImm() >> 1;
401
402 assert(MO.isExpr() &&
403 "getJumpTargetOpValueMM expects only expressions or an immediate");
404
405 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000406 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000407 MCFixupKind(Mips::fixup_MICROMIPS_26_S1)));
408 return 0;
409}
410
411unsigned MipsMCCodeEmitter::
Zoran Jovanovicc74e3eb92014-09-12 14:29:54 +0000412getUImm5Lsl2Encoding(const MCInst &MI, unsigned OpNo,
413 SmallVectorImpl<MCFixup> &Fixups,
414 const MCSubtargetInfo &STI) const {
415
416 const MCOperand &MO = MI.getOperand(OpNo);
417 if (MO.isImm()) {
418 // The immediate is encoded as 'immediate << 2'.
419 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
420 assert((Res & 3) == 0);
421 return Res >> 2;
422 }
423
424 assert(MO.isExpr() &&
425 "getUImm5Lsl2Encoding expects only expressions or an immediate");
426
427 return 0;
428}
429
430unsigned MipsMCCodeEmitter::
Zoran Jovanovicbac36192014-10-23 11:06:34 +0000431getSImm3Lsa2Value(const MCInst &MI, unsigned OpNo,
432 SmallVectorImpl<MCFixup> &Fixups,
433 const MCSubtargetInfo &STI) const {
434
435 const MCOperand &MO = MI.getOperand(OpNo);
436 if (MO.isImm()) {
437 int Value = MO.getImm();
438 return Value >> 2;
439 }
440
441 return 0;
442}
443
444unsigned MipsMCCodeEmitter::
Zoran Jovanovic42b84442014-10-23 11:13:59 +0000445getUImm6Lsl2Encoding(const MCInst &MI, unsigned OpNo,
446 SmallVectorImpl<MCFixup> &Fixups,
447 const MCSubtargetInfo &STI) const {
448
449 const MCOperand &MO = MI.getOperand(OpNo);
450 if (MO.isImm()) {
451 unsigned Value = MO.getImm();
452 return Value >> 2;
453 }
454
455 return 0;
456}
457
458unsigned MipsMCCodeEmitter::
Zoran Jovanovic98bd58c2014-10-10 14:37:30 +0000459getSImm9AddiuspValue(const MCInst &MI, unsigned OpNo,
460 SmallVectorImpl<MCFixup> &Fixups,
461 const MCSubtargetInfo &STI) const {
462
463 const MCOperand &MO = MI.getOperand(OpNo);
464 if (MO.isImm()) {
465 unsigned Binary = (MO.getImm() >> 2) & 0x0000ffff;
466 return (((Binary & 0x8000) >> 7) | (Binary & 0x00ff));
467 }
468
469 return 0;
470}
471
472unsigned MipsMCCodeEmitter::
Daniel Sanders60f1db02015-03-13 12:45:09 +0000473getExprOpValue(const MCExpr *Expr, SmallVectorImpl<MCFixup> &Fixups,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000474 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000475 int64_t Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000476
Jim Grosbach13760bd2015-05-30 01:25:56 +0000477 if (Expr->evaluateAsAbsolute(Res))
Jack Carterb5cf5902013-04-17 00:18:04 +0000478 return Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000479
Akira Hatanakafe384a22012-03-27 02:33:05 +0000480 MCExpr::ExprKind Kind = Expr->getKind();
Jack Carterb5cf5902013-04-17 00:18:04 +0000481 if (Kind == MCExpr::Constant) {
482 return cast<MCConstantExpr>(Expr)->getValue();
483 }
Akira Hatanakae2eed962011-12-22 01:05:17 +0000484
Akira Hatanakafe384a22012-03-27 02:33:05 +0000485 if (Kind == MCExpr::Binary) {
David Woodhouse3fa98a62014-01-28 23:13:18 +0000486 unsigned Res = getExprOpValue(cast<MCBinaryExpr>(Expr)->getLHS(), Fixups, STI);
487 Res += getExprOpValue(cast<MCBinaryExpr>(Expr)->getRHS(), Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000488 return Res;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000489 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000490
491 if (Kind == MCExpr::Target) {
492 const MipsMCExpr *MipsExpr = cast<MipsMCExpr>(Expr);
493
494 Mips::Fixups FixupKind = Mips::Fixups(0);
495 switch (MipsExpr->getKind()) {
496 default: llvm_unreachable("Unsupported fixup kind for target expression!");
Sasa Stankovic06c47802014-04-03 10:37:45 +0000497 case MipsMCExpr::VK_Mips_HIGHEST:
498 FixupKind = Mips::fixup_Mips_HIGHEST;
499 break;
500 case MipsMCExpr::VK_Mips_HIGHER:
501 FixupKind = Mips::fixup_Mips_HIGHER;
502 break;
503 case MipsMCExpr::VK_Mips_HI:
Petar Jovanovica5da5882014-02-04 18:41:57 +0000504 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16
505 : Mips::fixup_Mips_HI16;
506 break;
Sasa Stankovic06c47802014-04-03 10:37:45 +0000507 case MipsMCExpr::VK_Mips_LO:
Petar Jovanovica5da5882014-02-04 18:41:57 +0000508 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16
509 : Mips::fixup_Mips_LO16;
510 break;
511 }
Jim Grosbach63661f82015-05-15 19:13:05 +0000512 Fixups.push_back(MCFixup::create(0, MipsExpr, MCFixupKind(FixupKind)));
Petar Jovanovica5da5882014-02-04 18:41:57 +0000513 return 0;
514 }
515
Jack Carterb5cf5902013-04-17 00:18:04 +0000516 if (Kind == MCExpr::SymbolRef) {
Mark Seabornc3bd1772013-12-31 13:05:15 +0000517 Mips::Fixups FixupKind = Mips::Fixups(0);
Akira Hatanakafe384a22012-03-27 02:33:05 +0000518
Mark Seabornc3bd1772013-12-31 13:05:15 +0000519 switch(cast<MCSymbolRefExpr>(Expr)->getKind()) {
520 default: llvm_unreachable("Unknown fixup kind!");
521 break;
Daniel Sanders60f1db02015-03-13 12:45:09 +0000522 case MCSymbolRefExpr::VK_None:
523 FixupKind = Mips::fixup_Mips_32; // FIXME: This is ok for O32/N32 but not N64.
524 break;
Mark Seabornc3bd1772013-12-31 13:05:15 +0000525 case MCSymbolRefExpr::VK_Mips_GPOFF_HI :
526 FixupKind = Mips::fixup_Mips_GPOFF_HI;
527 break;
528 case MCSymbolRefExpr::VK_Mips_GPOFF_LO :
529 FixupKind = Mips::fixup_Mips_GPOFF_LO;
530 break;
531 case MCSymbolRefExpr::VK_Mips_GOT_PAGE :
David Woodhoused2cca112014-01-28 23:13:25 +0000532 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_PAGE
Mark Seabornc3bd1772013-12-31 13:05:15 +0000533 : Mips::fixup_Mips_GOT_PAGE;
534 break;
535 case MCSymbolRefExpr::VK_Mips_GOT_OFST :
David Woodhoused2cca112014-01-28 23:13:25 +0000536 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_OFST
Mark Seabornc3bd1772013-12-31 13:05:15 +0000537 : Mips::fixup_Mips_GOT_OFST;
538 break;
539 case MCSymbolRefExpr::VK_Mips_GOT_DISP :
David Woodhoused2cca112014-01-28 23:13:25 +0000540 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_DISP
Mark Seabornc3bd1772013-12-31 13:05:15 +0000541 : Mips::fixup_Mips_GOT_DISP;
542 break;
543 case MCSymbolRefExpr::VK_Mips_GPREL:
544 FixupKind = Mips::fixup_Mips_GPREL16;
545 break;
546 case MCSymbolRefExpr::VK_Mips_GOT_CALL:
David Woodhoused2cca112014-01-28 23:13:25 +0000547 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_CALL16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000548 : Mips::fixup_Mips_CALL16;
549 break;
550 case MCSymbolRefExpr::VK_Mips_GOT16:
David Woodhoused2cca112014-01-28 23:13:25 +0000551 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000552 : Mips::fixup_Mips_GOT_Global;
553 break;
554 case MCSymbolRefExpr::VK_Mips_GOT:
David Woodhoused2cca112014-01-28 23:13:25 +0000555 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000556 : Mips::fixup_Mips_GOT_Local;
557 break;
558 case MCSymbolRefExpr::VK_Mips_ABS_HI:
David Woodhoused2cca112014-01-28 23:13:25 +0000559 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000560 : Mips::fixup_Mips_HI16;
561 break;
562 case MCSymbolRefExpr::VK_Mips_ABS_LO:
David Woodhoused2cca112014-01-28 23:13:25 +0000563 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000564 : Mips::fixup_Mips_LO16;
565 break;
566 case MCSymbolRefExpr::VK_Mips_TLSGD:
David Woodhoused2cca112014-01-28 23:13:25 +0000567 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_GD
Mark Seabornc3bd1772013-12-31 13:05:15 +0000568 : Mips::fixup_Mips_TLSGD;
569 break;
570 case MCSymbolRefExpr::VK_Mips_TLSLDM:
David Woodhoused2cca112014-01-28 23:13:25 +0000571 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_LDM
Mark Seabornc3bd1772013-12-31 13:05:15 +0000572 : Mips::fixup_Mips_TLSLDM;
573 break;
574 case MCSymbolRefExpr::VK_Mips_DTPREL_HI:
David Woodhoused2cca112014-01-28 23:13:25 +0000575 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_HI16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000576 : Mips::fixup_Mips_DTPREL_HI;
577 break;
578 case MCSymbolRefExpr::VK_Mips_DTPREL_LO:
David Woodhoused2cca112014-01-28 23:13:25 +0000579 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_LO16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000580 : Mips::fixup_Mips_DTPREL_LO;
581 break;
582 case MCSymbolRefExpr::VK_Mips_GOTTPREL:
583 FixupKind = Mips::fixup_Mips_GOTTPREL;
584 break;
585 case MCSymbolRefExpr::VK_Mips_TPREL_HI:
David Woodhoused2cca112014-01-28 23:13:25 +0000586 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_HI16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000587 : Mips::fixup_Mips_TPREL_HI;
588 break;
589 case MCSymbolRefExpr::VK_Mips_TPREL_LO:
David Woodhoused2cca112014-01-28 23:13:25 +0000590 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_LO16
Mark Seabornc3bd1772013-12-31 13:05:15 +0000591 : Mips::fixup_Mips_TPREL_LO;
592 break;
593 case MCSymbolRefExpr::VK_Mips_HIGHER:
594 FixupKind = Mips::fixup_Mips_HIGHER;
595 break;
596 case MCSymbolRefExpr::VK_Mips_HIGHEST:
597 FixupKind = Mips::fixup_Mips_HIGHEST;
598 break;
599 case MCSymbolRefExpr::VK_Mips_GOT_HI16:
600 FixupKind = Mips::fixup_Mips_GOT_HI16;
601 break;
602 case MCSymbolRefExpr::VK_Mips_GOT_LO16:
603 FixupKind = Mips::fixup_Mips_GOT_LO16;
604 break;
605 case MCSymbolRefExpr::VK_Mips_CALL_HI16:
606 FixupKind = Mips::fixup_Mips_CALL_HI16;
607 break;
608 case MCSymbolRefExpr::VK_Mips_CALL_LO16:
609 FixupKind = Mips::fixup_Mips_CALL_LO16;
610 break;
Zoran Jovanovicb355e8f2014-05-27 14:58:51 +0000611 case MCSymbolRefExpr::VK_Mips_PCREL_HI16:
612 FixupKind = Mips::fixup_MIPS_PCHI16;
613 break;
614 case MCSymbolRefExpr::VK_Mips_PCREL_LO16:
615 FixupKind = Mips::fixup_MIPS_PCLO16;
616 break;
Mark Seabornc3bd1772013-12-31 13:05:15 +0000617 } // switch
Akira Hatanakafe384a22012-03-27 02:33:05 +0000618
Jim Grosbach63661f82015-05-15 19:13:05 +0000619 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Jack Carterb5cf5902013-04-17 00:18:04 +0000620 return 0;
621 }
Akira Hatanakafe384a22012-03-27 02:33:05 +0000622 return 0;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000623}
624
Jack Carterb5cf5902013-04-17 00:18:04 +0000625/// getMachineOpValue - Return binary encoding of operand. If the machine
626/// operand requires relocation, record the relocation and return zero.
627unsigned MipsMCCodeEmitter::
628getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000629 SmallVectorImpl<MCFixup> &Fixups,
630 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000631 if (MO.isReg()) {
632 unsigned Reg = MO.getReg();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000633 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
Jack Carterb5cf5902013-04-17 00:18:04 +0000634 return RegNo;
635 } else if (MO.isImm()) {
636 return static_cast<unsigned>(MO.getImm());
637 } else if (MO.isFPImm()) {
638 return static_cast<unsigned>(APFloat(MO.getFPImm())
639 .bitcastToAPInt().getHiBits(32).getLimitedValue());
640 }
641 // MO must be an Expr.
642 assert(MO.isExpr());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000643 return getExprOpValue(MO.getExpr(),Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000644}
645
Matheus Almeida6b59c442013-12-05 11:06:22 +0000646/// getMSAMemEncoding - Return binary encoding of memory operand for LD/ST
647/// instructions.
648unsigned
649MipsMCCodeEmitter::getMSAMemEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000650 SmallVectorImpl<MCFixup> &Fixups,
651 const MCSubtargetInfo &STI) const {
Matheus Almeida6b59c442013-12-05 11:06:22 +0000652 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
653 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000654 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16;
655 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Matheus Almeida6b59c442013-12-05 11:06:22 +0000656
657 // The immediate field of an LD/ST instruction is scaled which means it must
658 // be divided (when encoding) by the size (in bytes) of the instructions'
659 // data format.
660 // .b - 1 byte
661 // .h - 2 bytes
662 // .w - 4 bytes
663 // .d - 8 bytes
664 switch(MI.getOpcode())
665 {
666 default:
667 assert (0 && "Unexpected instruction");
668 break;
669 case Mips::LD_B:
670 case Mips::ST_B:
671 // We don't need to scale the offset in this case
672 break;
673 case Mips::LD_H:
674 case Mips::ST_H:
675 OffBits >>= 1;
676 break;
677 case Mips::LD_W:
678 case Mips::ST_W:
679 OffBits >>= 2;
680 break;
681 case Mips::LD_D:
682 case Mips::ST_D:
683 OffBits >>= 3;
684 break;
685 }
686
687 return (OffBits & 0xFFFF) | RegBits;
688}
689
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000690/// getMemEncoding - Return binary encoding of memory related operand.
691/// If the offset operand requires relocation, record the relocation.
692unsigned
693MipsMCCodeEmitter::getMemEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000694 SmallVectorImpl<MCFixup> &Fixups,
695 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000696 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
697 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000698 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16;
699 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000700
701 return (OffBits & 0xFFFF) | RegBits;
702}
703
Jack Carter97700972013-08-13 20:19:16 +0000704unsigned MipsMCCodeEmitter::
Jozef Koleke8c9d1e2014-11-24 14:39:13 +0000705getMemEncodingMMImm4(const MCInst &MI, unsigned OpNo,
706 SmallVectorImpl<MCFixup> &Fixups,
707 const MCSubtargetInfo &STI) const {
708 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
709 assert(MI.getOperand(OpNo).isReg());
710 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
711 Fixups, STI) << 4;
712 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
713 Fixups, STI);
714
715 return (OffBits & 0xF) | RegBits;
716}
717
718unsigned MipsMCCodeEmitter::
719getMemEncodingMMImm4Lsl1(const MCInst &MI, unsigned OpNo,
720 SmallVectorImpl<MCFixup> &Fixups,
721 const MCSubtargetInfo &STI) const {
722 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
723 assert(MI.getOperand(OpNo).isReg());
724 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
725 Fixups, STI) << 4;
726 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
727 Fixups, STI) >> 1;
728
729 return (OffBits & 0xF) | RegBits;
730}
731
732unsigned MipsMCCodeEmitter::
733getMemEncodingMMImm4Lsl2(const MCInst &MI, unsigned OpNo,
734 SmallVectorImpl<MCFixup> &Fixups,
735 const MCSubtargetInfo &STI) const {
736 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
737 assert(MI.getOperand(OpNo).isReg());
738 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
739 Fixups, STI) << 4;
740 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
741 Fixups, STI) >> 2;
742
743 return (OffBits & 0xF) | RegBits;
744}
745
746unsigned MipsMCCodeEmitter::
Jozef Kolek12c69822014-12-23 16:16:33 +0000747getMemEncodingMMSPImm5Lsl2(const MCInst &MI, unsigned OpNo,
748 SmallVectorImpl<MCFixup> &Fixups,
749 const MCSubtargetInfo &STI) const {
750 // Register is encoded in bits 9-5, offset is encoded in bits 4-0.
751 assert(MI.getOperand(OpNo).isReg() &&
Zoran Jovanovic68be5f22015-09-08 08:25:34 +0000752 (MI.getOperand(OpNo).getReg() == Mips::SP ||
753 MI.getOperand(OpNo).getReg() == Mips::SP_64) &&
Jozef Kolek12c69822014-12-23 16:16:33 +0000754 "Unexpected base register!");
755 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
756 Fixups, STI) >> 2;
757
758 return OffBits & 0x1F;
759}
760
761unsigned MipsMCCodeEmitter::
Jozef Koleke10a02e2015-01-28 17:27:26 +0000762getMemEncodingMMGPImm7Lsl2(const MCInst &MI, unsigned OpNo,
763 SmallVectorImpl<MCFixup> &Fixups,
764 const MCSubtargetInfo &STI) const {
765 // Register is encoded in bits 9-7, offset is encoded in bits 6-0.
766 assert(MI.getOperand(OpNo).isReg() &&
767 MI.getOperand(OpNo).getReg() == Mips::GP &&
768 "Unexpected base register!");
769
770 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
771 Fixups, STI) >> 2;
772
773 return OffBits & 0x7F;
774}
775
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000776 unsigned MipsMCCodeEmitter::
777getMemEncodingMMImm9(const MCInst &MI, unsigned OpNo,
778 SmallVectorImpl<MCFixup> &Fixups,
779 const MCSubtargetInfo &STI) const {
780 // Base register is encoded in bits 20-16, offset is encoded in bits 8-0.
781 assert(MI.getOperand(OpNo).isReg());
782 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
783 STI) << 16;
Zoran Jovanovic7beb7372015-09-15 10:05:10 +0000784 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo + 1), Fixups, STI);
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000785
786 return (OffBits & 0x1FF) | RegBits;
787}
788
Jozef Koleke10a02e2015-01-28 17:27:26 +0000789unsigned MipsMCCodeEmitter::
Jack Carter97700972013-08-13 20:19:16 +0000790getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000791 SmallVectorImpl<MCFixup> &Fixups,
792 const MCSubtargetInfo &STI) const {
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000793 // opNum can be invalid if instruction had reglist as operand.
794 // MemOperand is always last operand of instruction (base + offset).
795 switch (MI.getOpcode()) {
796 default:
797 break;
798 case Mips::SWM32_MM:
799 case Mips::LWM32_MM:
800 OpNo = MI.getNumOperands() - 2;
801 break;
802 }
803
Jack Carter97700972013-08-13 20:19:16 +0000804 // Base register is encoded in bits 20-16, offset is encoded in bits 11-0.
805 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000806 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) << 16;
807 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Jack Carter97700972013-08-13 20:19:16 +0000808
809 return (OffBits & 0x0FFF) | RegBits;
810}
811
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000812unsigned MipsMCCodeEmitter::
813getMemEncodingMMImm4sp(const MCInst &MI, unsigned OpNo,
814 SmallVectorImpl<MCFixup> &Fixups,
815 const MCSubtargetInfo &STI) const {
816 // opNum can be invalid if instruction had reglist as operand
817 // MemOperand is always last operand of instruction (base + offset)
818 switch (MI.getOpcode()) {
819 default:
820 break;
821 case Mips::SWM16_MM:
822 case Mips::LWM16_MM:
823 OpNo = MI.getNumOperands() - 2;
824 break;
825 }
826
827 // Offset is encoded in bits 4-0.
828 assert(MI.getOperand(OpNo).isReg());
829 // Base register is always SP - thus it is not encoded.
830 assert(MI.getOperand(OpNo+1).isImm());
831 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
832
833 return ((OffBits >> 2) & 0x0F);
834}
835
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000836unsigned
837MipsMCCodeEmitter::getSizeExtEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000838 SmallVectorImpl<MCFixup> &Fixups,
839 const MCSubtargetInfo &STI) const {
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000840 assert(MI.getOperand(OpNo).isImm());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000841 unsigned SizeEncoding = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
Bruno Cardoso Lopes56b70de2011-12-07 22:35:30 +0000842 return SizeEncoding - 1;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000843}
844
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000845// FIXME: should be called getMSBEncoding
846//
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000847unsigned
848MipsMCCodeEmitter::getSizeInsEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000849 SmallVectorImpl<MCFixup> &Fixups,
850 const MCSubtargetInfo &STI) const {
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000851 assert(MI.getOperand(OpNo-1).isImm());
852 assert(MI.getOperand(OpNo).isImm());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000853 unsigned Position = getMachineOpValue(MI, MI.getOperand(OpNo-1), Fixups, STI);
854 unsigned Size = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000855
Bruno Cardoso Lopes56b70de2011-12-07 22:35:30 +0000856 return Position + Size - 1;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000857}
858
Matheus Almeida779c5932013-11-18 12:32:49 +0000859unsigned
860MipsMCCodeEmitter::getLSAImmEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000861 SmallVectorImpl<MCFixup> &Fixups,
862 const MCSubtargetInfo &STI) const {
Matheus Almeida779c5932013-11-18 12:32:49 +0000863 assert(MI.getOperand(OpNo).isImm());
864 // The immediate is encoded as 'immediate - 1'.
David Woodhouse3fa98a62014-01-28 23:13:18 +0000865 return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) - 1;
Matheus Almeida779c5932013-11-18 12:32:49 +0000866}
867
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000868unsigned
869MipsMCCodeEmitter::getSimm19Lsl2Encoding(const MCInst &MI, unsigned OpNo,
870 SmallVectorImpl<MCFixup> &Fixups,
871 const MCSubtargetInfo &STI) const {
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +0000872 const MCOperand &MO = MI.getOperand(OpNo);
873 if (MO.isImm()) {
874 // The immediate is encoded as 'immediate << 2'.
875 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
876 assert((Res & 3) == 0);
877 return Res >> 2;
878 }
879
880 assert(MO.isExpr() &&
881 "getSimm19Lsl2Encoding expects only expressions or an immediate");
882
883 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000884 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +0000885 MCFixupKind(Mips::fixup_MIPS_PC19_S2)));
886 return 0;
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000887}
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000888
Zoran Jovanovic28551422014-06-09 09:49:51 +0000889unsigned
890MipsMCCodeEmitter::getSimm18Lsl3Encoding(const MCInst &MI, unsigned OpNo,
891 SmallVectorImpl<MCFixup> &Fixups,
892 const MCSubtargetInfo &STI) const {
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +0000893 const MCOperand &MO = MI.getOperand(OpNo);
894 if (MO.isImm()) {
895 // The immediate is encoded as 'immediate << 3'.
896 unsigned Res = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
897 assert((Res & 7) == 0);
898 return Res >> 3;
899 }
900
901 assert(MO.isExpr() &&
902 "getSimm18Lsl2Encoding expects only expressions or an immediate");
903
904 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000905 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +0000906 MCFixupKind(Mips::fixup_MIPS_PC18_S3)));
907 return 0;
Zoran Jovanovic28551422014-06-09 09:49:51 +0000908}
909
Zoran Jovanovic4a00fdc2014-10-23 10:42:01 +0000910unsigned
911MipsMCCodeEmitter::getUImm3Mod8Encoding(const MCInst &MI, unsigned OpNo,
912 SmallVectorImpl<MCFixup> &Fixups,
913 const MCSubtargetInfo &STI) const {
914 assert(MI.getOperand(OpNo).isImm());
915 const MCOperand &MO = MI.getOperand(OpNo);
916 return MO.getImm() % 8;
917}
918
Zoran Jovanovic88531712014-11-05 17:31:00 +0000919unsigned
920MipsMCCodeEmitter::getUImm4AndValue(const MCInst &MI, unsigned OpNo,
921 SmallVectorImpl<MCFixup> &Fixups,
922 const MCSubtargetInfo &STI) const {
923 assert(MI.getOperand(OpNo).isImm());
924 const MCOperand &MO = MI.getOperand(OpNo);
925 unsigned Value = MO.getImm();
926 switch (Value) {
927 case 128: return 0x0;
928 case 1: return 0x1;
929 case 2: return 0x2;
930 case 3: return 0x3;
931 case 4: return 0x4;
932 case 7: return 0x5;
933 case 8: return 0x6;
934 case 15: return 0x7;
935 case 16: return 0x8;
936 case 31: return 0x9;
937 case 32: return 0xa;
938 case 63: return 0xb;
939 case 64: return 0xc;
940 case 255: return 0xd;
941 case 32768: return 0xe;
942 case 65535: return 0xf;
943 }
944 llvm_unreachable("Unexpected value");
945}
946
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000947unsigned
948MipsMCCodeEmitter::getRegisterListOpValue(const MCInst &MI, unsigned OpNo,
949 SmallVectorImpl<MCFixup> &Fixups,
950 const MCSubtargetInfo &STI) const {
951 unsigned res = 0;
952
953 // Register list operand is always first operand of instruction and it is
954 // placed before memory operand (register + imm).
955
956 for (unsigned I = OpNo, E = MI.getNumOperands() - 2; I < E; ++I) {
957 unsigned Reg = MI.getOperand(I).getReg();
958 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
959 if (RegNo != 31)
960 res++;
961 else
962 res |= 0x10;
963 }
964 return res;
965}
966
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000967unsigned
968MipsMCCodeEmitter::getRegisterListOpValue16(const MCInst &MI, unsigned OpNo,
969 SmallVectorImpl<MCFixup> &Fixups,
970 const MCSubtargetInfo &STI) const {
971 return (MI.getNumOperands() - 4);
972}
973
Zoran Jovanovic2deca342014-12-16 14:59:10 +0000974unsigned
975MipsMCCodeEmitter::getRegisterPairOpValue(const MCInst &MI, unsigned OpNo,
976 SmallVectorImpl<MCFixup> &Fixups,
977 const MCSubtargetInfo &STI) const {
978 return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
979}
980
Jozef Kolek2c6d7322015-01-21 12:10:11 +0000981unsigned
Zoran Jovanovic41688672015-02-10 16:36:20 +0000982MipsMCCodeEmitter::getMovePRegPairOpValue(const MCInst &MI, unsigned OpNo,
983 SmallVectorImpl<MCFixup> &Fixups,
984 const MCSubtargetInfo &STI) const {
985 unsigned res = 0;
986
987 if (MI.getOperand(0).getReg() == Mips::A1 &&
988 MI.getOperand(1).getReg() == Mips::A2)
989 res = 0;
990 else if (MI.getOperand(0).getReg() == Mips::A1 &&
991 MI.getOperand(1).getReg() == Mips::A3)
992 res = 1;
993 else if (MI.getOperand(0).getReg() == Mips::A2 &&
994 MI.getOperand(1).getReg() == Mips::A3)
995 res = 2;
996 else if (MI.getOperand(0).getReg() == Mips::A0 &&
997 MI.getOperand(1).getReg() == Mips::S5)
998 res = 3;
999 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1000 MI.getOperand(1).getReg() == Mips::S6)
1001 res = 4;
1002 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1003 MI.getOperand(1).getReg() == Mips::A1)
1004 res = 5;
1005 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1006 MI.getOperand(1).getReg() == Mips::A2)
1007 res = 6;
1008 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1009 MI.getOperand(1).getReg() == Mips::A3)
1010 res = 7;
1011
1012 return res;
1013}
1014
1015unsigned
Jozef Kolek2c6d7322015-01-21 12:10:11 +00001016MipsMCCodeEmitter::getSimm23Lsl2Encoding(const MCInst &MI, unsigned OpNo,
1017 SmallVectorImpl<MCFixup> &Fixups,
1018 const MCSubtargetInfo &STI) const {
1019 const MCOperand &MO = MI.getOperand(OpNo);
1020 assert(MO.isImm() && "getSimm23Lsl2Encoding expects only an immediate");
1021 // The immediate is encoded as 'immediate >> 2'.
1022 unsigned Res = static_cast<unsigned>(MO.getImm());
1023 assert((Res & 3) == 0);
1024 return Res >> 2;
1025}
1026
Daniel Sandersb59e1a42014-05-15 10:45:58 +00001027#include "MipsGenMCCodeEmitter.inc"