blob: 76e770727fa61da22f50f674ee88a31d4d870c62 [file] [log] [blame]
Brian Gaekee3d68072004-02-25 18:44:15 +00001//===-- SparcV9.cpp - General implementation file for the SparcV9 Target ------===//
John Criswellb576c942003-10-20 19:43:21 +00002//
3// 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//===----------------------------------------------------------------------===//
Misha Brukmand71295a2003-12-17 22:04:00 +00009//
10// Primary interface to machine description for the UltraSPARC. Primarily just
11// initializes machine-dependent parameters in class TargetMachine, and creates
12// machine-dependent subclasses for classes such as TargetInstrInfo.
13//
Chris Lattner1d21f3e2002-04-09 05:21:26 +000014//===----------------------------------------------------------------------===//
Vikram S. Adve9db43182001-10-22 13:44:23 +000015
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000016#include "llvm/Function.h"
Chris Lattner37b18262003-12-28 09:46:33 +000017#include "llvm/IntrinsicLowering.h"
Chris Lattner4f946372002-10-28 01:03:43 +000018#include "llvm/PassManager.h"
Chris Lattner48e60792003-08-13 02:38:16 +000019#include "llvm/Assembly/PrintModulePass.h"
Chris Lattner4f946372002-10-28 01:03:43 +000020#include "llvm/CodeGen/InstrSelection.h"
21#include "llvm/CodeGen/InstrScheduling.h"
Misha Brukmand71295a2003-12-17 22:04:00 +000022#include "llvm/CodeGen/MachineFunction.h"
23#include "llvm/CodeGen/MachineFunctionInfo.h"
Chris Lattner4f946372002-10-28 01:03:43 +000024#include "llvm/CodeGen/MachineCodeForInstruction.h"
Chris Lattner56d22512003-09-30 22:24:00 +000025#include "llvm/CodeGen/Passes.h"
Chris Lattner48e60792003-08-13 02:38:16 +000026#include "llvm/Target/TargetMachineImpls.h"
Misha Brukmand71295a2003-12-17 22:04:00 +000027#include "llvm/Transforms/Scalar.h"
28#include "MappingInfo.h"
Brian Gaekee3d68072004-02-25 18:44:15 +000029#include "SparcV9Internals.h"
30#include "SparcV9TargetMachine.h"
Chris Lattner4f946372002-10-28 01:03:43 +000031#include "Support/CommandLine.h"
Ruchira Sasankae38bd5332001-09-15 00:30:44 +000032
Misha Brukmand71295a2003-12-17 22:04:00 +000033using namespace llvm;
34
Chris Lattner6af20402002-12-03 05:41:54 +000035static const unsigned ImplicitRegUseList[] = { 0 }; /* not used yet */
Chris Lattner9a3d63b2001-09-19 15:56:23 +000036// Build the MachineInstruction Description Array...
Brian Gaekee3d68072004-02-25 18:44:15 +000037const TargetInstrDescriptor llvm::SparcV9MachineInstrDesc[] = {
Chris Lattner9a3d63b2001-09-19 15:56:23 +000038#define I(ENUM, OPCODESTRING, NUMOPERANDS, RESULTPOS, MAXIMM, IMMSE, \
39 NUMDELAYSLOTS, LATENCY, SCHEDCLASS, INSTFLAGS) \
40 { OPCODESTRING, NUMOPERANDS, RESULTPOS, MAXIMM, IMMSE, \
Chris Lattner6af20402002-12-03 05:41:54 +000041 NUMDELAYSLOTS, LATENCY, SCHEDCLASS, INSTFLAGS, 0, \
42 ImplicitRegUseList, ImplicitRegUseList },
Brian Gaekee3d68072004-02-25 18:44:15 +000043#include "SparcV9Instr.def"
Chris Lattner9a3d63b2001-09-19 15:56:23 +000044};
Vikram S. Adve0fb49802001-09-18 13:01:29 +000045
Chris Lattner4f946372002-10-28 01:03:43 +000046//---------------------------------------------------------------------------
47// Command line options to control choice of code generation passes.
48//---------------------------------------------------------------------------
49
Misha Brukman1be1a232003-11-13 00:16:28 +000050namespace {
51 cl::opt<bool> DisableSched("disable-sched",
52 cl::desc("Disable local scheduling pass"));
Chris Lattner4f946372002-10-28 01:03:43 +000053
Misha Brukman1be1a232003-11-13 00:16:28 +000054 cl::opt<bool> DisablePeephole("disable-peephole",
Chris Lattner4f946372002-10-28 01:03:43 +000055 cl::desc("Disable peephole optimization pass"));
56
Misha Brukman1be1a232003-11-13 00:16:28 +000057 cl::opt<bool> EmitMappingInfo("enable-maps",
58 cl::desc("Emit LLVM-to-MachineCode mapping info to assembly"));
Brian Gaeke2e2f2dc2003-06-18 21:14:23 +000059
Misha Brukman1be1a232003-11-13 00:16:28 +000060 cl::opt<bool> DisableStrip("disable-strip",
61 cl::desc("Do not strip the LLVM bytecode in executable"));
Misha Brukman1be1a232003-11-13 00:16:28 +000062}
Brian Gaeke2e2f2dc2003-06-18 21:14:23 +000063
Chris Lattner583b9d82003-12-20 09:17:40 +000064//===---------------------------------------------------------------------===//
65// Code generation/destruction passes
66//===---------------------------------------------------------------------===//
67
68namespace {
69 class ConstructMachineFunction : public FunctionPass {
70 TargetMachine &Target;
71 public:
72 ConstructMachineFunction(TargetMachine &T) : Target(T) {}
73
74 const char *getPassName() const {
75 return "ConstructMachineFunction";
76 }
77
78 bool runOnFunction(Function &F) {
79 MachineFunction::construct(&F, Target).getInfo()->CalculateArgSize();
80 return false;
81 }
82 };
83
84 struct DestroyMachineFunction : public FunctionPass {
85 const char *getPassName() const { return "FreeMachineFunction"; }
86
87 static void freeMachineCode(Instruction &I) {
88 MachineCodeForInstruction::destroy(&I);
89 }
90
91 bool runOnFunction(Function &F) {
92 for (Function::iterator FI = F.begin(), FE = F.end(); FI != FE; ++FI)
93 for (BasicBlock::iterator I = FI->begin(), E = FI->end(); I != E; ++I)
94 MachineCodeForInstruction::get(I).dropAllReferences();
95
96 for (Function::iterator FI = F.begin(), FE = F.end(); FI != FE; ++FI)
97 for_each(FI->begin(), FI->end(), freeMachineCode);
98
Misha Brukman36158452003-12-22 03:47:58 +000099 MachineFunction::destruct(&F);
Chris Lattner583b9d82003-12-20 09:17:40 +0000100 return false;
101 }
102 };
103
104 FunctionPass *createMachineCodeConstructionPass(TargetMachine &Target) {
105 return new ConstructMachineFunction(Target);
106 }
107}
108
Brian Gaekee3d68072004-02-25 18:44:15 +0000109FunctionPass *llvm::createSparcV9MachineCodeDestructionPass() {
Chris Lattner583b9d82003-12-20 09:17:40 +0000110 return new DestroyMachineFunction();
111}
112
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +0000113
Brian Gaekee3d68072004-02-25 18:44:15 +0000114SparcV9TargetMachine::SparcV9TargetMachine(IntrinsicLowering *il)
115 : TargetMachine("UltraSparcV9-Native", il, false),
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000116 schedInfo(*this),
117 regInfo(*this),
Vikram S. Adveb7048402001-11-09 02:16:04 +0000118 frameInfo(*this),
Chris Lattner1e60a912003-12-20 01:22:19 +0000119 cacheInfo(*this),
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000120 jitInfo(*this) {
Chris Lattner20b1ea02001-09-14 03:47:57 +0000121}
122
Misha Brukman2647c392004-02-09 23:18:42 +0000123/// addPassesToEmitAssembly - This method controls the entire code generation
124/// process for the ultra sparc.
125///
Misha Brukmand71295a2003-12-17 22:04:00 +0000126bool
Brian Gaekee3d68072004-02-25 18:44:15 +0000127SparcV9TargetMachine::addPassesToEmitAssembly(PassManager &PM, std::ostream &Out)
Chris Lattner4f946372002-10-28 01:03:43 +0000128{
Brian Gaeke2e2f2dc2003-06-18 21:14:23 +0000129 // The following 3 passes used to be inserted specially by llc.
130 // Replace malloc and free instructions with library calls.
131 PM.add(createLowerAllocationsPass());
132
Brian Gaeke2e2f2dc2003-06-18 21:14:23 +0000133 // Strip all of the symbols from the bytecode so that it will be smaller...
134 if (!DisableStrip)
135 PM.add(createSymbolStrippingPass());
136
Chris Lattner155e68f2003-04-23 16:24:55 +0000137 // FIXME: implement the switch instruction in the instruction selector.
138 PM.add(createLowerSwitchPass());
Chris Lattnerd324e252003-10-05 19:16:09 +0000139
140 // FIXME: implement the invoke/unwind instructions!
141 PM.add(createLowerInvokePass());
Brian Gaeke2e2f2dc2003-06-18 21:14:23 +0000142
Vikram S. Adve248932b2003-08-01 15:53:24 +0000143 // decompose multi-dimensional array references into single-dim refs
144 PM.add(createDecomposeMultiDimRefsPass());
145
Chris Lattner4f946372002-10-28 01:03:43 +0000146 // Construct and initialize the MachineFunction object for this fn.
Chris Lattner227c3d32002-10-28 01:12:41 +0000147 PM.add(createMachineCodeConstructionPass(*this));
Chris Lattner4f946372002-10-28 01:03:43 +0000148
149 //Insert empty stackslots in the stack frame of each function
150 //so %fp+offset-8 and %fp+offset-16 are empty slots now!
151 PM.add(createStackSlotsPass(*this));
152
Brian Gaekef9543262004-01-13 19:26:21 +0000153 // Specialize LLVM code for this target machine and then
154 // run basic dataflow optimizations on LLVM code.
Misha Brukman35188172003-11-07 20:33:25 +0000155 PM.add(createPreSelectionPass(*this));
Misha Brukman35188172003-11-07 20:33:25 +0000156 PM.add(createReassociatePass());
157 PM.add(createLICMPass());
158 PM.add(createGCSEPass());
159
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000160 PM.add(createInstructionSelectionPass(*this));
Chris Lattner4f946372002-10-28 01:03:43 +0000161
162 if (!DisableSched)
163 PM.add(createInstructionSchedulingWithSSAPass(*this));
164
165 PM.add(getRegisterAllocator(*this));
Misha Brukman1be1a232003-11-13 00:16:28 +0000166 PM.add(createPrologEpilogInsertionPass());
Chris Lattner4f946372002-10-28 01:03:43 +0000167
168 if (!DisablePeephole)
169 PM.add(createPeepholeOptsPass(*this));
170
Vikram S. Adve20a3be32003-08-12 15:51:02 +0000171 if (EmitMappingInfo)
Brian Gaeke79c98032003-09-18 17:37:46 +0000172 PM.add(getMappingInfoAsmPrinterPass(Out));
Chris Lattner4f946372002-10-28 01:03:43 +0000173
174 // Output assembly language to the .s file. Assembly emission is split into
175 // two parts: Function output and Global value output. This is because
176 // function output is pipelined with all of the rest of code generation stuff,
177 // allowing machine code representations for functions to be free'd after the
178 // function has been emitted.
Misha Brukman1be1a232003-11-13 00:16:28 +0000179 PM.add(createAsmPrinterPass(Out, *this));
Brian Gaekee3d68072004-02-25 18:44:15 +0000180 PM.add(createSparcV9MachineCodeDestructionPass()); // Free mem no longer needed
Chris Lattner4f946372002-10-28 01:03:43 +0000181
Chris Lattner4f946372002-10-28 01:03:43 +0000182 // Emit bytecode to the assembly file into its special section next
Brian Gaeke79c98032003-09-18 17:37:46 +0000183 if (EmitMappingInfo)
Misha Brukman1be1a232003-11-13 00:16:28 +0000184 PM.add(createBytecodeAsmPrinterPass(Out));
Vikram S. Adve20a3be32003-08-12 15:51:02 +0000185
Chris Lattner63342052002-10-29 21:12:46 +0000186 return false;
Chris Lattner4f946372002-10-28 01:03:43 +0000187}
Misha Brukman86172ab2003-05-27 22:24:48 +0000188
Misha Brukman2647c392004-02-09 23:18:42 +0000189/// addPassesToJITCompile - This method controls the JIT method of code
Brian Gaekee3d68072004-02-25 18:44:15 +0000190/// generation for the UltraSparcV9.
Misha Brukman2647c392004-02-09 23:18:42 +0000191///
Brian Gaekee3d68072004-02-25 18:44:15 +0000192void SparcV9JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner1e60a912003-12-20 01:22:19 +0000193 const TargetData &TD = TM.getTargetData();
Misha Brukmana5124502003-06-06 07:11:16 +0000194
195 PM.add(new TargetData("lli", TD.isLittleEndian(), TD.getPointerSize(),
196 TD.getPointerAlignment(), TD.getDoubleAlignment()));
197
198 // Replace malloc and free instructions with library calls.
199 // Do this after tracing until lli implements these lib calls.
200 // For now, it will emulate malloc and free internally.
201 PM.add(createLowerAllocationsPass());
202
Misha Brukman86172ab2003-05-27 22:24:48 +0000203 // FIXME: implement the switch instruction in the instruction selector.
204 PM.add(createLowerSwitchPass());
205
Chris Lattnerd324e252003-10-05 19:16:09 +0000206 // FIXME: implement the invoke/unwind instructions!
207 PM.add(createLowerInvokePass());
208
Misha Brukman58ba50f2003-08-06 23:06:21 +0000209 // decompose multi-dimensional array references into single-dim refs
210 PM.add(createDecomposeMultiDimRefsPass());
211
Misha Brukman86172ab2003-05-27 22:24:48 +0000212 // Construct and initialize the MachineFunction object for this fn.
Chris Lattner1e60a912003-12-20 01:22:19 +0000213 PM.add(createMachineCodeConstructionPass(TM));
Misha Brukman86172ab2003-05-27 22:24:48 +0000214
Misha Brukman35188172003-11-07 20:33:25 +0000215 // Specialize LLVM code for this target machine and then
216 // run basic dataflow optimizations on LLVM code.
Chris Lattner1e60a912003-12-20 01:22:19 +0000217 PM.add(createPreSelectionPass(TM));
Misha Brukman35188172003-11-07 20:33:25 +0000218 PM.add(createReassociatePass());
Misha Brukman6d2670d2003-11-08 00:01:39 +0000219 // FIXME: these passes crash the FunctionPassManager when being added...
220 //PM.add(createLICMPass());
221 //PM.add(createGCSEPass());
Misha Brukman35188172003-11-07 20:33:25 +0000222
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000223 PM.add(createInstructionSelectionPass(TM));
Misha Brukman86172ab2003-05-27 22:24:48 +0000224
Chris Lattner1e60a912003-12-20 01:22:19 +0000225 PM.add(getRegisterAllocator(TM));
Misha Brukman1be1a232003-11-13 00:16:28 +0000226 PM.add(createPrologEpilogInsertionPass());
Misha Brukman86172ab2003-05-27 22:24:48 +0000227
Misha Brukmand1ef7a82003-05-30 20:00:13 +0000228 if (!DisablePeephole)
Chris Lattner1e60a912003-12-20 01:22:19 +0000229 PM.add(createPeepholeOptsPass(TM));
Misha Brukman86172ab2003-05-27 22:24:48 +0000230}
Brian Gaeked0fde302003-11-11 22:41:34 +0000231
Brian Gaekee3d68072004-02-25 18:44:15 +0000232/// allocateSparcV9TargetMachine - Allocate and return a subclass of TargetMachine
233/// that implements the SparcV9 backend. (the llvm/CodeGen/SparcV9.h interface)
Misha Brukman2647c392004-02-09 23:18:42 +0000234///
Brian Gaekee3d68072004-02-25 18:44:15 +0000235TargetMachine *llvm::allocateSparcV9TargetMachine(const Module &M,
Chris Lattner37b18262003-12-28 09:46:33 +0000236 IntrinsicLowering *IL) {
Brian Gaekee3d68072004-02-25 18:44:15 +0000237 return new SparcV9TargetMachine(IL);
Misha Brukmand71295a2003-12-17 22:04:00 +0000238}