blob: 31eb4bd61c2df62a391cc78a58719e9402331205 [file] [log] [blame]
Chris Lattnerb4f68ed2002-10-29 22:37:54 +00001//===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
2//
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.
7//
8//===----------------------------------------------------------------------===//
9//
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 Lattnerb4f68ed2002-10-29 22:37:54 +000018#include "llvm/Target/TargetMachineImpls.h"
Chris Lattner3dffa792002-10-30 00:47:49 +000019#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerd91d86f2003-01-13 00:51:23 +000020#include "llvm/CodeGen/Passes.h"
Chris Lattner155e68f2003-04-23 16:24:55 +000021#include "llvm/Transforms/Scalar.h"
Chris Lattner439a27a2002-12-16 16:15:51 +000022#include "Support/CommandLine.h"
23#include "Support/Statistic.h"
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000024
Brian Gaeked0fde302003-11-11 22:41:34 +000025namespace llvm {
26
Chris Lattner439a27a2002-12-16 16:15:51 +000027namespace {
Chris Lattner5bcd95c2002-12-24 00:04:01 +000028 cl::opt<bool> PrintCode("print-machineinstrs",
29 cl::desc("Print generated machine code"));
Chris Lattnerac0c8682003-08-11 14:59:22 +000030 cl::opt<bool> NoPatternISel("disable-pattern-isel", cl::init(true),
31 cl::desc("Use the 'simple' X86 instruction selector"));
Chris Lattner439a27a2002-12-16 16:15:51 +000032}
33
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000034// allocateX86TargetMachine - Allocate and return a subclass of TargetMachine
35// that implements the X86 backend.
36//
Chris Lattnerbb144a82003-08-24 19:49:48 +000037TargetMachine *allocateX86TargetMachine(const Module &M) {
38 return new X86TargetMachine(M);
Chris Lattner5bcd95c2002-12-24 00:04:01 +000039}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000040
41
42/// X86TargetMachine ctor - Create an ILP32 architecture model
43///
Chris Lattnerbb144a82003-08-24 19:49:48 +000044X86TargetMachine::X86TargetMachine(const Module &M)
Chris Lattner6c09db22003-10-20 04:11:23 +000045 : TargetMachine("X86", true, 4, 4, 4, 4, 4),
Chris Lattnerbb144a82003-08-24 19:49:48 +000046 FrameInfo(TargetFrameInfo::StackGrowsDown, 8/*16 for SSE*/, 4) {
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000047}
48
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +000049
50// addPassesToEmitAssembly - We currently use all of the same passes as the JIT
51// does to emit statically compiled machine code.
Brian Gaekede3aa4f2003-06-18 21:43:21 +000052bool X86TargetMachine::addPassesToEmitAssembly(PassManager &PM,
53 std::ostream &Out) {
Brian Gaekeb4286542003-08-13 18:15:52 +000054 // FIXME: Implement the switch instruction in the instruction selector!
55 PM.add(createLowerSwitchPass());
56
Chris Lattnerc58c1692003-10-05 19:15:47 +000057 // FIXME: Implement the invoke/unwind instructions!
58 PM.add(createLowerInvokePass());
59
60 // FIXME: The code generator does not properly handle functions with
61 // unreachable basic blocks.
62 PM.add(createCFGSimplificationPass());
63
Brian Gaekeb4286542003-08-13 18:15:52 +000064 if (NoPatternISel)
65 PM.add(createX86SimpleInstructionSelector(*this));
66 else
67 PM.add(createX86PatternInstructionSelector(*this));
68
69 // TODO: optional optimizations go here
70
71 // FIXME: Add SSA based peephole optimizer here.
72
73 // Print the instruction selected machine code...
74 if (PrintCode)
75 PM.add(createMachineFunctionPrinterPass());
76
77 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +000078 PM.add(createRegisterAllocator());
Brian Gaekeb4286542003-08-13 18:15:52 +000079
80 if (PrintCode)
81 PM.add(createMachineFunctionPrinterPass());
82
83 PM.add(createX86FloatingPointStackifierPass());
84
85 if (PrintCode)
86 PM.add(createMachineFunctionPrinterPass());
87
88 // Insert prolog/epilog code. Eliminate abstract frame index references...
89 PM.add(createPrologEpilogCodeInserter());
90
91 PM.add(createX86PeepholeOptimizerPass());
92
93 if (PrintCode) // Print the register-allocated code
94 PM.add(createX86CodePrinterPass(std::cerr, *this));
95
Brian Gaekede420ae2003-07-23 20:25:08 +000096 PM.add(createX86CodePrinterPass(Out, *this));
Brian Gaekede3aa4f2003-06-18 21:43:21 +000097 return false; // success!
98}
99
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000100/// addPassesToJITCompile - Add passes to the specified pass manager to
101/// implement a fast dynamic compiler for this target. Return true if this is
102/// not supported for this target.
103///
Brian Gaekeb4286542003-08-13 18:15:52 +0000104bool X86TargetMachine::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner155e68f2003-04-23 16:24:55 +0000105 // FIXME: Implement the switch instruction in the instruction selector!
106 PM.add(createLowerSwitchPass());
107
Chris Lattnerc58c1692003-10-05 19:15:47 +0000108 // FIXME: Implement the invoke/unwind instructions!
109 PM.add(createLowerInvokePass());
110
111 // FIXME: The code generator does not properly handle functions with
112 // unreachable basic blocks.
113 PM.add(createCFGSimplificationPass());
114
Chris Lattnerac0c8682003-08-11 14:59:22 +0000115 if (NoPatternISel)
116 PM.add(createX86SimpleInstructionSelector(*this));
117 else
118 PM.add(createX86PatternInstructionSelector(*this));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000119
120 // TODO: optional optimizations go here
121
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000122 // FIXME: Add SSA based peephole optimizer here.
123
Chris Lattner3dffa792002-10-30 00:47:49 +0000124 // Print the instruction selected machine code...
Chris Lattner5bcd95c2002-12-24 00:04:01 +0000125 if (PrintCode)
126 PM.add(createMachineFunctionPrinterPass());
Chris Lattner3dffa792002-10-30 00:47:49 +0000127
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000128 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000129 PM.add(createRegisterAllocator());
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000130
131 if (PrintCode)
132 PM.add(createMachineFunctionPrinterPass());
133
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000134 PM.add(createX86FloatingPointStackifierPass());
135
136 if (PrintCode)
137 PM.add(createMachineFunctionPrinterPass());
138
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000139 // Insert prolog/epilog code. Eliminate abstract frame index references...
140 PM.add(createPrologEpilogCodeInserter());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000141
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000142 PM.add(createX86PeepholeOptimizerPass());
143
Chris Lattner430cda72002-12-25 05:06:21 +0000144 if (PrintCode) // Print the register-allocated code
Brian Gaekede420ae2003-07-23 20:25:08 +0000145 PM.add(createX86CodePrinterPass(std::cerr, *this));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000146 return false; // success!
147}
148
Brian Gaeke682ce722003-10-20 15:15:17 +0000149void X86TargetMachine::replaceMachineCodeForFunction (void *Old, void *New) {
Brian Gaekee5f68592003-10-17 21:47:25 +0000150 // FIXME: This code could perhaps live in a more appropriate place.
Brian Gaeke9b8c2912003-10-17 18:27:46 +0000151 char *OldByte = (char *) Old;
Brian Gaekee5f68592003-10-17 21:47:25 +0000152 *OldByte++ = 0xE9; // Emit JMP opcode.
153 int32_t *OldWord = (int32_t *) OldByte;
Chris Lattner2bee0572003-11-06 21:30:05 +0000154 int32_t NewAddr = (intptr_t) New;
155 int32_t OldAddr = (intptr_t) OldWord;
Brian Gaekee5f68592003-10-17 21:47:25 +0000156 *OldWord = NewAddr - OldAddr - 4; // Emit PC-relative addr of New code.
Brian Gaeke9b8c2912003-10-17 18:27:46 +0000157}
Brian Gaeked0fde302003-11-11 22:41:34 +0000158
159} // End llvm namespace