blob: 5998f1fd6641f75cfc43a5666427d045d18c76e8 [file] [log] [blame]
Ruchira Sasanka8e604792001-09-14 21:18:34 +00001#include "llvm/CodeGen/RegClass.h"
Chris Lattnerc6f3ae52002-04-29 17:42:12 +00002#include "llvm/CodeGen/RegAllocCommon.h"
Chris Lattner697954c2002-01-20 22:54:45 +00003using std::cerr;
Ruchira Sasanka8e604792001-09-14 21:18:34 +00004
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +00005//----------------------------------------------------------------------------
6// This constructor inits IG. The actual matrix is created by a call to
7// createInterferenceGraph() above.
8//----------------------------------------------------------------------------
Chris Lattner4d669b52002-04-08 22:01:15 +00009RegClass::RegClass(const Function *M,
10 const MachineRegClassInfo *Mrc,
11 const ReservedColorListType *RCL)
Ruchira Sasanka8e604792001-09-14 21:18:34 +000012 : Meth(M), MRC(Mrc), RegClassID( Mrc->getRegClassID() ),
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000013 IG(this), IGNodeStack(), ReservedColorList(RCL) {
Ruchira Sasanka8e604792001-09-14 21:18:34 +000014 if( DEBUG_RA)
Chris Lattner697954c2002-01-20 22:54:45 +000015 cerr << "Created Reg Class: " << RegClassID << "\n";
Ruchira Sasanka8e604792001-09-14 21:18:34 +000016
Chris Lattner85c54652002-05-23 15:50:03 +000017 IsColorUsedArr.resize(Mrc->getNumOfAllRegs());
Ruchira Sasanka8e604792001-09-14 21:18:34 +000018}
19
20
21
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000022//----------------------------------------------------------------------------
23// Main entry point for coloring a register class.
24//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +000025void RegClass::colorAllRegs()
26{
Chris Lattner697954c2002-01-20 22:54:45 +000027 if(DEBUG_RA) cerr << "Coloring IG of reg class " << RegClassID << " ...\n";
Ruchira Sasanka8e604792001-09-14 21:18:34 +000028
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000029 // pre-color IGNodes
Ruchira Sasanka8e604792001-09-14 21:18:34 +000030 pushAllIGNodes(); // push all IG Nodes
31
32 unsigned int StackSize = IGNodeStack.size();
33 IGNode *CurIGNode;
34
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000035 // for all LRs on stack
Ruchira Sasanka8e604792001-09-14 21:18:34 +000036 for( unsigned int IGN=0; IGN < StackSize; IGN++) {
37
38 CurIGNode = IGNodeStack.top(); // pop the IGNode on top of stack
39 IGNodeStack.pop();
40 colorIGNode (CurIGNode); // color it
41 }
42
Ruchira Sasanka8e604792001-09-14 21:18:34 +000043}
44
45
46
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000047//----------------------------------------------------------------------------
48// The method for pushing all IGNodes on to the stack.
49//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +000050void RegClass::pushAllIGNodes()
51{
52 bool NeedMoreSpills;
Ruchira Sasankad1565ab2001-11-06 15:25:38 +000053
Ruchira Sasanka8e604792001-09-14 21:18:34 +000054
55 IG.setCurDegreeOfIGNodes(); // calculate degree of IGNodes
56
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000057 // push non-constrained IGNodes
Ruchira Sasanka8e604792001-09-14 21:18:34 +000058 bool PushedAll = pushUnconstrainedIGNodes();
59
60 if( DEBUG_RA) {
Chris Lattner697954c2002-01-20 22:54:45 +000061 cerr << " Puhsed all-unconstrained IGNodes. ";
62 if( PushedAll ) cerr << " No constrained nodes left.";
63 cerr << "\n";
Ruchira Sasanka8e604792001-09-14 21:18:34 +000064 }
65
66 if( PushedAll ) // if NO constrained nodes left
67 return;
68
69
70 // now, we have constrained nodes. So, push one of them (the one with min
71 // spill cost) and try to push the others as unConstrained nodes.
72 // Repeat this.
73
Chris Lattner167b9622002-04-15 20:36:15 +000074 do {
Vikram S. Adve04cc49b2001-11-06 05:11:05 +000075 //get node with min spill cost
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000076 //
Ruchira Sasankad1565ab2001-11-06 15:25:38 +000077 IGNode *IGNodeSpill = getIGNodeWithMinSpillCost();
78
Vikram S. Adve04cc49b2001-11-06 05:11:05 +000079 // push that node on to stack
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000080 //
Chris Lattner167b9622002-04-15 20:36:15 +000081 IGNodeStack.push(IGNodeSpill);
Ruchira Sasanka8e604792001-09-14 21:18:34 +000082
Vikram S. Adve04cc49b2001-11-06 05:11:05 +000083 // set its OnStack flag and decrement degree of neighs
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000084 //
Vikram S. Adve04cc49b2001-11-06 05:11:05 +000085 IGNodeSpill->pushOnStack();
Ruchira Sasanka8e604792001-09-14 21:18:34 +000086
87 // now push NON-constrined ones, if any
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +000088 //
Chris Lattner167b9622002-04-15 20:36:15 +000089 NeedMoreSpills = !pushUnconstrainedIGNodes();
Ruchira Sasanka8e604792001-09-14 21:18:34 +000090
Chris Lattner167b9622002-04-15 20:36:15 +000091 if (DEBUG_RA)
92 cerr << "\nConstrained IG Node found !@!" << IGNodeSpill->getIndex();
Ruchira Sasanka65480b72001-11-10 21:21:36 +000093
Chris Lattner167b9622002-04-15 20:36:15 +000094 } while(NeedMoreSpills); // repeat until we have pushed all
Ruchira Sasanka8e604792001-09-14 21:18:34 +000095
96}
97
98
99
100
Ruchira Sasankad1565ab2001-11-06 15:25:38 +0000101//--------------------------------------------------------------------------
102// This method goes thru all IG nodes in the IGNodeList of an IG of a
103// register class and push any unconstrained IG node left (that is not
104// already pushed)
105//--------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000106
107bool RegClass::pushUnconstrainedIGNodes()
108{
109 // # of LRs for this reg class
110 unsigned int IGNodeListSize = IG.getIGNodeList().size();
111 bool pushedall = true;
112
113 // a pass over IGNodeList
114 for( unsigned i =0; i < IGNodeListSize; i++) {
115
116 // get IGNode i from IGNodeList
117 IGNode *IGNode = IG.getIGNodeList()[i];
118
Ruchira Sasankad1565ab2001-11-06 15:25:38 +0000119 if( !IGNode ) // can be null due to merging
120 continue;
121
122 // if already pushed on stack, continue. This can happen since this
123 // method can be called repeatedly until all constrained nodes are
124 // pushed
125 if( IGNode->isOnStack() )
126 continue;
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000127 // if the degree of IGNode is lower
128 if( (unsigned) IGNode->getCurDegree() < MRC->getNumOfAvailRegs() ) {
129 IGNodeStack.push( IGNode ); // push IGNode on to the stack
130 IGNode->pushOnStack(); // set OnStack and dec deg of neighs
131
132 if (DEBUG_RA > 1) {
Chris Lattner697954c2002-01-20 22:54:45 +0000133 cerr << " pushed un-constrained IGNode " << IGNode->getIndex() ;
134 cerr << " on to stack\n";
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000135 }
136 }
137 else pushedall = false; // we didn't push all live ranges
138
139 } // for
140
141 // returns true if we pushed all live ranges - else false
142 return pushedall;
143}
144
145
146
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000147//----------------------------------------------------------------------------
148// Get the IGNode withe the minimum spill cost
149//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000150IGNode * RegClass::getIGNodeWithMinSpillCost()
151{
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000152
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000153 unsigned int IGNodeListSize = IG.getIGNodeList().size();
Ruchira Sasankace773da2002-01-08 16:29:23 +0000154 double MinSpillCost;
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000155 IGNode *MinCostIGNode = NULL;
Ruchira Sasankace773da2002-01-08 16:29:23 +0000156 bool isFirstNode = true;
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000157
158 // pass over IGNodeList to find the IGNode with minimum spill cost
159 // among all IGNodes that are not yet pushed on to the stack
160 //
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000161 for( unsigned int i =0; i < IGNodeListSize; i++) {
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000162 IGNode *IGNode = IG.getIGNodeList()[i];
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000163
164 if( ! IGNode ) // can be null due to merging
165 continue;
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000166
167 if( ! IGNode->isOnStack() ) {
168
Ruchira Sasankace773da2002-01-08 16:29:23 +0000169 double SpillCost = (double) IGNode->getParentLR()->getSpillCost() /
170 (double) (IGNode->getCurDegree() + 1);
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000171
Ruchira Sasankace773da2002-01-08 16:29:23 +0000172 if( isFirstNode ) { // for the first IG node
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000173 MinSpillCost = SpillCost;
174 MinCostIGNode = IGNode;
Ruchira Sasankace773da2002-01-08 16:29:23 +0000175 isFirstNode = false;
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000176 }
177
178 else if( MinSpillCost > SpillCost) {
179 MinSpillCost = SpillCost;
180 MinCostIGNode = IGNode;
181 }
182
183 }
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000184 }
185
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000186 assert( MinCostIGNode && "No IGNode to spill");
187 return MinCostIGNode;
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000188}
189
190
191
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000192//----------------------------------------------------------------------------
193// Color the IGNode using the machine specific code.
194//----------------------------------------------------------------------------
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000195void RegClass::colorIGNode(IGNode *const Node)
196{
197
198 if( ! Node->hasColor() ) { // not colored as an arg etc.
199
200
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000201 // init all elements of to IsColorUsedAr false;
202 //
Chris Lattner85c54652002-05-23 15:50:03 +0000203 for (unsigned i=0; i < MRC->getNumOfAllRegs(); i++)
204 IsColorUsedArr[i] = false;
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000205
206 // init all reserved_regs to true - we can't use them
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000207 //
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000208 for( unsigned i=0; i < ReservedColorList->size() ; i++) {
Chris Lattner85c54652002-05-23 15:50:03 +0000209 IsColorUsedArr[(*ReservedColorList)[i]] = true;
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000210 }
211
Vikram S. Advedabb41d2002-05-19 15:29:31 +0000212 // initialize all colors used by neighbors of this node to true
213 LiveRange *LR = Node->getParentLR();
214 unsigned NumNeighbors = Node->getNumOfNeighbors();
215 for (unsigned n=0; n < NumNeighbors; n++) {
216 IGNode *NeighIGNode = Node->getAdjIGNode(n);
217 LiveRange *NeighLR = NeighIGNode->getParentLR();
218
219 if (NeighLR->hasColor()) { // if has a color
220 IsColorUsedArr[NeighLR->getColor()] = true; // mark color as used
221 } else if (NeighLR->hasSuggestedColor() &&
222 NeighLR->isSuggestedColorUsable()) {
223 // this color is suggested for the neighbour, so don't use it
224 IsColorUsedArr[NeighLR->getSuggestedColor()] = true;
225 }
226 }
227
Ruchira Sasanka4f3eb222002-01-07 19:19:18 +0000228 // call the target specific code for coloring
229 //
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000230 MRC->colorIGNode(Node, IsColorUsedArr);
231 }
232 else {
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000233 if( DEBUG_RA ) {
Chris Lattner697954c2002-01-20 22:54:45 +0000234 cerr << " Node " << Node->getIndex();
235 cerr << " already colored with color " << Node->getColor() << "\n";
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000236 }
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000237 }
238
239
240 if( !Node->hasColor() ) {
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000241 if( DEBUG_RA ) {
Chris Lattner697954c2002-01-20 22:54:45 +0000242 cerr << " Node " << Node->getIndex();
243 cerr << " - could not find a color (needs spilling)\n";
Ruchira Sasanka0931a012001-09-15 19:06:58 +0000244 }
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000245 }
246
247}
248
249
Ruchira Sasanka8e604792001-09-14 21:18:34 +0000250