blob: 4b6a0f9650571ff8fc4848b6b6c6d3cd24819d4f [file] [log] [blame]
Ruchira Sasanka8e604792001-09-14 21:18:34 +00001#include "llvm/CodeGen/PhyRegAlloc.h"
2
Chris Lattner045e7c82001-09-19 16:26:23 +00003cl::Enum<RegAllocDebugLevel_t> DEBUG_RA("dregalloc", cl::NoFlags,
4 "enable register allocation debugging information",
5 clEnumValN(RA_DEBUG_None , "n", "disable debug output"),
6 clEnumValN(RA_DEBUG_Normal , "y", "enable debug output"),
7 clEnumValN(RA_DEBUG_Verbose, "v", "enable extra debug output"), 0);
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +00008
9
10//----------------------------------------------------------------------------
11// Constructor: Init local composite objects and create register classes.
12//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +000013PhyRegAlloc::PhyRegAlloc(const Method *const M,
14 const TargetMachine& tm,
15 MethodLiveVarInfo *const Lvi)
16 : RegClassList(),
17 Meth(M), TM(tm), LVI(Lvi), LRI(M, tm, RegClassList),
18 MRI( tm.getRegInfo() ),
19 NumOfRegClasses(MRI.getNumOfRegClasses()),
Ruchira Sasanka8e604792001-09-14 21:18:34 +000020 AddedInstrMap()
21
22{
23 // **TODO: use an actual reserved color list
24 ReservedColorListType *RCL = new ReservedColorListType();
25
26 // create each RegisterClass and put in RegClassList
27 for( unsigned int rc=0; rc < NumOfRegClasses; rc++)
28 RegClassList.push_back( new RegClass(M, MRI.getMachineRegClass(rc), RCL) );
29
30}
31
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +000032//----------------------------------------------------------------------------
33// This method initally creates interference graphs (one in each reg class)
34// and IGNodeList (one in each IG). The actual nodes will be pushed later.
35//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +000036
37void PhyRegAlloc::createIGNodeListsAndIGs()
38{
Ruchira Sasankac4d4b762001-10-16 01:23:19 +000039 if(DEBUG_RA ) cout << "Creating LR lists ..." << endl;
Ruchira Sasanka8e604792001-09-14 21:18:34 +000040
41 // hash map iterator
42 LiveRangeMapType::const_iterator HMI = (LRI.getLiveRangeMap())->begin();
43
44 // hash map end
45 LiveRangeMapType::const_iterator HMIEnd = (LRI.getLiveRangeMap())->end();
46
47 for( ; HMI != HMIEnd ; ++HMI ) {
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +000048
49 if( (*HMI).first ) {
Ruchira Sasanka8e604792001-09-14 21:18:34 +000050
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +000051 LiveRange *L = (*HMI).second; // get the LiveRange
Ruchira Sasanka8e604792001-09-14 21:18:34 +000052
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +000053 if( !L) {
54 if( DEBUG_RA) {
Ruchira Sasankac4d4b762001-10-16 01:23:19 +000055 cout << "\n*?!?Warning: Null liver range found for: ";
56 printValue( (*HMI).first) ; cout << endl;
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +000057 }
58 continue;
59 }
Ruchira Sasanka8e604792001-09-14 21:18:34 +000060 // if the Value * is not null, and LR
61 // is not yet written to the IGNodeList
62 if( !(L->getUserIGNode()) ) {
63
64 RegClass *const RC = // RegClass of first value in the LR
65 //RegClassList [MRI.getRegClassIDOfValue(*(L->begin()))];
66 RegClassList[ L->getRegClass()->getID() ];
67
68 RC-> addLRToIG( L ); // add this LR to an IG
69 }
70 }
71 }
72
73 // init RegClassList
74 for( unsigned int rc=0; rc < NumOfRegClasses ; rc++)
75 RegClassList[ rc ]->createInterferenceGraph();
76
77 if( DEBUG_RA)
Ruchira Sasankac4d4b762001-10-16 01:23:19 +000078 cout << "LRLists Created!" << endl;
Ruchira Sasanka8e604792001-09-14 21:18:34 +000079}
80
81
82
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +000083//----------------------------------------------------------------------------
84// This method will add all interferences at for a given instruction.
Ruchira Sasanka8e604792001-09-14 21:18:34 +000085// Interence occurs only if the LR of Def (Inst or Arg) is of the same reg
86// class as that of live var. The live var passed to this function is the
87// LVset AFTER the instruction
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +000088//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +000089
90void PhyRegAlloc::addInterference(const Value *const Def,
91 const LiveVarSet *const LVSet,
92 const bool isCallInst) {
93
94 LiveVarSet::const_iterator LIt = LVSet->begin();
95
96 // get the live range of instruction
97 const LiveRange *const LROfDef = LRI.getLiveRangeForValue( Def );
98
99 IGNode *const IGNodeOfDef = LROfDef->getUserIGNode();
100 assert( IGNodeOfDef );
101
102 RegClass *const RCOfDef = LROfDef->getRegClass();
103
104 // for each live var in live variable set
105 for( ; LIt != LVSet->end(); ++LIt) {
106
107 if( DEBUG_RA > 1) {
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000108 cout << "< Def="; printValue(Def);
109 cout << ", Lvar="; printValue( *LIt); cout << "> ";
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000110 }
111
112 // get the live range corresponding to live var
113 LiveRange *const LROfVar = LRI.getLiveRangeForValue(*LIt );
114
115 // LROfVar can be null if it is a const since a const
116 // doesn't have a dominating def - see Assumptions above
117 if( LROfVar) {
118
119 if(LROfDef == LROfVar) // do not set interf for same LR
120 continue;
121
122 // if 2 reg classes are the same set interference
123 if( RCOfDef == LROfVar->getRegClass() ){
124 RCOfDef->setInterference( LROfDef, LROfVar);
125
126 }
127
128 //the live range of this var interferes with this call
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000129 if( isCallInst ) {
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000130 LROfVar->addCallInterference( (const Instruction *const) Def );
Ruchira Sasanka0fd8dc82001-10-18 23:58:08 +0000131 if( DEBUG_RA) {
132 cout << "\n ++Added Call Interf to set:";
133 LROfVar->printSet();
134 }
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000135 }
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000136 }
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000137 else if(DEBUG_RA > 1) {
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000138 // we will not have LRs for values not explicitly allocated in the
139 // instruction stream (e.g., constants)
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000140 cout << " warning: no live range for " ;
141 printValue( *LIt); cout << endl; }
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000142
143 }
144
145}
146
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000147//----------------------------------------------------------------------------
148// This method will walk thru code and create interferences in the IG of
149// each RegClass.
150//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000151
152void PhyRegAlloc::buildInterferenceGraphs()
153{
154
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000155 if(DEBUG_RA) cout << "Creating interference graphs ..." << endl;
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000156
157 Method::const_iterator BBI = Meth->begin(); // random iterator for BBs
158
159 for( ; BBI != Meth->end(); ++BBI) { // traverse BBs in random order
160
161 // get the iterator for machine instructions
162 const MachineCodeForBasicBlock& MIVec = (*BBI)->getMachineInstrVec();
163 MachineCodeForBasicBlock::const_iterator
164 MInstIterator = MIVec.begin();
165
166 // iterate over all the machine instructions in BB
167 for( ; MInstIterator != MIVec.end(); ++MInstIterator) {
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000168
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000169 const MachineInstr *const MInst = *MInstIterator;
170
171 // get the LV set after the instruction
172 const LiveVarSet *const LVSetAI =
173 LVI->getLiveVarSetAfterMInst(MInst, *BBI);
174
175 const bool isCallInst = TM.getInstrInfo().isCall(MInst->getOpCode());
176
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000177 // if( isCallInst) cout << "\n%%% Found call Inst:\n";
178
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000179 // iterate over MI operands to find defs
180 for( MachineInstr::val_op_const_iterator OpI(MInst);!OpI.done(); ++OpI) {
181
182 if( OpI.isDef() ) {
183 // create a new LR iff this operand is a def
184 addInterference(*OpI, LVSetAI, isCallInst );
185
186 } //if this is a def
187
188 } // for all operands
189
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000190
191 // Also add interference for any implicit definitions in a machine
192 // instr (currently, only calls have this).
193
194 unsigned NumOfImpRefs = MInst->getNumImplicitRefs();
195 if( NumOfImpRefs > 0 ) {
196 for(unsigned z=0; z < NumOfImpRefs; z++)
197 if( MInst->implicitRefIsDefined(z) )
198 addInterference( MInst->getImplicitRef(z), LVSetAI, isCallInst );
199 }
200
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000201 } // for all machine instructions in BB
202
203
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000204#if 0
205
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000206 // go thru LLVM instructions in the basic block and record all CALL
Ruchira Sasankae727f852001-09-18 22:43:57 +0000207 // instructions and Return instructions in the CallInstrList
208 // This is done because since there are no reverse pointers in machine
209 // instructions to find the llvm instruction, when we encounter a call
210 // or a return whose args must be specailly colored (e.g., %o's for args)
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000211 BasicBlock::const_iterator InstIt = (*BBI)->begin();
212
213 for( ; InstIt != (*BBI)->end() ; ++ InstIt) {
Ruchira Sasankae727f852001-09-18 22:43:57 +0000214 unsigned OpCode = (*InstIt)->getOpcode();
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000215
Ruchira Sasankae727f852001-09-18 22:43:57 +0000216 if( OpCode == Instruction::Call )
217 CallInstrList.push_back( *InstIt );
218
219 else if( OpCode == Instruction::Ret )
220 RetInstrList.push_back( *InstIt );
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000221 }
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000222
223#endif
224
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000225
226 } // for all BBs in method
227
228
229 // add interferences for method arguments. Since there are no explict
230 // defs in method for args, we have to add them manually
231
232 addInterferencesForArgs(); // add interference for method args
233
234 if( DEBUG_RA)
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000235 cout << "Interference graphs calculted!" << endl;
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000236
237}
238
239
240
241
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000242//----------------------------------------------------------------------------
243// This method will add interferences for incoming arguments to a method.
244//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000245void PhyRegAlloc::addInterferencesForArgs()
246{
247 // get the InSet of root BB
248 const LiveVarSet *const InSet = LVI->getInSetOfBB( Meth->front() );
249
250 // get the argument list
251 const Method::ArgumentListType& ArgList = Meth->getArgumentList();
252
253 // get an iterator to arg list
254 Method::ArgumentListType::const_iterator ArgIt = ArgList.begin();
255
256
257 for( ; ArgIt != ArgList.end() ; ++ArgIt) { // for each argument
258 addInterference( *ArgIt, InSet, false ); // add interferences between
259 // args and LVars at start
260 if( DEBUG_RA > 1) {
Ruchira Sasanka97b8b442001-10-18 22:36:26 +0000261 cout << " - %% adding interference for argument ";
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000262 printValue( (const Value *) *ArgIt); cout << endl;
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000263 }
264 }
265}
266
267
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000268
269//----------------------------------------------------------------------------
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000270// This method inserts caller saving/restoring instructons before/after
271// a call machine instruction.
272//----------------------------------------------------------------------------
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000273
274
275void PhyRegAlloc::insertCallerSavingCode(const MachineInstr *MInst,
276 const BasicBlock *BB )
277{
278 assert( (TM.getInstrInfo()).isCall( MInst->getOpCode() ) );
279
Ruchira Sasanka47c13722001-10-16 01:33:55 +0000280 int StackOff = -8; // ****TODO : Change
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000281 hash_set<unsigned> PushedRegSet;
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000282
283 // Now find the LR of the return value of the call
284 // The last *implicit operand* is the return value of a call
285 // Insert it to to he PushedRegSet since we must not save that register
286 // and restore it after the call.
287 // We do this because, we look at the LV set *after* the instruction
288 // to determine, which LRs must be saved across calls. The return value
289 // of the call is live in this set - but we must not save/restore it.
290
291 unsigned NumOfImpRefs = MInst->getNumImplicitRefs();
292 if( NumOfImpRefs > 0 ) {
293
294 if( MInst->implicitRefIsDefined(NumOfImpRefs-1) ) {
295
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000296 const Value *RetVal = MInst->getImplicitRef(NumOfImpRefs-1);
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000297 LiveRange *RetValLR = LRI.getLiveRangeForValue( RetVal );
298 assert( RetValLR && "No LR for RetValue of call");
299
300 PushedRegSet.insert(
301 MRI.getUnifiedRegNum((RetValLR->getRegClass())->getID(),
302 RetValLR->getColor() ) );
303 }
304
305 }
306
307
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000308 const LiveVarSet *LVSetAft = LVI->getLiveVarSetAfterMInst(MInst, BB);
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000309
310 LiveVarSet::const_iterator LIt = LVSetAft->begin();
311
312 // for each live var in live variable set after machine inst
313 for( ; LIt != LVSetAft->end(); ++LIt) {
314
315 // get the live range corresponding to live var
316 LiveRange *const LR = LRI.getLiveRangeForValue(*LIt );
317
318 // LROfVar can be null if it is a const since a const
319 // doesn't have a dominating def - see Assumptions above
320 if( LR ) {
321
322 if( LR->hasColor() ) {
323
324 unsigned RCID = (LR->getRegClass())->getID();
325 unsigned Color = LR->getColor();
326
327 if ( MRI.isRegVolatile(RCID, Color) ) {
328
329 // if the value is in both LV sets (i.e., live before and after
330 // the call machine instruction)
Ruchira Sasanka97b8b442001-10-18 22:36:26 +0000331
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000332 unsigned Reg = MRI.getUnifiedRegNum(RCID, Color);
333
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000334 if( PushedRegSet.find(Reg) == PushedRegSet.end() ) {
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000335
336 // if we haven't already pushed that register
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000337
338 unsigned RegType = MRI.getRegType( LR );
339
340 // Now get two instructions - to push on stack and pop from stack
341 // and add them to InstrnsBefore and InstrnsAfter of the
342 // call instruction
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000343
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000344 MachineInstr *AdIBef =
345 MRI.cpReg2MemMI(Reg, MRI.getFramePointer(), StackOff, RegType );
346
347 MachineInstr *AdIAft =
348 MRI.cpMem2RegMI(MRI.getFramePointer(), StackOff, Reg, RegType );
349
350 ((AddedInstrMap[MInst])->InstrnsBefore).push_front(AdIBef);
351 ((AddedInstrMap[MInst])->InstrnsAfter).push_back(AdIAft);
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000352
353 PushedRegSet.insert( Reg );
Ruchira Sasanka47c13722001-10-16 01:33:55 +0000354 StackOff -= 8; // ****TODO: Correct ??????
Ruchira Sasanka97b8b442001-10-18 22:36:26 +0000355
356 if(DEBUG_RA) {
357 cout << "For callee save call inst:" << *MInst << endl;
358 cerr << "\n -inserted caller saving instrs:\n\t ";
359 cerr << *AdIBef << "\n\t" << *AdIAft ;
360 }
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000361 } // if not already pushed
362
363 } // if LR has a volatile color
364
365 } // if LR has color
366
367 } // if there is a LR for Var
368
369 } // for each value in the LV set after instruction
370
371}
372
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000373
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000374//----------------------------------------------------------------------------
375// This method is called after register allocation is complete to set the
376// allocated reisters in the machine code. This code will add register numbers
377// to MachineOperands that contain a Value.
378//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000379
380void PhyRegAlloc::updateMachineCode()
381{
382
383 Method::const_iterator BBI = Meth->begin(); // random iterator for BBs
384
385 for( ; BBI != Meth->end(); ++BBI) { // traverse BBs in random order
386
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000387 // get the iterator for machine instructions
388 MachineCodeForBasicBlock& MIVec = (*BBI)->getMachineInstrVec();
389 MachineCodeForBasicBlock::iterator MInstIterator = MIVec.begin();
390
391 // iterate over all the machine instructions in BB
392 for( ; MInstIterator != MIVec.end(); ++MInstIterator) {
393
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000394 MachineInstr *MInst = *MInstIterator;
395
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000396 // if this machine instr is call, insert caller saving code
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000397
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000398 if( (TM.getInstrInfo()).isCall( MInst->getOpCode()) )
399 insertCallerSavingCode(MInst, *BBI );
400
401 // If there are instructions to be added, *before* this machine
402 // instruction, add them now.
403
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000404 if( AddedInstrMap[ MInst ] ) {
405
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000406 deque<MachineInstr *> &IBef = (AddedInstrMap[MInst])->InstrnsBefore;
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000407
408 if( ! IBef.empty() ) {
409
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000410 deque<MachineInstr *>::iterator AdIt;
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000411
412 for( AdIt = IBef.begin(); AdIt != IBef.end() ; ++AdIt ) {
413
Ruchira Sasanka97b8b442001-10-18 22:36:26 +0000414 if( DEBUG_RA)
415 cerr << " *$* PREPENDed instr " << *AdIt << endl;
416
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000417 MInstIterator = MIVec.insert( MInstIterator, *AdIt );
418 ++MInstIterator;
419 }
420
421 }
422
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000423 }
424
425
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000426
427 //for(MachineInstr::val_op_const_iterator OpI(MInst);!OpI.done();++OpI) {
428
429 for(unsigned OpNum=0; OpNum < MInst->getNumOperands(); ++OpNum) {
430
431 MachineOperand& Op = MInst->getOperand(OpNum);
432
433 if( Op.getOperandType() == MachineOperand::MO_VirtualRegister ||
434 Op.getOperandType() == MachineOperand::MO_CCRegister) {
435
436 const Value *const Val = Op.getVRegValue();
437
438 // delete this condition checking later (must assert if Val is null)
Chris Lattner045e7c82001-09-19 16:26:23 +0000439 if( !Val) {
440 if (DEBUG_RA)
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000441 cout << "Warning: NULL Value found for operand" << endl;
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000442 continue;
443 }
444 assert( Val && "Value is NULL");
445
446 const LiveRange *const LR = LRI.getLiveRangeForValue(Val);
447
448 if ( !LR ) {
Ruchira Sasankae727f852001-09-18 22:43:57 +0000449
450 // nothing to worry if it's a const or a label
451
Chris Lattner4c3aaa42001-09-19 16:09:04 +0000452 if (DEBUG_RA) {
Ruchira Sasanka1b732fd2001-10-16 16:34:44 +0000453 cout << "*NO LR for operand : " << Op ;
454 cout << " [reg:" << Op.getAllocatedRegNum() << "]";
455 cout << " in inst:\t" << *MInst << endl;
Chris Lattner4c3aaa42001-09-19 16:09:04 +0000456 }
Ruchira Sasankae727f852001-09-18 22:43:57 +0000457
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000458 // if register is not allocated, mark register as invalid
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000459 if( Op.getAllocatedRegNum() == -1)
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000460 Op.setRegForValue( MRI.getInvalidRegNum());
Ruchira Sasankae727f852001-09-18 22:43:57 +0000461
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000462#if 0
Ruchira Sasankae727f852001-09-18 22:43:57 +0000463 if( ((Val->getType())->isLabelType()) ||
464 (Val->getValueType() == Value::ConstantVal) )
465 ; // do nothing
466
467 // The return address is not explicitly defined within a
468 // method. So, it is not colored by usual algorithm. In that case
469 // color it here.
470
471 //else if (TM.getInstrInfo().isCall(MInst->getOpCode()))
472 //Op.setRegForValue( MRI.getCallAddressReg() );
473
474 //TM.getInstrInfo().isReturn(MInst->getOpCode())
475 else if(TM.getInstrInfo().isReturn(MInst->getOpCode()) ) {
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000476 if (DEBUG_RA) cout << endl << "RETURN found" << endl;
Ruchira Sasankae727f852001-09-18 22:43:57 +0000477 Op.setRegForValue( MRI.getReturnAddressReg() );
478
479 }
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000480
481 if (Val->getValueType() == Value::InstructionVal)
Ruchira Sasankae727f852001-09-18 22:43:57 +0000482 {
Ruchira Sasanka1b732fd2001-10-16 16:34:44 +0000483 if( DEBUG_RA ) {
484 cout << "!Warning: No LiveRange for: ";
485 printValue( Val); cout << " Type: " << Val->getValueType();
486 cout << " RegVal=" << Op.getAllocatedRegNum() << endl;
487 }
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000488 }
489
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000490#endif
491
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000492 continue;
493 }
494
495 unsigned RCID = (LR->getRegClass())->getID();
496
497 Op.setRegForValue( MRI.getUnifiedRegNum(RCID, LR->getColor()) );
498
499 int RegNum = MRI.getUnifiedRegNum(RCID, LR->getColor());
500
Ruchira Sasankae727f852001-09-18 22:43:57 +0000501 }
502
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000503 } // for each operand
504
505
506 // If there are instructions to be added *after* this machine
507 // instruction, add them now
508
509 if( AddedInstrMap[ MInst ] ) {
510
511 deque<MachineInstr *> &IAft = (AddedInstrMap[MInst])->InstrnsAfter;
512
513 if( ! IAft.empty() ) {
514
515 deque<MachineInstr *>::iterator AdIt;
516
517 ++MInstIterator; // advance to the next instruction
518
519 for( AdIt = IAft.begin(); AdIt != IAft.end() ; ++AdIt ) {
520
Ruchira Sasanka97b8b442001-10-18 22:36:26 +0000521 if(DEBUG_RA)
522 cerr << " *#* APPENDed instr opcode: " << *AdIt << endl;
523
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000524 MInstIterator = MIVec.insert( MInstIterator, *AdIt );
525 ++MInstIterator;
526 }
527
528 // MInsterator already points to the next instr. Since the
529 // for loop also increments it, decrement it to point to the
530 // instruction added last
531 --MInstIterator;
532
533 }
534
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000535 }
536
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000537 } // for each machine instruction
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000538 }
539}
540
541
542
543
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000544//----------------------------------------------------------------------------
545// This method prints the code with registers after register allocation is
546// complete.
547//----------------------------------------------------------------------------
548void PhyRegAlloc::printMachineCode()
549{
550
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000551 cout << endl << ";************** Method ";
552 cout << Meth->getName() << " *****************" << endl;
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000553
554 Method::const_iterator BBI = Meth->begin(); // random iterator for BBs
555
556 for( ; BBI != Meth->end(); ++BBI) { // traverse BBs in random order
557
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000558 cout << endl ; printLabel( *BBI); cout << ": ";
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000559
560 // get the iterator for machine instructions
561 MachineCodeForBasicBlock& MIVec = (*BBI)->getMachineInstrVec();
562 MachineCodeForBasicBlock::iterator MInstIterator = MIVec.begin();
563
564 // iterate over all the machine instructions in BB
565 for( ; MInstIterator != MIVec.end(); ++MInstIterator) {
566
567 MachineInstr *const MInst = *MInstIterator;
568
569
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000570 cout << endl << "\t";
571 cout << TargetInstrDescriptors[MInst->getOpCode()].opCodeString;
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000572
573
574 //for(MachineInstr::val_op_const_iterator OpI(MInst);!OpI.done();++OpI) {
575
576 for(unsigned OpNum=0; OpNum < MInst->getNumOperands(); ++OpNum) {
577
578 MachineOperand& Op = MInst->getOperand(OpNum);
579
580 if( Op.getOperandType() == MachineOperand::MO_VirtualRegister ||
Ruchira Sasanka97b8b442001-10-18 22:36:26 +0000581 Op.getOperandType() == MachineOperand::MO_CCRegister /*||
582 Op.getOperandType() == MachineOperand::MO_PCRelativeDisp*/ ) {
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000583
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000584 const Value *const Val = Op.getVRegValue () ;
Ruchira Sasankae727f852001-09-18 22:43:57 +0000585 // ****this code is temporary till NULL Values are fixed
586 if( ! Val ) {
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000587 cout << "\t<*NULL*>";
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000588 continue;
589 }
Ruchira Sasankae727f852001-09-18 22:43:57 +0000590
591 // if a label or a constant
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000592 if( (Val->getValueType() == Value::BasicBlockVal) ) {
Ruchira Sasankae727f852001-09-18 22:43:57 +0000593
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000594 cout << "\t"; printLabel( Op.getVRegValue () );
Ruchira Sasankae727f852001-09-18 22:43:57 +0000595 }
596 else {
597 // else it must be a register value
598 const int RegNum = Op.getAllocatedRegNum();
599
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000600 //if( RegNum != 1000)
601
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000602 cout << "\t" << "%" << MRI.getUnifiedRegName( RegNum );
603 // else cout << "\t<*NoReg*>";
Ruchira Sasankae727f852001-09-18 22:43:57 +0000604
605 }
606
607 }
608 else if(Op.getOperandType() == MachineOperand::MO_MachineRegister) {
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000609 cout << "\t" << "%" << MRI.getUnifiedRegName(Op.getMachineRegNum());
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000610 }
611
612 else
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000613 cout << "\t" << Op; // use dump field
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000614 }
615
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000616
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000617
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000618 unsigned NumOfImpRefs = MInst->getNumImplicitRefs();
619 if( NumOfImpRefs > 0 ) {
620
621 cout << "\tImplicit:";
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000622
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000623 for(unsigned z=0; z < NumOfImpRefs; z++) {
624 printValue( MInst->getImplicitRef(z) );
625 cout << "\t";
626 }
627
628 }
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000629
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000630 } // for all machine instructions
631
632
633 cout << endl;
634
635 } // for all BBs
636
637 cout << endl;
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000638}
639
Ruchira Sasankae727f852001-09-18 22:43:57 +0000640
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000641//----------------------------------------------------------------------------
642//
643//----------------------------------------------------------------------------
644
645void PhyRegAlloc::colorCallRetArgs()
646{
647
648 CallRetInstrListType &CallRetInstList = LRI.getCallRetInstrList();
649 CallRetInstrListType::const_iterator It = CallRetInstList.begin();
650
651 for( ; It != CallRetInstList.end(); ++It ) {
652
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000653 const MachineInstr *const CRMI = *It;
654 unsigned OpCode = CRMI->getOpCode();
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000655
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000656 // get the added instructions for this Call/Ret instruciton
657 AddedInstrns *AI = AddedInstrMap[ CRMI ];
658 if ( !AI ) {
659 AI = new AddedInstrns();
660 AddedInstrMap[ CRMI ] = AI;
661 }
662
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000663 if( (TM.getInstrInfo()).isCall( OpCode ) )
664 MRI.colorCallArgs( CRMI, LRI, AI );
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000665
Ruchira Sasankaa90e7702001-10-15 16:26:38 +0000666 else if ( (TM.getInstrInfo()).isReturn(OpCode) )
667 MRI.colorRetValue( CRMI, LRI, AI );
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000668
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000669 else assert( 0 && "Non Call/Ret instrn in CallRetInstrList\n" );
670
671 }
672
673}
674
675//----------------------------------------------------------------------------
676
677//----------------------------------------------------------------------------
678void PhyRegAlloc::colorIncomingArgs()
679{
680 const BasicBlock *const FirstBB = Meth->front();
681 const MachineInstr *FirstMI = *((FirstBB->getMachineInstrVec()).begin());
682 assert( FirstMI && "No machine instruction in entry BB");
683
684 AddedInstrns *AI = AddedInstrMap[ FirstMI ];
685 if ( !AI ) {
686 AI = new AddedInstrns();
687 AddedInstrMap[ FirstMI ] = AI;
688 }
689
690 MRI.colorMethodArgs(Meth, LRI, AI );
691}
692
Ruchira Sasankae727f852001-09-18 22:43:57 +0000693
694//----------------------------------------------------------------------------
695// Used to generate a label for a basic block
696//----------------------------------------------------------------------------
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000697void PhyRegAlloc::printLabel(const Value *const Val)
698{
699 if( Val->hasName() )
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000700 cout << Val->getName();
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000701 else
Ruchira Sasankac4d4b762001-10-16 01:23:19 +0000702 cout << "Label" << Val;
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000703}
704
705
Ruchira Sasankae727f852001-09-18 22:43:57 +0000706//----------------------------------------------------------------------------
707// The entry pont to Register Allocation
708//----------------------------------------------------------------------------
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000709
710void PhyRegAlloc::allocateRegisters()
711{
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000712
713 // make sure that we put all register classes into the RegClassList
714 // before we call constructLiveRanges (now done in the constructor of
715 // PhyRegAlloc class).
716
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000717 constructLiveRanges(); // create LR info
718
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000719 if( DEBUG_RA )
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000720 LRI.printLiveRanges();
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000721
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000722 createIGNodeListsAndIGs(); // create IGNode list and IGs
723
724 buildInterferenceGraphs(); // build IGs in all reg classes
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000725
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000726
727 if( DEBUG_RA ) {
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000728 // print all LRs in all reg classes
729 for( unsigned int rc=0; rc < NumOfRegClasses ; rc++)
730 RegClassList[ rc ]->printIGNodeList();
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000731
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000732 // print IGs in all register classes
733 for( unsigned int rc=0; rc < NumOfRegClasses ; rc++)
734 RegClassList[ rc ]->printIG();
735 }
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000736
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000737 LRI.coalesceLRs(); // coalesce all live ranges
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000738
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000739 if( DEBUG_RA) {
740 // print all LRs in all reg classes
741 for( unsigned int rc=0; rc < NumOfRegClasses ; rc++)
742 RegClassList[ rc ]->printIGNodeList();
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000743
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000744 // print IGs in all register classes
745 for( unsigned int rc=0; rc < NumOfRegClasses ; rc++)
746 RegClassList[ rc ]->printIG();
747 }
748
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000749 // color all register classes
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000750 for( unsigned int rc=0; rc < NumOfRegClasses ; rc++)
751 RegClassList[ rc ]->colorAllRegs();
752
Ruchira Sasankaa5ab9642001-09-30 23:11:59 +0000753
754 // color incoming args and call args
755 colorIncomingArgs();
756 colorCallRetArgs();
757
Ruchira Sasanka97b8b442001-10-18 22:36:26 +0000758
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000759 updateMachineCode();
Chris Lattner045e7c82001-09-19 16:26:23 +0000760 if (DEBUG_RA) {
Ruchira Sasanka1b732fd2001-10-16 16:34:44 +0000761 PrintMachineInstructions(Meth);
Chris Lattner045e7c82001-09-19 16:26:23 +0000762 printMachineCode(); // only for DEBUGGING
763 }
Ruchira Sasanka6b0a8b52001-09-15 21:11:11 +0000764}
765
Ruchira Sasankae727f852001-09-18 22:43:57 +0000766
767
768