blob: f9935b359f1758a3dd378c9eabe2f6ee3bca35de [file] [log] [blame]
Chris Lattner45762472010-02-03 21:24:49 +00001//===-- X86/X86MCCodeEmitter.cpp - Convert X86 code to machine code -------===//
2//
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 X86MCCodeEmitter class.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "x86-emitter"
15#include "X86.h"
Chris Lattner92b1dfe2010-02-03 21:43:43 +000016#include "X86InstrInfo.h"
Chris Lattner45762472010-02-03 21:24:49 +000017#include "llvm/MC/MCCodeEmitter.h"
Chris Lattner92b1dfe2010-02-03 21:43:43 +000018#include "llvm/MC/MCInst.h"
19#include "llvm/Support/raw_ostream.h"
Chris Lattner45762472010-02-03 21:24:49 +000020using namespace llvm;
21
22namespace {
23class X86MCCodeEmitter : public MCCodeEmitter {
24 X86MCCodeEmitter(const X86MCCodeEmitter &); // DO NOT IMPLEMENT
25 void operator=(const X86MCCodeEmitter &); // DO NOT IMPLEMENT
Chris Lattner92b1dfe2010-02-03 21:43:43 +000026 const TargetMachine &TM;
27 const TargetInstrInfo &TII;
Chris Lattner45762472010-02-03 21:24:49 +000028public:
Chris Lattner92b1dfe2010-02-03 21:43:43 +000029 X86MCCodeEmitter(TargetMachine &tm)
30 : TM(tm), TII(*TM.getInstrInfo()) {
Chris Lattner45762472010-02-03 21:24:49 +000031 }
32
33 ~X86MCCodeEmitter() {}
34
Chris Lattner28249d92010-02-05 01:53:19 +000035 static unsigned GetX86RegNum(const MCOperand &MO) {
36 return X86RegisterInfo::getX86RegNum(MO.getReg());
37 }
38
Chris Lattner92b1dfe2010-02-03 21:43:43 +000039 void EmitByte(unsigned char C, raw_ostream &OS) const {
40 OS << (char)C;
Chris Lattner45762472010-02-03 21:24:49 +000041 }
Chris Lattner92b1dfe2010-02-03 21:43:43 +000042
Chris Lattner28249d92010-02-05 01:53:19 +000043 void EmitConstant(uint64_t Val, unsigned Size, raw_ostream &OS) const {
44 // Output the constant in little endian byte order.
45 for (unsigned i = 0; i != Size; ++i) {
46 EmitByte(Val & 255, OS);
47 Val >>= 8;
48 }
49 }
50
51 inline static unsigned char ModRMByte(unsigned Mod, unsigned RegOpcode,
52 unsigned RM) {
53 assert(Mod < 4 && RegOpcode < 8 && RM < 8 && "ModRM Fields out of range!");
54 return RM | (RegOpcode << 3) | (Mod << 6);
55 }
56
57 void EmitRegModRMByte(const MCOperand &ModRMReg, unsigned RegOpcodeFld,
58 raw_ostream &OS) const {
59 EmitByte(ModRMByte(3, RegOpcodeFld, GetX86RegNum(ModRMReg)), OS);
60 }
61
62
Chris Lattner92b1dfe2010-02-03 21:43:43 +000063 void EncodeInstruction(const MCInst &MI, raw_ostream &OS) const;
64
Chris Lattner45762472010-02-03 21:24:49 +000065};
66
67} // end anonymous namespace
68
69
70MCCodeEmitter *llvm::createX86MCCodeEmitter(const Target &,
71 TargetMachine &TM) {
Chris Lattner92b1dfe2010-02-03 21:43:43 +000072 return new X86MCCodeEmitter(TM);
73}
74
75
76
77void X86MCCodeEmitter::
78EncodeInstruction(const MCInst &MI, raw_ostream &OS) const {
79 unsigned Opcode = MI.getOpcode();
80 const TargetInstrDesc &Desc = TII.get(Opcode);
Chris Lattner1e80f402010-02-03 21:57:59 +000081 unsigned TSFlags = Desc.TSFlags;
82
83 // FIXME: We should emit the prefixes in exactly the same order as GAS does,
84 // in order to provide diffability.
85
Chris Lattner92b1dfe2010-02-03 21:43:43 +000086 // Emit the lock opcode prefix as needed.
Chris Lattner1e80f402010-02-03 21:57:59 +000087 if (TSFlags & X86II::LOCK)
Chris Lattner92b1dfe2010-02-03 21:43:43 +000088 EmitByte(0xF0, OS);
89
90 // Emit segment override opcode prefix as needed.
Chris Lattner1e80f402010-02-03 21:57:59 +000091 switch (TSFlags & X86II::SegOvrMask) {
Chris Lattner92b1dfe2010-02-03 21:43:43 +000092 default: assert(0 && "Invalid segment!");
93 case 0: break; // No segment override!
94 case X86II::FS:
95 EmitByte(0x64, OS);
96 break;
97 case X86II::GS:
98 EmitByte(0x65, OS);
99 break;
100 }
101
Chris Lattner1e80f402010-02-03 21:57:59 +0000102 // Emit the repeat opcode prefix as needed.
103 if ((TSFlags & X86II::Op0Mask) == X86II::REP)
104 EmitByte(0xF3, OS);
Chris Lattner92b1dfe2010-02-03 21:43:43 +0000105
Chris Lattner1e80f402010-02-03 21:57:59 +0000106 // Emit the operand size opcode prefix as needed.
107 if (TSFlags & X86II::OpSize)
108 EmitByte(0x66, OS);
109
110 // Emit the address size opcode prefix as needed.
111 if (TSFlags & X86II::AdSize)
112 EmitByte(0x67, OS);
113
114 bool Need0FPrefix = false;
115 switch (TSFlags & X86II::Op0Mask) {
116 default: assert(0 && "Invalid prefix!");
117 case 0: break; // No prefix!
118 case X86II::REP: break; // already handled.
119 case X86II::TB: // Two-byte opcode prefix
120 case X86II::T8: // 0F 38
121 case X86II::TA: // 0F 3A
122 Need0FPrefix = true;
123 break;
124 case X86II::TF: // F2 0F 38
125 EmitByte(0xF2, OS);
126 Need0FPrefix = true;
127 break;
128 case X86II::XS: // F3 0F
129 EmitByte(0xF3, OS);
130 Need0FPrefix = true;
131 break;
132 case X86II::XD: // F2 0F
133 EmitByte(0xF2, OS);
134 Need0FPrefix = true;
135 break;
136 case X86II::D8: EmitByte(0xD8, OS); break;
137 case X86II::D9: EmitByte(0xD9, OS); break;
138 case X86II::DA: EmitByte(0xDA, OS); break;
139 case X86II::DB: EmitByte(0xDB, OS); break;
140 case X86II::DC: EmitByte(0xDC, OS); break;
141 case X86II::DD: EmitByte(0xDD, OS); break;
142 case X86II::DE: EmitByte(0xDE, OS); break;
143 case X86II::DF: EmitByte(0xDF, OS); break;
144 }
145
146 // Handle REX prefix.
147#if 0 // FIXME: Add in, also, can this come before F2 etc to simplify emission?
148 if (Is64BitMode) {
149 if (unsigned REX = X86InstrInfo::determineREX(MI))
150 EmitByte(0x40 | REX, OS);
151 }
152#endif
153
154 // 0x0F escape code must be emitted just before the opcode.
155 if (Need0FPrefix)
156 EmitByte(0x0F, OS);
157
158 // FIXME: Pull this up into previous switch if REX can be moved earlier.
159 switch (TSFlags & X86II::Op0Mask) {
160 case X86II::TF: // F2 0F 38
161 case X86II::T8: // 0F 38
162 EmitByte(0x38, OS);
163 break;
164 case X86II::TA: // 0F 3A
165 EmitByte(0x3A, OS);
166 break;
167 }
168
169 // If this is a two-address instruction, skip one of the register operands.
170 unsigned NumOps = Desc.getNumOperands();
171 unsigned CurOp = 0;
172 if (NumOps > 1 && Desc.getOperandConstraint(1, TOI::TIED_TO) != -1)
173 ++CurOp;
174 else if (NumOps > 2 && Desc.getOperandConstraint(NumOps-1, TOI::TIED_TO)== 0)
175 // Skip the last source operand that is tied_to the dest reg. e.g. LXADD32
176 --NumOps;
177
178 unsigned char BaseOpcode = X86InstrInfo::getBaseOpcodeFor(Desc);
179 switch (TSFlags & X86II::FormMask) {
180 default: assert(0 && "Unknown FormMask value in X86MCCodeEmitter!");
181 case X86II::RawFrm: {
182 EmitByte(BaseOpcode, OS);
183
184 if (CurOp == NumOps)
185 break;
186
Chris Lattner28249d92010-02-05 01:53:19 +0000187 assert(0 && "Unimpl RawFrm expr");
Chris Lattner1e80f402010-02-03 21:57:59 +0000188 break;
Chris Lattner1e80f402010-02-03 21:57:59 +0000189 }
Chris Lattner28249d92010-02-05 01:53:19 +0000190
191 case X86II::AddRegFrm: {
192 EmitByte(BaseOpcode + GetX86RegNum(MI.getOperand(CurOp++)),OS);
193 if (CurOp == NumOps)
194 break;
195
196 const MCOperand &MO1 = MI.getOperand(CurOp++);
197 if (MO1.isImm()) {
198 unsigned Size = X86InstrInfo::sizeOfImm(&Desc);
199 EmitConstant(MO1.getImm(), Size, OS);
200 break;
201 }
202
203 assert(0 && "Unimpl AddRegFrm expr");
204 break;
Chris Lattner1e80f402010-02-03 21:57:59 +0000205 }
Chris Lattner28249d92010-02-05 01:53:19 +0000206
207 case X86II::MRMDestReg:
208 EmitByte(BaseOpcode, OS);
209 EmitRegModRMByte(MI.getOperand(CurOp),
210 GetX86RegNum(MI.getOperand(CurOp+1)), OS);
211 CurOp += 2;
212 if (CurOp != NumOps)
213 EmitConstant(MI.getOperand(CurOp++).getImm(),
214 X86InstrInfo::sizeOfImm(&Desc), OS);
215 break;
216 }
217
218#ifndef NDEBUG
219 if (!Desc.isVariadic() && CurOp != NumOps) {
220 errs() << "Cannot encode all operands of: ";
221 MI.dump();
222 errs() << '\n';
223 abort();
224 }
225#endif
Chris Lattner45762472010-02-03 21:24:49 +0000226}