blob: ed67caff4e0f9de6294fc9d99df1b11145665025 [file] [log] [blame]
Chris Lattner1d21f3e2002-04-09 05:21:26 +00001//===-- Sparc.cpp - General implementation file for the Sparc Target ------===//
2//
3// This file contains the code for the Sparc Target that does not fit in any of
4// the other files in this directory.
5//
6//===----------------------------------------------------------------------===//
Vikram S. Adve9db43182001-10-22 13:44:23 +00007
Chris Lattner20b1ea02001-09-14 03:47:57 +00008#include "SparcInternals.h"
Chris Lattner600e6992002-10-29 20:47:26 +00009#include "llvm/Target/TargetMachineImpls.h"
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000010#include "llvm/Function.h"
Chris Lattner4f946372002-10-28 01:03:43 +000011#include "llvm/PassManager.h"
12#include "llvm/Transforms/Scalar.h"
Misha Brukmanfce11432002-10-28 00:28:31 +000013#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner4f946372002-10-28 01:03:43 +000014#include "llvm/CodeGen/PreSelection.h"
15#include "llvm/CodeGen/StackSlots.h"
16#include "llvm/CodeGen/PeepholeOpts.h"
17#include "llvm/CodeGen/InstrSelection.h"
18#include "llvm/CodeGen/InstrScheduling.h"
19#include "llvm/CodeGen/RegisterAllocation.h"
20#include "llvm/CodeGen/MachineCodeForInstruction.h"
21#include "llvm/Reoptimizer/Mapping/MappingInfo.h"
22#include "llvm/Reoptimizer/Mapping/FInfo.h"
23#include "Support/CommandLine.h"
Chris Lattner697954c2002-01-20 22:54:45 +000024using std::cerr;
Ruchira Sasankae38bd5332001-09-15 00:30:44 +000025
Chris Lattner6af20402002-12-03 05:41:54 +000026static const unsigned ImplicitRegUseList[] = { 0 }; /* not used yet */
Chris Lattner9a3d63b2001-09-19 15:56:23 +000027// Build the MachineInstruction Description Array...
28const MachineInstrDescriptor SparcMachineInstrDesc[] = {
29#define I(ENUM, OPCODESTRING, NUMOPERANDS, RESULTPOS, MAXIMM, IMMSE, \
30 NUMDELAYSLOTS, LATENCY, SCHEDCLASS, INSTFLAGS) \
31 { OPCODESTRING, NUMOPERANDS, RESULTPOS, MAXIMM, IMMSE, \
Chris Lattner6af20402002-12-03 05:41:54 +000032 NUMDELAYSLOTS, LATENCY, SCHEDCLASS, INSTFLAGS, 0, \
33 ImplicitRegUseList, ImplicitRegUseList },
Chris Lattner9a3d63b2001-09-19 15:56:23 +000034#include "SparcInstr.def"
35};
Vikram S. Adve0fb49802001-09-18 13:01:29 +000036
Chris Lattner4f946372002-10-28 01:03:43 +000037//---------------------------------------------------------------------------
38// Command line options to control choice of code generation passes.
39//---------------------------------------------------------------------------
40
41static cl::opt<bool> DisablePreSelect("nopreselect",
42 cl::desc("Disable preselection pass"));
43
44static cl::opt<bool> DisableSched("nosched",
45 cl::desc("Disable local scheduling pass"));
46
47static cl::opt<bool> DisablePeephole("nopeephole",
48 cl::desc("Disable peephole optimization pass"));
49
Vikram S. Adve0fb49802001-09-18 13:01:29 +000050//----------------------------------------------------------------------------
Chris Lattner46cbff62001-09-14 16:56:32 +000051// allocateSparcTargetMachine - Allocate and return a subclass of TargetMachine
52// that implements the Sparc backend. (the llvm/CodeGen/Sparc.h interface)
Vikram S. Adve0fb49802001-09-18 13:01:29 +000053//----------------------------------------------------------------------------
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +000054
Chris Lattner46cbff62001-09-14 16:56:32 +000055TargetMachine *allocateSparcTargetMachine() { return new UltraSparc(); }
Chris Lattner20b1ea02001-09-14 03:47:57 +000056
57
Vikram S. Adve9db43182001-10-22 13:44:23 +000058
Vikram S. Adve9db43182001-10-22 13:44:23 +000059//---------------------------------------------------------------------------
60// class UltraSparcFrameInfo
61//
62// Purpose:
63// Interface to stack frame layout info for the UltraSPARC.
Vikram S. Adve00521d72001-11-12 23:26:35 +000064// Starting offsets for each area of the stack frame are aligned at
65// a multiple of getStackFrameSizeAlignment().
Vikram S. Adve9db43182001-10-22 13:44:23 +000066//---------------------------------------------------------------------------
67
68int
Misha Brukmanfce11432002-10-28 00:28:31 +000069UltraSparcFrameInfo::getFirstAutomaticVarOffset(MachineFunction& ,
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000070 bool& pos) const
Vikram S. Adve9db43182001-10-22 13:44:23 +000071{
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000072 pos = false; // static stack area grows downwards
73 return StaticAreaOffsetFromFP;
Vikram S. Adve9db43182001-10-22 13:44:23 +000074}
75
76int
Misha Brukmanfce11432002-10-28 00:28:31 +000077UltraSparcFrameInfo::getRegSpillAreaOffset(MachineFunction& mcInfo,
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000078 bool& pos) const
Vikram S. Adve9db43182001-10-22 13:44:23 +000079{
Vikram S. Adve0bc05162002-04-25 04:43:45 +000080 mcInfo.freezeAutomaticVarsArea(); // ensure no more auto vars are added
81
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000082 pos = false; // static stack area grows downwards
83 unsigned int autoVarsSize = mcInfo.getAutomaticVarsSize();
Vikram S. Adve00521d72001-11-12 23:26:35 +000084 return StaticAreaOffsetFromFP - autoVarsSize;
Vikram S. Adve9db43182001-10-22 13:44:23 +000085}
86
87int
Misha Brukmanfce11432002-10-28 00:28:31 +000088UltraSparcFrameInfo::getTmpAreaOffset(MachineFunction& mcInfo,
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000089 bool& pos) const
Vikram S. Adve9db43182001-10-22 13:44:23 +000090{
Vikram S. Adve0bc05162002-04-25 04:43:45 +000091 mcInfo.freezeAutomaticVarsArea(); // ensure no more auto vars are added
92 mcInfo.freezeSpillsArea(); // ensure no more spill slots are added
93
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000094 pos = false; // static stack area grows downwards
95 unsigned int autoVarsSize = mcInfo.getAutomaticVarsSize();
96 unsigned int spillAreaSize = mcInfo.getRegSpillsSize();
Vikram S. Adve00521d72001-11-12 23:26:35 +000097 int offset = autoVarsSize + spillAreaSize;
Vikram S. Adve00521d72001-11-12 23:26:35 +000098 return StaticAreaOffsetFromFP - offset;
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000099}
100
101int
Misha Brukmanfce11432002-10-28 00:28:31 +0000102UltraSparcFrameInfo::getDynamicAreaOffset(MachineFunction& mcInfo,
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000103 bool& pos) const
104{
Vikram S. Advee6d2c412002-03-18 03:08:07 +0000105 // Dynamic stack area grows downwards starting at top of opt-args area.
106 // The opt-args, required-args, and register-save areas are empty except
107 // during calls and traps, so they are shifted downwards on each
108 // dynamic-size alloca.
109 pos = false;
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000110 unsigned int optArgsSize = mcInfo.getMaxOptionalArgsSize();
Vikram S. Advee1f72802002-09-16 15:39:26 +0000111 if (int extra = optArgsSize % getStackFrameSizeAlignment())
112 optArgsSize += (getStackFrameSizeAlignment() - extra);
Vikram S. Adve00521d72001-11-12 23:26:35 +0000113 int offset = optArgsSize + FirstOptionalOutgoingArgOffsetFromSP;
Vikram S. Advee6d2c412002-03-18 03:08:07 +0000114 assert((offset - OFFSET) % getStackFrameSizeAlignment() == 0);
Vikram S. Adve00521d72001-11-12 23:26:35 +0000115 return offset;
Vikram S. Adve9db43182001-10-22 13:44:23 +0000116}
117
Chris Lattner20b1ea02001-09-14 03:47:57 +0000118//---------------------------------------------------------------------------
119// class UltraSparcMachine
120//
121// Purpose:
122// Primary interface to machine description for the UltraSPARC.
123// Primarily just initializes machine-dependent parameters in
124// class TargetMachine, and creates machine-dependent subclasses
125// for classes such as MachineInstrInfo.
126//
127//---------------------------------------------------------------------------
128
Vikram S. Adve0fb49802001-09-18 13:01:29 +0000129UltraSparc::UltraSparc()
Chris Lattnerce8bce62002-12-24 00:02:38 +0000130 : TargetMachine("UltraSparc-Native", false, 4),
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000131 schedInfo(*this),
132 regInfo(*this),
Vikram S. Adveb7048402001-11-09 02:16:04 +0000133 frameInfo(*this),
Vikram S. Adved55697c2002-09-20 00:52:09 +0000134 cacheInfo(*this),
Chris Lattnerc56406c2002-10-29 21:48:17 +0000135 optInfo(*this) {
Chris Lattner20b1ea02001-09-14 03:47:57 +0000136}
137
Chris Lattner4f946372002-10-28 01:03:43 +0000138
139// addPassesToEmitAssembly - This method controls the entire code generation
140// process for the ultra sparc.
141//
Chris Lattner63342052002-10-29 21:12:46 +0000142bool UltraSparc::addPassesToEmitAssembly(PassManager &PM, std::ostream &Out)
Chris Lattner4f946372002-10-28 01:03:43 +0000143{
144 // Construct and initialize the MachineFunction object for this fn.
Chris Lattner227c3d32002-10-28 01:12:41 +0000145 PM.add(createMachineCodeConstructionPass(*this));
Chris Lattner4f946372002-10-28 01:03:43 +0000146
147 //Insert empty stackslots in the stack frame of each function
148 //so %fp+offset-8 and %fp+offset-16 are empty slots now!
149 PM.add(createStackSlotsPass(*this));
150
151 // Specialize LLVM code for this target machine and then
152 // run basic dataflow optimizations on LLVM code.
153 if (!DisablePreSelect)
154 {
155 PM.add(createPreSelectionPass(*this));
Chris Lattner59b2b862002-10-31 17:16:18 +0000156 PM.add(createReassociatePass());
Chris Lattner4f946372002-10-28 01:03:43 +0000157 PM.add(createLICMPass());
158 PM.add(createGCSEPass());
159 }
160
161 PM.add(createInstructionSelectionPass(*this));
162
163 if (!DisableSched)
164 PM.add(createInstructionSchedulingWithSSAPass(*this));
165
166 PM.add(getRegisterAllocator(*this));
167
168 PM.add(getPrologEpilogInsertionPass());
169
170 if (!DisablePeephole)
171 PM.add(createPeepholeOptsPass(*this));
172
173 PM.add(MappingInfoForFunction(Out));
174
175 // Output assembly language to the .s file. Assembly emission is split into
176 // two parts: Function output and Global value output. This is because
177 // function output is pipelined with all of the rest of code generation stuff,
178 // allowing machine code representations for functions to be free'd after the
179 // function has been emitted.
180 //
181 PM.add(getFunctionAsmPrinterPass(Out));
Chris Lattner227c3d32002-10-28 01:12:41 +0000182 PM.add(createMachineCodeDestructionPass()); // Free stuff no longer needed
Chris Lattner4f946372002-10-28 01:03:43 +0000183
184 // Emit Module level assembly after all of the functions have been processed.
185 PM.add(getModuleAsmPrinterPass(Out));
186
187 // Emit bytecode to the assembly file into its special section next
188 PM.add(getEmitBytecodeToAsmPass(Out));
189 PM.add(getFunctionInfo(Out));
Chris Lattner63342052002-10-29 21:12:46 +0000190 return false;
Chris Lattner4f946372002-10-28 01:03:43 +0000191}