dex_instruction.cc revision 2c4257be8191c5eefde744e8965fcefc80a0a97d
12faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes/* 22faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * Copyright (C) 2011 The Android Open Source Project 32faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * 42faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * Licensed under the Apache License, Version 2.0 (the "License"); 52faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * you may not use this file except in compliance with the License. 62faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * You may obtain a copy of the License at 72faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * 82faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * http://www.apache.org/licenses/LICENSE-2.0 92faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * 102faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * Unless required by applicable law or agreed to in writing, software 112faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * distributed under the License is distributed on an "AS IS" BASIS, 122faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 132faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * See the License for the specific language governing permissions and 142faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * limitations under the License. 152faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes */ 1612eb78e651f13f2c1f0c2c922048a5a213253adfCarl Shapiro 17807a25640d4f4de8143b160b3bb8f552ffbf6f4aSebastien Hertz#include "dex_instruction-inl.h" 1812eb78e651f13f2c1f0c2c922048a5a213253adfCarl Shapiro 19b574c1816c7a2f160b267cd100f36f157a9abcf6Ian Rogers#include <inttypes.h> 20b574c1816c7a2f160b267cd100f36f157a9abcf6Ian Rogers 21b574c1816c7a2f160b267cd100f36f157a9abcf6Ian Rogers#include <iomanip> 22c7dd295a4e0cc1d15c0c96088e55a85389bade74Ian Rogers#include <sstream> 23b574c1816c7a2f160b267cd100f36f157a9abcf6Ian Rogers 24576ca0cd692c0b6ae70e776de91015b8ff000a08Ian Rogers#include "base/stringprintf.h" 254f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers#include "dex_file-inl.h" 262dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "utils.h" 27d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers 2812eb78e651f13f2c1f0c2c922048a5a213253adfCarl Shapironamespace art { 2912eb78e651f13f2c1f0c2c922048a5a213253adfCarl Shapiro 30e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiroconst char* const Instruction::kInstructionNames[] = { 31ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao#define INSTRUCTION_NAME(o, c, pname, f, r, i, a, v) pname, 32578bbdc684db8ed68e9fedbc678669d27fa68b6eBrian Carlstrom#include "dex_instruction_list.h" 33e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro DEX_INSTRUCTION_LIST(INSTRUCTION_NAME) 34e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro#undef DEX_INSTRUCTION_LIST 35e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro#undef INSTRUCTION_NAME 36e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro}; 37e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro 38adb8c67f6d87a160d4e3a8afea7cb93f6c14568bElliott HughesInstruction::Format const Instruction::kInstructionFormats[] = { 39ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao#define INSTRUCTION_FORMAT(o, c, p, format, r, i, a, v) format, 40578bbdc684db8ed68e9fedbc678669d27fa68b6eBrian Carlstrom#include "dex_instruction_list.h" 41e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro DEX_INSTRUCTION_LIST(INSTRUCTION_FORMAT) 42e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro#undef DEX_INSTRUCTION_LIST 43e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro#undef INSTRUCTION_FORMAT 44e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro}; 45e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro 46e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiroint const Instruction::kInstructionFlags[] = { 47ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao#define INSTRUCTION_FLAGS(o, c, p, f, r, i, flags, v) flags, 48578bbdc684db8ed68e9fedbc678669d27fa68b6eBrian Carlstrom#include "dex_instruction_list.h" 49e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro DEX_INSTRUCTION_LIST(INSTRUCTION_FLAGS) 50e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro#undef DEX_INSTRUCTION_LIST 51e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro#undef INSTRUCTION_FLAGS 52e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro}; 53e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro 54ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhaoint const Instruction::kInstructionVerifyFlags[] = { 55ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao#define INSTRUCTION_VERIFY_FLAGS(o, c, p, f, r, i, a, vflags) vflags, 56ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao#include "dex_instruction_list.h" 57ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao DEX_INSTRUCTION_LIST(INSTRUCTION_VERIFY_FLAGS) 58ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao#undef DEX_INSTRUCTION_LIST 59ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao#undef INSTRUCTION_VERIFY_FLAGS 60ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao}; 61ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29jeffhao 62a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogersint const Instruction::kInstructionSizeInCodeUnits[] = { 63a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers#define INSTRUCTION_SIZE(opcode, c, p, format, r, i, a, v) \ 646f485c62b9cfce3ab71020c646ab9f48d9d29d6dBrian Carlstrom ((opcode == NOP) ? -1 : \ 656f485c62b9cfce3ab71020c646ab9f48d9d29d6dBrian Carlstrom ((format >= k10x) && (format <= k10t)) ? 1 : \ 666f485c62b9cfce3ab71020c646ab9f48d9d29d6dBrian Carlstrom ((format >= k20t) && (format <= k22c)) ? 2 : \ 676f485c62b9cfce3ab71020c646ab9f48d9d29d6dBrian Carlstrom ((format >= k32x) && (format <= k3rc)) ? 3 : \ 686f485c62b9cfce3ab71020c646ab9f48d9d29d6dBrian Carlstrom (format == k51l) ? 5 : -1), 69a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers#include "dex_instruction_list.h" 70a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers DEX_INSTRUCTION_LIST(INSTRUCTION_SIZE) 71a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers#undef DEX_INSTRUCTION_LIST 72a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers#undef INSTRUCTION_SIZE 73a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers}; 74a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers 7539f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirleaint32_t Instruction::GetTargetOffset() const { 7639f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea switch (FormatOf(Opcode())) { 7739f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea // Cases for conditional branches follow. 7839f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea case k22t: return VRegC_22t(); 7939f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea case k21t: return VRegB_21t(); 8039f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea // Cases for unconditional branches follow. 8139f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea case k10t: return VRegA_10t(); 8239f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea case k20t: return VRegA_20t(); 8339f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea case k30t: return VRegA_30t(); 8439f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea default: LOG(FATAL) << "Tried to access the branch offset of an instruction " << Name() << 8539f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea " which does not have a target operand."; 8639f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea } 8739f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea return 0; 8839f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea} 8939f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea 9039f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirleabool Instruction::CanFlowThrough() const { 9139f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea const uint16_t* insns = reinterpret_cast<const uint16_t*>(this); 9239f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea uint16_t insn = *insns; 9339f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea Code opcode = static_cast<Code>(insn & 0xFF); 9439f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea return FlagsOf(opcode) & Instruction::kContinue; 9539f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea} 9639f992750ac1eb7e51955d3e52bddc32b37c370fDragos Sbirlea 97a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogerssize_t Instruction::SizeInCodeUnitsComplexOpcode() const { 9812eb78e651f13f2c1f0c2c922048a5a213253adfCarl Shapiro const uint16_t* insns = reinterpret_cast<const uint16_t*>(this); 99a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers // Handle special NOP encoded variable length sequences. 100a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers switch (*insns) { 101a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers case kPackedSwitchSignature: 102a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers return (4 + insns[1] * 2); 103a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers case kSparseSwitchSignature: 104a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers return (2 + insns[1] * 4); 105a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers case kArrayDataSignature: { 106a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers uint16_t element_size = insns[1]; 107a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers uint32_t length = insns[2] | (((uint32_t)insns[3]) << 16); 108a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers // The plus 1 is to round up for odd size and width. 109a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers return (4 + (element_size * length + 1) / 2); 110e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro } 111a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers default: 112a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers if ((*insns & 0xFF) == 0) { 113a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers return 1; // NOP. 114a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers } else { 115fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers LOG(FATAL) << "Unreachable: " << DumpString(nullptr); 1162c4257be8191c5eefde744e8965fcefc80a0a97dIan Rogers UNREACHABLE(); 117a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers } 118e4c1ce498f7933b91696caa4a527e6556128a8e2Carl Shapiro } 119d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers} 120d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers 1212c8a857708fc86a5b555d1eb782b56516f3b1a72Ian Rogersstd::string Instruction::DumpHex(size_t code_units) const { 122d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers size_t inst_length = SizeInCodeUnits(); 123d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers if (inst_length > code_units) { 124d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers inst_length = code_units; 125d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers } 1262c8a857708fc86a5b555d1eb782b56516f3b1a72Ian Rogers std::ostringstream os; 127d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers const uint16_t* insn = reinterpret_cast<const uint16_t*>(this); 128d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers for (size_t i = 0; i < inst_length; i++) { 1292c8a857708fc86a5b555d1eb782b56516f3b1a72Ian Rogers os << StringPrintf("0x%04x", insn[i]) << " "; 130d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers } 131d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers for (size_t i = inst_length; i < code_units; i++) { 132d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers os << " "; 133d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers } 1342c8a857708fc86a5b555d1eb782b56516f3b1a72Ian Rogers return os.str(); 135d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers} 136d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers 1372c8a857708fc86a5b555d1eb782b56516f3b1a72Ian Rogersstd::string Instruction::DumpString(const DexFile* file) const { 1382c8a857708fc86a5b555d1eb782b56516f3b1a72Ian Rogers std::ostringstream os; 13975b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz const char* opcode = kInstructionNames[Opcode()]; 140adb8c67f6d87a160d4e3a8afea7cb93f6c14568bElliott Hughes switch (FormatOf(Opcode())) { 141e3c845cdb5884e770287a5c0c65c8bb64733c388Elliott Hughes case k10x: os << opcode; break; 14275b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k12x: os << StringPrintf("%s v%d, v%d", opcode, VRegA_12x(), VRegB_12x()); break; 14375b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k11n: os << StringPrintf("%s v%d, #%+d", opcode, VRegA_11n(), VRegB_11n()); break; 14475b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k11x: os << StringPrintf("%s v%d", opcode, VRegA_11x()); break; 14575b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k10t: os << StringPrintf("%s %+d", opcode, VRegA_10t()); break; 14675b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k20t: os << StringPrintf("%s %+d", opcode, VRegA_20t()); break; 14775b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k22x: os << StringPrintf("%s v%d, v%d", opcode, VRegA_22x(), VRegB_22x()); break; 14875b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k21t: os << StringPrintf("%s v%d, %+d", opcode, VRegA_21t(), VRegB_21t()); break; 14975b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k21s: os << StringPrintf("%s v%d, #%+d", opcode, VRegA_21s(), VRegB_21s()); break; 1501b3d6ca46d9594dbdec66b11f184e6483b007483Elliott Hughes case k21h: { 1511b3d6ca46d9594dbdec66b11f184e6483b007483Elliott Hughes // op vAA, #+BBBB0000[00000000] 15275b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz if (Opcode() == CONST_HIGH16) { 15375b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t value = VRegB_21h() << 16; 15475b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz os << StringPrintf("%s v%d, #int %+d // 0x%x", opcode, VRegA_21h(), value, value); 1551b3d6ca46d9594dbdec66b11f184e6483b007483Elliott Hughes } else { 15675b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint64_t value = static_cast<uint64_t>(VRegB_21h()) << 48; 157b574c1816c7a2f160b267cd100f36f157a9abcf6Ian Rogers os << StringPrintf("%s v%d, #long %+" PRId64 " // 0x%" PRIx64, opcode, VRegA_21h(), 158b574c1816c7a2f160b267cd100f36f157a9abcf6Ian Rogers value, value); 1591b3d6ca46d9594dbdec66b11f184e6483b007483Elliott Hughes } 1601b3d6ca46d9594dbdec66b11f184e6483b007483Elliott Hughes } 1611b3d6ca46d9594dbdec66b11f184e6483b007483Elliott Hughes break; 16290334e5586ada4772229ded6f7acb85de524a704Ian Rogers case k21c: { 16375b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz switch (Opcode()) { 16490334e5586ada4772229ded6f7acb85de524a704Ian Rogers case CONST_STRING: 165fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 16675b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t string_idx = VRegB_21c(); 16775b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz os << StringPrintf("const-string v%d, %s // string@%d", VRegA_21c(), 16875b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz PrintableString(file->StringDataByIdx(string_idx)).c_str(), string_idx); 16990334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 170fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 171fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 17218c24b6e05e7591069f1a2ac9c614b28fc0853acMathieu Chartier case CHECK_CAST: 17318c24b6e05e7591069f1a2ac9c614b28fc0853acMathieu Chartier case CONST_CLASS: 17490334e5586ada4772229ded6f7acb85de524a704Ian Rogers case NEW_INSTANCE: 175fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 17675b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t type_idx = VRegB_21c(); 177b43cef30fa7171f5b33c5f94853ad8474ed08022Dragos Sbirlea os << opcode << " v" << static_cast<int>(VRegA_21c()) << ", " << PrettyType(type_idx, *file) 17875b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz << " // type@" << type_idx; 17990334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 180fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 181fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 18290334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SGET: 18390334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SGET_WIDE: 18490334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SGET_OBJECT: 18590334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SGET_BOOLEAN: 18690334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SGET_BYTE: 18790334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SGET_CHAR: 18890334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SGET_SHORT: 189fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 19075b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t field_idx = VRegB_21c(); 191b43cef30fa7171f5b33c5f94853ad8474ed08022Dragos Sbirlea os << opcode << " v" << static_cast<int>(VRegA_21c()) << ", " << PrettyField(field_idx, *file, true) 19275b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz << " // field@" << field_idx; 19390334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 194fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 195fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 19690334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SPUT: 19790334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SPUT_WIDE: 19890334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SPUT_OBJECT: 19990334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SPUT_BOOLEAN: 20090334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SPUT_BYTE: 20190334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SPUT_CHAR: 20290334e5586ada4772229ded6f7acb85de524a704Ian Rogers case SPUT_SHORT: 203fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 20475b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t field_idx = VRegB_21c(); 205b43cef30fa7171f5b33c5f94853ad8474ed08022Dragos Sbirlea os << opcode << " v" << static_cast<int>(VRegA_21c()) << ", " << PrettyField(field_idx, *file, true) 20675b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz << " // field@" << field_idx; 20790334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 208fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 209fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 21090334e5586ada4772229ded6f7acb85de524a704Ian Rogers default: 21175b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz os << StringPrintf("%s v%d, thing@%d", opcode, VRegA_21c(), VRegB_21c()); 21290334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 21390334e5586ada4772229ded6f7acb85de524a704Ian Rogers } 21490334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 21590334e5586ada4772229ded6f7acb85de524a704Ian Rogers } 21675b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k23x: os << StringPrintf("%s v%d, v%d, v%d", opcode, VRegA_23x(), VRegB_23x(), VRegC_23x()); break; 21775b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k22b: os << StringPrintf("%s v%d, v%d, #%+d", opcode, VRegA_22b(), VRegB_22b(), VRegC_22b()); break; 21875b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k22t: os << StringPrintf("%s v%d, v%d, %+d", opcode, VRegA_22t(), VRegB_22t(), VRegC_22t()); break; 21975b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k22s: os << StringPrintf("%s v%d, v%d, #%+d", opcode, VRegA_22s(), VRegB_22s(), VRegC_22s()); break; 22090334e5586ada4772229ded6f7acb85de524a704Ian Rogers case k22c: { 22175b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz switch (Opcode()) { 22290334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IGET: 22390334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IGET_WIDE: 22490334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IGET_OBJECT: 22590334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IGET_BOOLEAN: 22690334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IGET_BYTE: 22790334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IGET_CHAR: 22890334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IGET_SHORT: 229fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 23075b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t field_idx = VRegC_22c(); 231b43cef30fa7171f5b33c5f94853ad8474ed08022Dragos Sbirlea os << opcode << " v" << static_cast<int>(VRegA_22c()) << ", v" << static_cast<int>(VRegB_22c()) << ", " 23275b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz << PrettyField(field_idx, *file, true) << " // field@" << field_idx; 23390334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 234fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 235fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 2362d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz case IGET_QUICK: 2372d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz case IGET_OBJECT_QUICK: 238fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 2392d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz uint32_t field_idx = VRegC_22c(); 2402d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz os << opcode << " v" << static_cast<int>(VRegA_22c()) << ", v" << static_cast<int>(VRegB_22c()) << ", " 2412d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz << "// offset@" << field_idx; 2422d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz break; 243fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 244fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 24590334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IPUT: 24690334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IPUT_WIDE: 24790334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IPUT_OBJECT: 24890334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IPUT_BOOLEAN: 24990334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IPUT_BYTE: 25090334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IPUT_CHAR: 25190334e5586ada4772229ded6f7acb85de524a704Ian Rogers case IPUT_SHORT: 252fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 25375b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t field_idx = VRegC_22c(); 254b43cef30fa7171f5b33c5f94853ad8474ed08022Dragos Sbirlea os << opcode << " v" << static_cast<int>(VRegA_22c()) << ", v" << static_cast<int>(VRegB_22c()) << ", " 25575b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz << PrettyField(field_idx, *file, true) << " // field@" << field_idx; 25690334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 257fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 258fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 2592d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz case IPUT_QUICK: 2602d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz case IPUT_OBJECT_QUICK: 261fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 2622d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz uint32_t field_idx = VRegC_22c(); 2632d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz os << opcode << " v" << static_cast<int>(VRegA_22c()) << ", v" << static_cast<int>(VRegB_22c()) << ", " 2642d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz << "// offset@" << field_idx; 2652d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz break; 266fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 267fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 26890334e5586ada4772229ded6f7acb85de524a704Ian Rogers case INSTANCE_OF: 269fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 27075b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t type_idx = VRegC_22c(); 271d4e868a25128e31c92b2779e7d2e15f9afdf4fffDragos Sbirlea os << opcode << " v" << static_cast<int>(VRegA_22c()) << ", v" << static_cast<int>(VRegB_22c()) << ", " 27275b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz << PrettyType(type_idx, *file) << " // type@" << type_idx; 27318c24b6e05e7591069f1a2ac9c614b28fc0853acMathieu Chartier break; 27418c24b6e05e7591069f1a2ac9c614b28fc0853acMathieu Chartier } 275fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 27618c24b6e05e7591069f1a2ac9c614b28fc0853acMathieu Chartier case NEW_ARRAY: 277fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 27875b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t type_idx = VRegC_22c(); 279b43cef30fa7171f5b33c5f94853ad8474ed08022Dragos Sbirlea os << opcode << " v" << static_cast<int>(VRegA_22c()) << ", v" << static_cast<int>(VRegB_22c()) << ", " 28075b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz << PrettyType(type_idx, *file) << " // type@" << type_idx; 28190334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 282fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 283fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 28490334e5586ada4772229ded6f7acb85de524a704Ian Rogers default: 28575b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz os << StringPrintf("%s v%d, v%d, thing@%d", opcode, VRegA_22c(), VRegB_22c(), VRegC_22c()); 28690334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 28790334e5586ada4772229ded6f7acb85de524a704Ian Rogers } 28890334e5586ada4772229ded6f7acb85de524a704Ian Rogers break; 28990334e5586ada4772229ded6f7acb85de524a704Ian Rogers } 29075b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k32x: os << StringPrintf("%s v%d, v%d", opcode, VRegA_32x(), VRegB_32x()); break; 29175b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k30t: os << StringPrintf("%s %+d", opcode, VRegA_30t()); break; 29275b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k31t: os << StringPrintf("%s v%d, %+d", opcode, VRegA_31t(), VRegB_31t()); break; 29375b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz case k31i: os << StringPrintf("%s v%d, #%+d", opcode, VRegA_31i(), VRegB_31i()); break; 2947dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers case k31c: 2957dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers if (Opcode() == CONST_STRING_JUMBO) { 2967dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers uint32_t string_idx = VRegB_31c(); 297fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 2987dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers os << StringPrintf("%s v%d, %s // string@%d", opcode, VRegA_31c(), 2997dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers PrintableString(file->StringDataByIdx(string_idx)).c_str(), 3007dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers string_idx); 3017dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers } else { 3027dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers os << StringPrintf("%s v%d, string@%d", opcode, VRegA_31c(), string_idx); 3037dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers } 3047dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers } else { 3057dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers os << StringPrintf("%s v%d, thing@%d", opcode, VRegA_31c(), VRegB_31c()); break; 3067dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers } 3077dfb28c066159e6cde8181720f0c451a700ef966Ian Rogers break; 308d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers case k35c: { 30975b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t arg[5]; 31029a2648821ea4d0b5d3aecb9f835822fdfe6faa1Ian Rogers GetVarArgs(arg); 31175b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz switch (Opcode()) { 3127aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe case FILLED_NEW_ARRAY: 3137aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe { 3147aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe const int32_t a = VRegA_35c(); 3157aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe os << opcode << " {"; 3167aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe for (int i = 0; i < a; ++i) { 3177aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe if (i > 0) { 3187aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe os << ", "; 3197aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe } 3207aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe os << "v" << arg[i]; 3217aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe } 3227aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe os << "}, type@" << VRegB_35c(); 3237aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe } 3247aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe break; 3257aca91db1571594cdb7e0a9ee704530b09c066e4Andreas Gampe 326d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers case INVOKE_VIRTUAL: 327d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers case INVOKE_SUPER: 328d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers case INVOKE_DIRECT: 329d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers case INVOKE_STATIC: 330d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers case INVOKE_INTERFACE: 331fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 332e3c845cdb5884e770287a5c0c65c8bb64733c388Elliott Hughes os << opcode << " {"; 33375b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t method_idx = VRegB_35c(); 33475b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz for (size_t i = 0; i < VRegA_35c(); ++i) { 335e3c845cdb5884e770287a5c0c65c8bb64733c388Elliott Hughes if (i != 0) { 336e3c845cdb5884e770287a5c0c65c8bb64733c388Elliott Hughes os << ", "; 337e3c845cdb5884e770287a5c0c65c8bb64733c388Elliott Hughes } 33875b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz os << "v" << arg[i]; 339e3c845cdb5884e770287a5c0c65c8bb64733c388Elliott Hughes } 34075b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz os << "}, " << PrettyMethod(method_idx, *file) << " // method@" << method_idx; 341d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers break; 342fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 343fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 3442d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz case INVOKE_VIRTUAL_QUICK: 345fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 3462d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz os << opcode << " {"; 3472d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz uint32_t method_idx = VRegB_35c(); 3482d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz for (size_t i = 0; i < VRegA_35c(); ++i) { 3492d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz if (i != 0) { 3502d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz os << ", "; 3512d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz } 3522d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz os << "v" << arg[i]; 3532d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz } 3547934ac288acfb2552bb0b06ec1f61e5820d924a4Brian Carlstrom os << "}, // vtable@" << method_idx; 3552d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz break; 356fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 357fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 358d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers default: 35975b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz os << opcode << " {v" << arg[0] << ", v" << arg[1] << ", v" << arg[2] 36075b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz << ", v" << arg[3] << ", v" << arg[4] << "}, thing@" << VRegB_35c(); 361d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers break; 362d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers } 363d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers break; 364d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers } 3654c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers case k3rc: { 36675b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz switch (Opcode()) { 3674c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers case INVOKE_VIRTUAL_RANGE: 3684c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers case INVOKE_SUPER_RANGE: 3694c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers case INVOKE_DIRECT_RANGE: 3704c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers case INVOKE_STATIC_RANGE: 3714c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers case INVOKE_INTERFACE_RANGE: 372fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 37375b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz uint32_t method_idx = VRegB_3rc(); 37475b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz os << StringPrintf("%s, {v%d .. v%d}, ", opcode, VRegC_3rc(), (VRegC_3rc() + VRegA_3rc() - 1)) 37575b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz << PrettyMethod(method_idx, *file) << " // method@" << method_idx; 3764c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers break; 377fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 378fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 3792d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz case INVOKE_VIRTUAL_RANGE_QUICK: 380fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers if (file != nullptr) { 3812d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz uint32_t method_idx = VRegB_3rc(); 3822d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz os << StringPrintf("%s, {v%d .. v%d}, ", opcode, VRegC_3rc(), (VRegC_3rc() + VRegA_3rc() - 1)) 3832d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz << "// vtable@" << method_idx; 3842d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz break; 385fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers } 386fc787ecd91127b2c8458afd94e5148e2ae51a1f5Ian Rogers FALLTHROUGH_INTENDED; 3874c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers default: 38875b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz os << StringPrintf("%s, {v%d .. v%d}, thing@%d", opcode, VRegC_3rc(), 38975b2a4abea8a608d7aec3e417498b69b31026a74Sebastien Hertz (VRegC_3rc() + VRegA_3rc() - 1), VRegB_3rc()); 3904c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers break; 3914c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers } 3924c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers break; 3934c5dd5aa7a2cdbec8c298569c5a84d0ef5357363Ian Rogers } 394b574c1816c7a2f160b267cd100f36f157a9abcf6Ian Rogers case k51l: os << StringPrintf("%s v%d, #%+" PRId64, opcode, VRegA_51l(), VRegB_51l()); break; 3952c8a857708fc86a5b555d1eb782b56516f3b1a72Ian Rogers default: os << " unknown format (" << DumpHex(5) << ")"; break; 396d81871cbbaa34c649e488f94f61a981db33123e5Ian Rogers } 3972c8a857708fc86a5b555d1eb782b56516f3b1a72Ian Rogers return os.str(); 39812eb78e651f13f2c1f0c2c922048a5a213253adfCarl Shapiro} 39912eb78e651f13f2c1f0c2c922048a5a213253adfCarl Shapiro 400a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogersstd::ostream& operator<<(std::ostream& os, const Instruction::Code& code) { 401a75a01313e801c53145df00bad1842d9f643c0a1Ian Rogers return os << Instruction::Name(code); 402adb8c67f6d87a160d4e3a8afea7cb93f6c14568bElliott Hughes} 403adb8c67f6d87a160d4e3a8afea7cb93f6c14568bElliott Hughes 40412eb78e651f13f2c1f0c2c922048a5a213253adfCarl Shapiro} // namespace art 405