| /* |
| * Copyright (C) 2012 The Android Open Source Project |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| #ifndef ART_COMPILER_DEX_QUICK_MIPS_MIPS_LIR_H_ |
| #define ART_COMPILER_DEX_QUICK_MIPS_MIPS_LIR_H_ |
| |
| #include "dex/compiler_internals.h" |
| |
| namespace art { |
| |
| /* |
| * Runtime register conventions. |
| * |
| * zero is always the value 0 |
| * at is scratch (normally used as temp reg by assembler) |
| * v0, v1 are scratch (normally hold subroutine return values) |
| * a0-a3 are scratch (normally hold subroutine arguments) |
| * t0-t8 are scratch |
| * t9 is scratch (normally used for function calls) |
| * s0 (rMIPS_SUSPEND) is reserved [holds suspend-check counter] |
| * s1 (rMIPS_SELF) is reserved [holds current &Thread] |
| * s2-s7 are callee save (promotion target) |
| * k0, k1 are reserved for use by interrupt handlers |
| * gp is reserved for global pointer |
| * sp is reserved |
| * s8 is callee save (promotion target) |
| * ra is scratch (normally holds the return addr) |
| * |
| * Preserved across C calls: s0-s8 |
| * Trashed across C calls: at, v0-v1, a0-a3, t0-t9, gp, ra |
| * |
| * Floating pointer registers |
| * NOTE: there are 32 fp registers (16 df pairs), but currently |
| * only support 16 fp registers (8 df pairs). |
| * f0-f15 |
| * df0-df7, where df0={f0,f1}, df1={f2,f3}, ... , df7={f14,f15} |
| * |
| * f0-f15 (df0-df7) trashed across C calls |
| * |
| * For mips32 code use: |
| * a0-a3 to hold operands |
| * v0-v1 to hold results |
| * t0-t9 for temps |
| * |
| * All jump/branch instructions have a delay slot after it. |
| * |
| * Stack frame diagram (stack grows down, higher addresses at top): |
| * |
| * +------------------------+ |
| * | IN[ins-1] | {Note: resides in caller's frame} |
| * | . | |
| * | IN[0] | |
| * | caller's Method* | |
| * +========================+ {Note: start of callee's frame} |
| * | spill region | {variable sized - will include lr if non-leaf.} |
| * +------------------------+ |
| * | ...filler word... | {Note: used as 2nd word of V[locals-1] if long] |
| * +------------------------+ |
| * | V[locals-1] | |
| * | V[locals-2] | |
| * | . | |
| * | . | |
| * | V[1] | |
| * | V[0] | |
| * +------------------------+ |
| * | 0 to 3 words padding | |
| * +------------------------+ |
| * | OUT[outs-1] | |
| * | OUT[outs-2] | |
| * | . | |
| * | OUT[0] | |
| * | cur_method* | <<== sp w/ 16-byte alignment |
| * +========================+ |
| */ |
| |
| |
| #define LOWORD_OFFSET 0 |
| #define HIWORD_OFFSET 4 |
| #define rARG0 rA0 |
| #define rs_rARG0 rs_rA0 |
| #define rARG1 rA1 |
| #define rs_rARG1 rs_rA1 |
| #define rARG2 rA2 |
| #define rs_rARG2 rs_rA2 |
| #define rARG3 rA3 |
| #define rs_rARG3 rs_rA3 |
| #define rRESULT0 rV0 |
| #define rs_rRESULT0 rs_rV0 |
| #define rRESULT1 rV1 |
| #define rs_rRESULT1 rs_rV1 |
| |
| #define rFARG0 rF12 |
| #define rs_rFARG0 rs_rF12 |
| #define rFARG1 rF13 |
| #define rs_rFARG1 rs_rF13 |
| #define rFARG2 rF14 |
| #define rs_rFARG2 rs_rF14 |
| #define rFARG3 rF15 |
| #define rs_rFARG3 rs_rF15 |
| #define rFRESULT0 rF0 |
| #define rs_rFRESULT0 rs_rF0 |
| #define rFRESULT1 rF1 |
| #define rs_rFRESULT1 rs_rF1 |
| |
| // Regs not used for Mips. |
| #define rMIPS_LR RegStorage::kInvalidRegVal |
| #define rMIPS_PC RegStorage::kInvalidRegVal |
| |
| enum MipsResourceEncodingPos { |
| kMipsGPReg0 = 0, |
| kMipsRegSP = 29, |
| kMipsRegLR = 31, |
| kMipsFPReg0 = 32, // only 16 fp regs supported currently. |
| kMipsFPRegEnd = 48, |
| kMipsRegHI = kMipsFPRegEnd, |
| kMipsRegLO, |
| kMipsRegPC, |
| kMipsRegEnd = 51, |
| }; |
| |
| #define ENCODE_MIPS_REG_LIST(N) (static_cast<uint64_t>(N)) |
| #define ENCODE_MIPS_REG_SP (1ULL << kMipsRegSP) |
| #define ENCODE_MIPS_REG_LR (1ULL << kMipsRegLR) |
| #define ENCODE_MIPS_REG_PC (1ULL << kMipsRegPC) |
| #define ENCODE_MIPS_REG_HI (1ULL << kMipsRegHI) |
| #define ENCODE_MIPS_REG_LO (1ULL << kMipsRegLO) |
| |
| // Set FR_BIT to 0 |
| // This bit determines how the CPU access FP registers. |
| #define FR_BIT 0 |
| |
| enum MipsNativeRegisterPool { |
| rZERO = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 0, |
| rAT = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 1, |
| rV0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 2, |
| rV1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 3, |
| rA0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 4, |
| rA1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 5, |
| rA2 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 6, |
| rA3 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 7, |
| rT0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 8, |
| rT1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 9, |
| rT2 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 10, |
| rT3 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 11, |
| rT4 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 12, |
| rT5 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 13, |
| rT6 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 14, |
| rT7 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 15, |
| rS0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 16, |
| rS1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 17, |
| rS2 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 18, |
| rS3 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 19, |
| rS4 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 20, |
| rS5 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 21, |
| rS6 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 22, |
| rS7 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 23, |
| rT8 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 24, |
| rT9 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 25, |
| rK0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 26, |
| rK1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 27, |
| rGP = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 28, |
| rSP = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 29, |
| rFP = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 30, |
| rRA = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 31, |
| |
| rF0 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 0, |
| rF1 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 1, |
| rF2 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 2, |
| rF3 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 3, |
| rF4 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 4, |
| rF5 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 5, |
| rF6 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 6, |
| rF7 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 7, |
| rF8 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 8, |
| rF9 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 9, |
| rF10 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 10, |
| rF11 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 11, |
| rF12 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 12, |
| rF13 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 13, |
| rF14 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 14, |
| rF15 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 15, |
| #if 0 |
| /* |
| * TODO: The shared resource mask doesn't have enough bit positions to describe all |
| * MIPS registers. Expand it and enable use of fp registers 16 through 31. |
| */ |
| rF16 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 16, |
| rF17 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 17, |
| rF18 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 18, |
| rF19 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 19, |
| rF20 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 20, |
| rF21 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 21, |
| rF22 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 22, |
| rF23 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 23, |
| rF24 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 24, |
| rF25 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 25, |
| rF26 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 26, |
| rF27 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 27, |
| rF28 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 28, |
| rF29 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 29, |
| rF30 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 30, |
| rF31 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 31, |
| #endif |
| #if (FR_BIT == 0) |
| rD0 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 0, |
| rD1 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 2, |
| rD2 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 4, |
| rD3 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 6, |
| rD4 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 8, |
| rD5 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 10, |
| rD6 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 12, |
| rD7 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 14, |
| #if 0 // TODO: expand resource mask to enable use of all MIPS fp registers. |
| rD8 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 16, |
| rD9 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 18, |
| rD10 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 20, |
| rD11 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 22, |
| rD12 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 24, |
| rD13 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 26, |
| rD14 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 28, |
| rD15 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 30, |
| #endif |
| #else |
| rD0 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 0, |
| rD1 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 1, |
| rD2 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 2, |
| rD3 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 3, |
| rD4 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 4, |
| rD5 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 5, |
| rD6 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 6, |
| rD7 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 7, |
| #if 0 // TODO: expand resource mask to enable use of all MIPS fp registers. |
| rD8 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 8, |
| rD9 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 9, |
| rD10 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 10, |
| rD11 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 11, |
| rD12 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 12, |
| rD13 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 13, |
| rD14 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 14, |
| rD15 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 15, |
| #endif |
| #endif |
| }; |
| |
| constexpr RegStorage rs_rZERO(RegStorage::kValid | rZERO); |
| constexpr RegStorage rs_rAT(RegStorage::kValid | rAT); |
| constexpr RegStorage rs_rV0(RegStorage::kValid | rV0); |
| constexpr RegStorage rs_rV1(RegStorage::kValid | rV1); |
| constexpr RegStorage rs_rA0(RegStorage::kValid | rA0); |
| constexpr RegStorage rs_rA1(RegStorage::kValid | rA1); |
| constexpr RegStorage rs_rA2(RegStorage::kValid | rA2); |
| constexpr RegStorage rs_rA3(RegStorage::kValid | rA3); |
| constexpr RegStorage rs_rT0(RegStorage::kValid | rT0); |
| constexpr RegStorage rs_rT1(RegStorage::kValid | rT1); |
| constexpr RegStorage rs_rT2(RegStorage::kValid | rT2); |
| constexpr RegStorage rs_rT3(RegStorage::kValid | rT3); |
| constexpr RegStorage rs_rT4(RegStorage::kValid | rT4); |
| constexpr RegStorage rs_rT5(RegStorage::kValid | rT5); |
| constexpr RegStorage rs_rT6(RegStorage::kValid | rT6); |
| constexpr RegStorage rs_rT7(RegStorage::kValid | rT7); |
| constexpr RegStorage rs_rS0(RegStorage::kValid | rS0); |
| constexpr RegStorage rs_rS1(RegStorage::kValid | rS1); |
| constexpr RegStorage rs_rS2(RegStorage::kValid | rS2); |
| constexpr RegStorage rs_rS3(RegStorage::kValid | rS3); |
| constexpr RegStorage rs_rS4(RegStorage::kValid | rS4); |
| constexpr RegStorage rs_rS5(RegStorage::kValid | rS5); |
| constexpr RegStorage rs_rS6(RegStorage::kValid | rS6); |
| constexpr RegStorage rs_rS7(RegStorage::kValid | rS7); |
| constexpr RegStorage rs_rT8(RegStorage::kValid | rT8); |
| constexpr RegStorage rs_rT9(RegStorage::kValid | rT9); |
| constexpr RegStorage rs_rK0(RegStorage::kValid | rK0); |
| constexpr RegStorage rs_rK1(RegStorage::kValid | rK1); |
| constexpr RegStorage rs_rGP(RegStorage::kValid | rGP); |
| constexpr RegStorage rs_rSP(RegStorage::kValid | rSP); |
| constexpr RegStorage rs_rFP(RegStorage::kValid | rFP); |
| constexpr RegStorage rs_rRA(RegStorage::kValid | rRA); |
| |
| constexpr RegStorage rs_rMIPS_LR(RegStorage::kInvalid); // Not used for MIPS. |
| constexpr RegStorage rs_rMIPS_PC(RegStorage::kInvalid); // Not used for MIPS. |
| constexpr RegStorage rs_rMIPS_COUNT(RegStorage::kInvalid); // Not used for MIPS. |
| |
| constexpr RegStorage rs_rF0(RegStorage::kValid | rF0); |
| constexpr RegStorage rs_rF1(RegStorage::kValid | rF1); |
| constexpr RegStorage rs_rF2(RegStorage::kValid | rF2); |
| constexpr RegStorage rs_rF3(RegStorage::kValid | rF3); |
| constexpr RegStorage rs_rF4(RegStorage::kValid | rF4); |
| constexpr RegStorage rs_rF5(RegStorage::kValid | rF5); |
| constexpr RegStorage rs_rF6(RegStorage::kValid | rF6); |
| constexpr RegStorage rs_rF7(RegStorage::kValid | rF7); |
| constexpr RegStorage rs_rF8(RegStorage::kValid | rF8); |
| constexpr RegStorage rs_rF9(RegStorage::kValid | rF9); |
| constexpr RegStorage rs_rF10(RegStorage::kValid | rF10); |
| constexpr RegStorage rs_rF11(RegStorage::kValid | rF11); |
| constexpr RegStorage rs_rF12(RegStorage::kValid | rF12); |
| constexpr RegStorage rs_rF13(RegStorage::kValid | rF13); |
| constexpr RegStorage rs_rF14(RegStorage::kValid | rF14); |
| constexpr RegStorage rs_rF15(RegStorage::kValid | rF15); |
| |
| constexpr RegStorage rs_rD0(RegStorage::kValid | rD0); |
| constexpr RegStorage rs_rD1(RegStorage::kValid | rD1); |
| constexpr RegStorage rs_rD2(RegStorage::kValid | rD2); |
| constexpr RegStorage rs_rD3(RegStorage::kValid | rD3); |
| constexpr RegStorage rs_rD4(RegStorage::kValid | rD4); |
| constexpr RegStorage rs_rD5(RegStorage::kValid | rD5); |
| constexpr RegStorage rs_rD6(RegStorage::kValid | rD6); |
| constexpr RegStorage rs_rD7(RegStorage::kValid | rD7); |
| |
| // TODO: reduce/eliminate use of these. |
| #define rMIPS_SUSPEND rS0 |
| #define rs_rMIPS_SUSPEND rs_rS0 |
| #define rMIPS_SELF rS1 |
| #define rs_rMIPS_SELF rs_rS1 |
| #define rMIPS_SP rSP |
| #define rs_rMIPS_SP rs_rSP |
| #define rMIPS_ARG0 rARG0 |
| #define rs_rMIPS_ARG0 rs_rARG0 |
| #define rMIPS_ARG1 rARG1 |
| #define rs_rMIPS_ARG1 rs_rARG1 |
| #define rMIPS_ARG2 rARG2 |
| #define rs_rMIPS_ARG2 rs_rARG2 |
| #define rMIPS_ARG3 rARG3 |
| #define rs_rMIPS_ARG3 rs_rARG3 |
| #define rMIPS_FARG0 rFARG0 |
| #define rs_rMIPS_FARG0 rs_rFARG0 |
| #define rMIPS_FARG1 rFARG1 |
| #define rs_rMIPS_FARG1 rs_rFARG1 |
| #define rMIPS_FARG2 rFARG2 |
| #define rs_rMIPS_FARG2 rs_rFARG2 |
| #define rMIPS_FARG3 rFARG3 |
| #define rs_rMIPS_FARG3 rs_rFARG3 |
| #define rMIPS_RET0 rRESULT0 |
| #define rs_rMIPS_RET0 rs_rRESULT0 |
| #define rMIPS_RET1 rRESULT1 |
| #define rs_rMIPS_RET1 rs_rRESULT1 |
| #define rMIPS_INVOKE_TGT rT9 |
| #define rs_rMIPS_INVOKE_TGT rs_rT9 |
| #define rMIPS_COUNT RegStorage::kInvalidRegVal |
| |
| // RegisterLocation templates return values (r_V0, or r_V0/r_V1). |
| const RegLocation mips_loc_c_return |
| {kLocPhysReg, 0, 0, 0, 0, 0, 0, 0, 1, |
| RegStorage(RegStorage::k32BitSolo, rV0), INVALID_SREG, INVALID_SREG}; |
| const RegLocation mips_loc_c_return_wide |
| {kLocPhysReg, 1, 0, 0, 0, 0, 0, 0, 1, |
| RegStorage(RegStorage::k64BitPair, rV0, rV1), INVALID_SREG, INVALID_SREG}; |
| const RegLocation mips_loc_c_return_float |
| {kLocPhysReg, 0, 0, 0, 1, 0, 0, 0, 1, |
| RegStorage(RegStorage::k32BitSolo, rF0), INVALID_SREG, INVALID_SREG}; |
| // FIXME: move MIPS to k64Bitsolo for doubles |
| const RegLocation mips_loc_c_return_double |
| {kLocPhysReg, 1, 0, 0, 1, 0, 0, 0, 1, |
| RegStorage(RegStorage::k64BitPair, rF0, rF1), INVALID_SREG, INVALID_SREG}; |
| |
| enum MipsShiftEncodings { |
| kMipsLsl = 0x0, |
| kMipsLsr = 0x1, |
| kMipsAsr = 0x2, |
| kMipsRor = 0x3 |
| }; |
| |
| // MIPS sync kinds (Note: support for kinds other than kSYNC0 may not exist). |
| #define kSYNC0 0x00 |
| #define kSYNC_WMB 0x04 |
| #define kSYNC_MB 0x01 |
| #define kSYNC_ACQUIRE 0x11 |
| #define kSYNC_RELEASE 0x12 |
| #define kSYNC_RMB 0x13 |
| |
| // TODO: Use smaller hammer when appropriate for target CPU. |
| #define kST kSYNC0 |
| #define kSY kSYNC0 |
| |
| /* |
| * The following enum defines the list of supported Thumb instructions by the |
| * assembler. Their corresponding EncodingMap positions will be defined in |
| * Assemble.cc. |
| */ |
| enum MipsOpCode { |
| kMipsFirst = 0, |
| kMips32BitData = kMipsFirst, // data [31..0]. |
| kMipsAddiu, // addiu t,s,imm16 [001001] s[25..21] t[20..16] imm16[15..0]. |
| kMipsAddu, // add d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100001]. |
| kMipsAnd, // and d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100100]. |
| kMipsAndi, // andi t,s,imm16 [001100] s[25..21] t[20..16] imm16[15..0]. |
| kMipsB, // b o [0001000000000000] o[15..0]. |
| kMipsBal, // bal o [0000010000010001] o[15..0]. |
| // NOTE: the code tests the range kMipsBeq thru kMipsBne, so adding an instruction in this |
| // range may require updates. |
| kMipsBeq, // beq s,t,o [000100] s[25..21] t[20..16] o[15..0]. |
| kMipsBeqz, // beqz s,o [000100] s[25..21] [00000] o[15..0]. |
| kMipsBgez, // bgez s,o [000001] s[25..21] [00001] o[15..0]. |
| kMipsBgtz, // bgtz s,o [000111] s[25..21] [00000] o[15..0]. |
| kMipsBlez, // blez s,o [000110] s[25..21] [00000] o[15..0]. |
| kMipsBltz, // bltz s,o [000001] s[25..21] [00000] o[15..0]. |
| kMipsBnez, // bnez s,o [000101] s[25..21] [00000] o[15..0]. |
| kMipsBne, // bne s,t,o [000101] s[25..21] t[20..16] o[15..0]. |
| kMipsDiv, // div s,t [000000] s[25..21] t[20..16] [0000000000011010]. |
| #if __mips_isa_rev >= 2 |
| kMipsExt, // ext t,s,p,z [011111] s[25..21] t[20..16] z[15..11] p[10..6] [000000]. |
| #endif |
| kMipsJal, // jal t [000011] t[25..0]. |
| kMipsJalr, // jalr d,s [000000] s[25..21] [00000] d[15..11] hint[10..6] [001001]. |
| kMipsJr, // jr s [000000] s[25..21] [0000000000] hint[10..6] [001000]. |
| kMipsLahi, // lui t,imm16 [00111100000] t[20..16] imm16[15..0] load addr hi. |
| kMipsLalo, // ori t,s,imm16 [001001] s[25..21] t[20..16] imm16[15..0] load addr lo. |
| kMipsLui, // lui t,imm16 [00111100000] t[20..16] imm16[15..0]. |
| kMipsLb, // lb t,o(b) [100000] b[25..21] t[20..16] o[15..0]. |
| kMipsLbu, // lbu t,o(b) [100100] b[25..21] t[20..16] o[15..0]. |
| kMipsLh, // lh t,o(b) [100001] b[25..21] t[20..16] o[15..0]. |
| kMipsLhu, // lhu t,o(b) [100101] b[25..21] t[20..16] o[15..0]. |
| kMipsLw, // lw t,o(b) [100011] b[25..21] t[20..16] o[15..0]. |
| kMipsMfhi, // mfhi d [0000000000000000] d[15..11] [00000010000]. |
| kMipsMflo, // mflo d [0000000000000000] d[15..11] [00000010010]. |
| kMipsMove, // move d,s [000000] s[25..21] [00000] d[15..11] [00000100101]. |
| kMipsMovz, // movz d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000001010]. |
| kMipsMul, // mul d,s,t [011100] s[25..21] t[20..16] d[15..11] [00000000010]. |
| kMipsNop, // nop [00000000000000000000000000000000]. |
| kMipsNor, // nor d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100111]. |
| kMipsOr, // or d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100101]. |
| kMipsOri, // ori t,s,imm16 [001001] s[25..21] t[20..16] imm16[15..0]. |
| kMipsPref, // pref h,o(b) [101011] b[25..21] h[20..16] o[15..0]. |
| kMipsSb, // sb t,o(b) [101000] b[25..21] t[20..16] o[15..0]. |
| #if __mips_isa_rev >= 2 |
| kMipsSeb, // seb d,t [01111100000] t[20..16] d[15..11] [10000100000]. |
| kMipsSeh, // seh d,t [01111100000] t[20..16] d[15..11] [11000100000]. |
| #endif |
| kMipsSh, // sh t,o(b) [101001] b[25..21] t[20..16] o[15..0]. |
| kMipsSll, // sll d,t,a [00000000000] t[20..16] d[15..11] a[10..6] [000000]. |
| kMipsSllv, // sllv d,t,s [000000] s[25..21] t[20..16] d[15..11] [00000000100]. |
| kMipsSlt, // slt d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000101010]. |
| kMipsSlti, // slti t,s,imm16 [001010] s[25..21] t[20..16] imm16[15..0]. |
| kMipsSltu, // sltu d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000101011]. |
| kMipsSra, // sra d,s,imm5 [00000000000] t[20..16] d[15..11] imm5[10..6] [000011]. |
| kMipsSrav, // srav d,t,s [000000] s[25..21] t[20..16] d[15..11] [00000000111]. |
| kMipsSrl, // srl d,t,a [00000000000] t[20..16] d[20..16] a[10..6] [000010]. |
| kMipsSrlv, // srlv d,t,s [000000] s[25..21] t[20..16] d[15..11] [00000000110]. |
| kMipsSubu, // subu d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100011]. |
| kMipsSw, // sw t,o(b) [101011] b[25..21] t[20..16] o[15..0]. |
| kMipsXor, // xor d,s,t [000000] s[25..21] t[20..16] d[15..11] [00000100110]. |
| kMipsXori, // xori t,s,imm16 [001110] s[25..21] t[20..16] imm16[15..0]. |
| kMipsFadds, // add.s d,s,t [01000110000] t[20..16] s[15..11] d[10..6] [000000]. |
| kMipsFsubs, // sub.s d,s,t [01000110000] t[20..16] s[15..11] d[10..6] [000001]. |
| kMipsFmuls, // mul.s d,s,t [01000110000] t[20..16] s[15..11] d[10..6] [000010]. |
| kMipsFdivs, // div.s d,s,t [01000110000] t[20..16] s[15..11] d[10..6] [000011]. |
| kMipsFaddd, // add.d d,s,t [01000110001] t[20..16] s[15..11] d[10..6] [000000]. |
| kMipsFsubd, // sub.d d,s,t [01000110001] t[20..16] s[15..11] d[10..6] [000001]. |
| kMipsFmuld, // mul.d d,s,t [01000110001] t[20..16] s[15..11] d[10..6] [000010]. |
| kMipsFdivd, // div.d d,s,t [01000110001] t[20..16] s[15..11] d[10..6] [000011]. |
| kMipsFcvtsd, // cvt.s.d d,s [01000110001] [00000] s[15..11] d[10..6] [100000]. |
| kMipsFcvtsw, // cvt.s.w d,s [01000110100] [00000] s[15..11] d[10..6] [100000]. |
| kMipsFcvtds, // cvt.d.s d,s [01000110000] [00000] s[15..11] d[10..6] [100001]. |
| kMipsFcvtdw, // cvt.d.w d,s [01000110100] [00000] s[15..11] d[10..6] [100001]. |
| kMipsFcvtws, // cvt.w.d d,s [01000110000] [00000] s[15..11] d[10..6] [100100]. |
| kMipsFcvtwd, // cvt.w.d d,s [01000110001] [00000] s[15..11] d[10..6] [100100]. |
| kMipsFmovs, // mov.s d,s [01000110000] [00000] s[15..11] d[10..6] [000110]. |
| kMipsFmovd, // mov.d d,s [01000110001] [00000] s[15..11] d[10..6] [000110]. |
| kMipsFlwc1, // lwc1 t,o(b) [110001] b[25..21] t[20..16] o[15..0]. |
| kMipsFldc1, // ldc1 t,o(b) [110101] b[25..21] t[20..16] o[15..0]. |
| kMipsFswc1, // swc1 t,o(b) [111001] b[25..21] t[20..16] o[15..0]. |
| kMipsFsdc1, // sdc1 t,o(b) [111101] b[25..21] t[20..16] o[15..0]. |
| kMipsMfc1, // mfc1 t,s [01000100000] t[20..16] s[15..11] [00000000000]. |
| kMipsMtc1, // mtc1 t,s [01000100100] t[20..16] s[15..11] [00000000000]. |
| kMipsDelta, // Psuedo for ori t, s, <label>-<label>. |
| kMipsDeltaHi, // Pseudo for lui t, high16(<label>-<label>). |
| kMipsDeltaLo, // Pseudo for ori t, s, low16(<label>-<label>). |
| kMipsCurrPC, // jal to .+8 to materialize pc. |
| kMipsSync, // sync kind [000000] [0000000000000000] s[10..6] [001111]. |
| kMipsUndefined, // undefined [011001xxxxxxxxxxxxxxxx]. |
| kMipsLast |
| }; |
| |
| // Instruction assembly field_loc kind. |
| enum MipsEncodingKind { |
| kFmtUnused, |
| kFmtBitBlt, /* Bit string using end/start */ |
| kFmtDfp, /* Double FP reg */ |
| kFmtSfp, /* Single FP reg */ |
| kFmtBlt5_2, /* Same 5-bit field to 2 locations */ |
| }; |
| |
| // Struct used to define the snippet positions for each MIPS opcode. |
| struct MipsEncodingMap { |
| uint32_t skeleton; |
| struct { |
| MipsEncodingKind kind; |
| int end; // end for kFmtBitBlt, 1-bit slice end for FP regs. |
| int start; // start for kFmtBitBlt, 4-bit slice end for FP regs. |
| } field_loc[4]; |
| MipsOpCode opcode; |
| uint64_t flags; |
| const char *name; |
| const char* fmt; |
| int size; // Note: size is in bytes. |
| }; |
| |
| extern MipsEncodingMap EncodingMap[kMipsLast]; |
| |
| #define IS_UIMM16(v) ((0 <= (v)) && ((v) <= 65535)) |
| #define IS_SIMM16(v) ((-32768 <= (v)) && ((v) <= 32766)) |
| #define IS_SIMM16_2WORD(v) ((-32764 <= (v)) && ((v) <= 32763)) // 2 offsets must fit. |
| |
| } // namespace art |
| |
| #endif // ART_COMPILER_DEX_QUICK_MIPS_MIPS_LIR_H_ |