blob: 84dc92e246d2a241784a205632e48358a5c9fcd9 [file] [log] [blame]
Chris Lattner029af0b2002-02-03 07:52:04 +00001//===-- SparcRegInfo.cpp - Sparc Target Register Information --------------===//
John Criswell482202a2003-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//===----------------------------------------------------------------------===//
Chris Lattner029af0b2002-02-03 07:52:04 +00009//
10// This file contains implementation of Sparc specific helper methods
11// used for register allocation.
12//
13//===----------------------------------------------------------------------===//
14
Ruchira Sasankadfc6c882001-09-18 22:52:44 +000015#include "SparcInternals.h"
Chris Lattner5216cc52002-02-04 05:59:25 +000016#include "SparcRegClassInfo.h"
Misha Brukman7ae7f842002-10-28 00:28:31 +000017#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerd47aac92002-12-28 20:21:29 +000018#include "llvm/CodeGen/MachineFunctionInfo.h"
Vikram S. Advee9327f02002-05-19 15:25:51 +000019#include "llvm/CodeGen/InstrSelection.h"
Chris Lattner1ebaa902003-01-15 17:47:49 +000020#include "llvm/CodeGen/MachineInstrBuilder.h"
Anand Shuklae6c3ee62003-06-01 02:48:23 +000021#include "llvm/CodeGen/MachineCodeForInstruction.h"
Vikram S. Advee9327f02002-05-19 15:25:51 +000022#include "llvm/CodeGen/MachineInstrAnnot.h"
Chris Lattnere80612a2003-09-01 20:12:17 +000023#include "../../CodeGen/RegAlloc/LiveRangeInfo.h" // FIXME!!
Chris Lattnereefb5652003-09-01 20:17:13 +000024#include "../../CodeGen/RegAlloc/LiveRange.h" // FIXME!!
Chris Lattner5216cc52002-02-04 05:59:25 +000025#include "llvm/iTerminators.h"
26#include "llvm/iOther.h"
Chris Lattner06be1802002-04-09 19:08:28 +000027#include "llvm/Function.h"
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +000028#include "llvm/DerivedTypes.h"
Chris Lattnerb0ddffa2001-09-14 03:47:57 +000029
Chris Lattner24c1d5e2003-01-14 23:05:08 +000030enum {
31 BadRegClass = ~0
32};
33
Chris Lattner5216cc52002-02-04 05:59:25 +000034UltraSparcRegInfo::UltraSparcRegInfo(const UltraSparc &tgt)
Vikram S. Advea83804a2003-05-31 07:32:01 +000035 : TargetRegInfo(tgt), NumOfIntArgRegs(6), NumOfFloatArgRegs(32)
36{
Chris Lattner5216cc52002-02-04 05:59:25 +000037 MachineRegClassArr.push_back(new SparcIntRegClass(IntRegClassID));
38 MachineRegClassArr.push_back(new SparcFloatRegClass(FloatRegClassID));
39 MachineRegClassArr.push_back(new SparcIntCCRegClass(IntCCRegClassID));
40 MachineRegClassArr.push_back(new SparcFloatCCRegClass(FloatCCRegClassID));
Vikram S. Adve8adb9942003-05-27 00:02:22 +000041 MachineRegClassArr.push_back(new SparcSpecialRegClass(SpecialRegClassID));
Vikram S. Adveaee67012002-07-08 23:23:12 +000042
Chris Lattner56e91662002-08-12 21:25:05 +000043 assert(SparcFloatRegClass::StartOfNonVolatileRegs == 32 &&
Chris Lattner5216cc52002-02-04 05:59:25 +000044 "32 Float regs are used for float arg passing");
45}
46
47
Vikram S. Advedb1435f2002-03-18 03:12:16 +000048// getZeroRegNum - returns the register that contains always zero.
49// this is the unified register number
Chris Lattner5216cc52002-02-04 05:59:25 +000050//
Vikram S. Advedb1435f2002-03-18 03:12:16 +000051int UltraSparcRegInfo::getZeroRegNum() const {
Chris Lattner56e91662002-08-12 21:25:05 +000052 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
53 SparcIntRegClass::g0);
Vikram S. Advedb1435f2002-03-18 03:12:16 +000054}
Chris Lattner5216cc52002-02-04 05:59:25 +000055
56// getCallAddressReg - returns the reg used for pushing the address when a
57// method is called. This can be used for other purposes between calls
58//
59unsigned UltraSparcRegInfo::getCallAddressReg() const {
Chris Lattner56e91662002-08-12 21:25:05 +000060 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
61 SparcIntRegClass::o7);
Chris Lattner5216cc52002-02-04 05:59:25 +000062}
63
64// Returns the register containing the return address.
65// It should be made sure that this register contains the return
66// value when a return instruction is reached.
67//
68unsigned UltraSparcRegInfo::getReturnAddressReg() const {
Chris Lattner56e91662002-08-12 21:25:05 +000069 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
70 SparcIntRegClass::i7);
71}
72
73// Register get name implementations...
74
75// Int register names in same order as enum in class SparcIntRegClass
76static const char * const IntRegNames[] = {
77 "o0", "o1", "o2", "o3", "o4", "o5", "o7",
78 "l0", "l1", "l2", "l3", "l4", "l5", "l6", "l7",
79 "i0", "i1", "i2", "i3", "i4", "i5",
80 "i6", "i7",
81 "g0", "g1", "g2", "g3", "g4", "g5", "g6", "g7",
82 "o6"
83};
84
Vikram S. Adve8adb9942003-05-27 00:02:22 +000085const char * const SparcIntRegClass::getRegName(unsigned reg) const {
Chris Lattner56e91662002-08-12 21:25:05 +000086 assert(reg < NumOfAllRegs);
87 return IntRegNames[reg];
88}
89
90static const char * const FloatRegNames[] = {
91 "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", "f9",
92 "f10", "f11", "f12", "f13", "f14", "f15", "f16", "f17", "f18", "f19",
93 "f20", "f21", "f22", "f23", "f24", "f25", "f26", "f27", "f28", "f29",
94 "f30", "f31", "f32", "f33", "f34", "f35", "f36", "f37", "f38", "f39",
95 "f40", "f41", "f42", "f43", "f44", "f45", "f46", "f47", "f48", "f49",
96 "f50", "f51", "f52", "f53", "f54", "f55", "f56", "f57", "f58", "f59",
97 "f60", "f61", "f62", "f63"
98};
99
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000100const char * const SparcFloatRegClass::getRegName(unsigned reg) const {
Chris Lattner56e91662002-08-12 21:25:05 +0000101 assert (reg < NumOfAllRegs);
102 return FloatRegNames[reg];
103}
104
105
106static const char * const IntCCRegNames[] = {
Vikram S. Adved09c4c32003-07-06 20:13:59 +0000107 "xcc", "icc", "ccr"
Chris Lattner56e91662002-08-12 21:25:05 +0000108};
109
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000110const char * const SparcIntCCRegClass::getRegName(unsigned reg) const {
Vikram S. Adved09c4c32003-07-06 20:13:59 +0000111 assert(reg < 3);
Chris Lattner56e91662002-08-12 21:25:05 +0000112 return IntCCRegNames[reg];
113}
114
115static const char * const FloatCCRegNames[] = {
116 "fcc0", "fcc1", "fcc2", "fcc3"
117};
118
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000119const char * const SparcFloatCCRegClass::getRegName(unsigned reg) const {
120 assert (reg < 5);
Chris Lattner56e91662002-08-12 21:25:05 +0000121 return FloatCCRegNames[reg];
Chris Lattner5216cc52002-02-04 05:59:25 +0000122}
123
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000124static const char * const SpecialRegNames[] = {
125 "fsr"
126};
127
128const char * const SparcSpecialRegClass::getRegName(unsigned reg) const {
129 assert (reg < 1);
130 return SpecialRegNames[reg];
Chris Lattner5216cc52002-02-04 05:59:25 +0000131}
132
Vikram S. Advedb1435f2002-03-18 03:12:16 +0000133// Get unified reg number for frame pointer
Chris Lattner5216cc52002-02-04 05:59:25 +0000134unsigned UltraSparcRegInfo::getFramePointer() const {
Chris Lattner56e91662002-08-12 21:25:05 +0000135 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
136 SparcIntRegClass::i6);
Chris Lattner5216cc52002-02-04 05:59:25 +0000137}
138
Vikram S. Advedb1435f2002-03-18 03:12:16 +0000139// Get unified reg number for stack pointer
Chris Lattner5216cc52002-02-04 05:59:25 +0000140unsigned UltraSparcRegInfo::getStackPointer() const {
Chris Lattner56e91662002-08-12 21:25:05 +0000141 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
142 SparcIntRegClass::o6);
Chris Lattner5216cc52002-02-04 05:59:25 +0000143}
144
145
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000146//---------------------------------------------------------------------------
147// Finds whether a call is an indirect call
148//---------------------------------------------------------------------------
149
150inline bool
151isVarArgsFunction(const Type *funcType) {
152 return cast<FunctionType>(cast<PointerType>(funcType)
153 ->getElementType())->isVarArg();
154}
155
156inline bool
157isVarArgsCall(const MachineInstr *CallMI) {
158 Value* callee = CallMI->getOperand(0).getVRegValue();
159 // const Type* funcType = isa<Function>(callee)? callee->getType()
160 // : cast<PointerType>(callee->getType())->getElementType();
161 const Type* funcType = callee->getType();
162 return isVarArgsFunction(funcType);
163}
164
165
Vikram S. Advea83804a2003-05-31 07:32:01 +0000166// Get the register number for the specified argument #argNo,
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000167//
168// Return value:
Vikram S. Advea83804a2003-05-31 07:32:01 +0000169// getInvalidRegNum(), if there is no int register available for the arg.
170// regNum, otherwise (this is NOT the unified reg. num).
171// regClassId is set to the register class ID.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000172//
Vikram S. Advea83804a2003-05-31 07:32:01 +0000173int
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000174UltraSparcRegInfo::regNumForIntArg(bool inCallee, bool isVarArgsCall,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000175 unsigned argNo, unsigned& regClassId) const
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000176{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000177 regClassId = IntRegClassID;
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000178 if (argNo >= NumOfIntArgRegs)
Vikram S. Advea83804a2003-05-31 07:32:01 +0000179 return getInvalidRegNum();
Vikram S. Advee9327f02002-05-19 15:25:51 +0000180 else
Chris Lattner56e91662002-08-12 21:25:05 +0000181 return argNo + (inCallee? SparcIntRegClass::i0 : SparcIntRegClass::o0);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000182}
183
Vikram S. Advea83804a2003-05-31 07:32:01 +0000184// Get the register number for the specified FP argument #argNo,
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000185// Use INT regs for FP args if this is a varargs call.
186//
187// Return value:
Vikram S. Advea83804a2003-05-31 07:32:01 +0000188// getInvalidRegNum(), if there is no int register available for the arg.
189// regNum, otherwise (this is NOT the unified reg. num).
190// regClassId is set to the register class ID.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000191//
Vikram S. Advea83804a2003-05-31 07:32:01 +0000192int
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000193UltraSparcRegInfo::regNumForFPArg(unsigned regType,
194 bool inCallee, bool isVarArgsCall,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000195 unsigned argNo, unsigned& regClassId) const
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000196{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000197 if (isVarArgsCall)
Vikram S. Advea83804a2003-05-31 07:32:01 +0000198 return regNumForIntArg(inCallee, isVarArgsCall, argNo, regClassId);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000199 else
200 {
201 regClassId = FloatRegClassID;
202 if (regType == FPSingleRegType)
203 return (argNo*2+1 >= NumOfFloatArgRegs)?
Vikram S. Advea83804a2003-05-31 07:32:01 +0000204 getInvalidRegNum() : SparcFloatRegClass::f0 + (argNo * 2 + 1);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000205 else if (regType == FPDoubleRegType)
206 return (argNo*2 >= NumOfFloatArgRegs)?
Vikram S. Advea83804a2003-05-31 07:32:01 +0000207 getInvalidRegNum() : SparcFloatRegClass::f0 + (argNo * 2);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000208 else
209 assert(0 && "Illegal FP register type");
Chris Lattner3091e112002-07-25 06:08:32 +0000210 return 0;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000211 }
Vikram S. Adve02662bd2002-03-31 19:04:50 +0000212}
213
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000214
215//---------------------------------------------------------------------------
216// Finds the return address of a call sparc specific call instruction
217//---------------------------------------------------------------------------
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000218
Vikram S. Adveaee67012002-07-08 23:23:12 +0000219// The following 4 methods are used to find the RegType (SparcInternals.h)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000220// of a LiveRange, a Value, and for a given register unified reg number.
Chris Lattner5216cc52002-02-04 05:59:25 +0000221//
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000222int UltraSparcRegInfo::getRegTypeForClassAndType(unsigned regClassID,
223 const Type* type) const
224{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000225 switch (regClassID) {
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000226 case IntRegClassID: return IntRegType;
227 case FloatRegClassID:
228 if (type == Type::FloatTy) return FPSingleRegType;
229 else if (type == Type::DoubleTy) return FPDoubleRegType;
230 assert(0 && "Unknown type in FloatRegClass"); return 0;
231 case IntCCRegClassID: return IntCCRegType;
232 case FloatCCRegClassID: return FloatCCRegType;
233 case SpecialRegClassID: return SpecialRegType;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000234 default: assert( 0 && "Unknown reg class ID"); return 0;
Chris Lattner5216cc52002-02-04 05:59:25 +0000235 }
236}
237
Vikram S. Adve536b1922003-07-25 21:12:15 +0000238int UltraSparcRegInfo::getRegTypeForDataType(const Type* type) const
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000239{
240 return getRegTypeForClassAndType(getRegClassIDOfType(type), type);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000241}
242
Vikram S. Adve536b1922003-07-25 21:12:15 +0000243int UltraSparcRegInfo::getRegTypeForLR(const LiveRange *LR) const
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000244{
245 return getRegTypeForClassAndType(LR->getRegClassID(), LR->getType());
246}
Chris Lattner5216cc52002-02-04 05:59:25 +0000247
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000248int UltraSparcRegInfo::getRegType(int unifiedRegNum) const
249{
Vikram S. Adveaee67012002-07-08 23:23:12 +0000250 if (unifiedRegNum < 32)
Chris Lattner5216cc52002-02-04 05:59:25 +0000251 return IntRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000252 else if (unifiedRegNum < (32 + 32))
Chris Lattner5216cc52002-02-04 05:59:25 +0000253 return FPSingleRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000254 else if (unifiedRegNum < (64 + 32))
Chris Lattner5216cc52002-02-04 05:59:25 +0000255 return FPDoubleRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000256 else if (unifiedRegNum < (64+32+4))
Chris Lattner5216cc52002-02-04 05:59:25 +0000257 return FloatCCRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000258 else if (unifiedRegNum < (64+32+4+2))
Chris Lattner5216cc52002-02-04 05:59:25 +0000259 return IntCCRegType;
260 else
Vikram S. Adveaee67012002-07-08 23:23:12 +0000261 assert(0 && "Invalid unified register number in getRegType");
Chris Lattner5536c9c2002-02-24 23:02:40 +0000262 return 0;
Chris Lattner5216cc52002-02-04 05:59:25 +0000263}
264
265
Vikram S. Adveaee67012002-07-08 23:23:12 +0000266// To find the register class used for a specified Type
267//
268unsigned UltraSparcRegInfo::getRegClassIDOfType(const Type *type,
Chris Lattner3091e112002-07-25 06:08:32 +0000269 bool isCCReg) const {
Vikram S. Adveaee67012002-07-08 23:23:12 +0000270 Type::PrimitiveID ty = type->getPrimitiveID();
271 unsigned res;
272
273 // FIXME: Comparing types like this isn't very safe...
274 if ((ty && ty <= Type::LongTyID) || (ty == Type::LabelTyID) ||
275 (ty == Type::FunctionTyID) || (ty == Type::PointerTyID) )
276 res = IntRegClassID; // sparc int reg (ty=0: void)
277 else if (ty <= Type::DoubleTyID)
278 res = FloatRegClassID; // sparc float reg class
279 else {
280 //std::cerr << "TypeID: " << ty << "\n";
281 assert(0 && "Cannot resolve register class for type");
282 return 0;
283 }
284
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000285 if (isCCReg)
286 return res + 2; // corresponding condition code register
Vikram S. Adveaee67012002-07-08 23:23:12 +0000287 else
288 return res;
289}
290
Vikram S. Adveaee67012002-07-08 23:23:12 +0000291unsigned UltraSparcRegInfo::getRegClassIDOfRegType(int regType) const {
292 switch(regType) {
293 case IntRegType: return IntRegClassID;
294 case FPSingleRegType:
295 case FPDoubleRegType: return FloatRegClassID;
296 case IntCCRegType: return IntCCRegClassID;
297 case FloatCCRegType: return FloatCCRegClassID;
298 default:
299 assert(0 && "Invalid register type in getRegClassIDOfRegType");
300 return 0;
301 }
302}
303
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000304//---------------------------------------------------------------------------
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000305// Suggests a register for the ret address in the RET machine instruction.
306// We always suggest %i7 by convention.
307//---------------------------------------------------------------------------
Vikram S. Adveaee67012002-07-08 23:23:12 +0000308void UltraSparcRegInfo::suggestReg4RetAddr(MachineInstr *RetMI,
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000309 LiveRangeInfo& LRI) const {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000310
Vikram S. Adveaee67012002-07-08 23:23:12 +0000311 assert(target.getInstrInfo().isReturn(RetMI->getOpCode()));
Vikram S. Adve84982772001-10-22 13:41:12 +0000312
Vikram S. Adveaee67012002-07-08 23:23:12 +0000313 // return address is always mapped to i7 so set it immediately
314 RetMI->SetRegForOperand(0, getUnifiedRegNum(IntRegClassID,
Chris Lattner56e91662002-08-12 21:25:05 +0000315 SparcIntRegClass::i7));
Vikram S. Adve84982772001-10-22 13:41:12 +0000316
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000317 // Possible Optimization:
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000318 // Instead of setting the color, we can suggest one. In that case,
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000319 // we have to test later whether it received the suggested color.
320 // In that case, a LR has to be created at the start of method.
321 // It has to be done as follows (remove the setRegVal above):
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000322
Vikram S. Adveaee67012002-07-08 23:23:12 +0000323 // MachineOperand & MO = RetMI->getOperand(0);
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000324 // const Value *RetAddrVal = MO.getVRegValue();
325 // assert( RetAddrVal && "LR for ret address must be created at start");
326 // LiveRange * RetAddrLR = LRI.getLiveRangeForValue( RetAddrVal);
327 // RetAddrLR->setSuggestedColor(getUnifiedRegNum( IntRegClassID,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000328 // SparcIntRegOrdr::i7) );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000329}
330
331
332//---------------------------------------------------------------------------
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000333// Suggests a register for the ret address in the JMPL/CALL machine instr.
334// Sparc ABI dictates that %o7 be used for this purpose.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000335//---------------------------------------------------------------------------
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000336void
337UltraSparcRegInfo::suggestReg4CallAddr(MachineInstr * CallMI,
338 LiveRangeInfo& LRI) const
339{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000340 CallArgsDescriptor* argDesc = CallArgsDescriptor::get(CallMI);
341 const Value *RetAddrVal = argDesc->getReturnAddrReg();
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000342 assert(RetAddrVal && "INTERNAL ERROR: Return address value is required");
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000343
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000344 // A LR must already exist for the return address.
345 LiveRange *RetAddrLR = LRI.getLiveRangeForValue(RetAddrVal);
346 assert(RetAddrLR && "INTERNAL ERROR: No LR for return address of call!");
347
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000348 unsigned RegClassID = RetAddrLR->getRegClassID();
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000349 RetAddrLR->setColor(getUnifiedRegNum(IntRegClassID, SparcIntRegClass::o7));
350}
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000351
352
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000353
354//---------------------------------------------------------------------------
355// This method will suggest colors to incoming args to a method.
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000356// According to the Sparc ABI, the first 6 incoming args are in
357// %i0 - %i5 (if they are integer) OR in %f0 - %f31 (if they are float).
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000358// If the arg is passed on stack due to the lack of regs, NOTHING will be
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000359// done - it will be colored (or spilled) as a normal live range.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000360//---------------------------------------------------------------------------
Chris Lattnerf739fa82002-04-08 22:03:57 +0000361void UltraSparcRegInfo::suggestRegs4MethodArgs(const Function *Meth,
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000362 LiveRangeInfo& LRI) const
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000363{
Vikram S. Adve536b1922003-07-25 21:12:15 +0000364 // Check if this is a varArgs function. needed for choosing regs.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000365 bool isVarArgs = isVarArgsFunction(Meth->getType());
366
Vikram S. Adve536b1922003-07-25 21:12:15 +0000367 // Count the arguments, *ignoring* whether they are int or FP args.
368 // Use this common arg numbering to pick the right int or fp register.
369 unsigned argNo=0;
Chris Lattner7076ff22002-06-25 16:13:21 +0000370 for(Function::const_aiterator I = Meth->abegin(), E = Meth->aend();
371 I != E; ++I, ++argNo) {
Chris Lattner7076ff22002-06-25 16:13:21 +0000372 LiveRange *LR = LRI.getLiveRangeForValue(I);
373 assert(LR && "No live range found for method arg");
374
Vikram S. Adve536b1922003-07-25 21:12:15 +0000375 unsigned regType = getRegTypeForLR(LR);
376 unsigned regClassIDOfArgReg = BadRegClass; // for chosen reg (unused)
Chris Lattner7076ff22002-06-25 16:13:21 +0000377
378 int regNum = (regType == IntRegType)
Vikram S. Adve536b1922003-07-25 21:12:15 +0000379 ? regNumForIntArg(/*inCallee*/ true, isVarArgs, argNo, regClassIDOfArgReg)
380 : regNumForFPArg(regType, /*inCallee*/ true, isVarArgs, argNo,
381 regClassIDOfArgReg);
Chris Lattner7076ff22002-06-25 16:13:21 +0000382
Vikram S. Adve536b1922003-07-25 21:12:15 +0000383 if (regNum != getInvalidRegNum())
Chris Lattner7076ff22002-06-25 16:13:21 +0000384 LR->setSuggestedColor(regNum);
385 }
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000386}
387
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000388
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000389//---------------------------------------------------------------------------
390// This method is called after graph coloring to move incoming args to
391// the correct hardware registers if they did not receive the correct
392// (suggested) color through graph coloring.
393//---------------------------------------------------------------------------
Chris Lattnerf739fa82002-04-08 22:03:57 +0000394void UltraSparcRegInfo::colorMethodArgs(const Function *Meth,
Vikram S. Adve23535842003-07-29 19:53:21 +0000395 LiveRangeInfo &LRI,
396 std::vector<MachineInstr*>& InstrnsBefore,
397 std::vector<MachineInstr*>& InstrnsAfter) const {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000398
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000399 // check if this is a varArgs function. needed for choosing regs.
400 bool isVarArgs = isVarArgsFunction(Meth->getType());
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000401 MachineInstr *AdMI;
402
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000403 // for each argument
Chris Lattner7076ff22002-06-25 16:13:21 +0000404 // for each argument. count INT and FP arguments separately.
405 unsigned argNo=0, intArgNo=0, fpArgNo=0;
406 for(Function::const_aiterator I = Meth->abegin(), E = Meth->aend();
407 I != E; ++I, ++argNo) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000408 // get the LR of arg
Chris Lattner7076ff22002-06-25 16:13:21 +0000409 LiveRange *LR = LRI.getLiveRangeForValue(I);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000410 assert( LR && "No live range found for method arg");
411
Vikram S. Adve536b1922003-07-25 21:12:15 +0000412 unsigned regType = getRegTypeForLR(LR);
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000413 unsigned RegClassID = LR->getRegClassID();
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000414
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000415 // Find whether this argument is coming in a register (if not, on stack)
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000416 // Also find the correct register the argument must use (UniArgReg)
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000417 //
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000418 bool isArgInReg = false;
Vikram S. Advea83804a2003-05-31 07:32:01 +0000419 unsigned UniArgReg = getInvalidRegNum(); // reg that LR MUST be colored with
Chris Lattner24c1d5e2003-01-14 23:05:08 +0000420 unsigned regClassIDOfArgReg = BadRegClass; // reg class of chosen reg
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000421
422 int regNum = (regType == IntRegType)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000423 ? regNumForIntArg(/*inCallee*/ true, isVarArgs,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000424 argNo, regClassIDOfArgReg)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000425 : regNumForFPArg(regType, /*inCallee*/ true, isVarArgs,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000426 argNo, regClassIDOfArgReg);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000427
Vikram S. Advea83804a2003-05-31 07:32:01 +0000428 if(regNum != getInvalidRegNum()) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000429 isArgInReg = true;
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000430 UniArgReg = getUnifiedRegNum( regClassIDOfArgReg, regNum);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000431 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000432
Vikram S. Adve65280672003-07-10 19:42:11 +0000433 if( ! LR->isMarkedForSpill() ) { // if this arg received a register
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000434
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000435 unsigned UniLRReg = getUnifiedRegNum( RegClassID, LR->getColor() );
436
437 // if LR received the correct color, nothing to do
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000438 //
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000439 if( UniLRReg == UniArgReg )
440 continue;
441
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000442 // We are here because the LR did not receive the suggested
443 // but LR received another register.
444 // Now we have to copy the %i reg (or stack pos of arg)
445 // to the register the LR was colored with.
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000446
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000447 // if the arg is coming in UniArgReg register, it MUST go into
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000448 // the UniLRReg register
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000449 //
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000450 if( isArgInReg ) {
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000451 if( regClassIDOfArgReg != RegClassID ) {
Vikram S. Advee9327f02002-05-19 15:25:51 +0000452 assert(0 && "This could should work but it is not tested yet");
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000453
454 // It is a variable argument call: the float reg must go in a %o reg.
455 // We have to move an int reg to a float reg via memory.
456 //
457 assert(isVarArgs &&
458 RegClassID == FloatRegClassID &&
459 regClassIDOfArgReg == IntRegClassID &&
460 "This should only be an Int register for an FP argument");
461
Chris Lattnerd47aac92002-12-28 20:21:29 +0000462 int TmpOff = MachineFunction::get(Meth).getInfo()->pushTempValue(
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000463 getSpilledRegSize(regType));
Vikram S. Adve23535842003-07-29 19:53:21 +0000464 cpReg2MemMI(InstrnsBefore,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000465 UniArgReg, getFramePointer(), TmpOff, IntRegType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000466
Vikram S. Adve23535842003-07-29 19:53:21 +0000467 cpMem2RegMI(InstrnsBefore,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000468 getFramePointer(), TmpOff, UniLRReg, regType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000469 }
470 else {
Vikram S. Adve23535842003-07-29 19:53:21 +0000471 cpReg2RegMI(InstrnsBefore, UniArgReg, UniLRReg, regType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000472 }
473 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000474 else {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000475
Misha Brukman8b2bd4e2003-10-10 17:57:28 +0000476 // Now the arg is coming on stack. Since the LR received a register,
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000477 // we just have to load the arg on stack into that register
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000478 //
Chris Lattnerd47aac92002-12-28 20:21:29 +0000479 const TargetFrameInfo& frameInfo = target.getFrameInfo();
Vikram S. Adve7a1524f2001-11-08 04:56:41 +0000480 int offsetFromFP =
Misha Brukman7ae7f842002-10-28 00:28:31 +0000481 frameInfo.getIncomingArgOffset(MachineFunction::get(Meth),
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000482 argNo);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000483
484 // float arguments on stack are right justified so adjust the offset!
485 // int arguments are also right justified but they are always loaded as
486 // a full double-word so the offset does not need to be adjusted.
487 if (regType == FPSingleRegType) {
488 unsigned argSize = target.getTargetData().getTypeSize(LR->getType());
489 unsigned slotSize = frameInfo.getSizeOfEachArgOnStack();
490 assert(argSize <= slotSize && "Insufficient slot size!");
491 offsetFromFP += slotSize - argSize;
492 }
493
Vikram S. Adve23535842003-07-29 19:53:21 +0000494 cpMem2RegMI(InstrnsBefore,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000495 getFramePointer(), offsetFromFP, UniLRReg, regType);
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000496 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000497
498 } // if LR received a color
499
500 else {
501
502 // Now, the LR did not receive a color. But it has a stack offset for
503 // spilling.
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000504 // So, if the arg is coming in UniArgReg register, we can just move
505 // that on to the stack pos of LR
506
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000507 if( isArgInReg ) {
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000508
509 if( regClassIDOfArgReg != RegClassID ) {
510 assert(0 &&
511 "FP arguments to a varargs function should be explicitly "
512 "copied to/from int registers by instruction selection!");
513
514 // It must be a float arg for a variable argument call, which
515 // must come in a %o reg. Move the int reg to the stack.
516 //
517 assert(isVarArgs && regClassIDOfArgReg == IntRegClassID &&
518 "This should only be an Int register for an FP argument");
519
Vikram S. Adve23535842003-07-29 19:53:21 +0000520 cpReg2MemMI(InstrnsBefore, UniArgReg,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000521 getFramePointer(), LR->getSpillOffFromFP(), IntRegType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000522 }
523 else {
Vikram S. Adve23535842003-07-29 19:53:21 +0000524 cpReg2MemMI(InstrnsBefore, UniArgReg,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000525 getFramePointer(), LR->getSpillOffFromFP(), regType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000526 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000527 }
528
529 else {
530
531 // Now the arg is coming on stack. Since the LR did NOT
Misha Brukman8b2bd4e2003-10-10 17:57:28 +0000532 // received a register as well, it is allocated a stack position. We
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000533 // can simply change the stack position of the LR. We can do this,
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000534 // since this method is called before any other method that makes
535 // uses of the stack pos of the LR (e.g., updateMachineInstr)
Vikram S. Advea83804a2003-05-31 07:32:01 +0000536 //
Chris Lattnerd47aac92002-12-28 20:21:29 +0000537 const TargetFrameInfo& frameInfo = target.getFrameInfo();
Vikram S. Adve7a1524f2001-11-08 04:56:41 +0000538 int offsetFromFP =
Misha Brukman7ae7f842002-10-28 00:28:31 +0000539 frameInfo.getIncomingArgOffset(MachineFunction::get(Meth),
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000540 argNo);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000541
542 // FP arguments on stack are right justified so adjust offset!
543 // int arguments are also right justified but they are always loaded as
544 // a full double-word so the offset does not need to be adjusted.
545 if (regType == FPSingleRegType) {
546 unsigned argSize = target.getTargetData().getTypeSize(LR->getType());
547 unsigned slotSize = frameInfo.getSizeOfEachArgOnStack();
548 assert(argSize <= slotSize && "Insufficient slot size!");
549 offsetFromFP += slotSize - argSize;
550 }
Vikram S. Adve7a1524f2001-11-08 04:56:41 +0000551
552 LR->modifySpillOffFromFP( offsetFromFP );
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000553 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000554
555 }
556
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000557 } // for each incoming argument
558
559}
560
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000561
562
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000563//---------------------------------------------------------------------------
564// This method is called before graph coloring to suggest colors to the
565// outgoing call args and the return value of the call.
566//---------------------------------------------------------------------------
Vikram S. Adveaee67012002-07-08 23:23:12 +0000567void UltraSparcRegInfo::suggestRegs4CallArgs(MachineInstr *CallMI,
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000568 LiveRangeInfo& LRI) const {
Vikram S. Adve879eac92002-10-13 00:05:30 +0000569 assert ( (target.getInstrInfo()).isCall(CallMI->getOpCode()) );
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000570
Vikram S. Advee9327f02002-05-19 15:25:51 +0000571 CallArgsDescriptor* argDesc = CallArgsDescriptor::get(CallMI);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000572
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000573 suggestReg4CallAddr(CallMI, LRI);
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000574
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000575 // First color the return value of the call instruction, if any.
576 // The return value will be in %o0 if the value is an integer type,
577 // or in %f0 if the value is a float type.
578 //
579 if (const Value *RetVal = argDesc->getReturnValue()) {
580 LiveRange *RetValLR = LRI.getLiveRangeForValue(RetVal);
581 assert(RetValLR && "No LR for return Value of call!");
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000582
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000583 unsigned RegClassID = RetValLR->getRegClassID();
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000584
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000585 // now suggest a register depending on the register class of ret arg
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000586 if( RegClassID == IntRegClassID )
Chris Lattner56e91662002-08-12 21:25:05 +0000587 RetValLR->setSuggestedColor(SparcIntRegClass::o0);
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000588 else if (RegClassID == FloatRegClassID )
Chris Lattner56e91662002-08-12 21:25:05 +0000589 RetValLR->setSuggestedColor(SparcFloatRegClass::f0 );
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000590 else assert( 0 && "Unknown reg class for return value of call\n");
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000591 }
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000592
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000593 // Now suggest colors for arguments (operands) of the call instruction.
594 // Colors are suggested only if the arg number is smaller than the
595 // the number of registers allocated for argument passing.
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000596 // Now, go thru call args - implicit operands of the call MI
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000597
Vikram S. Advee9327f02002-05-19 15:25:51 +0000598 unsigned NumOfCallArgs = argDesc->getNumArgs();
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000599
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000600 for(unsigned argNo=0, i=0, intArgNo=0, fpArgNo=0;
601 i < NumOfCallArgs; ++i, ++argNo) {
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000602
Vikram S. Advee9327f02002-05-19 15:25:51 +0000603 const Value *CallArg = argDesc->getArgInfo(i).getArgVal();
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000604
605 // get the LR of call operand (parameter)
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000606 LiveRange *const LR = LRI.getLiveRangeForValue(CallArg);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000607 if (!LR)
608 continue; // no live ranges for constants and labels
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000609
Vikram S. Adve536b1922003-07-25 21:12:15 +0000610 unsigned regType = getRegTypeForLR(LR);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000611 unsigned regClassIDOfArgReg = BadRegClass; // chosen reg class (unused)
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000612
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000613 // Choose a register for this arg depending on whether it is
Vikram S. Advee9327f02002-05-19 15:25:51 +0000614 // an INT or FP value. Here we ignore whether or not it is a
615 // varargs calls, because FP arguments will be explicitly copied
616 // to an integer Value and handled under (argCopy != NULL) below.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000617 int regNum = (regType == IntRegType)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000618 ? regNumForIntArg(/*inCallee*/ false, /*isVarArgs*/ false,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000619 argNo, regClassIDOfArgReg)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000620 : regNumForFPArg(regType, /*inCallee*/ false, /*isVarArgs*/ false,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000621 argNo, regClassIDOfArgReg);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000622
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000623 // If a register could be allocated, use it.
624 // If not, do NOTHING as this will be colored as a normal value.
Vikram S. Advea83804a2003-05-31 07:32:01 +0000625 if(regNum != getInvalidRegNum())
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000626 LR->setSuggestedColor(regNum);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000627 } // for all call arguments
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000628}
629
630
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000631//---------------------------------------------------------------------------
Anand Shuklae6c3ee62003-06-01 02:48:23 +0000632// this method is called for an LLVM return instruction to identify which
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000633// values will be returned from this method and to suggest colors.
634//---------------------------------------------------------------------------
Vikram S. Adveaee67012002-07-08 23:23:12 +0000635void UltraSparcRegInfo::suggestReg4RetValue(MachineInstr *RetMI,
Vikram S. Adve23535842003-07-29 19:53:21 +0000636 LiveRangeInfo& LRI) const {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000637
Vikram S. Adve879eac92002-10-13 00:05:30 +0000638 assert( (target.getInstrInfo()).isReturn( RetMI->getOpCode() ) );
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000639
Vikram S. Adveaee67012002-07-08 23:23:12 +0000640 suggestReg4RetAddr(RetMI, LRI);
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000641
Vikram S. Advea83804a2003-05-31 07:32:01 +0000642 // To find the return value (if any), we can get the LLVM return instr.
643 // from the return address register, which is the first operand
644 Value* tmpI = RetMI->getOperand(0).getVRegValue();
645 ReturnInst* retI=cast<ReturnInst>(cast<TmpInstruction>(tmpI)->getOperand(0));
646 if (const Value *RetVal = retI->getReturnValue())
647 if (LiveRange *const LR = LRI.getLiveRangeForValue(RetVal))
648 LR->setSuggestedColor(LR->getRegClassID() == IntRegClassID
649 ? (unsigned) SparcIntRegClass::i0
650 : (unsigned) SparcFloatRegClass::f0);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000651}
652
Vikram S. Adveaee67012002-07-08 23:23:12 +0000653//---------------------------------------------------------------------------
654// Check if a specified register type needs a scratch register to be
655// copied to/from memory. If it does, the reg. type that must be used
656// for scratch registers is returned in scratchRegType.
657//
658// Only the int CC register needs such a scratch register.
659// The FP CC registers can (and must) be copied directly to/from memory.
660//---------------------------------------------------------------------------
661
662bool
663UltraSparcRegInfo::regTypeNeedsScratchReg(int RegType,
664 int& scratchRegType) const
665{
666 if (RegType == IntCCRegType)
667 {
668 scratchRegType = IntRegType;
669 return true;
670 }
671 return false;
672}
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000673
674//---------------------------------------------------------------------------
675// Copy from a register to register. Register number must be the unified
Vikram S. Adveaee67012002-07-08 23:23:12 +0000676// register number.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000677//---------------------------------------------------------------------------
678
Vikram S. Advee9327f02002-05-19 15:25:51 +0000679void
Misha Brukman352f7ac2003-05-21 17:59:06 +0000680UltraSparcRegInfo::cpReg2RegMI(std::vector<MachineInstr*>& mvec,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000681 unsigned SrcReg,
Vikram S. Advee9327f02002-05-19 15:25:51 +0000682 unsigned DestReg,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000683 int RegType) const {
Misha Brukman2969ec52003-06-06 09:52:23 +0000684 assert( ((int)SrcReg != getInvalidRegNum()) &&
685 ((int)DestReg != getInvalidRegNum()) &&
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000686 "Invalid Register");
687
688 MachineInstr * MI = NULL;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000689
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000690 switch( RegType ) {
691
Ruchira Sasanka5f629312001-10-18 22:38:52 +0000692 case IntCCRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000693 if (getRegType(DestReg) == IntRegType) {
694 // copy intCC reg to int reg
Vikram S. Adve65280672003-07-10 19:42:11 +0000695 MI = (BuildMI(V9::RDCCR, 2)
696 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
697 SparcIntCCRegClass::ccr))
698 .addMReg(DestReg,MOTy::Def));
Misha Brukman56f4fa12003-05-20 20:32:24 +0000699 } else {
700 // copy int reg to intCC reg
Misha Brukman56f4fa12003-05-20 20:32:24 +0000701 assert(getRegType(SrcReg) == IntRegType
702 && "Can only copy CC reg to/from integer reg");
Vikram S. Adve65280672003-07-10 19:42:11 +0000703 MI = (BuildMI(V9::WRCCRr, 3)
704 .addMReg(SrcReg)
705 .addMReg(SparcIntRegClass::g0)
706 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
707 SparcIntCCRegClass::ccr), MOTy::Def));
Misha Brukman56f4fa12003-05-20 20:32:24 +0000708 }
Vikram S. Adveaee67012002-07-08 23:23:12 +0000709 break;
710
Ruchira Sasanka5f629312001-10-18 22:38:52 +0000711 case FloatCCRegType:
Vikram S. Adveaee67012002-07-08 23:23:12 +0000712 assert(0 && "Cannot copy FPCC register to any other register");
Vikram S. Advee9327f02002-05-19 15:25:51 +0000713 break;
714
715 case IntRegType:
Misha Brukmanaf96d392003-05-27 22:40:34 +0000716 MI = BuildMI(V9::ADDr, 3).addMReg(SrcReg).addMReg(getZeroRegNum())
Misha Brukman56f4fa12003-05-20 20:32:24 +0000717 .addMReg(DestReg, MOTy::Def);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000718 break;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000719
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000720 case FPSingleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000721 MI = BuildMI(V9::FMOVS, 2).addMReg(SrcReg).addMReg(DestReg, MOTy::Def);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000722 break;
723
724 case FPDoubleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000725 MI = BuildMI(V9::FMOVD, 2).addMReg(SrcReg).addMReg(DestReg, MOTy::Def);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000726 break;
727
728 default:
Vikram S. Advee9327f02002-05-19 15:25:51 +0000729 assert(0 && "Unknown RegType");
Vikram S. Adveaee67012002-07-08 23:23:12 +0000730 break;
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000731 }
Vikram S. Advee9327f02002-05-19 15:25:51 +0000732
733 if (MI)
734 mvec.push_back(MI);
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000735}
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000736
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000737//---------------------------------------------------------------------------
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000738// Copy from a register to memory (i.e., Store). Register number must
739// be the unified register number
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000740//---------------------------------------------------------------------------
741
742
Vikram S. Advee9327f02002-05-19 15:25:51 +0000743void
Misha Brukman352f7ac2003-05-21 17:59:06 +0000744UltraSparcRegInfo::cpReg2MemMI(std::vector<MachineInstr*>& mvec,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000745 unsigned SrcReg,
Vikram S. Adve23535842003-07-29 19:53:21 +0000746 unsigned PtrReg,
Vikram S. Advee9327f02002-05-19 15:25:51 +0000747 int Offset, int RegType,
Chris Lattner3091e112002-07-25 06:08:32 +0000748 int scratchReg) const {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000749 MachineInstr * MI = NULL;
Vikram S. Adve23535842003-07-29 19:53:21 +0000750 int OffReg = -1;
751
752 // If the Offset will not fit in the signed-immediate field, find an
753 // unused register to hold the offset value. This takes advantage of
754 // the fact that all the opcodes used below have the same size immed. field.
755 // Use the register allocator, PRA, to find an unused reg. at this MI.
756 //
757 if (RegType != IntCCRegType) // does not use offset below
758 if (! target.getInstrInfo().constantFitsInImmedField(V9::LDXi, Offset)) {
759#ifdef CAN_FIND_FREE_REGISTER_TRANSPARENTLY
760 RegClass* RC = PRA.getRegClassByID(this->getRegClassIDOfRegType(RegType));
761 OffReg = PRA.getUnusedUniRegAtMI(RC, RegType, MInst, LVSetBef);
762#else
Brian Gaekef8cb2412003-11-08 18:12:24 +0000763 // Default to using register g4 for holding large offsets
Vikram S. Adve23535842003-07-29 19:53:21 +0000764 OffReg = getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
765 SparcIntRegClass::g4);
766#endif
767 assert(OffReg >= 0 && "FIXME: cpReg2MemMI cannot find an unused reg.");
768 mvec.push_back(BuildMI(V9::SETSW, 2).addZImm(Offset).addReg(OffReg));
769 }
770
Chris Lattner1ebaa902003-01-15 17:47:49 +0000771 switch (RegType) {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000772 case IntRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000773 if (target.getInstrInfo().constantFitsInImmedField(V9::STXi, Offset))
774 MI = BuildMI(V9::STXi,3).addMReg(SrcReg).addMReg(PtrReg).addSImm(Offset);
775 else
776 MI = BuildMI(V9::STXr,3).addMReg(SrcReg).addMReg(PtrReg).addMReg(OffReg);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000777 break;
778
779 case FPSingleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000780 if (target.getInstrInfo().constantFitsInImmedField(V9::STFi, Offset))
781 MI = BuildMI(V9::STFi, 3).addMReg(SrcReg).addMReg(PtrReg).addSImm(Offset);
782 else
783 MI = BuildMI(V9::STFr, 3).addMReg(SrcReg).addMReg(PtrReg).addMReg(OffReg);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000784 break;
785
786 case FPDoubleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000787 if (target.getInstrInfo().constantFitsInImmedField(V9::STDFi, Offset))
788 MI = BuildMI(V9::STDFi,3).addMReg(SrcReg).addMReg(PtrReg).addSImm(Offset);
789 else
790 MI = BuildMI(V9::STDFr,3).addMReg(SrcReg).addMReg(PtrReg).addSImm(OffReg);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000791 break;
792
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000793 case IntCCRegType:
Vikram S. Adveaee67012002-07-08 23:23:12 +0000794 assert(scratchReg >= 0 && "Need scratch reg to store %ccr to memory");
Chris Lattner56e91662002-08-12 21:25:05 +0000795 assert(getRegType(scratchReg) ==IntRegType && "Invalid scratch reg");
Vikram S. Adve65280672003-07-10 19:42:11 +0000796 MI = (BuildMI(V9::RDCCR, 2)
797 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
798 SparcIntCCRegClass::ccr))
Vikram S. Adved09c4c32003-07-06 20:13:59 +0000799 .addMReg(scratchReg, MOTy::Def));
Vikram S. Adveaee67012002-07-08 23:23:12 +0000800 mvec.push_back(MI);
801
Vikram S. Adve23535842003-07-29 19:53:21 +0000802 cpReg2MemMI(mvec, scratchReg, PtrReg, Offset, IntRegType);
Chris Lattner1ebaa902003-01-15 17:47:49 +0000803 return;
Vikram S. Adve23535842003-07-29 19:53:21 +0000804
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000805 case FloatCCRegType: {
Vikram S. Adve23535842003-07-29 19:53:21 +0000806 unsigned fsrReg = getUnifiedRegNum(UltraSparcRegInfo::SpecialRegClassID,
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000807 SparcSpecialRegClass::fsr);
Vikram S. Adve23535842003-07-29 19:53:21 +0000808 if (target.getInstrInfo().constantFitsInImmedField(V9::STXFSRi, Offset))
809 MI=BuildMI(V9::STXFSRi,3).addMReg(fsrReg).addMReg(PtrReg).addSImm(Offset);
810 else
811 MI=BuildMI(V9::STXFSRr,3).addMReg(fsrReg).addMReg(PtrReg).addMReg(OffReg);
Vikram S. Adveaee67012002-07-08 23:23:12 +0000812 break;
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000813 }
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000814 default:
Vikram S. Advee9327f02002-05-19 15:25:51 +0000815 assert(0 && "Unknown RegType in cpReg2MemMI");
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000816 }
Chris Lattner1ebaa902003-01-15 17:47:49 +0000817 mvec.push_back(MI);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000818}
819
820
821//---------------------------------------------------------------------------
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000822// Copy from memory to a reg (i.e., Load) Register number must be the unified
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000823// register number
824//---------------------------------------------------------------------------
825
826
Vikram S. Advee9327f02002-05-19 15:25:51 +0000827void
Misha Brukman352f7ac2003-05-21 17:59:06 +0000828UltraSparcRegInfo::cpMem2RegMI(std::vector<MachineInstr*>& mvec,
Vikram S. Adve23535842003-07-29 19:53:21 +0000829 unsigned PtrReg,
Vikram S. Advee9327f02002-05-19 15:25:51 +0000830 int Offset,
831 unsigned DestReg,
832 int RegType,
Chris Lattner3091e112002-07-25 06:08:32 +0000833 int scratchReg) const {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000834 MachineInstr * MI = NULL;
Vikram S. Adve23535842003-07-29 19:53:21 +0000835 int OffReg = -1;
836
837 // If the Offset will not fit in the signed-immediate field, find an
838 // unused register to hold the offset value. This takes advantage of
839 // the fact that all the opcodes used below have the same size immed. field.
840 // Use the register allocator, PRA, to find an unused reg. at this MI.
841 //
842 if (RegType != IntCCRegType) // does not use offset below
843 if (! target.getInstrInfo().constantFitsInImmedField(V9::LDXi, Offset)) {
844#ifdef CAN_FIND_FREE_REGISTER_TRANSPARENTLY
845 RegClass* RC = PRA.getRegClassByID(this->getRegClassIDOfRegType(RegType));
846 OffReg = PRA.getUnusedUniRegAtMI(RC, RegType, MInst, LVSetBef);
847#else
Brian Gaekef8cb2412003-11-08 18:12:24 +0000848 // Default to using register g4 for holding large offsets
Vikram S. Adve23535842003-07-29 19:53:21 +0000849 OffReg = getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
850 SparcIntRegClass::g4);
851#endif
852 assert(OffReg >= 0 && "FIXME: cpReg2MemMI cannot find an unused reg.");
853 mvec.push_back(BuildMI(V9::SETSW, 2).addZImm(Offset).addReg(OffReg));
854 }
855
Chris Lattner5216cc52002-02-04 05:59:25 +0000856 switch (RegType) {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000857 case IntRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000858 if (target.getInstrInfo().constantFitsInImmedField(V9::LDXi, Offset))
859 MI = BuildMI(V9::LDXi, 3).addMReg(PtrReg).addSImm(Offset).addMReg(DestReg,
860 MOTy::Def);
861 else
862 MI = BuildMI(V9::LDXr, 3).addMReg(PtrReg).addMReg(OffReg).addMReg(DestReg,
863 MOTy::Def);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000864 break;
865
866 case FPSingleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000867 if (target.getInstrInfo().constantFitsInImmedField(V9::LDFi, Offset))
868 MI = BuildMI(V9::LDFi, 3).addMReg(PtrReg).addSImm(Offset).addMReg(DestReg,
869 MOTy::Def);
870 else
871 MI = BuildMI(V9::LDFr, 3).addMReg(PtrReg).addMReg(OffReg).addMReg(DestReg,
872 MOTy::Def);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000873 break;
874
875 case FPDoubleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000876 if (target.getInstrInfo().constantFitsInImmedField(V9::LDDFi, Offset))
877 MI= BuildMI(V9::LDDFi, 3).addMReg(PtrReg).addSImm(Offset).addMReg(DestReg,
878 MOTy::Def);
879 else
880 MI= BuildMI(V9::LDDFr, 3).addMReg(PtrReg).addMReg(OffReg).addMReg(DestReg,
881 MOTy::Def);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000882 break;
883
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000884 case IntCCRegType:
Vikram S. Adveaee67012002-07-08 23:23:12 +0000885 assert(scratchReg >= 0 && "Need scratch reg to load %ccr from memory");
Chris Lattner56e91662002-08-12 21:25:05 +0000886 assert(getRegType(scratchReg) ==IntRegType && "Invalid scratch reg");
Vikram S. Adve23535842003-07-29 19:53:21 +0000887 cpMem2RegMI(mvec, PtrReg, Offset, scratchReg, IntRegType);
Vikram S. Adve65280672003-07-10 19:42:11 +0000888 MI = (BuildMI(V9::WRCCRr, 3)
889 .addMReg(scratchReg)
890 .addMReg(SparcIntRegClass::g0)
891 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
892 SparcIntCCRegClass::ccr), MOTy::Def));
Vikram S. Adveaee67012002-07-08 23:23:12 +0000893 break;
894
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000895 case FloatCCRegType: {
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000896 unsigned fsrRegNum = getUnifiedRegNum(UltraSparcRegInfo::SpecialRegClassID,
897 SparcSpecialRegClass::fsr);
Vikram S. Adve23535842003-07-29 19:53:21 +0000898 if (target.getInstrInfo().constantFitsInImmedField(V9::LDXFSRi, Offset))
899 MI = BuildMI(V9::LDXFSRi, 3).addMReg(PtrReg).addSImm(Offset)
900 .addMReg(fsrRegNum, MOTy::UseAndDef);
901 else
902 MI = BuildMI(V9::LDXFSRr, 3).addMReg(PtrReg).addMReg(OffReg)
903 .addMReg(fsrRegNum, MOTy::UseAndDef);
Vikram S. Adveaee67012002-07-08 23:23:12 +0000904 break;
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000905 }
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000906 default:
Ruchira Sasanka0c085982001-11-10 21:20:43 +0000907 assert(0 && "Unknown RegType in cpMem2RegMI");
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000908 }
Chris Lattner1ebaa902003-01-15 17:47:49 +0000909 mvec.push_back(MI);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000910}
911
912
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000913//---------------------------------------------------------------------------
914// Generate a copy instruction to copy a value to another. Temporarily
915// used by PhiElimination code.
916//---------------------------------------------------------------------------
917
918
Vikram S. Advee9327f02002-05-19 15:25:51 +0000919void
Chris Lattner1ebaa902003-01-15 17:47:49 +0000920UltraSparcRegInfo::cpValue2Value(Value *Src, Value *Dest,
Misha Brukman352f7ac2003-05-21 17:59:06 +0000921 std::vector<MachineInstr*>& mvec) const {
Vikram S. Adve536b1922003-07-25 21:12:15 +0000922 int RegType = getRegTypeForDataType(Src->getType());
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000923 MachineInstr * MI = NULL;
924
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000925 switch( RegType ) {
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000926 case IntRegType:
Misha Brukmanaf96d392003-05-27 22:40:34 +0000927 MI = BuildMI(V9::ADDr, 3).addReg(Src).addMReg(getZeroRegNum())
Misha Brukman56f4fa12003-05-20 20:32:24 +0000928 .addRegDef(Dest);
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000929 break;
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000930 case FPSingleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000931 MI = BuildMI(V9::FMOVS, 2).addReg(Src).addRegDef(Dest);
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000932 break;
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000933 case FPDoubleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000934 MI = BuildMI(V9::FMOVD, 2).addReg(Src).addRegDef(Dest);
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000935 break;
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000936 default:
937 assert(0 && "Unknow RegType in CpValu2Value");
938 }
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000939
Chris Lattner9bebf832002-10-28 20:10:56 +0000940 mvec.push_back(MI);
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000941}
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000942
943
944
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000945//---------------------------------------------------------------------------
946// Print the register assigned to a LR
947//---------------------------------------------------------------------------
948
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000949void UltraSparcRegInfo::printReg(const LiveRange *LR) const {
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000950 unsigned RegClassID = LR->getRegClassID();
Chris Lattner69382172003-09-01 19:58:02 +0000951 std::cerr << " Node ";
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000952
Chris Lattner5216cc52002-02-04 05:59:25 +0000953 if (!LR->hasColor()) {
Misha Brukman352f7ac2003-05-21 17:59:06 +0000954 std::cerr << " - could not find a color\n";
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000955 return;
956 }
957
958 // if a color is found
959
Misha Brukman352f7ac2003-05-21 17:59:06 +0000960 std::cerr << " colored with color "<< LR->getColor();
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000961
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000962 unsigned uRegName = getUnifiedRegNum(RegClassID, LR->getColor());
963
964 std::cerr << "[";
965 std::cerr<< getUnifiedRegName(uRegName);
966 if (RegClassID == FloatRegClassID && LR->getType() == Type::DoubleTy)
967 std::cerr << "+" << getUnifiedRegName(uRegName+1);
968 std::cerr << "]\n";
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000969}