blob: e4b6a941a4668b09f54f5973cb35744596506d37 [file] [log] [blame]
Chris Lattnerb4f68ed2002-10-29 22:37:54 +00001//===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
Misha Brukman0e0a7a452005-04-21 23:38:14 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukman0e0a7a452005-04-21 23:38:14 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Misha Brukman0e0a7a452005-04-21 23:38:14 +00009//
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000010// This file defines the X86 specific subclass of TargetMachine.
11//
12//===----------------------------------------------------------------------===//
13
14#include "X86TargetMachine.h"
Chris Lattner5bcd95c2002-12-24 00:04:01 +000015#include "X86.h"
Chris Lattnerbb144a82003-08-24 19:49:48 +000016#include "llvm/Module.h"
Chris Lattner155e68f2003-04-23 16:24:55 +000017#include "llvm/PassManager.h"
Chris Lattner3dffa792002-10-30 00:47:49 +000018#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerd91d86f2003-01-13 00:51:23 +000019#include "llvm/CodeGen/Passes.h"
Chris Lattner0cf0c372004-07-11 04:17:10 +000020#include "llvm/Target/TargetOptions.h"
Chris Lattnerd36c9702004-07-11 02:48:49 +000021#include "llvm/Target/TargetMachineRegistry.h"
Chris Lattner155e68f2003-04-23 16:24:55 +000022#include "llvm/Transforms/Scalar.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000023#include "llvm/Support/CommandLine.h"
24#include "llvm/ADT/Statistic.h"
Chris Lattner2c2c6c62006-01-22 23:41:00 +000025#include <iostream>
Chris Lattner1e60a912003-12-20 01:22:19 +000026using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000027
Jeff Cohen1c32f792005-01-03 16:34:19 +000028/// X86TargetMachineModule - Note that this is used on hosts that cannot link
29/// in a library unless there are references into the library. In particular,
30/// it seems that it is not possible to get things to work on Win32 without
31/// this. Though it is unused, do not remove it.
32extern "C" int X86TargetMachineModule;
33int X86TargetMachineModule = 0;
34
Chris Lattner439a27a2002-12-16 16:15:51 +000035namespace {
Chris Lattnerf6f263c2004-02-09 01:47:10 +000036 cl::opt<bool> DisableOutput("disable-x86-llc-output", cl::Hidden,
37 cl::desc("Disable the X86 asm printer, for use "
38 "when profiling the code generator."));
Chris Lattnerd36c9702004-07-11 02:48:49 +000039 // Register the target.
Chris Lattner71d24aa2004-07-11 03:27:42 +000040 RegisterTarget<X86TargetMachine> X("x86", " IA-32 (Pentium and above)");
Chris Lattner439a27a2002-12-16 16:15:51 +000041}
42
Chris Lattnerd36c9702004-07-11 02:48:49 +000043unsigned X86TargetMachine::getJITMatchQuality() {
Chris Lattner7d0974b2004-10-18 15:54:17 +000044#if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
Chris Lattnerd36c9702004-07-11 02:48:49 +000045 return 10;
46#else
47 return 0;
48#endif
49}
50
51unsigned X86TargetMachine::getModuleMatchQuality(const Module &M) {
Chris Lattner3ea78c42004-12-12 17:40:28 +000052 // We strongly match "i[3-9]86-*".
53 std::string TT = M.getTargetTriple();
54 if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' &&
55 TT[4] == '-' && TT[1] - '3' < 6)
56 return 20;
57
Chris Lattnerd36c9702004-07-11 02:48:49 +000058 if (M.getEndianness() == Module::LittleEndian &&
59 M.getPointerSize() == Module::Pointer32)
Chris Lattner3ea78c42004-12-12 17:40:28 +000060 return 10; // Weak match
Chris Lattnerd36c9702004-07-11 02:48:49 +000061 else if (M.getEndianness() != Module::AnyEndianness ||
62 M.getPointerSize() != Module::AnyPointerSize)
63 return 0; // Match for some other target
64
65 return getJITMatchQuality()/2;
66}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000067
68/// X86TargetMachine ctor - Create an ILP32 architecture model
69///
Chris Lattnerbc641b92006-03-23 05:43:16 +000070X86TargetMachine::X86TargetMachine(const Module &M, const std::string &FS)
Owen Andersona69571c2006-05-03 01:29:57 +000071 : TargetMachine("X86"),
Jim Laskeyb1e11802005-09-01 21:38:21 +000072 Subtarget(M, FS),
Chris Lattner1790d442006-06-16 18:22:52 +000073 DataLayout("e-p:32:32-d:32-l:32"),
Nate Begemanfb5792f2005-07-12 01:41:54 +000074 FrameInfo(TargetFrameInfo::StackGrowsDown,
75 Subtarget.getStackAlignment(), -4),
Evan Chengaa3c1412006-05-30 21:45:53 +000076 InstrInfo(*this), JITInfo(*this), TLInfo(*this) {
Evan Cheng4c1aa862006-02-22 20:19:42 +000077 if (getRelocationModel() == Reloc::Default)
78 if (Subtarget.isTargetDarwin())
79 setRelocationModel(Reloc::DynamicNoPIC);
80 else
81 setRelocationModel(Reloc::PIC);
Chris Lattner4efab052006-02-03 18:59:39 +000082}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000083
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +000084
Chris Lattner0431c962005-06-25 02:48:37 +000085// addPassesToEmitFile - We currently use all of the same passes as the JIT
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +000086// does to emit statically compiled machine code.
Chris Lattner0431c962005-06-25 02:48:37 +000087bool X86TargetMachine::addPassesToEmitFile(PassManager &PM, std::ostream &Out,
Chris Lattnerce8eb0c2005-11-08 02:11:51 +000088 CodeGenFileType FileType,
89 bool Fast) {
Jeff Cohen00b168892005-07-27 06:12:32 +000090 if (FileType != TargetMachine::AssemblyFile &&
Chris Lattner07a91442005-06-27 06:30:12 +000091 FileType != TargetMachine::ObjectFile) return true;
Chris Lattner0431c962005-06-25 02:48:37 +000092
Evan Cheng627fb572006-03-09 21:51:28 +000093 // Run loop strength reduction before anything else.
Evan Cheng5fef51e2006-03-19 06:08:49 +000094 PM.add(createLoopStrengthReducePass(&TLInfo));
Evan Cheng627fb572006-03-09 21:51:28 +000095
Chris Lattner99c59e82004-05-23 21:23:35 +000096 // FIXME: Implement efficient support for garbage collection intrinsics.
97 PM.add(createLowerGCPass());
98
Chris Lattnerc58c1692003-10-05 19:15:47 +000099 // FIXME: Implement the invoke/unwind instructions!
100 PM.add(createLowerInvokePass());
101
Chris Lattner9a9ca0f2004-07-02 05:46:41 +0000102 // Make sure that no unreachable blocks are instruction selected.
103 PM.add(createUnreachableBlockEliminationPass());
104
Nate Begeman73bfa712005-08-18 23:53:15 +0000105 // Install an instruction selector.
Nate Begeman4c5dcf52006-02-17 00:03:04 +0000106 PM.add(createX86ISelDag(*this));
Brian Gaekeb4286542003-08-13 18:15:52 +0000107
Brian Gaekeb4286542003-08-13 18:15:52 +0000108 // Print the instruction selected machine code...
Brian Gaeke323819e2004-03-04 19:16:23 +0000109 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000110 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000111
112 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000113 PM.add(createRegisterAllocator());
Brian Gaekeb4286542003-08-13 18:15:52 +0000114
Brian Gaeke323819e2004-03-04 19:16:23 +0000115 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000116 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000117
118 PM.add(createX86FloatingPointStackifierPass());
119
Brian Gaeke323819e2004-03-04 19:16:23 +0000120 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000121 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000122
123 // Insert prolog/epilog code. Eliminate abstract frame index references...
124 PM.add(createPrologEpilogCodeInserter());
125
Brian Gaeke323819e2004-03-04 19:16:23 +0000126 if (PrintMachineCode) // Print the register-allocated code
Brian Gaekeb4286542003-08-13 18:15:52 +0000127 PM.add(createX86CodePrinterPass(std::cerr, *this));
128
Chris Lattnerf6f263c2004-02-09 01:47:10 +0000129 if (!DisableOutput)
Chris Lattner07a91442005-06-27 06:30:12 +0000130 switch (FileType) {
131 default:
132 assert(0 && "Unexpected filetype here!");
133 case TargetMachine::AssemblyFile:
134 PM.add(createX86CodePrinterPass(Out, *this));
135 break;
136 case TargetMachine::ObjectFile:
137 // FIXME: We only support emission of ELF files for now, this should check
138 // the target triple and decide on the format to write (e.g. COFF on
139 // win32).
Chris Lattner81b6ed72005-07-11 05:17:48 +0000140 addX86ELFObjectWriterPass(PM, Out, *this);
Chris Lattner07a91442005-06-27 06:30:12 +0000141 break;
142 }
Chris Lattner655239c2003-12-20 10:20:19 +0000143
Alkis Evlogimenosc81efdc2004-02-15 00:03:15 +0000144 // Delete machine code for this function
145 PM.add(createMachineCodeDeleter());
146
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000147 return false; // success!
148}
149
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000150/// addPassesToJITCompile - Add passes to the specified pass manager to
151/// implement a fast dynamic compiler for this target. Return true if this is
152/// not supported for this target.
153///
Chris Lattner1e60a912003-12-20 01:22:19 +0000154void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Evan Cheng4c1aa862006-02-22 20:19:42 +0000155 // The JIT should use static relocation model.
156 TM.setRelocationModel(Reloc::Static);
Evan Cheng64283022006-02-18 01:49:25 +0000157
Evan Chengc4c62572006-03-13 23:20:37 +0000158 // Run loop strength reduction before anything else.
Evan Cheng5fef51e2006-03-19 06:08:49 +0000159 PM.add(createLoopStrengthReducePass(TM.getTargetLowering()));
Evan Chengc4c62572006-03-13 23:20:37 +0000160
Chris Lattner99c59e82004-05-23 21:23:35 +0000161 // FIXME: Implement efficient support for garbage collection intrinsics.
162 PM.add(createLowerGCPass());
Chris Lattner155e68f2003-04-23 16:24:55 +0000163
Chris Lattnerc58c1692003-10-05 19:15:47 +0000164 // FIXME: Implement the invoke/unwind instructions!
165 PM.add(createLowerInvokePass());
166
Chris Lattner9a9ca0f2004-07-02 05:46:41 +0000167 // Make sure that no unreachable blocks are instruction selected.
168 PM.add(createUnreachableBlockEliminationPass());
169
Nate Begeman73bfa712005-08-18 23:53:15 +0000170 // Install an instruction selector.
Nate Begeman4c5dcf52006-02-17 00:03:04 +0000171 PM.add(createX86ISelDag(TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000172
Chris Lattner3dffa792002-10-30 00:47:49 +0000173 // Print the instruction selected machine code...
Brian Gaeke323819e2004-03-04 19:16:23 +0000174 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000175 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner3dffa792002-10-30 00:47:49 +0000176
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000177 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000178 PM.add(createRegisterAllocator());
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000179
Brian Gaeke323819e2004-03-04 19:16:23 +0000180 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000181 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000182
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000183 PM.add(createX86FloatingPointStackifierPass());
184
Brian Gaeke323819e2004-03-04 19:16:23 +0000185 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000186 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000187
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000188 // Insert prolog/epilog code. Eliminate abstract frame index references...
189 PM.add(createPrologEpilogCodeInserter());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000190
Brian Gaeke323819e2004-03-04 19:16:23 +0000191 if (PrintMachineCode) // Print the register-allocated code
Chris Lattner1e60a912003-12-20 01:22:19 +0000192 PM.add(createX86CodePrinterPass(std::cerr, TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000193}
194
Chris Lattner81b6ed72005-07-11 05:17:48 +0000195bool X86TargetMachine::addPassesToEmitMachineCode(FunctionPassManager &PM,
196 MachineCodeEmitter &MCE) {
Evan Cheng55fc2802006-07-25 20:40:54 +0000197 PM.add(createX86CodeEmitterPass(*this, MCE));
Chris Lattner81b6ed72005-07-11 05:17:48 +0000198 // Delete machine code for this function
199 PM.add(createMachineCodeDeleter());
200 return false;
201}