blob: ebe42465b9627788d7346421ea88e1c244e61dcb [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 Lattner92b1dfe2010-02-03 21:43:43 +000035 void EmitByte(unsigned char C, raw_ostream &OS) const {
36 OS << (char)C;
Chris Lattner45762472010-02-03 21:24:49 +000037 }
Chris Lattner92b1dfe2010-02-03 21:43:43 +000038
39 void EncodeInstruction(const MCInst &MI, raw_ostream &OS) const;
40
Chris Lattner45762472010-02-03 21:24:49 +000041};
42
43} // end anonymous namespace
44
45
46MCCodeEmitter *llvm::createX86MCCodeEmitter(const Target &,
47 TargetMachine &TM) {
Chris Lattner92b1dfe2010-02-03 21:43:43 +000048 return new X86MCCodeEmitter(TM);
49}
50
51
52
53void X86MCCodeEmitter::
54EncodeInstruction(const MCInst &MI, raw_ostream &OS) const {
55 unsigned Opcode = MI.getOpcode();
56 const TargetInstrDesc &Desc = TII.get(Opcode);
Chris Lattner1e80f402010-02-03 21:57:59 +000057 unsigned TSFlags = Desc.TSFlags;
58
59 // FIXME: We should emit the prefixes in exactly the same order as GAS does,
60 // in order to provide diffability.
61
Chris Lattner92b1dfe2010-02-03 21:43:43 +000062 // Emit the lock opcode prefix as needed.
Chris Lattner1e80f402010-02-03 21:57:59 +000063 if (TSFlags & X86II::LOCK)
Chris Lattner92b1dfe2010-02-03 21:43:43 +000064 EmitByte(0xF0, OS);
65
66 // Emit segment override opcode prefix as needed.
Chris Lattner1e80f402010-02-03 21:57:59 +000067 switch (TSFlags & X86II::SegOvrMask) {
Chris Lattner92b1dfe2010-02-03 21:43:43 +000068 default: assert(0 && "Invalid segment!");
69 case 0: break; // No segment override!
70 case X86II::FS:
71 EmitByte(0x64, OS);
72 break;
73 case X86II::GS:
74 EmitByte(0x65, OS);
75 break;
76 }
77
Chris Lattner1e80f402010-02-03 21:57:59 +000078 // Emit the repeat opcode prefix as needed.
79 if ((TSFlags & X86II::Op0Mask) == X86II::REP)
80 EmitByte(0xF3, OS);
Chris Lattner92b1dfe2010-02-03 21:43:43 +000081
Chris Lattner1e80f402010-02-03 21:57:59 +000082 // Emit the operand size opcode prefix as needed.
83 if (TSFlags & X86II::OpSize)
84 EmitByte(0x66, OS);
85
86 // Emit the address size opcode prefix as needed.
87 if (TSFlags & X86II::AdSize)
88 EmitByte(0x67, OS);
89
90 bool Need0FPrefix = false;
91 switch (TSFlags & X86II::Op0Mask) {
92 default: assert(0 && "Invalid prefix!");
93 case 0: break; // No prefix!
94 case X86II::REP: break; // already handled.
95 case X86II::TB: // Two-byte opcode prefix
96 case X86II::T8: // 0F 38
97 case X86II::TA: // 0F 3A
98 Need0FPrefix = true;
99 break;
100 case X86II::TF: // F2 0F 38
101 EmitByte(0xF2, OS);
102 Need0FPrefix = true;
103 break;
104 case X86II::XS: // F3 0F
105 EmitByte(0xF3, OS);
106 Need0FPrefix = true;
107 break;
108 case X86II::XD: // F2 0F
109 EmitByte(0xF2, OS);
110 Need0FPrefix = true;
111 break;
112 case X86II::D8: EmitByte(0xD8, OS); break;
113 case X86II::D9: EmitByte(0xD9, OS); break;
114 case X86II::DA: EmitByte(0xDA, OS); break;
115 case X86II::DB: EmitByte(0xDB, OS); break;
116 case X86II::DC: EmitByte(0xDC, OS); break;
117 case X86II::DD: EmitByte(0xDD, OS); break;
118 case X86II::DE: EmitByte(0xDE, OS); break;
119 case X86II::DF: EmitByte(0xDF, OS); break;
120 }
121
122 // Handle REX prefix.
123#if 0 // FIXME: Add in, also, can this come before F2 etc to simplify emission?
124 if (Is64BitMode) {
125 if (unsigned REX = X86InstrInfo::determineREX(MI))
126 EmitByte(0x40 | REX, OS);
127 }
128#endif
129
130 // 0x0F escape code must be emitted just before the opcode.
131 if (Need0FPrefix)
132 EmitByte(0x0F, OS);
133
134 // FIXME: Pull this up into previous switch if REX can be moved earlier.
135 switch (TSFlags & X86II::Op0Mask) {
136 case X86II::TF: // F2 0F 38
137 case X86II::T8: // 0F 38
138 EmitByte(0x38, OS);
139 break;
140 case X86II::TA: // 0F 3A
141 EmitByte(0x3A, OS);
142 break;
143 }
144
145 // If this is a two-address instruction, skip one of the register operands.
146 unsigned NumOps = Desc.getNumOperands();
147 unsigned CurOp = 0;
148 if (NumOps > 1 && Desc.getOperandConstraint(1, TOI::TIED_TO) != -1)
149 ++CurOp;
150 else if (NumOps > 2 && Desc.getOperandConstraint(NumOps-1, TOI::TIED_TO)== 0)
151 // Skip the last source operand that is tied_to the dest reg. e.g. LXADD32
152 --NumOps;
153
154 unsigned char BaseOpcode = X86InstrInfo::getBaseOpcodeFor(Desc);
155 switch (TSFlags & X86II::FormMask) {
156 default: assert(0 && "Unknown FormMask value in X86MCCodeEmitter!");
157 case X86II::RawFrm: {
158 EmitByte(BaseOpcode, OS);
159
160 if (CurOp == NumOps)
161 break;
162
163 assert(0 && "Unimpl");
164#if 0
165 const MachineOperand &MO = MI.getOperand(CurOp++);
166
167 DEBUG(dbgs() << "RawFrm CurOp " << CurOp << "\n");
168 DEBUG(dbgs() << "isMBB " << MO.isMBB() << "\n");
169 DEBUG(dbgs() << "isGlobal " << MO.isGlobal() << "\n");
170 DEBUG(dbgs() << "isSymbol " << MO.isSymbol() << "\n");
171 DEBUG(dbgs() << "isImm " << MO.isImm() << "\n");
172
173 if (MO.isMBB()) {
174 emitPCRelativeBlockAddress(MO.getMBB());
175 break;
176 }
177
178 if (MO.isGlobal()) {
179 emitGlobalAddress(MO.getGlobal(), X86::reloc_pcrel_word,
180 MO.getOffset(), 0);
181 break;
182 }
183
184 if (MO.isSymbol()) {
185 emitExternalSymbolAddress(MO.getSymbolName(), X86::reloc_pcrel_word);
186 break;
187 }
188
189 assert(MO.isImm() && "Unknown RawFrm operand!");
190 if (Opcode == X86::CALLpcrel32 || Opcode == X86::CALL64pcrel32) {
191 // Fix up immediate operand for pc relative calls.
192 intptr_t Imm = (intptr_t)MO.getImm();
193 Imm = Imm - MCE.getCurrentPCValue() - 4;
194 emitConstant(Imm, X86InstrInfo::sizeOfImm(Desc));
195 } else
196 emitConstant(MO.getImm(), X86InstrInfo::sizeOfImm(Desc));
197 break;
198#endif
199 }
200 }
Chris Lattner45762472010-02-03 21:24:49 +0000201}