blob: b89fd8c8b54405ef2c310c7e1041e837a03ba479 [file] [log] [blame]
Vikram S. Adve7f37fe52001-11-08 04:55:13 +00001// $Id$ -*- C++ -*--
2//***************************************************************************
3// File:
4// SparcInternals.h
5//
6// Purpose:
7// This file defines stuff that is to be private to the Sparc
8// backend, but is shared among different portions of the backend.
9//**************************************************************************/
10
Chris Lattnerc6495ee2001-09-14 03:56:45 +000011
12#ifndef SPARC_INTERNALS_H
13#define SPARC_INTERNALS_H
14
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +000015
16#include "SparcRegClassInfo.h"
17#include "llvm/Target/TargetMachine.h"
18#include "llvm/Target/MachineInstrInfo.h"
Vikram S. Adve339084b2001-09-18 13:04:24 +000019#include "llvm/Target/MachineSchedInfo.h"
Vikram S. Adve5afff3b2001-11-09 02:15:52 +000020#include "llvm/Target/MachineFrameInfo.h"
21#include "llvm/Target/MachineCacheInfo.h"
Ruchira Sasankaab304c42001-09-30 23:19:57 +000022#include "llvm/CodeGen/RegClass.h"
Chris Lattnerc6495ee2001-09-14 03:56:45 +000023#include "llvm/Type.h"
Chris Lattner46cbff62001-09-14 16:56:32 +000024#include <sys/types.h>
Chris Lattnerc6495ee2001-09-14 03:56:45 +000025
Chris Lattner4387e312002-02-03 23:42:19 +000026class LiveRange;
Chris Lattnerf6e0e282001-09-14 04:32:55 +000027class UltraSparc;
Chris Lattner4387e312002-02-03 23:42:19 +000028class PhyRegAlloc;
29
Chris Lattnerf6e0e282001-09-14 04:32:55 +000030
Chris Lattnerc6495ee2001-09-14 03:56:45 +000031// OpCodeMask definitions for the Sparc V9
32//
33const OpCodeMask Immed = 0x00002000; // immed or reg operand?
34const OpCodeMask Annul = 0x20000000; // annul delay instr?
35const OpCodeMask PredictTaken = 0x00080000; // predict branch taken?
36
37
38enum SparcInstrSchedClass {
39 SPARC_NONE, /* Instructions with no scheduling restrictions */
40 SPARC_IEUN, /* Integer class that can use IEU0 or IEU1 */
41 SPARC_IEU0, /* Integer class IEU0 */
42 SPARC_IEU1, /* Integer class IEU1 */
43 SPARC_FPM, /* FP Multiply or Divide instructions */
44 SPARC_FPA, /* All other FP instructions */
45 SPARC_CTI, /* Control-transfer instructions */
46 SPARC_LD, /* Load instructions */
47 SPARC_ST, /* Store instructions */
48 SPARC_SINGLE, /* Instructions that must issue by themselves */
49
50 SPARC_INV, /* This should stay at the end for the next value */
51 SPARC_NUM_SCHED_CLASSES = SPARC_INV
52};
53
Chris Lattnerc6495ee2001-09-14 03:56:45 +000054
55//---------------------------------------------------------------------------
56// enum SparcMachineOpCode.
57// const MachineInstrDescriptor SparcMachineInstrDesc[]
58//
59// Purpose:
60// Description of UltraSparc machine instructions.
61//
62//---------------------------------------------------------------------------
63
Chris Lattnerc6495ee2001-09-14 03:56:45 +000064enum SparcMachineOpCode {
Chris Lattner9a3d63b2001-09-19 15:56:23 +000065#define I(ENUM, OPCODESTRING, NUMOPERANDS, RESULTPOS, MAXIMM, IMMSE, \
66 NUMDELAYSLOTS, LATENCY, SCHEDCLASS, INSTFLAGS) \
67 ENUM,
68#include "SparcInstr.def"
Chris Lattnerc6495ee2001-09-14 03:56:45 +000069
Chris Lattnerc6495ee2001-09-14 03:56:45 +000070 // End-of-array marker
71 INVALID_OPCODE,
Vikram S. Advec1521632001-10-22 13:31:53 +000072 NUM_REAL_OPCODES = PHI, // number of valid opcodes
Chris Lattnerc6495ee2001-09-14 03:56:45 +000073 NUM_TOTAL_OPCODES = INVALID_OPCODE
74};
75
Chris Lattnerc6495ee2001-09-14 03:56:45 +000076
Chris Lattner9a3d63b2001-09-19 15:56:23 +000077// Array of machine instruction descriptions...
78extern const MachineInstrDescriptor SparcMachineInstrDesc[];
Chris Lattnerc6495ee2001-09-14 03:56:45 +000079
80
81//---------------------------------------------------------------------------
82// class UltraSparcInstrInfo
83//
84// Purpose:
85// Information about individual instructions.
86// Most information is stored in the SparcMachineInstrDesc array above.
87// Other information is computed on demand, and most such functions
88// default to member functions in base class MachineInstrInfo.
89//---------------------------------------------------------------------------
90
91class UltraSparcInstrInfo : public MachineInstrInfo {
92public:
Vikram S. Adve7f37fe52001-11-08 04:55:13 +000093 /*ctor*/ UltraSparcInstrInfo(const TargetMachine& tgt);
Vikram S. Adve4c5fe2d2001-11-14 18:48:36 +000094
95 //
96 // All immediate constants are in position 0 except the
97 // store instructions.
98 //
99 virtual int getImmmedConstantPos(MachineOpCode opCode) const {
100 bool ignore;
101 if (this->maxImmedConstant(opCode, ignore) != 0)
102 {
103 assert(! this->isStore((MachineOpCode) STB - 1)); // first store is STB
104 assert(! this->isStore((MachineOpCode) STD + 1)); // last store is STD
105 return (opCode >= STB || opCode <= STD)? 2 : 1;
106 }
107 else
108 return -1;
109 }
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000110
Vikram S. Adve5684c4e2001-10-18 00:02:06 +0000111 virtual bool hasResultInterlock (MachineOpCode opCode) const
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000112 {
113 // All UltraSPARC instructions have interlocks (note that delay slots
114 // are not considered here).
115 // However, instructions that use the result of an FCMP produce a
116 // 9-cycle stall if they are issued less than 3 cycles after the FCMP.
117 // Force the compiler to insert a software interlock (i.e., gap of
118 // 2 other groups, including NOPs if necessary).
119 return (opCode == FCMPS || opCode == FCMPD || opCode == FCMPQ);
120 }
121
Vikram S. Adve5684c4e2001-10-18 00:02:06 +0000122 //-------------------------------------------------------------------------
123 // Code generation support for creating individual machine instructions
124 //-------------------------------------------------------------------------
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000125
Vikram S. Adve5684c4e2001-10-18 00:02:06 +0000126 // Create an instruction sequence to put the constant `val' into
127 // the virtual register `dest'. The generated instructions are
128 // returned in `minstrVec'. Any temporary registers (TmpInstruction)
129 // created are returned in `tempVec'.
130 //
131 virtual void CreateCodeToLoadConst(Value* val,
132 Instruction* dest,
Chris Lattner697954c2002-01-20 22:54:45 +0000133 std::vector<MachineInstr*>& minstrVec,
134 std::vector<TmpInstruction*>& tmp) const;
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000135
136
Vikram S. Adve5afff3b2001-11-09 02:15:52 +0000137 // Create an instruction sequence to copy an integer value `val'
138 // to a floating point value `dest' by copying to memory and back.
139 // val must be an integral type. dest must be a Float or Double.
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000140 // The generated instructions are returned in `minstrVec'.
141 // Any temp. registers (TmpInstruction) created are returned in `tempVec'.
142 //
143 virtual void CreateCodeToCopyIntToFloat(Method* method,
144 Value* val,
145 Instruction* dest,
Chris Lattner697954c2002-01-20 22:54:45 +0000146 std::vector<MachineInstr*>& minstr,
147 std::vector<TmpInstruction*>& temp,
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000148 TargetMachine& target) const;
Vikram S. Adve5afff3b2001-11-09 02:15:52 +0000149
150 // Similarly, create an instruction sequence to copy an FP value
151 // `val' to an integer value `dest' by copying to memory and back.
152 // See the previous function for information about return values.
153 //
154 virtual void CreateCodeToCopyFloatToInt(Method* method,
155 Value* val,
156 Instruction* dest,
Chris Lattner697954c2002-01-20 22:54:45 +0000157 std::vector<MachineInstr*>& minstr,
158 std::vector<TmpInstruction*>& temp,
Vikram S. Adve5afff3b2001-11-09 02:15:52 +0000159 TargetMachine& target) const;
Ruchira Sasanka67a463a2001-11-12 14:45:33 +0000160
161 // create copy instruction(s)
162 virtual void
163 CreateCopyInstructionsByType(const TargetMachine& target,
164 Value* src,
165 Instruction* dest,
Chris Lattner697954c2002-01-20 22:54:45 +0000166 std::vector<MachineInstr*>& minstr) const;
Ruchira Sasanka67a463a2001-11-12 14:45:33 +0000167
168
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000169};
170
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000171
Ruchira Sasanka20c82b12001-10-28 18:15:12 +0000172//----------------------------------------------------------------------------
173// class UltraSparcRegInfo
174//
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000175// This class implements the virtual class MachineRegInfo for Sparc.
176//
Ruchira Sasanka20c82b12001-10-28 18:15:12 +0000177//----------------------------------------------------------------------------
178
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000179class UltraSparcRegInfo : public MachineRegInfo
180{
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000181 private:
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000182
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000183 // The actual register classes in the Sparc
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000184 //
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000185 enum RegClassIDs {
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000186 IntRegClassID, // Integer
187 FloatRegClassID, // Float (both single/double)
188 IntCCRegClassID, // Int Condition Code
189 FloatCCRegClassID // Float Condition code
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000190 };
191
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000192
193 // Type of registers available in Sparc. There can be several reg types
194 // in the same class. For instace, the float reg class has Single/Double
195 // types
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000196 //
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000197 enum RegTypes {
198 IntRegType,
199 FPSingleRegType,
200 FPDoubleRegType,
201 IntCCRegType,
202 FloatCCRegType
203 };
204
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000205 // **** WARNING: If the above enum order is changed, also modify
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000206 // getRegisterClassOfValue method below since it assumes this particular
207 // order for efficiency.
208
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000209
210 // reverse pointer to get info about the ultra sparc machine
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000211 //
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000212 const UltraSparc *const UltraSparcInfo;
213
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000214 // Number of registers used for passing int args (usually 6: %o0 - %o5)
215 //
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000216 unsigned const NumOfIntArgRegs;
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000217
218 // Number of registers used for passing float args (usually 32: %f0 - %f31)
219 //
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000220 unsigned const NumOfFloatArgRegs;
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000221
222 // An out of bound register number that can be used to initialize register
223 // numbers. Useful for error detection.
224 //
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000225 int const InvalidRegNum;
Ruchira Sasanka20c82b12001-10-28 18:15:12 +0000226
227
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000228 // ======================== Private Methods =============================
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000229
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000230 // The following methods are used to color special live ranges (e.g.
231 // method args and return values etc.) with specific hardware registers
232 // as required. See SparcRegInfo.cpp for the implementation.
233 //
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000234 void setCallOrRetArgCol(LiveRange *const LR, const unsigned RegNo,
235 const MachineInstr *MI,AddedInstrMapType &AIMap)const;
236
237 MachineInstr * getCopy2RegMI(const Value *SrcVal, const unsigned Reg,
238 unsigned RegClassID) const ;
239
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +0000240 void suggestReg4RetAddr(const MachineInstr * RetMI,
241 LiveRangeInfo& LRI) const;
242
Ruchira Sasankab3b6f532001-10-21 16:43:41 +0000243 void suggestReg4CallAddr(const MachineInstr * CallMI, LiveRangeInfo& LRI,
Chris Lattner697954c2002-01-20 22:54:45 +0000244 std::vector<RegClass *> RCList) const;
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +0000245
246
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000247
248 // The following methods are used to find the addresses etc. contained
249 // in specail machine instructions like CALL/RET
250 //
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000251 Value *getValue4ReturnAddr( const MachineInstr * MInst ) const ;
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000252 const Value *getCallInstRetAddr(const MachineInstr *CallMI) const;
253 const unsigned getCallInstNumArgs(const MachineInstr *CallMI) const;
254
255
256 // The following 3 methods are used to find the RegType (see enum above)
257 // of a LiveRange, Value and using the unified RegClassID
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000258
259 int getRegType(const LiveRange *const LR) const {
260
261 unsigned Typ;
262
263 switch( (LR->getRegClass())->getID() ) {
264
265 case IntRegClassID: return IntRegType;
266
267 case FloatRegClassID:
268 Typ = LR->getTypeID();
269 if( Typ == Type::FloatTyID )
270 return FPSingleRegType;
271 else if( Typ == Type::DoubleTyID )
272 return FPDoubleRegType;
273 else assert(0 && "Unknown type in FloatRegClass");
274
275 case IntCCRegClassID: return IntCCRegType;
276
277 case FloatCCRegClassID: return FloatCCRegType ;
278
279 default: assert( 0 && "Unknown reg class ID");
Chris Lattner6dad5062001-11-07 13:49:12 +0000280 return 0;
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000281 }
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000282 }
283
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000284
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000285 int getRegType(const Value *const Val) const {
286
287 unsigned Typ;
288
289 switch( getRegClassIDOfValue(Val) ) {
290
291 case IntRegClassID: return IntRegType;
292
293 case FloatRegClassID:
294 Typ = (Val->getType())->getPrimitiveID();
295 if( Typ == Type::FloatTyID )
296 return FPSingleRegType;
297 else if( Typ == Type::DoubleTyID )
298 return FPDoubleRegType;
299 else assert(0 && "Unknown type in FloatRegClass");
300
301 case IntCCRegClassID: return IntCCRegType;
302
303 case FloatCCRegClassID: return FloatCCRegType ;
304
305 default: assert( 0 && "Unknown reg class ID");
Chris Lattner6dad5062001-11-07 13:49:12 +0000306 return 0;
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000307 }
308
309 }
310
311
Ruchira Sasankaae4bcd72001-11-10 21:20:43 +0000312 int getRegType(int reg) const {
313 if( reg < 32 )
314 return IntRegType;
315 else if ( reg < (32 + 32) )
316 return FPSingleRegType;
317 else if ( reg < (64 + 32) )
318 return FPDoubleRegType;
319 else if( reg < (64+32+4) )
320 return FloatCCRegType;
321 else if( reg < (64+32+4+2) )
322 return IntCCRegType;
323 else
324 assert(0 && "Invalid register number in getRegType");
325 }
326
327
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000328
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000329
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000330 // The following methods are used to generate copy instructions to move
331 // data between condition code registers
332 //
Ruchira Sasanka3839e6e2001-11-03 19:59:59 +0000333 MachineInstr * cpCCR2IntMI(const unsigned IntReg) const;
334 MachineInstr * cpInt2CCRMI(const unsigned IntReg) const;
335
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000336 // Used to generate a copy instruction based on the register class of
337 // value.
338 //
339 MachineInstr * cpValue2RegMI(Value * Val, const unsigned DestReg,
340 const int RegType) const;
Ruchira Sasankaae4bcd72001-11-10 21:20:43 +0000341
342
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000343 // The following 2 methods are used to order the instructions addeed by
344 // the register allocator in association with method calling. See
345 // SparcRegInfo.cpp for more details
346 //
Chris Lattner697954c2002-01-20 22:54:45 +0000347 void moveInst2OrdVec(std::vector<MachineInstr *> &OrdVec,
348 MachineInstr *UnordInst,
349 PhyRegAlloc &PRA) const;
Ruchira Sasankaae4bcd72001-11-10 21:20:43 +0000350
Chris Lattner697954c2002-01-20 22:54:45 +0000351 void OrderAddedInstrns(std::vector<MachineInstr *> &UnordVec,
352 std::vector<MachineInstr *> &OrdVec,
353 PhyRegAlloc &PRA) const;
Ruchira Sasankaae4bcd72001-11-10 21:20:43 +0000354
355
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000356 // To find whether a particular call is to a var arg method
357 //
Ruchira Sasankad00982a2002-01-07 19:20:28 +0000358 bool isVarArgCall(const MachineInstr *CallMI) const;
Ruchira Sasankaae4bcd72001-11-10 21:20:43 +0000359
Ruchira Sasanka868cf822001-11-09 23:49:14 +0000360
361
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000362 public:
363
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000364 // constructor
365 //
Ruchira Sasankad00982a2002-01-07 19:20:28 +0000366 UltraSparcRegInfo(const TargetMachine& tgt ) :
367 MachineRegInfo(tgt),
368 UltraSparcInfo(& (const UltraSparc&) tgt),
369 NumOfIntArgRegs(6),
370 NumOfFloatArgRegs(32),
Ruchira Sasanka690f3672002-01-07 20:33:44 +0000371 InvalidRegNum(1000) {
Ruchira Sasankad00982a2002-01-07 19:20:28 +0000372
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000373 MachineRegClassArr.push_back( new SparcIntRegClass(IntRegClassID) );
374 MachineRegClassArr.push_back( new SparcFloatRegClass(FloatRegClassID) );
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000375 MachineRegClassArr.push_back( new SparcIntCCRegClass(IntCCRegClassID) );
376 MachineRegClassArr.push_back( new SparcFloatCCRegClass(FloatCCRegClassID));
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000377
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000378 assert( SparcFloatRegOrder::StartOfNonVolatileRegs == 32 &&
379 "32 Float regs are used for float arg passing");
Ruchira Sasanka20c82b12001-10-28 18:15:12 +0000380
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000381 }
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000382
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000383
384 ~UltraSparcRegInfo(void) { } // empty destructor
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000385
386
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000387 // To get complete machine information structure using the machine register
388 // information
389 //
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000390 inline const UltraSparc & getUltraSparcInfo() const {
391 return *UltraSparcInfo;
392 }
393
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000394
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000395 // To find the register class of a Value
396 //
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000397 inline unsigned getRegClassIDOfValue (const Value *const Val,
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000398 bool isCCReg = false) const {
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000399
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000400 Type::PrimitiveID ty = (Val->getType())->getPrimitiveID();
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000401
402 unsigned res;
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000403
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000404 if( (ty && ty <= Type::LongTyID) || (ty == Type::LabelTyID) ||
405 (ty == Type::MethodTyID) || (ty == Type::PointerTyID) )
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000406 res = IntRegClassID; // sparc int reg (ty=0: void)
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000407 else if( ty <= Type::DoubleTyID)
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000408 res = FloatRegClassID; // sparc float reg class
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000409 else {
Chris Lattner697954c2002-01-20 22:54:45 +0000410 std::cerr << "TypeID: " << ty << "\n";
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000411 assert(0 && "Cannot resolve register class for type");
Chris Lattner8e5c0b42001-11-07 14:01:59 +0000412 return 0;
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000413 }
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000414
415 if(isCCReg)
416 return res + 2; // corresponidng condition code regiser
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000417 else
418 return res;
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000419 }
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000420
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000421
422
423 // returns the register that contains always zero
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000424 // this is the unified register number
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000425 //
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000426 inline int getZeroRegNum() const { return SparcIntRegOrder::g0; }
427
428 // returns the reg used for pushing the address when a method is called.
429 // This can be used for other purposes between calls
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000430 //
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000431 unsigned getCallAddressReg() const { return SparcIntRegOrder::o7; }
432
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000433 // Returns the register containing the return address.
434 // It should be made sure that this register contains the return
435 // value when a return instruction is reached.
436 //
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000437 unsigned getReturnAddressReg() const { return SparcIntRegOrder::i7; }
438
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000439
440
441 // The following methods are used to color special live ranges (e.g.
442 // method args and return values etc.) with specific hardware registers
443 // as required. See SparcRegInfo.cpp for the implementation for Sparc.
444 //
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000445 void suggestRegs4MethodArgs(const Method *const Meth,
446 LiveRangeInfo& LRI) const;
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000447
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +0000448 void suggestRegs4CallArgs(const MachineInstr *const CallMI,
Chris Lattner697954c2002-01-20 22:54:45 +0000449 LiveRangeInfo& LRI,
450 std::vector<RegClass *> RCL) const;
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000451
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +0000452 void suggestReg4RetValue(const MachineInstr *const RetMI,
Chris Lattner697954c2002-01-20 22:54:45 +0000453 LiveRangeInfo& LRI) const;
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000454
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000455
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000456 void colorMethodArgs(const Method *const Meth, LiveRangeInfo& LRI,
457 AddedInstrns *const FirstAI) const;
458
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +0000459 void colorCallArgs(const MachineInstr *const CallMI, LiveRangeInfo& LRI,
Ruchira Sasankad00982a2002-01-07 19:20:28 +0000460 AddedInstrns *const CallAI, PhyRegAlloc &PRA,
461 const BasicBlock *BB) const;
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000462
Ruchira Sasankacc3ccac2001-10-15 16:25:28 +0000463 void colorRetValue(const MachineInstr *const RetI, LiveRangeInfo& LRI,
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000464 AddedInstrns *const RetAI) const;
465
466
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000467
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000468 // method used for printing a register for debugging purposes
469 //
470 static void printReg(const LiveRange *const LR) ;
Ruchira Sasanka89fb46b2001-09-18 22:52:44 +0000471
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000472 // this method provides a unique number for each register
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000473 //
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000474 inline int getUnifiedRegNum(int RegClassID, int reg) const {
475
476 if( RegClassID == IntRegClassID && reg < 32 )
477 return reg;
478 else if ( RegClassID == FloatRegClassID && reg < 64)
479 return reg + 32; // we have 32 int regs
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000480 else if( RegClassID == FloatCCRegClassID && reg < 4)
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000481 return reg + 32 + 64; // 32 int, 64 float
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000482 else if( RegClassID == IntCCRegClassID )
483 return 4+ 32 + 64; // only int cc reg
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000484 else if (reg==InvalidRegNum)
485 return InvalidRegNum;
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000486 else
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000487 assert(0 && "Invalid register class or reg number");
Chris Lattner6dad5062001-11-07 13:49:12 +0000488 return 0;
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000489 }
490
491 // given the unified register number, this gives the name
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000492 // for generating assembly code or debugging.
493 //
Chris Lattner697954c2002-01-20 22:54:45 +0000494 inline const std::string getUnifiedRegName(int reg) const {
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000495 if( reg < 32 )
496 return SparcIntRegOrder::getRegName(reg);
497 else if ( reg < (64 + 32) )
498 return SparcFloatRegOrder::getRegName( reg - 32);
499 else if( reg < (64+32+4) )
Ruchira Sasankae38bd5332001-09-15 00:30:44 +0000500 return SparcFloatCCRegOrder::getRegName( reg -32 - 64);
Ruchira Sasanka3839e6e2001-11-03 19:59:59 +0000501 else if( reg < (64+32+4+2) ) // two names: %xcc and %ccr
502 return SparcIntCCRegOrder::getRegName( reg -32 - 64 - 4);
Vikram S. Advec1521632001-10-22 13:31:53 +0000503 else if (reg== InvalidRegNum) //****** TODO: Remove */
Ruchira Sasankaab304c42001-09-30 23:19:57 +0000504 return "<*NoReg*>";
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000505 else
506 assert(0 && "Invalid register number");
Chris Lattner6dad5062001-11-07 13:49:12 +0000507 return "";
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000508 }
509
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000510
511
512 // The fllowing methods are used by instruction selection
513 //
Chris Lattner697954c2002-01-20 22:54:45 +0000514 inline unsigned getRegNumInCallersWindow(int reg) {
Vikram S. Advec1521632001-10-22 13:31:53 +0000515 if (reg == InvalidRegNum || reg >= 32)
516 return reg;
517 return SparcIntRegOrder::getRegNumInCallersWindow(reg);
518 }
519
520 inline bool mustBeRemappedInCallersWindow(int reg) {
521 return (reg != InvalidRegNum && reg < 32);
522 }
523
Ruchira Sasankad00982a2002-01-07 19:20:28 +0000524
525
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000526 // returns the # of bytes of stack space allocated for each register
527 // type. For Sparc, currently we allocate 8 bytes on stack for all
528 // register types. We can optimize this later if necessary to save stack
529 // space (However, should make sure that stack alignment is correct)
530 //
Ruchira Sasankad00982a2002-01-07 19:20:28 +0000531 inline int getSpilledRegSize(const int RegType) const {
532 return 8;
Ruchira Sasankad00982a2002-01-07 19:20:28 +0000533 }
534
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000535
536 // To obtain the return value contained in a CALL machine instruction
537 //
Ruchira Sasankab3b6f532001-10-21 16:43:41 +0000538 const Value * getCallInstRetVal(const MachineInstr *CallMI) const;
539
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000540
541 // The following methods are used to generate "copy" machine instructions
542 // for an architecture.
543 //
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000544 MachineInstr * cpReg2RegMI(const unsigned SrcReg, const unsigned DestReg,
545 const int RegType) const;
546
547 MachineInstr * cpReg2MemMI(const unsigned SrcReg, const unsigned DestPtrReg,
548 const int Offset, const int RegType) const;
549
550 MachineInstr * cpMem2RegMI(const unsigned SrcPtrReg, const int Offset,
551 const unsigned DestReg, const int RegType) const;
552
Ruchira Sasankaef1b0cb2001-11-03 17:13:27 +0000553 MachineInstr* cpValue2Value(Value *Src, Value *Dest) const;
554
555
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000556 // To see whether a register is a volatile (i.e., whehter it must be
557 // preserved acorss calls)
558 //
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000559 inline bool isRegVolatile(const int RegClassID, const int Reg) const {
560 return (MachineRegClassArr[RegClassID])->isRegVolatile(Reg);
561 }
562
563
564 inline unsigned getFramePointer() const {
565 return SparcIntRegOrder::i6;
566 }
567
568 inline unsigned getStackPointer() const {
569 return SparcIntRegOrder::o6;
570 }
571
572 inline int getInvalidRegNum() const {
573 return InvalidRegNum;
574 }
575
Ruchira Sasanka20c82b12001-10-28 18:15:12 +0000576
Ruchira Sasanka2563a982002-01-07 20:28:49 +0000577
578 // This method inserts the caller saving code for call instructions
579 //
Ruchira Sasanka20c82b12001-10-28 18:15:12 +0000580 void insertCallerSavingCode(const MachineInstr *MInst,
581 const BasicBlock *BB, PhyRegAlloc &PRA ) const;
582
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000583};
584
585
586
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000587
588//---------------------------------------------------------------------------
589// class UltraSparcSchedInfo
590//
591// Purpose:
592// Interface to instruction scheduling information for UltraSPARC.
593// The parameter values above are based on UltraSPARC IIi.
594//---------------------------------------------------------------------------
595
596
597class UltraSparcSchedInfo: public MachineSchedInfo {
598public:
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000599 /*ctor*/ UltraSparcSchedInfo (const TargetMachine& tgt);
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000600 /*dtor*/ virtual ~UltraSparcSchedInfo () {}
601protected:
602 virtual void initializeResources ();
603};
604
Chris Lattnerf6e0e282001-09-14 04:32:55 +0000605
606//---------------------------------------------------------------------------
Vikram S. Advec1521632001-10-22 13:31:53 +0000607// class UltraSparcFrameInfo
608//
609// Purpose:
610// Interface to stack frame layout info for the UltraSPARC.
Vikram S. Adve00521d72001-11-12 23:26:35 +0000611// Starting offsets for each area of the stack frame are aligned at
612// a multiple of getStackFrameSizeAlignment().
Vikram S. Advec1521632001-10-22 13:31:53 +0000613//---------------------------------------------------------------------------
614
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000615class UltraSparcFrameInfo: public MachineFrameInfo {
Vikram S. Advec1521632001-10-22 13:31:53 +0000616public:
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000617 /*ctor*/ UltraSparcFrameInfo(const TargetMachine& tgt) : MachineFrameInfo(tgt) {}
618
619public:
620 int getStackFrameSizeAlignment () const { return StackFrameSizeAlignment;}
621 int getMinStackFrameSize () const { return MinStackFrameSize; }
622 int getNumFixedOutgoingArgs () const { return NumFixedOutgoingArgs; }
623 int getSizeOfEachArgOnStack () const { return SizeOfEachArgOnStack; }
624 bool argsOnStackHaveFixedSize () const { return true; }
625
626 //
627 // These methods compute offsets using the frame contents for a
628 // particular method. The frame contents are obtained from the
629 // MachineCodeInfoForMethod object for the given method.
630 //
631 int getFirstIncomingArgOffset (MachineCodeForMethod& mcInfo,
632 bool& pos) const
633 {
634 pos = true; // arguments area grows upwards
635 return FirstIncomingArgOffsetFromFP;
636 }
637 int getFirstOutgoingArgOffset (MachineCodeForMethod& mcInfo,
638 bool& pos) const
639 {
640 pos = true; // arguments area grows upwards
641 return FirstOutgoingArgOffsetFromSP;
642 }
643 int getFirstOptionalOutgoingArgOffset(MachineCodeForMethod& mcInfo,
644 bool& pos)const
645 {
646 pos = true; // arguments area grows upwards
647 return FirstOptionalOutgoingArgOffsetFromSP;
648 }
649
650 int getFirstAutomaticVarOffset (MachineCodeForMethod& mcInfo,
651 bool& pos) const;
652 int getRegSpillAreaOffset (MachineCodeForMethod& mcInfo,
653 bool& pos) const;
654 int getTmpAreaOffset (MachineCodeForMethod& mcInfo,
655 bool& pos) const;
656 int getDynamicAreaOffset (MachineCodeForMethod& mcInfo,
657 bool& pos) const;
658
659 //
660 // These methods specify the base register used for each stack area
661 // (generally FP or SP)
662 //
663 virtual int getIncomingArgBaseRegNum() const {
664 return (int) target.getRegInfo().getFramePointer();
665 }
666 virtual int getOutgoingArgBaseRegNum() const {
667 return (int) target.getRegInfo().getStackPointer();
668 }
669 virtual int getOptionalOutgoingArgBaseRegNum() const {
670 return (int) target.getRegInfo().getStackPointer();
671 }
672 virtual int getAutomaticVarBaseRegNum() const {
673 return (int) target.getRegInfo().getFramePointer();
674 }
675 virtual int getRegSpillAreaBaseRegNum() const {
676 return (int) target.getRegInfo().getFramePointer();
677 }
678 virtual int getDynamicAreaBaseRegNum() const {
679 return (int) target.getRegInfo().getStackPointer();
680 }
681
682private:
Vikram S. Adve5afff3b2001-11-09 02:15:52 +0000683 // All stack addresses must be offset by 0x7ff (2047) on Sparc V9.
684 static const int OFFSET = (int) 0x7ff;
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000685 static const int StackFrameSizeAlignment = 16;
Vikram S. Advec1521632001-10-22 13:31:53 +0000686 static const int MinStackFrameSize = 176;
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000687 static const int NumFixedOutgoingArgs = 6;
688 static const int SizeOfEachArgOnStack = 8;
Ruchira Sasanka67a463a2001-11-12 14:45:33 +0000689 static const int StaticAreaOffsetFromFP = 0 + OFFSET;
Vikram S. Adve5afff3b2001-11-09 02:15:52 +0000690 static const int FirstIncomingArgOffsetFromFP = 128 + OFFSET;
691 static const int FirstOptionalIncomingArgOffsetFromFP = 176 + OFFSET;
692 static const int FirstOutgoingArgOffsetFromSP = 128 + OFFSET;
693 static const int FirstOptionalOutgoingArgOffsetFromSP = 176 + OFFSET;
Vikram S. Advec1521632001-10-22 13:31:53 +0000694};
695
696
Vikram S. Adve5afff3b2001-11-09 02:15:52 +0000697//---------------------------------------------------------------------------
698// class UltraSparcCacheInfo
699//
700// Purpose:
701// Interface to cache parameters for the UltraSPARC.
702// Just use defaults for now.
703//---------------------------------------------------------------------------
704
705class UltraSparcCacheInfo: public MachineCacheInfo {
706public:
Chris Lattner7327d7e2002-02-04 00:04:35 +0000707 UltraSparcCacheInfo(const TargetMachine &T) : MachineCacheInfo(T) {}
Vikram S. Adve5afff3b2001-11-09 02:15:52 +0000708};
709
Vikram S. Advec1521632001-10-22 13:31:53 +0000710
711//---------------------------------------------------------------------------
Chris Lattnerf6e0e282001-09-14 04:32:55 +0000712// class UltraSparcMachine
713//
714// Purpose:
715// Primary interface to machine description for the UltraSPARC.
716// Primarily just initializes machine-dependent parameters in
717// class TargetMachine, and creates machine-dependent subclasses
Vikram S. Adve339084b2001-09-18 13:04:24 +0000718// for classes such as InstrInfo, SchedInfo and RegInfo.
Chris Lattnerf6e0e282001-09-14 04:32:55 +0000719//---------------------------------------------------------------------------
720
721class UltraSparc : public TargetMachine {
Vikram S. Adve339084b2001-09-18 13:04:24 +0000722private:
723 UltraSparcInstrInfo instrInfo;
724 UltraSparcSchedInfo schedInfo;
725 UltraSparcRegInfo regInfo;
Vikram S. Advec1521632001-10-22 13:31:53 +0000726 UltraSparcFrameInfo frameInfo;
Vikram S. Adve5afff3b2001-11-09 02:15:52 +0000727 UltraSparcCacheInfo cacheInfo;
Chris Lattnerf6e0e282001-09-14 04:32:55 +0000728public:
729 UltraSparc();
Vikram S. Adve339084b2001-09-18 13:04:24 +0000730
Chris Lattner32f600a2001-09-19 13:47:12 +0000731 virtual const MachineInstrInfo &getInstrInfo() const { return instrInfo; }
732 virtual const MachineSchedInfo &getSchedInfo() const { return schedInfo; }
733 virtual const MachineRegInfo &getRegInfo() const { return regInfo; }
Vikram S. Adve7f37fe52001-11-08 04:55:13 +0000734 virtual const MachineFrameInfo &getFrameInfo() const { return frameInfo; }
Vikram S. Adve5afff3b2001-11-09 02:15:52 +0000735 virtual const MachineCacheInfo &getCacheInfo() const { return cacheInfo; }
Chris Lattner32f600a2001-09-19 13:47:12 +0000736
737 //
Chris Lattner4387e312002-02-03 23:42:19 +0000738 // addPassesToEmitAssembly - Add passes to the specified pass manager to get
739 // assembly langage code emited. For sparc, we have to do ...
Chris Lattner32f600a2001-09-19 13:47:12 +0000740 //
Chris Lattner4387e312002-02-03 23:42:19 +0000741 virtual void addPassesToEmitAssembly(PassManager &PM, std::ostream &Out);
Chris Lattnerf6e0e282001-09-14 04:32:55 +0000742
Chris Lattner4387e312002-02-03 23:42:19 +0000743private:
744 Pass *getMethodAsmPrinterPass(PassManager &PM, std::ostream &Out);
745 Pass *getModuleAsmPrinterPass(PassManager &PM, std::ostream &Out);
Chris Lattner6edfcc52002-02-03 07:51:17 +0000746};
Chris Lattnerf6e0e282001-09-14 04:32:55 +0000747
Chris Lattnerc6495ee2001-09-14 03:56:45 +0000748#endif