Vladimir Marko | af6925b | 2014-10-31 16:37:32 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2014 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 | |
| 17 | #ifndef ART_COMPILER_UTILS_DEX_INSTRUCTION_UTILS_H_ |
| 18 | #define ART_COMPILER_UTILS_DEX_INSTRUCTION_UTILS_H_ |
| 19 | |
| 20 | #include "dex_instruction.h" |
| 21 | |
| 22 | namespace art { |
| 23 | |
| 24 | // Dex invoke type corresponds to the ordering of INVOKE instructions; |
| 25 | // this order is the same for range and non-range invokes. |
| 26 | enum DexInvokeType : uint8_t { |
| 27 | kDexInvokeVirtual = 0, // invoke-virtual, invoke-virtual-range |
| 28 | kDexInvokeSuper, // invoke-super, invoke-super-range |
| 29 | kDexInvokeDirect, // invoke-direct, invoke-direct-range |
| 30 | kDexInvokeStatic, // invoke-static, invoke-static-range |
| 31 | kDexInvokeInterface, // invoke-interface, invoke-interface-range |
| 32 | kDexInvokeTypeCount |
| 33 | }; |
| 34 | |
| 35 | // Dex instruction memory access types correspond to the ordering of GET/PUT instructions; |
| 36 | // this order is the same for IGET, IPUT, SGET, SPUT, AGET and APUT. |
| 37 | enum DexMemAccessType : uint8_t { |
| 38 | kDexMemAccessWord = 0, // op 0; int or float, the actual type is not encoded. |
| 39 | kDexMemAccessWide, // op_WIDE 1; long or double, the actual type is not encoded. |
| 40 | kDexMemAccessObject, // op_OBJECT 2; the actual reference type is not encoded. |
| 41 | kDexMemAccessBoolean, // op_BOOLEAN 3 |
| 42 | kDexMemAccessByte, // op_BYTE 4 |
| 43 | kDexMemAccessChar, // op_CHAR 5 |
| 44 | kDexMemAccessShort, // op_SHORT 6 |
| 45 | kDexMemAccessTypeCount |
| 46 | }; |
| 47 | |
| 48 | std::ostream& operator<<(std::ostream& os, const DexMemAccessType& type); |
| 49 | |
| 50 | // NOTE: The following functions disregard quickened instructions. |
| 51 | |
Vladimir Marko | 321b987 | 2014-11-24 16:33:51 +0000 | [diff] [blame] | 52 | constexpr bool IsInstructionReturn(Instruction::Code opcode) { |
| 53 | return Instruction::RETURN_VOID <= opcode && opcode <= Instruction::RETURN_OBJECT; |
| 54 | } |
| 55 | |
Vladimir Marko | af6925b | 2014-10-31 16:37:32 +0000 | [diff] [blame] | 56 | constexpr bool IsInstructionInvoke(Instruction::Code opcode) { |
| 57 | return Instruction::INVOKE_VIRTUAL <= opcode && opcode <= Instruction::INVOKE_INTERFACE_RANGE && |
| 58 | opcode != Instruction::RETURN_VOID_BARRIER; |
| 59 | } |
| 60 | |
| 61 | constexpr bool IsInstructionInvokeStatic(Instruction::Code opcode) { |
| 62 | return opcode == Instruction::INVOKE_STATIC || opcode == Instruction::INVOKE_STATIC_RANGE; |
| 63 | } |
| 64 | |
Vladimir Marko | 26e7d45 | 2014-11-24 14:09:46 +0000 | [diff] [blame] | 65 | constexpr bool IsInstructionGoto(Instruction::Code opcode) { |
| 66 | return Instruction::GOTO <= opcode && opcode <= Instruction::GOTO_32; |
| 67 | } |
| 68 | |
Vladimir Marko | af6925b | 2014-10-31 16:37:32 +0000 | [diff] [blame] | 69 | constexpr bool IsInstructionIfCc(Instruction::Code opcode) { |
| 70 | return Instruction::IF_EQ <= opcode && opcode <= Instruction::IF_LE; |
| 71 | } |
| 72 | |
| 73 | constexpr bool IsInstructionIfCcZ(Instruction::Code opcode) { |
| 74 | return Instruction::IF_EQZ <= opcode && opcode <= Instruction::IF_LEZ; |
| 75 | } |
| 76 | |
| 77 | constexpr bool IsInstructionIGet(Instruction::Code code) { |
| 78 | return Instruction::IGET <= code && code <= Instruction::IGET_SHORT; |
| 79 | } |
| 80 | |
| 81 | constexpr bool IsInstructionIPut(Instruction::Code code) { |
| 82 | return Instruction::IPUT <= code && code <= Instruction::IPUT_SHORT; |
| 83 | } |
| 84 | |
| 85 | constexpr bool IsInstructionSGet(Instruction::Code code) { |
| 86 | return Instruction::SGET <= code && code <= Instruction::SGET_SHORT; |
| 87 | } |
| 88 | |
| 89 | constexpr bool IsInstructionSPut(Instruction::Code code) { |
| 90 | return Instruction::SPUT <= code && code <= Instruction::SPUT_SHORT; |
| 91 | } |
| 92 | |
| 93 | constexpr bool IsInstructionAGet(Instruction::Code code) { |
| 94 | return Instruction::AGET <= code && code <= Instruction::AGET_SHORT; |
| 95 | } |
| 96 | |
| 97 | constexpr bool IsInstructionAPut(Instruction::Code code) { |
| 98 | return Instruction::APUT <= code && code <= Instruction::APUT_SHORT; |
| 99 | } |
| 100 | |
| 101 | constexpr bool IsInstructionIGetOrIPut(Instruction::Code code) { |
| 102 | return Instruction::IGET <= code && code <= Instruction::IPUT_SHORT; |
| 103 | } |
| 104 | |
| 105 | constexpr bool IsInstructionSGetOrSPut(Instruction::Code code) { |
| 106 | return Instruction::SGET <= code && code <= Instruction::SPUT_SHORT; |
| 107 | } |
| 108 | |
| 109 | constexpr bool IsInstructionAGetOrAPut(Instruction::Code code) { |
| 110 | return Instruction::AGET <= code && code <= Instruction::APUT_SHORT; |
| 111 | } |
| 112 | |
| 113 | // TODO: Remove the #if guards below when we fully migrate to C++14. |
| 114 | |
| 115 | constexpr bool IsInvokeInstructionRange(Instruction::Code opcode) { |
| 116 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 117 | DCHECK(IsInstructionInvoke(opcode)); |
| 118 | #endif |
| 119 | return opcode >= Instruction::INVOKE_VIRTUAL_RANGE; |
| 120 | } |
| 121 | |
| 122 | constexpr DexInvokeType InvokeInstructionType(Instruction::Code opcode) { |
| 123 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 124 | DCHECK(IsInstructionInvoke(opcode)); |
| 125 | #endif |
| 126 | return static_cast<DexInvokeType>(IsInvokeInstructionRange(opcode) |
| 127 | ? (opcode - Instruction::INVOKE_VIRTUAL_RANGE) |
| 128 | : (opcode - Instruction::INVOKE_VIRTUAL)); |
| 129 | } |
| 130 | |
| 131 | constexpr DexMemAccessType IGetMemAccessType(Instruction::Code code) { |
| 132 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 133 | DCHECK(IsInstructionIGet(opcode)); |
| 134 | #endif |
| 135 | return static_cast<DexMemAccessType>(code - Instruction::IGET); |
| 136 | } |
| 137 | |
| 138 | constexpr DexMemAccessType IPutMemAccessType(Instruction::Code code) { |
| 139 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 140 | DCHECK(IsInstructionIPut(opcode)); |
| 141 | #endif |
| 142 | return static_cast<DexMemAccessType>(code - Instruction::IPUT); |
| 143 | } |
| 144 | |
| 145 | constexpr DexMemAccessType SGetMemAccessType(Instruction::Code code) { |
| 146 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 147 | DCHECK(IsInstructionSGet(opcode)); |
| 148 | #endif |
| 149 | return static_cast<DexMemAccessType>(code - Instruction::SGET); |
| 150 | } |
| 151 | |
| 152 | constexpr DexMemAccessType SPutMemAccessType(Instruction::Code code) { |
| 153 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 154 | DCHECK(IsInstructionSPut(opcode)); |
| 155 | #endif |
| 156 | return static_cast<DexMemAccessType>(code - Instruction::SPUT); |
| 157 | } |
| 158 | |
| 159 | constexpr DexMemAccessType AGetMemAccessType(Instruction::Code code) { |
| 160 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 161 | DCHECK(IsInstructionAGet(opcode)); |
| 162 | #endif |
| 163 | return static_cast<DexMemAccessType>(code - Instruction::AGET); |
| 164 | } |
| 165 | |
| 166 | constexpr DexMemAccessType APutMemAccessType(Instruction::Code code) { |
| 167 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 168 | DCHECK(IsInstructionAPut(opcode)); |
| 169 | #endif |
| 170 | return static_cast<DexMemAccessType>(code - Instruction::APUT); |
| 171 | } |
| 172 | |
| 173 | constexpr DexMemAccessType IGetOrIPutMemAccessType(Instruction::Code code) { |
| 174 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 175 | DCHECK(IsInstructionIGetOrIPut(opcode)); |
| 176 | #endif |
| 177 | return (code >= Instruction::IPUT) ? IPutMemAccessType(code) : IGetMemAccessType(code); |
| 178 | } |
| 179 | |
| 180 | constexpr DexMemAccessType SGetOrSPutMemAccessType(Instruction::Code code) { |
| 181 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 182 | DCHECK(IsInstructionSGetOrSPut(opcode)); |
| 183 | #endif |
| 184 | return (code >= Instruction::SPUT) ? SPutMemAccessType(code) : SGetMemAccessType(code); |
| 185 | } |
| 186 | |
| 187 | constexpr DexMemAccessType AGetOrAPutMemAccessType(Instruction::Code code) { |
| 188 | #if __cplusplus >= 201402 // C++14 allows the DCHECK() in constexpr functions. |
| 189 | DCHECK(IsInstructionAGetOrAPut(opcode)); |
| 190 | #endif |
| 191 | return (code >= Instruction::APUT) ? APutMemAccessType(code) : AGetMemAccessType(code); |
| 192 | } |
| 193 | |
| 194 | } // namespace art |
| 195 | |
| 196 | #endif // ART_COMPILER_UTILS_DEX_INSTRUCTION_UTILS_H_ |