blob: a24de60cd943ba3e17225848fcf7713f0f9be95c [file] [log] [blame]
Jia Liuc5707112012-02-17 08:55:11 +00001//===-- Mips/MipsCodeEmitter.cpp - Convert Mips Code to Machine Code ------===//
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +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 contains the pass that transforms the Mips machine instructions
11// into relocatable machine code.
12//
13//===---------------------------------------------------------------------===//
14
15#define DEBUG_TYPE "jit"
16#include "Mips.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000017#include "MCTargetDesc/MipsBaseInfo.h"
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000018#include "MipsInstrInfo.h"
19#include "MipsRelocations.h"
20#include "MipsSubtarget.h"
21#include "MipsTargetMachine.h"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000022#include "llvm/ADT/Statistic.h"
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000023#include "llvm/CodeGen/JITCodeEmitter.h"
24#include "llvm/CodeGen/MachineConstantPool.h"
25#include "llvm/CodeGen/MachineFunctionPass.h"
26#include "llvm/CodeGen/MachineInstr.h"
27#include "llvm/CodeGen/MachineJumpTableInfo.h"
28#include "llvm/CodeGen/MachineModuleInfo.h"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000029#include "llvm/CodeGen/MachineOperand.h"
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000030#include "llvm/CodeGen/Passes.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000031#include "llvm/IR/Constants.h"
32#include "llvm/IR/DerivedTypes.h"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000033#include "llvm/PassManager.h"
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000034#include "llvm/Support/Debug.h"
35#include "llvm/Support/ErrorHandling.h"
36#include "llvm/Support/raw_ostream.h"
37#ifndef NDEBUG
38#include <iomanip>
39#endif
40
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000041using namespace llvm;
42
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +000043STATISTIC(NumEmitted, "Number of machine instructions emitted");
44
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000045namespace {
46
47class MipsCodeEmitter : public MachineFunctionPass {
48 MipsJITInfo *JTI;
49 const MipsInstrInfo *II;
Micah Villmow3574eca2012-10-08 16:38:25 +000050 const DataLayout *TD;
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000051 const MipsSubtarget *Subtarget;
52 TargetMachine &TM;
53 JITCodeEmitter &MCE;
54 const std::vector<MachineConstantPoolEntry> *MCPEs;
55 const std::vector<MachineJumpTableEntry> *MJTEs;
56 bool IsPIC;
57
58 void getAnalysisUsage(AnalysisUsage &AU) const {
59 AU.addRequired<MachineModuleInfo> ();
60 MachineFunctionPass::getAnalysisUsage(AU);
61 }
62
63 static char ID;
64
65 public:
66 MipsCodeEmitter(TargetMachine &tm, JITCodeEmitter &mce) :
67 MachineFunctionPass(ID), JTI(0),
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000068 II((const MipsInstrInfo *) tm.getInstrInfo()),
Micah Villmow3574eca2012-10-08 16:38:25 +000069 TD(tm.getDataLayout()), TM(tm), MCE(mce), MCPEs(0), MJTEs(0),
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000070 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000071 }
72
73 bool runOnMachineFunction(MachineFunction &MF);
74
75 virtual const char *getPassName() const {
76 return "Mips Machine Code Emitter";
77 }
78
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +000079 /// getBinaryCodeForInstr - This function, generated by the
80 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
81 /// machine instructions.
Owen Anderson4f8dc7b2012-01-24 18:37:29 +000082 uint64_t getBinaryCodeForInstr(const MachineInstr &MI) const;
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +000083
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000084 void emitInstruction(const MachineInstr &MI);
85
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +000086 private:
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000087
Akira Hatanakaff0b2cf2012-12-03 23:11:12 +000088 void emitWord(unsigned Word);
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +000089
90 /// Routines that handle operands which add machine relocations which are
91 /// fixed up by the relocation stage.
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000092 void emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000093 bool MayNeedFarStub) const;
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +000094 void emitExternalSymbolAddress(const char *ES, unsigned Reloc) const;
95 void emitConstPoolAddress(unsigned CPI, unsigned Reloc) const;
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +000096 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) const;
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +000097 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc) const;
98
99 /// getMachineOpValue - Return binary encoding of operand. If the machine
100 /// operand requires relocation, record the relocation and return zero.
101 unsigned getMachineOpValue(const MachineInstr &MI,
102 const MachineOperand &MO) const;
103
104 unsigned getRelocation(const MachineInstr &MI,
105 const MachineOperand &MO) const;
106
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000107 unsigned getJumpTargetOpValue(const MachineInstr &MI, unsigned OpNo) const;
108
Akira Hatanaka82099682011-12-19 19:52:25 +0000109 unsigned getBranchTargetOpValue(const MachineInstr &MI,
110 unsigned OpNo) const;
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000111 unsigned getMemEncoding(const MachineInstr &MI, unsigned OpNo) const;
112 unsigned getSizeExtEncoding(const MachineInstr &MI, unsigned OpNo) const;
113 unsigned getSizeInsEncoding(const MachineInstr &MI, unsigned OpNo) const;
Bruno Cardoso Lopesad6eef42011-11-08 12:47:11 +0000114
Bruno Cardoso Lopesad6eef42011-11-08 12:47:11 +0000115 void emitGlobalAddressUnaligned(const GlobalValue *GV, unsigned Reloc,
Akira Hatanaka82099682011-12-19 19:52:25 +0000116 int Offset) const;
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000117 };
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000118}
119
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000120char MipsCodeEmitter::ID = 0;
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000121
122bool MipsCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Dmitri Gribenko953cbfc2013-01-14 22:08:37 +0000123 MipsTargetMachine &Target = static_cast<MipsTargetMachine &>(
124 const_cast<TargetMachine &>(MF.getTarget()));
125
126 JTI = Target.getJITInfo();
127 II = Target.getInstrInfo();
128 TD = Target.getDataLayout();
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000129 Subtarget = &TM.getSubtarget<MipsSubtarget> ();
130 MCPEs = &MF.getConstantPool()->getConstants();
131 MJTEs = 0;
132 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Akira Hatanakaff0b2cf2012-12-03 23:11:12 +0000133 JTI->Initialize(MF, IsPIC, Subtarget->isLittle());
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000134 MCE.setModuleInfo(&getAnalysis<MachineModuleInfo> ());
135
136 do {
137 DEBUG(errs() << "JITTing function '"
Craig Topper96601ca2012-08-22 06:07:19 +0000138 << MF.getName() << "'\n");
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000139 MCE.startFunction(MF);
140
141 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
142 MBB != E; ++MBB){
143 MCE.StartMachineBasicBlock(MBB);
Akira Hatanaka226ae402012-06-19 03:39:45 +0000144 for (MachineBasicBlock::instr_iterator I = MBB->instr_begin(),
145 E = MBB->instr_end(); I != E; ++I)
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000146 emitInstruction(*I);
147 }
148 } while (MCE.finishFunction(MF));
149
150 return false;
151}
152
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000153unsigned MipsCodeEmitter::getRelocation(const MachineInstr &MI,
154 const MachineOperand &MO) const {
155 // NOTE: This relocations are for static.
156 uint64_t TSFlags = MI.getDesc().TSFlags;
157 uint64_t Form = TSFlags & MipsII::FormMask;
158 if (Form == MipsII::FrmJ)
159 return Mips::reloc_mips_26;
160 if ((Form == MipsII::FrmI || Form == MipsII::FrmFI)
Evan Cheng5a96b3d2011-12-07 07:15:52 +0000161 && MI.isBranch())
Bruno Cardoso Lopes3aa035f2011-12-30 21:04:30 +0000162 return Mips::reloc_mips_pc16;
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000163 if (Form == MipsII::FrmI && MI.getOpcode() == Mips::LUi)
164 return Mips::reloc_mips_hi;
165 return Mips::reloc_mips_lo;
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000166}
167
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000168unsigned MipsCodeEmitter::getJumpTargetOpValue(const MachineInstr &MI,
169 unsigned OpNo) const {
Bruno Cardoso Lopes3aa035f2011-12-30 21:04:30 +0000170 MachineOperand MO = MI.getOperand(OpNo);
171 if (MO.isGlobal())
172 emitGlobalAddress(MO.getGlobal(), getRelocation(MI, MO), true);
173 else if (MO.isSymbol())
174 emitExternalSymbolAddress(MO.getSymbolName(), getRelocation(MI, MO));
175 else if (MO.isMBB())
176 emitMachineBasicBlock(MO.getMBB(), getRelocation(MI, MO));
177 else
178 llvm_unreachable("Unexpected jump target operand kind.");
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000179 return 0;
180}
181
182unsigned MipsCodeEmitter::getBranchTargetOpValue(const MachineInstr &MI,
183 unsigned OpNo) const {
Bruno Cardoso Lopes3aa035f2011-12-30 21:04:30 +0000184 MachineOperand MO = MI.getOperand(OpNo);
185 emitMachineBasicBlock(MO.getMBB(), getRelocation(MI, MO));
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000186 return 0;
187}
188
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000189unsigned MipsCodeEmitter::getMemEncoding(const MachineInstr &MI,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000190 unsigned OpNo) const {
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000191 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
192 assert(MI.getOperand(OpNo).isReg());
193 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo)) << 16;
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000194 return (getMachineOpValue(MI, MI.getOperand(OpNo+1)) & 0xFFFF) | RegBits;
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000195}
196
197unsigned MipsCodeEmitter::getSizeExtEncoding(const MachineInstr &MI,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000198 unsigned OpNo) const {
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000199 // size is encoded as size-1.
200 return getMachineOpValue(MI, MI.getOperand(OpNo)) - 1;
201}
202
203unsigned MipsCodeEmitter::getSizeInsEncoding(const MachineInstr &MI,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000204 unsigned OpNo) const {
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000205 // size is encoded as pos+size-1.
206 return getMachineOpValue(MI, MI.getOperand(OpNo-1)) +
207 getMachineOpValue(MI, MI.getOperand(OpNo)) - 1;
208}
209
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000210/// getMachineOpValue - Return binary encoding of operand. If the machine
211/// operand requires relocation, record the relocation and return zero.
212unsigned MipsCodeEmitter::getMachineOpValue(const MachineInstr &MI,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000213 const MachineOperand &MO) const {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000214 if (MO.isReg())
Akira Hatanakae8068692012-12-10 20:04:40 +0000215 return TM.getRegisterInfo()->getEncodingValue(MO.getReg());
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000216 else if (MO.isImm())
217 return static_cast<unsigned>(MO.getImm());
Akira Hatanaka5a7dd432012-09-15 01:52:08 +0000218 else if (MO.isGlobal())
219 emitGlobalAddress(MO.getGlobal(), getRelocation(MI, MO), true);
220 else if (MO.isSymbol())
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000221 emitExternalSymbolAddress(MO.getSymbolName(), getRelocation(MI, MO));
222 else if (MO.isCPI())
223 emitConstPoolAddress(MO.getIndex(), getRelocation(MI, MO));
224 else if (MO.isJTI())
225 emitJumpTableAddress(MO.getIndex(), getRelocation(MI, MO));
226 else if (MO.isMBB())
227 emitMachineBasicBlock(MO.getMBB(), getRelocation(MI, MO));
228 else
229 llvm_unreachable("Unable to encode MachineOperand!");
230 return 0;
231}
232
233void MipsCodeEmitter::emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000234 bool MayNeedFarStub) const {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000235 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000236 const_cast<GlobalValue *>(GV), 0,
237 MayNeedFarStub));
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000238}
239
Bruno Cardoso Lopesad6eef42011-11-08 12:47:11 +0000240void MipsCodeEmitter::emitGlobalAddressUnaligned(const GlobalValue *GV,
241 unsigned Reloc, int Offset) const {
242 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
243 const_cast<GlobalValue *>(GV), 0, false));
244 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset() + Offset,
245 Reloc, const_cast<GlobalValue *>(GV), 0, false));
246}
247
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000248void MipsCodeEmitter::
249emitExternalSymbolAddress(const char *ES, unsigned Reloc) const {
250 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
Akira Hatanakab5713452012-07-24 00:08:26 +0000251 Reloc, ES, 0, 0));
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000252}
253
254void MipsCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) const {
255 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
256 Reloc, CPI, 0, false));
257}
258
259void MipsCodeEmitter::
260emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) const {
261 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
262 Reloc, JTIndex, 0, false));
263}
264
265void MipsCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000266 unsigned Reloc) const {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000267 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
268 Reloc, BB));
269}
270
271void MipsCodeEmitter::emitInstruction(const MachineInstr &MI) {
272 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
273
274 MCE.processDebugLoc(MI.getDebugLoc(), true);
275
276 // Skip pseudo instructions.
277 if ((MI.getDesc().TSFlags & MipsII::FormMask) == MipsII::Pseudo)
278 return;
279
Akira Hatanakaff0b2cf2012-12-03 23:11:12 +0000280 emitWord(getBinaryCodeForInstr(MI));
Akira Hatanaka5a7dd432012-09-15 01:52:08 +0000281 ++NumEmitted; // Keep track of the # of mi's emitted
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000282
283 MCE.processDebugLoc(MI.getDebugLoc(), false);
284}
285
Akira Hatanakaff0b2cf2012-12-03 23:11:12 +0000286void MipsCodeEmitter::emitWord(unsigned Word) {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000287 DEBUG(errs() << " 0x";
288 errs().write_hex(Word) << "\n");
Akira Hatanakaff0b2cf2012-12-03 23:11:12 +0000289 if (Subtarget->isLittle())
290 MCE.emitWordLE(Word);
291 else
292 MCE.emitWordBE(Word);
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000293}
294
295/// createMipsJITCodeEmitterPass - Return a pass that emits the collected Mips
296/// code to the specified MCE object.
297FunctionPass *llvm::createMipsJITCodeEmitterPass(MipsTargetMachine &TM,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000298 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000299 return new MipsCodeEmitter(TM, JCE);
300}
301
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000302#include "MipsGenCodeEmitter.inc"