Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2012 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 17 | #ifndef ART_COMPILER_DEX_QUICK_MIPS_MIPS_LIR_H_ |
| 18 | #define ART_COMPILER_DEX_QUICK_MIPS_MIPS_LIR_H_ |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 19 | |
| 20 | #include "dex/compiler_internals.h" |
| 21 | |
| 22 | namespace art { |
| 23 | |
| 24 | /* |
| 25 | * Runtime register conventions. |
| 26 | * |
| 27 | * zero is always the value 0 |
| 28 | * at is scratch (normally used as temp reg by assembler) |
| 29 | * v0, v1 are scratch (normally hold subroutine return values) |
| 30 | * a0-a3 are scratch (normally hold subroutine arguments) |
| 31 | * t0-t8 are scratch |
| 32 | * t9 is scratch (normally used for function calls) |
| 33 | * s0 (rMIPS_SUSPEND) is reserved [holds suspend-check counter] |
| 34 | * s1 (rMIPS_SELF) is reserved [holds current &Thread] |
| 35 | * s2-s7 are callee save (promotion target) |
| 36 | * k0, k1 are reserved for use by interrupt handlers |
| 37 | * gp is reserved for global pointer |
| 38 | * sp is reserved |
| 39 | * s8 is callee save (promotion target) |
| 40 | * ra is scratch (normally holds the return addr) |
| 41 | * |
| 42 | * Preserved across C calls: s0-s8 |
| 43 | * Trashed across C calls: at, v0-v1, a0-a3, t0-t9, gp, ra |
| 44 | * |
| 45 | * Floating pointer registers |
| 46 | * NOTE: there are 32 fp registers (16 df pairs), but currently |
| 47 | * only support 16 fp registers (8 df pairs). |
| 48 | * f0-f15 |
| 49 | * df0-df7, where df0={f0,f1}, df1={f2,f3}, ... , df7={f14,f15} |
| 50 | * |
| 51 | * f0-f15 (df0-df7) trashed across C calls |
| 52 | * |
| 53 | * For mips32 code use: |
| 54 | * a0-a3 to hold operands |
| 55 | * v0-v1 to hold results |
| 56 | * t0-t9 for temps |
| 57 | * |
| 58 | * All jump/branch instructions have a delay slot after it. |
| 59 | * |
| 60 | * Stack frame diagram (stack grows down, higher addresses at top): |
| 61 | * |
| 62 | * +------------------------+ |
| 63 | * | IN[ins-1] | {Note: resides in caller's frame} |
| 64 | * | . | |
| 65 | * | IN[0] | |
| 66 | * | caller's Method* | |
| 67 | * +========================+ {Note: start of callee's frame} |
| 68 | * | spill region | {variable sized - will include lr if non-leaf.} |
| 69 | * +------------------------+ |
| 70 | * | ...filler word... | {Note: used as 2nd word of V[locals-1] if long] |
| 71 | * +------------------------+ |
| 72 | * | V[locals-1] | |
| 73 | * | V[locals-2] | |
| 74 | * | . | |
| 75 | * | . | |
| 76 | * | V[1] | |
| 77 | * | V[0] | |
| 78 | * +------------------------+ |
| 79 | * | 0 to 3 words padding | |
| 80 | * +------------------------+ |
| 81 | * | OUT[outs-1] | |
| 82 | * | OUT[outs-2] | |
| 83 | * | . | |
| 84 | * | OUT[0] | |
| 85 | * | cur_method* | <<== sp w/ 16-byte alignment |
| 86 | * +========================+ |
| 87 | */ |
| 88 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 89 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 90 | #define LOWORD_OFFSET 0 |
| 91 | #define HIWORD_OFFSET 4 |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 92 | #define rARG0 rA0 |
| 93 | #define rs_rARG0 rs_rA0 |
| 94 | #define rARG1 rA1 |
| 95 | #define rs_rARG1 rs_rA1 |
| 96 | #define rARG2 rA2 |
| 97 | #define rs_rARG2 rs_rA2 |
| 98 | #define rARG3 rA3 |
| 99 | #define rs_rARG3 rs_rA3 |
| 100 | #define rRESULT0 rV0 |
| 101 | #define rs_rRESULT0 rs_rV0 |
| 102 | #define rRESULT1 rV1 |
| 103 | #define rs_rRESULT1 rs_rV1 |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 104 | |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 105 | #define rFARG0 rF12 |
| 106 | #define rs_rFARG0 rs_rF12 |
| 107 | #define rFARG1 rF13 |
| 108 | #define rs_rFARG1 rs_rF13 |
| 109 | #define rFARG2 rF14 |
| 110 | #define rs_rFARG2 rs_rF14 |
| 111 | #define rFARG3 rF15 |
| 112 | #define rs_rFARG3 rs_rF15 |
| 113 | #define rFRESULT0 rF0 |
| 114 | #define rs_rFRESULT0 rs_rF0 |
| 115 | #define rFRESULT1 rF1 |
| 116 | #define rs_rFRESULT1 rs_rF1 |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 117 | |
| 118 | // Regs not used for Mips. |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 119 | #define rMIPS_LR RegStorage::kInvalidRegVal |
| 120 | #define rMIPS_PC RegStorage::kInvalidRegVal |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 121 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 122 | enum MipsResourceEncodingPos { |
| 123 | kMipsGPReg0 = 0, |
| 124 | kMipsRegSP = 29, |
| 125 | kMipsRegLR = 31, |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 126 | kMipsFPReg0 = 32, // only 16 fp regs supported currently. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 127 | kMipsFPRegEnd = 48, |
| 128 | kMipsRegHI = kMipsFPRegEnd, |
| 129 | kMipsRegLO, |
| 130 | kMipsRegPC, |
| 131 | kMipsRegEnd = 51, |
| 132 | }; |
| 133 | |
| 134 | #define ENCODE_MIPS_REG_LIST(N) (static_cast<uint64_t>(N)) |
| 135 | #define ENCODE_MIPS_REG_SP (1ULL << kMipsRegSP) |
| 136 | #define ENCODE_MIPS_REG_LR (1ULL << kMipsRegLR) |
| 137 | #define ENCODE_MIPS_REG_PC (1ULL << kMipsRegPC) |
buzbee | 9da5c10 | 2014-03-28 12:59:18 -0700 | [diff] [blame] | 138 | #define ENCODE_MIPS_REG_HI (1ULL << kMipsRegHI) |
| 139 | #define ENCODE_MIPS_REG_LO (1ULL << kMipsRegLO) |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 140 | |
Douglas Leung | 2db3e26 | 2014-06-25 16:02:55 -0700 | [diff] [blame] | 141 | // Set FR_BIT to 0 |
| 142 | // This bit determines how the CPU access FP registers. |
| 143 | #define FR_BIT 0 |
| 144 | |
Ian Rogers | 6a3c1fc | 2014-10-31 00:33:20 -0700 | [diff] [blame] | 145 | enum MipsNativeRegisterPool { // private marker to avoid generate-operator-out.py from processing. |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 146 | rZERO = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 0, |
| 147 | rAT = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 1, |
| 148 | rV0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 2, |
| 149 | rV1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 3, |
| 150 | rA0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 4, |
| 151 | rA1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 5, |
| 152 | rA2 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 6, |
| 153 | rA3 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 7, |
| 154 | rT0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 8, |
| 155 | rT1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 9, |
| 156 | rT2 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 10, |
| 157 | rT3 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 11, |
| 158 | rT4 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 12, |
| 159 | rT5 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 13, |
| 160 | rT6 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 14, |
| 161 | rT7 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 15, |
| 162 | rS0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 16, |
| 163 | rS1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 17, |
| 164 | rS2 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 18, |
| 165 | rS3 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 19, |
| 166 | rS4 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 20, |
| 167 | rS5 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 21, |
| 168 | rS6 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 22, |
| 169 | rS7 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 23, |
| 170 | rT8 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 24, |
| 171 | rT9 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 25, |
| 172 | rK0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 26, |
| 173 | rK1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 27, |
| 174 | rGP = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 28, |
| 175 | rSP = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 29, |
| 176 | rFP = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 30, |
| 177 | rRA = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 31, |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 178 | |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 179 | rF0 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 0, |
| 180 | rF1 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 1, |
| 181 | rF2 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 2, |
| 182 | rF3 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 3, |
| 183 | rF4 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 4, |
| 184 | rF5 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 5, |
| 185 | rF6 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 6, |
| 186 | rF7 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 7, |
| 187 | rF8 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 8, |
| 188 | rF9 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 9, |
| 189 | rF10 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 10, |
| 190 | rF11 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 11, |
| 191 | rF12 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 12, |
| 192 | rF13 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 13, |
| 193 | rF14 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 14, |
| 194 | rF15 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 15, |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 195 | #if 0 |
| 196 | /* |
| 197 | * TODO: The shared resource mask doesn't have enough bit positions to describe all |
| 198 | * MIPS registers. Expand it and enable use of fp registers 16 through 31. |
| 199 | */ |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 200 | rF16 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 16, |
| 201 | rF17 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 17, |
| 202 | rF18 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 18, |
| 203 | rF19 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 19, |
| 204 | rF20 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 20, |
| 205 | rF21 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 21, |
| 206 | rF22 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 22, |
| 207 | rF23 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 23, |
| 208 | rF24 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 24, |
| 209 | rF25 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 25, |
| 210 | rF26 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 26, |
| 211 | rF27 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 27, |
| 212 | rF28 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 28, |
| 213 | rF29 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 29, |
| 214 | rF30 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 30, |
| 215 | rF31 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 31, |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 216 | #endif |
Douglas Leung | 2db3e26 | 2014-06-25 16:02:55 -0700 | [diff] [blame] | 217 | #if (FR_BIT == 0) |
| 218 | rD0 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 0, |
| 219 | rD1 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 2, |
| 220 | rD2 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 4, |
| 221 | rD3 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 6, |
| 222 | rD4 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 8, |
| 223 | rD5 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 10, |
| 224 | rD6 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 12, |
| 225 | rD7 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 14, |
| 226 | #if 0 // TODO: expand resource mask to enable use of all MIPS fp registers. |
| 227 | rD8 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 16, |
| 228 | rD9 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 18, |
| 229 | rD10 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 20, |
| 230 | rD11 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 22, |
| 231 | rD12 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 24, |
| 232 | rD13 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 26, |
| 233 | rD14 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 28, |
| 234 | rD15 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 30, |
| 235 | #endif |
| 236 | #else |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 237 | rD0 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 0, |
| 238 | rD1 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 1, |
| 239 | rD2 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 2, |
| 240 | rD3 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 3, |
| 241 | rD4 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 4, |
| 242 | rD5 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 5, |
| 243 | rD6 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 6, |
| 244 | rD7 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 7, |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 245 | #if 0 // TODO: expand resource mask to enable use of all MIPS fp registers. |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 246 | rD8 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 8, |
| 247 | rD9 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 9, |
| 248 | rD10 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 10, |
| 249 | rD11 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 11, |
| 250 | rD12 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 12, |
| 251 | rD13 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 13, |
| 252 | rD14 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 14, |
| 253 | rD15 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 15, |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 254 | #endif |
Douglas Leung | 2db3e26 | 2014-06-25 16:02:55 -0700 | [diff] [blame] | 255 | #endif |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 256 | }; |
| 257 | |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 258 | constexpr RegStorage rs_rZERO(RegStorage::kValid | rZERO); |
| 259 | constexpr RegStorage rs_rAT(RegStorage::kValid | rAT); |
| 260 | constexpr RegStorage rs_rV0(RegStorage::kValid | rV0); |
| 261 | constexpr RegStorage rs_rV1(RegStorage::kValid | rV1); |
| 262 | constexpr RegStorage rs_rA0(RegStorage::kValid | rA0); |
| 263 | constexpr RegStorage rs_rA1(RegStorage::kValid | rA1); |
| 264 | constexpr RegStorage rs_rA2(RegStorage::kValid | rA2); |
| 265 | constexpr RegStorage rs_rA3(RegStorage::kValid | rA3); |
| 266 | constexpr RegStorage rs_rT0(RegStorage::kValid | rT0); |
| 267 | constexpr RegStorage rs_rT1(RegStorage::kValid | rT1); |
| 268 | constexpr RegStorage rs_rT2(RegStorage::kValid | rT2); |
| 269 | constexpr RegStorage rs_rT3(RegStorage::kValid | rT3); |
| 270 | constexpr RegStorage rs_rT4(RegStorage::kValid | rT4); |
| 271 | constexpr RegStorage rs_rT5(RegStorage::kValid | rT5); |
| 272 | constexpr RegStorage rs_rT6(RegStorage::kValid | rT6); |
| 273 | constexpr RegStorage rs_rT7(RegStorage::kValid | rT7); |
| 274 | constexpr RegStorage rs_rS0(RegStorage::kValid | rS0); |
| 275 | constexpr RegStorage rs_rS1(RegStorage::kValid | rS1); |
| 276 | constexpr RegStorage rs_rS2(RegStorage::kValid | rS2); |
| 277 | constexpr RegStorage rs_rS3(RegStorage::kValid | rS3); |
| 278 | constexpr RegStorage rs_rS4(RegStorage::kValid | rS4); |
| 279 | constexpr RegStorage rs_rS5(RegStorage::kValid | rS5); |
| 280 | constexpr RegStorage rs_rS6(RegStorage::kValid | rS6); |
| 281 | constexpr RegStorage rs_rS7(RegStorage::kValid | rS7); |
| 282 | constexpr RegStorage rs_rT8(RegStorage::kValid | rT8); |
| 283 | constexpr RegStorage rs_rT9(RegStorage::kValid | rT9); |
| 284 | constexpr RegStorage rs_rK0(RegStorage::kValid | rK0); |
| 285 | constexpr RegStorage rs_rK1(RegStorage::kValid | rK1); |
| 286 | constexpr RegStorage rs_rGP(RegStorage::kValid | rGP); |
| 287 | constexpr RegStorage rs_rSP(RegStorage::kValid | rSP); |
| 288 | constexpr RegStorage rs_rFP(RegStorage::kValid | rFP); |
| 289 | constexpr RegStorage rs_rRA(RegStorage::kValid | rRA); |
| 290 | |
| 291 | constexpr RegStorage rs_rMIPS_LR(RegStorage::kInvalid); // Not used for MIPS. |
| 292 | constexpr RegStorage rs_rMIPS_PC(RegStorage::kInvalid); // Not used for MIPS. |
| 293 | constexpr RegStorage rs_rMIPS_COUNT(RegStorage::kInvalid); // Not used for MIPS. |
| 294 | |
| 295 | constexpr RegStorage rs_rF0(RegStorage::kValid | rF0); |
| 296 | constexpr RegStorage rs_rF1(RegStorage::kValid | rF1); |
| 297 | constexpr RegStorage rs_rF2(RegStorage::kValid | rF2); |
| 298 | constexpr RegStorage rs_rF3(RegStorage::kValid | rF3); |
| 299 | constexpr RegStorage rs_rF4(RegStorage::kValid | rF4); |
| 300 | constexpr RegStorage rs_rF5(RegStorage::kValid | rF5); |
| 301 | constexpr RegStorage rs_rF6(RegStorage::kValid | rF6); |
| 302 | constexpr RegStorage rs_rF7(RegStorage::kValid | rF7); |
| 303 | constexpr RegStorage rs_rF8(RegStorage::kValid | rF8); |
| 304 | constexpr RegStorage rs_rF9(RegStorage::kValid | rF9); |
| 305 | constexpr RegStorage rs_rF10(RegStorage::kValid | rF10); |
| 306 | constexpr RegStorage rs_rF11(RegStorage::kValid | rF11); |
| 307 | constexpr RegStorage rs_rF12(RegStorage::kValid | rF12); |
| 308 | constexpr RegStorage rs_rF13(RegStorage::kValid | rF13); |
| 309 | constexpr RegStorage rs_rF14(RegStorage::kValid | rF14); |
| 310 | constexpr RegStorage rs_rF15(RegStorage::kValid | rF15); |
| 311 | |
| 312 | constexpr RegStorage rs_rD0(RegStorage::kValid | rD0); |
| 313 | constexpr RegStorage rs_rD1(RegStorage::kValid | rD1); |
| 314 | constexpr RegStorage rs_rD2(RegStorage::kValid | rD2); |
| 315 | constexpr RegStorage rs_rD3(RegStorage::kValid | rD3); |
| 316 | constexpr RegStorage rs_rD4(RegStorage::kValid | rD4); |
| 317 | constexpr RegStorage rs_rD5(RegStorage::kValid | rD5); |
| 318 | constexpr RegStorage rs_rD6(RegStorage::kValid | rD6); |
| 319 | constexpr RegStorage rs_rD7(RegStorage::kValid | rD7); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 320 | |
| 321 | // TODO: reduce/eliminate use of these. |
| 322 | #define rMIPS_SUSPEND rS0 |
| 323 | #define rs_rMIPS_SUSPEND rs_rS0 |
| 324 | #define rMIPS_SELF rS1 |
| 325 | #define rs_rMIPS_SELF rs_rS1 |
| 326 | #define rMIPS_SP rSP |
| 327 | #define rs_rMIPS_SP rs_rSP |
| 328 | #define rMIPS_ARG0 rARG0 |
| 329 | #define rs_rMIPS_ARG0 rs_rARG0 |
| 330 | #define rMIPS_ARG1 rARG1 |
| 331 | #define rs_rMIPS_ARG1 rs_rARG1 |
| 332 | #define rMIPS_ARG2 rARG2 |
| 333 | #define rs_rMIPS_ARG2 rs_rARG2 |
| 334 | #define rMIPS_ARG3 rARG3 |
| 335 | #define rs_rMIPS_ARG3 rs_rARG3 |
| 336 | #define rMIPS_FARG0 rFARG0 |
| 337 | #define rs_rMIPS_FARG0 rs_rFARG0 |
| 338 | #define rMIPS_FARG1 rFARG1 |
| 339 | #define rs_rMIPS_FARG1 rs_rFARG1 |
| 340 | #define rMIPS_FARG2 rFARG2 |
| 341 | #define rs_rMIPS_FARG2 rs_rFARG2 |
| 342 | #define rMIPS_FARG3 rFARG3 |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 343 | #define rs_rMIPS_FARG3 rs_rFARG3 |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 344 | #define rMIPS_RET0 rRESULT0 |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 345 | #define rs_rMIPS_RET0 rs_rRESULT0 |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 346 | #define rMIPS_RET1 rRESULT1 |
| 347 | #define rs_rMIPS_RET1 rs_rRESULT1 |
| 348 | #define rMIPS_INVOKE_TGT rT9 |
| 349 | #define rs_rMIPS_INVOKE_TGT rs_rT9 |
| 350 | #define rMIPS_COUNT RegStorage::kInvalidRegVal |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 351 | |
Bill Buzbee | 00e1ec6 | 2014-02-27 23:44:13 +0000 | [diff] [blame] | 352 | // RegisterLocation templates return values (r_V0, or r_V0/r_V1). |
| 353 | const RegLocation mips_loc_c_return |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 354 | {kLocPhysReg, 0, 0, 0, 0, 0, 0, 0, 1, |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 355 | RegStorage(RegStorage::k32BitSolo, rV0), INVALID_SREG, INVALID_SREG}; |
Bill Buzbee | 00e1ec6 | 2014-02-27 23:44:13 +0000 | [diff] [blame] | 356 | const RegLocation mips_loc_c_return_wide |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 357 | {kLocPhysReg, 1, 0, 0, 0, 0, 0, 0, 1, |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 358 | RegStorage(RegStorage::k64BitPair, rV0, rV1), INVALID_SREG, INVALID_SREG}; |
Bill Buzbee | 00e1ec6 | 2014-02-27 23:44:13 +0000 | [diff] [blame] | 359 | const RegLocation mips_loc_c_return_float |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 360 | {kLocPhysReg, 0, 0, 0, 1, 0, 0, 0, 1, |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 361 | RegStorage(RegStorage::k32BitSolo, rF0), INVALID_SREG, INVALID_SREG}; |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 362 | // FIXME: move MIPS to k64Bitsolo for doubles |
Bill Buzbee | 00e1ec6 | 2014-02-27 23:44:13 +0000 | [diff] [blame] | 363 | const RegLocation mips_loc_c_return_double |
buzbee | 091cc40 | 2014-03-31 10:14:40 -0700 | [diff] [blame] | 364 | {kLocPhysReg, 1, 0, 0, 1, 0, 0, 0, 1, |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 365 | RegStorage(RegStorage::k64BitPair, rF0, rF1), INVALID_SREG, INVALID_SREG}; |
Bill Buzbee | 00e1ec6 | 2014-02-27 23:44:13 +0000 | [diff] [blame] | 366 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 367 | enum MipsShiftEncodings { |
| 368 | kMipsLsl = 0x0, |
| 369 | kMipsLsr = 0x1, |
| 370 | kMipsAsr = 0x2, |
| 371 | kMipsRor = 0x3 |
| 372 | }; |
| 373 | |
| 374 | // MIPS sync kinds (Note: support for kinds other than kSYNC0 may not exist). |
| 375 | #define kSYNC0 0x00 |
| 376 | #define kSYNC_WMB 0x04 |
| 377 | #define kSYNC_MB 0x01 |
| 378 | #define kSYNC_ACQUIRE 0x11 |
| 379 | #define kSYNC_RELEASE 0x12 |
| 380 | #define kSYNC_RMB 0x13 |
| 381 | |
| 382 | // TODO: Use smaller hammer when appropriate for target CPU. |
| 383 | #define kST kSYNC0 |
| 384 | #define kSY kSYNC0 |
| 385 | |
| 386 | /* |
| 387 | * The following enum defines the list of supported Thumb instructions by the |
| 388 | * assembler. Their corresponding EncodingMap positions will be defined in |
| 389 | * Assemble.cc. |
| 390 | */ |
| 391 | enum MipsOpCode { |
| 392 | kMipsFirst = 0, |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 393 | kMips32BitData = kMipsFirst, // data [31..0]. |
| 394 | kMipsAddiu, // addiu t,s,imm16 [001001] s[25..21] t[20..16] imm16[15..0]. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 395 | kMipsAddu, // add d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100001]. |
| 396 | kMipsAnd, // and d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100100]. |
| 397 | kMipsAndi, // andi t,s,imm16 [001100] s[25..21] t[20..16] imm16[15..0]. |
| 398 | kMipsB, // b o [0001000000000000] o[15..0]. |
| 399 | kMipsBal, // bal o [0000010000010001] o[15..0]. |
| 400 | // NOTE: the code tests the range kMipsBeq thru kMipsBne, so adding an instruction in this |
| 401 | // range may require updates. |
| 402 | kMipsBeq, // beq s,t,o [000100] s[25..21] t[20..16] o[15..0]. |
| 403 | kMipsBeqz, // beqz s,o [000100] s[25..21] [00000] o[15..0]. |
| 404 | kMipsBgez, // bgez s,o [000001] s[25..21] [00001] o[15..0]. |
| 405 | kMipsBgtz, // bgtz s,o [000111] s[25..21] [00000] o[15..0]. |
| 406 | kMipsBlez, // blez s,o [000110] s[25..21] [00000] o[15..0]. |
| 407 | kMipsBltz, // bltz s,o [000001] s[25..21] [00000] o[15..0]. |
| 408 | kMipsBnez, // bnez s,o [000101] s[25..21] [00000] o[15..0]. |
| 409 | kMipsBne, // bne s,t,o [000101] s[25..21] t[20..16] o[15..0]. |
| 410 | kMipsDiv, // div s,t [000000] s[25..21] t[20..16] [0000000000011010]. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 411 | kMipsExt, // ext t,s,p,z [011111] s[25..21] t[20..16] z[15..11] p[10..6] [000000]. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 412 | kMipsJal, // jal t [000011] t[25..0]. |
| 413 | kMipsJalr, // jalr d,s [000000] s[25..21] [00000] d[15..11] hint[10..6] [001001]. |
| 414 | kMipsJr, // jr s [000000] s[25..21] [0000000000] hint[10..6] [001000]. |
| 415 | kMipsLahi, // lui t,imm16 [00111100000] t[20..16] imm16[15..0] load addr hi. |
| 416 | kMipsLalo, // ori t,s,imm16 [001001] s[25..21] t[20..16] imm16[15..0] load addr lo. |
| 417 | kMipsLui, // lui t,imm16 [00111100000] t[20..16] imm16[15..0]. |
| 418 | kMipsLb, // lb t,o(b) [100000] b[25..21] t[20..16] o[15..0]. |
| 419 | kMipsLbu, // lbu t,o(b) [100100] b[25..21] t[20..16] o[15..0]. |
| 420 | kMipsLh, // lh t,o(b) [100001] b[25..21] t[20..16] o[15..0]. |
| 421 | kMipsLhu, // lhu t,o(b) [100101] b[25..21] t[20..16] o[15..0]. |
| 422 | kMipsLw, // lw t,o(b) [100011] b[25..21] t[20..16] o[15..0]. |
| 423 | kMipsMfhi, // mfhi d [0000000000000000] d[15..11] [00000010000]. |
| 424 | kMipsMflo, // mflo d [0000000000000000] d[15..11] [00000010010]. |
| 425 | kMipsMove, // move d,s [000000] s[25..21] [00000] d[15..11] [00000100101]. |
| 426 | kMipsMovz, // movz d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000001010]. |
| 427 | kMipsMul, // mul d,s,t [011100] s[25..21] t[20..16] d[15..11] [00000000010]. |
| 428 | kMipsNop, // nop [00000000000000000000000000000000]. |
| 429 | kMipsNor, // nor d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100111]. |
| 430 | kMipsOr, // or d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100101]. |
| 431 | kMipsOri, // ori t,s,imm16 [001001] s[25..21] t[20..16] imm16[15..0]. |
| 432 | kMipsPref, // pref h,o(b) [101011] b[25..21] h[20..16] o[15..0]. |
| 433 | kMipsSb, // sb t,o(b) [101000] b[25..21] t[20..16] o[15..0]. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 434 | kMipsSeb, // seb d,t [01111100000] t[20..16] d[15..11] [10000100000]. |
| 435 | kMipsSeh, // seh d,t [01111100000] t[20..16] d[15..11] [11000100000]. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 436 | kMipsSh, // sh t,o(b) [101001] b[25..21] t[20..16] o[15..0]. |
| 437 | kMipsSll, // sll d,t,a [00000000000] t[20..16] d[15..11] a[10..6] [000000]. |
| 438 | kMipsSllv, // sllv d,t,s [000000] s[25..21] t[20..16] d[15..11] [00000000100]. |
| 439 | kMipsSlt, // slt d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000101010]. |
| 440 | kMipsSlti, // slti t,s,imm16 [001010] s[25..21] t[20..16] imm16[15..0]. |
| 441 | kMipsSltu, // sltu d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000101011]. |
| 442 | kMipsSra, // sra d,s,imm5 [00000000000] t[20..16] d[15..11] imm5[10..6] [000011]. |
| 443 | kMipsSrav, // srav d,t,s [000000] s[25..21] t[20..16] d[15..11] [00000000111]. |
| 444 | kMipsSrl, // srl d,t,a [00000000000] t[20..16] d[20..16] a[10..6] [000010]. |
| 445 | kMipsSrlv, // srlv d,t,s [000000] s[25..21] t[20..16] d[15..11] [00000000110]. |
| 446 | kMipsSubu, // subu d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100011]. |
| 447 | kMipsSw, // sw t,o(b) [101011] b[25..21] t[20..16] o[15..0]. |
| 448 | kMipsXor, // xor d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100110]. |
| 449 | kMipsXori, // xori t,s,imm16 [001110] s[25..21] t[20..16] imm16[15..0]. |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 450 | kMipsFadds, // add.s d,s,t [01000110000] t[20..16] s[15..11] d[10..6] [000000]. |
| 451 | kMipsFsubs, // sub.s d,s,t [01000110000] t[20..16] s[15..11] d[10..6] [000001]. |
| 452 | kMipsFmuls, // mul.s d,s,t [01000110000] t[20..16] s[15..11] d[10..6] [000010]. |
| 453 | kMipsFdivs, // div.s d,s,t [01000110000] t[20..16] s[15..11] d[10..6] [000011]. |
| 454 | kMipsFaddd, // add.d d,s,t [01000110001] t[20..16] s[15..11] d[10..6] [000000]. |
| 455 | kMipsFsubd, // sub.d d,s,t [01000110001] t[20..16] s[15..11] d[10..6] [000001]. |
| 456 | kMipsFmuld, // mul.d d,s,t [01000110001] t[20..16] s[15..11] d[10..6] [000010]. |
| 457 | kMipsFdivd, // div.d d,s,t [01000110001] t[20..16] s[15..11] d[10..6] [000011]. |
| 458 | kMipsFcvtsd, // cvt.s.d d,s [01000110001] [00000] s[15..11] d[10..6] [100000]. |
| 459 | kMipsFcvtsw, // cvt.s.w d,s [01000110100] [00000] s[15..11] d[10..6] [100000]. |
| 460 | kMipsFcvtds, // cvt.d.s d,s [01000110000] [00000] s[15..11] d[10..6] [100001]. |
| 461 | kMipsFcvtdw, // cvt.d.w d,s [01000110100] [00000] s[15..11] d[10..6] [100001]. |
| 462 | kMipsFcvtws, // cvt.w.d d,s [01000110000] [00000] s[15..11] d[10..6] [100100]. |
| 463 | kMipsFcvtwd, // cvt.w.d d,s [01000110001] [00000] s[15..11] d[10..6] [100100]. |
| 464 | kMipsFmovs, // mov.s d,s [01000110000] [00000] s[15..11] d[10..6] [000110]. |
| 465 | kMipsFmovd, // mov.d d,s [01000110001] [00000] s[15..11] d[10..6] [000110]. |
| 466 | kMipsFlwc1, // lwc1 t,o(b) [110001] b[25..21] t[20..16] o[15..0]. |
| 467 | kMipsFldc1, // ldc1 t,o(b) [110101] b[25..21] t[20..16] o[15..0]. |
| 468 | kMipsFswc1, // swc1 t,o(b) [111001] b[25..21] t[20..16] o[15..0]. |
| 469 | kMipsFsdc1, // sdc1 t,o(b) [111101] b[25..21] t[20..16] o[15..0]. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 470 | kMipsMfc1, // mfc1 t,s [01000100000] t[20..16] s[15..11] [00000000000]. |
| 471 | kMipsMtc1, // mtc1 t,s [01000100100] t[20..16] s[15..11] [00000000000]. |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 472 | kMipsDelta, // Psuedo for ori t, s, <label>-<label>. |
| 473 | kMipsDeltaHi, // Pseudo for lui t, high16(<label>-<label>). |
| 474 | kMipsDeltaLo, // Pseudo for ori t, s, low16(<label>-<label>). |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 475 | kMipsCurrPC, // jal to .+8 to materialize pc. |
| 476 | kMipsSync, // sync kind [000000] [0000000000000000] s[10..6] [001111]. |
| 477 | kMipsUndefined, // undefined [011001xxxxxxxxxxxxxxxx]. |
| 478 | kMipsLast |
| 479 | }; |
Ian Rogers | 6a3c1fc | 2014-10-31 00:33:20 -0700 | [diff] [blame] | 480 | std::ostream& operator<<(std::ostream& os, const MipsOpCode& rhs); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 481 | |
| 482 | // Instruction assembly field_loc kind. |
| 483 | enum MipsEncodingKind { |
| 484 | kFmtUnused, |
Ian Rogers | 6a3c1fc | 2014-10-31 00:33:20 -0700 | [diff] [blame] | 485 | kFmtBitBlt, // Bit string using end/start. |
| 486 | kFmtDfp, // Double FP reg. |
| 487 | kFmtSfp, // Single FP reg |
| 488 | kFmtBlt5_2, // Same 5-bit field to 2 locations. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 489 | }; |
Ian Rogers | 6a3c1fc | 2014-10-31 00:33:20 -0700 | [diff] [blame] | 490 | std::ostream& operator<<(std::ostream& os, const MipsEncodingKind& rhs); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 491 | |
| 492 | // Struct used to define the snippet positions for each MIPS opcode. |
| 493 | struct MipsEncodingMap { |
| 494 | uint32_t skeleton; |
| 495 | struct { |
| 496 | MipsEncodingKind kind; |
| 497 | int end; // end for kFmtBitBlt, 1-bit slice end for FP regs. |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 498 | int start; // start for kFmtBitBlt, 4-bit slice end for FP regs. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 499 | } field_loc[4]; |
| 500 | MipsOpCode opcode; |
| 501 | uint64_t flags; |
| 502 | const char *name; |
| 503 | const char* fmt; |
| 504 | int size; // Note: size is in bytes. |
| 505 | }; |
| 506 | |
| 507 | extern MipsEncodingMap EncodingMap[kMipsLast]; |
| 508 | |
| 509 | #define IS_UIMM16(v) ((0 <= (v)) && ((v) <= 65535)) |
| 510 | #define IS_SIMM16(v) ((-32768 <= (v)) && ((v) <= 32766)) |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 511 | #define IS_SIMM16_2WORD(v) ((-32764 <= (v)) && ((v) <= 32763)) // 2 offsets must fit. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 512 | |
| 513 | } // namespace art |
| 514 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 515 | #endif // ART_COMPILER_DEX_QUICK_MIPS_MIPS_LIR_H_ |