blob: 932e6b3d1efe17cb6e357ec99e24412fd4327d0e [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"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000031#include "llvm/Constants.h"
32#include "llvm/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) {
123 JTI = ((MipsTargetMachine&) MF.getTarget()).getJITInfo();
124 II = ((const MipsTargetMachine&) MF.getTarget()).getInstrInfo();
Micah Villmow3574eca2012-10-08 16:38:25 +0000125 TD = ((const MipsTargetMachine&) MF.getTarget()).getDataLayout();
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000126 Subtarget = &TM.getSubtarget<MipsSubtarget> ();
127 MCPEs = &MF.getConstantPool()->getConstants();
128 MJTEs = 0;
129 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Akira Hatanakaff0b2cf2012-12-03 23:11:12 +0000130 JTI->Initialize(MF, IsPIC, Subtarget->isLittle());
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000131 MCE.setModuleInfo(&getAnalysis<MachineModuleInfo> ());
132
133 do {
134 DEBUG(errs() << "JITTing function '"
Craig Topper96601ca2012-08-22 06:07:19 +0000135 << MF.getName() << "'\n");
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000136 MCE.startFunction(MF);
137
138 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
139 MBB != E; ++MBB){
140 MCE.StartMachineBasicBlock(MBB);
Akira Hatanaka226ae402012-06-19 03:39:45 +0000141 for (MachineBasicBlock::instr_iterator I = MBB->instr_begin(),
142 E = MBB->instr_end(); I != E; ++I)
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000143 emitInstruction(*I);
144 }
145 } while (MCE.finishFunction(MF));
146
147 return false;
148}
149
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000150unsigned MipsCodeEmitter::getRelocation(const MachineInstr &MI,
151 const MachineOperand &MO) const {
152 // NOTE: This relocations are for static.
153 uint64_t TSFlags = MI.getDesc().TSFlags;
154 uint64_t Form = TSFlags & MipsII::FormMask;
155 if (Form == MipsII::FrmJ)
156 return Mips::reloc_mips_26;
157 if ((Form == MipsII::FrmI || Form == MipsII::FrmFI)
Evan Cheng5a96b3d2011-12-07 07:15:52 +0000158 && MI.isBranch())
Bruno Cardoso Lopes3aa035f2011-12-30 21:04:30 +0000159 return Mips::reloc_mips_pc16;
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000160 if (Form == MipsII::FrmI && MI.getOpcode() == Mips::LUi)
161 return Mips::reloc_mips_hi;
162 return Mips::reloc_mips_lo;
Bruno Cardoso Lopesdca6cdd2011-07-21 16:28:51 +0000163}
164
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000165unsigned MipsCodeEmitter::getJumpTargetOpValue(const MachineInstr &MI,
166 unsigned OpNo) const {
Bruno Cardoso Lopes3aa035f2011-12-30 21:04:30 +0000167 MachineOperand MO = MI.getOperand(OpNo);
168 if (MO.isGlobal())
169 emitGlobalAddress(MO.getGlobal(), getRelocation(MI, MO), true);
170 else if (MO.isSymbol())
171 emitExternalSymbolAddress(MO.getSymbolName(), getRelocation(MI, MO));
172 else if (MO.isMBB())
173 emitMachineBasicBlock(MO.getMBB(), getRelocation(MI, MO));
174 else
175 llvm_unreachable("Unexpected jump target operand kind.");
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000176 return 0;
177}
178
179unsigned MipsCodeEmitter::getBranchTargetOpValue(const MachineInstr &MI,
180 unsigned OpNo) const {
Bruno Cardoso Lopes3aa035f2011-12-30 21:04:30 +0000181 MachineOperand MO = MI.getOperand(OpNo);
182 emitMachineBasicBlock(MO.getMBB(), getRelocation(MI, MO));
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000183 return 0;
184}
185
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000186unsigned MipsCodeEmitter::getMemEncoding(const MachineInstr &MI,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000187 unsigned OpNo) const {
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000188 // Base register is encoded in bits 20-16, offset is encoded in bits 15-0.
189 assert(MI.getOperand(OpNo).isReg());
190 unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo)) << 16;
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000191 return (getMachineOpValue(MI, MI.getOperand(OpNo+1)) & 0xFFFF) | RegBits;
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000192}
193
194unsigned MipsCodeEmitter::getSizeExtEncoding(const MachineInstr &MI,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000195 unsigned OpNo) const {
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000196 // size is encoded as size-1.
197 return getMachineOpValue(MI, MI.getOperand(OpNo)) - 1;
198}
199
200unsigned MipsCodeEmitter::getSizeInsEncoding(const MachineInstr &MI,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000201 unsigned OpNo) const {
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000202 // size is encoded as pos+size-1.
203 return getMachineOpValue(MI, MI.getOperand(OpNo-1)) +
204 getMachineOpValue(MI, MI.getOperand(OpNo)) - 1;
205}
206
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000207/// getMachineOpValue - Return binary encoding of operand. If the machine
208/// operand requires relocation, record the relocation and return zero.
209unsigned MipsCodeEmitter::getMachineOpValue(const MachineInstr &MI,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000210 const MachineOperand &MO) const {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000211 if (MO.isReg())
Akira Hatanakae8068692012-12-10 20:04:40 +0000212 return TM.getRegisterInfo()->getEncodingValue(MO.getReg());
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000213 else if (MO.isImm())
214 return static_cast<unsigned>(MO.getImm());
Akira Hatanaka5a7dd432012-09-15 01:52:08 +0000215 else if (MO.isGlobal())
216 emitGlobalAddress(MO.getGlobal(), getRelocation(MI, MO), true);
217 else if (MO.isSymbol())
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000218 emitExternalSymbolAddress(MO.getSymbolName(), getRelocation(MI, MO));
219 else if (MO.isCPI())
220 emitConstPoolAddress(MO.getIndex(), getRelocation(MI, MO));
221 else if (MO.isJTI())
222 emitJumpTableAddress(MO.getIndex(), getRelocation(MI, MO));
223 else if (MO.isMBB())
224 emitMachineBasicBlock(MO.getMBB(), getRelocation(MI, MO));
225 else
226 llvm_unreachable("Unable to encode MachineOperand!");
227 return 0;
228}
229
230void MipsCodeEmitter::emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000231 bool MayNeedFarStub) const {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000232 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000233 const_cast<GlobalValue *>(GV), 0,
234 MayNeedFarStub));
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000235}
236
Bruno Cardoso Lopesad6eef42011-11-08 12:47:11 +0000237void MipsCodeEmitter::emitGlobalAddressUnaligned(const GlobalValue *GV,
238 unsigned Reloc, int Offset) const {
239 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
240 const_cast<GlobalValue *>(GV), 0, false));
241 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset() + Offset,
242 Reloc, const_cast<GlobalValue *>(GV), 0, false));
243}
244
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000245void MipsCodeEmitter::
246emitExternalSymbolAddress(const char *ES, unsigned Reloc) const {
247 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
Akira Hatanakab5713452012-07-24 00:08:26 +0000248 Reloc, ES, 0, 0));
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000249}
250
251void MipsCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) const {
252 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
253 Reloc, CPI, 0, false));
254}
255
256void MipsCodeEmitter::
257emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) const {
258 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
259 Reloc, JTIndex, 0, false));
260}
261
262void MipsCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000263 unsigned Reloc) const {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000264 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
265 Reloc, BB));
266}
267
268void MipsCodeEmitter::emitInstruction(const MachineInstr &MI) {
269 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
270
271 MCE.processDebugLoc(MI.getDebugLoc(), true);
272
273 // Skip pseudo instructions.
274 if ((MI.getDesc().TSFlags & MipsII::FormMask) == MipsII::Pseudo)
275 return;
276
Akira Hatanakaff0b2cf2012-12-03 23:11:12 +0000277 emitWord(getBinaryCodeForInstr(MI));
Akira Hatanaka5a7dd432012-09-15 01:52:08 +0000278 ++NumEmitted; // Keep track of the # of mi's emitted
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000279
280 MCE.processDebugLoc(MI.getDebugLoc(), false);
281}
282
Akira Hatanakaff0b2cf2012-12-03 23:11:12 +0000283void MipsCodeEmitter::emitWord(unsigned Word) {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000284 DEBUG(errs() << " 0x";
285 errs().write_hex(Word) << "\n");
Akira Hatanakaff0b2cf2012-12-03 23:11:12 +0000286 if (Subtarget->isLittle())
287 MCE.emitWordLE(Word);
288 else
289 MCE.emitWordBE(Word);
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000290}
291
292/// createMipsJITCodeEmitterPass - Return a pass that emits the collected Mips
293/// code to the specified MCE object.
294FunctionPass *llvm::createMipsJITCodeEmitterPass(MipsTargetMachine &TM,
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000295 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesc4cc40c2011-09-14 03:00:41 +0000296 return new MipsCodeEmitter(TM, JCE);
297}
298
Bruno Cardoso Lopesc3f16b32011-10-18 17:50:36 +0000299#include "MipsGenCodeEmitter.inc"