blob: 136fef12ee0479fb75dc509967703efd7b6c9597 [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
Simon Dardis669d8dd2016-05-18 10:38:01 +0000109// Fix a bad compact branch encoding for beqc/bnec.
110void MipsMCCodeEmitter::LowerCompactBranch(MCInst& Inst) const {
111
112 // Encoding may be illegal !(rs < rt), but this situation is
113 // easily fixed.
114 unsigned RegOp0 = Inst.getOperand(0).getReg();
115 unsigned RegOp1 = Inst.getOperand(1).getReg();
116
117 unsigned Reg0 = Ctx.getRegisterInfo()->getEncodingValue(RegOp0);
118 unsigned Reg1 = Ctx.getRegisterInfo()->getEncodingValue(RegOp1);
119
Simon Dardisb60833c2016-05-31 17:34:42 +0000120 if (Inst.getOpcode() == Mips::BNEC || Inst.getOpcode() == Mips::BEQC) {
121 assert(Reg0 != Reg1 && "Instruction has bad operands ($rs == $rt)!");
122 if (Reg0 < Reg1)
123 return;
124 } else if (Inst.getOpcode() == Mips::BNVC || Inst.getOpcode() == Mips::BOVC) {
125 if (Reg0 >= Reg1)
126 return;
Hrvoje Vargac962c492016-06-09 12:57:23 +0000127 } else if (Inst.getOpcode() == Mips::BNVC_MMR6 ||
128 Inst.getOpcode() == Mips::BOVC_MMR6) {
129 if (Reg1 >= Reg0)
130 return;
Simon Dardisb60833c2016-05-31 17:34:42 +0000131 } else
132 llvm_unreachable("Cannot rewrite unknown branch!");
Simon Dardis669d8dd2016-05-18 10:38:01 +0000133
134 Inst.getOperand(0).setReg(RegOp1);
135 Inst.getOperand(1).setReg(RegOp0);
136
137}
138
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000139bool MipsMCCodeEmitter::isMicroMips(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000140 return STI.getFeatureBits()[Mips::FeatureMicroMips];
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000141}
142
Jozef Kolekc22555d2015-04-20 12:23:06 +0000143bool MipsMCCodeEmitter::isMips32r6(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000144 return STI.getFeatureBits()[Mips::FeatureMips32r6];
Jozef Kolekc22555d2015-04-20 12:23:06 +0000145}
146
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000147void MipsMCCodeEmitter::EmitByte(unsigned char C, raw_ostream &OS) const {
148 OS << (char)C;
149}
150
151void MipsMCCodeEmitter::EmitInstruction(uint64_t Val, unsigned Size,
152 const MCSubtargetInfo &STI,
153 raw_ostream &OS) const {
154 // Output the instruction encoding in little endian byte order.
155 // Little-endian byte ordering:
156 // mips32r2: 4 | 3 | 2 | 1
157 // microMIPS: 2 | 1 | 4 | 3
158 if (IsLittleEndian && Size == 4 && isMicroMips(STI)) {
159 EmitInstruction(Val >> 16, 2, STI, OS);
160 EmitInstruction(Val, 2, STI, OS);
161 } else {
162 for (unsigned i = 0; i < Size; ++i) {
163 unsigned Shift = IsLittleEndian ? i * 8 : (Size - 1 - i) * 8;
164 EmitByte((Val >> Shift) & 0xff, OS);
165 }
166 }
167}
168
Jim Grosbach91df21f2015-05-15 19:13:16 +0000169/// encodeInstruction - Emit the instruction.
Jack Carter4e07b95d2013-08-27 19:45:28 +0000170/// Size the instruction with Desc.getSize().
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000171void MipsMCCodeEmitter::
Jim Grosbach91df21f2015-05-15 19:13:16 +0000172encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +0000173 SmallVectorImpl<MCFixup> &Fixups,
174 const MCSubtargetInfo &STI) const
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000175{
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000176
177 // Non-pseudo instructions that get changed for direct object
178 // only based on operand values.
179 // If this list of instructions get much longer we will move
180 // the check to a function call. Until then, this is more efficient.
181 MCInst TmpInst = MI;
182 switch (MI.getOpcode()) {
183 // If shift amount is >= 32 it the inst needs to be lowered further
184 case Mips::DSLL:
185 case Mips::DSRL:
186 case Mips::DSRA:
Akira Hatanaka6a3fe572013-09-07 00:18:01 +0000187 case Mips::DROTR:
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000188 LowerLargeShift(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000189 break;
190 // Double extract instruction is chosen by pos and size operands
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000191 case Mips::DINS:
Daniel Sanders611eb822016-02-29 15:26:54 +0000192 LowerDins(TmpInst);
Simon Dardis669d8dd2016-05-18 10:38:01 +0000193 break;
Simon Dardisb60833c2016-05-31 17:34:42 +0000194 // Compact branches, enforce encoding restrictions.
Simon Dardis669d8dd2016-05-18 10:38:01 +0000195 case Mips::BEQC:
196 case Mips::BNEC:
Simon Dardisb60833c2016-05-31 17:34:42 +0000197 case Mips::BOVC:
Hrvoje Vargac962c492016-06-09 12:57:23 +0000198 case Mips::BOVC_MMR6:
Simon Dardisb60833c2016-05-31 17:34:42 +0000199 case Mips::BNVC:
Hrvoje Vargac962c492016-06-09 12:57:23 +0000200 case Mips::BNVC_MMR6:
Simon Dardis669d8dd2016-05-18 10:38:01 +0000201 LowerCompactBranch(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000202 }
203
Jack Carter97700972013-08-13 20:19:16 +0000204 unsigned long N = Fixups.size();
David Woodhouse3fa98a62014-01-28 23:13:18 +0000205 uint32_t Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000206
207 // Check for unimplemented opcodes.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000208 // Unfortunately in MIPS both NOP and SLL will come in with Binary == 0
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000209 // so we have to special check for them.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000210 unsigned Opcode = TmpInst.getOpcode();
Jozef Kolekc7e220f2014-11-29 13:29:24 +0000211 if ((Opcode != Mips::NOP) && (Opcode != Mips::SLL) &&
212 (Opcode != Mips::SLL_MM) && !Binary)
Jim Grosbach91df21f2015-05-15 19:13:16 +0000213 llvm_unreachable("unimplemented opcode in encodeInstruction()");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000214
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000215 int NewOpcode = -1;
Jozef Kolek6ca13ea2015-04-20 12:42:08 +0000216 if (isMicroMips(STI)) {
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000217 if (isMips32r6(STI)) {
218 NewOpcode = Mips::MipsR62MicroMipsR6(Opcode, Mips::Arch_micromipsr6);
219 if (NewOpcode == -1)
220 NewOpcode = Mips::Std2MicroMipsR6(Opcode, Mips::Arch_micromipsr6);
221 }
222 else
223 NewOpcode = Mips::Std2MicroMips(Opcode, Mips::Arch_micromips);
224
Zoran Jovanovic2e386d32015-10-12 16:07:25 +0000225 // Check whether it is Dsp instruction.
226 if (NewOpcode == -1)
227 NewOpcode = Mips::Dsp2MicroMips(Opcode, Mips::Arch_mmdsp);
228
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000229 if (NewOpcode != -1) {
Jack Carter97700972013-08-13 20:19:16 +0000230 if (Fixups.size() > N)
231 Fixups.pop_back();
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000232
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000233 Opcode = NewOpcode;
234 TmpInst.setOpcode (NewOpcode);
David Woodhouse3fa98a62014-01-28 23:13:18 +0000235 Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000236 }
237 }
238
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000239 const MCInstrDesc &Desc = MCII.get(TmpInst.getOpcode());
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000240
Jack Carter5b5559d2012-10-03 21:58:54 +0000241 // Get byte count of instruction
242 unsigned Size = Desc.getSize();
243 if (!Size)
244 llvm_unreachable("Desc.getSize() returns 0");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000245
David Woodhoused2cca112014-01-28 23:13:25 +0000246 EmitInstruction(Binary, Size, STI, OS);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000247}
248
249/// getBranchTargetOpValue - Return binary encoding of the branch
250/// target operand. If the machine operand requires relocation,
251/// record the relocation and return zero.
252unsigned MipsMCCodeEmitter::
253getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000254 SmallVectorImpl<MCFixup> &Fixups,
255 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000256
257 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter71e6a742012-09-06 00:43:26 +0000258
Jack Carter4f69a0f2013-03-22 00:29:10 +0000259 // If the destination is an immediate, divide by 4.
260 if (MO.isImm()) return MO.getImm() >> 2;
261
Jack Carter71e6a742012-09-06 00:43:26 +0000262 assert(MO.isExpr() &&
263 "getBranchTargetOpValue expects only expressions or immediates");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000264
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000265 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
266 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
267 Fixups.push_back(MCFixup::create(0, FixupExpression,
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000268 MCFixupKind(Mips::fixup_Mips_PC16)));
269 return 0;
270}
271
Hrvoje Varga6f09cdf2016-05-13 11:32:53 +0000272/// getBranchTargetOpValue1SImm16 - Return binary encoding of the branch
273/// target operand. If the machine operand requires relocation,
274/// record the relocation and return zero.
275unsigned MipsMCCodeEmitter::
276getBranchTargetOpValue1SImm16(const MCInst &MI, unsigned OpNo,
277 SmallVectorImpl<MCFixup> &Fixups,
278 const MCSubtargetInfo &STI) const {
279
280 const MCOperand &MO = MI.getOperand(OpNo);
281
282 // If the destination is an immediate, divide by 2.
283 if (MO.isImm()) return MO.getImm() >> 1;
284
285 assert(MO.isExpr() &&
286 "getBranchTargetOpValue expects only expressions or immediates");
287
288 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
289 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
290 Fixups.push_back(MCFixup::create(0, FixupExpression,
291 MCFixupKind(Mips::fixup_Mips_PC16)));
292 return 0;
293}
294
Hrvoje Vargac962c492016-06-09 12:57:23 +0000295/// getBranchTargetOpValueMMR6 - Return binary encoding of the branch
296/// target operand. If the machine operand requires relocation,
297/// record the relocation and return zero.
298unsigned MipsMCCodeEmitter::
299getBranchTargetOpValueMMR6(const MCInst &MI, unsigned OpNo,
300 SmallVectorImpl<MCFixup> &Fixups,
301 const MCSubtargetInfo &STI) const {
302
303 const MCOperand &MO = MI.getOperand(OpNo);
304
305 // If the destination is an immediate, divide by 2.
306 if (MO.isImm())
307 return MO.getImm() >> 1;
308
309 assert(MO.isExpr() &&
310 "getBranchTargetOpValueMMR6 expects only expressions or immediates");
311
312 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
313 MO.getExpr(), MCConstantExpr::create(-2, Ctx), Ctx);
314 Fixups.push_back(MCFixup::create(0, FixupExpression,
315 MCFixupKind(Mips::fixup_Mips_PC16)));
316 return 0;
317}
318
Jozef Kolek9761e962015-01-12 12:03:34 +0000319/// getBranchTarget7OpValueMM - Return binary encoding of the microMIPS branch
320/// target operand. If the machine operand requires relocation,
321/// record the relocation and return zero.
322unsigned MipsMCCodeEmitter::
323getBranchTarget7OpValueMM(const MCInst &MI, unsigned OpNo,
324 SmallVectorImpl<MCFixup> &Fixups,
325 const MCSubtargetInfo &STI) const {
326
327 const MCOperand &MO = MI.getOperand(OpNo);
328
329 // If the destination is an immediate, divide by 2.
330 if (MO.isImm()) return MO.getImm() >> 1;
331
332 assert(MO.isExpr() &&
333 "getBranchTargetOpValueMM expects only expressions or immediates");
334
335 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000336 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek9761e962015-01-12 12:03:34 +0000337 MCFixupKind(Mips::fixup_MICROMIPS_PC7_S1)));
338 return 0;
339}
340
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000341/// getBranchTargetOpValueMMPC10 - Return binary encoding of the microMIPS
342/// 10-bit branch target operand. If the machine operand requires relocation,
343/// record the relocation and return zero.
344unsigned MipsMCCodeEmitter::
345getBranchTargetOpValueMMPC10(const MCInst &MI, unsigned OpNo,
346 SmallVectorImpl<MCFixup> &Fixups,
347 const MCSubtargetInfo &STI) const {
348
349 const MCOperand &MO = MI.getOperand(OpNo);
350
351 // If the destination is an immediate, divide by 2.
352 if (MO.isImm()) return MO.getImm() >> 1;
353
354 assert(MO.isExpr() &&
355 "getBranchTargetOpValuePC10 expects only expressions or immediates");
356
357 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000358 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000359 MCFixupKind(Mips::fixup_MICROMIPS_PC10_S1)));
360 return 0;
361}
362
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000363/// getBranchTargetOpValue - Return binary encoding of the microMIPS branch
364/// target operand. If the machine operand requires relocation,
365/// record the relocation and return zero.
366unsigned MipsMCCodeEmitter::
367getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000368 SmallVectorImpl<MCFixup> &Fixups,
369 const MCSubtargetInfo &STI) const {
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000370
371 const MCOperand &MO = MI.getOperand(OpNo);
372
373 // If the destination is an immediate, divide by 2.
374 if (MO.isImm()) return MO.getImm() >> 1;
375
376 assert(MO.isExpr() &&
377 "getBranchTargetOpValueMM expects only expressions or immediates");
378
379 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000380 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000381 MCFixupKind(Mips::
382 fixup_MICROMIPS_PC16_S1)));
383 return 0;
384}
385
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000386/// getBranchTarget21OpValue - Return binary encoding of the branch
387/// target operand. If the machine operand requires relocation,
388/// record the relocation and return zero.
389unsigned MipsMCCodeEmitter::
390getBranchTarget21OpValue(const MCInst &MI, unsigned OpNo,
391 SmallVectorImpl<MCFixup> &Fixups,
392 const MCSubtargetInfo &STI) const {
393
394 const MCOperand &MO = MI.getOperand(OpNo);
395
396 // If the destination is an immediate, divide by 4.
397 if (MO.isImm()) return MO.getImm() >> 2;
398
399 assert(MO.isExpr() &&
400 "getBranchTarget21OpValue expects only expressions or immediates");
401
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000402 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
403 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
404 Fixups.push_back(MCFixup::create(0, FixupExpression,
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000405 MCFixupKind(Mips::fixup_MIPS_PC21_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000406 return 0;
407}
408
Zoran Jovanovic84e4d592016-05-17 11:10:15 +0000409/// getBranchTarget21OpValueMM - Return binary encoding of the branch
410/// target operand for microMIPS. If the machine operand requires
411/// relocation, record the relocation and return zero.
412unsigned MipsMCCodeEmitter::
413getBranchTarget21OpValueMM(const MCInst &MI, unsigned OpNo,
414 SmallVectorImpl<MCFixup> &Fixups,
415 const MCSubtargetInfo &STI) const {
416
417 const MCOperand &MO = MI.getOperand(OpNo);
418
419 // If the destination is an immediate, divide by 2.
420 if (MO.isImm()) return MO.getImm() >> 1;
421
422 assert(MO.isExpr() &&
423 "getBranchTarget21OpValueMM expects only expressions or immediates");
424
Zoran Jovanovic5f94ced2016-05-19 12:20:40 +0000425 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
426 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
427 Fixups.push_back(MCFixup::create(0, FixupExpression,
428 MCFixupKind(Mips::fixup_MICROMIPS_PC21_S1)));
Zoran Jovanovic84e4d592016-05-17 11:10:15 +0000429 return 0;
430}
431
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000432/// getBranchTarget26OpValue - Return binary encoding of the branch
433/// target operand. If the machine operand requires relocation,
434/// record the relocation and return zero.
435unsigned MipsMCCodeEmitter::
436getBranchTarget26OpValue(const MCInst &MI, unsigned OpNo,
437 SmallVectorImpl<MCFixup> &Fixups,
438 const MCSubtargetInfo &STI) const {
439
440 const MCOperand &MO = MI.getOperand(OpNo);
441
442 // If the destination is an immediate, divide by 4.
443 if (MO.isImm()) return MO.getImm() >> 2;
444
445 assert(MO.isExpr() &&
446 "getBranchTarget26OpValue expects only expressions or immediates");
447
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000448 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
449 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
450 Fixups.push_back(MCFixup::create(0, FixupExpression,
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000451 MCFixupKind(Mips::fixup_MIPS_PC26_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000452 return 0;
453}
454
Zoran Jovanovica887b362015-11-30 12:56:18 +0000455/// getBranchTarget26OpValueMM - Return binary encoding of the branch
456/// target operand. If the machine operand requires relocation,
457/// record the relocation and return zero.
458unsigned MipsMCCodeEmitter::getBranchTarget26OpValueMM(
459 const MCInst &MI, unsigned OpNo, SmallVectorImpl<MCFixup> &Fixups,
460 const MCSubtargetInfo &STI) const {
461
462 const MCOperand &MO = MI.getOperand(OpNo);
463
464 // If the destination is an immediate, divide by 2.
465 if (MO.isImm())
466 return MO.getImm() >> 1;
467
Zoran Jovanovic02b70032016-04-21 13:43:26 +0000468 assert(MO.isExpr() &&
469 "getBranchTarget26OpValueMM expects only expressions or immediates");
470
471 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
472 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
473 Fixups.push_back(MCFixup::create(0, FixupExpression,
474 MCFixupKind(Mips::fixup_MICROMIPS_PC26_S1)));
Zoran Jovanovica887b362015-11-30 12:56:18 +0000475 return 0;
476}
477
Zoran Jovanovic52c56b92014-05-16 13:19:46 +0000478/// getJumpOffset16OpValue - Return binary encoding of the jump
479/// target operand. If the machine operand requires relocation,
480/// record the relocation and return zero.
481unsigned MipsMCCodeEmitter::
482getJumpOffset16OpValue(const MCInst &MI, unsigned OpNo,
483 SmallVectorImpl<MCFixup> &Fixups,
484 const MCSubtargetInfo &STI) const {
485
486 const MCOperand &MO = MI.getOperand(OpNo);
487
488 if (MO.isImm()) return MO.getImm();
489
490 assert(MO.isExpr() &&
491 "getJumpOffset16OpValue expects only expressions or an immediate");
492
493 // TODO: Push fixup.
494 return 0;
495}
496
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000497/// getJumpTargetOpValue - Return binary encoding of the jump
498/// target operand. If the machine operand requires relocation,
499/// record the relocation and return zero.
500unsigned MipsMCCodeEmitter::
501getJumpTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000502 SmallVectorImpl<MCFixup> &Fixups,
503 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000504
505 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter4f69a0f2013-03-22 00:29:10 +0000506 // If the destination is an immediate, divide by 4.
507 if (MO.isImm()) return MO.getImm()>>2;
508
Jack Carter71e6a742012-09-06 00:43:26 +0000509 assert(MO.isExpr() &&
510 "getJumpTargetOpValue expects only expressions or an immediate");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000511
512 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000513 Fixups.push_back(MCFixup::create(0, Expr,
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000514 MCFixupKind(Mips::fixup_Mips_26)));
515 return 0;
516}
517
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000518unsigned MipsMCCodeEmitter::
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000519getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000520 SmallVectorImpl<MCFixup> &Fixups,
521 const MCSubtargetInfo &STI) const {
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000522
523 const MCOperand &MO = MI.getOperand(OpNo);
524 // If the destination is an immediate, divide by 2.
525 if (MO.isImm()) return MO.getImm() >> 1;
526
527 assert(MO.isExpr() &&
528 "getJumpTargetOpValueMM expects only expressions or an immediate");
529
530 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000531 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000532 MCFixupKind(Mips::fixup_MICROMIPS_26_S1)));
533 return 0;
534}
535
536unsigned MipsMCCodeEmitter::
Zoran Jovanovicc74e3eb92014-09-12 14:29:54 +0000537getUImm5Lsl2Encoding(const MCInst &MI, unsigned OpNo,
538 SmallVectorImpl<MCFixup> &Fixups,
539 const MCSubtargetInfo &STI) const {
540
541 const MCOperand &MO = MI.getOperand(OpNo);
542 if (MO.isImm()) {
543 // The immediate is encoded as 'immediate << 2'.
544 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
545 assert((Res & 3) == 0);
546 return Res >> 2;
547 }
548
549 assert(MO.isExpr() &&
550 "getUImm5Lsl2Encoding expects only expressions or an immediate");
551
552 return 0;
553}
554
555unsigned MipsMCCodeEmitter::
Zoran Jovanovicbac36192014-10-23 11:06:34 +0000556getSImm3Lsa2Value(const MCInst &MI, unsigned OpNo,
557 SmallVectorImpl<MCFixup> &Fixups,
558 const MCSubtargetInfo &STI) const {
559
560 const MCOperand &MO = MI.getOperand(OpNo);
561 if (MO.isImm()) {
562 int Value = MO.getImm();
563 return Value >> 2;
564 }
565
566 return 0;
567}
568
569unsigned MipsMCCodeEmitter::
Zoran Jovanovic42b84442014-10-23 11:13:59 +0000570getUImm6Lsl2Encoding(const MCInst &MI, unsigned OpNo,
571 SmallVectorImpl<MCFixup> &Fixups,
572 const MCSubtargetInfo &STI) const {
573
574 const MCOperand &MO = MI.getOperand(OpNo);
575 if (MO.isImm()) {
576 unsigned Value = MO.getImm();
577 return Value >> 2;
578 }
579
580 return 0;
581}
582
583unsigned MipsMCCodeEmitter::
Zoran Jovanovic98bd58c2014-10-10 14:37:30 +0000584getSImm9AddiuspValue(const MCInst &MI, unsigned OpNo,
585 SmallVectorImpl<MCFixup> &Fixups,
586 const MCSubtargetInfo &STI) const {
587
588 const MCOperand &MO = MI.getOperand(OpNo);
589 if (MO.isImm()) {
590 unsigned Binary = (MO.getImm() >> 2) & 0x0000ffff;
591 return (((Binary & 0x8000) >> 7) | (Binary & 0x00ff));
592 }
593
594 return 0;
595}
596
597unsigned MipsMCCodeEmitter::
Daniel Sanders60f1db02015-03-13 12:45:09 +0000598getExprOpValue(const MCExpr *Expr, SmallVectorImpl<MCFixup> &Fixups,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000599 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000600 int64_t Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000601
Jim Grosbach13760bd2015-05-30 01:25:56 +0000602 if (Expr->evaluateAsAbsolute(Res))
Jack Carterb5cf5902013-04-17 00:18:04 +0000603 return Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000604
Akira Hatanakafe384a22012-03-27 02:33:05 +0000605 MCExpr::ExprKind Kind = Expr->getKind();
Jack Carterb5cf5902013-04-17 00:18:04 +0000606 if (Kind == MCExpr::Constant) {
607 return cast<MCConstantExpr>(Expr)->getValue();
608 }
Akira Hatanakae2eed962011-12-22 01:05:17 +0000609
Akira Hatanakafe384a22012-03-27 02:33:05 +0000610 if (Kind == MCExpr::Binary) {
David Woodhouse3fa98a62014-01-28 23:13:18 +0000611 unsigned Res = getExprOpValue(cast<MCBinaryExpr>(Expr)->getLHS(), Fixups, STI);
612 Res += getExprOpValue(cast<MCBinaryExpr>(Expr)->getRHS(), Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000613 return Res;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000614 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000615
616 if (Kind == MCExpr::Target) {
617 const MipsMCExpr *MipsExpr = cast<MipsMCExpr>(Expr);
618
619 Mips::Fixups FixupKind = Mips::Fixups(0);
620 switch (MipsExpr->getKind()) {
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000621 case MipsMCExpr::MEK_NEG:
622 case MipsMCExpr::MEK_None:
623 case MipsMCExpr::MEK_Special:
624 llvm_unreachable("Unhandled fixup kind!");
625 break;
626 case MipsMCExpr::MEK_CALL_HI16:
627 FixupKind = Mips::fixup_Mips_CALL_HI16;
628 break;
629 case MipsMCExpr::MEK_CALL_LO16:
630 FixupKind = Mips::fixup_Mips_CALL_LO16;
631 break;
632 case MipsMCExpr::MEK_DTPREL_HI:
633 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_HI16
634 : Mips::fixup_Mips_DTPREL_HI;
635 break;
636 case MipsMCExpr::MEK_DTPREL_LO:
637 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_LO16
638 : Mips::fixup_Mips_DTPREL_LO;
639 break;
640 case MipsMCExpr::MEK_GOTTPREL:
641 FixupKind = Mips::fixup_Mips_GOTTPREL;
642 break;
643 case MipsMCExpr::MEK_GOT:
644 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16
645 : Mips::fixup_Mips_GOT;
646 break;
647 case MipsMCExpr::MEK_GOT_CALL:
648 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_CALL16
649 : Mips::fixup_Mips_CALL16;
650 break;
651 case MipsMCExpr::MEK_GOT_DISP:
652 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_DISP
653 : Mips::fixup_Mips_GOT_DISP;
654 break;
655 case MipsMCExpr::MEK_GOT_HI16:
656 FixupKind = Mips::fixup_Mips_GOT_HI16;
657 break;
658 case MipsMCExpr::MEK_GOT_LO16:
659 FixupKind = Mips::fixup_Mips_GOT_LO16;
660 break;
661 case MipsMCExpr::MEK_GOT_PAGE:
662 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_PAGE
663 : Mips::fixup_Mips_GOT_PAGE;
664 break;
665 case MipsMCExpr::MEK_GOT_OFST:
666 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_OFST
667 : Mips::fixup_Mips_GOT_OFST;
668 break;
669 case MipsMCExpr::MEK_GPREL:
670 FixupKind = Mips::fixup_Mips_GPREL16;
671 break;
672 case MipsMCExpr::MEK_LO: {
673 // Check for %lo(%neg(%gp_rel(X)))
674 if (MipsExpr->isGpOff()) {
675 FixupKind = Mips::fixup_Mips_GPOFF_LO;
676 break;
677 }
678 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16
679 : Mips::fixup_Mips_LO16;
680 break;
681 }
682 case MipsMCExpr::MEK_HIGHEST:
Sasa Stankovic06c47802014-04-03 10:37:45 +0000683 FixupKind = Mips::fixup_Mips_HIGHEST;
684 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000685 case MipsMCExpr::MEK_HIGHER:
Sasa Stankovic06c47802014-04-03 10:37:45 +0000686 FixupKind = Mips::fixup_Mips_HIGHER;
687 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000688 case MipsMCExpr::MEK_HI:
689 // Check for %hi(%neg(%gp_rel(X)))
690 if (MipsExpr->isGpOff()) {
691 FixupKind = Mips::fixup_Mips_GPOFF_HI;
692 break;
693 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000694 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16
695 : Mips::fixup_Mips_HI16;
696 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000697 case MipsMCExpr::MEK_PCREL_HI16:
698 FixupKind = Mips::fixup_MIPS_PCHI16;
699 break;
700 case MipsMCExpr::MEK_PCREL_LO16:
701 FixupKind = Mips::fixup_MIPS_PCLO16;
702 break;
703 case MipsMCExpr::MEK_TLSGD:
704 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_GD
705 : Mips::fixup_Mips_TLSGD;
706 break;
707 case MipsMCExpr::MEK_TLSLDM:
708 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_LDM
709 : Mips::fixup_Mips_TLSLDM;
710 break;
711 case MipsMCExpr::MEK_TPREL_HI:
712 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_HI16
713 : Mips::fixup_Mips_TPREL_HI;
714 break;
715 case MipsMCExpr::MEK_TPREL_LO:
716 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_LO16
717 : Mips::fixup_Mips_TPREL_LO;
Petar Jovanovica5da5882014-02-04 18:41:57 +0000718 break;
719 }
Jim Grosbach63661f82015-05-15 19:13:05 +0000720 Fixups.push_back(MCFixup::create(0, MipsExpr, MCFixupKind(FixupKind)));
Petar Jovanovica5da5882014-02-04 18:41:57 +0000721 return 0;
722 }
723
Jack Carterb5cf5902013-04-17 00:18:04 +0000724 if (Kind == MCExpr::SymbolRef) {
Mark Seabornc3bd1772013-12-31 13:05:15 +0000725 Mips::Fixups FixupKind = Mips::Fixups(0);
Akira Hatanakafe384a22012-03-27 02:33:05 +0000726
Mark Seabornc3bd1772013-12-31 13:05:15 +0000727 switch(cast<MCSymbolRefExpr>(Expr)->getKind()) {
728 default: llvm_unreachable("Unknown fixup kind!");
729 break;
Daniel Sanders60f1db02015-03-13 12:45:09 +0000730 case MCSymbolRefExpr::VK_None:
731 FixupKind = Mips::fixup_Mips_32; // FIXME: This is ok for O32/N32 but not N64.
732 break;
Mark Seabornc3bd1772013-12-31 13:05:15 +0000733 } // switch
Akira Hatanakafe384a22012-03-27 02:33:05 +0000734
Jim Grosbach63661f82015-05-15 19:13:05 +0000735 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Jack Carterb5cf5902013-04-17 00:18:04 +0000736 return 0;
737 }
Akira Hatanakafe384a22012-03-27 02:33:05 +0000738 return 0;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000739}
740
Jack Carterb5cf5902013-04-17 00:18:04 +0000741/// getMachineOpValue - Return binary encoding of operand. If the machine
742/// operand requires relocation, record the relocation and return zero.
743unsigned MipsMCCodeEmitter::
744getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000745 SmallVectorImpl<MCFixup> &Fixups,
746 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000747 if (MO.isReg()) {
748 unsigned Reg = MO.getReg();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000749 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
Jack Carterb5cf5902013-04-17 00:18:04 +0000750 return RegNo;
751 } else if (MO.isImm()) {
752 return static_cast<unsigned>(MO.getImm());
753 } else if (MO.isFPImm()) {
754 return static_cast<unsigned>(APFloat(MO.getFPImm())
755 .bitcastToAPInt().getHiBits(32).getLimitedValue());
756 }
757 // MO must be an Expr.
758 assert(MO.isExpr());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000759 return getExprOpValue(MO.getExpr(),Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000760}
761
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000762/// Return binary encoding of memory related operand.
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000763/// If the offset operand requires relocation, record the relocation.
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000764template <unsigned ShiftAmount>
765unsigned MipsMCCodeEmitter::getMemEncoding(const MCInst &MI, unsigned OpNo,
766 SmallVectorImpl<MCFixup> &Fixups,
767 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000768 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
769 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000770 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16;
771 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000772
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000773 // Apply the scale factor if there is one.
774 OffBits >>= ShiftAmount;
775
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000776 return (OffBits & 0xFFFF) | RegBits;
777}
778
Jack Carter97700972013-08-13 20:19:16 +0000779unsigned MipsMCCodeEmitter::
Jozef Koleke8c9d1e2014-11-24 14:39:13 +0000780getMemEncodingMMImm4(const MCInst &MI, unsigned OpNo,
781 SmallVectorImpl<MCFixup> &Fixups,
782 const MCSubtargetInfo &STI) const {
783 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
784 assert(MI.getOperand(OpNo).isReg());
785 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
786 Fixups, STI) << 4;
787 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
788 Fixups, STI);
789
790 return (OffBits & 0xF) | RegBits;
791}
792
793unsigned MipsMCCodeEmitter::
794getMemEncodingMMImm4Lsl1(const MCInst &MI, unsigned OpNo,
795 SmallVectorImpl<MCFixup> &Fixups,
796 const MCSubtargetInfo &STI) const {
797 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
798 assert(MI.getOperand(OpNo).isReg());
799 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
800 Fixups, STI) << 4;
801 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
802 Fixups, STI) >> 1;
803
804 return (OffBits & 0xF) | RegBits;
805}
806
807unsigned MipsMCCodeEmitter::
808getMemEncodingMMImm4Lsl2(const MCInst &MI, unsigned OpNo,
809 SmallVectorImpl<MCFixup> &Fixups,
810 const MCSubtargetInfo &STI) const {
811 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
812 assert(MI.getOperand(OpNo).isReg());
813 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
814 Fixups, STI) << 4;
815 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
816 Fixups, STI) >> 2;
817
818 return (OffBits & 0xF) | RegBits;
819}
820
821unsigned MipsMCCodeEmitter::
Jozef Kolek12c69822014-12-23 16:16:33 +0000822getMemEncodingMMSPImm5Lsl2(const MCInst &MI, unsigned OpNo,
823 SmallVectorImpl<MCFixup> &Fixups,
824 const MCSubtargetInfo &STI) const {
825 // Register is encoded in bits 9-5, offset is encoded in bits 4-0.
826 assert(MI.getOperand(OpNo).isReg() &&
Zoran Jovanovic68be5f22015-09-08 08:25:34 +0000827 (MI.getOperand(OpNo).getReg() == Mips::SP ||
828 MI.getOperand(OpNo).getReg() == Mips::SP_64) &&
Jozef Kolek12c69822014-12-23 16:16:33 +0000829 "Unexpected base register!");
830 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
831 Fixups, STI) >> 2;
832
833 return OffBits & 0x1F;
834}
835
836unsigned MipsMCCodeEmitter::
Jozef Koleke10a02e2015-01-28 17:27:26 +0000837getMemEncodingMMGPImm7Lsl2(const MCInst &MI, unsigned OpNo,
838 SmallVectorImpl<MCFixup> &Fixups,
839 const MCSubtargetInfo &STI) const {
840 // Register is encoded in bits 9-7, offset is encoded in bits 6-0.
841 assert(MI.getOperand(OpNo).isReg() &&
842 MI.getOperand(OpNo).getReg() == Mips::GP &&
843 "Unexpected base register!");
844
845 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
846 Fixups, STI) >> 2;
847
848 return OffBits & 0x7F;
849}
850
Hrvoje Varga3c88fbd2015-10-16 12:24:58 +0000851unsigned MipsMCCodeEmitter::
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000852getMemEncodingMMImm9(const MCInst &MI, unsigned OpNo,
853 SmallVectorImpl<MCFixup> &Fixups,
854 const MCSubtargetInfo &STI) const {
855 // Base register is encoded in bits 20-16, offset is encoded in bits 8-0.
856 assert(MI.getOperand(OpNo).isReg());
857 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
858 STI) << 16;
Zoran Jovanovic7beb7372015-09-15 10:05:10 +0000859 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo + 1), Fixups, STI);
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000860
861 return (OffBits & 0x1FF) | RegBits;
862}
863
Jozef Koleke10a02e2015-01-28 17:27:26 +0000864unsigned MipsMCCodeEmitter::
Jack Carter97700972013-08-13 20:19:16 +0000865getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000866 SmallVectorImpl<MCFixup> &Fixups,
867 const MCSubtargetInfo &STI) const {
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000868 // opNum can be invalid if instruction had reglist as operand.
869 // MemOperand is always last operand of instruction (base + offset).
870 switch (MI.getOpcode()) {
871 default:
872 break;
873 case Mips::SWM32_MM:
874 case Mips::LWM32_MM:
875 OpNo = MI.getNumOperands() - 2;
876 break;
877 }
878
Jack Carter97700972013-08-13 20:19:16 +0000879 // Base register is encoded in bits 20-16, offset is encoded in bits 11-0.
880 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000881 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) << 16;
882 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Jack Carter97700972013-08-13 20:19:16 +0000883
884 return (OffBits & 0x0FFF) | RegBits;
885}
886
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000887unsigned MipsMCCodeEmitter::
Hrvoje Varga3c88fbd2015-10-16 12:24:58 +0000888getMemEncodingMMImm16(const MCInst &MI, unsigned OpNo,
889 SmallVectorImpl<MCFixup> &Fixups,
890 const MCSubtargetInfo &STI) const {
891 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
892 assert(MI.getOperand(OpNo).isReg());
893 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
894 STI) << 16;
895 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
896
897 return (OffBits & 0xFFFF) | RegBits;
898}
899
900unsigned MipsMCCodeEmitter::
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000901getMemEncodingMMImm4sp(const MCInst &MI, unsigned OpNo,
902 SmallVectorImpl<MCFixup> &Fixups,
903 const MCSubtargetInfo &STI) const {
904 // opNum can be invalid if instruction had reglist as operand
905 // MemOperand is always last operand of instruction (base + offset)
906 switch (MI.getOpcode()) {
907 default:
908 break;
909 case Mips::SWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000910 case Mips::SWM16_MMR6:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000911 case Mips::LWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000912 case Mips::LWM16_MMR6:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000913 OpNo = MI.getNumOperands() - 2;
914 break;
915 }
916
917 // Offset is encoded in bits 4-0.
918 assert(MI.getOperand(OpNo).isReg());
919 // Base register is always SP - thus it is not encoded.
920 assert(MI.getOperand(OpNo+1).isImm());
921 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
922
923 return ((OffBits >> 2) & 0x0F);
924}
925
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000926// FIXME: should be called getMSBEncoding
927//
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000928unsigned
929MipsMCCodeEmitter::getSizeInsEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000930 SmallVectorImpl<MCFixup> &Fixups,
931 const MCSubtargetInfo &STI) const {
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000932 assert(MI.getOperand(OpNo-1).isImm());
933 assert(MI.getOperand(OpNo).isImm());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000934 unsigned Position = getMachineOpValue(MI, MI.getOperand(OpNo-1), Fixups, STI);
935 unsigned Size = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000936
Bruno Cardoso Lopes56b70de2011-12-07 22:35:30 +0000937 return Position + Size - 1;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000938}
939
Daniel Sandersea4f6532015-11-06 12:22:31 +0000940template <unsigned Bits, int Offset>
Matheus Almeida779c5932013-11-18 12:32:49 +0000941unsigned
Daniel Sandersea4f6532015-11-06 12:22:31 +0000942MipsMCCodeEmitter::getUImmWithOffsetEncoding(const MCInst &MI, unsigned OpNo,
943 SmallVectorImpl<MCFixup> &Fixups,
944 const MCSubtargetInfo &STI) const {
Matheus Almeida779c5932013-11-18 12:32:49 +0000945 assert(MI.getOperand(OpNo).isImm());
Daniel Sandersea4f6532015-11-06 12:22:31 +0000946 unsigned Value = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
947 Value -= Offset;
948 return Value;
Matheus Almeida779c5932013-11-18 12:32:49 +0000949}
950
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000951unsigned
952MipsMCCodeEmitter::getSimm19Lsl2Encoding(const MCInst &MI, unsigned OpNo,
953 SmallVectorImpl<MCFixup> &Fixups,
954 const MCSubtargetInfo &STI) const {
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +0000955 const MCOperand &MO = MI.getOperand(OpNo);
956 if (MO.isImm()) {
957 // The immediate is encoded as 'immediate << 2'.
958 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
959 assert((Res & 3) == 0);
960 return Res >> 2;
961 }
962
963 assert(MO.isExpr() &&
964 "getSimm19Lsl2Encoding expects only expressions or an immediate");
965
966 const MCExpr *Expr = MO.getExpr();
Zoran Jovanovic6764fa72016-04-21 14:09:35 +0000967 Mips::Fixups FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_PC19_S2
968 : Mips::fixup_MIPS_PC19_S2;
969 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +0000970 return 0;
Daniel Sandersb59e1a42014-05-15 10:45:58 +0000971}
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000972
Zoran Jovanovic28551422014-06-09 09:49:51 +0000973unsigned
974MipsMCCodeEmitter::getSimm18Lsl3Encoding(const MCInst &MI, unsigned OpNo,
975 SmallVectorImpl<MCFixup> &Fixups,
976 const MCSubtargetInfo &STI) const {
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +0000977 const MCOperand &MO = MI.getOperand(OpNo);
978 if (MO.isImm()) {
979 // The immediate is encoded as 'immediate << 3'.
980 unsigned Res = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
981 assert((Res & 7) == 0);
982 return Res >> 3;
983 }
984
985 assert(MO.isExpr() &&
986 "getSimm18Lsl2Encoding expects only expressions or an immediate");
987
988 const MCExpr *Expr = MO.getExpr();
Zoran Jovanovic8e366822016-04-22 10:15:12 +0000989 Mips::Fixups FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_PC18_S3
990 : Mips::fixup_MIPS_PC18_S3;
991 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +0000992 return 0;
Zoran Jovanovic28551422014-06-09 09:49:51 +0000993}
994
Zoran Jovanovic4a00fdc2014-10-23 10:42:01 +0000995unsigned
996MipsMCCodeEmitter::getUImm3Mod8Encoding(const MCInst &MI, unsigned OpNo,
997 SmallVectorImpl<MCFixup> &Fixups,
998 const MCSubtargetInfo &STI) const {
999 assert(MI.getOperand(OpNo).isImm());
1000 const MCOperand &MO = MI.getOperand(OpNo);
1001 return MO.getImm() % 8;
1002}
1003
Zoran Jovanovic88531712014-11-05 17:31:00 +00001004unsigned
1005MipsMCCodeEmitter::getUImm4AndValue(const MCInst &MI, unsigned OpNo,
1006 SmallVectorImpl<MCFixup> &Fixups,
1007 const MCSubtargetInfo &STI) const {
1008 assert(MI.getOperand(OpNo).isImm());
1009 const MCOperand &MO = MI.getOperand(OpNo);
1010 unsigned Value = MO.getImm();
1011 switch (Value) {
1012 case 128: return 0x0;
1013 case 1: return 0x1;
1014 case 2: return 0x2;
1015 case 3: return 0x3;
1016 case 4: return 0x4;
1017 case 7: return 0x5;
1018 case 8: return 0x6;
1019 case 15: return 0x7;
1020 case 16: return 0x8;
1021 case 31: return 0x9;
1022 case 32: return 0xa;
1023 case 63: return 0xb;
1024 case 64: return 0xc;
1025 case 255: return 0xd;
1026 case 32768: return 0xe;
1027 case 65535: return 0xf;
1028 }
1029 llvm_unreachable("Unexpected value");
1030}
1031
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +00001032unsigned
1033MipsMCCodeEmitter::getRegisterListOpValue(const MCInst &MI, unsigned OpNo,
1034 SmallVectorImpl<MCFixup> &Fixups,
1035 const MCSubtargetInfo &STI) const {
1036 unsigned res = 0;
1037
1038 // Register list operand is always first operand of instruction and it is
1039 // placed before memory operand (register + imm).
1040
1041 for (unsigned I = OpNo, E = MI.getNumOperands() - 2; I < E; ++I) {
1042 unsigned Reg = MI.getOperand(I).getReg();
1043 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
1044 if (RegNo != 31)
1045 res++;
1046 else
1047 res |= 0x10;
1048 }
1049 return res;
1050}
1051
Zoran Jovanovicf9a02502014-11-27 18:28:59 +00001052unsigned
1053MipsMCCodeEmitter::getRegisterListOpValue16(const MCInst &MI, unsigned OpNo,
1054 SmallVectorImpl<MCFixup> &Fixups,
1055 const MCSubtargetInfo &STI) const {
1056 return (MI.getNumOperands() - 4);
1057}
1058
Zoran Jovanovic2deca342014-12-16 14:59:10 +00001059unsigned
1060MipsMCCodeEmitter::getRegisterPairOpValue(const MCInst &MI, unsigned OpNo,
1061 SmallVectorImpl<MCFixup> &Fixups,
1062 const MCSubtargetInfo &STI) const {
1063 return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
1064}
1065
Jozef Kolek2c6d7322015-01-21 12:10:11 +00001066unsigned
Zoran Jovanovic41688672015-02-10 16:36:20 +00001067MipsMCCodeEmitter::getMovePRegPairOpValue(const MCInst &MI, unsigned OpNo,
1068 SmallVectorImpl<MCFixup> &Fixups,
1069 const MCSubtargetInfo &STI) const {
1070 unsigned res = 0;
1071
1072 if (MI.getOperand(0).getReg() == Mips::A1 &&
1073 MI.getOperand(1).getReg() == Mips::A2)
1074 res = 0;
1075 else if (MI.getOperand(0).getReg() == Mips::A1 &&
1076 MI.getOperand(1).getReg() == Mips::A3)
1077 res = 1;
1078 else if (MI.getOperand(0).getReg() == Mips::A2 &&
1079 MI.getOperand(1).getReg() == Mips::A3)
1080 res = 2;
1081 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1082 MI.getOperand(1).getReg() == Mips::S5)
1083 res = 3;
1084 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1085 MI.getOperand(1).getReg() == Mips::S6)
1086 res = 4;
1087 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1088 MI.getOperand(1).getReg() == Mips::A1)
1089 res = 5;
1090 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1091 MI.getOperand(1).getReg() == Mips::A2)
1092 res = 6;
1093 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1094 MI.getOperand(1).getReg() == Mips::A3)
1095 res = 7;
1096
1097 return res;
1098}
1099
1100unsigned
Jozef Kolek2c6d7322015-01-21 12:10:11 +00001101MipsMCCodeEmitter::getSimm23Lsl2Encoding(const MCInst &MI, unsigned OpNo,
1102 SmallVectorImpl<MCFixup> &Fixups,
1103 const MCSubtargetInfo &STI) const {
1104 const MCOperand &MO = MI.getOperand(OpNo);
1105 assert(MO.isImm() && "getSimm23Lsl2Encoding expects only an immediate");
1106 // The immediate is encoded as 'immediate >> 2'.
1107 unsigned Res = static_cast<unsigned>(MO.getImm());
1108 assert((Res & 3) == 0);
1109 return Res >> 2;
1110}
1111
Daniel Sandersb59e1a42014-05-15 10:45:58 +00001112#include "MipsGenMCCodeEmitter.inc"