| Brian Gaeke | 03cac37 | 2004-04-25 07:04:49 +0000 | [diff] [blame] | 1 | //===-- SparcV9RegClassInfo.cpp - Register class def'ns for SparcV9 -------===// |
| John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| Chris Lattner | 56e9166 | 2002-08-12 21:25:05 +0000 | [diff] [blame] | 9 | // |
| Brian Gaeke | 03cac37 | 2004-04-25 07:04:49 +0000 | [diff] [blame] | 10 | // This file defines the methods used by the SparcV9 register allocator |
| 11 | // to pick registers of various classes. Most of this code should be |
| 12 | // considered part of the register allocator. |
| Chris Lattner | 56e9166 | 2002-08-12 21:25:05 +0000 | [diff] [blame] | 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
| Misha Brukman | b01a80a | 2003-12-17 22:04:00 +0000 | [diff] [blame] | 16 | #include "llvm/Type.h" |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 17 | #include "SparcV9RegClassInfo.h" |
| 18 | #include "SparcV9Internals.h" |
| 19 | #include "SparcV9RegInfo.h" |
| Chris Lattner | bb6fa4b | 2004-01-09 16:17:09 +0000 | [diff] [blame] | 20 | #include "RegAlloc/RegAllocCommon.h" |
| 21 | #include "RegAlloc/IGNode.h" |
| Reid Spencer | eb04d9b | 2004-07-04 12:19:56 +0000 | [diff] [blame^] | 22 | #include <iostream> |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 23 | |
| Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 24 | namespace llvm { |
| 25 | |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 26 | //----------------------------------------------------------------------------- |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 27 | // Int Register Class - method for coloring a node in the interference graph. |
| 28 | // |
| 29 | // Algorithm: |
| 30 | // Record the colors/suggested colors of all neighbors. |
| 31 | // |
| 32 | // If there is a suggested color, try to allocate it |
| 33 | // If there is no call interf, try to allocate volatile, then non volatile |
| 34 | // If there is call interf, try to allocate non-volatile. If that fails |
| 35 | // try to allocate a volatile and insert save across calls |
| 36 | // If both above fail, spill. |
| 37 | // |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 38 | //----------------------------------------------------------------------------- |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 39 | void SparcV9IntRegClass::colorIGNode(IGNode * Node, |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 40 | const std::vector<bool> &IsColorUsedArr) const |
| Misha Brukman | 352f7ac | 2003-05-21 17:59:06 +0000 | [diff] [blame] | 41 | { |
| Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 42 | LiveRange *LR = Node->getParentLR(); |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 43 | |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 44 | if (DEBUG_RA) { |
| Misha Brukman | 352f7ac | 2003-05-21 17:59:06 +0000 | [diff] [blame] | 45 | std::cerr << "\nColoring LR [CallInt=" << LR->isCallInterference() <<"]:"; |
| Chris Lattner | b0af9cd | 2002-02-05 02:52:05 +0000 | [diff] [blame] | 46 | printSet(*LR); |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 47 | } |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 48 | |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 49 | if (LR->hasSuggestedColor()) { |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 50 | unsigned SugCol = LR->getSuggestedColor(); |
| Chris Lattner | abe9819 | 2002-05-23 15:50:03 +0000 | [diff] [blame] | 51 | if (!IsColorUsedArr[SugCol]) { |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 52 | if (LR->isSuggestedColorUsable()) { |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 53 | // if the suggested color is volatile, we should use it only if |
| 54 | // there are no call interferences. Otherwise, it will get spilled. |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 55 | if (DEBUG_RA) |
| Misha Brukman | 352f7ac | 2003-05-21 17:59:06 +0000 | [diff] [blame] | 56 | std::cerr << "\n -Coloring with sug color: " << SugCol; |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 57 | |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 58 | LR->setColor(LR->getSuggestedColor()); |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 59 | return; |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 60 | } else if(DEBUG_RA) { |
| Misha Brukman | c42dc74 | 2003-05-21 19:34:28 +0000 | [diff] [blame] | 61 | std::cerr << "\n Couldn't alloc Sug col - LR volatile & calls interf"; |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 62 | } |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 63 | } else if (DEBUG_RA) { // can't allocate the suggested col |
| Misha Brukman | 352f7ac | 2003-05-21 17:59:06 +0000 | [diff] [blame] | 64 | std::cerr << "\n Could NOT allocate the suggested color (already used) "; |
| 65 | printSet(*LR); std::cerr << "\n"; |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 66 | } |
| 67 | } |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 68 | |
| 69 | unsigned SearchStart; // start pos of color in pref-order |
| 70 | bool ColorFound= false; // have we found a color yet? |
| 71 | |
| 72 | //if this Node is between calls |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 73 | if (! LR->isCallInterference()) { |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 74 | // start with volatiles (we can allocate volatiles safely) |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 75 | SearchStart = SparcV9IntRegClass::StartOfAllRegs; |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 76 | } else { |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 77 | // start with non volatiles (no non-volatiles) |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 78 | SearchStart = SparcV9IntRegClass::StartOfNonVolatileRegs; |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | unsigned c=0; // color |
| 82 | |
| 83 | // find first unused color |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 84 | for (c=SearchStart; c < SparcV9IntRegClass::NumOfAvailRegs; c++) { |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 85 | if (!IsColorUsedArr[c]) { |
| 86 | ColorFound = true; |
| 87 | break; |
| 88 | } |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 89 | } |
| 90 | |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 91 | if (ColorFound) { |
| Misha Brukman | 427929a | 2003-09-23 17:28:11 +0000 | [diff] [blame] | 92 | LR->setColor(c); // first color found in preferred order |
| Misha Brukman | 352f7ac | 2003-05-21 17:59:06 +0000 | [diff] [blame] | 93 | if (DEBUG_RA) std::cerr << "\n Colored after first search with col " << c; |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 94 | } |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 95 | |
| 96 | // if color is not found because of call interference |
| 97 | // try even finding a volatile color and insert save across calls |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 98 | // |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 99 | else if (LR->isCallInterference()) { |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 100 | // start from 0 - try to find even a volatile this time |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 101 | SearchStart = SparcV9IntRegClass::StartOfAllRegs; |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 102 | |
| 103 | // find first unused volatile color |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 104 | for(c=SearchStart; c < SparcV9IntRegClass::StartOfNonVolatileRegs; c++) { |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 105 | if (! IsColorUsedArr[c]) { |
| 106 | ColorFound = true; |
| 107 | break; |
| 108 | } |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 109 | } |
| 110 | |
| Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 111 | if (ColorFound) { |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 112 | LR->setColor(c); |
| 113 | // get the live range corresponding to live var |
| 114 | // since LR span across calls, must save across calls |
| 115 | // |
| 116 | LR->markForSaveAcrossCalls(); |
| 117 | if (DEBUG_RA) |
| 118 | std::cerr << "\n Colored after SECOND search with col " << c; |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 119 | } |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 120 | } |
| 121 | |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 122 | |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 123 | // If we couldn't find a color regardless of call interference - i.e., we |
| 124 | // don't have either a volatile or non-volatile color left |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 125 | // |
| Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 126 | if (!ColorFound) |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 127 | LR->markForSpill(); // no color found - must spill |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 128 | } |
| 129 | |
| Vikram S. Adve | d09c4c3 | 2003-07-06 20:13:59 +0000 | [diff] [blame] | 130 | //----------------------------------------------------------------------------- |
| 131 | // Int CC Register Class - method for coloring a node in the interference graph. |
| 132 | // |
| 133 | // Algorithm: |
| 134 | // |
| Vikram S. Adve | 6528067 | 2003-07-10 19:42:11 +0000 | [diff] [blame] | 135 | // If (node has any interferences) |
| 136 | // /* all interference operations can use only one register! */ |
| Vikram S. Adve | d09c4c3 | 2003-07-06 20:13:59 +0000 | [diff] [blame] | 137 | // mark the LR for spilling |
| 138 | // else { |
| 139 | // if (the LR is a 64-bit comparison) use %xcc |
| 140 | // else /*32-bit or smaller*/ use %icc |
| 141 | // } |
| 142 | // |
| 143 | // Note: The third name (%ccr) is essentially an assembly mnemonic and |
| 144 | // depends solely on the opcode, so the name can be chosen in EmitAssembly. |
| 145 | //----------------------------------------------------------------------------- |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 146 | void SparcV9IntCCRegClass::colorIGNode(IGNode *Node, |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 147 | const std::vector<bool> &IsColorUsedArr) const |
| Vikram S. Adve | d09c4c3 | 2003-07-06 20:13:59 +0000 | [diff] [blame] | 148 | { |
| Vikram S. Adve | 6528067 | 2003-07-10 19:42:11 +0000 | [diff] [blame] | 149 | if (Node->getNumOfNeighbors() > 0) |
| Vikram S. Adve | d09c4c3 | 2003-07-06 20:13:59 +0000 | [diff] [blame] | 150 | Node->getParentLR()->markForSpill(); |
| Vikram S. Adve | 6528067 | 2003-07-10 19:42:11 +0000 | [diff] [blame] | 151 | |
| 152 | // Mark the appropriate register in any case (even if it needs to be spilled) |
| 153 | // because there is only one possible register, but more importantly, the |
| 154 | // spill algorithm cannot find it. In particular, we have to choose |
| 155 | // whether to use %xcc or %icc based on type of value compared |
| 156 | // |
| 157 | const LiveRange* ccLR = Node->getParentLR(); |
| 158 | const Type* setCCType = (* ccLR->begin())->getType(); // any Value in LR |
| 159 | assert(setCCType->isIntegral() || isa<PointerType>(setCCType)); |
| 160 | int ccReg = ((isa<PointerType>(setCCType) || setCCType == Type::LongTy) |
| 161 | ? xcc : icc); |
| Vikram S. Adve | d09c4c3 | 2003-07-06 20:13:59 +0000 | [diff] [blame] | 162 | |
| 163 | #ifndef NDEBUG |
| Vikram S. Adve | 6528067 | 2003-07-10 19:42:11 +0000 | [diff] [blame] | 164 | // Let's just make sure values of two different types have not been |
| 165 | // coalesced into this LR. |
| 166 | for (ValueSet::const_iterator I=ccLR->begin(), E=ccLR->end(); I!=E; ++I) { |
| 167 | const Type* ccType = (*I)->getType(); |
| 168 | assert((ccReg == xcc && (isa<PointerType>(ccType) |
| 169 | || ccType == Type::LongTy)) || |
| 170 | (ccReg == icc && ccType->isIntegral() && ccType != Type::LongTy) |
| 171 | && "Comparisons needing different intCC regs coalesced in LR!"); |
| 172 | } |
| Vikram S. Adve | d09c4c3 | 2003-07-06 20:13:59 +0000 | [diff] [blame] | 173 | #endif |
| 174 | |
| Vikram S. Adve | 6528067 | 2003-07-10 19:42:11 +0000 | [diff] [blame] | 175 | Node->setColor(ccReg); // only one int cc reg is available |
| Vikram S. Adve | d09c4c3 | 2003-07-06 20:13:59 +0000 | [diff] [blame] | 176 | } |
| 177 | |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 178 | |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 179 | void SparcV9FloatCCRegClass::colorIGNode(IGNode *Node, |
| Chris Lattner | 3323829 | 2003-09-01 19:56:48 +0000 | [diff] [blame] | 180 | const std::vector<bool> &IsColorUsedArr) const { |
| 181 | for(unsigned c = 0; c != 4; ++c) |
| 182 | if (!IsColorUsedArr[c]) { // find unused color |
| 183 | Node->setColor(c); |
| 184 | return; |
| 185 | } |
| 186 | |
| 187 | Node->getParentLR()->markForSpill(); |
| 188 | } |
| 189 | |
| 190 | |
| 191 | |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 192 | //----------------------------------------------------------------------------- |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 193 | // Float Register Class - method for coloring a node in the interference graph. |
| 194 | // |
| 195 | // Algorithm: |
| 196 | // |
| 197 | // If the LR is a double try to allocate f32 - f63 |
| 198 | // If the above fails or LR is single precision |
| 199 | // If the LR does not interfere with a call |
| 200 | // start allocating from f0 |
| 201 | // Else start allocating from f6 |
| 202 | // If a color is still not found because LR interferes with a call |
| 203 | // Search in f0 - f6. If found mark for spill across calls. |
| 204 | // If a color is still not fond, mark for spilling |
| 205 | // |
| 206 | //---------------------------------------------------------------------------- |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 207 | void SparcV9FloatRegClass::colorIGNode(IGNode * Node, |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 208 | const std::vector<bool> &IsColorUsedArr) const |
| Misha Brukman | 352f7ac | 2003-05-21 17:59:06 +0000 | [diff] [blame] | 209 | { |
| Chris Lattner | d30f989 | 2002-02-05 03:52:29 +0000 | [diff] [blame] | 210 | LiveRange *LR = Node->getParentLR(); |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 211 | |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 212 | #ifndef NDEBUG |
| 213 | // Check that the correct colors have been are marked for fp-doubles. |
| 214 | // |
| 215 | // FIXME: This is old code that is no longer needed. Temporarily converting |
| 216 | // it into a big assertion just to check that the replacement logic |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 217 | // (invoking SparcV9FloatRegClass::markColorsUsed() directly from |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 218 | // RegClass::colorIGNode) works correctly. |
| 219 | // |
| 220 | // In fact, this entire function should be identical to |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 221 | // SparcV9IntRegClass::colorIGNode(), and perhaps can be |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 222 | // made into a general case in CodeGen/RegAlloc/RegClass.cpp. |
| Vikram S. Adve | e9327f0 | 2002-05-19 15:25:51 +0000 | [diff] [blame] | 223 | // |
| 224 | unsigned NumNeighbors = Node->getNumOfNeighbors(); // total # of neighbors |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 225 | for(unsigned n=0; n < NumNeighbors; n++) { // for each neigh |
| 226 | IGNode *NeighIGNode = Node->getAdjIGNode(n); |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 227 | LiveRange *NeighLR = NeighIGNode->getParentLR(); |
| Vikram S. Adve | e9327f0 | 2002-05-19 15:25:51 +0000 | [diff] [blame] | 228 | |
| Vikram S. Adve | 49cf091 | 2003-09-21 07:55:27 +0000 | [diff] [blame] | 229 | if (NeighLR->hasColor()) { |
| 230 | assert(IsColorUsedArr[ NeighLR->getColor() ]); |
| 231 | if (NeighLR->getType() == Type::DoubleTy) |
| 232 | assert(IsColorUsedArr[ NeighLR->getColor()+1 ]); |
| Vikram S. Adve | e9327f0 | 2002-05-19 15:25:51 +0000 | [diff] [blame] | 233 | |
| 234 | } else if (NeighLR->hasSuggestedColor() && |
| 235 | NeighLR-> isSuggestedColorUsable() ) { |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 236 | |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 237 | // if the neighbour can use the suggested color |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 238 | assert(IsColorUsedArr[ NeighLR->getSuggestedColor() ]); |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 239 | if (NeighLR->getType() == Type::DoubleTy) |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 240 | assert(IsColorUsedArr[ NeighLR->getSuggestedColor()+1 ]); |
| Vikram S. Adve | e9327f0 | 2002-05-19 15:25:51 +0000 | [diff] [blame] | 241 | } |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 242 | } |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 243 | #endif |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 244 | |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 245 | // **NOTE: We don't check for call interferences in allocating suggested |
| 246 | // color in this class since ALL registers are volatile. If this fact |
| 247 | // changes, we should change the following part |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 248 | //- see SparcV9IntRegClass::colorIGNode() |
| Vikram S. Adve | e9327f0 | 2002-05-19 15:25:51 +0000 | [diff] [blame] | 249 | // |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 250 | if( LR->hasSuggestedColor() ) { |
| 251 | if( ! IsColorUsedArr[ LR->getSuggestedColor() ] ) { |
| 252 | LR->setColor( LR->getSuggestedColor() ); |
| 253 | return; |
| Chris Lattner | b0af9cd | 2002-02-05 02:52:05 +0000 | [diff] [blame] | 254 | } else if (DEBUG_RA) { // can't allocate the suggested col |
| Misha Brukman | 352f7ac | 2003-05-21 17:59:06 +0000 | [diff] [blame] | 255 | std::cerr << " Could NOT allocate the suggested color for LR "; |
| 256 | printSet(*LR); std::cerr << "\n"; |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 257 | } |
| 258 | } |
| 259 | |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 260 | |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 261 | int ColorFound = -1; // have we found a color yet? |
| Ruchira Sasanka | d77a1bb | 2001-10-19 17:23:43 +0000 | [diff] [blame] | 262 | bool isCallInterf = LR->isCallInterference(); |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 263 | |
| Chris Lattner | abe9819 | 2002-05-23 15:50:03 +0000 | [diff] [blame] | 264 | // if value is a double - search the double only region (f32 - f63) |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 265 | // i.e. we try to allocate f32 - f63 first for doubles since singles |
| 266 | // cannot go there. By doing that, we provide more space for singles |
| 267 | // in f0 - f31 |
| 268 | // |
| Chris Lattner | d30f989 | 2002-02-05 03:52:29 +0000 | [diff] [blame] | 269 | if (LR->getType() == Type::DoubleTy) |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 270 | ColorFound = findFloatColor( LR, 32, 64, IsColorUsedArr ); |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 271 | |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 272 | if (ColorFound >= 0) { // if we could find a color |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 273 | LR->setColor(ColorFound); |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 274 | return; |
| Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 275 | } else { |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 276 | |
| Misha Brukman | 8b2bd4e | 2003-10-10 17:57:28 +0000 | [diff] [blame] | 277 | // if we didn't find a color because the LR was single precision or |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 278 | // all f32-f63 range is filled, we try to allocate a register from |
| 279 | // the f0 - f31 region |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 280 | |
| 281 | unsigned SearchStart; // start pos of color in pref-order |
| 282 | |
| 283 | //if this Node is between calls (i.e., no call interferences ) |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 284 | if (! isCallInterf) { |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 285 | // start with volatiles (we can allocate volatiles safely) |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 286 | SearchStart = SparcV9FloatRegClass::StartOfAllRegs; |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 287 | } else { |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 288 | // start with non volatiles (no non-volatiles) |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 289 | SearchStart = SparcV9FloatRegClass::StartOfNonVolatileRegs; |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 290 | } |
| 291 | |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 292 | ColorFound = findFloatColor(LR, SearchStart, 32, IsColorUsedArr); |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 293 | } |
| 294 | |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 295 | if (ColorFound >= 0) { // if we could find a color |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 296 | LR->setColor(ColorFound); |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 297 | return; |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 298 | } else if (isCallInterf) { |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 299 | // We are here because there is a call interference and no non-volatile |
| 300 | // color could be found. |
| 301 | // Now try to allocate even a volatile color |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 302 | ColorFound = findFloatColor(LR, SparcV9FloatRegClass::StartOfAllRegs, |
| 303 | SparcV9FloatRegClass::StartOfNonVolatileRegs, |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 304 | IsColorUsedArr); |
| 305 | } |
| 306 | |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 307 | if (ColorFound >= 0) { |
| Misha Brukman | 8b2bd4e | 2003-10-10 17:57:28 +0000 | [diff] [blame] | 308 | LR->setColor(ColorFound); // first color found in preferred order |
| Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 309 | LR->markForSaveAcrossCalls(); |
| Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 310 | } else { |
| 311 | // we are here because no color could be found |
| 312 | LR->markForSpill(); // no color found - must spill |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 313 | } |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 314 | } |
| 315 | |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 316 | //----------------------------------------------------------------------------- |
| 317 | // This method marks the registers used for a given register number. |
| 318 | // This marks a single register for Float regs, but the R,R+1 pair |
| 319 | // for double-precision registers. |
| 320 | //----------------------------------------------------------------------------- |
| 321 | |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 322 | void SparcV9FloatRegClass::markColorsUsed(unsigned RegInClass, |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 323 | int UserRegType, |
| 324 | int RegTypeWanted, |
| 325 | std::vector<bool> &IsColorUsedArr) const |
| 326 | { |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 327 | if (UserRegType == SparcV9RegInfo::FPDoubleRegType || |
| 328 | RegTypeWanted == SparcV9RegInfo::FPDoubleRegType) { |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 329 | // This register is used as or is needed as a double-precision reg. |
| 330 | // We need to mark the [even,odd] pair corresponding to this reg. |
| 331 | // Get the even numbered register corresponding to this reg. |
| 332 | unsigned EvenRegInClass = RegInClass & ~1u; |
| 333 | assert(EvenRegInClass+1 < NumOfAllRegs && |
| 334 | EvenRegInClass+1 < IsColorUsedArr.size()); |
| 335 | IsColorUsedArr[EvenRegInClass] = true; |
| 336 | IsColorUsedArr[EvenRegInClass+1] = true; |
| 337 | } |
| 338 | else { |
| 339 | assert(RegInClass < NumOfAllRegs && RegInClass < IsColorUsedArr.size()); |
| 340 | assert(UserRegType == RegTypeWanted |
| 341 | && "Something other than FP single/double types share a reg class?"); |
| 342 | IsColorUsedArr[RegInClass] = true; |
| 343 | } |
| 344 | } |
| 345 | |
| 346 | // This method finds unused registers of the specified register type, |
| 347 | // using the given "used" flag array IsColorUsedArr. It checks a single |
| 348 | // entry in the array directly for float regs, and checks the pair [R,R+1] |
| 349 | // for double-precision registers |
| 350 | // It returns -1 if no unused color is found. |
| 351 | // |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 352 | int SparcV9FloatRegClass::findUnusedColor(int RegTypeWanted, |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 353 | const std::vector<bool> &IsColorUsedArr) const |
| 354 | { |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 355 | if (RegTypeWanted == SparcV9RegInfo::FPDoubleRegType) { |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 356 | unsigned NC = 2 * this->getNumOfAvailRegs(); |
| 357 | assert(IsColorUsedArr.size() == NC && "Invalid colors-used array"); |
| 358 | for (unsigned c = 0; c < NC; c+=2) |
| 359 | if (!IsColorUsedArr[c]) { |
| 360 | assert(!IsColorUsedArr[c+1] && "Incorrect used regs for FP double!"); |
| 361 | return c; |
| 362 | } |
| 363 | return -1; |
| 364 | } |
| 365 | else |
| 366 | return TargetRegClassInfo::findUnusedColor(RegTypeWanted, IsColorUsedArr); |
| 367 | } |
| Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 368 | |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 369 | //----------------------------------------------------------------------------- |
| 370 | // Helper method for coloring a node of Float Reg class. |
| 371 | // Finds the first available color in the range [Start,End] depending on the |
| 372 | // type of the Node (i.e., float/double) |
| 373 | //----------------------------------------------------------------------------- |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 374 | |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 375 | int SparcV9FloatRegClass::findFloatColor(const LiveRange *LR, |
| Misha Brukman | 2a651d7 | 2003-05-21 18:05:35 +0000 | [diff] [blame] | 376 | unsigned Start, |
| 377 | unsigned End, |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 378 | const std::vector<bool> &IsColorUsedArr) const |
| Misha Brukman | 352f7ac | 2003-05-21 17:59:06 +0000 | [diff] [blame] | 379 | { |
| Chris Lattner | d30f989 | 2002-02-05 03:52:29 +0000 | [diff] [blame] | 380 | if (LR->getType() == Type::DoubleTy) { |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 381 | // find first unused color for a double |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 382 | assert(Start % 2 == 0 && "Odd register number could be used for double!"); |
| 383 | for (unsigned c=Start; c < End ; c+= 2) |
| 384 | if (!IsColorUsedArr[c]) { |
| 385 | assert(!IsColorUsedArr[c+1] && |
| Brian Gaeke | 94e95d2 | 2004-02-25 18:44:15 +0000 | [diff] [blame] | 386 | "Incorrect marking of used regs for SparcV9 FP double!"); |
| Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 387 | return c; |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 388 | } |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 389 | } else { |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 390 | // find first unused color for a single |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 391 | for (unsigned c = Start; c < End; c++) |
| Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 392 | if (!IsColorUsedArr[c]) |
| 393 | return c; |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 394 | } |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 395 | |
| Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 396 | return -1; |
| Vikram S. Adve | 536b192 | 2003-07-25 21:12:15 +0000 | [diff] [blame] | 397 | |
| Ruchira Sasanka | 4cfbfd5 | 2002-01-07 19:20:28 +0000 | [diff] [blame] | 398 | } |
| Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 399 | |
| 400 | } // End llvm namespace |