blob: b4de879750868e693c75a99a7bb08879311bfba5 [file] [log] [blame]
Chris Lattner02a3d832002-10-29 22:37:54 +00001//===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
Misha Brukmanc88330a2005-04-21 23:38:14 +00002//
John Criswell482202a2003-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 Brukmanc88330a2005-04-21 23:38:14 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Misha Brukmanc88330a2005-04-21 23:38:14 +00009//
Chris Lattner02a3d832002-10-29 22:37:54 +000010// This file defines the X86 specific subclass of TargetMachine.
11//
12//===----------------------------------------------------------------------===//
13
14#include "X86TargetMachine.h"
Chris Lattnera32b4052002-12-24 00:04:01 +000015#include "X86.h"
Chris Lattner4fd144a2003-08-24 19:49:48 +000016#include "llvm/Module.h"
Chris Lattner524608a2003-04-23 16:24:55 +000017#include "llvm/PassManager.h"
Chris Lattnerbcdadf32004-06-20 07:49:54 +000018#include "llvm/CodeGen/IntrinsicLowering.h"
Chris Lattnerd7a85562002-10-30 00:47:49 +000019#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner962d5be2003-01-13 00:51:23 +000020#include "llvm/CodeGen/Passes.h"
Chris Lattnerc2726e62004-07-11 04:17:10 +000021#include "llvm/Target/TargetOptions.h"
Chris Lattner4266f802004-07-11 02:48:49 +000022#include "llvm/Target/TargetMachineRegistry.h"
Chris Lattner524608a2003-04-23 16:24:55 +000023#include "llvm/Transforms/Scalar.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000024#include "llvm/Support/CommandLine.h"
25#include "llvm/ADT/Statistic.h"
Chris Lattnerde02d772006-01-22 23:41:00 +000026#include <iostream>
Chris Lattner833c3c22003-12-20 01:22:19 +000027using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000028
Evan Chenga814f0b32006-01-27 21:26:54 +000029bool llvm::X86PatIsel = true;
Chris Lattnerdfa9dbc2004-08-24 08:18:44 +000030
Jeff Cohen68f28732005-01-03 16:34:19 +000031/// X86TargetMachineModule - Note that this is used on hosts that cannot link
32/// in a library unless there are references into the library. In particular,
33/// it seems that it is not possible to get things to work on Win32 without
34/// this. Though it is unused, do not remove it.
35extern "C" int X86TargetMachineModule;
36int X86TargetMachineModule = 0;
37
Chris Lattnere0c25aa2002-12-16 16:15:51 +000038namespace {
Chris Lattner56f9b192004-02-09 01:47:10 +000039 cl::opt<bool> DisableOutput("disable-x86-llc-output", cl::Hidden,
40 cl::desc("Disable the X86 asm printer, for use "
41 "when profiling the code generator."));
Evan Chenga814f0b32006-01-27 21:26:54 +000042 cl::opt<bool, true> EnableX86PatISel("enable-x86-pattern-isel", cl::Hidden,
43 cl::desc("Enable the pattern based isel for X86"),
44 cl::location(X86PatIsel),
Evan Cheng0c5de282006-01-20 01:14:05 +000045 cl::init(false));
Chris Lattner655e7df2005-11-16 01:54:32 +000046
Chris Lattner4266f802004-07-11 02:48:49 +000047 // Register the target.
Chris Lattner73eb9432004-07-11 03:27:42 +000048 RegisterTarget<X86TargetMachine> X("x86", " IA-32 (Pentium and above)");
Chris Lattnere0c25aa2002-12-16 16:15:51 +000049}
50
Chris Lattner4266f802004-07-11 02:48:49 +000051unsigned X86TargetMachine::getJITMatchQuality() {
Chris Lattnerfbc070b2004-10-18 15:54:17 +000052#if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
Chris Lattner4266f802004-07-11 02:48:49 +000053 return 10;
54#else
55 return 0;
56#endif
57}
58
59unsigned X86TargetMachine::getModuleMatchQuality(const Module &M) {
Chris Lattner17550c42004-12-12 17:40:28 +000060 // We strongly match "i[3-9]86-*".
61 std::string TT = M.getTargetTriple();
62 if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' &&
63 TT[4] == '-' && TT[1] - '3' < 6)
64 return 20;
65
Chris Lattner4266f802004-07-11 02:48:49 +000066 if (M.getEndianness() == Module::LittleEndian &&
67 M.getPointerSize() == Module::Pointer32)
Chris Lattner17550c42004-12-12 17:40:28 +000068 return 10; // Weak match
Chris Lattner4266f802004-07-11 02:48:49 +000069 else if (M.getEndianness() != Module::AnyEndianness ||
70 M.getPointerSize() != Module::AnyPointerSize)
71 return 0; // Match for some other target
72
73 return getJITMatchQuality()/2;
74}
Chris Lattner02a3d832002-10-29 22:37:54 +000075
76/// X86TargetMachine ctor - Create an ILP32 architecture model
77///
Jim Laskey19058c32005-09-01 21:38:21 +000078X86TargetMachine::X86TargetMachine(const Module &M,
79 IntrinsicLowering *IL,
80 const std::string &FS)
Chris Lattner5d236002003-12-28 21:23:38 +000081 : TargetMachine("X86", IL, true, 4, 4, 4, 4, 4),
Jim Laskey19058c32005-09-01 21:38:21 +000082 Subtarget(M, FS),
Nate Begemanf26625e2005-07-12 01:41:54 +000083 FrameInfo(TargetFrameInfo::StackGrowsDown,
84 Subtarget.getStackAlignment(), -4),
Chris Lattnera1d312c2006-02-03 18:59:39 +000085 JITInfo(*this) {
86}
Chris Lattner02a3d832002-10-29 22:37:54 +000087
Chris Lattner1d6ba3e2003-08-05 16:34:44 +000088
Chris Lattnerf11f48b2005-06-25 02:48:37 +000089// addPassesToEmitFile - We currently use all of the same passes as the JIT
Chris Lattner1d6ba3e2003-08-05 16:34:44 +000090// does to emit statically compiled machine code.
Chris Lattnerf11f48b2005-06-25 02:48:37 +000091bool X86TargetMachine::addPassesToEmitFile(PassManager &PM, std::ostream &Out,
Chris Lattnerb28f2142005-11-08 02:11:51 +000092 CodeGenFileType FileType,
93 bool Fast) {
Jeff Cohen5f4ef3c2005-07-27 06:12:32 +000094 if (FileType != TargetMachine::AssemblyFile &&
Chris Lattner10594202005-06-27 06:30:12 +000095 FileType != TargetMachine::ObjectFile) return true;
Chris Lattnerf11f48b2005-06-25 02:48:37 +000096
Chris Lattner6e4edd62004-05-23 21:23:35 +000097 // FIXME: Implement efficient support for garbage collection intrinsics.
98 PM.add(createLowerGCPass());
99
Chris Lattner37225ef2003-10-05 19:15:47 +0000100 // FIXME: Implement the invoke/unwind instructions!
101 PM.add(createLowerInvokePass());
102
Chris Lattner64c9b222004-02-25 19:30:19 +0000103 // FIXME: Implement the switch instruction in the instruction selector!
104 PM.add(createLowerSwitchPass());
105
Chris Lattner6c322ec2004-07-02 05:46:41 +0000106 // Make sure that no unreachable blocks are instruction selected.
107 PM.add(createUnreachableBlockEliminationPass());
108
Nate Begemanbe1f3142005-08-18 23:53:15 +0000109 // Install an instruction selector.
Evan Chenga814f0b32006-01-27 21:26:54 +0000110 if (X86PatIsel)
Chris Lattner655e7df2005-11-16 01:54:32 +0000111 PM.add(createX86ISelPattern(*this));
Evan Chenga814f0b32006-01-27 21:26:54 +0000112 else
113 PM.add(createX86ISelDag(*this));
Brian Gaeke02cbe282003-08-13 18:15:52 +0000114
Brian Gaeke02cbe282003-08-13 18:15:52 +0000115 // Print the instruction selected machine code...
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000116 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000117 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaeke02cbe282003-08-13 18:15:52 +0000118
119 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +0000120 PM.add(createRegisterAllocator());
Brian Gaeke02cbe282003-08-13 18:15:52 +0000121
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000122 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000123 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaeke02cbe282003-08-13 18:15:52 +0000124
125 PM.add(createX86FloatingPointStackifierPass());
126
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000127 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000128 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaeke02cbe282003-08-13 18:15:52 +0000129
130 // Insert prolog/epilog code. Eliminate abstract frame index references...
131 PM.add(createPrologEpilogCodeInserter());
132
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000133 if (PrintMachineCode) // Print the register-allocated code
Brian Gaeke02cbe282003-08-13 18:15:52 +0000134 PM.add(createX86CodePrinterPass(std::cerr, *this));
135
Chris Lattner56f9b192004-02-09 01:47:10 +0000136 if (!DisableOutput)
Chris Lattner10594202005-06-27 06:30:12 +0000137 switch (FileType) {
138 default:
139 assert(0 && "Unexpected filetype here!");
140 case TargetMachine::AssemblyFile:
141 PM.add(createX86CodePrinterPass(Out, *this));
142 break;
143 case TargetMachine::ObjectFile:
144 // FIXME: We only support emission of ELF files for now, this should check
145 // the target triple and decide on the format to write (e.g. COFF on
146 // win32).
Chris Lattnerd8312092005-07-11 05:17:48 +0000147 addX86ELFObjectWriterPass(PM, Out, *this);
Chris Lattner10594202005-06-27 06:30:12 +0000148 break;
149 }
Chris Lattner45259762003-12-20 10:20:19 +0000150
Alkis Evlogimenos6a355162004-02-15 00:03:15 +0000151 // Delete machine code for this function
152 PM.add(createMachineCodeDeleter());
153
Brian Gaekeac94bab2003-06-18 21:43:21 +0000154 return false; // success!
155}
156
Chris Lattner02a3d832002-10-29 22:37:54 +0000157/// addPassesToJITCompile - Add passes to the specified pass manager to
158/// implement a fast dynamic compiler for this target. Return true if this is
159/// not supported for this target.
160///
Chris Lattner833c3c22003-12-20 01:22:19 +0000161void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner6e4edd62004-05-23 21:23:35 +0000162 // FIXME: Implement efficient support for garbage collection intrinsics.
163 PM.add(createLowerGCPass());
Chris Lattner524608a2003-04-23 16:24:55 +0000164
Chris Lattner37225ef2003-10-05 19:15:47 +0000165 // FIXME: Implement the invoke/unwind instructions!
166 PM.add(createLowerInvokePass());
167
Chris Lattner64c9b222004-02-25 19:30:19 +0000168 // FIXME: Implement the switch instruction in the instruction selector!
169 PM.add(createLowerSwitchPass());
170
Chris Lattner6c322ec2004-07-02 05:46:41 +0000171 // Make sure that no unreachable blocks are instruction selected.
172 PM.add(createUnreachableBlockEliminationPass());
173
Nate Begemanbe1f3142005-08-18 23:53:15 +0000174 // Install an instruction selector.
Evan Chenga814f0b32006-01-27 21:26:54 +0000175 if (X86PatIsel)
Chris Lattner655e7df2005-11-16 01:54:32 +0000176 PM.add(createX86ISelPattern(TM));
Evan Chenga814f0b32006-01-27 21:26:54 +0000177 else
178 PM.add(createX86ISelDag(TM));
Chris Lattner02a3d832002-10-29 22:37:54 +0000179
Chris Lattnerd7a85562002-10-30 00:47:49 +0000180 // Print the instruction selected machine code...
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000181 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000182 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd7a85562002-10-30 00:47:49 +0000183
Chris Lattner02a3d832002-10-29 22:37:54 +0000184 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +0000185 PM.add(createRegisterAllocator());
Chris Lattner9a81e692002-12-28 20:33:32 +0000186
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000187 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000188 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner9a81e692002-12-28 20:33:32 +0000189
Chris Lattner962d5be2003-01-13 00:51:23 +0000190 PM.add(createX86FloatingPointStackifierPass());
191
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000192 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000193 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner962d5be2003-01-13 00:51:23 +0000194
Chris Lattner9a81e692002-12-28 20:33:32 +0000195 // Insert prolog/epilog code. Eliminate abstract frame index references...
196 PM.add(createPrologEpilogCodeInserter());
Chris Lattner02a3d832002-10-29 22:37:54 +0000197
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000198 if (PrintMachineCode) // Print the register-allocated code
Chris Lattner833c3c22003-12-20 01:22:19 +0000199 PM.add(createX86CodePrinterPass(std::cerr, TM));
Chris Lattner02a3d832002-10-29 22:37:54 +0000200}
201
Chris Lattnerd8312092005-07-11 05:17:48 +0000202bool X86TargetMachine::addPassesToEmitMachineCode(FunctionPassManager &PM,
203 MachineCodeEmitter &MCE) {
204 PM.add(createX86CodeEmitterPass(MCE));
205 // Delete machine code for this function
206 PM.add(createMachineCodeDeleter());
207 return false;
208}