blob: e4d17246821cddba7b353b4734e22446462a9e28 [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 Lattner76041ce2002-12-02 21:44:34 +000012#include "llvm/CodeGen/MachineFunction.h"
13#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 Lattnerea1ddab2002-12-03 06:34:06 +000017 class Emitter : public FunctionPass {
Chris Lattner8f04b092002-12-02 21:56:18 +000018 X86TargetMachine &TM;
19 const X86InstrInfo ⅈ
20 MachineCodeEmitter &MCE;
Chris Lattnerea1ddab2002-12-03 06:34:06 +000021 public:
Chris Lattner40ead952002-12-02 21:24:12 +000022
Chris Lattner8f04b092002-12-02 21:56:18 +000023 Emitter(X86TargetMachine &tm, MachineCodeEmitter &mce)
24 : TM(tm), II(TM.getInstrInfo()), MCE(mce) {}
Chris Lattner40ead952002-12-02 21:24:12 +000025
Chris Lattner76041ce2002-12-02 21:44:34 +000026 bool runOnFunction(Function &F);
27
Chris Lattnerea1ddab2002-12-03 06:34:06 +000028 private:
Chris Lattner76041ce2002-12-02 21:44:34 +000029 void emitBasicBlock(MachineBasicBlock &MBB);
30 void emitInstruction(MachineInstr &MI);
Chris Lattnerea1ddab2002-12-03 06:34:06 +000031
32 void emitRegModRMByte(unsigned ModRMReg, unsigned RegOpcodeField);
33 void emitSIBByte(unsigned SS, unsigned Index, unsigned Base);
34 void emitConstant(unsigned Val, unsigned Size);
35
36 void emitMemModRMByte(const MachineInstr &MI,
37 unsigned Op, unsigned RegOpcodeField);
38
Chris Lattner40ead952002-12-02 21:24:12 +000039 };
40}
41
42
43/// addPassesToEmitMachineCode - Add passes to the specified pass manager to get
44/// machine code emitted. This uses a MAchineCodeEmitter object to handle
45/// actually outputting the machine code and resolving things like the address
46/// of functions. This method should returns true if machine code emission is
47/// not supported.
48///
49bool X86TargetMachine::addPassesToEmitMachineCode(PassManager &PM,
50 MachineCodeEmitter &MCE) {
51 PM.add(new Emitter(*this, MCE));
52 return false;
53}
Chris Lattner76041ce2002-12-02 21:44:34 +000054
55bool Emitter::runOnFunction(Function &F) {
56 MachineFunction &MF = MachineFunction::get(&F);
57
58 MCE.startFunction(MF);
59 for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I)
60 emitBasicBlock(*I);
61 MCE.finishFunction(MF);
62 return false;
63}
64
65void Emitter::emitBasicBlock(MachineBasicBlock &MBB) {
66 MCE.startBasicBlock(MBB);
67 for (MachineBasicBlock::iterator I = MBB.begin(), E = MBB.end(); I != E; ++I)
68 emitInstruction(**I);
69}
70
Chris Lattnerea1ddab2002-12-03 06:34:06 +000071
72namespace N86 { // Native X86 Register numbers...
73 enum {
74 EAX = 0, ECX = 1, EDX = 2, EBX = 3, ESP = 4, EBP = 5, ESI = 6, EDI = 7
75 };
76}
77
78
79// getX86RegNum - This function maps LLVM register identifiers to their X86
80// specific numbering, which is used in various places encoding instructions.
81//
82static unsigned getX86RegNum(unsigned RegNo) {
83 switch(RegNo) {
84 case X86::EAX: case X86::AX: case X86::AL: return N86::EAX;
85 case X86::ECX: case X86::CX: case X86::CL: return N86::ECX;
86 case X86::EDX: case X86::DX: case X86::DL: return N86::EDX;
87 case X86::EBX: case X86::BX: case X86::BL: return N86::EBX;
88 case X86::ESP: case X86::SP: case X86::AH: return N86::ESP;
89 case X86::EBP: case X86::BP: case X86::CH: return N86::EBP;
90 case X86::ESI: case X86::SI: case X86::DH: return N86::ESI;
91 case X86::EDI: case X86::DI: case X86::BH: return N86::EDI;
92 default:
93 assert(RegNo >= MRegisterInfo::FirstVirtualRegister &&
94 "Unknown physical register!");
95 assert(0 && "Register allocator hasn't allocated reg correctly yet!");
96 return 0;
97 }
98}
99
100inline static unsigned char ModRMByte(unsigned Mod, unsigned RegOpcode,
101 unsigned RM) {
102 assert(Mod < 4 && RegOpcode < 8 && RM < 8 && "ModRM Fields out of range!");
103 return RM | (RegOpcode << 3) | (Mod << 6);
104}
105
106void Emitter::emitRegModRMByte(unsigned ModRMReg, unsigned RegOpcodeFld){
107 MCE.emitByte(ModRMByte(3, RegOpcodeFld, getX86RegNum(ModRMReg)));
108}
109
110void Emitter::emitSIBByte(unsigned SS, unsigned Index, unsigned Base) {
111 // SIB byte is in the same format as the ModRMByte...
112 MCE.emitByte(ModRMByte(SS, Index, Base));
113}
114
115void Emitter::emitConstant(unsigned Val, unsigned Size) {
116 // Output the constant in little endian byte order...
117 for (unsigned i = 0; i != Size; ++i) {
118 MCE.emitByte(Val & 255);
119 Val >>= 8;
120 }
121}
122
123static bool isDisp8(int Value) {
124 return Value == (signed char)Value;
125}
126
127void Emitter::emitMemModRMByte(const MachineInstr &MI,
128 unsigned Op, unsigned RegOpcodeField) {
129 const MachineOperand &BaseReg = MI.getOperand(Op);
130 const MachineOperand &Scale = MI.getOperand(Op+1);
131 const MachineOperand &IndexReg = MI.getOperand(Op+2);
132 const MachineOperand &Disp = MI.getOperand(Op+3);
133
134 // Is a SIB byte needed?
135 if (IndexReg.getReg() == 0 && BaseReg.getReg() != X86::ESP) {
136 if (BaseReg.getReg() == 0) { // Just a displacement?
137 // Emit special case [disp32] encoding
138 MCE.emitByte(ModRMByte(0, RegOpcodeField, 5));
139 emitConstant(Disp.getImmedValue(), 4);
140 } else {
141 unsigned BaseRegNo = getX86RegNum(BaseReg.getReg());
142 if (Disp.getImmedValue() == 0 && BaseRegNo != N86::EBP) {
143 // Emit simple indirect register encoding... [EAX] f.e.
144 MCE.emitByte(ModRMByte(0, RegOpcodeField, BaseRegNo));
145 } else if (isDisp8(Disp.getImmedValue())) {
146 // Emit the disp8 encoding... [REG+disp8]
147 MCE.emitByte(ModRMByte(1, RegOpcodeField, BaseRegNo));
148 emitConstant(Disp.getImmedValue(), 1);
149 } else {
150 // Emit the most general non-SIB encoding: [REG+disp32]
Chris Lattner20671842002-12-13 05:05:05 +0000151 MCE.emitByte(ModRMByte(2, RegOpcodeField, BaseRegNo));
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000152 emitConstant(Disp.getImmedValue(), 4);
153 }
154 }
155
156 } else { // We need a SIB byte, so start by outputting the ModR/M byte first
157 assert(IndexReg.getReg() != X86::ESP && "Cannot use ESP as index reg!");
158
159 bool ForceDisp32 = false;
Brian Gaeke95780cc2002-12-13 07:56:18 +0000160 bool ForceDisp8 = false;
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000161 if (BaseReg.getReg() == 0) {
162 // If there is no base register, we emit the special case SIB byte with
163 // MOD=0, BASE=5, to JUST get the index, scale, and displacement.
164 MCE.emitByte(ModRMByte(0, RegOpcodeField, 4));
165 ForceDisp32 = true;
Brian Gaeke95780cc2002-12-13 07:56:18 +0000166 } else if (Disp.getImmedValue() == 0 && BaseReg.getReg() != X86::EBP) {
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000167 // Emit no displacement ModR/M byte
168 MCE.emitByte(ModRMByte(0, RegOpcodeField, 4));
169 } else if (isDisp8(Disp.getImmedValue())) {
170 // Emit the disp8 encoding...
171 MCE.emitByte(ModRMByte(1, RegOpcodeField, 4));
Brian Gaeke95780cc2002-12-13 07:56:18 +0000172 ForceDisp8 = true; // Make sure to force 8 bit disp if Base=EBP
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000173 } else {
174 // Emit the normal disp32 encoding...
175 MCE.emitByte(ModRMByte(2, RegOpcodeField, 4));
176 }
177
178 // Calculate what the SS field value should be...
179 static const unsigned SSTable[] = { ~0, 0, 1, ~0, 2, ~0, ~0, ~0, 3 };
180 unsigned SS = SSTable[Scale.getImmedValue()];
181
182 if (BaseReg.getReg() == 0) {
183 // Handle the SIB byte for the case where there is no base. The
184 // displacement has already been output.
185 assert(IndexReg.getReg() && "Index register must be specified!");
186 emitSIBByte(SS, getX86RegNum(IndexReg.getReg()), 5);
187 } else {
188 unsigned BaseRegNo = getX86RegNum(BaseReg.getReg());
189 unsigned IndexRegNo = getX86RegNum(IndexReg.getReg());
190 emitSIBByte(SS, IndexRegNo, BaseRegNo);
191 }
192
193 // Do we need to output a displacement?
Brian Gaeke95780cc2002-12-13 07:56:18 +0000194 if (Disp.getImmedValue() != 0 || ForceDisp32 || ForceDisp8) {
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000195 if (!ForceDisp32 && isDisp8(Disp.getImmedValue()))
196 emitConstant(Disp.getImmedValue(), 1);
197 else
198 emitConstant(Disp.getImmedValue(), 4);
199 }
200 }
201}
202
203static bool isImmediate(const MachineOperand &MO) {
204 return MO.getType() == MachineOperand::MO_SignExtendedImmed ||
205 MO.getType() == MachineOperand::MO_UnextendedImmed;
206}
207
Misha Brukman5000e432002-12-13 02:13:15 +0000208unsigned sizeOfPtr (const MachineInstrDescriptor &Desc) {
Chris Lattnera0f38c82002-12-13 03:51:55 +0000209 switch (Desc.TSFlags & X86II::ArgMask) {
210 case X86II::Arg8: return 1;
211 case X86II::Arg16: return 2;
212 case X86II::Arg32: return 4;
213 case X86II::Arg64: return 8;
214 case X86II::Arg80: return 10;
215 case X86II::Arg128: return 16;
Chris Lattnera6a382c2002-12-13 03:50:13 +0000216 default: assert(0 && "Memory size not set!");
Misha Brukman5000e432002-12-13 02:13:15 +0000217 }
218}
219
220
Chris Lattner76041ce2002-12-02 21:44:34 +0000221void Emitter::emitInstruction(MachineInstr &MI) {
222 unsigned Opcode = MI.getOpcode();
Chris Lattner8f04b092002-12-02 21:56:18 +0000223 const MachineInstrDescriptor &Desc = II.get(Opcode);
Chris Lattner76041ce2002-12-02 21:44:34 +0000224
225 // Emit instruction prefixes if neccesary
226 if (Desc.TSFlags & X86II::OpSize) MCE.emitByte(0x66);// Operand size...
Chris Lattner8f04b092002-12-02 21:56:18 +0000227 if (Desc.TSFlags & X86II::TB) MCE.emitByte(0x0F);// Two-byte opcode prefix
Chris Lattner76041ce2002-12-02 21:44:34 +0000228
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000229 unsigned char BaseOpcode = II.getBaseOpcodeFor(Opcode);
Chris Lattner76041ce2002-12-02 21:44:34 +0000230 switch (Desc.TSFlags & X86II::FormMask) {
231 case X86II::RawFrm:
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000232 MCE.emitByte(BaseOpcode);
Chris Lattner8f04b092002-12-02 21:56:18 +0000233
234 if (MI.getNumOperands() == 1) {
235 assert(MI.getOperand(0).getType() == MachineOperand::MO_PCRelativeDisp);
236 MCE.emitPCRelativeDisp(MI.getOperand(0).getVRegValue());
237 }
Chris Lattner8f04b092002-12-02 21:56:18 +0000238 break;
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000239 case X86II::AddRegFrm:
240 MCE.emitByte(BaseOpcode + getX86RegNum(MI.getOperand(0).getReg()));
241 if (MI.getNumOperands() == 2) {
Misha Brukman5000e432002-12-13 02:13:15 +0000242 unsigned Size = sizeOfPtr(Desc);
Chris Lattnerac573f62002-12-04 17:32:52 +0000243 if (Value *V = MI.getOperand(1).getVRegValueOrNull()) {
Chris Lattnerdbf30f72002-12-04 06:45:19 +0000244 assert(Size == 4 && "Don't know how to emit non-pointer values!");
245 MCE.emitGlobalAddress(cast<GlobalValue>(V));
246 } else {
247 emitConstant(MI.getOperand(1).getImmedValue(), Size);
248 }
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000249 }
250 break;
251 case X86II::MRMDestReg:
252 MCE.emitByte(BaseOpcode);
253 emitRegModRMByte(MI.getOperand(0).getReg(),
254 getX86RegNum(MI.getOperand(MI.getNumOperands()-1).getReg()));
255 break;
256 case X86II::MRMDestMem:
257 MCE.emitByte(BaseOpcode);
258 emitMemModRMByte(MI, 0, getX86RegNum(MI.getOperand(4).getReg()));
259 break;
260 case X86II::MRMSrcReg:
261 MCE.emitByte(BaseOpcode);
262 emitRegModRMByte(MI.getOperand(MI.getNumOperands()-1).getReg(),
263 getX86RegNum(MI.getOperand(0).getReg()));
264 break;
265 case X86II::MRMSrcMem:
266 MCE.emitByte(BaseOpcode);
267 emitMemModRMByte(MI, MI.getNumOperands()-4,
268 getX86RegNum(MI.getOperand(0).getReg()));
269 break;
270
271 case X86II::MRMS0r: case X86II::MRMS1r:
272 case X86II::MRMS2r: case X86II::MRMS3r:
273 case X86II::MRMS4r: case X86II::MRMS5r:
274 case X86II::MRMS6r: case X86II::MRMS7r:
275 MCE.emitByte(BaseOpcode);
276 emitRegModRMByte(MI.getOperand(0).getReg(),
277 (Desc.TSFlags & X86II::FormMask)-X86II::MRMS0r);
278
279 if (isImmediate(MI.getOperand(MI.getNumOperands()-1))) {
Misha Brukman5000e432002-12-13 02:13:15 +0000280 unsigned Size = sizeOfPtr(Desc);
Chris Lattnerea1ddab2002-12-03 06:34:06 +0000281 emitConstant(MI.getOperand(MI.getNumOperands()-1).getImmedValue(), Size);
282 }
283 break;
284
285
Chris Lattner76041ce2002-12-02 21:44:34 +0000286 }
287}