blob: f92a807e5e57b6f55d2f9cc141bebf14ba3d4cbc [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
Hrvoje Varga6f09cdf2016-05-13 11:32:53 +0000233/// getBranchTargetOpValue1SImm16 - Return binary encoding of the branch
234/// target operand. If the machine operand requires relocation,
235/// record the relocation and return zero.
236unsigned MipsMCCodeEmitter::
237getBranchTargetOpValue1SImm16(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 "getBranchTargetOpValue expects only expressions or immediates");
248
249 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
250 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
251 Fixups.push_back(MCFixup::create(0, FixupExpression,
252 MCFixupKind(Mips::fixup_Mips_PC16)));
253 return 0;
254}
255
Jozef Kolek9761e962015-01-12 12:03:34 +0000256/// getBranchTarget7OpValueMM - Return binary encoding of the microMIPS branch
257/// target operand. If the machine operand requires relocation,
258/// record the relocation and return zero.
259unsigned MipsMCCodeEmitter::
260getBranchTarget7OpValueMM(const MCInst &MI, unsigned OpNo,
261 SmallVectorImpl<MCFixup> &Fixups,
262 const MCSubtargetInfo &STI) const {
263
264 const MCOperand &MO = MI.getOperand(OpNo);
265
266 // If the destination is an immediate, divide by 2.
267 if (MO.isImm()) return MO.getImm() >> 1;
268
269 assert(MO.isExpr() &&
270 "getBranchTargetOpValueMM expects only expressions or immediates");
271
272 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000273 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek9761e962015-01-12 12:03:34 +0000274 MCFixupKind(Mips::fixup_MICROMIPS_PC7_S1)));
275 return 0;
276}
277
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000278/// getBranchTargetOpValueMMPC10 - Return binary encoding of the microMIPS
279/// 10-bit branch target operand. If the machine operand requires relocation,
280/// record the relocation and return zero.
281unsigned MipsMCCodeEmitter::
282getBranchTargetOpValueMMPC10(const MCInst &MI, unsigned OpNo,
283 SmallVectorImpl<MCFixup> &Fixups,
284 const MCSubtargetInfo &STI) const {
285
286 const MCOperand &MO = MI.getOperand(OpNo);
287
288 // If the destination is an immediate, divide by 2.
289 if (MO.isImm()) return MO.getImm() >> 1;
290
291 assert(MO.isExpr() &&
292 "getBranchTargetOpValuePC10 expects only expressions or immediates");
293
294 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000295 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000296 MCFixupKind(Mips::fixup_MICROMIPS_PC10_S1)));
297 return 0;
298}
299
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000300/// getBranchTargetOpValue - Return binary encoding of the microMIPS branch
301/// target operand. If the machine operand requires relocation,
302/// record the relocation and return zero.
303unsigned MipsMCCodeEmitter::
304getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000305 SmallVectorImpl<MCFixup> &Fixups,
306 const MCSubtargetInfo &STI) const {
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000307
308 const MCOperand &MO = MI.getOperand(OpNo);
309
310 // If the destination is an immediate, divide by 2.
311 if (MO.isImm()) return MO.getImm() >> 1;
312
313 assert(MO.isExpr() &&
314 "getBranchTargetOpValueMM expects only expressions or immediates");
315
316 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000317 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000318 MCFixupKind(Mips::
319 fixup_MICROMIPS_PC16_S1)));
320 return 0;
321}
322
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000323/// getBranchTarget21OpValue - Return binary encoding of the branch
324/// target operand. If the machine operand requires relocation,
325/// record the relocation and return zero.
326unsigned MipsMCCodeEmitter::
327getBranchTarget21OpValue(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 "getBranchTarget21OpValue 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_PC21_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000343 return 0;
344}
345
Zoran Jovanovic84e4d592016-05-17 11:10:15 +0000346/// getBranchTarget21OpValueMM - Return binary encoding of the branch
347/// target operand for microMIPS. If the machine operand requires
348/// relocation, record the relocation and return zero.
349unsigned MipsMCCodeEmitter::
350getBranchTarget21OpValueMM(const MCInst &MI, unsigned OpNo,
351 SmallVectorImpl<MCFixup> &Fixups,
352 const MCSubtargetInfo &STI) const {
353
354 const MCOperand &MO = MI.getOperand(OpNo);
355
356 // If the destination is an immediate, divide by 2.
357 if (MO.isImm()) return MO.getImm() >> 1;
358
359 assert(MO.isExpr() &&
360 "getBranchTarget21OpValueMM expects only expressions or immediates");
361
362 // TODO: Push fixup.
363 return 0;
364}
365
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000366/// getBranchTarget26OpValue - Return binary encoding of the branch
367/// target operand. If the machine operand requires relocation,
368/// record the relocation and return zero.
369unsigned MipsMCCodeEmitter::
370getBranchTarget26OpValue(const MCInst &MI, unsigned OpNo,
371 SmallVectorImpl<MCFixup> &Fixups,
372 const MCSubtargetInfo &STI) const {
373
374 const MCOperand &MO = MI.getOperand(OpNo);
375
376 // If the destination is an immediate, divide by 4.
377 if (MO.isImm()) return MO.getImm() >> 2;
378
379 assert(MO.isExpr() &&
380 "getBranchTarget26OpValue expects only expressions or immediates");
381
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000382 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
383 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
384 Fixups.push_back(MCFixup::create(0, FixupExpression,
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000385 MCFixupKind(Mips::fixup_MIPS_PC26_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000386 return 0;
387}
388
Zoran Jovanovica887b362015-11-30 12:56:18 +0000389/// getBranchTarget26OpValueMM - Return binary encoding of the branch
390/// target operand. If the machine operand requires relocation,
391/// record the relocation and return zero.
392unsigned MipsMCCodeEmitter::getBranchTarget26OpValueMM(
393 const MCInst &MI, unsigned OpNo, SmallVectorImpl<MCFixup> &Fixups,
394 const MCSubtargetInfo &STI) const {
395
396 const MCOperand &MO = MI.getOperand(OpNo);
397
398 // If the destination is an immediate, divide by 2.
399 if (MO.isImm())
400 return MO.getImm() >> 1;
401
Zoran Jovanovic02b70032016-04-21 13:43:26 +0000402 assert(MO.isExpr() &&
403 "getBranchTarget26OpValueMM expects only expressions or immediates");
404
405 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
406 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
407 Fixups.push_back(MCFixup::create(0, FixupExpression,
408 MCFixupKind(Mips::fixup_MICROMIPS_PC26_S1)));
Zoran Jovanovica887b362015-11-30 12:56:18 +0000409 return 0;
410}
411
Zoran Jovanovic52c56b92014-05-16 13:19:46 +0000412/// getJumpOffset16OpValue - Return binary encoding of the jump
413/// target operand. If the machine operand requires relocation,
414/// record the relocation and return zero.
415unsigned MipsMCCodeEmitter::
416getJumpOffset16OpValue(const MCInst &MI, unsigned OpNo,
417 SmallVectorImpl<MCFixup> &Fixups,
418 const MCSubtargetInfo &STI) const {
419
420 const MCOperand &MO = MI.getOperand(OpNo);
421
422 if (MO.isImm()) return MO.getImm();
423
424 assert(MO.isExpr() &&
425 "getJumpOffset16OpValue expects only expressions or an immediate");
426
427 // TODO: Push fixup.
428 return 0;
429}
430
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000431/// getJumpTargetOpValue - Return binary encoding of the jump
432/// target operand. If the machine operand requires relocation,
433/// record the relocation and return zero.
434unsigned MipsMCCodeEmitter::
435getJumpTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000436 SmallVectorImpl<MCFixup> &Fixups,
437 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000438
439 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter4f69a0f2013-03-22 00:29:10 +0000440 // If the destination is an immediate, divide by 4.
441 if (MO.isImm()) return MO.getImm()>>2;
442
Jack Carter71e6a742012-09-06 00:43:26 +0000443 assert(MO.isExpr() &&
444 "getJumpTargetOpValue expects only expressions or an immediate");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000445
446 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000447 Fixups.push_back(MCFixup::create(0, Expr,
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000448 MCFixupKind(Mips::fixup_Mips_26)));
449 return 0;
450}
451
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000452unsigned MipsMCCodeEmitter::
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000453getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000454 SmallVectorImpl<MCFixup> &Fixups,
455 const MCSubtargetInfo &STI) const {
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000456
457 const MCOperand &MO = MI.getOperand(OpNo);
458 // If the destination is an immediate, divide by 2.
459 if (MO.isImm()) return MO.getImm() >> 1;
460
461 assert(MO.isExpr() &&
462 "getJumpTargetOpValueMM expects only expressions or an immediate");
463
464 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000465 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000466 MCFixupKind(Mips::fixup_MICROMIPS_26_S1)));
467 return 0;
468}
469
470unsigned MipsMCCodeEmitter::
Zoran Jovanovicc74e3eb92014-09-12 14:29:54 +0000471getUImm5Lsl2Encoding(const MCInst &MI, unsigned OpNo,
472 SmallVectorImpl<MCFixup> &Fixups,
473 const MCSubtargetInfo &STI) const {
474
475 const MCOperand &MO = MI.getOperand(OpNo);
476 if (MO.isImm()) {
477 // The immediate is encoded as 'immediate << 2'.
478 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
479 assert((Res & 3) == 0);
480 return Res >> 2;
481 }
482
483 assert(MO.isExpr() &&
484 "getUImm5Lsl2Encoding expects only expressions or an immediate");
485
486 return 0;
487}
488
489unsigned MipsMCCodeEmitter::
Zoran Jovanovicbac36192014-10-23 11:06:34 +0000490getSImm3Lsa2Value(const MCInst &MI, unsigned OpNo,
491 SmallVectorImpl<MCFixup> &Fixups,
492 const MCSubtargetInfo &STI) const {
493
494 const MCOperand &MO = MI.getOperand(OpNo);
495 if (MO.isImm()) {
496 int Value = MO.getImm();
497 return Value >> 2;
498 }
499
500 return 0;
501}
502
503unsigned MipsMCCodeEmitter::
Zoran Jovanovic42b84442014-10-23 11:13:59 +0000504getUImm6Lsl2Encoding(const MCInst &MI, unsigned OpNo,
505 SmallVectorImpl<MCFixup> &Fixups,
506 const MCSubtargetInfo &STI) const {
507
508 const MCOperand &MO = MI.getOperand(OpNo);
509 if (MO.isImm()) {
510 unsigned Value = MO.getImm();
511 return Value >> 2;
512 }
513
514 return 0;
515}
516
517unsigned MipsMCCodeEmitter::
Zoran Jovanovic98bd58c2014-10-10 14:37:30 +0000518getSImm9AddiuspValue(const MCInst &MI, unsigned OpNo,
519 SmallVectorImpl<MCFixup> &Fixups,
520 const MCSubtargetInfo &STI) const {
521
522 const MCOperand &MO = MI.getOperand(OpNo);
523 if (MO.isImm()) {
524 unsigned Binary = (MO.getImm() >> 2) & 0x0000ffff;
525 return (((Binary & 0x8000) >> 7) | (Binary & 0x00ff));
526 }
527
528 return 0;
529}
530
531unsigned MipsMCCodeEmitter::
Daniel Sanders60f1db02015-03-13 12:45:09 +0000532getExprOpValue(const MCExpr *Expr, SmallVectorImpl<MCFixup> &Fixups,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000533 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000534 int64_t Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000535
Jim Grosbach13760bd2015-05-30 01:25:56 +0000536 if (Expr->evaluateAsAbsolute(Res))
Jack Carterb5cf5902013-04-17 00:18:04 +0000537 return Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000538
Akira Hatanakafe384a22012-03-27 02:33:05 +0000539 MCExpr::ExprKind Kind = Expr->getKind();
Jack Carterb5cf5902013-04-17 00:18:04 +0000540 if (Kind == MCExpr::Constant) {
541 return cast<MCConstantExpr>(Expr)->getValue();
542 }
Akira Hatanakae2eed962011-12-22 01:05:17 +0000543
Akira Hatanakafe384a22012-03-27 02:33:05 +0000544 if (Kind == MCExpr::Binary) {
David Woodhouse3fa98a62014-01-28 23:13:18 +0000545 unsigned Res = getExprOpValue(cast<MCBinaryExpr>(Expr)->getLHS(), Fixups, STI);
546 Res += getExprOpValue(cast<MCBinaryExpr>(Expr)->getRHS(), Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000547 return Res;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000548 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000549
550 if (Kind == MCExpr::Target) {
551 const MipsMCExpr *MipsExpr = cast<MipsMCExpr>(Expr);
552
553 Mips::Fixups FixupKind = Mips::Fixups(0);
554 switch (MipsExpr->getKind()) {
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000555 case MipsMCExpr::MEK_NEG:
556 case MipsMCExpr::MEK_None:
557 case MipsMCExpr::MEK_Special:
558 llvm_unreachable("Unhandled fixup kind!");
559 break;
560 case MipsMCExpr::MEK_CALL_HI16:
561 FixupKind = Mips::fixup_Mips_CALL_HI16;
562 break;
563 case MipsMCExpr::MEK_CALL_LO16:
564 FixupKind = Mips::fixup_Mips_CALL_LO16;
565 break;
566 case MipsMCExpr::MEK_DTPREL_HI:
567 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_HI16
568 : Mips::fixup_Mips_DTPREL_HI;
569 break;
570 case MipsMCExpr::MEK_DTPREL_LO:
571 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_LO16
572 : Mips::fixup_Mips_DTPREL_LO;
573 break;
574 case MipsMCExpr::MEK_GOTTPREL:
575 FixupKind = Mips::fixup_Mips_GOTTPREL;
576 break;
577 case MipsMCExpr::MEK_GOT:
578 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16
579 : Mips::fixup_Mips_GOT;
580 break;
581 case MipsMCExpr::MEK_GOT_CALL:
582 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_CALL16
583 : Mips::fixup_Mips_CALL16;
584 break;
585 case MipsMCExpr::MEK_GOT_DISP:
586 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_DISP
587 : Mips::fixup_Mips_GOT_DISP;
588 break;
589 case MipsMCExpr::MEK_GOT_HI16:
590 FixupKind = Mips::fixup_Mips_GOT_HI16;
591 break;
592 case MipsMCExpr::MEK_GOT_LO16:
593 FixupKind = Mips::fixup_Mips_GOT_LO16;
594 break;
595 case MipsMCExpr::MEK_GOT_PAGE:
596 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_PAGE
597 : Mips::fixup_Mips_GOT_PAGE;
598 break;
599 case MipsMCExpr::MEK_GOT_OFST:
600 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_OFST
601 : Mips::fixup_Mips_GOT_OFST;
602 break;
603 case MipsMCExpr::MEK_GPREL:
604 FixupKind = Mips::fixup_Mips_GPREL16;
605 break;
606 case MipsMCExpr::MEK_LO: {
607 // Check for %lo(%neg(%gp_rel(X)))
608 if (MipsExpr->isGpOff()) {
609 FixupKind = Mips::fixup_Mips_GPOFF_LO;
610 break;
611 }
612 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16
613 : Mips::fixup_Mips_LO16;
614 break;
615 }
616 case MipsMCExpr::MEK_HIGHEST:
Sasa Stankovic06c47802014-04-03 10:37:45 +0000617 FixupKind = Mips::fixup_Mips_HIGHEST;
618 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000619 case MipsMCExpr::MEK_HIGHER:
Sasa Stankovic06c47802014-04-03 10:37:45 +0000620 FixupKind = Mips::fixup_Mips_HIGHER;
621 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000622 case MipsMCExpr::MEK_HI:
623 // Check for %hi(%neg(%gp_rel(X)))
624 if (MipsExpr->isGpOff()) {
625 FixupKind = Mips::fixup_Mips_GPOFF_HI;
626 break;
627 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000628 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16
629 : Mips::fixup_Mips_HI16;
630 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000631 case MipsMCExpr::MEK_PCREL_HI16:
632 FixupKind = Mips::fixup_MIPS_PCHI16;
633 break;
634 case MipsMCExpr::MEK_PCREL_LO16:
635 FixupKind = Mips::fixup_MIPS_PCLO16;
636 break;
637 case MipsMCExpr::MEK_TLSGD:
638 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_GD
639 : Mips::fixup_Mips_TLSGD;
640 break;
641 case MipsMCExpr::MEK_TLSLDM:
642 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_LDM
643 : Mips::fixup_Mips_TLSLDM;
644 break;
645 case MipsMCExpr::MEK_TPREL_HI:
646 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_HI16
647 : Mips::fixup_Mips_TPREL_HI;
648 break;
649 case MipsMCExpr::MEK_TPREL_LO:
650 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_LO16
651 : Mips::fixup_Mips_TPREL_LO;
Petar Jovanovica5da5882014-02-04 18:41:57 +0000652 break;
653 }
Jim Grosbach63661f82015-05-15 19:13:05 +0000654 Fixups.push_back(MCFixup::create(0, MipsExpr, MCFixupKind(FixupKind)));
Petar Jovanovica5da5882014-02-04 18:41:57 +0000655 return 0;
656 }
657
Jack Carterb5cf5902013-04-17 00:18:04 +0000658 if (Kind == MCExpr::SymbolRef) {
Mark Seabornc3bd1772013-12-31 13:05:15 +0000659 Mips::Fixups FixupKind = Mips::Fixups(0);
Akira Hatanakafe384a22012-03-27 02:33:05 +0000660
Mark Seabornc3bd1772013-12-31 13:05:15 +0000661 switch(cast<MCSymbolRefExpr>(Expr)->getKind()) {
662 default: llvm_unreachable("Unknown fixup kind!");
663 break;
Daniel Sanders60f1db02015-03-13 12:45:09 +0000664 case MCSymbolRefExpr::VK_None:
665 FixupKind = Mips::fixup_Mips_32; // FIXME: This is ok for O32/N32 but not N64.
666 break;
Mark Seabornc3bd1772013-12-31 13:05:15 +0000667 } // switch
Akira Hatanakafe384a22012-03-27 02:33:05 +0000668
Jim Grosbach63661f82015-05-15 19:13:05 +0000669 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Jack Carterb5cf5902013-04-17 00:18:04 +0000670 return 0;
671 }
Akira Hatanakafe384a22012-03-27 02:33:05 +0000672 return 0;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000673}
674
Jack Carterb5cf5902013-04-17 00:18:04 +0000675/// getMachineOpValue - Return binary encoding of operand. If the machine
676/// operand requires relocation, record the relocation and return zero.
677unsigned MipsMCCodeEmitter::
678getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000679 SmallVectorImpl<MCFixup> &Fixups,
680 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000681 if (MO.isReg()) {
682 unsigned Reg = MO.getReg();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000683 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
Jack Carterb5cf5902013-04-17 00:18:04 +0000684 return RegNo;
685 } else if (MO.isImm()) {
686 return static_cast<unsigned>(MO.getImm());
687 } else if (MO.isFPImm()) {
688 return static_cast<unsigned>(APFloat(MO.getFPImm())
689 .bitcastToAPInt().getHiBits(32).getLimitedValue());
690 }
691 // MO must be an Expr.
692 assert(MO.isExpr());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000693 return getExprOpValue(MO.getExpr(),Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000694}
695
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000696/// Return binary encoding of memory related operand.
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000697/// If the offset operand requires relocation, record the relocation.
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000698template <unsigned ShiftAmount>
699unsigned MipsMCCodeEmitter::getMemEncoding(const MCInst &MI, unsigned OpNo,
700 SmallVectorImpl<MCFixup> &Fixups,
701 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000702 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
703 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000704 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16;
705 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000706
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000707 // Apply the scale factor if there is one.
708 OffBits >>= ShiftAmount;
709
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000710 return (OffBits & 0xFFFF) | RegBits;
711}
712
Jack Carter97700972013-08-13 20:19:16 +0000713unsigned MipsMCCodeEmitter::
Jozef Koleke8c9d1e2014-11-24 14:39:13 +0000714getMemEncodingMMImm4(const MCInst &MI, unsigned OpNo,
715 SmallVectorImpl<MCFixup> &Fixups,
716 const MCSubtargetInfo &STI) const {
717 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
718 assert(MI.getOperand(OpNo).isReg());
719 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
720 Fixups, STI) << 4;
721 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
722 Fixups, STI);
723
724 return (OffBits & 0xF) | RegBits;
725}
726
727unsigned MipsMCCodeEmitter::
728getMemEncodingMMImm4Lsl1(const MCInst &MI, unsigned OpNo,
729 SmallVectorImpl<MCFixup> &Fixups,
730 const MCSubtargetInfo &STI) const {
731 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
732 assert(MI.getOperand(OpNo).isReg());
733 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
734 Fixups, STI) << 4;
735 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
736 Fixups, STI) >> 1;
737
738 return (OffBits & 0xF) | RegBits;
739}
740
741unsigned MipsMCCodeEmitter::
742getMemEncodingMMImm4Lsl2(const MCInst &MI, unsigned OpNo,
743 SmallVectorImpl<MCFixup> &Fixups,
744 const MCSubtargetInfo &STI) const {
745 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
746 assert(MI.getOperand(OpNo).isReg());
747 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
748 Fixups, STI) << 4;
749 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
750 Fixups, STI) >> 2;
751
752 return (OffBits & 0xF) | RegBits;
753}
754
755unsigned MipsMCCodeEmitter::
Jozef Kolek12c69822014-12-23 16:16:33 +0000756getMemEncodingMMSPImm5Lsl2(const MCInst &MI, unsigned OpNo,
757 SmallVectorImpl<MCFixup> &Fixups,
758 const MCSubtargetInfo &STI) const {
759 // Register is encoded in bits 9-5, offset is encoded in bits 4-0.
760 assert(MI.getOperand(OpNo).isReg() &&
Zoran Jovanovic68be5f22015-09-08 08:25:34 +0000761 (MI.getOperand(OpNo).getReg() == Mips::SP ||
762 MI.getOperand(OpNo).getReg() == Mips::SP_64) &&
Jozef Kolek12c69822014-12-23 16:16:33 +0000763 "Unexpected base register!");
764 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
765 Fixups, STI) >> 2;
766
767 return OffBits & 0x1F;
768}
769
770unsigned MipsMCCodeEmitter::
Jozef Koleke10a02e2015-01-28 17:27:26 +0000771getMemEncodingMMGPImm7Lsl2(const MCInst &MI, unsigned OpNo,
772 SmallVectorImpl<MCFixup> &Fixups,
773 const MCSubtargetInfo &STI) const {
774 // Register is encoded in bits 9-7, offset is encoded in bits 6-0.
775 assert(MI.getOperand(OpNo).isReg() &&
776 MI.getOperand(OpNo).getReg() == Mips::GP &&
777 "Unexpected base register!");
778
779 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
780 Fixups, STI) >> 2;
781
782 return OffBits & 0x7F;
783}
784
Hrvoje Varga3c88fbd2015-10-16 12:24:58 +0000785unsigned MipsMCCodeEmitter::
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000786getMemEncodingMMImm9(const MCInst &MI, unsigned OpNo,
787 SmallVectorImpl<MCFixup> &Fixups,
788 const MCSubtargetInfo &STI) const {
789 // Base register is encoded in bits 20-16, offset is encoded in bits 8-0.
790 assert(MI.getOperand(OpNo).isReg());
791 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
792 STI) << 16;
Zoran Jovanovic7beb7372015-09-15 10:05:10 +0000793 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo + 1), Fixups, STI);
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000794
795 return (OffBits & 0x1FF) | RegBits;
796}
797
Jozef Koleke10a02e2015-01-28 17:27:26 +0000798unsigned MipsMCCodeEmitter::
Jack Carter97700972013-08-13 20:19:16 +0000799getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000800 SmallVectorImpl<MCFixup> &Fixups,
801 const MCSubtargetInfo &STI) const {
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000802 // opNum can be invalid if instruction had reglist as operand.
803 // MemOperand is always last operand of instruction (base + offset).
804 switch (MI.getOpcode()) {
805 default:
806 break;
807 case Mips::SWM32_MM:
808 case Mips::LWM32_MM:
809 OpNo = MI.getNumOperands() - 2;
810 break;
811 }
812
Jack Carter97700972013-08-13 20:19:16 +0000813 // Base register is encoded in bits 20-16, offset is encoded in bits 11-0.
814 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000815 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) << 16;
816 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Jack Carter97700972013-08-13 20:19:16 +0000817
818 return (OffBits & 0x0FFF) | RegBits;
819}
820
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000821unsigned MipsMCCodeEmitter::
Hrvoje Varga3c88fbd2015-10-16 12:24:58 +0000822getMemEncodingMMImm16(const MCInst &MI, unsigned OpNo,
823 SmallVectorImpl<MCFixup> &Fixups,
824 const MCSubtargetInfo &STI) const {
825 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
826 assert(MI.getOperand(OpNo).isReg());
827 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
828 STI) << 16;
829 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
830
831 return (OffBits & 0xFFFF) | RegBits;
832}
833
834unsigned MipsMCCodeEmitter::
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000835getMemEncodingMMImm4sp(const MCInst &MI, unsigned OpNo,
836 SmallVectorImpl<MCFixup> &Fixups,
837 const MCSubtargetInfo &STI) const {
838 // opNum can be invalid if instruction had reglist as operand
839 // MemOperand is always last operand of instruction (base + offset)
840 switch (MI.getOpcode()) {
841 default:
842 break;
843 case Mips::SWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000844 case Mips::SWM16_MMR6:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000845 case Mips::LWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000846 case Mips::LWM16_MMR6:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000847 OpNo = MI.getNumOperands() - 2;
848 break;
849 }
850
851 // Offset is encoded in bits 4-0.
852 assert(MI.getOperand(OpNo).isReg());
853 // Base register is always SP - thus it is not encoded.
854 assert(MI.getOperand(OpNo+1).isImm());
855 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
856
857 return ((OffBits >> 2) & 0x0F);
858}
859
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000860// FIXME: should be called getMSBEncoding
861//
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000862unsigned
863MipsMCCodeEmitter::getSizeInsEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000864 SmallVectorImpl<MCFixup> &Fixups,
865 const MCSubtargetInfo &STI) const {
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000866 assert(MI.getOperand(OpNo-1).isImm());
867 assert(MI.getOperand(OpNo).isImm());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000868 unsigned Position = getMachineOpValue(MI, MI.getOperand(OpNo-1), Fixups, STI);
869 unsigned Size = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000870
Bruno Cardoso Lopes56b70de2011-12-07 22:35:30 +0000871 return Position + Size - 1;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000872}
873
Daniel Sandersea4f6532015-11-06 12:22:31 +0000874template <unsigned Bits, int Offset>
Matheus Almeida779c5932013-11-18 12:32:49 +0000875unsigned
Daniel Sandersea4f6532015-11-06 12:22:31 +0000876MipsMCCodeEmitter::getUImmWithOffsetEncoding(const MCInst &MI, unsigned OpNo,
877 SmallVectorImpl<MCFixup> &Fixups,
878 const MCSubtargetInfo &STI) const {
Matheus Almeida779c5932013-11-18 12:32:49 +0000879 assert(MI.getOperand(OpNo).isImm());
Daniel Sandersea4f6532015-11-06 12:22:31 +0000880 unsigned Value = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
881 Value -= Offset;
882 return Value;
Matheus Almeida779c5932013-11-18 12:32:49 +0000883}
884
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000885unsigned
886MipsMCCodeEmitter::getSimm19Lsl2Encoding(const MCInst &MI, unsigned OpNo,
887 SmallVectorImpl<MCFixup> &Fixups,
888 const MCSubtargetInfo &STI) const {
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +0000889 const MCOperand &MO = MI.getOperand(OpNo);
890 if (MO.isImm()) {
891 // The immediate is encoded as 'immediate << 2'.
892 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
893 assert((Res & 3) == 0);
894 return Res >> 2;
895 }
896
897 assert(MO.isExpr() &&
898 "getSimm19Lsl2Encoding expects only expressions or an immediate");
899
900 const MCExpr *Expr = MO.getExpr();
Zoran Jovanovic6764fa72016-04-21 14:09:35 +0000901 Mips::Fixups FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_PC19_S2
902 : Mips::fixup_MIPS_PC19_S2;
903 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +0000904 return 0;
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000905}
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000906
Zoran Jovanovic28551422014-06-09 09:49:51 +0000907unsigned
908MipsMCCodeEmitter::getSimm18Lsl3Encoding(const MCInst &MI, unsigned OpNo,
909 SmallVectorImpl<MCFixup> &Fixups,
910 const MCSubtargetInfo &STI) const {
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +0000911 const MCOperand &MO = MI.getOperand(OpNo);
912 if (MO.isImm()) {
913 // The immediate is encoded as 'immediate << 3'.
914 unsigned Res = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
915 assert((Res & 7) == 0);
916 return Res >> 3;
917 }
918
919 assert(MO.isExpr() &&
920 "getSimm18Lsl2Encoding expects only expressions or an immediate");
921
922 const MCExpr *Expr = MO.getExpr();
Zoran Jovanovic8e366822016-04-22 10:15:12 +0000923 Mips::Fixups FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_PC18_S3
924 : Mips::fixup_MIPS_PC18_S3;
925 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +0000926 return 0;
Zoran Jovanovic28551422014-06-09 09:49:51 +0000927}
928
Zoran Jovanovic4a00fdc2014-10-23 10:42:01 +0000929unsigned
930MipsMCCodeEmitter::getUImm3Mod8Encoding(const MCInst &MI, unsigned OpNo,
931 SmallVectorImpl<MCFixup> &Fixups,
932 const MCSubtargetInfo &STI) const {
933 assert(MI.getOperand(OpNo).isImm());
934 const MCOperand &MO = MI.getOperand(OpNo);
935 return MO.getImm() % 8;
936}
937
Zoran Jovanovic88531712014-11-05 17:31:00 +0000938unsigned
939MipsMCCodeEmitter::getUImm4AndValue(const MCInst &MI, unsigned OpNo,
940 SmallVectorImpl<MCFixup> &Fixups,
941 const MCSubtargetInfo &STI) const {
942 assert(MI.getOperand(OpNo).isImm());
943 const MCOperand &MO = MI.getOperand(OpNo);
944 unsigned Value = MO.getImm();
945 switch (Value) {
946 case 128: return 0x0;
947 case 1: return 0x1;
948 case 2: return 0x2;
949 case 3: return 0x3;
950 case 4: return 0x4;
951 case 7: return 0x5;
952 case 8: return 0x6;
953 case 15: return 0x7;
954 case 16: return 0x8;
955 case 31: return 0x9;
956 case 32: return 0xa;
957 case 63: return 0xb;
958 case 64: return 0xc;
959 case 255: return 0xd;
960 case 32768: return 0xe;
961 case 65535: return 0xf;
962 }
963 llvm_unreachable("Unexpected value");
964}
965
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000966unsigned
967MipsMCCodeEmitter::getRegisterListOpValue(const MCInst &MI, unsigned OpNo,
968 SmallVectorImpl<MCFixup> &Fixups,
969 const MCSubtargetInfo &STI) const {
970 unsigned res = 0;
971
972 // Register list operand is always first operand of instruction and it is
973 // placed before memory operand (register + imm).
974
975 for (unsigned I = OpNo, E = MI.getNumOperands() - 2; I < E; ++I) {
976 unsigned Reg = MI.getOperand(I).getReg();
977 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
978 if (RegNo != 31)
979 res++;
980 else
981 res |= 0x10;
982 }
983 return res;
984}
985
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000986unsigned
987MipsMCCodeEmitter::getRegisterListOpValue16(const MCInst &MI, unsigned OpNo,
988 SmallVectorImpl<MCFixup> &Fixups,
989 const MCSubtargetInfo &STI) const {
990 return (MI.getNumOperands() - 4);
991}
992
Zoran Jovanovic2deca342014-12-16 14:59:10 +0000993unsigned
994MipsMCCodeEmitter::getRegisterPairOpValue(const MCInst &MI, unsigned OpNo,
995 SmallVectorImpl<MCFixup> &Fixups,
996 const MCSubtargetInfo &STI) const {
997 return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
998}
999
Jozef Kolek2c6d7322015-01-21 12:10:11 +00001000unsigned
Zoran Jovanovic41688672015-02-10 16:36:20 +00001001MipsMCCodeEmitter::getMovePRegPairOpValue(const MCInst &MI, unsigned OpNo,
1002 SmallVectorImpl<MCFixup> &Fixups,
1003 const MCSubtargetInfo &STI) const {
1004 unsigned res = 0;
1005
1006 if (MI.getOperand(0).getReg() == Mips::A1 &&
1007 MI.getOperand(1).getReg() == Mips::A2)
1008 res = 0;
1009 else if (MI.getOperand(0).getReg() == Mips::A1 &&
1010 MI.getOperand(1).getReg() == Mips::A3)
1011 res = 1;
1012 else if (MI.getOperand(0).getReg() == Mips::A2 &&
1013 MI.getOperand(1).getReg() == Mips::A3)
1014 res = 2;
1015 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1016 MI.getOperand(1).getReg() == Mips::S5)
1017 res = 3;
1018 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1019 MI.getOperand(1).getReg() == Mips::S6)
1020 res = 4;
1021 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1022 MI.getOperand(1).getReg() == Mips::A1)
1023 res = 5;
1024 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1025 MI.getOperand(1).getReg() == Mips::A2)
1026 res = 6;
1027 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1028 MI.getOperand(1).getReg() == Mips::A3)
1029 res = 7;
1030
1031 return res;
1032}
1033
1034unsigned
Jozef Kolek2c6d7322015-01-21 12:10:11 +00001035MipsMCCodeEmitter::getSimm23Lsl2Encoding(const MCInst &MI, unsigned OpNo,
1036 SmallVectorImpl<MCFixup> &Fixups,
1037 const MCSubtargetInfo &STI) const {
1038 const MCOperand &MO = MI.getOperand(OpNo);
1039 assert(MO.isImm() && "getSimm23Lsl2Encoding expects only an immediate");
1040 // The immediate is encoded as 'immediate >> 2'.
1041 unsigned Res = static_cast<unsigned>(MO.getImm());
1042 assert((Res & 3) == 0);
1043 return Res >> 2;
1044}
1045
Daniel Sandersb59e1a42014-05-15 10:45:58 +00001046#include "MipsGenMCCodeEmitter.inc"