blob: a46af221687a95bc880c48d7fc3f6f70faec1f0b [file] [log] [blame]
Chris Lattner029af0b2002-02-03 07:52:04 +00001//===-- SparcRegInfo.cpp - Sparc Target Register Information --------------===//
2//
3// This file contains implementation of Sparc specific helper methods
4// used for register allocation.
5//
6//===----------------------------------------------------------------------===//
7
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00008#include "SparcInternals.h"
Chris Lattner5216cc52002-02-04 05:59:25 +00009#include "SparcRegClassInfo.h"
Misha Brukman7ae7f842002-10-28 00:28:31 +000010#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerd47aac92002-12-28 20:21:29 +000011#include "llvm/CodeGen/MachineFunctionInfo.h"
Vikram S. Advee9327f02002-05-19 15:25:51 +000012#include "llvm/CodeGen/InstrSelection.h"
Chris Lattner1ebaa902003-01-15 17:47:49 +000013#include "llvm/CodeGen/MachineInstrBuilder.h"
Anand Shuklae6c3ee62003-06-01 02:48:23 +000014#include "llvm/CodeGen/MachineCodeForInstruction.h"
Vikram S. Advee9327f02002-05-19 15:25:51 +000015#include "llvm/CodeGen/MachineInstrAnnot.h"
Chris Lattnere80612a2003-09-01 20:12:17 +000016#include "../../CodeGen/RegAlloc/LiveRangeInfo.h" // FIXME!!
Chris Lattnereefb5652003-09-01 20:17:13 +000017#include "../../CodeGen/RegAlloc/LiveRange.h" // FIXME!!
Chris Lattner5216cc52002-02-04 05:59:25 +000018#include "llvm/iTerminators.h"
19#include "llvm/iOther.h"
Chris Lattner06be1802002-04-09 19:08:28 +000020#include "llvm/Function.h"
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +000021#include "llvm/DerivedTypes.h"
Chris Lattnerb0ddffa2001-09-14 03:47:57 +000022
Chris Lattner24c1d5e2003-01-14 23:05:08 +000023enum {
24 BadRegClass = ~0
25};
26
Chris Lattner5216cc52002-02-04 05:59:25 +000027UltraSparcRegInfo::UltraSparcRegInfo(const UltraSparc &tgt)
Vikram S. Advea83804a2003-05-31 07:32:01 +000028 : TargetRegInfo(tgt), NumOfIntArgRegs(6), NumOfFloatArgRegs(32)
29{
Chris Lattner5216cc52002-02-04 05:59:25 +000030 MachineRegClassArr.push_back(new SparcIntRegClass(IntRegClassID));
31 MachineRegClassArr.push_back(new SparcFloatRegClass(FloatRegClassID));
32 MachineRegClassArr.push_back(new SparcIntCCRegClass(IntCCRegClassID));
33 MachineRegClassArr.push_back(new SparcFloatCCRegClass(FloatCCRegClassID));
Vikram S. Adve8adb9942003-05-27 00:02:22 +000034 MachineRegClassArr.push_back(new SparcSpecialRegClass(SpecialRegClassID));
Vikram S. Adveaee67012002-07-08 23:23:12 +000035
Chris Lattner56e91662002-08-12 21:25:05 +000036 assert(SparcFloatRegClass::StartOfNonVolatileRegs == 32 &&
Chris Lattner5216cc52002-02-04 05:59:25 +000037 "32 Float regs are used for float arg passing");
38}
39
40
Vikram S. Advedb1435f2002-03-18 03:12:16 +000041// getZeroRegNum - returns the register that contains always zero.
42// this is the unified register number
Chris Lattner5216cc52002-02-04 05:59:25 +000043//
Vikram S. Advedb1435f2002-03-18 03:12:16 +000044int UltraSparcRegInfo::getZeroRegNum() const {
Chris Lattner56e91662002-08-12 21:25:05 +000045 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
46 SparcIntRegClass::g0);
Vikram S. Advedb1435f2002-03-18 03:12:16 +000047}
Chris Lattner5216cc52002-02-04 05:59:25 +000048
49// getCallAddressReg - returns the reg used for pushing the address when a
50// method is called. This can be used for other purposes between calls
51//
52unsigned UltraSparcRegInfo::getCallAddressReg() const {
Chris Lattner56e91662002-08-12 21:25:05 +000053 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
54 SparcIntRegClass::o7);
Chris Lattner5216cc52002-02-04 05:59:25 +000055}
56
57// Returns the register containing the return address.
58// It should be made sure that this register contains the return
59// value when a return instruction is reached.
60//
61unsigned UltraSparcRegInfo::getReturnAddressReg() const {
Chris Lattner56e91662002-08-12 21:25:05 +000062 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
63 SparcIntRegClass::i7);
64}
65
66// Register get name implementations...
67
68// Int register names in same order as enum in class SparcIntRegClass
69static const char * const IntRegNames[] = {
70 "o0", "o1", "o2", "o3", "o4", "o5", "o7",
71 "l0", "l1", "l2", "l3", "l4", "l5", "l6", "l7",
72 "i0", "i1", "i2", "i3", "i4", "i5",
73 "i6", "i7",
74 "g0", "g1", "g2", "g3", "g4", "g5", "g6", "g7",
75 "o6"
76};
77
Vikram S. Adve8adb9942003-05-27 00:02:22 +000078const char * const SparcIntRegClass::getRegName(unsigned reg) const {
Chris Lattner56e91662002-08-12 21:25:05 +000079 assert(reg < NumOfAllRegs);
80 return IntRegNames[reg];
81}
82
83static const char * const FloatRegNames[] = {
84 "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", "f9",
85 "f10", "f11", "f12", "f13", "f14", "f15", "f16", "f17", "f18", "f19",
86 "f20", "f21", "f22", "f23", "f24", "f25", "f26", "f27", "f28", "f29",
87 "f30", "f31", "f32", "f33", "f34", "f35", "f36", "f37", "f38", "f39",
88 "f40", "f41", "f42", "f43", "f44", "f45", "f46", "f47", "f48", "f49",
89 "f50", "f51", "f52", "f53", "f54", "f55", "f56", "f57", "f58", "f59",
90 "f60", "f61", "f62", "f63"
91};
92
Vikram S. Adve8adb9942003-05-27 00:02:22 +000093const char * const SparcFloatRegClass::getRegName(unsigned reg) const {
Chris Lattner56e91662002-08-12 21:25:05 +000094 assert (reg < NumOfAllRegs);
95 return FloatRegNames[reg];
96}
97
98
99static const char * const IntCCRegNames[] = {
Vikram S. Adved09c4c32003-07-06 20:13:59 +0000100 "xcc", "icc", "ccr"
Chris Lattner56e91662002-08-12 21:25:05 +0000101};
102
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000103const char * const SparcIntCCRegClass::getRegName(unsigned reg) const {
Vikram S. Adved09c4c32003-07-06 20:13:59 +0000104 assert(reg < 3);
Chris Lattner56e91662002-08-12 21:25:05 +0000105 return IntCCRegNames[reg];
106}
107
108static const char * const FloatCCRegNames[] = {
109 "fcc0", "fcc1", "fcc2", "fcc3"
110};
111
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000112const char * const SparcFloatCCRegClass::getRegName(unsigned reg) const {
113 assert (reg < 5);
Chris Lattner56e91662002-08-12 21:25:05 +0000114 return FloatCCRegNames[reg];
Chris Lattner5216cc52002-02-04 05:59:25 +0000115}
116
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000117static const char * const SpecialRegNames[] = {
118 "fsr"
119};
120
121const char * const SparcSpecialRegClass::getRegName(unsigned reg) const {
122 assert (reg < 1);
123 return SpecialRegNames[reg];
Chris Lattner5216cc52002-02-04 05:59:25 +0000124}
125
Vikram S. Advedb1435f2002-03-18 03:12:16 +0000126// Get unified reg number for frame pointer
Chris Lattner5216cc52002-02-04 05:59:25 +0000127unsigned UltraSparcRegInfo::getFramePointer() const {
Chris Lattner56e91662002-08-12 21:25:05 +0000128 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
129 SparcIntRegClass::i6);
Chris Lattner5216cc52002-02-04 05:59:25 +0000130}
131
Vikram S. Advedb1435f2002-03-18 03:12:16 +0000132// Get unified reg number for stack pointer
Chris Lattner5216cc52002-02-04 05:59:25 +0000133unsigned UltraSparcRegInfo::getStackPointer() const {
Chris Lattner56e91662002-08-12 21:25:05 +0000134 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
135 SparcIntRegClass::o6);
Chris Lattner5216cc52002-02-04 05:59:25 +0000136}
137
138
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000139//---------------------------------------------------------------------------
140// Finds whether a call is an indirect call
141//---------------------------------------------------------------------------
142
143inline bool
144isVarArgsFunction(const Type *funcType) {
145 return cast<FunctionType>(cast<PointerType>(funcType)
146 ->getElementType())->isVarArg();
147}
148
149inline bool
150isVarArgsCall(const MachineInstr *CallMI) {
151 Value* callee = CallMI->getOperand(0).getVRegValue();
152 // const Type* funcType = isa<Function>(callee)? callee->getType()
153 // : cast<PointerType>(callee->getType())->getElementType();
154 const Type* funcType = callee->getType();
155 return isVarArgsFunction(funcType);
156}
157
158
Vikram S. Advea83804a2003-05-31 07:32:01 +0000159// Get the register number for the specified argument #argNo,
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000160//
161// Return value:
Vikram S. Advea83804a2003-05-31 07:32:01 +0000162// getInvalidRegNum(), if there is no int register available for the arg.
163// regNum, otherwise (this is NOT the unified reg. num).
164// regClassId is set to the register class ID.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000165//
Vikram S. Advea83804a2003-05-31 07:32:01 +0000166int
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000167UltraSparcRegInfo::regNumForIntArg(bool inCallee, bool isVarArgsCall,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000168 unsigned argNo, unsigned& regClassId) const
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000169{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000170 regClassId = IntRegClassID;
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000171 if (argNo >= NumOfIntArgRegs)
Vikram S. Advea83804a2003-05-31 07:32:01 +0000172 return getInvalidRegNum();
Vikram S. Advee9327f02002-05-19 15:25:51 +0000173 else
Chris Lattner56e91662002-08-12 21:25:05 +0000174 return argNo + (inCallee? SparcIntRegClass::i0 : SparcIntRegClass::o0);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000175}
176
Vikram S. Advea83804a2003-05-31 07:32:01 +0000177// Get the register number for the specified FP argument #argNo,
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000178// Use INT regs for FP args if this is a varargs call.
179//
180// Return value:
Vikram S. Advea83804a2003-05-31 07:32:01 +0000181// getInvalidRegNum(), if there is no int register available for the arg.
182// regNum, otherwise (this is NOT the unified reg. num).
183// regClassId is set to the register class ID.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000184//
Vikram S. Advea83804a2003-05-31 07:32:01 +0000185int
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000186UltraSparcRegInfo::regNumForFPArg(unsigned regType,
187 bool inCallee, bool isVarArgsCall,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000188 unsigned argNo, unsigned& regClassId) const
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000189{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000190 if (isVarArgsCall)
Vikram S. Advea83804a2003-05-31 07:32:01 +0000191 return regNumForIntArg(inCallee, isVarArgsCall, argNo, regClassId);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000192 else
193 {
194 regClassId = FloatRegClassID;
195 if (regType == FPSingleRegType)
196 return (argNo*2+1 >= NumOfFloatArgRegs)?
Vikram S. Advea83804a2003-05-31 07:32:01 +0000197 getInvalidRegNum() : SparcFloatRegClass::f0 + (argNo * 2 + 1);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000198 else if (regType == FPDoubleRegType)
199 return (argNo*2 >= NumOfFloatArgRegs)?
Vikram S. Advea83804a2003-05-31 07:32:01 +0000200 getInvalidRegNum() : SparcFloatRegClass::f0 + (argNo * 2);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000201 else
202 assert(0 && "Illegal FP register type");
Chris Lattner3091e112002-07-25 06:08:32 +0000203 return 0;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000204 }
Vikram S. Adve02662bd2002-03-31 19:04:50 +0000205}
206
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000207
208//---------------------------------------------------------------------------
209// Finds the return address of a call sparc specific call instruction
210//---------------------------------------------------------------------------
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000211
Vikram S. Adveaee67012002-07-08 23:23:12 +0000212// The following 4 methods are used to find the RegType (SparcInternals.h)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000213// of a LiveRange, a Value, and for a given register unified reg number.
Chris Lattner5216cc52002-02-04 05:59:25 +0000214//
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000215int UltraSparcRegInfo::getRegTypeForClassAndType(unsigned regClassID,
216 const Type* type) const
217{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000218 switch (regClassID) {
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000219 case IntRegClassID: return IntRegType;
220 case FloatRegClassID:
221 if (type == Type::FloatTy) return FPSingleRegType;
222 else if (type == Type::DoubleTy) return FPDoubleRegType;
223 assert(0 && "Unknown type in FloatRegClass"); return 0;
224 case IntCCRegClassID: return IntCCRegType;
225 case FloatCCRegClassID: return FloatCCRegType;
226 case SpecialRegClassID: return SpecialRegType;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000227 default: assert( 0 && "Unknown reg class ID"); return 0;
Chris Lattner5216cc52002-02-04 05:59:25 +0000228 }
229}
230
Vikram S. Adve536b1922003-07-25 21:12:15 +0000231int UltraSparcRegInfo::getRegTypeForDataType(const Type* type) const
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000232{
233 return getRegTypeForClassAndType(getRegClassIDOfType(type), type);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000234}
235
Vikram S. Adve536b1922003-07-25 21:12:15 +0000236int UltraSparcRegInfo::getRegTypeForLR(const LiveRange *LR) const
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000237{
238 return getRegTypeForClassAndType(LR->getRegClassID(), LR->getType());
239}
Chris Lattner5216cc52002-02-04 05:59:25 +0000240
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000241int UltraSparcRegInfo::getRegType(int unifiedRegNum) const
242{
Vikram S. Adveaee67012002-07-08 23:23:12 +0000243 if (unifiedRegNum < 32)
Chris Lattner5216cc52002-02-04 05:59:25 +0000244 return IntRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000245 else if (unifiedRegNum < (32 + 32))
Chris Lattner5216cc52002-02-04 05:59:25 +0000246 return FPSingleRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000247 else if (unifiedRegNum < (64 + 32))
Chris Lattner5216cc52002-02-04 05:59:25 +0000248 return FPDoubleRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000249 else if (unifiedRegNum < (64+32+4))
Chris Lattner5216cc52002-02-04 05:59:25 +0000250 return FloatCCRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000251 else if (unifiedRegNum < (64+32+4+2))
Chris Lattner5216cc52002-02-04 05:59:25 +0000252 return IntCCRegType;
253 else
Vikram S. Adveaee67012002-07-08 23:23:12 +0000254 assert(0 && "Invalid unified register number in getRegType");
Chris Lattner5536c9c2002-02-24 23:02:40 +0000255 return 0;
Chris Lattner5216cc52002-02-04 05:59:25 +0000256}
257
258
Vikram S. Adveaee67012002-07-08 23:23:12 +0000259// To find the register class used for a specified Type
260//
261unsigned UltraSparcRegInfo::getRegClassIDOfType(const Type *type,
Chris Lattner3091e112002-07-25 06:08:32 +0000262 bool isCCReg) const {
Vikram S. Adveaee67012002-07-08 23:23:12 +0000263 Type::PrimitiveID ty = type->getPrimitiveID();
264 unsigned res;
265
266 // FIXME: Comparing types like this isn't very safe...
267 if ((ty && ty <= Type::LongTyID) || (ty == Type::LabelTyID) ||
268 (ty == Type::FunctionTyID) || (ty == Type::PointerTyID) )
269 res = IntRegClassID; // sparc int reg (ty=0: void)
270 else if (ty <= Type::DoubleTyID)
271 res = FloatRegClassID; // sparc float reg class
272 else {
273 //std::cerr << "TypeID: " << ty << "\n";
274 assert(0 && "Cannot resolve register class for type");
275 return 0;
276 }
277
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000278 if (isCCReg)
279 return res + 2; // corresponding condition code register
Vikram S. Adveaee67012002-07-08 23:23:12 +0000280 else
281 return res;
282}
283
Vikram S. Adveaee67012002-07-08 23:23:12 +0000284unsigned UltraSparcRegInfo::getRegClassIDOfRegType(int regType) const {
285 switch(regType) {
286 case IntRegType: return IntRegClassID;
287 case FPSingleRegType:
288 case FPDoubleRegType: return FloatRegClassID;
289 case IntCCRegType: return IntCCRegClassID;
290 case FloatCCRegType: return FloatCCRegClassID;
291 default:
292 assert(0 && "Invalid register type in getRegClassIDOfRegType");
293 return 0;
294 }
295}
296
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000297//---------------------------------------------------------------------------
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000298// Suggests a register for the ret address in the RET machine instruction.
299// We always suggest %i7 by convention.
300//---------------------------------------------------------------------------
Vikram S. Adveaee67012002-07-08 23:23:12 +0000301void UltraSparcRegInfo::suggestReg4RetAddr(MachineInstr *RetMI,
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000302 LiveRangeInfo& LRI) const {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000303
Vikram S. Adveaee67012002-07-08 23:23:12 +0000304 assert(target.getInstrInfo().isReturn(RetMI->getOpCode()));
Vikram S. Adve84982772001-10-22 13:41:12 +0000305
Vikram S. Adveaee67012002-07-08 23:23:12 +0000306 // return address is always mapped to i7 so set it immediately
307 RetMI->SetRegForOperand(0, getUnifiedRegNum(IntRegClassID,
Chris Lattner56e91662002-08-12 21:25:05 +0000308 SparcIntRegClass::i7));
Vikram S. Adve84982772001-10-22 13:41:12 +0000309
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000310 // Possible Optimization:
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000311 // Instead of setting the color, we can suggest one. In that case,
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000312 // we have to test later whether it received the suggested color.
313 // In that case, a LR has to be created at the start of method.
314 // It has to be done as follows (remove the setRegVal above):
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000315
Vikram S. Adveaee67012002-07-08 23:23:12 +0000316 // MachineOperand & MO = RetMI->getOperand(0);
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000317 // const Value *RetAddrVal = MO.getVRegValue();
318 // assert( RetAddrVal && "LR for ret address must be created at start");
319 // LiveRange * RetAddrLR = LRI.getLiveRangeForValue( RetAddrVal);
320 // RetAddrLR->setSuggestedColor(getUnifiedRegNum( IntRegClassID,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000321 // SparcIntRegOrdr::i7) );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000322}
323
324
325//---------------------------------------------------------------------------
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000326// Suggests a register for the ret address in the JMPL/CALL machine instr.
327// Sparc ABI dictates that %o7 be used for this purpose.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000328//---------------------------------------------------------------------------
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000329void
330UltraSparcRegInfo::suggestReg4CallAddr(MachineInstr * CallMI,
331 LiveRangeInfo& LRI) const
332{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000333 CallArgsDescriptor* argDesc = CallArgsDescriptor::get(CallMI);
334 const Value *RetAddrVal = argDesc->getReturnAddrReg();
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000335 assert(RetAddrVal && "INTERNAL ERROR: Return address value is required");
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000336
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000337 // A LR must already exist for the return address.
338 LiveRange *RetAddrLR = LRI.getLiveRangeForValue(RetAddrVal);
339 assert(RetAddrLR && "INTERNAL ERROR: No LR for return address of call!");
340
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000341 unsigned RegClassID = RetAddrLR->getRegClassID();
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000342 RetAddrLR->setColor(getUnifiedRegNum(IntRegClassID, SparcIntRegClass::o7));
343}
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000344
345
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000346
347//---------------------------------------------------------------------------
348// This method will suggest colors to incoming args to a method.
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000349// According to the Sparc ABI, the first 6 incoming args are in
350// %i0 - %i5 (if they are integer) OR in %f0 - %f31 (if they are float).
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000351// If the arg is passed on stack due to the lack of regs, NOTHING will be
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000352// done - it will be colored (or spilled) as a normal live range.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000353//---------------------------------------------------------------------------
Chris Lattnerf739fa82002-04-08 22:03:57 +0000354void UltraSparcRegInfo::suggestRegs4MethodArgs(const Function *Meth,
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000355 LiveRangeInfo& LRI) const
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000356{
Vikram S. Adve536b1922003-07-25 21:12:15 +0000357 // Check if this is a varArgs function. needed for choosing regs.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000358 bool isVarArgs = isVarArgsFunction(Meth->getType());
359
Vikram S. Adve536b1922003-07-25 21:12:15 +0000360 // Count the arguments, *ignoring* whether they are int or FP args.
361 // Use this common arg numbering to pick the right int or fp register.
362 unsigned argNo=0;
Chris Lattner7076ff22002-06-25 16:13:21 +0000363 for(Function::const_aiterator I = Meth->abegin(), E = Meth->aend();
364 I != E; ++I, ++argNo) {
Chris Lattner7076ff22002-06-25 16:13:21 +0000365 LiveRange *LR = LRI.getLiveRangeForValue(I);
366 assert(LR && "No live range found for method arg");
367
Vikram S. Adve536b1922003-07-25 21:12:15 +0000368 unsigned regType = getRegTypeForLR(LR);
369 unsigned regClassIDOfArgReg = BadRegClass; // for chosen reg (unused)
Chris Lattner7076ff22002-06-25 16:13:21 +0000370
371 int regNum = (regType == IntRegType)
Vikram S. Adve536b1922003-07-25 21:12:15 +0000372 ? regNumForIntArg(/*inCallee*/ true, isVarArgs, argNo, regClassIDOfArgReg)
373 : regNumForFPArg(regType, /*inCallee*/ true, isVarArgs, argNo,
374 regClassIDOfArgReg);
Chris Lattner7076ff22002-06-25 16:13:21 +0000375
Vikram S. Adve536b1922003-07-25 21:12:15 +0000376 if (regNum != getInvalidRegNum())
Chris Lattner7076ff22002-06-25 16:13:21 +0000377 LR->setSuggestedColor(regNum);
378 }
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000379}
380
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000381
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000382//---------------------------------------------------------------------------
383// This method is called after graph coloring to move incoming args to
384// the correct hardware registers if they did not receive the correct
385// (suggested) color through graph coloring.
386//---------------------------------------------------------------------------
Chris Lattnerf739fa82002-04-08 22:03:57 +0000387void UltraSparcRegInfo::colorMethodArgs(const Function *Meth,
Vikram S. Adve23535842003-07-29 19:53:21 +0000388 LiveRangeInfo &LRI,
389 std::vector<MachineInstr*>& InstrnsBefore,
390 std::vector<MachineInstr*>& InstrnsAfter) const {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000391
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000392 // check if this is a varArgs function. needed for choosing regs.
393 bool isVarArgs = isVarArgsFunction(Meth->getType());
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000394 MachineInstr *AdMI;
395
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000396 // for each argument
Chris Lattner7076ff22002-06-25 16:13:21 +0000397 // for each argument. count INT and FP arguments separately.
398 unsigned argNo=0, intArgNo=0, fpArgNo=0;
399 for(Function::const_aiterator I = Meth->abegin(), E = Meth->aend();
400 I != E; ++I, ++argNo) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000401 // get the LR of arg
Chris Lattner7076ff22002-06-25 16:13:21 +0000402 LiveRange *LR = LRI.getLiveRangeForValue(I);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000403 assert( LR && "No live range found for method arg");
404
Vikram S. Adve536b1922003-07-25 21:12:15 +0000405 unsigned regType = getRegTypeForLR(LR);
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000406 unsigned RegClassID = LR->getRegClassID();
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000407
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000408 // Find whether this argument is coming in a register (if not, on stack)
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000409 // Also find the correct register the argument must use (UniArgReg)
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000410 //
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000411 bool isArgInReg = false;
Vikram S. Advea83804a2003-05-31 07:32:01 +0000412 unsigned UniArgReg = getInvalidRegNum(); // reg that LR MUST be colored with
Chris Lattner24c1d5e2003-01-14 23:05:08 +0000413 unsigned regClassIDOfArgReg = BadRegClass; // reg class of chosen reg
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000414
415 int regNum = (regType == IntRegType)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000416 ? regNumForIntArg(/*inCallee*/ true, isVarArgs,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000417 argNo, regClassIDOfArgReg)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000418 : regNumForFPArg(regType, /*inCallee*/ true, isVarArgs,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000419 argNo, regClassIDOfArgReg);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000420
Vikram S. Advea83804a2003-05-31 07:32:01 +0000421 if(regNum != getInvalidRegNum()) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000422 isArgInReg = true;
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000423 UniArgReg = getUnifiedRegNum( regClassIDOfArgReg, regNum);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000424 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000425
Vikram S. Adve65280672003-07-10 19:42:11 +0000426 if( ! LR->isMarkedForSpill() ) { // if this arg received a register
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000427
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000428 unsigned UniLRReg = getUnifiedRegNum( RegClassID, LR->getColor() );
429
430 // if LR received the correct color, nothing to do
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000431 //
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000432 if( UniLRReg == UniArgReg )
433 continue;
434
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000435 // We are here because the LR did not receive the suggested
436 // but LR received another register.
437 // Now we have to copy the %i reg (or stack pos of arg)
438 // to the register the LR was colored with.
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000439
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000440 // if the arg is coming in UniArgReg register, it MUST go into
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000441 // the UniLRReg register
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000442 //
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000443 if( isArgInReg ) {
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000444 if( regClassIDOfArgReg != RegClassID ) {
Vikram S. Advee9327f02002-05-19 15:25:51 +0000445 assert(0 && "This could should work but it is not tested yet");
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000446
447 // It is a variable argument call: the float reg must go in a %o reg.
448 // We have to move an int reg to a float reg via memory.
449 //
450 assert(isVarArgs &&
451 RegClassID == FloatRegClassID &&
452 regClassIDOfArgReg == IntRegClassID &&
453 "This should only be an Int register for an FP argument");
454
Chris Lattnerd47aac92002-12-28 20:21:29 +0000455 int TmpOff = MachineFunction::get(Meth).getInfo()->pushTempValue(
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000456 getSpilledRegSize(regType));
Vikram S. Adve23535842003-07-29 19:53:21 +0000457 cpReg2MemMI(InstrnsBefore,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000458 UniArgReg, getFramePointer(), TmpOff, IntRegType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000459
Vikram S. Adve23535842003-07-29 19:53:21 +0000460 cpMem2RegMI(InstrnsBefore,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000461 getFramePointer(), TmpOff, UniLRReg, regType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000462 }
463 else {
Vikram S. Adve23535842003-07-29 19:53:21 +0000464 cpReg2RegMI(InstrnsBefore, UniArgReg, UniLRReg, regType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000465 }
466 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000467 else {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000468
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000469 // Now the arg is coming on stack. Since the LR recieved a register,
470 // we just have to load the arg on stack into that register
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000471 //
Chris Lattnerd47aac92002-12-28 20:21:29 +0000472 const TargetFrameInfo& frameInfo = target.getFrameInfo();
Vikram S. Adve7a1524f2001-11-08 04:56:41 +0000473 int offsetFromFP =
Misha Brukman7ae7f842002-10-28 00:28:31 +0000474 frameInfo.getIncomingArgOffset(MachineFunction::get(Meth),
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000475 argNo);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000476
477 // float arguments on stack are right justified so adjust the offset!
478 // int arguments are also right justified but they are always loaded as
479 // a full double-word so the offset does not need to be adjusted.
480 if (regType == FPSingleRegType) {
481 unsigned argSize = target.getTargetData().getTypeSize(LR->getType());
482 unsigned slotSize = frameInfo.getSizeOfEachArgOnStack();
483 assert(argSize <= slotSize && "Insufficient slot size!");
484 offsetFromFP += slotSize - argSize;
485 }
486
Vikram S. Adve23535842003-07-29 19:53:21 +0000487 cpMem2RegMI(InstrnsBefore,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000488 getFramePointer(), offsetFromFP, UniLRReg, regType);
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000489 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000490
491 } // if LR received a color
492
493 else {
494
495 // Now, the LR did not receive a color. But it has a stack offset for
496 // spilling.
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000497 // So, if the arg is coming in UniArgReg register, we can just move
498 // that on to the stack pos of LR
499
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000500 if( isArgInReg ) {
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000501
502 if( regClassIDOfArgReg != RegClassID ) {
503 assert(0 &&
504 "FP arguments to a varargs function should be explicitly "
505 "copied to/from int registers by instruction selection!");
506
507 // It must be a float arg for a variable argument call, which
508 // must come in a %o reg. Move the int reg to the stack.
509 //
510 assert(isVarArgs && regClassIDOfArgReg == IntRegClassID &&
511 "This should only be an Int register for an FP argument");
512
Vikram S. Adve23535842003-07-29 19:53:21 +0000513 cpReg2MemMI(InstrnsBefore, UniArgReg,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000514 getFramePointer(), LR->getSpillOffFromFP(), IntRegType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000515 }
516 else {
Vikram S. Adve23535842003-07-29 19:53:21 +0000517 cpReg2MemMI(InstrnsBefore, UniArgReg,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000518 getFramePointer(), LR->getSpillOffFromFP(), regType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000519 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000520 }
521
522 else {
523
524 // Now the arg is coming on stack. Since the LR did NOT
525 // recieved a register as well, it is allocated a stack position. We
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000526 // can simply change the stack position of the LR. We can do this,
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000527 // since this method is called before any other method that makes
528 // uses of the stack pos of the LR (e.g., updateMachineInstr)
Vikram S. Advea83804a2003-05-31 07:32:01 +0000529 //
Chris Lattnerd47aac92002-12-28 20:21:29 +0000530 const TargetFrameInfo& frameInfo = target.getFrameInfo();
Vikram S. Adve7a1524f2001-11-08 04:56:41 +0000531 int offsetFromFP =
Misha Brukman7ae7f842002-10-28 00:28:31 +0000532 frameInfo.getIncomingArgOffset(MachineFunction::get(Meth),
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000533 argNo);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000534
535 // FP arguments on stack are right justified so adjust offset!
536 // int arguments are also right justified but they are always loaded as
537 // a full double-word so the offset does not need to be adjusted.
538 if (regType == FPSingleRegType) {
539 unsigned argSize = target.getTargetData().getTypeSize(LR->getType());
540 unsigned slotSize = frameInfo.getSizeOfEachArgOnStack();
541 assert(argSize <= slotSize && "Insufficient slot size!");
542 offsetFromFP += slotSize - argSize;
543 }
Vikram S. Adve7a1524f2001-11-08 04:56:41 +0000544
545 LR->modifySpillOffFromFP( offsetFromFP );
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000546 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000547
548 }
549
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000550 } // for each incoming argument
551
552}
553
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000554
555
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000556//---------------------------------------------------------------------------
557// This method is called before graph coloring to suggest colors to the
558// outgoing call args and the return value of the call.
559//---------------------------------------------------------------------------
Vikram S. Adveaee67012002-07-08 23:23:12 +0000560void UltraSparcRegInfo::suggestRegs4CallArgs(MachineInstr *CallMI,
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000561 LiveRangeInfo& LRI) const {
Vikram S. Adve879eac92002-10-13 00:05:30 +0000562 assert ( (target.getInstrInfo()).isCall(CallMI->getOpCode()) );
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000563
Vikram S. Advee9327f02002-05-19 15:25:51 +0000564 CallArgsDescriptor* argDesc = CallArgsDescriptor::get(CallMI);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000565
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000566 suggestReg4CallAddr(CallMI, LRI);
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000567
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000568 // First color the return value of the call instruction, if any.
569 // The return value will be in %o0 if the value is an integer type,
570 // or in %f0 if the value is a float type.
571 //
572 if (const Value *RetVal = argDesc->getReturnValue()) {
573 LiveRange *RetValLR = LRI.getLiveRangeForValue(RetVal);
574 assert(RetValLR && "No LR for return Value of call!");
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000575
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000576 unsigned RegClassID = RetValLR->getRegClassID();
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000577
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000578 // now suggest a register depending on the register class of ret arg
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000579 if( RegClassID == IntRegClassID )
Chris Lattner56e91662002-08-12 21:25:05 +0000580 RetValLR->setSuggestedColor(SparcIntRegClass::o0);
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000581 else if (RegClassID == FloatRegClassID )
Chris Lattner56e91662002-08-12 21:25:05 +0000582 RetValLR->setSuggestedColor(SparcFloatRegClass::f0 );
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000583 else assert( 0 && "Unknown reg class for return value of call\n");
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000584 }
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000585
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000586 // Now suggest colors for arguments (operands) of the call instruction.
587 // Colors are suggested only if the arg number is smaller than the
588 // the number of registers allocated for argument passing.
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000589 // Now, go thru call args - implicit operands of the call MI
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000590
Vikram S. Advee9327f02002-05-19 15:25:51 +0000591 unsigned NumOfCallArgs = argDesc->getNumArgs();
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000592
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000593 for(unsigned argNo=0, i=0, intArgNo=0, fpArgNo=0;
594 i < NumOfCallArgs; ++i, ++argNo) {
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000595
Vikram S. Advee9327f02002-05-19 15:25:51 +0000596 const Value *CallArg = argDesc->getArgInfo(i).getArgVal();
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000597
598 // get the LR of call operand (parameter)
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000599 LiveRange *const LR = LRI.getLiveRangeForValue(CallArg);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000600 if (!LR)
601 continue; // no live ranges for constants and labels
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000602
Vikram S. Adve536b1922003-07-25 21:12:15 +0000603 unsigned regType = getRegTypeForLR(LR);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000604 unsigned regClassIDOfArgReg = BadRegClass; // chosen reg class (unused)
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000605
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000606 // Choose a register for this arg depending on whether it is
Vikram S. Advee9327f02002-05-19 15:25:51 +0000607 // an INT or FP value. Here we ignore whether or not it is a
608 // varargs calls, because FP arguments will be explicitly copied
609 // to an integer Value and handled under (argCopy != NULL) below.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000610 int regNum = (regType == IntRegType)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000611 ? regNumForIntArg(/*inCallee*/ false, /*isVarArgs*/ false,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000612 argNo, regClassIDOfArgReg)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000613 : regNumForFPArg(regType, /*inCallee*/ false, /*isVarArgs*/ false,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000614 argNo, regClassIDOfArgReg);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000615
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000616 // If a register could be allocated, use it.
617 // If not, do NOTHING as this will be colored as a normal value.
Vikram S. Advea83804a2003-05-31 07:32:01 +0000618 if(regNum != getInvalidRegNum())
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000619 LR->setSuggestedColor(regNum);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000620 } // for all call arguments
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000621}
622
623
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000624//---------------------------------------------------------------------------
Anand Shuklae6c3ee62003-06-01 02:48:23 +0000625// this method is called for an LLVM return instruction to identify which
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000626// values will be returned from this method and to suggest colors.
627//---------------------------------------------------------------------------
Vikram S. Adveaee67012002-07-08 23:23:12 +0000628void UltraSparcRegInfo::suggestReg4RetValue(MachineInstr *RetMI,
Vikram S. Adve23535842003-07-29 19:53:21 +0000629 LiveRangeInfo& LRI) const {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000630
Vikram S. Adve879eac92002-10-13 00:05:30 +0000631 assert( (target.getInstrInfo()).isReturn( RetMI->getOpCode() ) );
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000632
Vikram S. Adveaee67012002-07-08 23:23:12 +0000633 suggestReg4RetAddr(RetMI, LRI);
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000634
Vikram S. Advea83804a2003-05-31 07:32:01 +0000635 // To find the return value (if any), we can get the LLVM return instr.
636 // from the return address register, which is the first operand
637 Value* tmpI = RetMI->getOperand(0).getVRegValue();
638 ReturnInst* retI=cast<ReturnInst>(cast<TmpInstruction>(tmpI)->getOperand(0));
639 if (const Value *RetVal = retI->getReturnValue())
640 if (LiveRange *const LR = LRI.getLiveRangeForValue(RetVal))
641 LR->setSuggestedColor(LR->getRegClassID() == IntRegClassID
642 ? (unsigned) SparcIntRegClass::i0
643 : (unsigned) SparcFloatRegClass::f0);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000644}
645
Vikram S. Adveaee67012002-07-08 23:23:12 +0000646//---------------------------------------------------------------------------
647// Check if a specified register type needs a scratch register to be
648// copied to/from memory. If it does, the reg. type that must be used
649// for scratch registers is returned in scratchRegType.
650//
651// Only the int CC register needs such a scratch register.
652// The FP CC registers can (and must) be copied directly to/from memory.
653//---------------------------------------------------------------------------
654
655bool
656UltraSparcRegInfo::regTypeNeedsScratchReg(int RegType,
657 int& scratchRegType) const
658{
659 if (RegType == IntCCRegType)
660 {
661 scratchRegType = IntRegType;
662 return true;
663 }
664 return false;
665}
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000666
667//---------------------------------------------------------------------------
668// Copy from a register to register. Register number must be the unified
Vikram S. Adveaee67012002-07-08 23:23:12 +0000669// register number.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000670//---------------------------------------------------------------------------
671
Vikram S. Advee9327f02002-05-19 15:25:51 +0000672void
Misha Brukman352f7ac2003-05-21 17:59:06 +0000673UltraSparcRegInfo::cpReg2RegMI(std::vector<MachineInstr*>& mvec,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000674 unsigned SrcReg,
Vikram S. Advee9327f02002-05-19 15:25:51 +0000675 unsigned DestReg,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000676 int RegType) const {
Misha Brukman2969ec52003-06-06 09:52:23 +0000677 assert( ((int)SrcReg != getInvalidRegNum()) &&
678 ((int)DestReg != getInvalidRegNum()) &&
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000679 "Invalid Register");
680
681 MachineInstr * MI = NULL;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000682
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000683 switch( RegType ) {
684
Ruchira Sasanka5f629312001-10-18 22:38:52 +0000685 case IntCCRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000686 if (getRegType(DestReg) == IntRegType) {
687 // copy intCC reg to int reg
Vikram S. Adve65280672003-07-10 19:42:11 +0000688 MI = (BuildMI(V9::RDCCR, 2)
689 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
690 SparcIntCCRegClass::ccr))
691 .addMReg(DestReg,MOTy::Def));
Misha Brukman56f4fa12003-05-20 20:32:24 +0000692 } else {
693 // copy int reg to intCC reg
Misha Brukman56f4fa12003-05-20 20:32:24 +0000694 assert(getRegType(SrcReg) == IntRegType
695 && "Can only copy CC reg to/from integer reg");
Vikram S. Adve65280672003-07-10 19:42:11 +0000696 MI = (BuildMI(V9::WRCCRr, 3)
697 .addMReg(SrcReg)
698 .addMReg(SparcIntRegClass::g0)
699 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
700 SparcIntCCRegClass::ccr), MOTy::Def));
Misha Brukman56f4fa12003-05-20 20:32:24 +0000701 }
Vikram S. Adveaee67012002-07-08 23:23:12 +0000702 break;
703
Ruchira Sasanka5f629312001-10-18 22:38:52 +0000704 case FloatCCRegType:
Vikram S. Adveaee67012002-07-08 23:23:12 +0000705 assert(0 && "Cannot copy FPCC register to any other register");
Vikram S. Advee9327f02002-05-19 15:25:51 +0000706 break;
707
708 case IntRegType:
Misha Brukmanaf96d392003-05-27 22:40:34 +0000709 MI = BuildMI(V9::ADDr, 3).addMReg(SrcReg).addMReg(getZeroRegNum())
Misha Brukman56f4fa12003-05-20 20:32:24 +0000710 .addMReg(DestReg, MOTy::Def);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000711 break;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000712
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000713 case FPSingleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000714 MI = BuildMI(V9::FMOVS, 2).addMReg(SrcReg).addMReg(DestReg, MOTy::Def);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000715 break;
716
717 case FPDoubleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000718 MI = BuildMI(V9::FMOVD, 2).addMReg(SrcReg).addMReg(DestReg, MOTy::Def);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000719 break;
720
721 default:
Vikram S. Advee9327f02002-05-19 15:25:51 +0000722 assert(0 && "Unknown RegType");
Vikram S. Adveaee67012002-07-08 23:23:12 +0000723 break;
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000724 }
Vikram S. Advee9327f02002-05-19 15:25:51 +0000725
726 if (MI)
727 mvec.push_back(MI);
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000728}
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000729
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000730//---------------------------------------------------------------------------
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000731// Copy from a register to memory (i.e., Store). Register number must
732// be the unified register number
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000733//---------------------------------------------------------------------------
734
735
Vikram S. Advee9327f02002-05-19 15:25:51 +0000736void
Misha Brukman352f7ac2003-05-21 17:59:06 +0000737UltraSparcRegInfo::cpReg2MemMI(std::vector<MachineInstr*>& mvec,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000738 unsigned SrcReg,
Vikram S. Adve23535842003-07-29 19:53:21 +0000739 unsigned PtrReg,
Vikram S. Advee9327f02002-05-19 15:25:51 +0000740 int Offset, int RegType,
Chris Lattner3091e112002-07-25 06:08:32 +0000741 int scratchReg) const {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000742 MachineInstr * MI = NULL;
Vikram S. Adve23535842003-07-29 19:53:21 +0000743 int OffReg = -1;
744
745 // If the Offset will not fit in the signed-immediate field, find an
746 // unused register to hold the offset value. This takes advantage of
747 // the fact that all the opcodes used below have the same size immed. field.
748 // Use the register allocator, PRA, to find an unused reg. at this MI.
749 //
750 if (RegType != IntCCRegType) // does not use offset below
751 if (! target.getInstrInfo().constantFitsInImmedField(V9::LDXi, Offset)) {
752#ifdef CAN_FIND_FREE_REGISTER_TRANSPARENTLY
753 RegClass* RC = PRA.getRegClassByID(this->getRegClassIDOfRegType(RegType));
754 OffReg = PRA.getUnusedUniRegAtMI(RC, RegType, MInst, LVSetBef);
755#else
756 // Default to using register g2 for holding large offsets
757 OffReg = getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
758 SparcIntRegClass::g4);
759#endif
760 assert(OffReg >= 0 && "FIXME: cpReg2MemMI cannot find an unused reg.");
761 mvec.push_back(BuildMI(V9::SETSW, 2).addZImm(Offset).addReg(OffReg));
762 }
763
Chris Lattner1ebaa902003-01-15 17:47:49 +0000764 switch (RegType) {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000765 case IntRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000766 if (target.getInstrInfo().constantFitsInImmedField(V9::STXi, Offset))
767 MI = BuildMI(V9::STXi,3).addMReg(SrcReg).addMReg(PtrReg).addSImm(Offset);
768 else
769 MI = BuildMI(V9::STXr,3).addMReg(SrcReg).addMReg(PtrReg).addMReg(OffReg);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000770 break;
771
772 case FPSingleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000773 if (target.getInstrInfo().constantFitsInImmedField(V9::STFi, Offset))
774 MI = BuildMI(V9::STFi, 3).addMReg(SrcReg).addMReg(PtrReg).addSImm(Offset);
775 else
776 MI = BuildMI(V9::STFr, 3).addMReg(SrcReg).addMReg(PtrReg).addMReg(OffReg);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000777 break;
778
779 case FPDoubleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000780 if (target.getInstrInfo().constantFitsInImmedField(V9::STDFi, Offset))
781 MI = BuildMI(V9::STDFi,3).addMReg(SrcReg).addMReg(PtrReg).addSImm(Offset);
782 else
783 MI = BuildMI(V9::STDFr,3).addMReg(SrcReg).addMReg(PtrReg).addSImm(OffReg);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000784 break;
785
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000786 case IntCCRegType:
Vikram S. Adveaee67012002-07-08 23:23:12 +0000787 assert(scratchReg >= 0 && "Need scratch reg to store %ccr to memory");
Chris Lattner56e91662002-08-12 21:25:05 +0000788 assert(getRegType(scratchReg) ==IntRegType && "Invalid scratch reg");
Vikram S. Adve65280672003-07-10 19:42:11 +0000789 MI = (BuildMI(V9::RDCCR, 2)
790 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
791 SparcIntCCRegClass::ccr))
Vikram S. Adved09c4c32003-07-06 20:13:59 +0000792 .addMReg(scratchReg, MOTy::Def));
Vikram S. Adveaee67012002-07-08 23:23:12 +0000793 mvec.push_back(MI);
794
Vikram S. Adve23535842003-07-29 19:53:21 +0000795 cpReg2MemMI(mvec, scratchReg, PtrReg, Offset, IntRegType);
Chris Lattner1ebaa902003-01-15 17:47:49 +0000796 return;
Vikram S. Adve23535842003-07-29 19:53:21 +0000797
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000798 case FloatCCRegType: {
Vikram S. Adve23535842003-07-29 19:53:21 +0000799 unsigned fsrReg = getUnifiedRegNum(UltraSparcRegInfo::SpecialRegClassID,
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000800 SparcSpecialRegClass::fsr);
Vikram S. Adve23535842003-07-29 19:53:21 +0000801 if (target.getInstrInfo().constantFitsInImmedField(V9::STXFSRi, Offset))
802 MI=BuildMI(V9::STXFSRi,3).addMReg(fsrReg).addMReg(PtrReg).addSImm(Offset);
803 else
804 MI=BuildMI(V9::STXFSRr,3).addMReg(fsrReg).addMReg(PtrReg).addMReg(OffReg);
Vikram S. Adveaee67012002-07-08 23:23:12 +0000805 break;
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000806 }
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000807 default:
Vikram S. Advee9327f02002-05-19 15:25:51 +0000808 assert(0 && "Unknown RegType in cpReg2MemMI");
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000809 }
Chris Lattner1ebaa902003-01-15 17:47:49 +0000810 mvec.push_back(MI);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000811}
812
813
814//---------------------------------------------------------------------------
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000815// Copy from memory to a reg (i.e., Load) Register number must be the unified
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000816// register number
817//---------------------------------------------------------------------------
818
819
Vikram S. Advee9327f02002-05-19 15:25:51 +0000820void
Misha Brukman352f7ac2003-05-21 17:59:06 +0000821UltraSparcRegInfo::cpMem2RegMI(std::vector<MachineInstr*>& mvec,
Vikram S. Adve23535842003-07-29 19:53:21 +0000822 unsigned PtrReg,
Vikram S. Advee9327f02002-05-19 15:25:51 +0000823 int Offset,
824 unsigned DestReg,
825 int RegType,
Chris Lattner3091e112002-07-25 06:08:32 +0000826 int scratchReg) const {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000827 MachineInstr * MI = NULL;
Vikram S. Adve23535842003-07-29 19:53:21 +0000828 int OffReg = -1;
829
830 // If the Offset will not fit in the signed-immediate field, find an
831 // unused register to hold the offset value. This takes advantage of
832 // the fact that all the opcodes used below have the same size immed. field.
833 // Use the register allocator, PRA, to find an unused reg. at this MI.
834 //
835 if (RegType != IntCCRegType) // does not use offset below
836 if (! target.getInstrInfo().constantFitsInImmedField(V9::LDXi, Offset)) {
837#ifdef CAN_FIND_FREE_REGISTER_TRANSPARENTLY
838 RegClass* RC = PRA.getRegClassByID(this->getRegClassIDOfRegType(RegType));
839 OffReg = PRA.getUnusedUniRegAtMI(RC, RegType, MInst, LVSetBef);
840#else
841 // Default to using register g2 for holding large offsets
842 OffReg = getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
843 SparcIntRegClass::g4);
844#endif
845 assert(OffReg >= 0 && "FIXME: cpReg2MemMI cannot find an unused reg.");
846 mvec.push_back(BuildMI(V9::SETSW, 2).addZImm(Offset).addReg(OffReg));
847 }
848
Chris Lattner5216cc52002-02-04 05:59:25 +0000849 switch (RegType) {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000850 case IntRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000851 if (target.getInstrInfo().constantFitsInImmedField(V9::LDXi, Offset))
852 MI = BuildMI(V9::LDXi, 3).addMReg(PtrReg).addSImm(Offset).addMReg(DestReg,
853 MOTy::Def);
854 else
855 MI = BuildMI(V9::LDXr, 3).addMReg(PtrReg).addMReg(OffReg).addMReg(DestReg,
856 MOTy::Def);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000857 break;
858
859 case FPSingleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000860 if (target.getInstrInfo().constantFitsInImmedField(V9::LDFi, Offset))
861 MI = BuildMI(V9::LDFi, 3).addMReg(PtrReg).addSImm(Offset).addMReg(DestReg,
862 MOTy::Def);
863 else
864 MI = BuildMI(V9::LDFr, 3).addMReg(PtrReg).addMReg(OffReg).addMReg(DestReg,
865 MOTy::Def);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000866 break;
867
868 case FPDoubleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000869 if (target.getInstrInfo().constantFitsInImmedField(V9::LDDFi, Offset))
870 MI= BuildMI(V9::LDDFi, 3).addMReg(PtrReg).addSImm(Offset).addMReg(DestReg,
871 MOTy::Def);
872 else
873 MI= BuildMI(V9::LDDFr, 3).addMReg(PtrReg).addMReg(OffReg).addMReg(DestReg,
874 MOTy::Def);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000875 break;
876
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000877 case IntCCRegType:
Vikram S. Adveaee67012002-07-08 23:23:12 +0000878 assert(scratchReg >= 0 && "Need scratch reg to load %ccr from memory");
Chris Lattner56e91662002-08-12 21:25:05 +0000879 assert(getRegType(scratchReg) ==IntRegType && "Invalid scratch reg");
Vikram S. Adve23535842003-07-29 19:53:21 +0000880 cpMem2RegMI(mvec, PtrReg, Offset, scratchReg, IntRegType);
Vikram S. Adve65280672003-07-10 19:42:11 +0000881 MI = (BuildMI(V9::WRCCRr, 3)
882 .addMReg(scratchReg)
883 .addMReg(SparcIntRegClass::g0)
884 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
885 SparcIntCCRegClass::ccr), MOTy::Def));
Vikram S. Adveaee67012002-07-08 23:23:12 +0000886 break;
887
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000888 case FloatCCRegType: {
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000889 unsigned fsrRegNum = getUnifiedRegNum(UltraSparcRegInfo::SpecialRegClassID,
890 SparcSpecialRegClass::fsr);
Vikram S. Adve23535842003-07-29 19:53:21 +0000891 if (target.getInstrInfo().constantFitsInImmedField(V9::LDXFSRi, Offset))
892 MI = BuildMI(V9::LDXFSRi, 3).addMReg(PtrReg).addSImm(Offset)
893 .addMReg(fsrRegNum, MOTy::UseAndDef);
894 else
895 MI = BuildMI(V9::LDXFSRr, 3).addMReg(PtrReg).addMReg(OffReg)
896 .addMReg(fsrRegNum, MOTy::UseAndDef);
Vikram S. Adveaee67012002-07-08 23:23:12 +0000897 break;
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000898 }
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000899 default:
Ruchira Sasanka0c085982001-11-10 21:20:43 +0000900 assert(0 && "Unknown RegType in cpMem2RegMI");
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000901 }
Chris Lattner1ebaa902003-01-15 17:47:49 +0000902 mvec.push_back(MI);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000903}
904
905
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000906//---------------------------------------------------------------------------
907// Generate a copy instruction to copy a value to another. Temporarily
908// used by PhiElimination code.
909//---------------------------------------------------------------------------
910
911
Vikram S. Advee9327f02002-05-19 15:25:51 +0000912void
Chris Lattner1ebaa902003-01-15 17:47:49 +0000913UltraSparcRegInfo::cpValue2Value(Value *Src, Value *Dest,
Misha Brukman352f7ac2003-05-21 17:59:06 +0000914 std::vector<MachineInstr*>& mvec) const {
Vikram S. Adve536b1922003-07-25 21:12:15 +0000915 int RegType = getRegTypeForDataType(Src->getType());
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000916 MachineInstr * MI = NULL;
917
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000918 switch( RegType ) {
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000919 case IntRegType:
Misha Brukmanaf96d392003-05-27 22:40:34 +0000920 MI = BuildMI(V9::ADDr, 3).addReg(Src).addMReg(getZeroRegNum())
Misha Brukman56f4fa12003-05-20 20:32:24 +0000921 .addRegDef(Dest);
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000922 break;
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000923 case FPSingleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000924 MI = BuildMI(V9::FMOVS, 2).addReg(Src).addRegDef(Dest);
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000925 break;
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000926 case FPDoubleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000927 MI = BuildMI(V9::FMOVD, 2).addReg(Src).addRegDef(Dest);
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000928 break;
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000929 default:
930 assert(0 && "Unknow RegType in CpValu2Value");
931 }
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000932
Chris Lattner9bebf832002-10-28 20:10:56 +0000933 mvec.push_back(MI);
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000934}
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000935
936
937
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000938//---------------------------------------------------------------------------
939// Print the register assigned to a LR
940//---------------------------------------------------------------------------
941
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000942void UltraSparcRegInfo::printReg(const LiveRange *LR) const {
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000943 unsigned RegClassID = LR->getRegClassID();
Chris Lattner69382172003-09-01 19:58:02 +0000944 std::cerr << " Node ";
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000945
Chris Lattner5216cc52002-02-04 05:59:25 +0000946 if (!LR->hasColor()) {
Misha Brukman352f7ac2003-05-21 17:59:06 +0000947 std::cerr << " - could not find a color\n";
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000948 return;
949 }
950
951 // if a color is found
952
Misha Brukman352f7ac2003-05-21 17:59:06 +0000953 std::cerr << " colored with color "<< LR->getColor();
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000954
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000955 unsigned uRegName = getUnifiedRegNum(RegClassID, LR->getColor());
956
957 std::cerr << "[";
958 std::cerr<< getUnifiedRegName(uRegName);
959 if (RegClassID == FloatRegClassID && LR->getType() == Type::DoubleTy)
960 std::cerr << "+" << getUnifiedRegName(uRegName+1);
961 std::cerr << "]\n";
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000962}