blob: 0614316d5ac7a483d6262d65d1df2b852b14e9cc [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;
Hrvoje Vargaf1e0a032016-06-16 07:06:25 +000081 case Mips::DSLL_MM64R6:
82 Inst.setOpcode(Mips::DSLL32_MM64R6);
83 return;
Hrvoje Varga24b975d2016-06-27 08:23:28 +000084 case Mips::DSRL_MM64R6:
85 Inst.setOpcode(Mips::DSRL32_MM64R6);
86 return;
Hrvoje Vargaf1e0a032016-06-16 07:06:25 +000087 case Mips::DSRA_MM64R6:
88 Inst.setOpcode(Mips::DSRA32_MM64R6);
89 return;
90 case Mips::DROTR_MM64R6:
91 Inst.setOpcode(Mips::DROTR32_MM64R6);
92 return;
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +000093 }
94}
95
Daniel Sanders611eb822016-02-29 15:26:54 +000096// Pick a DINS instruction variant based on the pos and size operands
97static void LowerDins(MCInst& InstIn) {
98 assert(InstIn.getNumOperands() == 5 &&
99 "Invalid no. of machine operands for DINS!");
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000100
101 assert(InstIn.getOperand(2).isImm());
102 int64_t pos = InstIn.getOperand(2).getImm();
103 assert(InstIn.getOperand(3).isImm());
104 int64_t size = InstIn.getOperand(3).getImm();
105
106 if (size <= 32) {
Daniel Sanders611eb822016-02-29 15:26:54 +0000107 if (pos < 32) // DINS, do nothing
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000108 return;
Daniel Sanders611eb822016-02-29 15:26:54 +0000109 // DINSU
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000110 InstIn.getOperand(2).setImm(pos - 32);
Daniel Sanders611eb822016-02-29 15:26:54 +0000111 InstIn.setOpcode(Mips::DINSU);
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000112 return;
113 }
Daniel Sanders611eb822016-02-29 15:26:54 +0000114 // DINSM
115 assert(pos < 32 && "DINS cannot have both size and pos > 32");
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000116 InstIn.getOperand(3).setImm(size - 32);
Daniel Sanders611eb822016-02-29 15:26:54 +0000117 InstIn.setOpcode(Mips::DINSM);
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000118 return;
119}
120
Simon Dardis669d8dd2016-05-18 10:38:01 +0000121// Fix a bad compact branch encoding for beqc/bnec.
122void MipsMCCodeEmitter::LowerCompactBranch(MCInst& Inst) const {
123
124 // Encoding may be illegal !(rs < rt), but this situation is
125 // easily fixed.
126 unsigned RegOp0 = Inst.getOperand(0).getReg();
127 unsigned RegOp1 = Inst.getOperand(1).getReg();
128
129 unsigned Reg0 = Ctx.getRegisterInfo()->getEncodingValue(RegOp0);
130 unsigned Reg1 = Ctx.getRegisterInfo()->getEncodingValue(RegOp1);
131
Simon Dardis68a204d2016-07-26 10:25:07 +0000132 if (Inst.getOpcode() == Mips::BNEC || Inst.getOpcode() == Mips::BEQC ||
133 Inst.getOpcode() == Mips::BNEC64 || Inst.getOpcode() == Mips::BEQC64) {
Simon Dardisb60833c2016-05-31 17:34:42 +0000134 assert(Reg0 != Reg1 && "Instruction has bad operands ($rs == $rt)!");
135 if (Reg0 < Reg1)
136 return;
137 } else if (Inst.getOpcode() == Mips::BNVC || Inst.getOpcode() == Mips::BOVC) {
138 if (Reg0 >= Reg1)
139 return;
Hrvoje Vargac962c492016-06-09 12:57:23 +0000140 } else if (Inst.getOpcode() == Mips::BNVC_MMR6 ||
141 Inst.getOpcode() == Mips::BOVC_MMR6) {
142 if (Reg1 >= Reg0)
143 return;
Simon Dardisb60833c2016-05-31 17:34:42 +0000144 } else
Simon Dardis68a204d2016-07-26 10:25:07 +0000145 llvm_unreachable("Cannot rewrite unknown branch!");
Simon Dardis669d8dd2016-05-18 10:38:01 +0000146
147 Inst.getOperand(0).setReg(RegOp1);
148 Inst.getOperand(1).setReg(RegOp0);
149
150}
151
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000152bool MipsMCCodeEmitter::isMicroMips(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000153 return STI.getFeatureBits()[Mips::FeatureMicroMips];
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000154}
155
Jozef Kolekc22555d2015-04-20 12:23:06 +0000156bool MipsMCCodeEmitter::isMips32r6(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000157 return STI.getFeatureBits()[Mips::FeatureMips32r6];
Jozef Kolekc22555d2015-04-20 12:23:06 +0000158}
159
Matheus Almeida9e1450b2014-03-20 09:29:54 +0000160void MipsMCCodeEmitter::EmitByte(unsigned char C, raw_ostream &OS) const {
161 OS << (char)C;
162}
163
164void MipsMCCodeEmitter::EmitInstruction(uint64_t Val, unsigned Size,
165 const MCSubtargetInfo &STI,
166 raw_ostream &OS) const {
167 // Output the instruction encoding in little endian byte order.
168 // Little-endian byte ordering:
169 // mips32r2: 4 | 3 | 2 | 1
170 // microMIPS: 2 | 1 | 4 | 3
171 if (IsLittleEndian && Size == 4 && isMicroMips(STI)) {
172 EmitInstruction(Val >> 16, 2, STI, OS);
173 EmitInstruction(Val, 2, STI, OS);
174 } else {
175 for (unsigned i = 0; i < Size; ++i) {
176 unsigned Shift = IsLittleEndian ? i * 8 : (Size - 1 - i) * 8;
177 EmitByte((Val >> Shift) & 0xff, OS);
178 }
179 }
180}
181
Jim Grosbach91df21f2015-05-15 19:13:16 +0000182/// encodeInstruction - Emit the instruction.
Jack Carter4e07b95d2013-08-27 19:45:28 +0000183/// Size the instruction with Desc.getSize().
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000184void MipsMCCodeEmitter::
Jim Grosbach91df21f2015-05-15 19:13:16 +0000185encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +0000186 SmallVectorImpl<MCFixup> &Fixups,
187 const MCSubtargetInfo &STI) const
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000188{
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000189
190 // Non-pseudo instructions that get changed for direct object
191 // only based on operand values.
192 // If this list of instructions get much longer we will move
193 // the check to a function call. Until then, this is more efficient.
194 MCInst TmpInst = MI;
195 switch (MI.getOpcode()) {
196 // If shift amount is >= 32 it the inst needs to be lowered further
197 case Mips::DSLL:
198 case Mips::DSRL:
199 case Mips::DSRA:
Akira Hatanaka6a3fe572013-09-07 00:18:01 +0000200 case Mips::DROTR:
Hrvoje Vargaf1e0a032016-06-16 07:06:25 +0000201 case Mips::DSLL_MM64R6:
Hrvoje Varga24b975d2016-06-27 08:23:28 +0000202 case Mips::DSRL_MM64R6:
Hrvoje Vargaf1e0a032016-06-16 07:06:25 +0000203 case Mips::DSRA_MM64R6:
204 case Mips::DROTR_MM64R6:
Rafael Espindolaf30f2cc2013-05-27 22:34:59 +0000205 LowerLargeShift(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000206 break;
207 // Double extract instruction is chosen by pos and size operands
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000208 case Mips::DINS:
Daniel Sanders611eb822016-02-29 15:26:54 +0000209 LowerDins(TmpInst);
Simon Dardis669d8dd2016-05-18 10:38:01 +0000210 break;
Simon Dardisb60833c2016-05-31 17:34:42 +0000211 // Compact branches, enforce encoding restrictions.
Simon Dardis669d8dd2016-05-18 10:38:01 +0000212 case Mips::BEQC:
213 case Mips::BNEC:
Simon Dardis68a204d2016-07-26 10:25:07 +0000214 case Mips::BEQC64:
215 case Mips::BNEC64:
Simon Dardisb60833c2016-05-31 17:34:42 +0000216 case Mips::BOVC:
Hrvoje Vargac962c492016-06-09 12:57:23 +0000217 case Mips::BOVC_MMR6:
Simon Dardisb60833c2016-05-31 17:34:42 +0000218 case Mips::BNVC:
Hrvoje Vargac962c492016-06-09 12:57:23 +0000219 case Mips::BNVC_MMR6:
Simon Dardis669d8dd2016-05-18 10:38:01 +0000220 LowerCompactBranch(TmpInst);
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000221 }
222
Jack Carter97700972013-08-13 20:19:16 +0000223 unsigned long N = Fixups.size();
David Woodhouse3fa98a62014-01-28 23:13:18 +0000224 uint32_t Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000225
226 // Check for unimplemented opcodes.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000227 // Unfortunately in MIPS both NOP and SLL will come in with Binary == 0
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000228 // so we have to special check for them.
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000229 unsigned Opcode = TmpInst.getOpcode();
Jozef Kolekc7e220f2014-11-29 13:29:24 +0000230 if ((Opcode != Mips::NOP) && (Opcode != Mips::SLL) &&
231 (Opcode != Mips::SLL_MM) && !Binary)
Jim Grosbach91df21f2015-05-15 19:13:16 +0000232 llvm_unreachable("unimplemented opcode in encodeInstruction()");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000233
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000234 int NewOpcode = -1;
Jozef Kolek6ca13ea2015-04-20 12:42:08 +0000235 if (isMicroMips(STI)) {
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000236 if (isMips32r6(STI)) {
237 NewOpcode = Mips::MipsR62MicroMipsR6(Opcode, Mips::Arch_micromipsr6);
238 if (NewOpcode == -1)
239 NewOpcode = Mips::Std2MicroMipsR6(Opcode, Mips::Arch_micromipsr6);
240 }
241 else
242 NewOpcode = Mips::Std2MicroMips(Opcode, Mips::Arch_micromips);
243
Zoran Jovanovic2e386d32015-10-12 16:07:25 +0000244 // Check whether it is Dsp instruction.
245 if (NewOpcode == -1)
246 NewOpcode = Mips::Dsp2MicroMips(Opcode, Mips::Arch_mmdsp);
247
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000248 if (NewOpcode != -1) {
Jack Carter97700972013-08-13 20:19:16 +0000249 if (Fixups.size() > N)
250 Fixups.pop_back();
Zoran Jovanovicb59a5412015-04-22 13:27:34 +0000251
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000252 Opcode = NewOpcode;
253 TmpInst.setOpcode (NewOpcode);
David Woodhouse3fa98a62014-01-28 23:13:18 +0000254 Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI);
Akira Hatanakabe6a8182013-04-19 19:03:11 +0000255 }
256 }
257
Jack Carteraa7aeaa2012-10-02 23:09:40 +0000258 const MCInstrDesc &Desc = MCII.get(TmpInst.getOpcode());
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000259
Jack Carter5b5559d2012-10-03 21:58:54 +0000260 // Get byte count of instruction
261 unsigned Size = Desc.getSize();
262 if (!Size)
263 llvm_unreachable("Desc.getSize() returns 0");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000264
David Woodhoused2cca112014-01-28 23:13:25 +0000265 EmitInstruction(Binary, Size, STI, OS);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000266}
267
268/// getBranchTargetOpValue - Return binary encoding of the branch
269/// target operand. If the machine operand requires relocation,
270/// record the relocation and return zero.
271unsigned MipsMCCodeEmitter::
272getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000273 SmallVectorImpl<MCFixup> &Fixups,
274 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000275
276 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter71e6a742012-09-06 00:43:26 +0000277
Jack Carter4f69a0f2013-03-22 00:29:10 +0000278 // If the destination is an immediate, divide by 4.
279 if (MO.isImm()) return MO.getImm() >> 2;
280
Jack Carter71e6a742012-09-06 00:43:26 +0000281 assert(MO.isExpr() &&
282 "getBranchTargetOpValue expects only expressions or immediates");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000283
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000284 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
285 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
286 Fixups.push_back(MCFixup::create(0, FixupExpression,
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000287 MCFixupKind(Mips::fixup_Mips_PC16)));
288 return 0;
289}
290
Hrvoje Varga6f09cdf2016-05-13 11:32:53 +0000291/// getBranchTargetOpValue1SImm16 - Return binary encoding of the branch
292/// target operand. If the machine operand requires relocation,
293/// record the relocation and return zero.
294unsigned MipsMCCodeEmitter::
295getBranchTargetOpValue1SImm16(const MCInst &MI, unsigned OpNo,
296 SmallVectorImpl<MCFixup> &Fixups,
297 const MCSubtargetInfo &STI) const {
298
299 const MCOperand &MO = MI.getOperand(OpNo);
300
301 // If the destination is an immediate, divide by 2.
302 if (MO.isImm()) return MO.getImm() >> 1;
303
304 assert(MO.isExpr() &&
305 "getBranchTargetOpValue expects only expressions or immediates");
306
307 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
308 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
309 Fixups.push_back(MCFixup::create(0, FixupExpression,
310 MCFixupKind(Mips::fixup_Mips_PC16)));
311 return 0;
312}
313
Hrvoje Vargac962c492016-06-09 12:57:23 +0000314/// getBranchTargetOpValueMMR6 - Return binary encoding of the branch
315/// target operand. If the machine operand requires relocation,
316/// record the relocation and return zero.
317unsigned MipsMCCodeEmitter::
318getBranchTargetOpValueMMR6(const MCInst &MI, unsigned OpNo,
319 SmallVectorImpl<MCFixup> &Fixups,
320 const MCSubtargetInfo &STI) const {
321
322 const MCOperand &MO = MI.getOperand(OpNo);
323
324 // If the destination is an immediate, divide by 2.
325 if (MO.isImm())
326 return MO.getImm() >> 1;
327
328 assert(MO.isExpr() &&
329 "getBranchTargetOpValueMMR6 expects only expressions or immediates");
330
331 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
332 MO.getExpr(), MCConstantExpr::create(-2, Ctx), Ctx);
333 Fixups.push_back(MCFixup::create(0, FixupExpression,
334 MCFixupKind(Mips::fixup_Mips_PC16)));
335 return 0;
336}
337
Hrvoje Vargaf0ed16e2016-08-22 12:17:59 +0000338/// getBranchTargetOpValueLsl2MMR6 - Return binary encoding of the branch
339/// target operand. If the machine operand requires relocation,
340/// record the relocation and return zero.
341unsigned MipsMCCodeEmitter::
342getBranchTargetOpValueLsl2MMR6(const MCInst &MI, unsigned OpNo,
343 SmallVectorImpl<MCFixup> &Fixups,
344 const MCSubtargetInfo &STI) const {
345
346 const MCOperand &MO = MI.getOperand(OpNo);
347
348 // If the destination is an immediate, divide by 4.
349 if (MO.isImm())
350 return MO.getImm() >> 2;
351
352 assert(MO.isExpr() &&
353 "getBranchTargetOpValueLsl2MMR6 expects only expressions or immediates");
354
355 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
356 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
357 Fixups.push_back(MCFixup::create(0, FixupExpression,
358 MCFixupKind(Mips::fixup_Mips_PC16)));
359 return 0;
360}
361
Jozef Kolek9761e962015-01-12 12:03:34 +0000362/// getBranchTarget7OpValueMM - Return binary encoding of the microMIPS branch
363/// target operand. If the machine operand requires relocation,
364/// record the relocation and return zero.
365unsigned MipsMCCodeEmitter::
366getBranchTarget7OpValueMM(const MCInst &MI, unsigned OpNo,
367 SmallVectorImpl<MCFixup> &Fixups,
368 const MCSubtargetInfo &STI) const {
369
370 const MCOperand &MO = MI.getOperand(OpNo);
371
372 // If the destination is an immediate, divide by 2.
373 if (MO.isImm()) return MO.getImm() >> 1;
374
375 assert(MO.isExpr() &&
376 "getBranchTargetOpValueMM expects only expressions or immediates");
377
378 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000379 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek9761e962015-01-12 12:03:34 +0000380 MCFixupKind(Mips::fixup_MICROMIPS_PC7_S1)));
381 return 0;
382}
383
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000384/// getBranchTargetOpValueMMPC10 - Return binary encoding of the microMIPS
385/// 10-bit branch target operand. If the machine operand requires relocation,
386/// record the relocation and return zero.
387unsigned MipsMCCodeEmitter::
388getBranchTargetOpValueMMPC10(const MCInst &MI, unsigned OpNo,
389 SmallVectorImpl<MCFixup> &Fixups,
390 const MCSubtargetInfo &STI) const {
391
392 const MCOperand &MO = MI.getOperand(OpNo);
393
394 // If the destination is an immediate, divide by 2.
395 if (MO.isImm()) return MO.getImm() >> 1;
396
397 assert(MO.isExpr() &&
398 "getBranchTargetOpValuePC10 expects only expressions or immediates");
399
400 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000401 Fixups.push_back(MCFixup::create(0, Expr,
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000402 MCFixupKind(Mips::fixup_MICROMIPS_PC10_S1)));
403 return 0;
404}
405
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000406/// getBranchTargetOpValue - Return binary encoding of the microMIPS branch
407/// target operand. If the machine operand requires relocation,
408/// record the relocation and return zero.
409unsigned MipsMCCodeEmitter::
410getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000411 SmallVectorImpl<MCFixup> &Fixups,
412 const MCSubtargetInfo &STI) const {
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000413
414 const MCOperand &MO = MI.getOperand(OpNo);
415
416 // If the destination is an immediate, divide by 2.
417 if (MO.isImm()) return MO.getImm() >> 1;
418
419 assert(MO.isExpr() &&
420 "getBranchTargetOpValueMM expects only expressions or immediates");
421
422 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000423 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic8a80aa72013-11-04 14:53:22 +0000424 MCFixupKind(Mips::
425 fixup_MICROMIPS_PC16_S1)));
426 return 0;
427}
428
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000429/// getBranchTarget21OpValue - Return binary encoding of the branch
430/// target operand. If the machine operand requires relocation,
431/// record the relocation and return zero.
432unsigned MipsMCCodeEmitter::
433getBranchTarget21OpValue(const MCInst &MI, unsigned OpNo,
434 SmallVectorImpl<MCFixup> &Fixups,
435 const MCSubtargetInfo &STI) const {
436
437 const MCOperand &MO = MI.getOperand(OpNo);
438
439 // If the destination is an immediate, divide by 4.
440 if (MO.isImm()) return MO.getImm() >> 2;
441
442 assert(MO.isExpr() &&
443 "getBranchTarget21OpValue expects only expressions or immediates");
444
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000445 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
446 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
447 Fixups.push_back(MCFixup::create(0, FixupExpression,
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000448 MCFixupKind(Mips::fixup_MIPS_PC21_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000449 return 0;
450}
451
Zoran Jovanovic84e4d592016-05-17 11:10:15 +0000452/// getBranchTarget21OpValueMM - Return binary encoding of the branch
453/// target operand for microMIPS. If the machine operand requires
454/// relocation, record the relocation and return zero.
455unsigned MipsMCCodeEmitter::
456getBranchTarget21OpValueMM(const MCInst &MI, unsigned OpNo,
457 SmallVectorImpl<MCFixup> &Fixups,
458 const MCSubtargetInfo &STI) const {
459
460 const MCOperand &MO = MI.getOperand(OpNo);
461
Hrvoje Vargaf0ed16e2016-08-22 12:17:59 +0000462 // If the destination is an immediate, divide by 4.
463 if (MO.isImm()) return MO.getImm() >> 2;
Zoran Jovanovic84e4d592016-05-17 11:10:15 +0000464
465 assert(MO.isExpr() &&
466 "getBranchTarget21OpValueMM expects only expressions or immediates");
467
Zoran Jovanovic5f94ced2016-05-19 12:20:40 +0000468 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
469 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
470 Fixups.push_back(MCFixup::create(0, FixupExpression,
471 MCFixupKind(Mips::fixup_MICROMIPS_PC21_S1)));
Zoran Jovanovic84e4d592016-05-17 11:10:15 +0000472 return 0;
473}
474
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000475/// getBranchTarget26OpValue - Return binary encoding of the branch
476/// target operand. If the machine operand requires relocation,
477/// record the relocation and return zero.
478unsigned MipsMCCodeEmitter::
479getBranchTarget26OpValue(const MCInst &MI, unsigned OpNo,
480 SmallVectorImpl<MCFixup> &Fixups,
481 const MCSubtargetInfo &STI) const {
482
483 const MCOperand &MO = MI.getOperand(OpNo);
484
485 // If the destination is an immediate, divide by 4.
486 if (MO.isImm()) return MO.getImm() >> 2;
487
488 assert(MO.isExpr() &&
489 "getBranchTarget26OpValue expects only expressions or immediates");
490
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000491 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
492 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
493 Fixups.push_back(MCFixup::create(0, FixupExpression,
Zoran Jovanovic10e06da2014-05-27 12:55:40 +0000494 MCFixupKind(Mips::fixup_MIPS_PC26_S2)));
Zoran Jovanovic3c8869d2014-05-16 11:03:45 +0000495 return 0;
496}
497
Zoran Jovanovica887b362015-11-30 12:56:18 +0000498/// getBranchTarget26OpValueMM - Return binary encoding of the branch
499/// target operand. If the machine operand requires relocation,
500/// record the relocation and return zero.
501unsigned MipsMCCodeEmitter::getBranchTarget26OpValueMM(
502 const MCInst &MI, unsigned OpNo, SmallVectorImpl<MCFixup> &Fixups,
503 const MCSubtargetInfo &STI) const {
504
505 const MCOperand &MO = MI.getOperand(OpNo);
506
507 // If the destination is an immediate, divide by 2.
508 if (MO.isImm())
509 return MO.getImm() >> 1;
510
Zoran Jovanovic02b70032016-04-21 13:43:26 +0000511 assert(MO.isExpr() &&
512 "getBranchTarget26OpValueMM expects only expressions or immediates");
513
514 const MCExpr *FixupExpression = MCBinaryExpr::createAdd(
515 MO.getExpr(), MCConstantExpr::create(-4, Ctx), Ctx);
516 Fixups.push_back(MCFixup::create(0, FixupExpression,
517 MCFixupKind(Mips::fixup_MICROMIPS_PC26_S1)));
Zoran Jovanovica887b362015-11-30 12:56:18 +0000518 return 0;
519}
520
Zoran Jovanovic52c56b92014-05-16 13:19:46 +0000521/// getJumpOffset16OpValue - Return binary encoding of the jump
522/// target operand. If the machine operand requires relocation,
523/// record the relocation and return zero.
524unsigned MipsMCCodeEmitter::
525getJumpOffset16OpValue(const MCInst &MI, unsigned OpNo,
526 SmallVectorImpl<MCFixup> &Fixups,
527 const MCSubtargetInfo &STI) const {
528
529 const MCOperand &MO = MI.getOperand(OpNo);
530
531 if (MO.isImm()) return MO.getImm();
532
533 assert(MO.isExpr() &&
534 "getJumpOffset16OpValue expects only expressions or an immediate");
535
536 // TODO: Push fixup.
537 return 0;
538}
539
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000540/// getJumpTargetOpValue - Return binary encoding of the jump
541/// target operand. If the machine operand requires relocation,
542/// record the relocation and return zero.
543unsigned MipsMCCodeEmitter::
544getJumpTargetOpValue(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000545 SmallVectorImpl<MCFixup> &Fixups,
546 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000547
548 const MCOperand &MO = MI.getOperand(OpNo);
Jack Carter4f69a0f2013-03-22 00:29:10 +0000549 // If the destination is an immediate, divide by 4.
550 if (MO.isImm()) return MO.getImm()>>2;
551
Jack Carter71e6a742012-09-06 00:43:26 +0000552 assert(MO.isExpr() &&
553 "getJumpTargetOpValue expects only expressions or an immediate");
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000554
555 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000556 Fixups.push_back(MCFixup::create(0, Expr,
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000557 MCFixupKind(Mips::fixup_Mips_26)));
558 return 0;
559}
560
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000561unsigned MipsMCCodeEmitter::
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000562getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000563 SmallVectorImpl<MCFixup> &Fixups,
564 const MCSubtargetInfo &STI) const {
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000565
566 const MCOperand &MO = MI.getOperand(OpNo);
567 // If the destination is an immediate, divide by 2.
568 if (MO.isImm()) return MO.getImm() >> 1;
569
570 assert(MO.isExpr() &&
571 "getJumpTargetOpValueMM expects only expressions or an immediate");
572
573 const MCExpr *Expr = MO.getExpr();
Jim Grosbach63661f82015-05-15 19:13:05 +0000574 Fixups.push_back(MCFixup::create(0, Expr,
Zoran Jovanovic507e0842013-10-29 16:38:59 +0000575 MCFixupKind(Mips::fixup_MICROMIPS_26_S1)));
576 return 0;
577}
578
579unsigned MipsMCCodeEmitter::
Zoran Jovanovicc74e3eb92014-09-12 14:29:54 +0000580getUImm5Lsl2Encoding(const MCInst &MI, unsigned OpNo,
581 SmallVectorImpl<MCFixup> &Fixups,
582 const MCSubtargetInfo &STI) const {
583
584 const MCOperand &MO = MI.getOperand(OpNo);
585 if (MO.isImm()) {
586 // The immediate is encoded as 'immediate << 2'.
587 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
588 assert((Res & 3) == 0);
589 return Res >> 2;
590 }
591
592 assert(MO.isExpr() &&
593 "getUImm5Lsl2Encoding expects only expressions or an immediate");
594
595 return 0;
596}
597
598unsigned MipsMCCodeEmitter::
Zoran Jovanovicbac36192014-10-23 11:06:34 +0000599getSImm3Lsa2Value(const MCInst &MI, unsigned OpNo,
600 SmallVectorImpl<MCFixup> &Fixups,
601 const MCSubtargetInfo &STI) const {
602
603 const MCOperand &MO = MI.getOperand(OpNo);
604 if (MO.isImm()) {
605 int Value = MO.getImm();
606 return Value >> 2;
607 }
608
609 return 0;
610}
611
612unsigned MipsMCCodeEmitter::
Zoran Jovanovic42b84442014-10-23 11:13:59 +0000613getUImm6Lsl2Encoding(const MCInst &MI, unsigned OpNo,
614 SmallVectorImpl<MCFixup> &Fixups,
615 const MCSubtargetInfo &STI) const {
616
617 const MCOperand &MO = MI.getOperand(OpNo);
618 if (MO.isImm()) {
619 unsigned Value = MO.getImm();
620 return Value >> 2;
621 }
622
623 return 0;
624}
625
626unsigned MipsMCCodeEmitter::
Zoran Jovanovic98bd58c2014-10-10 14:37:30 +0000627getSImm9AddiuspValue(const MCInst &MI, unsigned OpNo,
628 SmallVectorImpl<MCFixup> &Fixups,
629 const MCSubtargetInfo &STI) const {
630
631 const MCOperand &MO = MI.getOperand(OpNo);
632 if (MO.isImm()) {
633 unsigned Binary = (MO.getImm() >> 2) & 0x0000ffff;
634 return (((Binary & 0x8000) >> 7) | (Binary & 0x00ff));
635 }
636
637 return 0;
638}
639
640unsigned MipsMCCodeEmitter::
Daniel Sanders60f1db02015-03-13 12:45:09 +0000641getExprOpValue(const MCExpr *Expr, SmallVectorImpl<MCFixup> &Fixups,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000642 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000643 int64_t Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000644
Jim Grosbach13760bd2015-05-30 01:25:56 +0000645 if (Expr->evaluateAsAbsolute(Res))
Jack Carterb5cf5902013-04-17 00:18:04 +0000646 return Res;
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000647
Akira Hatanakafe384a22012-03-27 02:33:05 +0000648 MCExpr::ExprKind Kind = Expr->getKind();
Jack Carterb5cf5902013-04-17 00:18:04 +0000649 if (Kind == MCExpr::Constant) {
650 return cast<MCConstantExpr>(Expr)->getValue();
651 }
Akira Hatanakae2eed962011-12-22 01:05:17 +0000652
Akira Hatanakafe384a22012-03-27 02:33:05 +0000653 if (Kind == MCExpr::Binary) {
David Woodhouse3fa98a62014-01-28 23:13:18 +0000654 unsigned Res = getExprOpValue(cast<MCBinaryExpr>(Expr)->getLHS(), Fixups, STI);
655 Res += getExprOpValue(cast<MCBinaryExpr>(Expr)->getRHS(), Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000656 return Res;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000657 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000658
659 if (Kind == MCExpr::Target) {
660 const MipsMCExpr *MipsExpr = cast<MipsMCExpr>(Expr);
661
662 Mips::Fixups FixupKind = Mips::Fixups(0);
663 switch (MipsExpr->getKind()) {
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000664 case MipsMCExpr::MEK_None:
665 case MipsMCExpr::MEK_Special:
666 llvm_unreachable("Unhandled fixup kind!");
667 break;
668 case MipsMCExpr::MEK_CALL_HI16:
669 FixupKind = Mips::fixup_Mips_CALL_HI16;
670 break;
671 case MipsMCExpr::MEK_CALL_LO16:
672 FixupKind = Mips::fixup_Mips_CALL_LO16;
673 break;
674 case MipsMCExpr::MEK_DTPREL_HI:
675 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_HI16
676 : Mips::fixup_Mips_DTPREL_HI;
677 break;
678 case MipsMCExpr::MEK_DTPREL_LO:
679 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_LO16
680 : Mips::fixup_Mips_DTPREL_LO;
681 break;
682 case MipsMCExpr::MEK_GOTTPREL:
683 FixupKind = Mips::fixup_Mips_GOTTPREL;
684 break;
685 case MipsMCExpr::MEK_GOT:
686 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16
687 : Mips::fixup_Mips_GOT;
688 break;
689 case MipsMCExpr::MEK_GOT_CALL:
690 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_CALL16
691 : Mips::fixup_Mips_CALL16;
692 break;
693 case MipsMCExpr::MEK_GOT_DISP:
694 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_DISP
695 : Mips::fixup_Mips_GOT_DISP;
696 break;
697 case MipsMCExpr::MEK_GOT_HI16:
698 FixupKind = Mips::fixup_Mips_GOT_HI16;
699 break;
700 case MipsMCExpr::MEK_GOT_LO16:
701 FixupKind = Mips::fixup_Mips_GOT_LO16;
702 break;
703 case MipsMCExpr::MEK_GOT_PAGE:
704 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_PAGE
705 : Mips::fixup_Mips_GOT_PAGE;
706 break;
707 case MipsMCExpr::MEK_GOT_OFST:
708 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_OFST
709 : Mips::fixup_Mips_GOT_OFST;
710 break;
711 case MipsMCExpr::MEK_GPREL:
712 FixupKind = Mips::fixup_Mips_GPREL16;
713 break;
714 case MipsMCExpr::MEK_LO: {
715 // Check for %lo(%neg(%gp_rel(X)))
716 if (MipsExpr->isGpOff()) {
717 FixupKind = Mips::fixup_Mips_GPOFF_LO;
718 break;
719 }
720 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16
721 : Mips::fixup_Mips_LO16;
722 break;
723 }
724 case MipsMCExpr::MEK_HIGHEST:
Sasa Stankovic06c47802014-04-03 10:37:45 +0000725 FixupKind = Mips::fixup_Mips_HIGHEST;
726 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000727 case MipsMCExpr::MEK_HIGHER:
Sasa Stankovic06c47802014-04-03 10:37:45 +0000728 FixupKind = Mips::fixup_Mips_HIGHER;
729 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000730 case MipsMCExpr::MEK_HI:
731 // Check for %hi(%neg(%gp_rel(X)))
732 if (MipsExpr->isGpOff()) {
733 FixupKind = Mips::fixup_Mips_GPOFF_HI;
734 break;
735 }
Petar Jovanovica5da5882014-02-04 18:41:57 +0000736 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16
737 : Mips::fixup_Mips_HI16;
738 break;
Daniel Sandersfe98b2f2016-05-03 13:35:44 +0000739 case MipsMCExpr::MEK_PCREL_HI16:
740 FixupKind = Mips::fixup_MIPS_PCHI16;
741 break;
742 case MipsMCExpr::MEK_PCREL_LO16:
743 FixupKind = Mips::fixup_MIPS_PCLO16;
744 break;
745 case MipsMCExpr::MEK_TLSGD:
746 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_GD
747 : Mips::fixup_Mips_TLSGD;
748 break;
749 case MipsMCExpr::MEK_TLSLDM:
750 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_LDM
751 : Mips::fixup_Mips_TLSLDM;
752 break;
753 case MipsMCExpr::MEK_TPREL_HI:
754 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_HI16
755 : Mips::fixup_Mips_TPREL_HI;
756 break;
757 case MipsMCExpr::MEK_TPREL_LO:
758 FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_LO16
759 : Mips::fixup_Mips_TPREL_LO;
Petar Jovanovica5da5882014-02-04 18:41:57 +0000760 break;
Daniel Sanders3feeb9c2016-08-08 11:50:25 +0000761 case MipsMCExpr::MEK_NEG:
762 FixupKind =
763 isMicroMips(STI) ? Mips::fixup_MICROMIPS_SUB : Mips::fixup_Mips_SUB;
764 break;
Petar Jovanovica5da5882014-02-04 18:41:57 +0000765 }
Jim Grosbach63661f82015-05-15 19:13:05 +0000766 Fixups.push_back(MCFixup::create(0, MipsExpr, MCFixupKind(FixupKind)));
Petar Jovanovica5da5882014-02-04 18:41:57 +0000767 return 0;
768 }
769
Jack Carterb5cf5902013-04-17 00:18:04 +0000770 if (Kind == MCExpr::SymbolRef) {
Mark Seabornc3bd1772013-12-31 13:05:15 +0000771 Mips::Fixups FixupKind = Mips::Fixups(0);
Akira Hatanakafe384a22012-03-27 02:33:05 +0000772
Mark Seabornc3bd1772013-12-31 13:05:15 +0000773 switch(cast<MCSymbolRefExpr>(Expr)->getKind()) {
774 default: llvm_unreachable("Unknown fixup kind!");
775 break;
Daniel Sanders60f1db02015-03-13 12:45:09 +0000776 case MCSymbolRefExpr::VK_None:
777 FixupKind = Mips::fixup_Mips_32; // FIXME: This is ok for O32/N32 but not N64.
778 break;
Mark Seabornc3bd1772013-12-31 13:05:15 +0000779 } // switch
Akira Hatanakafe384a22012-03-27 02:33:05 +0000780
Jim Grosbach63661f82015-05-15 19:13:05 +0000781 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Jack Carterb5cf5902013-04-17 00:18:04 +0000782 return 0;
783 }
Akira Hatanakafe384a22012-03-27 02:33:05 +0000784 return 0;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000785}
786
Jack Carterb5cf5902013-04-17 00:18:04 +0000787/// getMachineOpValue - Return binary encoding of operand. If the machine
788/// operand requires relocation, record the relocation and return zero.
789unsigned MipsMCCodeEmitter::
790getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000791 SmallVectorImpl<MCFixup> &Fixups,
792 const MCSubtargetInfo &STI) const {
Jack Carterb5cf5902013-04-17 00:18:04 +0000793 if (MO.isReg()) {
794 unsigned Reg = MO.getReg();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000795 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
Jack Carterb5cf5902013-04-17 00:18:04 +0000796 return RegNo;
797 } else if (MO.isImm()) {
798 return static_cast<unsigned>(MO.getImm());
799 } else if (MO.isFPImm()) {
800 return static_cast<unsigned>(APFloat(MO.getFPImm())
801 .bitcastToAPInt().getHiBits(32).getLimitedValue());
802 }
803 // MO must be an Expr.
804 assert(MO.isExpr());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000805 return getExprOpValue(MO.getExpr(),Fixups, STI);
Jack Carterb5cf5902013-04-17 00:18:04 +0000806}
807
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000808/// Return binary encoding of memory related operand.
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000809/// If the offset operand requires relocation, record the relocation.
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000810template <unsigned ShiftAmount>
811unsigned MipsMCCodeEmitter::getMemEncoding(const MCInst &MI, unsigned OpNo,
812 SmallVectorImpl<MCFixup> &Fixups,
813 const MCSubtargetInfo &STI) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000814 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
815 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000816 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16;
817 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000818
Daniel Sandersdc0602a2016-03-31 14:12:01 +0000819 // Apply the scale factor if there is one.
820 OffBits >>= ShiftAmount;
821
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000822 return (OffBits & 0xFFFF) | RegBits;
823}
824
Jack Carter97700972013-08-13 20:19:16 +0000825unsigned MipsMCCodeEmitter::
Jozef Koleke8c9d1e2014-11-24 14:39:13 +0000826getMemEncodingMMImm4(const MCInst &MI, unsigned OpNo,
827 SmallVectorImpl<MCFixup> &Fixups,
828 const MCSubtargetInfo &STI) const {
829 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
830 assert(MI.getOperand(OpNo).isReg());
831 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
832 Fixups, STI) << 4;
833 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
834 Fixups, STI);
835
836 return (OffBits & 0xF) | RegBits;
837}
838
839unsigned MipsMCCodeEmitter::
840getMemEncodingMMImm4Lsl1(const MCInst &MI, unsigned OpNo,
841 SmallVectorImpl<MCFixup> &Fixups,
842 const MCSubtargetInfo &STI) const {
843 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
844 assert(MI.getOperand(OpNo).isReg());
845 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
846 Fixups, STI) << 4;
847 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
848 Fixups, STI) >> 1;
849
850 return (OffBits & 0xF) | RegBits;
851}
852
853unsigned MipsMCCodeEmitter::
854getMemEncodingMMImm4Lsl2(const MCInst &MI, unsigned OpNo,
855 SmallVectorImpl<MCFixup> &Fixups,
856 const MCSubtargetInfo &STI) const {
857 // Base register is encoded in bits 6-4, offset is encoded in bits 3-0.
858 assert(MI.getOperand(OpNo).isReg());
859 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),
860 Fixups, STI) << 4;
861 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
862 Fixups, STI) >> 2;
863
864 return (OffBits & 0xF) | RegBits;
865}
866
867unsigned MipsMCCodeEmitter::
Jozef Kolek12c69822014-12-23 16:16:33 +0000868getMemEncodingMMSPImm5Lsl2(const MCInst &MI, unsigned OpNo,
869 SmallVectorImpl<MCFixup> &Fixups,
870 const MCSubtargetInfo &STI) const {
871 // Register is encoded in bits 9-5, offset is encoded in bits 4-0.
872 assert(MI.getOperand(OpNo).isReg() &&
Zoran Jovanovic68be5f22015-09-08 08:25:34 +0000873 (MI.getOperand(OpNo).getReg() == Mips::SP ||
874 MI.getOperand(OpNo).getReg() == Mips::SP_64) &&
Jozef Kolek12c69822014-12-23 16:16:33 +0000875 "Unexpected base register!");
876 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
877 Fixups, STI) >> 2;
878
879 return OffBits & 0x1F;
880}
881
882unsigned MipsMCCodeEmitter::
Jozef Koleke10a02e2015-01-28 17:27:26 +0000883getMemEncodingMMGPImm7Lsl2(const MCInst &MI, unsigned OpNo,
884 SmallVectorImpl<MCFixup> &Fixups,
885 const MCSubtargetInfo &STI) const {
886 // Register is encoded in bits 9-7, offset is encoded in bits 6-0.
887 assert(MI.getOperand(OpNo).isReg() &&
888 MI.getOperand(OpNo).getReg() == Mips::GP &&
889 "Unexpected base register!");
890
891 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1),
892 Fixups, STI) >> 2;
893
894 return OffBits & 0x7F;
895}
896
Hrvoje Varga3c88fbd2015-10-16 12:24:58 +0000897unsigned MipsMCCodeEmitter::
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000898getMemEncodingMMImm9(const MCInst &MI, unsigned OpNo,
899 SmallVectorImpl<MCFixup> &Fixups,
900 const MCSubtargetInfo &STI) const {
901 // Base register is encoded in bits 20-16, offset is encoded in bits 8-0.
902 assert(MI.getOperand(OpNo).isReg());
903 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
904 STI) << 16;
Zoran Jovanovic7beb7372015-09-15 10:05:10 +0000905 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo + 1), Fixups, STI);
Zoran Jovanovic9eaa30d2015-09-08 10:18:38 +0000906
907 return (OffBits & 0x1FF) | RegBits;
908}
909
Jozef Koleke10a02e2015-01-28 17:27:26 +0000910unsigned MipsMCCodeEmitter::
Zlatko Buljancba9f802016-07-11 07:41:56 +0000911getMemEncodingMMImm11(const MCInst &MI, unsigned OpNo,
912 SmallVectorImpl<MCFixup> &Fixups,
913 const MCSubtargetInfo &STI) const {
914 // Base register is encoded in bits 20-16, offset is encoded in bits 10-0.
915 assert(MI.getOperand(OpNo).isReg());
916 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
917 STI) << 16;
918 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
919
920 return (OffBits & 0x07FF) | RegBits;
921}
922
923unsigned MipsMCCodeEmitter::
Jack Carter97700972013-08-13 20:19:16 +0000924getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000925 SmallVectorImpl<MCFixup> &Fixups,
926 const MCSubtargetInfo &STI) const {
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000927 // opNum can be invalid if instruction had reglist as operand.
928 // MemOperand is always last operand of instruction (base + offset).
929 switch (MI.getOpcode()) {
930 default:
931 break;
932 case Mips::SWM32_MM:
933 case Mips::LWM32_MM:
934 OpNo = MI.getNumOperands() - 2;
935 break;
936 }
937
Jack Carter97700972013-08-13 20:19:16 +0000938 // Base register is encoded in bits 20-16, offset is encoded in bits 11-0.
939 assert(MI.getOperand(OpNo).isReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000940 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) << 16;
941 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
Jack Carter97700972013-08-13 20:19:16 +0000942
943 return (OffBits & 0x0FFF) | RegBits;
944}
945
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000946unsigned MipsMCCodeEmitter::
Hrvoje Varga3c88fbd2015-10-16 12:24:58 +0000947getMemEncodingMMImm16(const MCInst &MI, unsigned OpNo,
948 SmallVectorImpl<MCFixup> &Fixups,
949 const MCSubtargetInfo &STI) const {
950 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
951 assert(MI.getOperand(OpNo).isReg());
952 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups,
953 STI) << 16;
954 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
955
956 return (OffBits & 0xFFFF) | RegBits;
957}
958
959unsigned MipsMCCodeEmitter::
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000960getMemEncodingMMImm4sp(const MCInst &MI, unsigned OpNo,
961 SmallVectorImpl<MCFixup> &Fixups,
962 const MCSubtargetInfo &STI) const {
963 // opNum can be invalid if instruction had reglist as operand
964 // MemOperand is always last operand of instruction (base + offset)
965 switch (MI.getOpcode()) {
966 default:
967 break;
968 case Mips::SWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000969 case Mips::SWM16_MMR6:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000970 case Mips::LWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000971 case Mips::LWM16_MMR6:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000972 OpNo = MI.getNumOperands() - 2;
973 break;
974 }
975
976 // Offset is encoded in bits 4-0.
977 assert(MI.getOperand(OpNo).isReg());
978 // Base register is always SP - thus it is not encoded.
979 assert(MI.getOperand(OpNo+1).isImm());
980 unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI);
981
982 return ((OffBits >> 2) & 0x0F);
983}
984
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000985// FIXME: should be called getMSBEncoding
986//
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000987unsigned
988MipsMCCodeEmitter::getSizeInsEncoding(const MCInst &MI, unsigned OpNo,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000989 SmallVectorImpl<MCFixup> &Fixups,
990 const MCSubtargetInfo &STI) const {
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000991 assert(MI.getOperand(OpNo-1).isImm());
992 assert(MI.getOperand(OpNo).isImm());
David Woodhouse3fa98a62014-01-28 23:13:18 +0000993 unsigned Position = getMachineOpValue(MI, MI.getOperand(OpNo-1), Fixups, STI);
994 unsigned Size = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000995
Bruno Cardoso Lopes56b70de2011-12-07 22:35:30 +0000996 return Position + Size - 1;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000997}
998
Daniel Sandersea4f6532015-11-06 12:22:31 +0000999template <unsigned Bits, int Offset>
Matheus Almeida779c5932013-11-18 12:32:49 +00001000unsigned
Daniel Sandersea4f6532015-11-06 12:22:31 +00001001MipsMCCodeEmitter::getUImmWithOffsetEncoding(const MCInst &MI, unsigned OpNo,
1002 SmallVectorImpl<MCFixup> &Fixups,
1003 const MCSubtargetInfo &STI) const {
Matheus Almeida779c5932013-11-18 12:32:49 +00001004 assert(MI.getOperand(OpNo).isImm());
Daniel Sandersea4f6532015-11-06 12:22:31 +00001005 unsigned Value = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
1006 Value -= Offset;
1007 return Value;
Matheus Almeida779c5932013-11-18 12:32:49 +00001008}
1009
Daniel Sandersb59e1a42014-05-15 10:45:58 +00001010unsigned
1011MipsMCCodeEmitter::getSimm19Lsl2Encoding(const MCInst &MI, unsigned OpNo,
1012 SmallVectorImpl<MCFixup> &Fixups,
1013 const MCSubtargetInfo &STI) const {
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +00001014 const MCOperand &MO = MI.getOperand(OpNo);
1015 if (MO.isImm()) {
1016 // The immediate is encoded as 'immediate << 2'.
1017 unsigned Res = getMachineOpValue(MI, MO, Fixups, STI);
1018 assert((Res & 3) == 0);
1019 return Res >> 2;
1020 }
1021
1022 assert(MO.isExpr() &&
1023 "getSimm19Lsl2Encoding expects only expressions or an immediate");
1024
1025 const MCExpr *Expr = MO.getExpr();
Zoran Jovanovic6764fa72016-04-21 14:09:35 +00001026 Mips::Fixups FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_PC19_S2
1027 : Mips::fixup_MIPS_PC19_S2;
1028 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Zoran Jovanovicb9c07f32014-06-12 12:40:00 +00001029 return 0;
Daniel Sandersb59e1a42014-05-15 10:45:58 +00001030}
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +00001031
Zoran Jovanovic28551422014-06-09 09:49:51 +00001032unsigned
1033MipsMCCodeEmitter::getSimm18Lsl3Encoding(const MCInst &MI, unsigned OpNo,
1034 SmallVectorImpl<MCFixup> &Fixups,
1035 const MCSubtargetInfo &STI) const {
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +00001036 const MCOperand &MO = MI.getOperand(OpNo);
1037 if (MO.isImm()) {
1038 // The immediate is encoded as 'immediate << 3'.
1039 unsigned Res = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
1040 assert((Res & 7) == 0);
1041 return Res >> 3;
1042 }
1043
1044 assert(MO.isExpr() &&
1045 "getSimm18Lsl2Encoding expects only expressions or an immediate");
1046
1047 const MCExpr *Expr = MO.getExpr();
Zoran Jovanovic8e366822016-04-22 10:15:12 +00001048 Mips::Fixups FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_PC18_S3
1049 : Mips::fixup_MIPS_PC18_S3;
1050 Fixups.push_back(MCFixup::create(0, Expr, MCFixupKind(FixupKind)));
Zoran Jovanovica5acdcf2014-06-13 14:26:47 +00001051 return 0;
Zoran Jovanovic28551422014-06-09 09:49:51 +00001052}
1053
Zoran Jovanovic4a00fdc2014-10-23 10:42:01 +00001054unsigned
1055MipsMCCodeEmitter::getUImm3Mod8Encoding(const MCInst &MI, unsigned OpNo,
1056 SmallVectorImpl<MCFixup> &Fixups,
1057 const MCSubtargetInfo &STI) const {
1058 assert(MI.getOperand(OpNo).isImm());
1059 const MCOperand &MO = MI.getOperand(OpNo);
1060 return MO.getImm() % 8;
1061}
1062
Zoran Jovanovic88531712014-11-05 17:31:00 +00001063unsigned
1064MipsMCCodeEmitter::getUImm4AndValue(const MCInst &MI, unsigned OpNo,
1065 SmallVectorImpl<MCFixup> &Fixups,
1066 const MCSubtargetInfo &STI) const {
1067 assert(MI.getOperand(OpNo).isImm());
1068 const MCOperand &MO = MI.getOperand(OpNo);
1069 unsigned Value = MO.getImm();
1070 switch (Value) {
1071 case 128: return 0x0;
1072 case 1: return 0x1;
1073 case 2: return 0x2;
1074 case 3: return 0x3;
1075 case 4: return 0x4;
1076 case 7: return 0x5;
1077 case 8: return 0x6;
1078 case 15: return 0x7;
1079 case 16: return 0x8;
1080 case 31: return 0x9;
1081 case 32: return 0xa;
1082 case 63: return 0xb;
1083 case 64: return 0xc;
1084 case 255: return 0xd;
1085 case 32768: return 0xe;
1086 case 65535: return 0xf;
1087 }
1088 llvm_unreachable("Unexpected value");
1089}
1090
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +00001091unsigned
1092MipsMCCodeEmitter::getRegisterListOpValue(const MCInst &MI, unsigned OpNo,
1093 SmallVectorImpl<MCFixup> &Fixups,
1094 const MCSubtargetInfo &STI) const {
1095 unsigned res = 0;
1096
1097 // Register list operand is always first operand of instruction and it is
1098 // placed before memory operand (register + imm).
1099
1100 for (unsigned I = OpNo, E = MI.getNumOperands() - 2; I < E; ++I) {
1101 unsigned Reg = MI.getOperand(I).getReg();
1102 unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg);
1103 if (RegNo != 31)
1104 res++;
1105 else
1106 res |= 0x10;
1107 }
1108 return res;
1109}
1110
Zoran Jovanovicf9a02502014-11-27 18:28:59 +00001111unsigned
1112MipsMCCodeEmitter::getRegisterListOpValue16(const MCInst &MI, unsigned OpNo,
1113 SmallVectorImpl<MCFixup> &Fixups,
1114 const MCSubtargetInfo &STI) const {
1115 return (MI.getNumOperands() - 4);
1116}
1117
Zoran Jovanovic2deca342014-12-16 14:59:10 +00001118unsigned
1119MipsMCCodeEmitter::getRegisterPairOpValue(const MCInst &MI, unsigned OpNo,
1120 SmallVectorImpl<MCFixup> &Fixups,
1121 const MCSubtargetInfo &STI) const {
1122 return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI);
1123}
1124
Jozef Kolek2c6d7322015-01-21 12:10:11 +00001125unsigned
Zoran Jovanovic41688672015-02-10 16:36:20 +00001126MipsMCCodeEmitter::getMovePRegPairOpValue(const MCInst &MI, unsigned OpNo,
1127 SmallVectorImpl<MCFixup> &Fixups,
1128 const MCSubtargetInfo &STI) const {
1129 unsigned res = 0;
1130
1131 if (MI.getOperand(0).getReg() == Mips::A1 &&
1132 MI.getOperand(1).getReg() == Mips::A2)
1133 res = 0;
1134 else if (MI.getOperand(0).getReg() == Mips::A1 &&
1135 MI.getOperand(1).getReg() == Mips::A3)
1136 res = 1;
1137 else if (MI.getOperand(0).getReg() == Mips::A2 &&
1138 MI.getOperand(1).getReg() == Mips::A3)
1139 res = 2;
1140 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1141 MI.getOperand(1).getReg() == Mips::S5)
1142 res = 3;
1143 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1144 MI.getOperand(1).getReg() == Mips::S6)
1145 res = 4;
1146 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1147 MI.getOperand(1).getReg() == Mips::A1)
1148 res = 5;
1149 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1150 MI.getOperand(1).getReg() == Mips::A2)
1151 res = 6;
1152 else if (MI.getOperand(0).getReg() == Mips::A0 &&
1153 MI.getOperand(1).getReg() == Mips::A3)
1154 res = 7;
1155
1156 return res;
1157}
1158
1159unsigned
Jozef Kolek2c6d7322015-01-21 12:10:11 +00001160MipsMCCodeEmitter::getSimm23Lsl2Encoding(const MCInst &MI, unsigned OpNo,
1161 SmallVectorImpl<MCFixup> &Fixups,
1162 const MCSubtargetInfo &STI) const {
1163 const MCOperand &MO = MI.getOperand(OpNo);
1164 assert(MO.isImm() && "getSimm23Lsl2Encoding expects only an immediate");
1165 // The immediate is encoded as 'immediate >> 2'.
1166 unsigned Res = static_cast<unsigned>(MO.getImm());
1167 assert((Res & 3) == 0);
1168 return Res >> 2;
1169}
1170
Daniel Sandersb59e1a42014-05-15 10:45:58 +00001171#include "MipsGenMCCodeEmitter.inc"