Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 1 | /* Title: SparcRegClassInfo.h -*- C++ -*- |
| 2 | Author: Ruchira Sasanka |
| 3 | Date: Aug 20, 01 |
| 4 | Purpose: Contains the description of integer register class of Sparc |
| 5 | */ |
| 6 | |
| 7 | |
| 8 | #ifndef SPARC_REG_INFO_CLASS_H |
| 9 | #define SPARC_REG_INFO_CLASS_H |
| 10 | |
| 11 | #include "llvm/Target/MachineRegInfo.h" |
| 12 | #include "llvm/CodeGen/IGNode.h" |
| 13 | |
| 14 | //----------------------------------------------------------------------------- |
| 15 | // Integer Register Class |
| 16 | //----------------------------------------------------------------------------- |
| 17 | |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 18 | // Int register names in same order as enum in class SparcIntRegOrder |
| 19 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 20 | static const std::string IntRegNames[] = { |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 21 | "o0", "o1", "o2", "o3", "o4", "o5", "o7", |
| 22 | "l0", "l1", "l2", "l3", "l4", "l5", "l6", "l7", |
Ruchira Sasanka | 086bf0f | 2001-10-15 16:25:28 +0000 | [diff] [blame] | 23 | "i0", "i1", "i2", "i3", "i4", "i5", |
Vikram S. Adve | 5462dca | 2001-10-22 13:43:08 +0000 | [diff] [blame] | 24 | "i6", "i7", |
Ruchira Sasanka | 990d8fb | 2001-10-09 23:36:13 +0000 | [diff] [blame] | 25 | "g0", "g1", "g2", "g3", "g4", "g5", "g6", "g7", |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 26 | "o6" |
| 27 | }; |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 28 | |
| 29 | |
| 30 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 31 | struct SparcIntRegOrder { |
| 32 | enum RegsInPrefOrder { // colors possible for a LR (in preferred order) |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 33 | // --- following colors are volatile across function calls |
| 34 | // %g0 can't be used for coloring - always 0 |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 35 | o0, o1, o2, o3, o4, o5, o7, // %o0-%o5, |
| 36 | |
| 37 | // %o6 is sp, |
| 38 | // all %0's can get modified by a call |
| 39 | |
| 40 | // --- following colors are NON-volatile across function calls |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 41 | l0, l1, l2, l3, l4, l5, l6, l7, // %l0-%l7 |
Ruchira Sasanka | 086bf0f | 2001-10-15 16:25:28 +0000 | [diff] [blame] | 42 | i0, i1, i2, i3, i4, i5, // %i0-%i5: i's need not be preserved |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 43 | |
| 44 | // %i6 is the fp - so not allocated |
Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 45 | // %i7 is the ret address by convention - can be used for others |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 46 | |
| 47 | // max # of colors reg coloring can allocate (NumOfAvailRegs) |
| 48 | |
| 49 | // --- following colors are not available for allocation within this phase |
| 50 | // --- but can appear for pre-colored ranges |
| 51 | |
Vikram S. Adve | 5462dca | 2001-10-22 13:43:08 +0000 | [diff] [blame] | 52 | i6, i7, g0, g1, g2, g3, g4, g5, g6, g7, o6 |
| 53 | |
Ruchira Sasanka | f4c2ddd | 2002-01-07 21:03:42 +0000 | [diff] [blame] | 54 | //*** NOTE: If we decide to use some %g regs, they are volatile |
| 55 | // (see sparc64ABI) |
| 56 | // Move the %g regs from the end of the enumeration to just above the |
| 57 | // enumeration of %o0 (change StartOfAllRegs below) |
| 58 | // change isRegVloatile method below |
| 59 | // Also change IntRegNames above. |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 60 | }; |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 61 | |
| 62 | // max # of colors reg coloring can allocate |
Ruchira Sasanka | 6a7f020 | 2001-10-23 21:40:39 +0000 | [diff] [blame] | 63 | static unsigned int const NumOfAvailRegs = i6; |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 64 | |
| 65 | static unsigned int const StartOfNonVolatileRegs = l0; |
Ruchira Sasanka | 990d8fb | 2001-10-09 23:36:13 +0000 | [diff] [blame] | 66 | static unsigned int const StartOfAllRegs = o0; |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 67 | static unsigned int const NumOfAllRegs = o6 + 1; |
| 68 | |
| 69 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 70 | static const std::string getRegName(unsigned reg) { |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 71 | assert( reg < NumOfAllRegs ); |
| 72 | return IntRegNames[reg]; |
| 73 | } |
| 74 | |
| 75 | }; |
| 76 | |
| 77 | |
| 78 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 79 | struct SparcIntRegClass : public MachineRegClassInfo { |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 80 | SparcIntRegClass(unsigned ID) |
| 81 | : MachineRegClassInfo(ID, |
| 82 | SparcIntRegOrder::NumOfAvailRegs, |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 83 | SparcIntRegOrder::NumOfAllRegs) { } |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 84 | |
Chris Lattner | abe9819 | 2002-05-23 15:50:03 +0000 | [diff] [blame] | 85 | void colorIGNode(IGNode *Node, std::vector<bool> &IsColorUsedArr) const; |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 86 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 87 | inline bool isRegVolatile(int Reg) const { |
Ruchira Sasanka | 5b8971f | 2001-10-16 01:23:19 +0000 | [diff] [blame] | 88 | return (Reg < (int) SparcIntRegOrder::StartOfNonVolatileRegs); |
| 89 | } |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 90 | }; |
| 91 | |
Ruchira Sasanka | f4c2ddd | 2002-01-07 21:03:42 +0000 | [diff] [blame] | 92 | |
| 93 | |
| 94 | |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 95 | //----------------------------------------------------------------------------- |
| 96 | // Float Register Class |
| 97 | //----------------------------------------------------------------------------- |
| 98 | |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 99 | static const std::string FloatRegNames[] = |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 100 | { |
| 101 | "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", "f9", |
| 102 | "f10", "f11", "f12", "f13", "f14", "f15", "f16", "f17", "f18", "f19", |
| 103 | "f20", "f21", "f22", "f23", "f24", "f25", "f26", "f27", "f28", "f29", |
| 104 | "f30", "f31", "f32", "f33", "f34", "f35", "f36", "f37", "f38", "f39", |
| 105 | "f40", "f41", "f42", "f43", "f44", "f45", "f46", "f47", "f48", "f49", |
| 106 | "f50", "f51", "f52", "f53", "f54", "f55", "f56", "f57", "f58", "f59", |
| 107 | "f60", "f61", "f62", "f63" |
| 108 | }; |
| 109 | |
| 110 | |
| 111 | class SparcFloatRegOrder{ |
| 112 | |
| 113 | public: |
| 114 | |
| 115 | enum RegsInPrefOrder { |
| 116 | |
| 117 | f0, f1, f2, f3, f4, f5, f6, f7, f8, f9, |
| 118 | f10, f11, f12, f13, f14, f15, f16, f17, f18, f19, |
| 119 | f20, f21, f22, f23, f24, f25, f26, f27, f28, f29, |
| 120 | f30, f31, f32, f33, f34, f35, f36, f37, f38, f39, |
| 121 | f40, f41, f42, f43, f44, f45, f46, f47, f48, f49, |
| 122 | f50, f51, f52, f53, f54, f55, f56, f57, f58, f59, |
| 123 | f60, f61, f62, f63 |
| 124 | |
| 125 | }; |
| 126 | |
| 127 | // there are 64 regs alltogether but only 32 regs can be allocated at |
| 128 | // a time. |
| 129 | |
| 130 | static unsigned int const NumOfAvailRegs = 32; |
| 131 | static unsigned int const NumOfAllRegs = 64; |
| 132 | |
Ruchira Sasanka | 5867c7a | 2001-09-30 23:16:47 +0000 | [diff] [blame] | 133 | static unsigned int const StartOfNonVolatileRegs = f32; |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 134 | static unsigned int const StartOfAllRegs = f0; |
| 135 | |
| 136 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 137 | static const std::string getRegName(unsigned reg) { |
| 138 | assert (reg < NumOfAllRegs); |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 139 | return FloatRegNames[reg]; |
| 140 | } |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 141 | }; |
| 142 | |
| 143 | |
| 144 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 145 | class SparcFloatRegClass : public MachineRegClassInfo { |
| 146 | int findFloatColor(const LiveRange *LR, unsigned Start, |
Chris Lattner | abe9819 | 2002-05-23 15:50:03 +0000 | [diff] [blame] | 147 | unsigned End, std::vector<bool> &IsColorUsedArr) const; |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 148 | public: |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 149 | SparcFloatRegClass(unsigned ID) |
| 150 | : MachineRegClassInfo(ID, |
| 151 | SparcFloatRegOrder::NumOfAvailRegs, |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 152 | SparcFloatRegOrder::NumOfAllRegs) {} |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 153 | |
Chris Lattner | abe9819 | 2002-05-23 15:50:03 +0000 | [diff] [blame] | 154 | void colorIGNode(IGNode *Node, std::vector<bool> &IsColorUsedArr) const; |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 155 | |
Ruchira Sasanka | 5b8971f | 2001-10-16 01:23:19 +0000 | [diff] [blame] | 156 | // according to Sparc 64 ABI, all %fp regs are volatile |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 157 | inline bool isRegVolatile(int Reg) const { return true; } |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 158 | }; |
| 159 | |
| 160 | |
| 161 | |
| 162 | |
| 163 | //----------------------------------------------------------------------------- |
| 164 | // Int CC Register Class |
Ruchira Sasanka | 9d8950d | 2001-11-03 19:59:59 +0000 | [diff] [blame] | 165 | // Only one integer cc register is available. However, this register is |
| 166 | // referred to as %xcc when instructions like subcc are executed but |
| 167 | // referred to as %ccr (i.e., %xcc + %icc") when this register is moved |
| 168 | // into an integer register using RD or WR instrcutions. So, two ids are |
| 169 | // allocated for two names. |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 170 | //----------------------------------------------------------------------------- |
| 171 | |
| 172 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 173 | static const std::string IntCCRegNames[] = { |
| 174 | "xcc", "ccr" |
| 175 | }; |
Ruchira Sasanka | 9d8950d | 2001-11-03 19:59:59 +0000 | [diff] [blame] | 176 | |
| 177 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 178 | struct SparcIntCCRegOrder { |
Ruchira Sasanka | 9d8950d | 2001-11-03 19:59:59 +0000 | [diff] [blame] | 179 | enum RegsInPrefOrder { |
Ruchira Sasanka | 9d8950d | 2001-11-03 19:59:59 +0000 | [diff] [blame] | 180 | xcc, ccr // only one is available - see the note above |
| 181 | }; |
| 182 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 183 | static const std::string getRegName(unsigned reg) { |
| 184 | assert(reg < 2); |
Ruchira Sasanka | 9d8950d | 2001-11-03 19:59:59 +0000 | [diff] [blame] | 185 | return IntCCRegNames[reg]; |
| 186 | } |
Ruchira Sasanka | 9d8950d | 2001-11-03 19:59:59 +0000 | [diff] [blame] | 187 | }; |
| 188 | |
| 189 | |
| 190 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 191 | struct SparcIntCCRegClass : public MachineRegClassInfo { |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 192 | SparcIntCCRegClass(unsigned ID) |
Ruchira Sasanka | 9d8950d | 2001-11-03 19:59:59 +0000 | [diff] [blame] | 193 | : MachineRegClassInfo(ID, 1, 2) { } |
Vikram S. Adve | e9327f0 | 2002-05-19 15:25:51 +0000 | [diff] [blame] | 194 | |
Chris Lattner | abe9819 | 2002-05-23 15:50:03 +0000 | [diff] [blame] | 195 | void colorIGNode(IGNode *Node, std::vector<bool> &IsColorUsedArr) const { |
Vikram S. Adve | e9327f0 | 2002-05-19 15:25:51 +0000 | [diff] [blame] | 196 | if (IsColorUsedArr[0]) |
| 197 | Node->getParentLR()->markForSpill(); |
| 198 | else |
| 199 | Node->setColor(0); // only one int cc reg is available |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 200 | } |
Vikram S. Adve | e9327f0 | 2002-05-19 15:25:51 +0000 | [diff] [blame] | 201 | |
Ruchira Sasanka | f4c2ddd | 2002-01-07 21:03:42 +0000 | [diff] [blame] | 202 | // according to Sparc 64 ABI, %ccr is volatile |
| 203 | // |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 204 | inline bool isRegVolatile(int Reg) const { return true; } |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 205 | }; |
| 206 | |
| 207 | |
| 208 | |
Ruchira Sasanka | f4c2ddd | 2002-01-07 21:03:42 +0000 | [diff] [blame] | 209 | |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 210 | //----------------------------------------------------------------------------- |
| 211 | // Float CC Register Class |
| 212 | // Only 4 Float CC registers are available |
| 213 | //----------------------------------------------------------------------------- |
| 214 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 215 | static const std::string FloatCCRegNames[] = { |
| 216 | "fcc0", "fcc1", "fcc2", "fcc3" |
| 217 | }; |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 218 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 219 | struct SparcFloatCCRegOrder{ |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 220 | enum RegsInPrefOrder { |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 221 | fcc0, fcc1, fcc2, fcc3 |
| 222 | }; |
| 223 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 224 | static const std::string getRegName(unsigned reg) { |
| 225 | assert (reg < 4); |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 226 | return FloatCCRegNames[reg]; |
| 227 | } |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 228 | }; |
| 229 | |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 230 | struct SparcFloatCCRegClass : public MachineRegClassInfo { |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 231 | SparcFloatCCRegClass(unsigned ID) |
| 232 | : MachineRegClassInfo(ID, 4, 4) { } |
| 233 | |
Chris Lattner | abe9819 | 2002-05-23 15:50:03 +0000 | [diff] [blame] | 234 | void colorIGNode(IGNode *Node, std::vector<bool> &IsColorUsedArr) const { |
| 235 | for(unsigned c = 0; c != 4; ++c) |
| 236 | if (!IsColorUsedArr[c]) { // find unused color |
| 237 | Node->setColor(c); |
| 238 | return; |
| 239 | } |
| 240 | |
| 241 | Node->getParentLR()->markForSpill(); |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 242 | } |
Vikram S. Adve | e9327f0 | 2002-05-19 15:25:51 +0000 | [diff] [blame] | 243 | |
Ruchira Sasanka | f4c2ddd | 2002-01-07 21:03:42 +0000 | [diff] [blame] | 244 | // according to Sparc 64 ABI, all %fp CC regs are volatile |
| 245 | // |
Chris Lattner | 5216cc5 | 2002-02-04 05:59:25 +0000 | [diff] [blame] | 246 | inline bool isRegVolatile(int Reg) const { return true; } |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 247 | }; |
| 248 | |
Ruchira Sasanka | dfc6c88 | 2001-09-18 22:52:44 +0000 | [diff] [blame] | 249 | #endif |