blob: 6edf1f4c0e46f816e20e6c695ef60ef52464c3bf [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"
Vikram S. Adve23535842003-07-29 19:53:21 +000016#include "llvm/CodeGen/LiveRangeInfo.h"
Chris Lattner5216cc52002-02-04 05:59:25 +000017#include "llvm/iTerminators.h"
18#include "llvm/iOther.h"
Chris Lattner06be1802002-04-09 19:08:28 +000019#include "llvm/Function.h"
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +000020#include "llvm/DerivedTypes.h"
Chris Lattnerb0ddffa2001-09-14 03:47:57 +000021
Chris Lattner24c1d5e2003-01-14 23:05:08 +000022enum {
23 BadRegClass = ~0
24};
25
Chris Lattner5216cc52002-02-04 05:59:25 +000026UltraSparcRegInfo::UltraSparcRegInfo(const UltraSparc &tgt)
Vikram S. Advea83804a2003-05-31 07:32:01 +000027 : TargetRegInfo(tgt), NumOfIntArgRegs(6), NumOfFloatArgRegs(32)
28{
Chris Lattner5216cc52002-02-04 05:59:25 +000029 MachineRegClassArr.push_back(new SparcIntRegClass(IntRegClassID));
30 MachineRegClassArr.push_back(new SparcFloatRegClass(FloatRegClassID));
31 MachineRegClassArr.push_back(new SparcIntCCRegClass(IntCCRegClassID));
32 MachineRegClassArr.push_back(new SparcFloatCCRegClass(FloatCCRegClassID));
Vikram S. Adve8adb9942003-05-27 00:02:22 +000033 MachineRegClassArr.push_back(new SparcSpecialRegClass(SpecialRegClassID));
Vikram S. Adveaee67012002-07-08 23:23:12 +000034
Chris Lattner56e91662002-08-12 21:25:05 +000035 assert(SparcFloatRegClass::StartOfNonVolatileRegs == 32 &&
Chris Lattner5216cc52002-02-04 05:59:25 +000036 "32 Float regs are used for float arg passing");
37}
38
39
Vikram S. Advedb1435f2002-03-18 03:12:16 +000040// getZeroRegNum - returns the register that contains always zero.
41// this is the unified register number
Chris Lattner5216cc52002-02-04 05:59:25 +000042//
Vikram S. Advedb1435f2002-03-18 03:12:16 +000043int UltraSparcRegInfo::getZeroRegNum() const {
Chris Lattner56e91662002-08-12 21:25:05 +000044 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
45 SparcIntRegClass::g0);
Vikram S. Advedb1435f2002-03-18 03:12:16 +000046}
Chris Lattner5216cc52002-02-04 05:59:25 +000047
48// getCallAddressReg - returns the reg used for pushing the address when a
49// method is called. This can be used for other purposes between calls
50//
51unsigned UltraSparcRegInfo::getCallAddressReg() const {
Chris Lattner56e91662002-08-12 21:25:05 +000052 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
53 SparcIntRegClass::o7);
Chris Lattner5216cc52002-02-04 05:59:25 +000054}
55
56// Returns the register containing the return address.
57// It should be made sure that this register contains the return
58// value when a return instruction is reached.
59//
60unsigned UltraSparcRegInfo::getReturnAddressReg() const {
Chris Lattner56e91662002-08-12 21:25:05 +000061 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
62 SparcIntRegClass::i7);
63}
64
65// Register get name implementations...
66
67// Int register names in same order as enum in class SparcIntRegClass
68static const char * const IntRegNames[] = {
69 "o0", "o1", "o2", "o3", "o4", "o5", "o7",
70 "l0", "l1", "l2", "l3", "l4", "l5", "l6", "l7",
71 "i0", "i1", "i2", "i3", "i4", "i5",
72 "i6", "i7",
73 "g0", "g1", "g2", "g3", "g4", "g5", "g6", "g7",
74 "o6"
75};
76
Vikram S. Adve8adb9942003-05-27 00:02:22 +000077const char * const SparcIntRegClass::getRegName(unsigned reg) const {
Chris Lattner56e91662002-08-12 21:25:05 +000078 assert(reg < NumOfAllRegs);
79 return IntRegNames[reg];
80}
81
82static const char * const FloatRegNames[] = {
83 "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", "f9",
84 "f10", "f11", "f12", "f13", "f14", "f15", "f16", "f17", "f18", "f19",
85 "f20", "f21", "f22", "f23", "f24", "f25", "f26", "f27", "f28", "f29",
86 "f30", "f31", "f32", "f33", "f34", "f35", "f36", "f37", "f38", "f39",
87 "f40", "f41", "f42", "f43", "f44", "f45", "f46", "f47", "f48", "f49",
88 "f50", "f51", "f52", "f53", "f54", "f55", "f56", "f57", "f58", "f59",
89 "f60", "f61", "f62", "f63"
90};
91
Vikram S. Adve8adb9942003-05-27 00:02:22 +000092const char * const SparcFloatRegClass::getRegName(unsigned reg) const {
Chris Lattner56e91662002-08-12 21:25:05 +000093 assert (reg < NumOfAllRegs);
94 return FloatRegNames[reg];
95}
96
97
98static const char * const IntCCRegNames[] = {
Vikram S. Adved09c4c32003-07-06 20:13:59 +000099 "xcc", "icc", "ccr"
Chris Lattner56e91662002-08-12 21:25:05 +0000100};
101
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000102const char * const SparcIntCCRegClass::getRegName(unsigned reg) const {
Vikram S. Adved09c4c32003-07-06 20:13:59 +0000103 assert(reg < 3);
Chris Lattner56e91662002-08-12 21:25:05 +0000104 return IntCCRegNames[reg];
105}
106
107static const char * const FloatCCRegNames[] = {
108 "fcc0", "fcc1", "fcc2", "fcc3"
109};
110
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000111const char * const SparcFloatCCRegClass::getRegName(unsigned reg) const {
112 assert (reg < 5);
Chris Lattner56e91662002-08-12 21:25:05 +0000113 return FloatCCRegNames[reg];
Chris Lattner5216cc52002-02-04 05:59:25 +0000114}
115
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000116static const char * const SpecialRegNames[] = {
117 "fsr"
118};
119
120const char * const SparcSpecialRegClass::getRegName(unsigned reg) const {
121 assert (reg < 1);
122 return SpecialRegNames[reg];
Chris Lattner5216cc52002-02-04 05:59:25 +0000123}
124
Vikram S. Advedb1435f2002-03-18 03:12:16 +0000125// Get unified reg number for frame pointer
Chris Lattner5216cc52002-02-04 05:59:25 +0000126unsigned UltraSparcRegInfo::getFramePointer() const {
Chris Lattner56e91662002-08-12 21:25:05 +0000127 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
128 SparcIntRegClass::i6);
Chris Lattner5216cc52002-02-04 05:59:25 +0000129}
130
Vikram S. Advedb1435f2002-03-18 03:12:16 +0000131// Get unified reg number for stack pointer
Chris Lattner5216cc52002-02-04 05:59:25 +0000132unsigned UltraSparcRegInfo::getStackPointer() const {
Chris Lattner56e91662002-08-12 21:25:05 +0000133 return getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
134 SparcIntRegClass::o6);
Chris Lattner5216cc52002-02-04 05:59:25 +0000135}
136
137
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000138//---------------------------------------------------------------------------
139// Finds whether a call is an indirect call
140//---------------------------------------------------------------------------
141
142inline bool
143isVarArgsFunction(const Type *funcType) {
144 return cast<FunctionType>(cast<PointerType>(funcType)
145 ->getElementType())->isVarArg();
146}
147
148inline bool
149isVarArgsCall(const MachineInstr *CallMI) {
150 Value* callee = CallMI->getOperand(0).getVRegValue();
151 // const Type* funcType = isa<Function>(callee)? callee->getType()
152 // : cast<PointerType>(callee->getType())->getElementType();
153 const Type* funcType = callee->getType();
154 return isVarArgsFunction(funcType);
155}
156
157
Vikram S. Advea83804a2003-05-31 07:32:01 +0000158// Get the register number for the specified argument #argNo,
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000159//
160// Return value:
Vikram S. Advea83804a2003-05-31 07:32:01 +0000161// getInvalidRegNum(), if there is no int register available for the arg.
162// regNum, otherwise (this is NOT the unified reg. num).
163// regClassId is set to the register class ID.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000164//
Vikram S. Advea83804a2003-05-31 07:32:01 +0000165int
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000166UltraSparcRegInfo::regNumForIntArg(bool inCallee, bool isVarArgsCall,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000167 unsigned argNo, unsigned& regClassId) const
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000168{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000169 regClassId = IntRegClassID;
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000170 if (argNo >= NumOfIntArgRegs)
Vikram S. Advea83804a2003-05-31 07:32:01 +0000171 return getInvalidRegNum();
Vikram S. Advee9327f02002-05-19 15:25:51 +0000172 else
Chris Lattner56e91662002-08-12 21:25:05 +0000173 return argNo + (inCallee? SparcIntRegClass::i0 : SparcIntRegClass::o0);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000174}
175
Vikram S. Advea83804a2003-05-31 07:32:01 +0000176// Get the register number for the specified FP argument #argNo,
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000177// Use INT regs for FP args if this is a varargs call.
178//
179// Return value:
Vikram S. Advea83804a2003-05-31 07:32:01 +0000180// getInvalidRegNum(), if there is no int register available for the arg.
181// regNum, otherwise (this is NOT the unified reg. num).
182// regClassId is set to the register class ID.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000183//
Vikram S. Advea83804a2003-05-31 07:32:01 +0000184int
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000185UltraSparcRegInfo::regNumForFPArg(unsigned regType,
186 bool inCallee, bool isVarArgsCall,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000187 unsigned argNo, unsigned& regClassId) const
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000188{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000189 if (isVarArgsCall)
Vikram S. Advea83804a2003-05-31 07:32:01 +0000190 return regNumForIntArg(inCallee, isVarArgsCall, argNo, regClassId);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000191 else
192 {
193 regClassId = FloatRegClassID;
194 if (regType == FPSingleRegType)
195 return (argNo*2+1 >= NumOfFloatArgRegs)?
Vikram S. Advea83804a2003-05-31 07:32:01 +0000196 getInvalidRegNum() : SparcFloatRegClass::f0 + (argNo * 2 + 1);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000197 else if (regType == FPDoubleRegType)
198 return (argNo*2 >= NumOfFloatArgRegs)?
Vikram S. Advea83804a2003-05-31 07:32:01 +0000199 getInvalidRegNum() : SparcFloatRegClass::f0 + (argNo * 2);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000200 else
201 assert(0 && "Illegal FP register type");
Chris Lattner3091e112002-07-25 06:08:32 +0000202 return 0;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000203 }
Vikram S. Adve02662bd2002-03-31 19:04:50 +0000204}
205
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000206
207//---------------------------------------------------------------------------
208// Finds the return address of a call sparc specific call instruction
209//---------------------------------------------------------------------------
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000210
Vikram S. Adveaee67012002-07-08 23:23:12 +0000211// The following 4 methods are used to find the RegType (SparcInternals.h)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000212// of a LiveRange, a Value, and for a given register unified reg number.
Chris Lattner5216cc52002-02-04 05:59:25 +0000213//
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000214int UltraSparcRegInfo::getRegTypeForClassAndType(unsigned regClassID,
215 const Type* type) const
216{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000217 switch (regClassID) {
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000218 case IntRegClassID: return IntRegType;
219 case FloatRegClassID:
220 if (type == Type::FloatTy) return FPSingleRegType;
221 else if (type == Type::DoubleTy) return FPDoubleRegType;
222 assert(0 && "Unknown type in FloatRegClass"); return 0;
223 case IntCCRegClassID: return IntCCRegType;
224 case FloatCCRegClassID: return FloatCCRegType;
225 case SpecialRegClassID: return SpecialRegType;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000226 default: assert( 0 && "Unknown reg class ID"); return 0;
Chris Lattner5216cc52002-02-04 05:59:25 +0000227 }
228}
229
Vikram S. Adve536b1922003-07-25 21:12:15 +0000230int UltraSparcRegInfo::getRegTypeForDataType(const Type* type) const
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000231{
232 return getRegTypeForClassAndType(getRegClassIDOfType(type), type);
Vikram S. Advee9327f02002-05-19 15:25:51 +0000233}
234
Vikram S. Adve536b1922003-07-25 21:12:15 +0000235int UltraSparcRegInfo::getRegTypeForLR(const LiveRange *LR) const
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000236{
237 return getRegTypeForClassAndType(LR->getRegClassID(), LR->getType());
238}
Chris Lattner5216cc52002-02-04 05:59:25 +0000239
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000240int UltraSparcRegInfo::getRegType(int unifiedRegNum) const
241{
Vikram S. Adveaee67012002-07-08 23:23:12 +0000242 if (unifiedRegNum < 32)
Chris Lattner5216cc52002-02-04 05:59:25 +0000243 return IntRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000244 else if (unifiedRegNum < (32 + 32))
Chris Lattner5216cc52002-02-04 05:59:25 +0000245 return FPSingleRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000246 else if (unifiedRegNum < (64 + 32))
Chris Lattner5216cc52002-02-04 05:59:25 +0000247 return FPDoubleRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000248 else if (unifiedRegNum < (64+32+4))
Chris Lattner5216cc52002-02-04 05:59:25 +0000249 return FloatCCRegType;
Vikram S. Adveaee67012002-07-08 23:23:12 +0000250 else if (unifiedRegNum < (64+32+4+2))
Chris Lattner5216cc52002-02-04 05:59:25 +0000251 return IntCCRegType;
252 else
Vikram S. Adveaee67012002-07-08 23:23:12 +0000253 assert(0 && "Invalid unified register number in getRegType");
Chris Lattner5536c9c2002-02-24 23:02:40 +0000254 return 0;
Chris Lattner5216cc52002-02-04 05:59:25 +0000255}
256
257
Vikram S. Adveaee67012002-07-08 23:23:12 +0000258// To find the register class used for a specified Type
259//
260unsigned UltraSparcRegInfo::getRegClassIDOfType(const Type *type,
Chris Lattner3091e112002-07-25 06:08:32 +0000261 bool isCCReg) const {
Vikram S. Adveaee67012002-07-08 23:23:12 +0000262 Type::PrimitiveID ty = type->getPrimitiveID();
263 unsigned res;
264
265 // FIXME: Comparing types like this isn't very safe...
266 if ((ty && ty <= Type::LongTyID) || (ty == Type::LabelTyID) ||
267 (ty == Type::FunctionTyID) || (ty == Type::PointerTyID) )
268 res = IntRegClassID; // sparc int reg (ty=0: void)
269 else if (ty <= Type::DoubleTyID)
270 res = FloatRegClassID; // sparc float reg class
271 else {
272 //std::cerr << "TypeID: " << ty << "\n";
273 assert(0 && "Cannot resolve register class for type");
274 return 0;
275 }
276
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000277 if (isCCReg)
278 return res + 2; // corresponding condition code register
Vikram S. Adveaee67012002-07-08 23:23:12 +0000279 else
280 return res;
281}
282
Vikram S. Adveaee67012002-07-08 23:23:12 +0000283unsigned UltraSparcRegInfo::getRegClassIDOfRegType(int regType) const {
284 switch(regType) {
285 case IntRegType: return IntRegClassID;
286 case FPSingleRegType:
287 case FPDoubleRegType: return FloatRegClassID;
288 case IntCCRegType: return IntCCRegClassID;
289 case FloatCCRegType: return FloatCCRegClassID;
290 default:
291 assert(0 && "Invalid register type in getRegClassIDOfRegType");
292 return 0;
293 }
294}
295
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000296//---------------------------------------------------------------------------
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000297// Suggests a register for the ret address in the RET machine instruction.
298// We always suggest %i7 by convention.
299//---------------------------------------------------------------------------
Vikram S. Adveaee67012002-07-08 23:23:12 +0000300void UltraSparcRegInfo::suggestReg4RetAddr(MachineInstr *RetMI,
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000301 LiveRangeInfo& LRI) const {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000302
Vikram S. Adveaee67012002-07-08 23:23:12 +0000303 assert(target.getInstrInfo().isReturn(RetMI->getOpCode()));
Vikram S. Adve84982772001-10-22 13:41:12 +0000304
Vikram S. Adveaee67012002-07-08 23:23:12 +0000305 // return address is always mapped to i7 so set it immediately
306 RetMI->SetRegForOperand(0, getUnifiedRegNum(IntRegClassID,
Chris Lattner56e91662002-08-12 21:25:05 +0000307 SparcIntRegClass::i7));
Vikram S. Adve84982772001-10-22 13:41:12 +0000308
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000309 // Possible Optimization:
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000310 // Instead of setting the color, we can suggest one. In that case,
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000311 // we have to test later whether it received the suggested color.
312 // In that case, a LR has to be created at the start of method.
313 // It has to be done as follows (remove the setRegVal above):
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000314
Vikram S. Adveaee67012002-07-08 23:23:12 +0000315 // MachineOperand & MO = RetMI->getOperand(0);
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000316 // const Value *RetAddrVal = MO.getVRegValue();
317 // assert( RetAddrVal && "LR for ret address must be created at start");
318 // LiveRange * RetAddrLR = LRI.getLiveRangeForValue( RetAddrVal);
319 // RetAddrLR->setSuggestedColor(getUnifiedRegNum( IntRegClassID,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000320 // SparcIntRegOrdr::i7) );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000321}
322
323
324//---------------------------------------------------------------------------
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000325// Suggests a register for the ret address in the JMPL/CALL machine instr.
326// Sparc ABI dictates that %o7 be used for this purpose.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000327//---------------------------------------------------------------------------
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000328void
329UltraSparcRegInfo::suggestReg4CallAddr(MachineInstr * CallMI,
330 LiveRangeInfo& LRI) const
331{
Vikram S. Advee9327f02002-05-19 15:25:51 +0000332 CallArgsDescriptor* argDesc = CallArgsDescriptor::get(CallMI);
333 const Value *RetAddrVal = argDesc->getReturnAddrReg();
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000334 assert(RetAddrVal && "INTERNAL ERROR: Return address value is required");
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000335
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000336 // A LR must already exist for the return address.
337 LiveRange *RetAddrLR = LRI.getLiveRangeForValue(RetAddrVal);
338 assert(RetAddrLR && "INTERNAL ERROR: No LR for return address of call!");
339
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000340 unsigned RegClassID = RetAddrLR->getRegClassID();
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000341 RetAddrLR->setColor(getUnifiedRegNum(IntRegClassID, SparcIntRegClass::o7));
342}
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000343
344
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000345
346//---------------------------------------------------------------------------
347// This method will suggest colors to incoming args to a method.
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000348// According to the Sparc ABI, the first 6 incoming args are in
349// %i0 - %i5 (if they are integer) OR in %f0 - %f31 (if they are float).
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000350// If the arg is passed on stack due to the lack of regs, NOTHING will be
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000351// done - it will be colored (or spilled) as a normal live range.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000352//---------------------------------------------------------------------------
Chris Lattnerf739fa82002-04-08 22:03:57 +0000353void UltraSparcRegInfo::suggestRegs4MethodArgs(const Function *Meth,
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000354 LiveRangeInfo& LRI) const
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000355{
Vikram S. Adve536b1922003-07-25 21:12:15 +0000356 // Check if this is a varArgs function. needed for choosing regs.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000357 bool isVarArgs = isVarArgsFunction(Meth->getType());
358
Vikram S. Adve536b1922003-07-25 21:12:15 +0000359 // Count the arguments, *ignoring* whether they are int or FP args.
360 // Use this common arg numbering to pick the right int or fp register.
361 unsigned argNo=0;
Chris Lattner7076ff22002-06-25 16:13:21 +0000362 for(Function::const_aiterator I = Meth->abegin(), E = Meth->aend();
363 I != E; ++I, ++argNo) {
Chris Lattner7076ff22002-06-25 16:13:21 +0000364 LiveRange *LR = LRI.getLiveRangeForValue(I);
365 assert(LR && "No live range found for method arg");
366
Vikram S. Adve536b1922003-07-25 21:12:15 +0000367 unsigned regType = getRegTypeForLR(LR);
368 unsigned regClassIDOfArgReg = BadRegClass; // for chosen reg (unused)
Chris Lattner7076ff22002-06-25 16:13:21 +0000369
370 int regNum = (regType == IntRegType)
Vikram S. Adve536b1922003-07-25 21:12:15 +0000371 ? regNumForIntArg(/*inCallee*/ true, isVarArgs, argNo, regClassIDOfArgReg)
372 : regNumForFPArg(regType, /*inCallee*/ true, isVarArgs, argNo,
373 regClassIDOfArgReg);
Chris Lattner7076ff22002-06-25 16:13:21 +0000374
Vikram S. Adve536b1922003-07-25 21:12:15 +0000375 if (regNum != getInvalidRegNum())
Chris Lattner7076ff22002-06-25 16:13:21 +0000376 LR->setSuggestedColor(regNum);
377 }
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000378}
379
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000380
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000381//---------------------------------------------------------------------------
382// This method is called after graph coloring to move incoming args to
383// the correct hardware registers if they did not receive the correct
384// (suggested) color through graph coloring.
385//---------------------------------------------------------------------------
Chris Lattnerf739fa82002-04-08 22:03:57 +0000386void UltraSparcRegInfo::colorMethodArgs(const Function *Meth,
Vikram S. Adve23535842003-07-29 19:53:21 +0000387 LiveRangeInfo &LRI,
388 std::vector<MachineInstr*>& InstrnsBefore,
389 std::vector<MachineInstr*>& InstrnsAfter) const {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000390
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000391 // check if this is a varArgs function. needed for choosing regs.
392 bool isVarArgs = isVarArgsFunction(Meth->getType());
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000393 MachineInstr *AdMI;
394
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000395 // for each argument
Chris Lattner7076ff22002-06-25 16:13:21 +0000396 // for each argument. count INT and FP arguments separately.
397 unsigned argNo=0, intArgNo=0, fpArgNo=0;
398 for(Function::const_aiterator I = Meth->abegin(), E = Meth->aend();
399 I != E; ++I, ++argNo) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000400 // get the LR of arg
Chris Lattner7076ff22002-06-25 16:13:21 +0000401 LiveRange *LR = LRI.getLiveRangeForValue(I);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000402 assert( LR && "No live range found for method arg");
403
Vikram S. Adve536b1922003-07-25 21:12:15 +0000404 unsigned regType = getRegTypeForLR(LR);
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000405 unsigned RegClassID = LR->getRegClassID();
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000406
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000407 // Find whether this argument is coming in a register (if not, on stack)
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000408 // Also find the correct register the argument must use (UniArgReg)
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000409 //
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000410 bool isArgInReg = false;
Vikram S. Advea83804a2003-05-31 07:32:01 +0000411 unsigned UniArgReg = getInvalidRegNum(); // reg that LR MUST be colored with
Chris Lattner24c1d5e2003-01-14 23:05:08 +0000412 unsigned regClassIDOfArgReg = BadRegClass; // reg class of chosen reg
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000413
414 int regNum = (regType == IntRegType)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000415 ? regNumForIntArg(/*inCallee*/ true, isVarArgs,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000416 argNo, regClassIDOfArgReg)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000417 : regNumForFPArg(regType, /*inCallee*/ true, isVarArgs,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000418 argNo, regClassIDOfArgReg);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000419
Vikram S. Advea83804a2003-05-31 07:32:01 +0000420 if(regNum != getInvalidRegNum()) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000421 isArgInReg = true;
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000422 UniArgReg = getUnifiedRegNum( regClassIDOfArgReg, regNum);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000423 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000424
Vikram S. Adve65280672003-07-10 19:42:11 +0000425 if( ! LR->isMarkedForSpill() ) { // if this arg received a register
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000426
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000427 unsigned UniLRReg = getUnifiedRegNum( RegClassID, LR->getColor() );
428
429 // if LR received the correct color, nothing to do
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000430 //
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000431 if( UniLRReg == UniArgReg )
432 continue;
433
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000434 // We are here because the LR did not receive the suggested
435 // but LR received another register.
436 // Now we have to copy the %i reg (or stack pos of arg)
437 // to the register the LR was colored with.
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000438
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000439 // if the arg is coming in UniArgReg register, it MUST go into
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000440 // the UniLRReg register
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000441 //
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000442 if( isArgInReg ) {
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000443 if( regClassIDOfArgReg != RegClassID ) {
Vikram S. Advee9327f02002-05-19 15:25:51 +0000444 assert(0 && "This could should work but it is not tested yet");
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000445
446 // It is a variable argument call: the float reg must go in a %o reg.
447 // We have to move an int reg to a float reg via memory.
448 //
449 assert(isVarArgs &&
450 RegClassID == FloatRegClassID &&
451 regClassIDOfArgReg == IntRegClassID &&
452 "This should only be an Int register for an FP argument");
453
Chris Lattnerd47aac92002-12-28 20:21:29 +0000454 int TmpOff = MachineFunction::get(Meth).getInfo()->pushTempValue(
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000455 getSpilledRegSize(regType));
Vikram S. Adve23535842003-07-29 19:53:21 +0000456 cpReg2MemMI(InstrnsBefore,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000457 UniArgReg, getFramePointer(), TmpOff, IntRegType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000458
Vikram S. Adve23535842003-07-29 19:53:21 +0000459 cpMem2RegMI(InstrnsBefore,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000460 getFramePointer(), TmpOff, UniLRReg, regType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000461 }
462 else {
Vikram S. Adve23535842003-07-29 19:53:21 +0000463 cpReg2RegMI(InstrnsBefore, UniArgReg, UniLRReg, regType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000464 }
465 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000466 else {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000467
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000468 // Now the arg is coming on stack. Since the LR recieved a register,
469 // we just have to load the arg on stack into that register
Ruchira Sasanka4cfbfd52002-01-07 19:20:28 +0000470 //
Chris Lattnerd47aac92002-12-28 20:21:29 +0000471 const TargetFrameInfo& frameInfo = target.getFrameInfo();
Vikram S. Adve7a1524f2001-11-08 04:56:41 +0000472 int offsetFromFP =
Misha Brukman7ae7f842002-10-28 00:28:31 +0000473 frameInfo.getIncomingArgOffset(MachineFunction::get(Meth),
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000474 argNo);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000475
476 // float arguments on stack are right justified so adjust the offset!
477 // int arguments are also right justified but they are always loaded as
478 // a full double-word so the offset does not need to be adjusted.
479 if (regType == FPSingleRegType) {
480 unsigned argSize = target.getTargetData().getTypeSize(LR->getType());
481 unsigned slotSize = frameInfo.getSizeOfEachArgOnStack();
482 assert(argSize <= slotSize && "Insufficient slot size!");
483 offsetFromFP += slotSize - argSize;
484 }
485
Vikram S. Adve23535842003-07-29 19:53:21 +0000486 cpMem2RegMI(InstrnsBefore,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000487 getFramePointer(), offsetFromFP, UniLRReg, regType);
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000488 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000489
490 } // if LR received a color
491
492 else {
493
494 // Now, the LR did not receive a color. But it has a stack offset for
495 // spilling.
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000496 // So, if the arg is coming in UniArgReg register, we can just move
497 // that on to the stack pos of LR
498
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000499 if( isArgInReg ) {
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000500
501 if( regClassIDOfArgReg != RegClassID ) {
502 assert(0 &&
503 "FP arguments to a varargs function should be explicitly "
504 "copied to/from int registers by instruction selection!");
505
506 // It must be a float arg for a variable argument call, which
507 // must come in a %o reg. Move the int reg to the stack.
508 //
509 assert(isVarArgs && regClassIDOfArgReg == IntRegClassID &&
510 "This should only be an Int register for an FP argument");
511
Vikram S. Adve23535842003-07-29 19:53:21 +0000512 cpReg2MemMI(InstrnsBefore, UniArgReg,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000513 getFramePointer(), LR->getSpillOffFromFP(), IntRegType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000514 }
515 else {
Vikram S. Adve23535842003-07-29 19:53:21 +0000516 cpReg2MemMI(InstrnsBefore, UniArgReg,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000517 getFramePointer(), LR->getSpillOffFromFP(), regType);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000518 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000519 }
520
521 else {
522
523 // Now the arg is coming on stack. Since the LR did NOT
524 // recieved a register as well, it is allocated a stack position. We
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000525 // can simply change the stack position of the LR. We can do this,
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000526 // since this method is called before any other method that makes
527 // uses of the stack pos of the LR (e.g., updateMachineInstr)
Vikram S. Advea83804a2003-05-31 07:32:01 +0000528 //
Chris Lattnerd47aac92002-12-28 20:21:29 +0000529 const TargetFrameInfo& frameInfo = target.getFrameInfo();
Vikram S. Adve7a1524f2001-11-08 04:56:41 +0000530 int offsetFromFP =
Misha Brukman7ae7f842002-10-28 00:28:31 +0000531 frameInfo.getIncomingArgOffset(MachineFunction::get(Meth),
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000532 argNo);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000533
534 // FP arguments on stack are right justified so adjust offset!
535 // int arguments are also right justified but they are always loaded as
536 // a full double-word so the offset does not need to be adjusted.
537 if (regType == FPSingleRegType) {
538 unsigned argSize = target.getTargetData().getTypeSize(LR->getType());
539 unsigned slotSize = frameInfo.getSizeOfEachArgOnStack();
540 assert(argSize <= slotSize && "Insufficient slot size!");
541 offsetFromFP += slotSize - argSize;
542 }
Vikram S. Adve7a1524f2001-11-08 04:56:41 +0000543
544 LR->modifySpillOffFromFP( offsetFromFP );
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000545 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000546
547 }
548
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000549 } // for each incoming argument
550
551}
552
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000553
554
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000555//---------------------------------------------------------------------------
556// This method is called before graph coloring to suggest colors to the
557// outgoing call args and the return value of the call.
558//---------------------------------------------------------------------------
Vikram S. Adveaee67012002-07-08 23:23:12 +0000559void UltraSparcRegInfo::suggestRegs4CallArgs(MachineInstr *CallMI,
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000560 LiveRangeInfo& LRI) const {
Vikram S. Adve879eac92002-10-13 00:05:30 +0000561 assert ( (target.getInstrInfo()).isCall(CallMI->getOpCode()) );
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000562
Vikram S. Advee9327f02002-05-19 15:25:51 +0000563 CallArgsDescriptor* argDesc = CallArgsDescriptor::get(CallMI);
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000564
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000565 suggestReg4CallAddr(CallMI, LRI);
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000566
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000567 // First color the return value of the call instruction, if any.
568 // The return value will be in %o0 if the value is an integer type,
569 // or in %f0 if the value is a float type.
570 //
571 if (const Value *RetVal = argDesc->getReturnValue()) {
572 LiveRange *RetValLR = LRI.getLiveRangeForValue(RetVal);
573 assert(RetValLR && "No LR for return Value of call!");
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000574
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000575 unsigned RegClassID = RetValLR->getRegClassID();
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000576
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000577 // now suggest a register depending on the register class of ret arg
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000578 if( RegClassID == IntRegClassID )
Chris Lattner56e91662002-08-12 21:25:05 +0000579 RetValLR->setSuggestedColor(SparcIntRegClass::o0);
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000580 else if (RegClassID == FloatRegClassID )
Chris Lattner56e91662002-08-12 21:25:05 +0000581 RetValLR->setSuggestedColor(SparcFloatRegClass::f0 );
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000582 else assert( 0 && "Unknown reg class for return value of call\n");
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000583 }
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000584
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000585 // Now suggest colors for arguments (operands) of the call instruction.
586 // Colors are suggested only if the arg number is smaller than the
587 // the number of registers allocated for argument passing.
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000588 // Now, go thru call args - implicit operands of the call MI
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000589
Vikram S. Advee9327f02002-05-19 15:25:51 +0000590 unsigned NumOfCallArgs = argDesc->getNumArgs();
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000591
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000592 for(unsigned argNo=0, i=0, intArgNo=0, fpArgNo=0;
593 i < NumOfCallArgs; ++i, ++argNo) {
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000594
Vikram S. Advee9327f02002-05-19 15:25:51 +0000595 const Value *CallArg = argDesc->getArgInfo(i).getArgVal();
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000596
597 // get the LR of call operand (parameter)
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000598 LiveRange *const LR = LRI.getLiveRangeForValue(CallArg);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000599 if (!LR)
600 continue; // no live ranges for constants and labels
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000601
Vikram S. Adve536b1922003-07-25 21:12:15 +0000602 unsigned regType = getRegTypeForLR(LR);
Vikram S. Advea83804a2003-05-31 07:32:01 +0000603 unsigned regClassIDOfArgReg = BadRegClass; // chosen reg class (unused)
Vikram S. Adve6d1036d2002-09-28 16:59:05 +0000604
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000605 // Choose a register for this arg depending on whether it is
Vikram S. Advee9327f02002-05-19 15:25:51 +0000606 // an INT or FP value. Here we ignore whether or not it is a
607 // varargs calls, because FP arguments will be explicitly copied
608 // to an integer Value and handled under (argCopy != NULL) below.
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000609 int regNum = (regType == IntRegType)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000610 ? regNumForIntArg(/*inCallee*/ false, /*isVarArgs*/ false,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000611 argNo, regClassIDOfArgReg)
Vikram S. Advee9327f02002-05-19 15:25:51 +0000612 : regNumForFPArg(regType, /*inCallee*/ false, /*isVarArgs*/ false,
Vikram S. Advea83804a2003-05-31 07:32:01 +0000613 argNo, regClassIDOfArgReg);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000614
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000615 // If a register could be allocated, use it.
616 // If not, do NOTHING as this will be colored as a normal value.
Vikram S. Advea83804a2003-05-31 07:32:01 +0000617 if(regNum != getInvalidRegNum())
Vikram S. Advea6d94c92002-04-25 04:42:21 +0000618 LR->setSuggestedColor(regNum);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000619 } // for all call arguments
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000620}
621
622
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000623//---------------------------------------------------------------------------
Anand Shuklae6c3ee62003-06-01 02:48:23 +0000624// this method is called for an LLVM return instruction to identify which
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000625// values will be returned from this method and to suggest colors.
626//---------------------------------------------------------------------------
Vikram S. Adveaee67012002-07-08 23:23:12 +0000627void UltraSparcRegInfo::suggestReg4RetValue(MachineInstr *RetMI,
Vikram S. Adve23535842003-07-29 19:53:21 +0000628 LiveRangeInfo& LRI) const {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000629
Vikram S. Adve879eac92002-10-13 00:05:30 +0000630 assert( (target.getInstrInfo()).isReturn( RetMI->getOpCode() ) );
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000631
Vikram S. Adveaee67012002-07-08 23:23:12 +0000632 suggestReg4RetAddr(RetMI, LRI);
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000633
Vikram S. Advea83804a2003-05-31 07:32:01 +0000634 // To find the return value (if any), we can get the LLVM return instr.
635 // from the return address register, which is the first operand
636 Value* tmpI = RetMI->getOperand(0).getVRegValue();
637 ReturnInst* retI=cast<ReturnInst>(cast<TmpInstruction>(tmpI)->getOperand(0));
638 if (const Value *RetVal = retI->getReturnValue())
639 if (LiveRange *const LR = LRI.getLiveRangeForValue(RetVal))
640 LR->setSuggestedColor(LR->getRegClassID() == IntRegClassID
641 ? (unsigned) SparcIntRegClass::i0
642 : (unsigned) SparcFloatRegClass::f0);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000643}
644
Vikram S. Adveaee67012002-07-08 23:23:12 +0000645//---------------------------------------------------------------------------
646// Check if a specified register type needs a scratch register to be
647// copied to/from memory. If it does, the reg. type that must be used
648// for scratch registers is returned in scratchRegType.
649//
650// Only the int CC register needs such a scratch register.
651// The FP CC registers can (and must) be copied directly to/from memory.
652//---------------------------------------------------------------------------
653
654bool
655UltraSparcRegInfo::regTypeNeedsScratchReg(int RegType,
656 int& scratchRegType) const
657{
658 if (RegType == IntCCRegType)
659 {
660 scratchRegType = IntRegType;
661 return true;
662 }
663 return false;
664}
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000665
666//---------------------------------------------------------------------------
667// Copy from a register to register. Register number must be the unified
Vikram S. Adveaee67012002-07-08 23:23:12 +0000668// register number.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000669//---------------------------------------------------------------------------
670
Vikram S. Advee9327f02002-05-19 15:25:51 +0000671void
Misha Brukman352f7ac2003-05-21 17:59:06 +0000672UltraSparcRegInfo::cpReg2RegMI(std::vector<MachineInstr*>& mvec,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000673 unsigned SrcReg,
Vikram S. Advee9327f02002-05-19 15:25:51 +0000674 unsigned DestReg,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000675 int RegType) const {
Misha Brukman2969ec52003-06-06 09:52:23 +0000676 assert( ((int)SrcReg != getInvalidRegNum()) &&
677 ((int)DestReg != getInvalidRegNum()) &&
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000678 "Invalid Register");
679
680 MachineInstr * MI = NULL;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000681
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000682 switch( RegType ) {
683
Ruchira Sasanka5f629312001-10-18 22:38:52 +0000684 case IntCCRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000685 if (getRegType(DestReg) == IntRegType) {
686 // copy intCC reg to int reg
Vikram S. Adve65280672003-07-10 19:42:11 +0000687 MI = (BuildMI(V9::RDCCR, 2)
688 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
689 SparcIntCCRegClass::ccr))
690 .addMReg(DestReg,MOTy::Def));
Misha Brukman56f4fa12003-05-20 20:32:24 +0000691 } else {
692 // copy int reg to intCC reg
Misha Brukman56f4fa12003-05-20 20:32:24 +0000693 assert(getRegType(SrcReg) == IntRegType
694 && "Can only copy CC reg to/from integer reg");
Vikram S. Adve65280672003-07-10 19:42:11 +0000695 MI = (BuildMI(V9::WRCCRr, 3)
696 .addMReg(SrcReg)
697 .addMReg(SparcIntRegClass::g0)
698 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
699 SparcIntCCRegClass::ccr), MOTy::Def));
Misha Brukman56f4fa12003-05-20 20:32:24 +0000700 }
Vikram S. Adveaee67012002-07-08 23:23:12 +0000701 break;
702
Ruchira Sasanka5f629312001-10-18 22:38:52 +0000703 case FloatCCRegType:
Vikram S. Adveaee67012002-07-08 23:23:12 +0000704 assert(0 && "Cannot copy FPCC register to any other register");
Vikram S. Advee9327f02002-05-19 15:25:51 +0000705 break;
706
707 case IntRegType:
Misha Brukmanaf96d392003-05-27 22:40:34 +0000708 MI = BuildMI(V9::ADDr, 3).addMReg(SrcReg).addMReg(getZeroRegNum())
Misha Brukman56f4fa12003-05-20 20:32:24 +0000709 .addMReg(DestReg, MOTy::Def);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000710 break;
Vikram S. Advee9327f02002-05-19 15:25:51 +0000711
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000712 case FPSingleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000713 MI = BuildMI(V9::FMOVS, 2).addMReg(SrcReg).addMReg(DestReg, MOTy::Def);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000714 break;
715
716 case FPDoubleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000717 MI = BuildMI(V9::FMOVD, 2).addMReg(SrcReg).addMReg(DestReg, MOTy::Def);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000718 break;
719
720 default:
Vikram S. Advee9327f02002-05-19 15:25:51 +0000721 assert(0 && "Unknown RegType");
Vikram S. Adveaee67012002-07-08 23:23:12 +0000722 break;
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000723 }
Vikram S. Advee9327f02002-05-19 15:25:51 +0000724
725 if (MI)
726 mvec.push_back(MI);
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000727}
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000728
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000729//---------------------------------------------------------------------------
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000730// Copy from a register to memory (i.e., Store). Register number must
731// be the unified register number
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000732//---------------------------------------------------------------------------
733
734
Vikram S. Advee9327f02002-05-19 15:25:51 +0000735void
Misha Brukman352f7ac2003-05-21 17:59:06 +0000736UltraSparcRegInfo::cpReg2MemMI(std::vector<MachineInstr*>& mvec,
Vikram S. Adveaee67012002-07-08 23:23:12 +0000737 unsigned SrcReg,
Vikram S. Adve23535842003-07-29 19:53:21 +0000738 unsigned PtrReg,
Vikram S. Advee9327f02002-05-19 15:25:51 +0000739 int Offset, int RegType,
Chris Lattner3091e112002-07-25 06:08:32 +0000740 int scratchReg) const {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000741 MachineInstr * MI = NULL;
Vikram S. Adve23535842003-07-29 19:53:21 +0000742 int OffReg = -1;
743
744 // If the Offset will not fit in the signed-immediate field, find an
745 // unused register to hold the offset value. This takes advantage of
746 // the fact that all the opcodes used below have the same size immed. field.
747 // Use the register allocator, PRA, to find an unused reg. at this MI.
748 //
749 if (RegType != IntCCRegType) // does not use offset below
750 if (! target.getInstrInfo().constantFitsInImmedField(V9::LDXi, Offset)) {
751#ifdef CAN_FIND_FREE_REGISTER_TRANSPARENTLY
752 RegClass* RC = PRA.getRegClassByID(this->getRegClassIDOfRegType(RegType));
753 OffReg = PRA.getUnusedUniRegAtMI(RC, RegType, MInst, LVSetBef);
754#else
755 // Default to using register g2 for holding large offsets
756 OffReg = getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
757 SparcIntRegClass::g4);
758#endif
759 assert(OffReg >= 0 && "FIXME: cpReg2MemMI cannot find an unused reg.");
760 mvec.push_back(BuildMI(V9::SETSW, 2).addZImm(Offset).addReg(OffReg));
761 }
762
Chris Lattner1ebaa902003-01-15 17:47:49 +0000763 switch (RegType) {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000764 case IntRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000765 if (target.getInstrInfo().constantFitsInImmedField(V9::STXi, Offset))
766 MI = BuildMI(V9::STXi,3).addMReg(SrcReg).addMReg(PtrReg).addSImm(Offset);
767 else
768 MI = BuildMI(V9::STXr,3).addMReg(SrcReg).addMReg(PtrReg).addMReg(OffReg);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000769 break;
770
771 case FPSingleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000772 if (target.getInstrInfo().constantFitsInImmedField(V9::STFi, Offset))
773 MI = BuildMI(V9::STFi, 3).addMReg(SrcReg).addMReg(PtrReg).addSImm(Offset);
774 else
775 MI = BuildMI(V9::STFr, 3).addMReg(SrcReg).addMReg(PtrReg).addMReg(OffReg);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000776 break;
777
778 case FPDoubleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000779 if (target.getInstrInfo().constantFitsInImmedField(V9::STDFi, Offset))
780 MI = BuildMI(V9::STDFi,3).addMReg(SrcReg).addMReg(PtrReg).addSImm(Offset);
781 else
782 MI = BuildMI(V9::STDFr,3).addMReg(SrcReg).addMReg(PtrReg).addSImm(OffReg);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000783 break;
784
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000785 case IntCCRegType:
Vikram S. Adveaee67012002-07-08 23:23:12 +0000786 assert(scratchReg >= 0 && "Need scratch reg to store %ccr to memory");
Chris Lattner56e91662002-08-12 21:25:05 +0000787 assert(getRegType(scratchReg) ==IntRegType && "Invalid scratch reg");
Vikram S. Adve65280672003-07-10 19:42:11 +0000788 MI = (BuildMI(V9::RDCCR, 2)
789 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
790 SparcIntCCRegClass::ccr))
Vikram S. Adved09c4c32003-07-06 20:13:59 +0000791 .addMReg(scratchReg, MOTy::Def));
Vikram S. Adveaee67012002-07-08 23:23:12 +0000792 mvec.push_back(MI);
793
Vikram S. Adve23535842003-07-29 19:53:21 +0000794 cpReg2MemMI(mvec, scratchReg, PtrReg, Offset, IntRegType);
Chris Lattner1ebaa902003-01-15 17:47:49 +0000795 return;
Vikram S. Adve23535842003-07-29 19:53:21 +0000796
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000797 case FloatCCRegType: {
Vikram S. Adve23535842003-07-29 19:53:21 +0000798 unsigned fsrReg = getUnifiedRegNum(UltraSparcRegInfo::SpecialRegClassID,
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000799 SparcSpecialRegClass::fsr);
Vikram S. Adve23535842003-07-29 19:53:21 +0000800 if (target.getInstrInfo().constantFitsInImmedField(V9::STXFSRi, Offset))
801 MI=BuildMI(V9::STXFSRi,3).addMReg(fsrReg).addMReg(PtrReg).addSImm(Offset);
802 else
803 MI=BuildMI(V9::STXFSRr,3).addMReg(fsrReg).addMReg(PtrReg).addMReg(OffReg);
Vikram S. Adveaee67012002-07-08 23:23:12 +0000804 break;
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000805 }
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000806 default:
Vikram S. Advee9327f02002-05-19 15:25:51 +0000807 assert(0 && "Unknown RegType in cpReg2MemMI");
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000808 }
Chris Lattner1ebaa902003-01-15 17:47:49 +0000809 mvec.push_back(MI);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000810}
811
812
813//---------------------------------------------------------------------------
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000814// Copy from memory to a reg (i.e., Load) Register number must be the unified
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000815// register number
816//---------------------------------------------------------------------------
817
818
Vikram S. Advee9327f02002-05-19 15:25:51 +0000819void
Misha Brukman352f7ac2003-05-21 17:59:06 +0000820UltraSparcRegInfo::cpMem2RegMI(std::vector<MachineInstr*>& mvec,
Vikram S. Adve23535842003-07-29 19:53:21 +0000821 unsigned PtrReg,
Vikram S. Advee9327f02002-05-19 15:25:51 +0000822 int Offset,
823 unsigned DestReg,
824 int RegType,
Chris Lattner3091e112002-07-25 06:08:32 +0000825 int scratchReg) const {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000826 MachineInstr * MI = NULL;
Vikram S. Adve23535842003-07-29 19:53:21 +0000827 int OffReg = -1;
828
829 // If the Offset will not fit in the signed-immediate field, find an
830 // unused register to hold the offset value. This takes advantage of
831 // the fact that all the opcodes used below have the same size immed. field.
832 // Use the register allocator, PRA, to find an unused reg. at this MI.
833 //
834 if (RegType != IntCCRegType) // does not use offset below
835 if (! target.getInstrInfo().constantFitsInImmedField(V9::LDXi, Offset)) {
836#ifdef CAN_FIND_FREE_REGISTER_TRANSPARENTLY
837 RegClass* RC = PRA.getRegClassByID(this->getRegClassIDOfRegType(RegType));
838 OffReg = PRA.getUnusedUniRegAtMI(RC, RegType, MInst, LVSetBef);
839#else
840 // Default to using register g2 for holding large offsets
841 OffReg = getUnifiedRegNum(UltraSparcRegInfo::IntRegClassID,
842 SparcIntRegClass::g4);
843#endif
844 assert(OffReg >= 0 && "FIXME: cpReg2MemMI cannot find an unused reg.");
845 mvec.push_back(BuildMI(V9::SETSW, 2).addZImm(Offset).addReg(OffReg));
846 }
847
Chris Lattner5216cc52002-02-04 05:59:25 +0000848 switch (RegType) {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000849 case IntRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000850 if (target.getInstrInfo().constantFitsInImmedField(V9::LDXi, Offset))
851 MI = BuildMI(V9::LDXi, 3).addMReg(PtrReg).addSImm(Offset).addMReg(DestReg,
852 MOTy::Def);
853 else
854 MI = BuildMI(V9::LDXr, 3).addMReg(PtrReg).addMReg(OffReg).addMReg(DestReg,
855 MOTy::Def);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000856 break;
857
858 case FPSingleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000859 if (target.getInstrInfo().constantFitsInImmedField(V9::LDFi, Offset))
860 MI = BuildMI(V9::LDFi, 3).addMReg(PtrReg).addSImm(Offset).addMReg(DestReg,
861 MOTy::Def);
862 else
863 MI = BuildMI(V9::LDFr, 3).addMReg(PtrReg).addMReg(OffReg).addMReg(DestReg,
864 MOTy::Def);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000865 break;
866
867 case FPDoubleRegType:
Vikram S. Adve23535842003-07-29 19:53:21 +0000868 if (target.getInstrInfo().constantFitsInImmedField(V9::LDDFi, Offset))
869 MI= BuildMI(V9::LDDFi, 3).addMReg(PtrReg).addSImm(Offset).addMReg(DestReg,
870 MOTy::Def);
871 else
872 MI= BuildMI(V9::LDDFr, 3).addMReg(PtrReg).addMReg(OffReg).addMReg(DestReg,
873 MOTy::Def);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000874 break;
875
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000876 case IntCCRegType:
Vikram S. Adveaee67012002-07-08 23:23:12 +0000877 assert(scratchReg >= 0 && "Need scratch reg to load %ccr from memory");
Chris Lattner56e91662002-08-12 21:25:05 +0000878 assert(getRegType(scratchReg) ==IntRegType && "Invalid scratch reg");
Vikram S. Adve23535842003-07-29 19:53:21 +0000879 cpMem2RegMI(mvec, PtrReg, Offset, scratchReg, IntRegType);
Vikram S. Adve65280672003-07-10 19:42:11 +0000880 MI = (BuildMI(V9::WRCCRr, 3)
881 .addMReg(scratchReg)
882 .addMReg(SparcIntRegClass::g0)
883 .addMReg(getUnifiedRegNum(UltraSparcRegInfo::IntCCRegClassID,
884 SparcIntCCRegClass::ccr), MOTy::Def));
Vikram S. Adveaee67012002-07-08 23:23:12 +0000885 break;
886
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000887 case FloatCCRegType: {
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000888 unsigned fsrRegNum = getUnifiedRegNum(UltraSparcRegInfo::SpecialRegClassID,
889 SparcSpecialRegClass::fsr);
Vikram S. Adve23535842003-07-29 19:53:21 +0000890 if (target.getInstrInfo().constantFitsInImmedField(V9::LDXFSRi, Offset))
891 MI = BuildMI(V9::LDXFSRi, 3).addMReg(PtrReg).addSImm(Offset)
892 .addMReg(fsrRegNum, MOTy::UseAndDef);
893 else
894 MI = BuildMI(V9::LDXFSRr, 3).addMReg(PtrReg).addMReg(OffReg)
895 .addMReg(fsrRegNum, MOTy::UseAndDef);
Vikram S. Adveaee67012002-07-08 23:23:12 +0000896 break;
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000897 }
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000898 default:
Ruchira Sasanka0c085982001-11-10 21:20:43 +0000899 assert(0 && "Unknown RegType in cpMem2RegMI");
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000900 }
Chris Lattner1ebaa902003-01-15 17:47:49 +0000901 mvec.push_back(MI);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000902}
903
904
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000905//---------------------------------------------------------------------------
906// Generate a copy instruction to copy a value to another. Temporarily
907// used by PhiElimination code.
908//---------------------------------------------------------------------------
909
910
Vikram S. Advee9327f02002-05-19 15:25:51 +0000911void
Chris Lattner1ebaa902003-01-15 17:47:49 +0000912UltraSparcRegInfo::cpValue2Value(Value *Src, Value *Dest,
Misha Brukman352f7ac2003-05-21 17:59:06 +0000913 std::vector<MachineInstr*>& mvec) const {
Vikram S. Adve536b1922003-07-25 21:12:15 +0000914 int RegType = getRegTypeForDataType(Src->getType());
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000915 MachineInstr * MI = NULL;
916
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000917 switch( RegType ) {
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000918 case IntRegType:
Misha Brukmanaf96d392003-05-27 22:40:34 +0000919 MI = BuildMI(V9::ADDr, 3).addReg(Src).addMReg(getZeroRegNum())
Misha Brukman56f4fa12003-05-20 20:32:24 +0000920 .addRegDef(Dest);
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000921 break;
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000922 case FPSingleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000923 MI = BuildMI(V9::FMOVS, 2).addReg(Src).addRegDef(Dest);
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000924 break;
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000925 case FPDoubleRegType:
Misha Brukman56f4fa12003-05-20 20:32:24 +0000926 MI = BuildMI(V9::FMOVD, 2).addReg(Src).addRegDef(Dest);
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000927 break;
Ruchira Sasankafcdc2ff2001-11-12 14:45:33 +0000928 default:
929 assert(0 && "Unknow RegType in CpValu2Value");
930 }
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000931
Chris Lattner9bebf832002-10-28 20:10:56 +0000932 mvec.push_back(MI);
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000933}
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000934
935
936
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000937//---------------------------------------------------------------------------
938// Print the register assigned to a LR
939//---------------------------------------------------------------------------
940
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000941void UltraSparcRegInfo::printReg(const LiveRange *LR) const {
Chris Lattnerf9fd5912003-01-15 21:14:32 +0000942 unsigned RegClassID = LR->getRegClassID();
Misha Brukman352f7ac2003-05-21 17:59:06 +0000943 std::cerr << " *Node " << (LR->getUserIGNode())->getIndex();
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000944
Chris Lattner5216cc52002-02-04 05:59:25 +0000945 if (!LR->hasColor()) {
Misha Brukman352f7ac2003-05-21 17:59:06 +0000946 std::cerr << " - could not find a color\n";
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000947 return;
948 }
949
950 // if a color is found
951
Misha Brukman352f7ac2003-05-21 17:59:06 +0000952 std::cerr << " colored with color "<< LR->getColor();
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000953
Vikram S. Adve8adb9942003-05-27 00:02:22 +0000954 unsigned uRegName = getUnifiedRegNum(RegClassID, LR->getColor());
955
956 std::cerr << "[";
957 std::cerr<< getUnifiedRegName(uRegName);
958 if (RegClassID == FloatRegClassID && LR->getType() == Type::DoubleTy)
959 std::cerr << "+" << getUnifiedRegName(uRegName+1);
960 std::cerr << "]\n";
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000961}