blob: f389f93580e3c82c769ac7d3ac3aaae2507e56cc [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 Lattner78d881d2002-12-28 20:17:43 +000014#include "llvm/CodeGen/MachineFunctionInfo.h"
Chris Lattner4f946372002-10-28 01:03:43 +000015#include "llvm/CodeGen/PreSelection.h"
16#include "llvm/CodeGen/StackSlots.h"
17#include "llvm/CodeGen/PeepholeOpts.h"
18#include "llvm/CodeGen/InstrSelection.h"
19#include "llvm/CodeGen/InstrScheduling.h"
20#include "llvm/CodeGen/RegisterAllocation.h"
21#include "llvm/CodeGen/MachineCodeForInstruction.h"
22#include "llvm/Reoptimizer/Mapping/MappingInfo.h"
Chris Lattner4f946372002-10-28 01:03:43 +000023#include "Support/CommandLine.h"
Brian Gaeke2e2f2dc2003-06-18 21:14:23 +000024#include "llvm/Assembly/PrintModulePass.h"
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...
Chris Lattner3501fea2003-01-14 22:00:31 +000028const TargetInstrDescriptor SparcMachineInstrDesc[] = {
Chris Lattner9a3d63b2001-09-19 15:56:23 +000029#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
Brian Gaeke2e2f2dc2003-06-18 21:14:23 +000050static cl::opt<bool>
51DisableStrip("disable-strip",
52 cl::desc("Do not strip the LLVM bytecode included in the executable"));
53
54static cl::opt<bool>
55DumpAsm("dump-asm", cl::desc("Print bytecode before native code generation"),
56 cl::Hidden);
57
Vikram S. Adve0fb49802001-09-18 13:01:29 +000058//----------------------------------------------------------------------------
Chris Lattner46cbff62001-09-14 16:56:32 +000059// allocateSparcTargetMachine - Allocate and return a subclass of TargetMachine
60// that implements the Sparc backend. (the llvm/CodeGen/Sparc.h interface)
Vikram S. Adve0fb49802001-09-18 13:01:29 +000061//----------------------------------------------------------------------------
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +000062
Misha Brukman86172ab2003-05-27 22:24:48 +000063TargetMachine *allocateSparcTargetMachine(unsigned Configuration) {
64 return new UltraSparc();
65}
Vikram S. Adve9db43182001-10-22 13:44:23 +000066
Vikram S. Adve9db43182001-10-22 13:44:23 +000067//---------------------------------------------------------------------------
68// class UltraSparcFrameInfo
69//
Vikram S. Adve9db43182001-10-22 13:44:23 +000070// Interface to stack frame layout info for the UltraSPARC.
Vikram S. Adve00521d72001-11-12 23:26:35 +000071// Starting offsets for each area of the stack frame are aligned at
72// a multiple of getStackFrameSizeAlignment().
Vikram S. Adve9db43182001-10-22 13:44:23 +000073//---------------------------------------------------------------------------
74
75int
Misha Brukmanfce11432002-10-28 00:28:31 +000076UltraSparcFrameInfo::getFirstAutomaticVarOffset(MachineFunction& ,
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000077 bool& pos) const
Vikram S. Adve9db43182001-10-22 13:44:23 +000078{
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000079 pos = false; // static stack area grows downwards
80 return StaticAreaOffsetFromFP;
Vikram S. Adve9db43182001-10-22 13:44:23 +000081}
82
83int
Misha Brukmanfce11432002-10-28 00:28:31 +000084UltraSparcFrameInfo::getRegSpillAreaOffset(MachineFunction& mcInfo,
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000085 bool& pos) const
Vikram S. Adve9db43182001-10-22 13:44:23 +000086{
Chris Lattner78d881d2002-12-28 20:17:43 +000087 // ensure no more auto vars are added
88 mcInfo.getInfo()->freezeAutomaticVarsArea();
Vikram S. Adve0bc05162002-04-25 04:43:45 +000089
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000090 pos = false; // static stack area grows downwards
Chris Lattner78d881d2002-12-28 20:17:43 +000091 unsigned autoVarsSize = mcInfo.getInfo()->getAutomaticVarsSize();
Vikram S. Adve00521d72001-11-12 23:26:35 +000092 return StaticAreaOffsetFromFP - autoVarsSize;
Vikram S. Adve9db43182001-10-22 13:44:23 +000093}
94
95int
Misha Brukmanfce11432002-10-28 00:28:31 +000096UltraSparcFrameInfo::getTmpAreaOffset(MachineFunction& mcInfo,
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000097 bool& pos) const
Vikram S. Adve9db43182001-10-22 13:44:23 +000098{
Chris Lattner78d881d2002-12-28 20:17:43 +000099 MachineFunctionInfo *MFI = mcInfo.getInfo();
100 MFI->freezeAutomaticVarsArea(); // ensure no more auto vars are added
101 MFI->freezeSpillsArea(); // ensure no more spill slots are added
Vikram S. Adve0bc05162002-04-25 04:43:45 +0000102
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000103 pos = false; // static stack area grows downwards
Chris Lattner78d881d2002-12-28 20:17:43 +0000104 unsigned autoVarsSize = MFI->getAutomaticVarsSize();
105 unsigned spillAreaSize = MFI->getRegSpillsSize();
Vikram S. Adve00521d72001-11-12 23:26:35 +0000106 int offset = autoVarsSize + spillAreaSize;
Vikram S. Adve00521d72001-11-12 23:26:35 +0000107 return StaticAreaOffsetFromFP - offset;
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000108}
109
110int
Misha Brukmanfce11432002-10-28 00:28:31 +0000111UltraSparcFrameInfo::getDynamicAreaOffset(MachineFunction& mcInfo,
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000112 bool& pos) const
113{
Vikram S. Advee6d2c412002-03-18 03:08:07 +0000114 // Dynamic stack area grows downwards starting at top of opt-args area.
115 // The opt-args, required-args, and register-save areas are empty except
116 // during calls and traps, so they are shifted downwards on each
117 // dynamic-size alloca.
118 pos = false;
Chris Lattner78d881d2002-12-28 20:17:43 +0000119 unsigned optArgsSize = mcInfo.getInfo()->getMaxOptionalArgsSize();
Vikram S. Advee1f72802002-09-16 15:39:26 +0000120 if (int extra = optArgsSize % getStackFrameSizeAlignment())
121 optArgsSize += (getStackFrameSizeAlignment() - extra);
Vikram S. Adve00521d72001-11-12 23:26:35 +0000122 int offset = optArgsSize + FirstOptionalOutgoingArgOffsetFromSP;
Vikram S. Advee6d2c412002-03-18 03:08:07 +0000123 assert((offset - OFFSET) % getStackFrameSizeAlignment() == 0);
Vikram S. Adve00521d72001-11-12 23:26:35 +0000124 return offset;
Vikram S. Adve9db43182001-10-22 13:44:23 +0000125}
126
Chris Lattner20b1ea02001-09-14 03:47:57 +0000127//---------------------------------------------------------------------------
128// class UltraSparcMachine
129//
130// Purpose:
131// Primary interface to machine description for the UltraSPARC.
132// Primarily just initializes machine-dependent parameters in
133// class TargetMachine, and creates machine-dependent subclasses
Chris Lattner3501fea2003-01-14 22:00:31 +0000134// for classes such as TargetInstrInfo.
Chris Lattner20b1ea02001-09-14 03:47:57 +0000135//
136//---------------------------------------------------------------------------
137
Vikram S. Adve0fb49802001-09-18 13:01:29 +0000138UltraSparc::UltraSparc()
Chris Lattner10daaa12003-04-26 20:11:09 +0000139 : TargetMachine("UltraSparc-Native", false),
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000140 schedInfo(*this),
141 regInfo(*this),
Vikram S. Adveb7048402001-11-09 02:16:04 +0000142 frameInfo(*this),
Vikram S. Adved55697c2002-09-20 00:52:09 +0000143 cacheInfo(*this),
Chris Lattnerc56406c2002-10-29 21:48:17 +0000144 optInfo(*this) {
Chris Lattner20b1ea02001-09-14 03:47:57 +0000145}
146
Chris Lattner4f946372002-10-28 01:03:43 +0000147
148// addPassesToEmitAssembly - This method controls the entire code generation
149// process for the ultra sparc.
150//
Chris Lattner63342052002-10-29 21:12:46 +0000151bool UltraSparc::addPassesToEmitAssembly(PassManager &PM, std::ostream &Out)
Chris Lattner4f946372002-10-28 01:03:43 +0000152{
Brian Gaeke2e2f2dc2003-06-18 21:14:23 +0000153 // The following 3 passes used to be inserted specially by llc.
154 // Replace malloc and free instructions with library calls.
155 PM.add(createLowerAllocationsPass());
156
157 // If LLVM dumping after transformations is requested, add it to the pipeline
158 if (DumpAsm)
159 PM.add(new PrintFunctionPass("Code after xformations: \n", &std::cerr));
160
161 // Strip all of the symbols from the bytecode so that it will be smaller...
162 if (!DisableStrip)
163 PM.add(createSymbolStrippingPass());
164
Chris Lattner155e68f2003-04-23 16:24:55 +0000165 // FIXME: implement the switch instruction in the instruction selector.
166 PM.add(createLowerSwitchPass());
Brian Gaeke2e2f2dc2003-06-18 21:14:23 +0000167
Chris Lattner4f946372002-10-28 01:03:43 +0000168 // Construct and initialize the MachineFunction object for this fn.
Chris Lattner227c3d32002-10-28 01:12:41 +0000169 PM.add(createMachineCodeConstructionPass(*this));
Chris Lattner4f946372002-10-28 01:03:43 +0000170
171 //Insert empty stackslots in the stack frame of each function
172 //so %fp+offset-8 and %fp+offset-16 are empty slots now!
173 PM.add(createStackSlotsPass(*this));
174
175 // Specialize LLVM code for this target machine and then
176 // run basic dataflow optimizations on LLVM code.
Misha Brukman86172ab2003-05-27 22:24:48 +0000177 if (!DisablePreSelect) {
178 PM.add(createPreSelectionPass(*this));
179 PM.add(createReassociatePass());
180 PM.add(createLICMPass());
181 PM.add(createGCSEPass());
182 }
Chris Lattner4f946372002-10-28 01:03:43 +0000183
184 PM.add(createInstructionSelectionPass(*this));
185
186 if (!DisableSched)
187 PM.add(createInstructionSchedulingWithSSAPass(*this));
188
189 PM.add(getRegisterAllocator(*this));
190
191 PM.add(getPrologEpilogInsertionPass());
192
193 if (!DisablePeephole)
194 PM.add(createPeepholeOptsPass(*this));
195
Brian Gaekeaeab1e12003-06-04 22:07:12 +0000196 PM.add(getMappingInfoCollector(Out));
Chris Lattner4f946372002-10-28 01:03:43 +0000197
198 // Output assembly language to the .s file. Assembly emission is split into
199 // two parts: Function output and Global value output. This is because
200 // function output is pipelined with all of the rest of code generation stuff,
201 // allowing machine code representations for functions to be free'd after the
202 // function has been emitted.
203 //
204 PM.add(getFunctionAsmPrinterPass(Out));
Chris Lattner227c3d32002-10-28 01:12:41 +0000205 PM.add(createMachineCodeDestructionPass()); // Free stuff no longer needed
Chris Lattner4f946372002-10-28 01:03:43 +0000206
207 // Emit Module level assembly after all of the functions have been processed.
208 PM.add(getModuleAsmPrinterPass(Out));
209
210 // Emit bytecode to the assembly file into its special section next
211 PM.add(getEmitBytecodeToAsmPass(Out));
212 PM.add(getFunctionInfo(Out));
Chris Lattner63342052002-10-29 21:12:46 +0000213 return false;
Chris Lattner4f946372002-10-28 01:03:43 +0000214}
Misha Brukman86172ab2003-05-27 22:24:48 +0000215
216// addPassesToJITCompile - This method controls the JIT method of code
217// generation for the UltraSparc.
218//
219bool UltraSparc::addPassesToJITCompile(PassManager &PM) {
Misha Brukmana5124502003-06-06 07:11:16 +0000220 const TargetData &TD = getTargetData();
221
222 PM.add(new TargetData("lli", TD.isLittleEndian(), TD.getPointerSize(),
223 TD.getPointerAlignment(), TD.getDoubleAlignment()));
224
225 // Replace malloc and free instructions with library calls.
226 // Do this after tracing until lli implements these lib calls.
227 // For now, it will emulate malloc and free internally.
228 PM.add(createLowerAllocationsPass());
229
Misha Brukman86172ab2003-05-27 22:24:48 +0000230 // FIXME: implement the switch instruction in the instruction selector.
231 PM.add(createLowerSwitchPass());
232
233 // Construct and initialize the MachineFunction object for this fn.
234 PM.add(createMachineCodeConstructionPass(*this));
235
Misha Brukman86172ab2003-05-27 22:24:48 +0000236 PM.add(createInstructionSelectionPass(*this));
237
238 // new pass: convert Value* in MachineOperand to an unsigned register
239 // this brings it in line with what the X86 JIT's RegisterAllocator expects
240 //PM.add(createAddRegNumToValuesPass());
241
242 PM.add(getRegisterAllocator(*this));
243 PM.add(getPrologEpilogInsertionPass());
244
Misha Brukmand1ef7a82003-05-30 20:00:13 +0000245 if (!DisablePeephole)
246 PM.add(createPeepholeOptsPass(*this));
247
Misha Brukman86172ab2003-05-27 22:24:48 +0000248 return false; // success!
249}