blob: 57b087d0006ac1425e0123b22b98cff001cbe145 [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
Daniel Sanders611eb822016-02-29 15:26:54 +000084// Pick a DINS instruction variant based on the pos and size operands
85static void LowerDins(MCInst& InstIn) {
86 assert(InstIn.getNumOperands() == 5 &&
87 "Invalid no. of machine operands for DINS!");
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +000088
89 assert(InstIn.getOperand(2).isImm());
90 int64_t pos = InstIn.getOperand(2).getImm();
91 assert(InstIn.getOperand(3).isImm());
92 int64_t size = InstIn.getOperand(3).getImm();
93
94 if (size <= 32) {
Daniel Sanders611eb822016-02-29 15:26:54 +000095 if (pos < 32) // DINS, do nothing
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +000096 return;
Daniel Sanders611eb822016-02-29 15:26:54 +000097 // DINSU
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +000098 InstIn.getOperand(2).setImm(pos - 32);
Daniel Sanders611eb822016-02-29 15:26:54 +000099 InstIn.setOpcode(Mips::DINSU);
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000100 return;
101 }
Daniel Sanders611eb822016-02-29 15:26:54 +0000102 // DINSM
103 assert(pos < 32 && "DINS cannot have both size and pos > 32");
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000104 InstIn.getOperand(3).setImm(size - 32);
Daniel Sanders611eb822016-02-29 15:26:54 +0000105 InstIn.setOpcode(Mips::DINSM);
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000106 return;
107}
108
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000109bool MipsMCCodeEmitter::isMicroMips(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000110 return STI.getFeatureBits()[Mips::FeatureMicroMips];
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000111}
112
Jozef Kolekc22555d2015-04-20 12:23:06 +0000113bool MipsMCCodeEmitter::isMips32r6(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000114 return STI.getFeatureBits()[Mips::FeatureMips32r6];
Jozef Kolekc22555d2015-04-20 12:23:06 +0000115}
116
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000117void MipsMCCodeEmitter::EmitByte(unsigned char C, raw_ostream &OS) const {
118 OS << (char)C;
119}
120
121void MipsMCCodeEmitter::EmitInstruction(uint64_t Val, unsigned Size,
122 const MCSubtargetInfo &STI,
123 raw_ostream &OS) const {
124 // Output the instruction encoding in little endian byte order.
125 // Little-endian byte ordering:
126 // mips32r2: 4 | 3 | 2 | 1
127 // microMIPS: 2 | 1 | 4 | 3
128 if (IsLittleEndian && Size == 4 && isMicroMips(STI)) {
129 EmitInstruction(Val >> 16, 2, STI, OS);
130 EmitInstruction(Val, 2, STI, OS);
131 } else {
132 for (unsigned i = 0; i < Size; ++i) {
133 unsigned Shift = IsLittleEndian ? i * 8 : (Size - 1 - i) * 8;
134 EmitByte((Val >> Shift) & 0xff, OS);
135 }
136 }
137}
138
Jim Grosbach91df21f2015-05-15 19:13:16 +0000139/// encodeInstruction - Emit the instruction.
Jack Carter4e07b95d2013-08-27 19:45:28 +0000140/// Size the instruction with Desc.getSize().
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000141void MipsMCCodeEmitter::
Jim Grosbach91df21f2015-05-15 19:13:16 +0000142encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +0000143 SmallVectorImpl<MCFixup> &Fixups,
144 const MCSubtargetInfo &STI) const
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000145{
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000146
147 // Non-pseudo instructions that get changed for direct object
148 // only based on operand values.
149 // If this list of instructions get much longer we will move
150 // the check to a function call. Until then, this is more efficient.
151 MCInst TmpInst = MI;
152 switch (MI.getOpcode()) {
153 // If shift amount is >= 32 it the inst needs to be lowered further
154 case Mips::DSLL:
155 case Mips::DSRL:
156 case Mips::DSRA:
Akira Hatanaka6a3fe572013-09-07 00:18:01 +0000157 case Mips::DROTR:
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000158 LowerLargeShift(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000159 break;
160 // Double extract instruction is chosen by pos and size operands
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000161 case Mips::DINS:
Daniel Sanders611eb822016-02-29 15:26:54 +0000162 LowerDins(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000163 }
164
Jack Carter97700972013-08-13 20:19:16 +0000165 unsigned long N = Fixups.size();
David Woodhouse3fa98a62014-01-28 23:13:18 +0000166 uint32_t Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000167
168 // Check for unimplemented opcodes.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000169 // Unfortunately in MIPS both NOP and SLL will come in with Binary == 0
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000170 // so we have to special check for them.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000171 unsigned Opcode = TmpInst.getOpcode();
Jozef Kolekc7e220f2014-11-29 13:29:24 +0000172 if ((Opcode != Mips::NOP) && (Opcode != Mips::SLL) &&
173 (Opcode != Mips::SLL_MM) && !Binary)
Jim Grosbach91df21f2015-05-15 19:13:16 +0000174 llvm_unreachable("unimplemented opcode in encodeInstruction()");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000175
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000176 int NewOpcode = -1;
Jozef Kolek6ca13ea2015-04-20 12:42:08 +0000177 if (isMicroMips(STI)) {
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000178 if (isMips32r6(STI)) {
179 NewOpcode = Mips::MipsR62MicroMipsR6(Opcode, Mips::Arch_micromipsr6);
180 if (NewOpcode == -1)
181 NewOpcode = Mips::Std2MicroMipsR6(Opcode, Mips::Arch_micromipsr6);
182 }
183 else
184 NewOpcode = Mips::Std2MicroMips(Opcode, Mips::Arch_micromips);
185
Zoran Jovanovic2e386d32015-10-12 16:07:25 +0000186 // Check whether it is Dsp instruction.
187 if (NewOpcode == -1)
188 NewOpcode = Mips::Dsp2MicroMips(Opcode, Mips::Arch_mmdsp);
189
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000190 if (NewOpcode != -1) {
Jack Carter97700972013-08-13 20:19:16 +0000191 if (Fixups.size() > N)
192 Fixups.pop_back();
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000193
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000194 Opcode = NewOpcode;
195 TmpInst.setOpcode (NewOpcode);
David Woodhouse3fa98a62014-01-28 23:13:18 +0000196 Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000197 }
198 }
199
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000200 const MCInstrDesc &Desc = MCII.get(TmpInst.getOpcode());
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000201
Jack Carter5b5559d2012-10-03 21:58:54 +0000202 // Get byte count of instruction
203 unsigned Size = Desc.getSize();
204 if (!Size)
205 llvm_unreachable("Desc.getSize() returns 0");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000206
David Woodhoused2cca112014-01-28 23:13:25 +0000207 EmitInstruction(Binary, Size, STI, OS);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000208}
209
210/// getBranchTargetOpValue - Return binary encoding of the branch
211/// target operand. If the machine operand requires relocation,
212/// record the relocation and return zero.
213unsigned MipsMCCodeEmitter::
214getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000215 SmallVectorImpl<MCFixup> &Fixups,
216 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000217
218 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter71e6a742012-09-06 00:43:26 +0000219
Jack Carter4f69a0f2013-03-22 00:29:10 +0000220 // If the destination is an immediate, divide by 4.
221 if (MO.isImm()) return MO.getImm() >> 2;
222
Jack Carter71e6a742012-09-06 00:43:26 +0000223 assert(MO.isExpr() &&
224 "getBranchTargetOpValue expects only expressions or immediates");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000225
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000226 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
227 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
228 Fixups.push_back(MCFixup::create(0, FixupExpression,
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000229 MCFixupKind(Mips::fixup_Mips_PC16)));
230 return 0;
231}
232
Jozef Kolek9761e962015-01-12 12:03:34 +0000233/// getBranchTarget7OpValueMM - Return binary encoding of the microMIPS branch
234/// target operand. If the machine operand requires relocation,
235/// record the relocation and return zero.
236unsigned MipsMCCodeEmitter::
237getBranchTarget7OpValueMM(const MCInst &MI, unsigned OpNo,
238 SmallVectorImpl<MCFixup> &Fixups,
239 const MCSubtargetInfo &STI) const {
240
241 const MCOperand &MO = MI.getOperand(OpNo);
242
243 // If the destination is an immediate, divide by 2.
244 if (MO.isImm()) return MO.getImm() >> 1;
245
246 assert(MO.isExpr() &&
247 "getBranchTargetOpValueMM expects only expressions or immediates");
248
249 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000250 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek9761e962015-01-12 12:03:34 +0000251 MCFixupKind(Mips::fixup_MICROMIPS_PC7_S1)));
252 return 0;
253}
254
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000255/// getBranchTargetOpValueMMPC10 - Return binary encoding of the microMIPS
256/// 10-bit branch target operand. If the machine operand requires relocation,
257/// record the relocation and return zero.
258unsigned MipsMCCodeEmitter::
259getBranchTargetOpValueMMPC10(const MCInst &MI, unsigned OpNo,
260 SmallVectorImpl<MCFixup> &Fixups,
261 const MCSubtargetInfo &STI) const {
262
263 const MCOperand &MO = MI.getOperand(OpNo);
264
265 // If the destination is an immediate, divide by 2.
266 if (MO.isImm()) return MO.getImm() >> 1;
267
268 assert(MO.isExpr() &&
269 "getBranchTargetOpValuePC10 expects only expressions or immediates");
270
271 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000272 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000273 MCFixupKind(Mips::fixup_MICROMIPS_PC10_S1)));
274 return 0;
275}
276
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000277/// getBranchTargetOpValue - Return binary encoding of the microMIPS branch
278/// target operand. If the machine operand requires relocation,
279/// record the relocation and return zero.
280unsigned MipsMCCodeEmitter::
281getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000282 SmallVectorImpl<MCFixup> &Fixups,
283 const MCSubtargetInfo &STI) const {
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000284
285 const MCOperand &MO = MI.getOperand(OpNo);
286
287 // If the destination is an immediate, divide by 2.
288 if (MO.isImm()) return MO.getImm() >> 1;
289
290 assert(MO.isExpr() &&
291 "getBranchTargetOpValueMM expects only expressions or immediates");
292
293 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000294 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000295 MCFixupKind(Mips::
296 fixup_MICROMIPS_PC16_S1)));
297 return 0;
298}
299
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000300/// getBranchTarget21OpValue - Return binary encoding of the branch
301/// target operand. If the machine operand requires relocation,
302/// record the relocation and return zero.
303unsigned MipsMCCodeEmitter::
304getBranchTarget21OpValue(const MCInst &MI, unsigned OpNo,
305 SmallVectorImpl<MCFixup> &Fixups,
306 const MCSubtargetInfo &STI) const {
307
308 const MCOperand &MO = MI.getOperand(OpNo);
309
310 // If the destination is an immediate, divide by 4.
311 if (MO.isImm()) return MO.getImm() >> 2;
312
313 assert(MO.isExpr() &&
314 "getBranchTarget21OpValue expects only expressions or immediates");
315
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000316 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
317 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
318 Fixups.push_back(MCFixup::create(0, FixupExpression,
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000319 MCFixupKind(Mips::fixup_MIPS_PC21_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000320 return 0;
321}
322
323/// getBranchTarget26OpValue - Return binary encoding of the branch
324/// target operand. If the machine operand requires relocation,
325/// record the relocation and return zero.
326unsigned MipsMCCodeEmitter::
327getBranchTarget26OpValue(const MCInst &MI, unsigned OpNo,
328 SmallVectorImpl<MCFixup> &Fixups,
329 const MCSubtargetInfo &STI) const {
330
331 const MCOperand &MO = MI.getOperand(OpNo);
332
333 // If the destination is an immediate, divide by 4.
334 if (MO.isImm()) return MO.getImm() >> 2;
335
336 assert(MO.isExpr() &&
337 "getBranchTarget26OpValue expects only expressions or immediates");
338
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000339 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
340 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
341 Fixups.push_back(MCFixup::create(0, FixupExpression,
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000342 MCFixupKind(Mips::fixup_MIPS_PC26_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000343 return 0;
344}
345
Zoran Jovanovica887b362015-11-30 12:56:18 +0000346/// getBranchTarget26OpValueMM - Return binary encoding of the branch
347/// target operand. If the machine operand requires relocation,
348/// record the relocation and return zero.
349unsigned MipsMCCodeEmitter::getBranchTarget26OpValueMM(
350 const MCInst &MI, unsigned OpNo, SmallVectorImpl<MCFixup> &Fixups,
351 const MCSubtargetInfo &STI) const {
352
353 const MCOperand &MO = MI.getOperand(OpNo);
354
355 // If the destination is an immediate, divide by 2.
356 if (MO.isImm())
357 return MO.getImm() >> 1;
358
Zoran Jovanovic02b70032016-04-21 13:43:26 +0000359 assert(MO.isExpr() &&
360 "getBranchTarget26OpValueMM expects only expressions or immediates");
361
362 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
363 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
364 Fixups.push_back(MCFixup::create(0, FixupExpression,
365 MCFixupKind(Mips::fixup_MICROMIPS_PC26_S1)));
Zoran Jovanovica887b362015-11-30 12:56:18 +0000366 return 0;
367}
368
Zoran Jovanovic52c56b92014-05-16 13:19:46 +0000369/// getJumpOffset16OpValue - Return binary encoding of the jump
370/// target operand. If the machine operand requires relocation,
371/// record the relocation and return zero.
372unsigned MipsMCCodeEmitter::
373getJumpOffset16OpValue(const MCInst &MI, unsigned OpNo,
374 SmallVectorImpl<MCFixup> &Fixups,
375 const MCSubtargetInfo &STI) const {
376
377 const MCOperand &MO = MI.getOperand(OpNo);
378
379 if (MO.isImm()) return MO.getImm();
380
381 assert(MO.isExpr() &&
382 "getJumpOffset16OpValue expects only expressions or an immediate");
383
384 // TODO: Push fixup.
385 return 0;
386}
387
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000388/// getJumpTargetOpValue - Return binary encoding of the jump
389/// target operand. If the machine operand requires relocation,
390/// record the relocation and return zero.
391unsigned MipsMCCodeEmitter::
392getJumpTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000393 SmallVectorImpl<MCFixup> &Fixups,
394 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000395
396 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter4f69a0f2013-03-22 00:29:10 +0000397 // If the destination is an immediate, divide by 4.
398 if (MO.isImm()) return MO.getImm()>>2;
399
Jack Carter71e6a742012-09-06 00:43:26 +0000400 assert(MO.isExpr() &&
401 "getJumpTargetOpValue expects only expressions or an immediate");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000402
403 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000404 Fixups.push_back(MCFixup::create(0, Expr,
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000405 MCFixupKind(Mips::fixup_Mips_26)));
406 return 0;
407}
408
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000409unsigned MipsMCCodeEmitter::
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000410getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000411 SmallVectorImpl<MCFixup> &Fixups,
412 const MCSubtargetInfo &STI) const {
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000413
414 const MCOperand &MO = MI.getOperand(OpNo);
415 // If the destination is an immediate, divide by 2.
416 if (MO.isImm()) return MO.getImm() >> 1;
417
418 assert(MO.isExpr() &&
419 "getJumpTargetOpValueMM expects only expressions or an immediate");
420
421 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000422 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000423 MCFixupKind(Mips::fixup_MICROMIPS_26_S1)));
424 return 0;
425}
426
427unsigned MipsMCCodeEmitter::
Zoran Jovanovicc74e3eb92014-09-12 14:29:54 +0000428getUImm5Lsl2Encoding(const MCInst &MI, unsigned OpNo,
429 SmallVectorImpl<MCFixup> &Fixups,
430 const MCSubtargetInfo &STI) const {
431
432 const MCOperand &MO = MI.getOperand(OpNo);
433 if (MO.isImm()) {
434 // The immediate is encoded as 'immediate << 2'.
435 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
436 assert((Res & 3) == 0);
437 return Res >> 2;
438 }
439
440 assert(MO.isExpr() &&
441 "getUImm5Lsl2Encoding expects only expressions or an immediate");
442
443 return 0;
444}
445
446unsigned MipsMCCodeEmitter::
Zoran Jovanovicbac36192014-10-23 11:06:34 +0000447getSImm3Lsa2Value(const MCInst &MI, unsigned OpNo,
448 SmallVectorImpl<MCFixup> &Fixups,
449 const MCSubtargetInfo &STI) const {
450
451 const MCOperand &MO = MI.getOperand(OpNo);
452 if (MO.isImm()) {
453 int Value = MO.getImm();
454 return Value >> 2;
455 }
456
457 return 0;
458}
459
460unsigned MipsMCCodeEmitter::
Zoran Jovanovic42b84442014-10-23 11:13:59 +0000461getUImm6Lsl2Encoding(const MCInst &MI, unsigned OpNo,
462 SmallVectorImpl<MCFixup> &Fixups,
463 const MCSubtargetInfo &STI) const {
464
465 const MCOperand &MO = MI.getOperand(OpNo);
466 if (MO.isImm()) {
467 unsigned Value = MO.getImm();
468 return Value >> 2;
469 }
470
471 return 0;
472}
473
474unsigned MipsMCCodeEmitter::
Zoran Jovanovic98bd58c2014-10-10 14:37:30 +0000475getSImm9AddiuspValue(const MCInst &MI, unsigned OpNo,
476 SmallVectorImpl<MCFixup> &Fixups,
477 const MCSubtargetInfo &STI) const {
478
479 const MCOperand &MO = MI.getOperand(OpNo);
480 if (MO.isImm()) {
481 unsigned Binary = (MO.getImm() >> 2) & 0x0000ffff;
482 return (((Binary & 0x8000) >> 7) | (Binary & 0x00ff));
483 }
484
485 return 0;
486}
487
488unsigned MipsMCCodeEmitter::
Daniel Sanders60f1db02015-03-13 12:45:09 +0000489getExprOpValue(const MCExpr *Expr, SmallVectorImpl<MCFixup> &Fixups,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000490 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000491 int64_t Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000492
Jim Grosbach13760bd2015-05-30 01:25:56 +0000493 if (Expr->evaluateAsAbsolute(Res))
Jack Carterb5cf5902013-04-17 00:18:04 +0000494 return Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000495
Akira Hatanakafe384a22012-03-27 02:33:05 +0000496 MCExpr::ExprKind Kind = Expr->getKind();
Jack Carterb5cf5902013-04-17 00:18:04 +0000497 if (Kind == MCExpr::Constant) {
498 return cast<MCConstantExpr>(Expr)->getValue();
499 }
Akira Hatanakae2eed962011-12-22 01:05:17 +0000500
Akira Hatanakafe384a22012-03-27 02:33:05 +0000501 if (Kind == MCExpr::Binary) {
David Woodhouse3fa98a62014-01-28 23:13:18 +0000502 unsigned Res = getExprOpValue(cast<MCBinaryExpr>(Expr)->getLHS(), Fixups, STI);
503 Res += getExprOpValue(cast<MCBinaryExpr>(Expr)->getRHS(), Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000504 return Res;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000505 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000506
507 if (Kind == MCExpr::Target) {
508 const MipsMCExpr *MipsExpr = cast<MipsMCExpr>(Expr);
509
510 Mips::Fixups FixupKind = Mips::Fixups(0);
511 switch (MipsExpr->getKind()) {
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000512 case MipsMCExpr::MEK_NEG:
513 case MipsMCExpr::MEK_None:
514 case MipsMCExpr::MEK_Special:
515 llvm_unreachable("Unhandled fixup kind!");
516 break;
517 case MipsMCExpr::MEK_CALL_HI16:
518 FixupKind = Mips::fixup_Mips_CALL_HI16;
519 break;
520 case MipsMCExpr::MEK_CALL_LO16:
521 FixupKind = Mips::fixup_Mips_CALL_LO16;
522 break;
523 case MipsMCExpr::MEK_DTPREL_HI:
524 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_HI16
525 : Mips::fixup_Mips_DTPREL_HI;
526 break;
527 case MipsMCExpr::MEK_DTPREL_LO:
528 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_LO16
529 : Mips::fixup_Mips_DTPREL_LO;
530 break;
531 case MipsMCExpr::MEK_GOTTPREL:
532 FixupKind = Mips::fixup_Mips_GOTTPREL;
533 break;
534 case MipsMCExpr::MEK_GOT:
535 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16
536 : Mips::fixup_Mips_GOT;
537 break;
538 case MipsMCExpr::MEK_GOT_CALL:
539 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_CALL16
540 : Mips::fixup_Mips_CALL16;
541 break;
542 case MipsMCExpr::MEK_GOT_DISP:
543 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_DISP
544 : Mips::fixup_Mips_GOT_DISP;
545 break;
546 case MipsMCExpr::MEK_GOT_HI16:
547 FixupKind = Mips::fixup_Mips_GOT_HI16;
548 break;
549 case MipsMCExpr::MEK_GOT_LO16:
550 FixupKind = Mips::fixup_Mips_GOT_LO16;
551 break;
552 case MipsMCExpr::MEK_GOT_PAGE:
553 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_PAGE
554 : Mips::fixup_Mips_GOT_PAGE;
555 break;
556 case MipsMCExpr::MEK_GOT_OFST:
557 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_OFST
558 : Mips::fixup_Mips_GOT_OFST;
559 break;
560 case MipsMCExpr::MEK_GPREL:
561 FixupKind = Mips::fixup_Mips_GPREL16;
562 break;
563 case MipsMCExpr::MEK_LO: {
564 // Check for %lo(%neg(%gp_rel(X)))
565 if (MipsExpr->isGpOff()) {
566 FixupKind = Mips::fixup_Mips_GPOFF_LO;
567 break;
568 }
569 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16
570 : Mips::fixup_Mips_LO16;
571 break;
572 }
573 case MipsMCExpr::MEK_HIGHEST:
Sasa Stankovic06c47802014-04-03 10:37:45 +0000574 FixupKind = Mips::fixup_Mips_HIGHEST;
575 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000576 case MipsMCExpr::MEK_HIGHER:
Sasa Stankovic06c47802014-04-03 10:37:45 +0000577 FixupKind = Mips::fixup_Mips_HIGHER;
578 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000579 case MipsMCExpr::MEK_HI:
580 // Check for %hi(%neg(%gp_rel(X)))
581 if (MipsExpr->isGpOff()) {
582 FixupKind = Mips::fixup_Mips_GPOFF_HI;
583 break;
584 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000585 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16
586 : Mips::fixup_Mips_HI16;
587 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000588 case MipsMCExpr::MEK_PCREL_HI16:
589 FixupKind = Mips::fixup_MIPS_PCHI16;
590 break;
591 case MipsMCExpr::MEK_PCREL_LO16:
592 FixupKind = Mips::fixup_MIPS_PCLO16;
593 break;
594 case MipsMCExpr::MEK_TLSGD:
595 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_GD
596 : Mips::fixup_Mips_TLSGD;
597 break;
598 case MipsMCExpr::MEK_TLSLDM:
599 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_LDM
600 : Mips::fixup_Mips_TLSLDM;
601 break;
602 case MipsMCExpr::MEK_TPREL_HI:
603 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_HI16
604 : Mips::fixup_Mips_TPREL_HI;
605 break;
606 case MipsMCExpr::MEK_TPREL_LO:
607 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_LO16
608 : Mips::fixup_Mips_TPREL_LO;
Petar Jovanovica5da5882014-02-04 18:41:57 +0000609 break;
610 }
Jim Grosbach63661f82015-05-15 19:13:05 +0000611 Fixups.push_back(MCFixup::create(0, MipsExpr, MCFixupKind(FixupKind)));
Petar Jovanovica5da5882014-02-04 18:41:57 +0000612 return 0;
613 }
614
Jack Carterb5cf5902013-04-17 00:18:04 +0000615 if (Kind == MCExpr::SymbolRef) {
Mark Seabornc3bd1772013-12-31 13:05:15 +0000616 Mips::Fixups FixupKind = Mips::Fixups(0);
Akira Hatanakafe384a22012-03-27 02:33:05 +0000617
Mark Seabornc3bd1772013-12-31 13:05:15 +0000618 switch(cast<MCSymbolRefExpr>(Expr)->getKind()) {
619 default: llvm_unreachable("Unknown fixup kind!");
620 break;
Daniel Sanders60f1db02015-03-13 12:45:09 +0000621 case MCSymbolRefExpr::VK_None:
622 FixupKind = Mips::fixup_Mips_32; // FIXME: This is ok for O32/N32 but not N64.
623 break;
Mark Seabornc3bd1772013-12-31 13:05:15 +0000624 } // switch
Akira Hatanakafe384a22012-03-27 02:33:05 +0000625
Jim Grosbach63661f82015-05-15 19:13:05 +0000626 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Jack Carterb5cf5902013-04-17 00:18:04 +0000627 return 0;
628 }
Akira Hatanakafe384a22012-03-27 02:33:05 +0000629 return 0;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000630}
631
Jack Carterb5cf5902013-04-17 00:18:04 +0000632/// getMachineOpValue - Return binary encoding of operand. If the machine
633/// operand requires relocation, record the relocation and return zero.
634unsigned MipsMCCodeEmitter::
635getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000636 SmallVectorImpl<MCFixup> &Fixups,
637 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000638 if (MO.isReg()) {
639 unsigned Reg = MO.getReg();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000640 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
Jack Carterb5cf5902013-04-17 00:18:04 +0000641 return RegNo;
642 } else if (MO.isImm()) {
643 return static_cast<unsigned>(MO.getImm());
644 } else if (MO.isFPImm()) {
645 return static_cast<unsigned>(APFloat(MO.getFPImm())
646 .bitcastToAPInt().getHiBits(32).getLimitedValue());
647 }
648 // MO must be an Expr.
649 assert(MO.isExpr());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000650 return getExprOpValue(MO.getExpr(),Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000651}
652
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000653/// Return binary encoding of memory related operand.
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000654/// If the offset operand requires relocation, record the relocation.
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000655template <unsigned ShiftAmount>
656unsigned MipsMCCodeEmitter::getMemEncoding(const MCInst &MI, unsigned OpNo,
657 SmallVectorImpl<MCFixup> &Fixups,
658 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000659 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
660 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000661 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16;
662 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000663
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000664 // Apply the scale factor if there is one.
665 OffBits >>= ShiftAmount;
666
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000667 return (OffBits & 0xFFFF) | RegBits;
668}
669
Jack Carter97700972013-08-13 20:19:16 +0000670unsigned MipsMCCodeEmitter::
Jozef Koleke8c9d1e2014-11-24 14:39:13 +0000671getMemEncodingMMImm4(const MCInst &MI, unsigned OpNo,
672 SmallVectorImpl<MCFixup> &Fixups,
673 const MCSubtargetInfo &STI) const {
674 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
675 assert(MI.getOperand(OpNo).isReg());
676 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
677 Fixups, STI) << 4;
678 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
679 Fixups, STI);
680
681 return (OffBits & 0xF) | RegBits;
682}
683
684unsigned MipsMCCodeEmitter::
685getMemEncodingMMImm4Lsl1(const MCInst &MI, unsigned OpNo,
686 SmallVectorImpl<MCFixup> &Fixups,
687 const MCSubtargetInfo &STI) const {
688 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
689 assert(MI.getOperand(OpNo).isReg());
690 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
691 Fixups, STI) << 4;
692 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
693 Fixups, STI) >> 1;
694
695 return (OffBits & 0xF) | RegBits;
696}
697
698unsigned MipsMCCodeEmitter::
699getMemEncodingMMImm4Lsl2(const MCInst &MI, unsigned OpNo,
700 SmallVectorImpl<MCFixup> &Fixups,
701 const MCSubtargetInfo &STI) const {
702 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
703 assert(MI.getOperand(OpNo).isReg());
704 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
705 Fixups, STI) << 4;
706 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
707 Fixups, STI) >> 2;
708
709 return (OffBits & 0xF) | RegBits;
710}
711
712unsigned MipsMCCodeEmitter::
Jozef Kolek12c69822014-12-23 16:16:33 +0000713getMemEncodingMMSPImm5Lsl2(const MCInst &MI, unsigned OpNo,
714 SmallVectorImpl<MCFixup> &Fixups,
715 const MCSubtargetInfo &STI) const {
716 // Register is encoded in bits 9-5, offset is encoded in bits 4-0.
717 assert(MI.getOperand(OpNo).isReg() &&
Zoran Jovanovic68be5f22015-09-08 08:25:34 +0000718 (MI.getOperand(OpNo).getReg() == Mips::SP ||
719 MI.getOperand(OpNo).getReg() == Mips::SP_64) &&
Jozef Kolek12c69822014-12-23 16:16:33 +0000720 "Unexpected base register!");
721 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
722 Fixups, STI) >> 2;
723
724 return OffBits & 0x1F;
725}
726
727unsigned MipsMCCodeEmitter::
Jozef Koleke10a02e2015-01-28 17:27:26 +0000728getMemEncodingMMGPImm7Lsl2(const MCInst &MI, unsigned OpNo,
729 SmallVectorImpl<MCFixup> &Fixups,
730 const MCSubtargetInfo &STI) const {
731 // Register is encoded in bits 9-7, offset is encoded in bits 6-0.
732 assert(MI.getOperand(OpNo).isReg() &&
733 MI.getOperand(OpNo).getReg() == Mips::GP &&
734 "Unexpected base register!");
735
736 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
737 Fixups, STI) >> 2;
738
739 return OffBits & 0x7F;
740}
741
Hrvoje Varga3c88fbd2015-10-16 12:24:58 +0000742unsigned MipsMCCodeEmitter::
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000743getMemEncodingMMImm9(const MCInst &MI, unsigned OpNo,
744 SmallVectorImpl<MCFixup> &Fixups,
745 const MCSubtargetInfo &STI) const {
746 // Base register is encoded in bits 20-16, offset is encoded in bits 8-0.
747 assert(MI.getOperand(OpNo).isReg());
748 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
749 STI) << 16;
Zoran Jovanovic7beb7372015-09-15 10:05:10 +0000750 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo + 1), Fixups, STI);
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000751
752 return (OffBits & 0x1FF) | RegBits;
753}
754
Jozef Koleke10a02e2015-01-28 17:27:26 +0000755unsigned MipsMCCodeEmitter::
Jack Carter97700972013-08-13 20:19:16 +0000756getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000757 SmallVectorImpl<MCFixup> &Fixups,
758 const MCSubtargetInfo &STI) const {
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000759 // opNum can be invalid if instruction had reglist as operand.
760 // MemOperand is always last operand of instruction (base + offset).
761 switch (MI.getOpcode()) {
762 default:
763 break;
764 case Mips::SWM32_MM:
765 case Mips::LWM32_MM:
766 OpNo = MI.getNumOperands() - 2;
767 break;
768 }
769
Jack Carter97700972013-08-13 20:19:16 +0000770 // Base register is encoded in bits 20-16, offset is encoded in bits 11-0.
771 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000772 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) << 16;
773 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Jack Carter97700972013-08-13 20:19:16 +0000774
775 return (OffBits & 0x0FFF) | RegBits;
776}
777
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000778unsigned MipsMCCodeEmitter::
Hrvoje Varga3c88fbd2015-10-16 12:24:58 +0000779getMemEncodingMMImm16(const MCInst &MI, unsigned OpNo,
780 SmallVectorImpl<MCFixup> &Fixups,
781 const MCSubtargetInfo &STI) const {
782 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
783 assert(MI.getOperand(OpNo).isReg());
784 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
785 STI) << 16;
786 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
787
788 return (OffBits & 0xFFFF) | RegBits;
789}
790
791unsigned MipsMCCodeEmitter::
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000792getMemEncodingMMImm4sp(const MCInst &MI, unsigned OpNo,
793 SmallVectorImpl<MCFixup> &Fixups,
794 const MCSubtargetInfo &STI) const {
795 // opNum can be invalid if instruction had reglist as operand
796 // MemOperand is always last operand of instruction (base + offset)
797 switch (MI.getOpcode()) {
798 default:
799 break;
800 case Mips::SWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000801 case Mips::SWM16_MMR6:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000802 case Mips::LWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000803 case Mips::LWM16_MMR6:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000804 OpNo = MI.getNumOperands() - 2;
805 break;
806 }
807
808 // Offset is encoded in bits 4-0.
809 assert(MI.getOperand(OpNo).isReg());
810 // Base register is always SP - thus it is not encoded.
811 assert(MI.getOperand(OpNo+1).isImm());
812 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
813
814 return ((OffBits >> 2) & 0x0F);
815}
816
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000817// FIXME: should be called getMSBEncoding
818//
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000819unsigned
820MipsMCCodeEmitter::getSizeInsEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000821 SmallVectorImpl<MCFixup> &Fixups,
822 const MCSubtargetInfo &STI) const {
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000823 assert(MI.getOperand(OpNo-1).isImm());
824 assert(MI.getOperand(OpNo).isImm());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000825 unsigned Position = getMachineOpValue(MI, MI.getOperand(OpNo-1), Fixups, STI);
826 unsigned Size = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000827
Bruno Cardoso Lopes56b70de2011-12-07 22:35:30 +0000828 return Position + Size - 1;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000829}
830
Daniel Sandersea4f6532015-11-06 12:22:31 +0000831template <unsigned Bits, int Offset>
Matheus Almeida779c5932013-11-18 12:32:49 +0000832unsigned
Daniel Sandersea4f6532015-11-06 12:22:31 +0000833MipsMCCodeEmitter::getUImmWithOffsetEncoding(const MCInst &MI, unsigned OpNo,
834 SmallVectorImpl<MCFixup> &Fixups,
835 const MCSubtargetInfo &STI) const {
Matheus Almeida779c5932013-11-18 12:32:49 +0000836 assert(MI.getOperand(OpNo).isImm());
Daniel Sandersea4f6532015-11-06 12:22:31 +0000837 unsigned Value = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
838 Value -= Offset;
839 return Value;
Matheus Almeida779c5932013-11-18 12:32:49 +0000840}
841
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000842unsigned
843MipsMCCodeEmitter::getSimm19Lsl2Encoding(const MCInst &MI, unsigned OpNo,
844 SmallVectorImpl<MCFixup> &Fixups,
845 const MCSubtargetInfo &STI) const {
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +0000846 const MCOperand &MO = MI.getOperand(OpNo);
847 if (MO.isImm()) {
848 // The immediate is encoded as 'immediate << 2'.
849 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
850 assert((Res & 3) == 0);
851 return Res >> 2;
852 }
853
854 assert(MO.isExpr() &&
855 "getSimm19Lsl2Encoding expects only expressions or an immediate");
856
857 const MCExpr *Expr = MO.getExpr();
Zoran Jovanovic6764fa72016-04-21 14:09:35 +0000858 Mips::Fixups FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_PC19_S2
859 : Mips::fixup_MIPS_PC19_S2;
860 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +0000861 return 0;
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000862}
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000863
Zoran Jovanovic28551422014-06-09 09:49:51 +0000864unsigned
865MipsMCCodeEmitter::getSimm18Lsl3Encoding(const MCInst &MI, unsigned OpNo,
866 SmallVectorImpl<MCFixup> &Fixups,
867 const MCSubtargetInfo &STI) const {
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +0000868 const MCOperand &MO = MI.getOperand(OpNo);
869 if (MO.isImm()) {
870 // The immediate is encoded as 'immediate << 3'.
871 unsigned Res = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
872 assert((Res & 7) == 0);
873 return Res >> 3;
874 }
875
876 assert(MO.isExpr() &&
877 "getSimm18Lsl2Encoding expects only expressions or an immediate");
878
879 const MCExpr *Expr = MO.getExpr();
Zoran Jovanovic8e366822016-04-22 10:15:12 +0000880 Mips::Fixups FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_PC18_S3
881 : Mips::fixup_MIPS_PC18_S3;
882 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +0000883 return 0;
Zoran Jovanovic28551422014-06-09 09:49:51 +0000884}
885
Zoran Jovanovic4a00fdc2014-10-23 10:42:01 +0000886unsigned
887MipsMCCodeEmitter::getUImm3Mod8Encoding(const MCInst &MI, unsigned OpNo,
888 SmallVectorImpl<MCFixup> &Fixups,
889 const MCSubtargetInfo &STI) const {
890 assert(MI.getOperand(OpNo).isImm());
891 const MCOperand &MO = MI.getOperand(OpNo);
892 return MO.getImm() % 8;
893}
894
Zoran Jovanovic88531712014-11-05 17:31:00 +0000895unsigned
896MipsMCCodeEmitter::getUImm4AndValue(const MCInst &MI, unsigned OpNo,
897 SmallVectorImpl<MCFixup> &Fixups,
898 const MCSubtargetInfo &STI) const {
899 assert(MI.getOperand(OpNo).isImm());
900 const MCOperand &MO = MI.getOperand(OpNo);
901 unsigned Value = MO.getImm();
902 switch (Value) {
903 case 128: return 0x0;
904 case 1: return 0x1;
905 case 2: return 0x2;
906 case 3: return 0x3;
907 case 4: return 0x4;
908 case 7: return 0x5;
909 case 8: return 0x6;
910 case 15: return 0x7;
911 case 16: return 0x8;
912 case 31: return 0x9;
913 case 32: return 0xa;
914 case 63: return 0xb;
915 case 64: return 0xc;
916 case 255: return 0xd;
917 case 32768: return 0xe;
918 case 65535: return 0xf;
919 }
920 llvm_unreachable("Unexpected value");
921}
922
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000923unsigned
924MipsMCCodeEmitter::getRegisterListOpValue(const MCInst &MI, unsigned OpNo,
925 SmallVectorImpl<MCFixup> &Fixups,
926 const MCSubtargetInfo &STI) const {
927 unsigned res = 0;
928
929 // Register list operand is always first operand of instruction and it is
930 // placed before memory operand (register + imm).
931
932 for (unsigned I = OpNo, E = MI.getNumOperands() - 2; I < E; ++I) {
933 unsigned Reg = MI.getOperand(I).getReg();
934 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
935 if (RegNo != 31)
936 res++;
937 else
938 res |= 0x10;
939 }
940 return res;
941}
942
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000943unsigned
944MipsMCCodeEmitter::getRegisterListOpValue16(const MCInst &MI, unsigned OpNo,
945 SmallVectorImpl<MCFixup> &Fixups,
946 const MCSubtargetInfo &STI) const {
947 return (MI.getNumOperands() - 4);
948}
949
Zoran Jovanovic2deca342014-12-16 14:59:10 +0000950unsigned
951MipsMCCodeEmitter::getRegisterPairOpValue(const MCInst &MI, unsigned OpNo,
952 SmallVectorImpl<MCFixup> &Fixups,
953 const MCSubtargetInfo &STI) const {
954 return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
955}
956
Jozef Kolek2c6d7322015-01-21 12:10:11 +0000957unsigned
Zoran Jovanovic41688672015-02-10 16:36:20 +0000958MipsMCCodeEmitter::getMovePRegPairOpValue(const MCInst &MI, unsigned OpNo,
959 SmallVectorImpl<MCFixup> &Fixups,
960 const MCSubtargetInfo &STI) const {
961 unsigned res = 0;
962
963 if (MI.getOperand(0).getReg() == Mips::A1 &&
964 MI.getOperand(1).getReg() == Mips::A2)
965 res = 0;
966 else if (MI.getOperand(0).getReg() == Mips::A1 &&
967 MI.getOperand(1).getReg() == Mips::A3)
968 res = 1;
969 else if (MI.getOperand(0).getReg() == Mips::A2 &&
970 MI.getOperand(1).getReg() == Mips::A3)
971 res = 2;
972 else if (MI.getOperand(0).getReg() == Mips::A0 &&
973 MI.getOperand(1).getReg() == Mips::S5)
974 res = 3;
975 else if (MI.getOperand(0).getReg() == Mips::A0 &&
976 MI.getOperand(1).getReg() == Mips::S6)
977 res = 4;
978 else if (MI.getOperand(0).getReg() == Mips::A0 &&
979 MI.getOperand(1).getReg() == Mips::A1)
980 res = 5;
981 else if (MI.getOperand(0).getReg() == Mips::A0 &&
982 MI.getOperand(1).getReg() == Mips::A2)
983 res = 6;
984 else if (MI.getOperand(0).getReg() == Mips::A0 &&
985 MI.getOperand(1).getReg() == Mips::A3)
986 res = 7;
987
988 return res;
989}
990
991unsigned
Jozef Kolek2c6d7322015-01-21 12:10:11 +0000992MipsMCCodeEmitter::getSimm23Lsl2Encoding(const MCInst &MI, unsigned OpNo,
993 SmallVectorImpl<MCFixup> &Fixups,
994 const MCSubtargetInfo &STI) const {
995 const MCOperand &MO = MI.getOperand(OpNo);
996 assert(MO.isImm() && "getSimm23Lsl2Encoding expects only an immediate");
997 // The immediate is encoded as 'immediate >> 2'.
998 unsigned Res = static_cast<unsigned>(MO.getImm());
999 assert((Res & 3) == 0);
1000 return Res >> 2;
1001}
1002
Daniel Sandersb59e1a42014-05-15 10:45:58 +00001003#include "MipsGenMCCodeEmitter.inc"