1 //===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines the X86 specific subclass of TargetMachine.
12 //===----------------------------------------------------------------------===//
14 #include "X86TargetAsmInfo.h"
15 #include "X86TargetMachine.h"
17 #include "llvm/Module.h"
18 #include "llvm/PassManager.h"
19 #include "llvm/CodeGen/MachineFunction.h"
20 #include "llvm/CodeGen/Passes.h"
21 #include "llvm/Support/FormattedStream.h"
22 #include "llvm/Target/TargetOptions.h"
23 #include "llvm/Target/TargetMachineRegistry.h"
26 /// X86TargetMachineModule - Note that this is used on hosts that cannot link
27 /// in a library unless there are references into the library. In particular,
28 /// it seems that it is not possible to get things to work on Win32 without
29 /// this. Though it is unused, do not remove it.
30 extern "C" int X86TargetMachineModule;
31 int X86TargetMachineModule = 0;
33 // Register the target.
34 static RegisterTarget<X86_32TargetMachine>
35 X("x86", "32-bit X86: Pentium-Pro and above");
36 static RegisterTarget<X86_64TargetMachine>
37 Y("x86-64", "64-bit X86: EM64T and AMD64");
39 // Force static initialization.
40 extern "C" void LLVMInitializeX86Target() { }
42 // No assembler printer by default
43 X86TargetMachine::AsmPrinterCtorFn X86TargetMachine::AsmPrinterCtor = 0;
45 const TargetAsmInfo *X86TargetMachine::createTargetAsmInfo() const {
46 if (Subtarget.isFlavorIntel())
47 return new X86WinTargetAsmInfo(*this);
49 switch (Subtarget.TargetType) {
50 case X86Subtarget::isDarwin:
51 return new X86DarwinTargetAsmInfo(*this);
52 case X86Subtarget::isELF:
53 return new X86ELFTargetAsmInfo(*this);
54 case X86Subtarget::isMingw:
55 case X86Subtarget::isCygwin:
56 return new X86COFFTargetAsmInfo(*this);
57 case X86Subtarget::isWindows:
58 return new X86WinTargetAsmInfo(*this);
60 return new X86GenericTargetAsmInfo(*this);
64 unsigned X86_32TargetMachine::getJITMatchQuality() {
65 #if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
71 unsigned X86_64TargetMachine::getJITMatchQuality() {
72 #if defined(__x86_64__) || defined(_M_AMD64)
78 unsigned X86_32TargetMachine::getModuleMatchQuality(const Module &M) {
79 // We strongly match "i[3-9]86-*".
80 std::string TT = M.getTargetTriple();
81 if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' &&
82 TT[4] == '-' && TT[1] - '3' < 6)
84 // If the target triple is something non-X86, we don't match.
85 if (!TT.empty()) return 0;
87 if (M.getEndianness() == Module::LittleEndian &&
88 M.getPointerSize() == Module::Pointer32)
89 return 10; // Weak match
90 else if (M.getEndianness() != Module::AnyEndianness ||
91 M.getPointerSize() != Module::AnyPointerSize)
92 return 0; // Match for some other target
94 return getJITMatchQuality()/2;
97 unsigned X86_64TargetMachine::getModuleMatchQuality(const Module &M) {
98 // We strongly match "x86_64-*".
99 std::string TT = M.getTargetTriple();
100 if (TT.size() >= 7 && TT[0] == 'x' && TT[1] == '8' && TT[2] == '6' &&
101 TT[3] == '_' && TT[4] == '6' && TT[5] == '4' && TT[6] == '-')
104 // We strongly match "amd64-*".
105 if (TT.size() >= 6 && TT[0] == 'a' && TT[1] == 'm' && TT[2] == 'd' &&
106 TT[3] == '6' && TT[4] == '4' && TT[5] == '-')
109 // If the target triple is something non-X86-64, we don't match.
110 if (!TT.empty()) return 0;
112 if (M.getEndianness() == Module::LittleEndian &&
113 M.getPointerSize() == Module::Pointer64)
114 return 10; // Weak match
115 else if (M.getEndianness() != Module::AnyEndianness ||
116 M.getPointerSize() != Module::AnyPointerSize)
117 return 0; // Match for some other target
119 return getJITMatchQuality()/2;
122 X86_32TargetMachine::X86_32TargetMachine(const Module &M, const std::string &FS)
123 : X86TargetMachine(M, FS, false) {
127 X86_64TargetMachine::X86_64TargetMachine(const Module &M, const std::string &FS)
128 : X86TargetMachine(M, FS, true) {
131 /// X86TargetMachine ctor - Create an X86 target.
133 X86TargetMachine::X86TargetMachine(const Module &M, const std::string &FS,
135 : Subtarget(M, FS, is64Bit),
136 DataLayout(Subtarget.getDataLayout()),
137 FrameInfo(TargetFrameInfo::StackGrowsDown,
138 Subtarget.getStackAlignment(), Subtarget.is64Bit() ? -8 : -4),
139 InstrInfo(*this), JITInfo(*this), TLInfo(*this), ELFWriterInfo(*this) {
140 DefRelocModel = getRelocationModel();
142 // If no relocation model was picked, default as appropriate for the target.
143 if (getRelocationModel() == Reloc::Default) {
144 if (!Subtarget.isTargetDarwin())
145 setRelocationModel(Reloc::Static);
146 else if (Subtarget.is64Bit())
147 setRelocationModel(Reloc::PIC_);
149 setRelocationModel(Reloc::DynamicNoPIC);
152 assert(getRelocationModel() != Reloc::Default &&
153 "Relocation mode not picked");
155 // If no code model is picked, default to small.
156 if (getCodeModel() == CodeModel::Default)
157 setCodeModel(CodeModel::Small);
159 // ELF and X86-64 don't have a distinct DynamicNoPIC model. DynamicNoPIC
160 // is defined as a model for code which may be used in static or dynamic
161 // executables but not necessarily a shared library. On X86-32 we just
162 // compile in -static mode, in x86-64 we use PIC.
163 if (getRelocationModel() == Reloc::DynamicNoPIC) {
165 setRelocationModel(Reloc::PIC_);
166 else if (!Subtarget.isTargetDarwin())
167 setRelocationModel(Reloc::Static);
170 // If we are on Darwin, disallow static relocation model in X86-64 mode, since
171 // the Mach-O file format doesn't support it.
172 if (getRelocationModel() == Reloc::Static &&
173 Subtarget.isTargetDarwin() &&
175 setRelocationModel(Reloc::PIC_);
177 // Determine the PICStyle based on the target selected.
178 if (getRelocationModel() == Reloc::Static) {
179 // Unless we're in PIC or DynamicNoPIC mode, set the PIC style to None.
180 Subtarget.setPICStyle(PICStyles::None);
181 } else if (Subtarget.isTargetCygMing()) {
182 Subtarget.setPICStyle(PICStyles::None);
183 } else if (Subtarget.isTargetDarwin()) {
184 if (Subtarget.is64Bit())
185 Subtarget.setPICStyle(PICStyles::RIPRel);
186 else if (getRelocationModel() == Reloc::PIC_)
187 Subtarget.setPICStyle(PICStyles::StubPIC);
189 assert(getRelocationModel() == Reloc::DynamicNoPIC);
190 Subtarget.setPICStyle(PICStyles::StubDynamicNoPIC);
192 } else if (Subtarget.isTargetELF()) {
193 if (Subtarget.is64Bit())
194 Subtarget.setPICStyle(PICStyles::RIPRel);
196 Subtarget.setPICStyle(PICStyles::GOT);
199 // Finally, if we have "none" as our PIC style, force to static mode.
200 if (Subtarget.getPICStyle() == PICStyles::None)
201 setRelocationModel(Reloc::Static);
204 //===----------------------------------------------------------------------===//
205 // Pass Pipeline Configuration
206 //===----------------------------------------------------------------------===//
208 bool X86TargetMachine::addInstSelector(PassManagerBase &PM,
209 CodeGenOpt::Level OptLevel) {
210 // Install an instruction selector.
211 PM.add(createX86ISelDag(*this, OptLevel));
213 // If we're using Fast-ISel, clean up the mess.
215 PM.add(createDeadMachineInstructionElimPass());
217 // Install a pass to insert x87 FP_REG_KILL instructions, as needed.
218 PM.add(createX87FPRegKillInserterPass());
223 bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM,
224 CodeGenOpt::Level OptLevel) {
225 // Calculate and set max stack object alignment early, so we can decide
226 // whether we will need stack realignment (and thus FP).
227 PM.add(createX86MaxStackAlignmentCalculatorPass());
228 return false; // -print-machineinstr shouldn't print after this.
231 bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM,
232 CodeGenOpt::Level OptLevel) {
233 PM.add(createX86FloatingPointStackifierPass());
234 return true; // -print-machineinstr should print after this.
237 bool X86TargetMachine::addAssemblyEmitter(PassManagerBase &PM,
238 CodeGenOpt::Level OptLevel,
240 formatted_raw_ostream &Out) {
241 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
243 PM.add(AsmPrinterCtor(Out, *this, Verbose));
247 bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
248 CodeGenOpt::Level OptLevel,
250 MachineCodeEmitter &MCE) {
251 // FIXME: Move this to TargetJITInfo!
252 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
253 if (DefRelocModel == Reloc::Default &&
254 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) {
255 setRelocationModel(Reloc::Static);
256 Subtarget.setPICStyle(PICStyles::None);
259 // 64-bit JIT places everything in the same buffer except external functions.
260 // On Darwin, use small code model but hack the call instruction for
261 // externals. Elsewhere, do not assume globals are in the lower 4G.
262 if (Subtarget.is64Bit()) {
263 if (Subtarget.isTargetDarwin())
264 setCodeModel(CodeModel::Small);
266 setCodeModel(CodeModel::Large);
269 PM.add(createX86CodeEmitterPass(*this, MCE));
271 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
273 PM.add(AsmPrinterCtor(ferrs(), *this, true));
279 bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
280 CodeGenOpt::Level OptLevel,
282 JITCodeEmitter &JCE) {
283 // FIXME: Move this to TargetJITInfo!
284 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
285 if (DefRelocModel == Reloc::Default &&
286 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) {
287 setRelocationModel(Reloc::Static);
288 Subtarget.setPICStyle(PICStyles::None);
291 // 64-bit JIT places everything in the same buffer except external functions.
292 // On Darwin, use small code model but hack the call instruction for
293 // externals. Elsewhere, do not assume globals are in the lower 4G.
294 if (Subtarget.is64Bit()) {
295 if (Subtarget.isTargetDarwin())
296 setCodeModel(CodeModel::Small);
298 setCodeModel(CodeModel::Large);
301 PM.add(createX86JITCodeEmitterPass(*this, JCE));
303 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
305 PM.add(AsmPrinterCtor(ferrs(), *this, true));
311 bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
312 CodeGenOpt::Level OptLevel,
314 ObjectCodeEmitter &OCE) {
315 PM.add(createX86ObjectCodeEmitterPass(*this, OCE));
317 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
319 PM.add(AsmPrinterCtor(ferrs(), *this, true));
325 bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
326 CodeGenOpt::Level OptLevel,
328 MachineCodeEmitter &MCE) {
329 PM.add(createX86CodeEmitterPass(*this, MCE));
331 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
333 PM.add(AsmPrinterCtor(ferrs(), *this, true));
339 bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
340 CodeGenOpt::Level OptLevel,
342 JITCodeEmitter &JCE) {
343 PM.add(createX86JITCodeEmitterPass(*this, JCE));
345 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
347 PM.add(AsmPrinterCtor(ferrs(), *this, true));
353 bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
354 CodeGenOpt::Level OptLevel,
356 ObjectCodeEmitter &OCE) {
357 PM.add(createX86ObjectCodeEmitterPass(*this, OCE));
359 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
361 PM.add(AsmPrinterCtor(ferrs(), *this, true));