blob: 20bad83dfc650b52b857613c921b6028696f655b [file] [log] [blame]
Vikram S. Adve0fb49802001-09-18 13:01:29 +00001// $Id$
Chris Lattner20b1ea02001-09-14 03:47:57 +00002//***************************************************************************
3// File:
4// Sparc.cpp
5//
6// Purpose:
7//
8// History:
9// 7/15/01 - Vikram Adve - Created
10//**************************************************************************/
11
Vikram S. Adve9db43182001-10-22 13:44:23 +000012
Chris Lattner20b1ea02001-09-14 03:47:57 +000013#include "SparcInternals.h"
Vikram S. Adve9db43182001-10-22 13:44:23 +000014#include "llvm/Target/Sparc.h"
Chris Lattner20b1ea02001-09-14 03:47:57 +000015#include "llvm/CodeGen/InstrScheduling.h"
16#include "llvm/CodeGen/InstrSelection.h"
Ruchira Sasankae38bd5332001-09-15 00:30:44 +000017#include "llvm/CodeGen/PhyRegAlloc.h"
Vikram S. Adve9db43182001-10-22 13:44:23 +000018#include "llvm/Analysis/LiveVar/MethodLiveVarInfo.h"
19#include "llvm/Method.h"
20
Ruchira Sasankae38bd5332001-09-15 00:30:44 +000021
Chris Lattner9a3d63b2001-09-19 15:56:23 +000022// Build the MachineInstruction Description Array...
23const MachineInstrDescriptor SparcMachineInstrDesc[] = {
24#define I(ENUM, OPCODESTRING, NUMOPERANDS, RESULTPOS, MAXIMM, IMMSE, \
25 NUMDELAYSLOTS, LATENCY, SCHEDCLASS, INSTFLAGS) \
26 { OPCODESTRING, NUMOPERANDS, RESULTPOS, MAXIMM, IMMSE, \
27 NUMDELAYSLOTS, LATENCY, SCHEDCLASS, INSTFLAGS },
28#include "SparcInstr.def"
29};
Vikram S. Adve0fb49802001-09-18 13:01:29 +000030
31//----------------------------------------------------------------------------
Chris Lattner46cbff62001-09-14 16:56:32 +000032// allocateSparcTargetMachine - Allocate and return a subclass of TargetMachine
33// that implements the Sparc backend. (the llvm/CodeGen/Sparc.h interface)
Vikram S. Adve0fb49802001-09-18 13:01:29 +000034//----------------------------------------------------------------------------
Chris Lattner46cbff62001-09-14 16:56:32 +000035//
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +000036
Chris Lattner46cbff62001-09-14 16:56:32 +000037TargetMachine *allocateSparcTargetMachine() { return new UltraSparc(); }
Chris Lattner20b1ea02001-09-14 03:47:57 +000038
39
Vikram S. Adve0fb49802001-09-18 13:01:29 +000040//----------------------------------------------------------------------------
41// Entry point for register allocation for a module
42//----------------------------------------------------------------------------
43
Vikram S. Adve9db43182001-10-22 13:44:23 +000044void AllocateRegisters(Method *M, TargetMachine &target)
Vikram S. Adve0fb49802001-09-18 13:01:29 +000045{
46
47 if ( (M)->isExternal() ) // don't process prototypes
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +000048 return;
Vikram S. Adve0fb49802001-09-18 13:01:29 +000049
50 if( DEBUG_RA ) {
Chris Lattner1e23ed72001-10-15 18:15:27 +000051 cerr << endl << "******************** Method "<< (M)->getName();
52 cerr << " ********************" <<endl;
Vikram S. Adve0fb49802001-09-18 13:01:29 +000053 }
54
55 MethodLiveVarInfo LVI(M ); // Analyze live varaibles
56 LVI.analyze();
57
58
Vikram S. Adve9db43182001-10-22 13:44:23 +000059 PhyRegAlloc PRA(M, target, &LVI); // allocate registers
Vikram S. Adve0fb49802001-09-18 13:01:29 +000060 PRA.allocateRegisters();
61
62
Chris Lattner1e23ed72001-10-15 18:15:27 +000063 if( DEBUG_RA ) cerr << endl << "Register allocation complete!" << endl;
Vikram S. Adve0fb49802001-09-18 13:01:29 +000064
Vikram S. Adve0fb49802001-09-18 13:01:29 +000065}
66
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +000067
Vikram S. Adve9db43182001-10-22 13:44:23 +000068//---------------------------------------------------------------------------
69// Function InsertPrologCode
70// Function InsertEpilogCode
71// Function InsertPrologEpilog
72//
73// Insert prolog code at the unique method entry point.
74// Insert epilog code at each method exit point.
75// InsertPrologEpilog invokes these only if the method is not compiled
76// with the leaf method optimization.
77//---------------------------------------------------------------------------
78
79static MachineInstr* minstrVec[MAX_INSTR_PER_VMINSTR];
80
81static void
82InsertPrologCode(Method* method, TargetMachine& target)
83{
84 BasicBlock* entryBB = method->getEntryNode();
85 unsigned N = GetInstructionsForProlog(entryBB, target, minstrVec);
86 assert(N <= MAX_INSTR_PER_VMINSTR);
87 if (N > 0)
88 {
89 MachineCodeForBasicBlock& bbMvec = entryBB->getMachineInstrVec();
90 bbMvec.insert(bbMvec.begin(), minstrVec, minstrVec+N);
91 }
92}
93
94
95static void
96InsertEpilogCode(Method* method, TargetMachine& target)
97{
98 for (Method::iterator I=method->begin(), E=method->end(); I != E; ++I)
99 if ((*I)->getTerminator()->getOpcode() == Instruction::Ret)
100 {
101 BasicBlock* exitBB = *I;
102 unsigned N = GetInstructionsForEpilog(exitBB, target, minstrVec);
103
104 MachineCodeForBasicBlock& bbMvec = exitBB->getMachineInstrVec();
105 MachineCodeForVMInstr& termMvec =
106 exitBB->getTerminator()->getMachineInstrVec();
107
108 // Remove the NOPs in the delay slots of the return instruction
109 const MachineInstrInfo& mii = target.getInstrInfo();
110 unsigned numNOPs = 0;
111 while (termMvec.back()->getOpCode() == NOP)
112 {
113 assert( termMvec.back() == bbMvec.back());
114 termMvec.pop_back();
115 bbMvec.pop_back();
116 ++numNOPs;
117 }
118 assert(termMvec.back() == bbMvec.back());
119
120 // Check that we found the right number of NOPs and have the right
121 // number of instructions to replace them.
122 unsigned ndelays = mii.getNumDelaySlots(termMvec.back()->getOpCode());
123 assert(numNOPs == ndelays && "Missing NOPs in delay slots?");
124 assert(N == ndelays && "Cannot use epilog code for delay slots?");
125
126 // Append the epilog code to the end of the basic block.
127 bbMvec.push_back(minstrVec[0]);
128 }
129}
130
131
132// Insert SAVE/RESTORE instructions for the method
133static void
134InsertPrologEpilog(Method *method, TargetMachine &target)
135{
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000136 MachineCodeForMethod& mcodeInfo = MachineCodeForMethod::get(method);
Vikram S. Adve9db43182001-10-22 13:44:23 +0000137 if (mcodeInfo.isCompiledAsLeafMethod())
138 return; // nothing to do
139
140 InsertPrologCode(method, target);
141 InsertEpilogCode(method, target);
142}
143
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000144
Chris Lattner20b1ea02001-09-14 03:47:57 +0000145//---------------------------------------------------------------------------
Chris Lattner20b1ea02001-09-14 03:47:57 +0000146// class UltraSparcSchedInfo
147//
148// Purpose:
149// Scheduling information for the UltraSPARC.
150// Primarily just initializes machine-dependent parameters in
151// class MachineSchedInfo.
152//---------------------------------------------------------------------------
153
154/*ctor*/
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000155UltraSparcSchedInfo::UltraSparcSchedInfo(const TargetMachine& tgt)
156 : MachineSchedInfo(tgt,
157 (unsigned int) SPARC_NUM_SCHED_CLASSES,
Chris Lattner20b1ea02001-09-14 03:47:57 +0000158 SparcRUsageDesc,
159 SparcInstrUsageDeltas,
160 SparcInstrIssueDeltas,
161 sizeof(SparcInstrUsageDeltas)/sizeof(InstrRUsageDelta),
162 sizeof(SparcInstrIssueDeltas)/sizeof(InstrIssueDelta))
163{
164 maxNumIssueTotal = 4;
165 longestIssueConflict = 0; // computed from issuesGaps[]
166
167 branchMispredictPenalty = 4; // 4 for SPARC IIi
168 branchTargetUnknownPenalty = 2; // 2 for SPARC IIi
169 l1DCacheMissPenalty = 8; // 7 or 9 for SPARC IIi
170 l1ICacheMissPenalty = 8; // ? for SPARC IIi
171
172 inOrderLoads = true; // true for SPARC IIi
173 inOrderIssue = true; // true for SPARC IIi
174 inOrderExec = false; // false for most architectures
175 inOrderRetire= true; // true for most architectures
176
177 // must be called after above parameters are initialized.
178 this->initializeResources();
179}
180
181void
182UltraSparcSchedInfo::initializeResources()
183{
184 // Compute MachineSchedInfo::instrRUsages and MachineSchedInfo::issueGaps
185 MachineSchedInfo::initializeResources();
186
187 // Machine-dependent fixups go here. None for now.
188}
189
190
Vikram S. Adve9db43182001-10-22 13:44:23 +0000191//---------------------------------------------------------------------------
192// class UltraSparcFrameInfo
193//
194// Purpose:
195// Interface to stack frame layout info for the UltraSPARC.
Vikram S. Adve00521d72001-11-12 23:26:35 +0000196// Starting offsets for each area of the stack frame are aligned at
197// a multiple of getStackFrameSizeAlignment().
Vikram S. Adve9db43182001-10-22 13:44:23 +0000198//---------------------------------------------------------------------------
199
200int
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000201UltraSparcFrameInfo::getFirstAutomaticVarOffset(MachineCodeForMethod& ,
202 bool& pos) const
Vikram S. Adve9db43182001-10-22 13:44:23 +0000203{
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000204 pos = false; // static stack area grows downwards
205 return StaticAreaOffsetFromFP;
Vikram S. Adve9db43182001-10-22 13:44:23 +0000206}
207
208int
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000209UltraSparcFrameInfo::getRegSpillAreaOffset(MachineCodeForMethod& mcInfo,
210 bool& pos) const
Vikram S. Adve9db43182001-10-22 13:44:23 +0000211{
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000212 pos = false; // static stack area grows downwards
213 unsigned int autoVarsSize = mcInfo.getAutomaticVarsSize();
Vikram S. Adve00521d72001-11-12 23:26:35 +0000214 if (int mod = autoVarsSize % getStackFrameSizeAlignment())
215 autoVarsSize += (getStackFrameSizeAlignment() - mod);
216 return StaticAreaOffsetFromFP - autoVarsSize;
Vikram S. Adve9db43182001-10-22 13:44:23 +0000217}
218
219int
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000220UltraSparcFrameInfo::getTmpAreaOffset(MachineCodeForMethod& mcInfo,
221 bool& pos) const
Vikram S. Adve9db43182001-10-22 13:44:23 +0000222{
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000223 pos = false; // static stack area grows downwards
224 unsigned int autoVarsSize = mcInfo.getAutomaticVarsSize();
225 unsigned int spillAreaSize = mcInfo.getRegSpillsSize();
Vikram S. Adve00521d72001-11-12 23:26:35 +0000226 int offset = autoVarsSize + spillAreaSize;
227 if (int mod = offset % getStackFrameSizeAlignment())
228 offset += (getStackFrameSizeAlignment() - mod);
229 return StaticAreaOffsetFromFP - offset;
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000230}
231
232int
233UltraSparcFrameInfo::getDynamicAreaOffset(MachineCodeForMethod& mcInfo,
234 bool& pos) const
235{
236 // dynamic stack area grows downwards starting at top of opt-args area
237 unsigned int optArgsSize = mcInfo.getMaxOptionalArgsSize();
Vikram S. Adve00521d72001-11-12 23:26:35 +0000238 int offset = optArgsSize + FirstOptionalOutgoingArgOffsetFromSP;
239 assert(offset % getStackFrameSizeAlignment() == 0);
240 return offset;
Vikram S. Adve9db43182001-10-22 13:44:23 +0000241}
242
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000243
Chris Lattner20b1ea02001-09-14 03:47:57 +0000244//---------------------------------------------------------------------------
245// class UltraSparcMachine
246//
247// Purpose:
248// Primary interface to machine description for the UltraSPARC.
249// Primarily just initializes machine-dependent parameters in
250// class TargetMachine, and creates machine-dependent subclasses
251// for classes such as MachineInstrInfo.
252//
253//---------------------------------------------------------------------------
254
Vikram S. Adve0fb49802001-09-18 13:01:29 +0000255UltraSparc::UltraSparc()
256 : TargetMachine("UltraSparc-Native"),
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000257 instrInfo(*this),
258 schedInfo(*this),
259 regInfo(*this),
Vikram S. Adveb7048402001-11-09 02:16:04 +0000260 frameInfo(*this),
261 cacheInfo(*this)
Vikram S. Adve0fb49802001-09-18 13:01:29 +0000262{
Chris Lattner20b1ea02001-09-14 03:47:57 +0000263 optSizeForSubWordData = 4;
264 minMemOpWordSize = 8;
265 maxAtomicMemOpWordSize = 8;
Chris Lattner20b1ea02001-09-14 03:47:57 +0000266}
267
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000268
Vikram S. Adve9db43182001-10-22 13:44:23 +0000269void
270ApplyPeepholeOptimizations(Method *method, TargetMachine &target)
271{
272 return;
273
274 // OptimizeLeafProcedures();
275 // DeleteFallThroughBranches();
276 // RemoveChainedBranches(); // should be folded with previous
277 // RemoveRedundantOps(); // operations with %g0, NOP, etc.
278}
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000279
280
281
Vikram S. Adve9db43182001-10-22 13:44:23 +0000282bool
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000283UltraSparc::compileMethod(Method *method)
Vikram S. Adve9db43182001-10-22 13:44:23 +0000284{
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000285 // Construct and initialize the MachineCodeForMethod object for this method.
286 (void) MachineCodeForMethod::construct(method, *this);
287
288 if (SelectInstructionsForMethod(method, *this))
Vikram S. Adve0fb49802001-09-18 13:01:29 +0000289 {
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000290 cerr << "Instruction selection failed for method " << method->getName()
Vikram S. Adve0fb49802001-09-18 13:01:29 +0000291 << "\n\n";
292 return true;
293 }
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000294
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000295 if (ScheduleInstructionsWithSSA(method, *this))
Vikram S. Adve0fb49802001-09-18 13:01:29 +0000296 {
297 cerr << "Instruction scheduling before allocation failed for method "
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000298 << method->getName() << "\n\n";
Vikram S. Adve0fb49802001-09-18 13:01:29 +0000299 return true;
300 }
Chris Lattner20b1ea02001-09-14 03:47:57 +0000301
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000302 AllocateRegisters(method, *this); // allocate registers
Vikram S. Adve9db43182001-10-22 13:44:23 +0000303
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000304 ApplyPeepholeOptimizations(method, *this); // machine-dependent peephole opts
Vikram S. Adve9db43182001-10-22 13:44:23 +0000305
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000306 InsertPrologEpilog(method, *this);
Vikram S. Adve9db43182001-10-22 13:44:23 +0000307
Chris Lattner20b1ea02001-09-14 03:47:57 +0000308 return false;
309}