blob: 9a4abe68b99fe099abf115fe0bed0a1a29de0e57 [file] [log] [blame]
Chris Lattner40ead952002-12-02 21:24:12 +00001//===-- X86/MachineCodeEmitter.cpp - Convert X86 code to machine code -----===//
2//
3// This file contains the pass that transforms the X86 machine instructions into
4// actual executable machine code.
5//
6//===----------------------------------------------------------------------===//
7
8#include "X86TargetMachine.h"
Chris Lattnerea1ddab2002-12-03 06:34:06 +00009#include "X86.h"
Chris Lattner40ead952002-12-02 21:24:12 +000010#include "llvm/PassManager.h"
11#include "llvm/CodeGen/MachineCodeEmitter.h"
Chris Lattner5ae99fe2002-12-28 20:24:48 +000012#include "llvm/CodeGen/MachineFunctionPass.h"
Chris Lattner76041ce2002-12-02 21:44:34 +000013#include "llvm/CodeGen/MachineInstr.h"
Chris Lattnerdbf30f72002-12-04 06:45:19 +000014#include "llvm/Value.h"
Chris Lattner40ead952002-12-02 21:24:12 +000015
16namespace {
Chris Lattner5ae99fe2002-12-28 20:24:48 +000017 class Emitter : public MachineFunctionPass {
18 const X86InstrInfo *II;
Chris Lattner8f04b092002-12-02 21:56:18 +000019 MachineCodeEmitter &MCE;
Chris Lattnerea1ddab2002-12-03 06:34:06 +000020 public:
Chris Lattner40ead952002-12-02 21:24:12 +000021
Chris Lattner5ae99fe2002-12-28 20:24:48 +000022 Emitter(MachineCodeEmitter &mce) : II(0), MCE(mce) {}
Chris Lattner40ead952002-12-02 21:24:12 +000023
Chris Lattner5ae99fe2002-12-28 20:24:48 +000024 bool runOnMachineFunction(MachineFunction &MF);
Chris Lattner76041ce2002-12-02 21:44:34 +000025
Chris Lattnerf0eb7be2002-12-15 21:13:40 +000026 virtual const char *getPassName() const {
27 return "X86 Machine Code Emitter";
28 }
29
Chris Lattnerea1ddab2002-12-03 06:34:06 +000030 private:
Chris Lattner76041ce2002-12-02 21:44:34 +000031 void emitBasicBlock(MachineBasicBlock &MBB);
32 void emitInstruction(MachineInstr &MI);
Chris Lattnerea1ddab2002-12-03 06:34:06 +000033
34 void emitRegModRMByte(unsigned ModRMReg, unsigned RegOpcodeField);
35 void emitSIBByte(unsigned SS, unsigned Index, unsigned Base);
36 void emitConstant(unsigned Val, unsigned Size);
37
38 void emitMemModRMByte(const MachineInstr &MI,
39 unsigned Op, unsigned RegOpcodeField);
40
Chris Lattner40ead952002-12-02 21:24:12 +000041 };
42}
43
Chris Lattner40ead952002-12-02 21:24:12 +000044/// addPassesToEmitMachineCode - Add passes to the specified pass manager to get
45/// machine code emitted. This uses a MAchineCodeEmitter object to handle
46/// actually outputting the machine code and resolving things like the address
47/// of functions. This method should returns true if machine code emission is
48/// not supported.
49///
50bool X86TargetMachine::addPassesToEmitMachineCode(PassManager &PM,
51 MachineCodeEmitter &MCE) {
Chris Lattner5ae99fe2002-12-28 20:24:48 +000052 PM.add(new Emitter(MCE));
Chris Lattner40ead952002-12-02 21:24:12 +000053 return false;
54}
Chris Lattner76041ce2002-12-02 21:44:34 +000055
Chris Lattner5ae99fe2002-12-28 20:24:48 +000056bool Emitter::runOnMachineFunction(MachineFunction &MF) {
57 II = &((X86TargetMachine&)MF.getTarget()).getInstrInfo();
Chris Lattner76041ce2002-12-02 21:44:34 +000058
59 MCE.startFunction(MF);
Chris Lattnere831b6b2003-01-13 00:33:59 +000060 MCE.emitConstantPool(MF.getConstantPool());
Chris Lattner76041ce2002-12-02 21:44:34 +000061 for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I)
62 emitBasicBlock(*I);
63 MCE.finishFunction(MF);
64 return false;
65}
66
67void Emitter::emitBasicBlock(MachineBasicBlock &MBB) {
68 MCE.startBasicBlock(MBB);
69 for (MachineBasicBlock::iterator I = MBB.begin(), E = MBB.end(); I != E; ++I)
70 emitInstruction(**I);
71}
72
Chris Lattnerea1ddab2002-12-03 06:34:06 +000073
74namespace N86 { // Native X86 Register numbers...
75 enum {
76 EAX = 0, ECX = 1, EDX = 2, EBX = 3, ESP = 4, EBP = 5, ESI = 6, EDI = 7
77 };
78}
79
80
81// getX86RegNum - This function maps LLVM register identifiers to their X86
82// specific numbering, which is used in various places encoding instructions.
83//
84static unsigned getX86RegNum(unsigned RegNo) {
85 switch(RegNo) {
86 case X86::EAX: case X86::AX: case X86::AL: return N86::EAX;
87 case X86::ECX: case X86::CX: case X86::CL: return N86::ECX;
88 case X86::EDX: case X86::DX: case X86::DL: return N86::EDX;
89 case X86::EBX: case X86::BX: case X86::BL: return N86::EBX;
90 case X86::ESP: case X86::SP: case X86::AH: return N86::ESP;
91 case X86::EBP: case X86::BP: case X86::CH: return N86::EBP;
92 case X86::ESI: case X86::SI: case X86::DH: return N86::ESI;
93 case X86::EDI: case X86::DI: case X86::BH: return N86::EDI;
Chris Lattnere831b6b2003-01-13 00:33:59 +000094
95 case X86::ST0: case X86::ST1: case X86::ST2: case X86::ST3:
96 case X86::ST4: case X86::ST5: case X86::ST6: case X86::ST7:
97 return RegNo-X86::ST0;
Chris Lattnerea1ddab2002-12-03 06:34:06 +000098 default:
99 assert(RegNo >= MRegisterInfo::FirstVirtualRegister &&
100 "Unknown physical register!");
101 assert(0 && "Register allocator hasn't allocated reg correctly yet!");
102 return 0;
103 }
104}
105
106inline static unsigned char ModRMByte(unsigned Mod, unsigned RegOpcode,
107 unsigned RM) {
108 assert(Mod < 4 && RegOpcode < 8 && RM < 8 && "ModRM Fields out of range!");
109 return RM | (RegOpcode << 3) | (Mod << 6);
110}
111
112void Emitter::emitRegModRMByte(unsigned ModRMReg, unsigned RegOpcodeFld){
113 MCE.emitByte(ModRMByte(3, RegOpcodeFld, getX86RegNum(ModRMReg)));
114}
115
116void Emitter::emitSIBByte(unsigned SS, unsigned Index, unsigned Base) {
117 // SIB byte is in the same format as the ModRMByte...
118 MCE.emitByte(ModRMByte(SS, Index, Base));
119}
120
121void Emitter::emitConstant(unsigned Val, unsigned Size) {
122 // Output the constant in little endian byte order...
123 for (unsigned i = 0; i != Size; ++i) {
124 MCE.emitByte(Val & 255);
125 Val >>= 8;
126 }
127}
128
129static bool isDisp8(int Value) {
130 return Value == (signed char)Value;
131}
132
133void Emitter::emitMemModRMByte(const MachineInstr &MI,
134 unsigned Op, unsigned RegOpcodeField) {
Chris Lattnere831b6b2003-01-13 00:33:59 +0000135 const MachineOperand &Disp = MI.getOperand(Op+3);
136 if (MI.getOperand(Op).isConstantPoolIndex()) {
137 // Emit a direct address reference [disp32] where the displacement is
138 // controlled by the MCE.
139 MCE.emitByte(ModRMByte(0, RegOpcodeField, 5));
140 unsigned Index = MI.getOperand(Op).getConstantPoolIndex();
141 MCE.emitFunctionConstantValueAddress(Index, Disp.getImmedValue());
142 return;
143 }
144
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000145 const MachineOperand &BaseReg = MI.getOperand(Op);
146 const MachineOperand &Scale = MI.getOperand(Op+1);
147 const MachineOperand &IndexReg = MI.getOperand(Op+2);
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000148
149 // Is a SIB byte needed?
150 if (IndexReg.getReg() == 0 && BaseReg.getReg() != X86::ESP) {
151 if (BaseReg.getReg() == 0) { // Just a displacement?
152 // Emit special case [disp32] encoding
153 MCE.emitByte(ModRMByte(0, RegOpcodeField, 5));
154 emitConstant(Disp.getImmedValue(), 4);
155 } else {
156 unsigned BaseRegNo = getX86RegNum(BaseReg.getReg());
157 if (Disp.getImmedValue() == 0 && BaseRegNo != N86::EBP) {
158 // Emit simple indirect register encoding... [EAX] f.e.
159 MCE.emitByte(ModRMByte(0, RegOpcodeField, BaseRegNo));
160 } else if (isDisp8(Disp.getImmedValue())) {
161 // Emit the disp8 encoding... [REG+disp8]
162 MCE.emitByte(ModRMByte(1, RegOpcodeField, BaseRegNo));
163 emitConstant(Disp.getImmedValue(), 1);
164 } else {
165 // Emit the most general non-SIB encoding: [REG+disp32]
Chris Lattner20671842002-12-13 05:05:05 +0000166 MCE.emitByte(ModRMByte(2, RegOpcodeField, BaseRegNo));
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000167 emitConstant(Disp.getImmedValue(), 4);
168 }
169 }
170
171 } else { // We need a SIB byte, so start by outputting the ModR/M byte first
172 assert(IndexReg.getReg() != X86::ESP && "Cannot use ESP as index reg!");
173
174 bool ForceDisp32 = false;
Brian Gaeke95780cc2002-12-13 07:56:18 +0000175 bool ForceDisp8 = false;
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000176 if (BaseReg.getReg() == 0) {
177 // If there is no base register, we emit the special case SIB byte with
178 // MOD=0, BASE=5, to JUST get the index, scale, and displacement.
179 MCE.emitByte(ModRMByte(0, RegOpcodeField, 4));
180 ForceDisp32 = true;
Brian Gaeke95780cc2002-12-13 07:56:18 +0000181 } else if (Disp.getImmedValue() == 0 && BaseReg.getReg() != X86::EBP) {
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000182 // Emit no displacement ModR/M byte
183 MCE.emitByte(ModRMByte(0, RegOpcodeField, 4));
184 } else if (isDisp8(Disp.getImmedValue())) {
185 // Emit the disp8 encoding...
186 MCE.emitByte(ModRMByte(1, RegOpcodeField, 4));
Brian Gaeke95780cc2002-12-13 07:56:18 +0000187 ForceDisp8 = true; // Make sure to force 8 bit disp if Base=EBP
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000188 } else {
189 // Emit the normal disp32 encoding...
190 MCE.emitByte(ModRMByte(2, RegOpcodeField, 4));
191 }
192
193 // Calculate what the SS field value should be...
194 static const unsigned SSTable[] = { ~0, 0, 1, ~0, 2, ~0, ~0, ~0, 3 };
195 unsigned SS = SSTable[Scale.getImmedValue()];
196
197 if (BaseReg.getReg() == 0) {
198 // Handle the SIB byte for the case where there is no base. The
199 // displacement has already been output.
200 assert(IndexReg.getReg() && "Index register must be specified!");
201 emitSIBByte(SS, getX86RegNum(IndexReg.getReg()), 5);
202 } else {
203 unsigned BaseRegNo = getX86RegNum(BaseReg.getReg());
Chris Lattner5ae99fe2002-12-28 20:24:48 +0000204 unsigned IndexRegNo;
205 if (IndexReg.getReg())
206 IndexRegNo = getX86RegNum(IndexReg.getReg());
207 else
208 IndexRegNo = 4; // For example [ESP+1*<noreg>+4]
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000209 emitSIBByte(SS, IndexRegNo, BaseRegNo);
210 }
211
212 // Do we need to output a displacement?
Brian Gaeke95780cc2002-12-13 07:56:18 +0000213 if (Disp.getImmedValue() != 0 || ForceDisp32 || ForceDisp8) {
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000214 if (!ForceDisp32 && isDisp8(Disp.getImmedValue()))
215 emitConstant(Disp.getImmedValue(), 1);
216 else
217 emitConstant(Disp.getImmedValue(), 4);
218 }
219 }
220}
221
Chris Lattner3501fea2003-01-14 22:00:31 +0000222unsigned sizeOfPtr(const TargetInstrDescriptor &Desc) {
Chris Lattnera0f38c82002-12-13 03:51:55 +0000223 switch (Desc.TSFlags & X86II::ArgMask) {
224 case X86II::Arg8: return 1;
225 case X86II::Arg16: return 2;
226 case X86II::Arg32: return 4;
Chris Lattner5ada8df2002-12-25 05:09:21 +0000227 case X86II::ArgF32: return 4;
228 case X86II::ArgF64: return 8;
229 case X86II::ArgF80: return 10;
Chris Lattnera6a382c2002-12-13 03:50:13 +0000230 default: assert(0 && "Memory size not set!");
Chris Lattnerdf642e12002-12-20 04:12:48 +0000231 return 0;
Misha Brukman5000e432002-12-13 02:13:15 +0000232 }
233}
234
235
Chris Lattner76041ce2002-12-02 21:44:34 +0000236void Emitter::emitInstruction(MachineInstr &MI) {
237 unsigned Opcode = MI.getOpcode();
Chris Lattner3501fea2003-01-14 22:00:31 +0000238 const TargetInstrDescriptor &Desc = II->get(Opcode);
Chris Lattner76041ce2002-12-02 21:44:34 +0000239
240 // Emit instruction prefixes if neccesary
241 if (Desc.TSFlags & X86II::OpSize) MCE.emitByte(0x66);// Operand size...
Chris Lattner5ada8df2002-12-25 05:09:21 +0000242
243 switch (Desc.TSFlags & X86II::Op0Mask) {
244 case X86II::TB:
245 MCE.emitByte(0x0F); // Two-byte opcode prefix
246 break;
247 case X86II::D8: case X86II::D9: case X86II::DA: case X86II::DB:
248 case X86II::DC: case X86II::DD: case X86II::DE: case X86II::DF:
Chris Lattnere831b6b2003-01-13 00:33:59 +0000249 MCE.emitByte(0xD8+
250 (((Desc.TSFlags & X86II::Op0Mask)-X86II::D8)
251 >> X86II::Op0Shift));
Chris Lattner5ada8df2002-12-25 05:09:21 +0000252 break; // Two-byte opcode prefix
Chris Lattnere831b6b2003-01-13 00:33:59 +0000253 default: assert(0 && "Invalid prefix!");
254 case 0: break; // No prefix!
Chris Lattner5ada8df2002-12-25 05:09:21 +0000255 }
Chris Lattner76041ce2002-12-02 21:44:34 +0000256
Chris Lattner5ae99fe2002-12-28 20:24:48 +0000257 unsigned char BaseOpcode = II->getBaseOpcodeFor(Opcode);
Chris Lattner76041ce2002-12-02 21:44:34 +0000258 switch (Desc.TSFlags & X86II::FormMask) {
Chris Lattnere831b6b2003-01-13 00:33:59 +0000259 default: assert(0 && "Unknown FormMask value in X86 MachineCodeEmitter!");
Chris Lattner5ada8df2002-12-25 05:09:21 +0000260 case X86II::Pseudo:
Chris Lattnerc2489032003-05-07 19:21:28 +0000261 if (Opcode != X86::IMPLICIT_USE)
Chris Lattner9dedbcc2003-05-06 21:31:47 +0000262 std::cerr << "X86 Machine Code Emitter: No 'form', not emitting: " << MI;
Chris Lattner5ada8df2002-12-25 05:09:21 +0000263 break;
Chris Lattnere831b6b2003-01-13 00:33:59 +0000264
Chris Lattner76041ce2002-12-02 21:44:34 +0000265 case X86II::RawFrm:
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000266 MCE.emitByte(BaseOpcode);
Chris Lattner8f04b092002-12-02 21:56:18 +0000267 if (MI.getNumOperands() == 1) {
Chris Lattnere831b6b2003-01-13 00:33:59 +0000268 MachineOperand &MO = MI.getOperand(0);
269 if (MO.isPCRelativeDisp()) {
270 MCE.emitPCRelativeDisp(MO.getVRegValue());
271 } else if (MO.isGlobalAddress()) {
272 MCE.emitGlobalAddress(MO.getGlobal(), MO.isPCRelative());
273 } else if (MO.isExternalSymbol()) {
274 MCE.emitGlobalAddress(MO.getSymbolName(), MO.isPCRelative());
Chris Lattnerdbf30f72002-12-04 06:45:19 +0000275 } else {
Chris Lattnere831b6b2003-01-13 00:33:59 +0000276 assert(0 && "Unknown RawFrm operand!");
Chris Lattnerdbf30f72002-12-04 06:45:19 +0000277 }
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000278 }
279 break;
Chris Lattnere831b6b2003-01-13 00:33:59 +0000280
281 case X86II::AddRegFrm:
282 MCE.emitByte(BaseOpcode + getX86RegNum(MI.getOperand(0).getReg()));
283 if (MI.getNumOperands() == 2) {
284 MachineOperand &MO1 = MI.getOperand(1);
285 if (MO1.isImmediate() || MO1.getVRegValueOrNull() ||
286 MO1.isGlobalAddress() || MO1.isExternalSymbol()) {
287 unsigned Size = sizeOfPtr(Desc);
288 if (Value *V = MO1.getVRegValueOrNull()) {
289 assert(Size == 4 && "Don't know how to emit non-pointer values!");
290 MCE.emitGlobalAddress(cast<GlobalValue>(V), false);
291 } else if (MO1.isGlobalAddress()) {
292 assert(Size == 4 && "Don't know how to emit non-pointer values!");
293 MCE.emitGlobalAddress(MO1.getGlobal(), MO1.isPCRelative());
294 } else if (MO1.isExternalSymbol()) {
295 assert(Size == 4 && "Don't know how to emit non-pointer values!");
296 MCE.emitGlobalAddress(MO1.getSymbolName(), MO1.isPCRelative());
297 } else {
298 emitConstant(MO1.getImmedValue(), Size);
299 }
300 }
301 }
302 break;
303
304 case X86II::MRMDestReg: {
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000305 MCE.emitByte(BaseOpcode);
Chris Lattnere831b6b2003-01-13 00:33:59 +0000306 MachineOperand &SrcOp = MI.getOperand(1+II->isTwoAddrInstr(Opcode));
307 emitRegModRMByte(MI.getOperand(0).getReg(), getX86RegNum(SrcOp.getReg()));
308 if (MI.getNumOperands() == 4)
309 emitConstant(MI.getOperand(3).getImmedValue(), sizeOfPtr(Desc));
Chris Lattner9dedbcc2003-05-06 21:31:47 +0000310 break;
Chris Lattnere831b6b2003-01-13 00:33:59 +0000311 }
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000312 case X86II::MRMDestMem:
313 MCE.emitByte(BaseOpcode);
314 emitMemModRMByte(MI, 0, getX86RegNum(MI.getOperand(4).getReg()));
315 break;
Chris Lattnere831b6b2003-01-13 00:33:59 +0000316
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000317 case X86II::MRMSrcReg:
318 MCE.emitByte(BaseOpcode);
319 emitRegModRMByte(MI.getOperand(MI.getNumOperands()-1).getReg(),
320 getX86RegNum(MI.getOperand(0).getReg()));
321 break;
Chris Lattnere831b6b2003-01-13 00:33:59 +0000322
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000323 case X86II::MRMSrcMem:
324 MCE.emitByte(BaseOpcode);
325 emitMemModRMByte(MI, MI.getNumOperands()-4,
326 getX86RegNum(MI.getOperand(0).getReg()));
327 break;
328
329 case X86II::MRMS0r: case X86II::MRMS1r:
330 case X86II::MRMS2r: case X86II::MRMS3r:
331 case X86II::MRMS4r: case X86II::MRMS5r:
332 case X86II::MRMS6r: case X86II::MRMS7r:
333 MCE.emitByte(BaseOpcode);
334 emitRegModRMByte(MI.getOperand(0).getReg(),
335 (Desc.TSFlags & X86II::FormMask)-X86II::MRMS0r);
336
Chris Lattnerd9096832002-12-15 08:01:39 +0000337 if (MI.getOperand(MI.getNumOperands()-1).isImmediate()) {
Misha Brukman5000e432002-12-13 02:13:15 +0000338 unsigned Size = sizeOfPtr(Desc);
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000339 emitConstant(MI.getOperand(MI.getNumOperands()-1).getImmedValue(), Size);
340 }
341 break;
Chris Lattnere831b6b2003-01-13 00:33:59 +0000342
343 case X86II::MRMS0m: case X86II::MRMS1m:
344 case X86II::MRMS2m: case X86II::MRMS3m:
345 case X86II::MRMS4m: case X86II::MRMS5m:
346 case X86II::MRMS6m: case X86II::MRMS7m:
347 MCE.emitByte(BaseOpcode);
348 emitMemModRMByte(MI, 0, (Desc.TSFlags & X86II::FormMask)-X86II::MRMS0m);
349
350 if (MI.getNumOperands() == 5) {
351 unsigned Size = sizeOfPtr(Desc);
352 emitConstant(MI.getOperand(4).getImmedValue(), Size);
353 }
354 break;
Chris Lattner76041ce2002-12-02 21:44:34 +0000355 }
356}