blob: 6ce2df3176b48e3802fa16ee66edf23d8d2192f9 [file] [log] [blame]
Ruchira Sasankadfdab462001-09-14 20:31:39 +00001#include "llvm/Target/Sparc.h"
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00002#include "SparcInternals.h"
3#include "llvm/Method.h"
4#include "llvm/iTerminators.h"
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00005#include "llvm/iOther.h"
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00006#include "llvm/CodeGen/InstrScheduling.h"
7#include "llvm/CodeGen/InstrSelection.h"
Chris Lattnerb0ddffa2001-09-14 03:47:57 +00008
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00009#include "llvm/Analysis/LiveVar/MethodLiveVarInfo.h"
10#include "llvm/CodeGen/PhyRegAlloc.h"
Chris Lattnerb0ddffa2001-09-14 03:47:57 +000011
Ruchira Sasankadfc6c882001-09-18 22:52:44 +000012
13
14
15//---------------------------------------------------------------------------
16// UltraSparcRegInfo
17//---------------------------------------------------------------------------
18
Ruchira Sasankadfc6c882001-09-18 22:52:44 +000019//---------------------------------------------------------------------------
Ruchira Sasanka24729a32001-10-21 16:43:41 +000020// Finds the return value of a call instruction
21//---------------------------------------------------------------------------
22
23const Value *
24UltraSparcRegInfo::getCallInstRetVal(const MachineInstr *CallMI) const{
25
26 unsigned OpCode = CallMI->getOpCode();
27 unsigned NumOfImpRefs = CallMI->getNumImplicitRefs();
28
29 if( OpCode == CALL ) {
30
31 // The one before the last implicit operand is the return value of
32 // a CALL instr
33 if( NumOfImpRefs > 1 )
34 if( CallMI->implicitRefIsDefined(NumOfImpRefs-2) )
35 return CallMI->getImplicitRef(NumOfImpRefs-2);
36
37 }
Vikram S. Adve84982772001-10-22 13:41:12 +000038 else if( OpCode == JMPLCALL) {
Ruchira Sasanka24729a32001-10-21 16:43:41 +000039
40 // The last implicit operand is the return value of a JMPL in
41 if( NumOfImpRefs > 0 )
42 if( CallMI->implicitRefIsDefined(NumOfImpRefs-1) )
43 return CallMI->getImplicitRef(NumOfImpRefs-1);
44 }
45 else
46 assert(0 && "OpCode must be CALL/JMPL for a call instr");
47
48 return NULL;
49
50}
51
52//---------------------------------------------------------------------------
53// Finds the return address of a call instruction
54//---------------------------------------------------------------------------
55
56const Value *
57UltraSparcRegInfo::getCallInstRetAddr(const MachineInstr *CallMI)const {
58
59 unsigned OpCode = CallMI->getOpCode();
60
61 if( OpCode == CALL) {
62
63 unsigned NumOfImpRefs = CallMI->getNumImplicitRefs();
64
65 assert( NumOfImpRefs && "CALL instr must have at least on ImpRef");
66 // The last implicit operand is the return address of a CALL instr
67 return CallMI->getImplicitRef(NumOfImpRefs-1);
68
69 }
Vikram S. Adve84982772001-10-22 13:41:12 +000070 else if( OpCode == JMPLCALL ) {
Ruchira Sasanka24729a32001-10-21 16:43:41 +000071
72 MachineOperand & MO = ( MachineOperand &) CallMI->getOperand(2);
73 return MO.getVRegValue();
74
75 }
76 else
77 assert(0 && "OpCode must be CALL/JMPL for a call instr");
78
79 assert(0 && "There must be a return addr for a call instr");
80
81 return NULL;
82
83}
84
85
86//---------------------------------------------------------------------------
Vikram S. Adve84982772001-10-22 13:41:12 +000087// Finds the # of actual arguments of the call instruction
Ruchira Sasanka24729a32001-10-21 16:43:41 +000088//---------------------------------------------------------------------------
89
90const unsigned
91UltraSparcRegInfo::getCallInstNumArgs(const MachineInstr *CallMI) const {
92
93 unsigned OpCode = CallMI->getOpCode();
94 unsigned NumOfImpRefs = CallMI->getNumImplicitRefs();
95 int NumArgs = -1;
96
97 if( OpCode == CALL ) {
98
99 switch( NumOfImpRefs ) {
100
101 case 0: assert(0 && "A CALL inst must have at least one ImpRef (RetAddr)");
102
103 case 1: NumArgs = 0;
104 break;
105
106 default: // two or more implicit refs
107 if( CallMI->implicitRefIsDefined(NumOfImpRefs-2) )
108 NumArgs = NumOfImpRefs - 2; // i.e., NumOfImpRef-2 is the ret val
109 else
110 NumArgs = NumOfImpRefs - 1;
111 }
112
113 }
Vikram S. Adve84982772001-10-22 13:41:12 +0000114 else if( OpCode == JMPLCALL ) {
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000115
116 // The last implicit operand is the return value of a JMPL instr
117 if( NumOfImpRefs > 0 ) {
118 if( CallMI->implicitRefIsDefined(NumOfImpRefs-1) )
119 NumArgs = NumOfImpRefs - 1; // i.e., NumOfImpRef-1 is the ret val
120 else
121 NumArgs = NumOfImpRefs;
122 }
123 else
124 NumArgs = NumOfImpRefs;
125 }
126 else
127 assert(0 && "OpCode must be CALL/JMPL for a call instr");
128
129 assert( (NumArgs != -1) && "Internal error in getCallInstNumArgs" );
130 return (unsigned) NumArgs;
131
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000132
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000133}
134
135
136//---------------------------------------------------------------------------
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000137// Suggests a register for the ret address in the RET machine instruction
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000138//---------------------------------------------------------------------------
Vikram S. Adve84982772001-10-22 13:41:12 +0000139
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000140void UltraSparcRegInfo::suggestReg4RetAddr(const MachineInstr * RetMI,
141 LiveRangeInfo& LRI) const {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000142
Vikram S. Adve84982772001-10-22 13:41:12 +0000143 assert( (RetMI->getNumOperands() >= 2)
144 && "JMPL/RETURN must have 3 and 2 operands respectively");
145
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000146 MachineOperand & MO = ( MachineOperand &) RetMI->getOperand(0);
147
148 MO.setRegForValue( getUnifiedRegNum( IntRegClassID, SparcIntRegOrder::i7) );
Vikram S. Adve84982772001-10-22 13:41:12 +0000149
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000150 // TODO (Optimize):
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000151 // Instead of setting the color, we can suggest one. In that case,
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000152 // we have to test later whether it received the suggested color.
153 // In that case, a LR has to be created at the start of method.
154 // It has to be done as follows (remove the setRegVal above):
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000155
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000156 /*
157 const Value *RetAddrVal = MO.getVRegValue();
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000158
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000159 assert( RetAddrVal && "LR for ret address must be created at start");
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000160
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000161 LiveRange * RetAddrLR = LRI.getLiveRangeForValue( RetAddrVal);
162 RetAddrLR->setSuggestedColor(getUnifiedRegNum( IntRegClassID,
163 SparcIntRegOrdr::i7) );
164 */
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000165
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000166
167}
168
169
170//---------------------------------------------------------------------------
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000171// Suggests a register for the ret address in the JMPL/CALL machine instr
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000172//---------------------------------------------------------------------------
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000173void UltraSparcRegInfo::suggestReg4CallAddr(const MachineInstr * CallMI,
174 LiveRangeInfo& LRI,
175 vector<RegClass *> RCList) const {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000176
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000177
178 const Value *RetAddrVal = getCallInstRetAddr( CallMI );
179
180 // RetAddrVal cannot be NULL (asserted in getCallInstRetAddr)
181 // create a new LR for the return address and color it
182
183 LiveRange * RetAddrLR = new LiveRange();
184 RetAddrLR->add( RetAddrVal );
185 unsigned RegClassID = getRegClassIDOfValue( RetAddrVal );
186 RetAddrLR->setRegClass( RCList[RegClassID] );
187 RetAddrLR->setColor(getUnifiedRegNum(IntRegClassID,SparcIntRegOrder::o7));
188 LRI.addLRToMap( RetAddrVal, RetAddrLR);
189
190
191 /*
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000192 assert( (CallMI->getNumOperands() == 3) && "JMPL must have 3 operands");
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000193
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000194 // directly set color since the LR of ret address (if there were one)
195 // will not extend after the call instr
196
197 MachineOperand & MO = ( MachineOperand &) CallMI->getOperand(2);
198 MO.setRegForValue( getUnifiedRegNum( IntRegClassID,SparcIntRegOrder::o7) );
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000199
200 */
201
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000202}
203
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000204
205
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000206
207//---------------------------------------------------------------------------
208// This method will suggest colors to incoming args to a method.
209// If the arg is passed on stack due to the lack of regs, NOTHING will be
210// done - it will be colored (or spilled) as a normal value.
211//---------------------------------------------------------------------------
212
213void UltraSparcRegInfo::suggestRegs4MethodArgs(const Method *const Meth,
214 LiveRangeInfo& LRI) const
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000215{
216
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000217 // get the argument list
218 const Method::ArgumentListType& ArgList = Meth->getArgumentList();
219 // get an iterator to arg list
220 Method::ArgumentListType::const_iterator ArgIt = ArgList.begin();
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000221
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000222 // for each argument
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000223 for( unsigned argNo=0; ArgIt != ArgList.end() ; ++ArgIt, ++argNo) {
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000224
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000225 // get the LR of arg
226 LiveRange *const LR = LRI.getLiveRangeForValue((const Value *) *ArgIt);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000227 assert( LR && "No live range found for method arg");
228
229 unsigned RegType = getRegType( LR );
230
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000231
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000232 // if the arg is in int class - allocate a reg for an int arg
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000233 if( RegType == IntRegType ) {
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000234
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000235 if( argNo < NumOfIntArgRegs) {
236 LR->setSuggestedColor( SparcIntRegOrder::i0 + argNo );
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000237
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000238 }
239
240 else {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000241 // Do NOTHING as this will be colored as a normal value.
Chris Lattnerf3f1e452001-10-15 18:15:27 +0000242 if (DEBUG_RA) cerr << " Int Regr not suggested for method arg\n";
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000243 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000244
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000245 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000246 else if( RegType==FPSingleRegType && (argNo*2+1) < NumOfFloatArgRegs)
247 LR->setSuggestedColor( SparcFloatRegOrder::f0 + (argNo * 2 + 1) );
248
249
250 else if( RegType == FPDoubleRegType && (argNo*2) < NumOfFloatArgRegs)
251 LR->setSuggestedColor( SparcFloatRegOrder::f0 + (argNo * 2) );
252
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000253
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000254 }
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000255
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000256}
257
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000258//---------------------------------------------------------------------------
259//
260//---------------------------------------------------------------------------
261
262void UltraSparcRegInfo::colorMethodArgs(const Method *const Meth,
263 LiveRangeInfo& LRI,
264 AddedInstrns *const FirstAI) const {
265
266 // get the argument list
267 const Method::ArgumentListType& ArgList = Meth->getArgumentList();
268 // get an iterator to arg list
269 Method::ArgumentListType::const_iterator ArgIt = ArgList.begin();
270
271 MachineInstr *AdMI;
272
273
274 // for each argument
275 for( unsigned argNo=0; ArgIt != ArgList.end() ; ++ArgIt, ++argNo) {
276
277 // get the LR of arg
278 LiveRange *const LR = LRI.getLiveRangeForValue((const Value *) *ArgIt);
279 assert( LR && "No live range found for method arg");
280
281
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000282 unsigned RegType = getRegType( LR );
283 unsigned RegClassID = (LR->getRegClass())->getID();
284
285
286 // find whether this argument is coming in a register (if not, on stack)
287
288 bool isArgInReg = false;
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000289 unsigned UniArgReg = InvalidRegNum; // reg that LR MUST be colored with
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000290
291 if( (RegType== IntRegType && argNo < NumOfIntArgRegs)) {
292 isArgInReg = true;
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000293 UniArgReg = getUnifiedRegNum( RegClassID, SparcIntRegOrder::i0 + argNo );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000294 }
295 else if(RegType == FPSingleRegType && argNo < NumOfFloatArgRegs) {
296 isArgInReg = true;
297 UniArgReg = getUnifiedRegNum( RegClassID,
298 SparcFloatRegOrder::f0 + argNo*2 + 1 ) ;
299 }
300 else if(RegType == FPDoubleRegType && argNo < NumOfFloatArgRegs) {
301 isArgInReg = true;
302 UniArgReg = getUnifiedRegNum(RegClassID, SparcFloatRegOrder::f0+argNo*2);
303 }
304
305
306 if( LR->hasColor() ) {
307
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000308 unsigned UniLRReg = getUnifiedRegNum( RegClassID, LR->getColor() );
309
310 // if LR received the correct color, nothing to do
311 if( UniLRReg == UniArgReg )
312 continue;
313
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000314 // We are here because the LR did not have a suggested
315 // color or did not receive the suggested color but LR got a register.
316 // Now we have to copy %ix reg (or stack pos of arg)
317 // to the register it was colored with.
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000318
319 // if the arg is coming in UniArgReg register MUST go into
320 // the UniLRReg register
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000321 if( isArgInReg )
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000322 AdMI = cpReg2RegMI( UniArgReg, UniLRReg, RegType );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000323
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000324 else {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000325
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000326 // Now the arg is coming on stack. Since the LR recieved a register,
327 // we just have to load the arg on stack into that register
328 int ArgStakOffFromFP =
329 UltraSparcFrameInfo::FirstIncomingArgOffsetFromFP +
330 argNo * SizeOfOperandOnStack;
331
332 AdMI = cpMem2RegMI(getFramePointer(), ArgStakOffFromFP,
333 UniLRReg, RegType );
334 }
335
336 FirstAI->InstrnsBefore.push_back( AdMI );
337
338 } // if LR received a color
339
340 else {
341
342 // Now, the LR did not receive a color. But it has a stack offset for
343 // spilling.
344
345 // So, if the arg is coming in UniArgReg register, we can just move
346 // that on to the stack pos of LR
347
348
349 if( isArgInReg ) {
350
351 MachineInstr *AdIBef =
352 cpReg2MemMI(UniArgReg, getFramePointer(),
353 LR->getSpillOffFromFP(), RegType );
354
355 FirstAI->InstrnsBefore.push_back( AdMI );
356 }
357
358 else {
359
360 // Now the arg is coming on stack. Since the LR did NOT
361 // recieved a register as well, it is allocated a stack position. We
362 // can simply change the stack poistion of the LR. We can do this,
363 // since this method is called before any other method that makes
364 // uses of the stack pos of the LR (e.g., updateMachineInstr)
365
366 int ArgStakOffFromFP =
367 UltraSparcFrameInfo::FirstIncomingArgOffsetFromFP +
368 argNo * SizeOfOperandOnStack;
369
370 LR->modifySpillOffFromFP( ArgStakOffFromFP );
371 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000372
373 }
374
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000375 } // for each incoming argument
376
377}
378
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000379
380
381
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000382//---------------------------------------------------------------------------
383// This method is called before graph coloring to suggest colors to the
384// outgoing call args and the return value of the call.
385//---------------------------------------------------------------------------
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000386void UltraSparcRegInfo::suggestRegs4CallArgs(const MachineInstr *const CallMI,
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000387 LiveRangeInfo& LRI,
388 vector<RegClass *> RCList) const {
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000389
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000390 assert ( (UltraSparcInfo->getInstrInfo()).isCall(CallMI->getOpCode()) );
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000391
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000392 suggestReg4CallAddr(CallMI, LRI, RCList);
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000393
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000394
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000395 // First color the return value of the call instruction. The return value
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000396 // will be in %o0 if the value is an integer type, or in %f0 if the
397 // value is a float type.
398
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000399 // the return value cannot have a LR in machine instruction since it is
400 // only defined by the call instruction
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000401
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000402 // if type is not void, create a new live range and set its
403 // register class and add to LRI
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000404
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000405
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000406 const Value *RetVal = getCallInstRetVal( CallMI );
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000407
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000408
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000409 if( RetVal ) {
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000410
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000411 assert( (! LRI.getLiveRangeForValue( RetVal ) ) &&
412 "LR for ret Value of call already definded!");
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000413
414
415 // create a new LR for the return value
416
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000417 LiveRange * RetValLR = new LiveRange();
418 RetValLR->add( RetVal );
419 unsigned RegClassID = getRegClassIDOfValue( RetVal );
420 RetValLR->setRegClass( RCList[RegClassID] );
421 LRI.addLRToMap( RetVal, RetValLR);
422
423 // now suggest a register depending on the register class of ret arg
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000424
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000425 if( RegClassID == IntRegClassID )
426 RetValLR->setSuggestedColor(SparcIntRegOrder::o0);
427 else if (RegClassID == FloatRegClassID )
428 RetValLR->setSuggestedColor(SparcFloatRegOrder::f0 );
429 else assert( 0 && "Unknown reg class for return value of call\n");
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000430
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000431 }
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000432
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000433
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000434 // Now suggest colors for arguments (operands) of the call instruction.
435 // Colors are suggested only if the arg number is smaller than the
436 // the number of registers allocated for argument passing.
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000437 // Now, go thru call args - implicit operands of the call MI
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000438
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000439 unsigned NumOfCallArgs = getCallInstNumArgs( CallMI );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000440
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000441 for(unsigned argNo=0, i=0; i < NumOfCallArgs; ++i, ++argNo ) {
442
443 const Value *CallArg = CallMI->getImplicitRef(i);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000444
445 // get the LR of call operand (parameter)
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000446 LiveRange *const LR = LRI.getLiveRangeForValue(CallArg);
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000447
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000448 // not possible to have a null LR since all args (even consts)
449 // must be defined before
450 if( !LR ) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000451 if( DEBUG_RA) {
Chris Lattnerf3f1e452001-10-15 18:15:27 +0000452 cerr << " ERROR: In call instr, no LR for arg: " ;
453 printValue(CallArg); cerr << endl;
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000454 }
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000455 assert(0 && "NO LR for call arg");
456 // continue;
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000457 }
458
459 unsigned RegType = getRegType( LR );
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000460
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000461 // if the arg is in int class - allocate a reg for an int arg
462 if( RegType == IntRegType ) {
463
464 if( argNo < NumOfIntArgRegs)
465 LR->setSuggestedColor( SparcIntRegOrder::o0 + argNo );
466
467 else if (DEBUG_RA)
468 // Do NOTHING as this will be colored as a normal value.
Chris Lattnerf3f1e452001-10-15 18:15:27 +0000469 cerr << " Regr not suggested for int call arg" << endl;
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000470
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000471 }
472 else if( RegType == FPSingleRegType && (argNo*2 +1)< NumOfFloatArgRegs)
473 LR->setSuggestedColor( SparcFloatRegOrder::f0 + (argNo * 2 + 1) );
474
475
476 else if( RegType == FPDoubleRegType && (argNo*2) < NumOfFloatArgRegs)
477 LR->setSuggestedColor( SparcFloatRegOrder::f0 + (argNo * 2) );
478
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000479
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000480 } // for all call arguments
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000481
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000482}
483
484
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000485//---------------------------------------------------------------------------
486// After graph coloring, we have call this method to see whehter the return
487// value and the call args received the correct colors. If not, we have
488// to instert copy instructions.
489//---------------------------------------------------------------------------
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000490
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000491void UltraSparcRegInfo::colorCallArgs(const MachineInstr *const CallMI,
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000492 LiveRangeInfo& LRI,
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000493 AddedInstrns *const CallAI,
494 PhyRegAlloc &PRA) const {
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000495
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000496 assert ( (UltraSparcInfo->getInstrInfo()).isCall(CallMI->getOpCode()) );
497
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000498 // First color the return value of the call.
499 // If there is a LR for the return value, it means this
500 // method returns a value
501
502 MachineInstr *AdMI;
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000503
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000504 const Value *RetVal = getCallInstRetVal( CallMI );
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000505
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000506 if( RetVal ) {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000507
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000508 LiveRange * RetValLR = LRI.getLiveRangeForValue( RetVal );
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000509
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000510 if( !RetValLR ) {
511 cerr << "\nNo LR for:";
512 printValue( RetVal );
513 cerr << endl;
514 assert( RetValLR && "ERR:No LR for non-void return value");
515 //return;
516 }
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000517
518 unsigned RegClassID = (RetValLR->getRegClass())->getID();
519 bool recvCorrectColor = false;
520
521 unsigned CorrectCol; // correct color for ret value
522 if(RegClassID == IntRegClassID)
523 CorrectCol = SparcIntRegOrder::o0;
524 else if(RegClassID == FloatRegClassID)
525 CorrectCol = SparcFloatRegOrder::f0;
Chris Lattnere147d062001-11-07 14:01:59 +0000526 else {
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000527 assert( 0 && "Unknown RegClass");
Chris Lattnere147d062001-11-07 14:01:59 +0000528 return;
529 }
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000530
531 // if the LR received the correct color, NOTHING to do
532
533 if( RetValLR->hasColor() )
534 if( RetValLR->getColor() == CorrectCol )
535 recvCorrectColor = true;
536
537
538 // if we didn't receive the correct color for some reason,
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000539 // put copy instruction
540
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000541 if( !recvCorrectColor ) {
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000542
543 unsigned RegType = getRegType( RetValLR );
544
545 // the reg that LR must be colored with
546 unsigned UniRetReg = getUnifiedRegNum( RegClassID, CorrectCol);
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000547
548 if( RetValLR->hasColor() ) {
549
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000550 unsigned
551 UniRetLRReg=getUnifiedRegNum(RegClassID,RetValLR->getColor());
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000552
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000553 // the return value is coming in UniRetReg but has to go into
554 // the UniRetLRReg
555
556 AdMI = cpReg2RegMI( UniRetReg, UniRetLRReg, RegType );
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000557
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000558 } // if LR has color
559 else {
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000560
561 // if the LR did NOT receive a color, we have to move the return
562 // value coming in UniRetReg to the stack pos of spilled LR
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000563
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000564 AdMI = cpReg2MemMI(UniRetReg, getFramePointer(),
565 RetValLR->getSpillOffFromFP(), RegType );
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000566 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000567
568 CallAI->InstrnsAfter.push_back( AdMI );
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000569
570 } // the LR didn't receive the suggested color
571
572 } // if there a return value
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000573
574
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000575 // Now color all args of the call instruction
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000576
Ruchira Sasanka24729a32001-10-21 16:43:41 +0000577 unsigned NumOfCallArgs = getCallInstNumArgs( CallMI );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000578
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000579 for(unsigned argNo=0, i=0; i < NumOfCallArgs; ++i, ++argNo ) {
580
581 const Value *CallArg = CallMI->getImplicitRef(i);
582
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000583 // get the LR of call operand (parameter)
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000584 LiveRange *const LR = LRI.getLiveRangeForValue(CallArg);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000585
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000586 unsigned RegType = getRegType( CallArg );
587 unsigned RegClassID = getRegClassIDOfValue( CallArg);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000588
589 // find whether this argument is coming in a register (if not, on stack)
590
591 bool isArgInReg = false;
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000592 unsigned UniArgReg = InvalidRegNum; // reg that LR must be colored with
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000593
594 if( (RegType== IntRegType && argNo < NumOfIntArgRegs)) {
595 isArgInReg = true;
596 UniArgReg = getUnifiedRegNum(RegClassID, SparcIntRegOrder::o0 + argNo );
597 }
598 else if(RegType == FPSingleRegType && argNo < NumOfFloatArgRegs) {
599 isArgInReg = true;
600 UniArgReg = getUnifiedRegNum(RegClassID,
601 SparcFloatRegOrder::f0 + (argNo*2 + 1) );
602 }
603 else if(RegType == FPDoubleRegType && argNo < NumOfFloatArgRegs) {
604 isArgInReg = true;
605 UniArgReg = getUnifiedRegNum(RegClassID, SparcFloatRegOrder::f0+argNo*2);
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000606 }
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000607
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000608
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000609 // not possible to have a null LR since all args (even consts)
610 // must be defined before
611 if( !LR ) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000612 if( DEBUG_RA) {
Chris Lattnerf3f1e452001-10-15 18:15:27 +0000613 cerr << " ERROR: In call instr, no LR for arg: " ;
614 printValue(CallArg); cerr << endl;
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000615 }
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000616 assert(0 && "NO LR for call arg");
617 // continue;
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000618 }
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000619
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000620
621 // if the LR received the suggested color, NOTHING to do
622
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000623
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000624 if( LR->hasColor() ) {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000625
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000626
627 unsigned UniLRReg = getUnifiedRegNum( RegClassID, LR->getColor() );
628
629 // if LR received the correct color, nothing to do
630 if( UniLRReg == UniArgReg )
631 continue;
632
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000633 // We are here because though the LR is allocated a register, it
634 // was not allocated the suggested register. So, we have to copy %ix reg
635 // (or stack pos of arg) to the register it was colored with
636
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000637 // the LR is colored with UniLRReg but has to go into UniArgReg
638 // to pass it as an argument
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000639
640 if( isArgInReg )
641 AdMI = cpReg2RegMI(UniLRReg, UniArgReg, RegType );
642
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000643 else {
644 // Now, we have to pass the arg on stack. Since LR received a register
645 // we just have to move that register to the stack position where
646 // the argument must be passed
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000647
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000648 int ArgStakOffFromSP =
649 UltraSparcFrameInfo::FirstOutgoingArgOffsetFromSP +
650 argNo * SizeOfOperandOnStack;
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000651
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000652 AdMI = cpReg2MemMI(UniLRReg, getStackPointer(), ArgStakOffFromSP,
653 RegType );
654 }
655
656 CallAI->InstrnsBefore.push_back( AdMI ); // Now add the instruction
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000657 }
658
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000659 else { // LR is not colored (i.e., spilled)
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000660
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000661 if( isArgInReg ) {
662
663 // Now the LR did NOT recieve a register but has a stack poistion.
664 // Since, the outgoing arg goes in a register we just have to insert
665 // a load instruction to load the LR to outgoing register
666
667
668 AdMI = cpMem2RegMI(getStackPointer(), LR->getSpillOffFromFP(),
669 UniArgReg, RegType );
670
671 CallAI->InstrnsBefore.push_back( AdMI ); // Now add the instruction
672 }
673
674 else {
675 // Now, we have to pass the arg on stack. Since LR also did NOT
676 // receive a register we have to move an argument in memory to
677 // outgoing parameter on stack.
678
679 // Optoimize: Optimize when reverse pointers in MahineInstr are
680 // introduced.
681 // call PRA.getUnusedRegAtMI(....) to get an unused reg. Only if this
682 // fails, then use the following code. Currently, we cannot call the
683 // above method since we cannot find LVSetBefore without the BB
684
685 int TReg = PRA.getRegNotUsedByThisInst( LR->getRegClass(), CallMI );
686 int TmpOff = PRA.getStackOffsets().getNewTmpPosOffFromFP();
687 int ArgStakOffFromSP =
688 UltraSparcFrameInfo::FirstOutgoingArgOffsetFromSP +
689 argNo * SizeOfOperandOnStack;
690
691 MachineInstr *Ad1, *Ad2, *Ad3, *Ad4;
692
693 // Sequence:
694 // (1) Save TReg on stack
695 // (2) Load LR value into TReg from stack pos of LR
696 // (3) Store Treg on outgoing Arg pos on stack
697 // (4) Load the old value of TReg from stack to TReg (restore it)
698
699 Ad1 = cpReg2MemMI(TReg, getFramePointer(), TmpOff, RegType );
700 Ad2 = cpMem2RegMI(getFramePointer(), LR->getSpillOffFromFP(),
701 TReg, RegType );
702 Ad3 = cpReg2MemMI(TReg, getStackPointer(), ArgStakOffFromSP, RegType );
703 Ad4 = cpMem2RegMI(getFramePointer(), TmpOff, TReg, RegType );
704
705 CallAI->InstrnsBefore.push_back( Ad1 );
706 CallAI->InstrnsBefore.push_back( Ad2 );
707 CallAI->InstrnsBefore.push_back( Ad3 );
708 CallAI->InstrnsBefore.push_back( Ad4 );
709 }
710
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000711 }
712
713 } // for each parameter in call instruction
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000714
715}
716
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000717//---------------------------------------------------------------------------
718// This method is called for an LLVM return instruction to identify which
719// values will be returned from this method and to suggest colors.
720//---------------------------------------------------------------------------
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000721void UltraSparcRegInfo::suggestReg4RetValue(const MachineInstr *const RetMI,
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000722 LiveRangeInfo& LRI) const {
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000723
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000724 assert( (UltraSparcInfo->getInstrInfo()).isReturn( RetMI->getOpCode() ) );
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000725
Ruchira Sasanka6a7f0202001-10-23 21:40:39 +0000726 suggestReg4RetAddr(RetMI, LRI);
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000727
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000728 // if there is an implicit ref, that has to be the ret value
729 if( RetMI->getNumImplicitRefs() > 0 ) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000730
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000731 // The first implicit operand is the return value of a return instr
732 const Value *RetVal = RetMI->getImplicitRef(0);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000733
734 MachineInstr *AdMI;
735 LiveRange *const LR = LRI.getLiveRangeForValue( RetVal );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000736
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000737 if( !LR ) {
Chris Lattnerf3f1e452001-10-15 18:15:27 +0000738 cerr << "\nNo LR for:";
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000739 printValue( RetVal );
Chris Lattnerf3f1e452001-10-15 18:15:27 +0000740 cerr << endl;
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000741 assert( LR && "No LR for return value of non-void method");
742 //return;
743 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000744
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000745 unsigned RegClassID = (LR->getRegClass())->getID();
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000746
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000747 if( RegClassID == IntRegClassID )
748 LR->setSuggestedColor(SparcIntRegOrder::i0);
749
750 else if ( RegClassID == FloatRegClassID )
751 LR->setSuggestedColor(SparcFloatRegOrder::f0);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000752
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000753 }
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000754
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000755}
756
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000757
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000758
759//---------------------------------------------------------------------------
760// Colors the return value of a method to %i0 or %f0, if possible. If it is
761// not possilbe to directly color the LR, insert a copy instruction to move
762// the LR to %i0 or %f0. When the LR is spilled, instead of the copy, we
763// have to put a load instruction.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000764//---------------------------------------------------------------------------
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000765void UltraSparcRegInfo::colorRetValue(const MachineInstr *const RetMI,
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000766 LiveRangeInfo& LRI,
767 AddedInstrns *const RetAI) const {
768
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000769 assert( (UltraSparcInfo->getInstrInfo()).isReturn( RetMI->getOpCode() ) );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000770
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000771 // if there is an implicit ref, that has to be the ret value
772 if( RetMI->getNumImplicitRefs() > 0 ) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000773
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000774 // The first implicit operand is the return value of a return instr
775 const Value *RetVal = RetMI->getImplicitRef(0);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000776
777 MachineInstr *AdMI;
778 LiveRange *const LR = LRI.getLiveRangeForValue( RetVal );
779
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000780 if( ! LR ) {
Chris Lattnerf3f1e452001-10-15 18:15:27 +0000781 cerr << "\nNo LR for:";
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000782 printValue( RetVal );
Chris Lattnerf3f1e452001-10-15 18:15:27 +0000783 cerr << endl;
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000784 // assert( LR && "No LR for return value of non-void method");
785 return;
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000786 }
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000787
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000788 unsigned RegClassID = getRegClassIDOfValue(RetVal);
789 unsigned RegType = getRegType( RetVal );
Ruchira Sasanka6a7f0202001-10-23 21:40:39 +0000790
Ruchira Sasanka6a7f0202001-10-23 21:40:39 +0000791 unsigned CorrectCol;
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000792 if(RegClassID == IntRegClassID)
Ruchira Sasanka6a7f0202001-10-23 21:40:39 +0000793 CorrectCol = SparcIntRegOrder::i0;
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000794 else if(RegClassID == FloatRegClassID)
Ruchira Sasanka6a7f0202001-10-23 21:40:39 +0000795 CorrectCol = SparcFloatRegOrder::f0;
Chris Lattnere147d062001-11-07 14:01:59 +0000796 else {
Ruchira Sasanka6a7f0202001-10-23 21:40:39 +0000797 assert( 0 && "Unknown RegClass");
Chris Lattnere147d062001-11-07 14:01:59 +0000798 return;
799 }
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000800
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000801 // if the LR received the correct color, NOTHING to do
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000802
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000803 if( LR->hasColor() )
804 if( LR->getColor() == CorrectCol )
805 return;
Ruchira Sasanka6a7f0202001-10-23 21:40:39 +0000806
807 unsigned UniRetReg = getUnifiedRegNum( RegClassID, CorrectCol );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000808
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000809 if( LR->hasColor() ) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000810
Ruchira Sasanka6a7f0202001-10-23 21:40:39 +0000811 // We are here because the LR was allocted a regiter
812 // It may be the suggested register or not
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000813
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000814 // copy the LR of retun value to i0 or f0
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000815
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000816 unsigned UniLRReg =getUnifiedRegNum( RegClassID, LR->getColor());
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000817
Ruchira Sasanka36bcd792001-10-24 15:56:58 +0000818 // the LR received UniLRReg but must be colored with UniRetReg
819 // to pass as the return value
820
Ruchira Sasanka086bf0f2001-10-15 16:25:28 +0000821 AdMI = cpReg2RegMI( UniLRReg, UniRetReg, RegType);
Ruchira Sasanka6a7f0202001-10-23 21:40:39 +0000822 RetAI->InstrnsBefore.push_back( AdMI );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000823 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000824 else { // if the LR is spilled
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000825
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +0000826 AdMI = cpMem2RegMI(getFramePointer(), LR->getSpillOffFromFP(),
827 UniRetReg, RegType);
828 RetAI->InstrnsBefore.push_back( AdMI );
829 cout << "\nCopied the return value from stack";
830 }
831
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000832 } // if there is a return value
833
834}
835
836
837//---------------------------------------------------------------------------
838// Copy from a register to register. Register number must be the unified
839// register number
840//---------------------------------------------------------------------------
841
842
843MachineInstr * UltraSparcRegInfo::cpReg2RegMI(const unsigned SrcReg,
844 const unsigned DestReg,
845 const int RegType) const {
846
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000847 assert( ((int)SrcReg != InvalidRegNum) && ((int)DestReg != InvalidRegNum) &&
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000848 "Invalid Register");
849
850 MachineInstr * MI = NULL;
851
852 switch( RegType ) {
853
854 case IntRegType:
Ruchira Sasanka5f629312001-10-18 22:38:52 +0000855 case IntCCRegType:
856 case FloatCCRegType:
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +0000857 MI = new MachineInstr(ADD, 3);
858 MI->SetMachineOperand(0, SrcReg, false);
859 MI->SetMachineOperand(1, SparcIntRegOrder::g0, false);
860 MI->SetMachineOperand(2, DestReg, true);
861 break;
862
863 case FPSingleRegType:
864 MI = new MachineInstr(FMOVS, 2);
865 MI->SetMachineOperand(0, SrcReg, false);
866 MI->SetMachineOperand(1, DestReg, true);
867 break;
868
869 case FPDoubleRegType:
870 MI = new MachineInstr(FMOVD, 2);
871 MI->SetMachineOperand(0, SrcReg, false);
872 MI->SetMachineOperand(1, DestReg, true);
873 break;
874
875 default:
876 assert(0 && "Unknow RegType");
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000877 }
878
879 return MI;
Ruchira Sasankadfc6c882001-09-18 22:52:44 +0000880}
Chris Lattnerb0ddffa2001-09-14 03:47:57 +0000881
882
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000883//---------------------------------------------------------------------------
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000884// Copy from a register to memory (i.e., Store). Register number must
885// be the unified register number
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000886//---------------------------------------------------------------------------
887
888
889MachineInstr * UltraSparcRegInfo::cpReg2MemMI(const unsigned SrcReg,
890 const unsigned DestPtrReg,
891 const int Offset,
892 const int RegType) const {
893
894
895 MachineInstr * MI = NULL;
896
897 switch( RegType ) {
898
899 case IntRegType:
Ruchira Sasanka5f629312001-10-18 22:38:52 +0000900 case FloatCCRegType:
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000901 MI = new MachineInstr(STX, 3);
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000902 MI->SetMachineOperand(0, SrcReg, false);
903 MI->SetMachineOperand(1, DestPtrReg, false);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000904 MI->SetMachineOperand(2, MachineOperand:: MO_SignExtendedImmed,
905 (int64_t) Offset, false);
906 break;
907
908 case FPSingleRegType:
909 MI = new MachineInstr(ST, 3);
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000910 MI->SetMachineOperand(0, SrcReg, false);
911 MI->SetMachineOperand(1, DestPtrReg, false);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000912 MI->SetMachineOperand(2, MachineOperand:: MO_SignExtendedImmed,
913 (int64_t) Offset, false);
914 break;
915
916 case FPDoubleRegType:
917 MI = new MachineInstr(STD, 3);
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000918 MI->SetMachineOperand(0, SrcReg, false);
919 MI->SetMachineOperand(1, DestPtrReg, false);
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000920 MI->SetMachineOperand(2, MachineOperand:: MO_SignExtendedImmed,
921 (int64_t) Offset, false);
922 break;
923
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000924 case IntCCRegType:
925 assert( 0 && "Cannot directly store %ccr to memory");
926
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000927 default:
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000928 assert(0 && "Unknow RegType in cpReg2MemMI");
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000929 }
930
931 return MI;
932}
933
934
935//---------------------------------------------------------------------------
Ruchira Sasanka0863c162001-10-24 22:05:34 +0000936// Copy from memory to a reg (i.e., Load) Register number must be the unified
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000937// register number
938//---------------------------------------------------------------------------
939
940
941MachineInstr * UltraSparcRegInfo::cpMem2RegMI(const unsigned SrcPtrReg,
942 const int Offset,
943 const unsigned DestReg,
944 const int RegType) const {
945
946 MachineInstr * MI = NULL;
947
948 switch( RegType ) {
949
950 case IntRegType:
Ruchira Sasanka5f629312001-10-18 22:38:52 +0000951 case FloatCCRegType:
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000952 MI = new MachineInstr(LDX, 3);
953 MI->SetMachineOperand(0, SrcPtrReg, false);
954 MI->SetMachineOperand(1, MachineOperand:: MO_SignExtendedImmed,
955 (int64_t) Offset, false);
956 MI->SetMachineOperand(2, DestReg, false);
957 break;
958
959 case FPSingleRegType:
960 MI = new MachineInstr(LD, 3);
961 MI->SetMachineOperand(0, SrcPtrReg, false);
962 MI->SetMachineOperand(1, MachineOperand:: MO_SignExtendedImmed,
963 (int64_t) Offset, false);
964 MI->SetMachineOperand(2, DestReg, false);
965
966 break;
967
968 case FPDoubleRegType:
969 MI = new MachineInstr(LDD, 3);
970 MI->SetMachineOperand(0, SrcPtrReg, false);
971 MI->SetMachineOperand(1, MachineOperand:: MO_SignExtendedImmed,
972 (int64_t) Offset, false);
973 MI->SetMachineOperand(2, DestReg, false);
974 break;
975
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000976 case IntCCRegType:
977 assert( 0 && "Cannot directly load into %ccr from memory");
978
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000979 default:
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000980 assert(0 && "Unknow RegType in cpMem2RegMI");
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000981 }
982
983 return MI;
984}
985
986
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +0000987
988
989// Following method is Not needed now
990
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000991MachineInstr* UltraSparcRegInfo::cpValue2Value(Value *Src, Value *Dest) const {
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +0000992
Ruchira Sasankab7a39722001-11-03 17:13:27 +0000993 MachineInstr * MI = NULL;
994
995 MI = new MachineInstr(ADD, 3);
996 MI->SetMachineOperand(0, MachineOperand:: MO_VirtualRegister, Src, false);
997 MI->SetMachineOperand(1, SparcIntRegOrder::g0, false);
998 MI->SetMachineOperand(2, MachineOperand:: MO_VirtualRegister, Dest, true);
999
1000
1001 return MI;
1002
1003}
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +00001004
1005
1006
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001007//----------------------------------------------------------------------------
1008// This method inserts caller saving/restoring instructons before/after
1009// a call machine instruction.
1010//----------------------------------------------------------------------------
Ruchira Sasanka5b8971f2001-10-16 01:23:19 +00001011
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001012
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001013void UltraSparcRegInfo::insertCallerSavingCode(const MachineInstr *MInst,
1014 const BasicBlock *BB,
1015 PhyRegAlloc &PRA) const {
1016 // assert( (getInstrInfo()).isCall( MInst->getOpCode() ) );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001017
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001018
1019 PRA.StackOffsets.resetTmpPos();
1020
1021 hash_set<unsigned> PushedRegSet;
1022
1023 // Now find the LR of the return value of the call
1024 // The last *implicit operand* is the return value of a call
1025 // Insert it to to he PushedRegSet since we must not save that register
1026 // and restore it after the call.
1027 // We do this because, we look at the LV set *after* the instruction
1028 // to determine, which LRs must be saved across calls. The return value
1029 // of the call is live in this set - but we must not save/restore it.
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001030
1031
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001032 const Value *RetVal = getCallInstRetVal( MInst );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001033
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001034 if( RetVal ) {
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001035
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001036 LiveRange *RetValLR = PRA.LRI.getLiveRangeForValue( RetVal );
1037 assert( RetValLR && "No LR for RetValue of call");
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001038
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001039 PushedRegSet.insert(
1040 getUnifiedRegNum((RetValLR->getRegClass())->getID(),
1041 RetValLR->getColor() ) );
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001042 }
1043
1044
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001045 const LiveVarSet *LVSetAft = PRA.LVI->getLiveVarSetAfterMInst(MInst, BB);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001046
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001047 LiveVarSet::const_iterator LIt = LVSetAft->begin();
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001048
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001049 // for each live var in live variable set after machine inst
1050 for( ; LIt != LVSetAft->end(); ++LIt) {
1051
1052 // get the live range corresponding to live var
1053 LiveRange *const LR = PRA.LRI.getLiveRangeForValue(*LIt );
1054
1055 // LR can be null if it is a const since a const
1056 // doesn't have a dominating def - see Assumptions above
1057 if( LR ) {
1058
1059 if( LR->hasColor() ) {
1060
1061 unsigned RCID = (LR->getRegClass())->getID();
1062 unsigned Color = LR->getColor();
1063
1064 if ( isRegVolatile(RCID, Color) ) {
1065
1066 // if the value is in both LV sets (i.e., live before and after
1067 // the call machine instruction)
1068
1069 unsigned Reg = getUnifiedRegNum(RCID, Color);
1070
1071 if( PushedRegSet.find(Reg) == PushedRegSet.end() ) {
1072
1073 // if we haven't already pushed that register
1074
1075 unsigned RegType = getRegType( LR );
1076
1077 // Now get two instructions - to push on stack and pop from stack
1078 // and add them to InstrnsBefore and InstrnsAfter of the
1079 // call instruction
1080
1081 int StackOff = PRA.StackOffsets. getNewTmpPosOffFromFP();
1082
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001083
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001084 MachineInstr *AdIBefCC, *AdIAftCC, *AdICpCC;
Vikram S. Advef5b4f472001-11-06 05:01:54 +00001085 MachineInstr *AdIBef, *AdIAft;
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001086
1087
1088 //---- Insert code for pushing the reg on stack ----------
1089
1090 if( RegType == IntCCRegType ) {
1091
1092 // Handle IntCCRegType specially since we cannot directly
1093 // push %ccr on to the stack
1094
1095 const LiveVarSet *LVSetBef =
1096 PRA.LVI->getLiveVarSetBeforeMInst(MInst, BB);
1097
1098 // get a free INTEGER register
1099 int FreeIntReg =
1100 PRA.getUsableRegAtMI(LR->getRegClass(), IntRegType, MInst,
1101 LVSetBef, AdIBefCC, AdIAftCC);
1102
1103 // insert the instructions in reverse order since we are
1104 // adding them to the front of InstrnsBefore
1105
1106 if(AdIAftCC)
1107 (PRA.AddedInstrMap[MInst]->InstrnsBefore).push_front(AdIAftCC);
1108
1109 AdICpCC = cpCCR2IntMI(FreeIntReg);
1110 (PRA.AddedInstrMap[MInst]->InstrnsBefore).push_front(AdICpCC);
1111
1112 if(AdIBefCC)
1113 (PRA.AddedInstrMap[MInst]->InstrnsBefore).push_front(AdIBefCC);
1114
1115 cerr << "\n!! Inserted caller saving (push) inst for %ccr:";
1116 if(AdIBefCC) cerr << "\t" << *(AdIBefCC);
1117 cerr << "\t" << *AdICpCC;
1118 if(AdIAftCC) cerr << "\t" << *(AdIAftCC);
1119
1120 } else {
1121 // for any other register type, just add the push inst
Vikram S. Advef5b4f472001-11-06 05:01:54 +00001122 AdIBef = cpReg2MemMI(Reg, getStackPointer(), StackOff, RegType );
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001123 ((PRA.AddedInstrMap[MInst])->InstrnsBefore).push_front(AdIBef);
1124 }
1125
1126
1127 //---- Insert code for popping the reg from the stack ----------
1128
1129 if( RegType == IntCCRegType ) {
1130
1131 // Handle IntCCRegType specially since we cannot directly
1132 // pop %ccr on from the stack
1133
1134 // get a free INT register
1135 int FreeIntReg =
1136 PRA.getUsableRegAtMI(LR->getRegClass(), IntRegType, MInst,
1137 LVSetAft, AdIBefCC, AdIAftCC);
1138
1139 if(AdIBefCC)
1140 (PRA.AddedInstrMap[MInst]->InstrnsAfter).push_back(AdIBefCC);
1141
1142 AdICpCC = cpInt2CCRMI(FreeIntReg);
1143 (PRA.AddedInstrMap[MInst]->InstrnsAfter).push_back(AdICpCC);
1144
1145 if(AdIAftCC)
1146 (PRA.AddedInstrMap[MInst]->InstrnsAfter).push_back(AdIAftCC);
1147
1148 cerr << "\n!! Inserted caller saving (pop) inst for %ccr:";
1149 if(AdIBefCC) cerr << "\t" << *(AdIBefCC);
1150 cerr << "\t" << *AdICpCC;
1151 if(AdIAftCC) cerr << "\t" << *(AdIAftCC);
1152
1153 } else {
1154 // for any other register type, just add the pop inst
Vikram S. Advef5b4f472001-11-06 05:01:54 +00001155 AdIAft = cpMem2RegMI(getStackPointer(), StackOff, Reg, RegType );
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001156 ((PRA.AddedInstrMap[MInst])->InstrnsAfter).push_back(AdIAft);
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001157 }
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001158
1159 PushedRegSet.insert( Reg );
1160
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001161 if(1) {
1162 cerr << "\nFor call inst:" << *MInst;
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001163 cerr << "\n -inserted caller saving instrs:\n\t ";
Vikram S. Advef5b4f472001-11-06 05:01:54 +00001164 if( RegType == IntCCRegType )
1165 cerr << *AdIBefCC << "\n\t" << *AdIAftCC ;
1166 else
1167 cerr << *AdIBef << "\n\t" << *AdIAft ;
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001168 }
1169 } // if not already pushed
1170
1171 } // if LR has a volatile color
1172
1173 } // if LR has color
1174
1175 } // if there is a LR for Var
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001176
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001177 } // for each value in the LV set after instruction
1178
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001179}
1180
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001181//---------------------------------------------------------------------------
1182// Copies %ccr into an integer register. IntReg is the UNIFIED register
1183// number.
1184//---------------------------------------------------------------------------
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001185
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001186MachineInstr * UltraSparcRegInfo::cpCCR2IntMI(const unsigned IntReg) const {
1187 MachineInstr * MI = NULL;
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001188
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001189 MI = new MachineInstr(RDCCR, 2);
1190 MI->SetMachineOperand(0, SparcIntCCRegOrder::ccr, false);
1191 MI->SetMachineOperand(1, IntReg, true);
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001192
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001193 return MI;
1194}
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001195
Ruchira Sasanka9d8950d2001-11-03 19:59:59 +00001196//---------------------------------------------------------------------------
1197// Copies an integer register into %ccr. IntReg is the UNIFIED register
1198// number.
1199//---------------------------------------------------------------------------
1200
1201MachineInstr * UltraSparcRegInfo::cpInt2CCRMI(const unsigned IntReg) const {
1202 MachineInstr * MI = NULL;
1203
1204 MI = new MachineInstr(WRCCR, 3);
1205 MI->SetMachineOperand(0, IntReg, false);
1206 MI->SetMachineOperand(1, SparcIntRegOrder::g0, false);
1207 MI->SetMachineOperand(2, SparcIntCCRegOrder::ccr, true);
1208
1209 return MI;
1210}
Ruchira Sasanka5867c7a2001-09-30 23:16:47 +00001211
1212
Ruchira Sasanka9c38dbc2001-10-28 18:15:12 +00001213
1214
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00001215//---------------------------------------------------------------------------
1216// Print the register assigned to a LR
1217//---------------------------------------------------------------------------
1218
1219void UltraSparcRegInfo::printReg(const LiveRange *const LR) {
1220
1221 unsigned RegClassID = (LR->getRegClass())->getID();
1222
Chris Lattnerf3f1e452001-10-15 18:15:27 +00001223 cerr << " *Node " << (LR->getUserIGNode())->getIndex();
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00001224
1225 if( ! LR->hasColor() ) {
Chris Lattnerf3f1e452001-10-15 18:15:27 +00001226 cerr << " - could not find a color" << endl;
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00001227 return;
1228 }
1229
1230 // if a color is found
1231
Chris Lattnerf3f1e452001-10-15 18:15:27 +00001232 cerr << " colored with color "<< LR->getColor();
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00001233
1234 if( RegClassID == IntRegClassID ) {
1235
Chris Lattnerf3f1e452001-10-15 18:15:27 +00001236 cerr<< " [" << SparcIntRegOrder::getRegName(LR->getColor()) ;
1237 cerr << "]" << endl;
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00001238 }
1239 else if ( RegClassID == FloatRegClassID) {
Chris Lattnerf3f1e452001-10-15 18:15:27 +00001240 cerr << "[" << SparcFloatRegOrder::getRegName(LR->getColor());
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00001241 if( LR->getTypeID() == Type::DoubleTyID )
Chris Lattnerf3f1e452001-10-15 18:15:27 +00001242 cerr << "+" << SparcFloatRegOrder::getRegName(LR->getColor()+1);
1243 cerr << "]" << endl;
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00001244 }
Ruchira Sasankadfc6c882001-09-18 22:52:44 +00001245}