xref: /aosp_15_r20/art/libdexfile/dex/code_item_accessors-inl.h (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1*795d594fSAndroid Build Coastguard Worker /*
2*795d594fSAndroid Build Coastguard Worker  * Copyright (C) 2017 The Android Open Source Project
3*795d594fSAndroid Build Coastguard Worker  *
4*795d594fSAndroid Build Coastguard Worker  * Licensed under the Apache License, Version 2.0 (the "License");
5*795d594fSAndroid Build Coastguard Worker  * you may not use this file except in compliance with the License.
6*795d594fSAndroid Build Coastguard Worker  * You may obtain a copy of the License at
7*795d594fSAndroid Build Coastguard Worker  *
8*795d594fSAndroid Build Coastguard Worker  *      http://www.apache.org/licenses/LICENSE-2.0
9*795d594fSAndroid Build Coastguard Worker  *
10*795d594fSAndroid Build Coastguard Worker  * Unless required by applicable law or agreed to in writing, software
11*795d594fSAndroid Build Coastguard Worker  * distributed under the License is distributed on an "AS IS" BASIS,
12*795d594fSAndroid Build Coastguard Worker  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*795d594fSAndroid Build Coastguard Worker  * See the License for the specific language governing permissions and
14*795d594fSAndroid Build Coastguard Worker  * limitations under the License.
15*795d594fSAndroid Build Coastguard Worker  */
16*795d594fSAndroid Build Coastguard Worker 
17*795d594fSAndroid Build Coastguard Worker #ifndef ART_LIBDEXFILE_DEX_CODE_ITEM_ACCESSORS_INL_H_
18*795d594fSAndroid Build Coastguard Worker #define ART_LIBDEXFILE_DEX_CODE_ITEM_ACCESSORS_INL_H_
19*795d594fSAndroid Build Coastguard Worker 
20*795d594fSAndroid Build Coastguard Worker #include "code_item_accessors.h"
21*795d594fSAndroid Build Coastguard Worker 
22*795d594fSAndroid Build Coastguard Worker #include "base/iteration_range.h"
23*795d594fSAndroid Build Coastguard Worker #include "compact_dex_file.h"
24*795d594fSAndroid Build Coastguard Worker #include "dex_file-inl.h"
25*795d594fSAndroid Build Coastguard Worker #include "dex_instruction_iterator.h"
26*795d594fSAndroid Build Coastguard Worker #include "standard_dex_file.h"
27*795d594fSAndroid Build Coastguard Worker 
28*795d594fSAndroid Build Coastguard Worker // The no ART version is used by binaries that don't include the whole runtime.
29*795d594fSAndroid Build Coastguard Worker namespace art {
30*795d594fSAndroid Build Coastguard Worker 
Init(uint32_t insns_size_in_code_units,const uint16_t * insns)31*795d594fSAndroid Build Coastguard Worker inline void CodeItemInstructionAccessor::Init(uint32_t insns_size_in_code_units,
32*795d594fSAndroid Build Coastguard Worker                                               const uint16_t* insns) {
33*795d594fSAndroid Build Coastguard Worker   insns_size_in_code_units_ = insns_size_in_code_units;
34*795d594fSAndroid Build Coastguard Worker   insns_ = insns;
35*795d594fSAndroid Build Coastguard Worker }
36*795d594fSAndroid Build Coastguard Worker 
37*795d594fSAndroid Build Coastguard Worker template <>
38*795d594fSAndroid Build Coastguard Worker inline void CodeItemInstructionAccessor::Init<CompactDexFile::CodeItem>(
39*795d594fSAndroid Build Coastguard Worker     const CompactDexFile::CodeItem& code_item) {
40*795d594fSAndroid Build Coastguard Worker   uint32_t insns_size_in_code_units;
41*795d594fSAndroid Build Coastguard Worker   code_item.DecodeFields</*kDecodeOnlyInstructionCount*/ true>(
42*795d594fSAndroid Build Coastguard Worker       &insns_size_in_code_units,
43*795d594fSAndroid Build Coastguard Worker       /*registers_size*/ nullptr,
44*795d594fSAndroid Build Coastguard Worker       /*ins_size*/ nullptr,
45*795d594fSAndroid Build Coastguard Worker       /*outs_size*/ nullptr,
46*795d594fSAndroid Build Coastguard Worker       /*tries_size*/ nullptr);
47*795d594fSAndroid Build Coastguard Worker   Init(insns_size_in_code_units, code_item.insns_);
48*795d594fSAndroid Build Coastguard Worker }
49*795d594fSAndroid Build Coastguard Worker 
50*795d594fSAndroid Build Coastguard Worker template <>
51*795d594fSAndroid Build Coastguard Worker inline void CodeItemInstructionAccessor::Init<StandardDexFile::CodeItem>(
52*795d594fSAndroid Build Coastguard Worker     const StandardDexFile::CodeItem& code_item) {
53*795d594fSAndroid Build Coastguard Worker   Init(code_item.insns_size_in_code_units_, code_item.insns_);
54*795d594fSAndroid Build Coastguard Worker }
55*795d594fSAndroid Build Coastguard Worker 
Init(const DexFile & dex_file,const dex::CodeItem * code_item)56*795d594fSAndroid Build Coastguard Worker inline void CodeItemInstructionAccessor::Init(const DexFile& dex_file,
57*795d594fSAndroid Build Coastguard Worker                                               const dex::CodeItem* code_item) {
58*795d594fSAndroid Build Coastguard Worker   if (code_item != nullptr) {
59*795d594fSAndroid Build Coastguard Worker     DCHECK(dex_file.IsInDataSection(code_item));
60*795d594fSAndroid Build Coastguard Worker     if (dex_file.IsCompactDexFile()) {
61*795d594fSAndroid Build Coastguard Worker       Init(down_cast<const CompactDexFile::CodeItem&>(*code_item));
62*795d594fSAndroid Build Coastguard Worker     } else {
63*795d594fSAndroid Build Coastguard Worker       DCHECK(dex_file.IsStandardDexFile());
64*795d594fSAndroid Build Coastguard Worker       Init(down_cast<const StandardDexFile::CodeItem&>(*code_item));
65*795d594fSAndroid Build Coastguard Worker     }
66*795d594fSAndroid Build Coastguard Worker   }
67*795d594fSAndroid Build Coastguard Worker }
68*795d594fSAndroid Build Coastguard Worker 
CodeItemInstructionAccessor(const DexFile & dex_file,const dex::CodeItem * code_item)69*795d594fSAndroid Build Coastguard Worker inline CodeItemInstructionAccessor::CodeItemInstructionAccessor(
70*795d594fSAndroid Build Coastguard Worker     const DexFile& dex_file,
71*795d594fSAndroid Build Coastguard Worker     const dex::CodeItem* code_item) {
72*795d594fSAndroid Build Coastguard Worker   Init(dex_file, code_item);
73*795d594fSAndroid Build Coastguard Worker }
74*795d594fSAndroid Build Coastguard Worker 
begin()75*795d594fSAndroid Build Coastguard Worker inline DexInstructionIterator CodeItemInstructionAccessor::begin() const {
76*795d594fSAndroid Build Coastguard Worker   return DexInstructionIterator(insns_, 0u);
77*795d594fSAndroid Build Coastguard Worker }
78*795d594fSAndroid Build Coastguard Worker 
end()79*795d594fSAndroid Build Coastguard Worker inline DexInstructionIterator CodeItemInstructionAccessor::end() const {
80*795d594fSAndroid Build Coastguard Worker   return DexInstructionIterator(insns_, insns_size_in_code_units_);
81*795d594fSAndroid Build Coastguard Worker }
82*795d594fSAndroid Build Coastguard Worker 
InstructionsFrom(uint32_t start_dex_pc)83*795d594fSAndroid Build Coastguard Worker inline IterationRange<DexInstructionIterator> CodeItemInstructionAccessor::InstructionsFrom(
84*795d594fSAndroid Build Coastguard Worker     uint32_t start_dex_pc) const {
85*795d594fSAndroid Build Coastguard Worker   DCHECK_LT(start_dex_pc, InsnsSizeInCodeUnits());
86*795d594fSAndroid Build Coastguard Worker   return {
87*795d594fSAndroid Build Coastguard Worker       DexInstructionIterator(insns_, start_dex_pc),
88*795d594fSAndroid Build Coastguard Worker       DexInstructionIterator(insns_, insns_size_in_code_units_) };
89*795d594fSAndroid Build Coastguard Worker }
90*795d594fSAndroid Build Coastguard Worker 
91*795d594fSAndroid Build Coastguard Worker template <>
92*795d594fSAndroid Build Coastguard Worker inline void CodeItemDataAccessor::Init<CompactDexFile::CodeItem>(
93*795d594fSAndroid Build Coastguard Worker     const CompactDexFile::CodeItem& code_item) {
94*795d594fSAndroid Build Coastguard Worker   uint32_t insns_size_in_code_units;
95*795d594fSAndroid Build Coastguard Worker   code_item.DecodeFields</*kDecodeOnlyInstructionCount*/ false>(&insns_size_in_code_units,
96*795d594fSAndroid Build Coastguard Worker                                                                 &registers_size_,
97*795d594fSAndroid Build Coastguard Worker                                                                 &ins_size_,
98*795d594fSAndroid Build Coastguard Worker                                                                 &outs_size_,
99*795d594fSAndroid Build Coastguard Worker                                                                 &tries_size_);
100*795d594fSAndroid Build Coastguard Worker   CodeItemInstructionAccessor::Init(insns_size_in_code_units, code_item.insns_);
101*795d594fSAndroid Build Coastguard Worker }
102*795d594fSAndroid Build Coastguard Worker 
103*795d594fSAndroid Build Coastguard Worker template <>
104*795d594fSAndroid Build Coastguard Worker inline void CodeItemDataAccessor::Init<StandardDexFile::CodeItem>(
105*795d594fSAndroid Build Coastguard Worker     const StandardDexFile::CodeItem& code_item) {
106*795d594fSAndroid Build Coastguard Worker   CodeItemInstructionAccessor::Init(code_item);
107*795d594fSAndroid Build Coastguard Worker   registers_size_ = code_item.registers_size_;
108*795d594fSAndroid Build Coastguard Worker   ins_size_ = code_item.ins_size_;
109*795d594fSAndroid Build Coastguard Worker   outs_size_ = code_item.outs_size_;
110*795d594fSAndroid Build Coastguard Worker   tries_size_ = code_item.tries_size_;
111*795d594fSAndroid Build Coastguard Worker }
112*795d594fSAndroid Build Coastguard Worker 
Init(const DexFile & dex_file,const dex::CodeItem * code_item)113*795d594fSAndroid Build Coastguard Worker inline void CodeItemDataAccessor::Init(const DexFile& dex_file,
114*795d594fSAndroid Build Coastguard Worker                                        const dex::CodeItem* code_item) {
115*795d594fSAndroid Build Coastguard Worker   if (code_item != nullptr) {
116*795d594fSAndroid Build Coastguard Worker     if (dex_file.IsCompactDexFile()) {
117*795d594fSAndroid Build Coastguard Worker       Init(down_cast<const CompactDexFile::CodeItem&>(*code_item));
118*795d594fSAndroid Build Coastguard Worker     } else {
119*795d594fSAndroid Build Coastguard Worker       DCHECK(dex_file.IsStandardDexFile());
120*795d594fSAndroid Build Coastguard Worker       Init(down_cast<const StandardDexFile::CodeItem&>(*code_item));
121*795d594fSAndroid Build Coastguard Worker     }
122*795d594fSAndroid Build Coastguard Worker   }
123*795d594fSAndroid Build Coastguard Worker }
124*795d594fSAndroid Build Coastguard Worker 
CodeItemDataAccessor(const DexFile & dex_file,const dex::CodeItem * code_item)125*795d594fSAndroid Build Coastguard Worker inline CodeItemDataAccessor::CodeItemDataAccessor(const DexFile& dex_file,
126*795d594fSAndroid Build Coastguard Worker                                                   const dex::CodeItem* code_item) {
127*795d594fSAndroid Build Coastguard Worker   Init(dex_file, code_item);
128*795d594fSAndroid Build Coastguard Worker }
129*795d594fSAndroid Build Coastguard Worker 
TryItems()130*795d594fSAndroid Build Coastguard Worker inline IterationRange<const dex::TryItem*> CodeItemDataAccessor::TryItems() const {
131*795d594fSAndroid Build Coastguard Worker   const dex::TryItem* try_items = DexFile::GetTryItems(end(), 0u);
132*795d594fSAndroid Build Coastguard Worker   return {
133*795d594fSAndroid Build Coastguard Worker     try_items,
134*795d594fSAndroid Build Coastguard Worker     try_items + TriesSize() };
135*795d594fSAndroid Build Coastguard Worker }
136*795d594fSAndroid Build Coastguard Worker 
GetCatchHandlerData(size_t offset)137*795d594fSAndroid Build Coastguard Worker inline const uint8_t* CodeItemDataAccessor::GetCatchHandlerData(size_t offset) const {
138*795d594fSAndroid Build Coastguard Worker   return DexFile::GetCatchHandlerData(end(), TriesSize(), offset);
139*795d594fSAndroid Build Coastguard Worker }
140*795d594fSAndroid Build Coastguard Worker 
FindTryItem(uint32_t try_dex_pc)141*795d594fSAndroid Build Coastguard Worker inline const dex::TryItem* CodeItemDataAccessor::FindTryItem(uint32_t try_dex_pc) const {
142*795d594fSAndroid Build Coastguard Worker   IterationRange<const dex::TryItem*> try_items(TryItems());
143*795d594fSAndroid Build Coastguard Worker   int32_t index = DexFile::FindTryItem(try_items.begin(),
144*795d594fSAndroid Build Coastguard Worker                                        try_items.end() - try_items.begin(),
145*795d594fSAndroid Build Coastguard Worker                                        try_dex_pc);
146*795d594fSAndroid Build Coastguard Worker   return index != -1 ? &try_items.begin()[index] : nullptr;
147*795d594fSAndroid Build Coastguard Worker }
148*795d594fSAndroid Build Coastguard Worker 
CodeItemDataEnd()149*795d594fSAndroid Build Coastguard Worker inline const void* CodeItemDataAccessor::CodeItemDataEnd() const {
150*795d594fSAndroid Build Coastguard Worker   const uint8_t* handler_data = GetCatchHandlerData();
151*795d594fSAndroid Build Coastguard Worker 
152*795d594fSAndroid Build Coastguard Worker   if (TriesSize() == 0 || handler_data == nullptr) {
153*795d594fSAndroid Build Coastguard Worker     return &end().Inst();
154*795d594fSAndroid Build Coastguard Worker   }
155*795d594fSAndroid Build Coastguard Worker   // Get the start of the handler data.
156*795d594fSAndroid Build Coastguard Worker   const uint32_t handlers_size = DecodeUnsignedLeb128(&handler_data);
157*795d594fSAndroid Build Coastguard Worker   // Manually read each handler.
158*795d594fSAndroid Build Coastguard Worker   for (uint32_t i = 0; i < handlers_size; ++i) {
159*795d594fSAndroid Build Coastguard Worker     int32_t uleb128_count = DecodeSignedLeb128(&handler_data) * 2;
160*795d594fSAndroid Build Coastguard Worker     if (uleb128_count <= 0) {
161*795d594fSAndroid Build Coastguard Worker       uleb128_count = -uleb128_count + 1;
162*795d594fSAndroid Build Coastguard Worker     }
163*795d594fSAndroid Build Coastguard Worker     for (int32_t j = 0; j < uleb128_count; ++j) {
164*795d594fSAndroid Build Coastguard Worker       DecodeUnsignedLeb128(&handler_data);
165*795d594fSAndroid Build Coastguard Worker     }
166*795d594fSAndroid Build Coastguard Worker   }
167*795d594fSAndroid Build Coastguard Worker   return reinterpret_cast<const void*>(handler_data);
168*795d594fSAndroid Build Coastguard Worker }
169*795d594fSAndroid Build Coastguard Worker 
170*795d594fSAndroid Build Coastguard Worker template <>
171*795d594fSAndroid Build Coastguard Worker inline void CodeItemDebugInfoAccessor::Init<CompactDexFile::CodeItem>(
172*795d594fSAndroid Build Coastguard Worker     const CompactDexFile::CodeItem& code_item,
173*795d594fSAndroid Build Coastguard Worker     uint32_t dex_method_index) {
174*795d594fSAndroid Build Coastguard Worker   debug_info_offset_ = down_cast<const CompactDexFile*>(dex_file_)->GetDebugInfoOffset(
175*795d594fSAndroid Build Coastguard Worker       dex_method_index);
176*795d594fSAndroid Build Coastguard Worker   CodeItemDataAccessor::Init(code_item);
177*795d594fSAndroid Build Coastguard Worker }
178*795d594fSAndroid Build Coastguard Worker 
179*795d594fSAndroid Build Coastguard Worker template <>
180*795d594fSAndroid Build Coastguard Worker inline void CodeItemDebugInfoAccessor::Init<StandardDexFile::CodeItem>(
181*795d594fSAndroid Build Coastguard Worker     const StandardDexFile::CodeItem& code_item, [[maybe_unused]] uint32_t dex_method_index) {
182*795d594fSAndroid Build Coastguard Worker   debug_info_offset_ = code_item.debug_info_off_;
183*795d594fSAndroid Build Coastguard Worker   CodeItemDataAccessor::Init(code_item);
184*795d594fSAndroid Build Coastguard Worker }
185*795d594fSAndroid Build Coastguard Worker 
Init(const DexFile & dex_file,const dex::CodeItem * code_item,uint32_t dex_method_index)186*795d594fSAndroid Build Coastguard Worker inline void CodeItemDebugInfoAccessor::Init(const DexFile& dex_file,
187*795d594fSAndroid Build Coastguard Worker                                             const dex::CodeItem* code_item,
188*795d594fSAndroid Build Coastguard Worker                                             uint32_t dex_method_index) {
189*795d594fSAndroid Build Coastguard Worker   dex_file_ = &dex_file;
190*795d594fSAndroid Build Coastguard Worker   if (code_item == nullptr) {
191*795d594fSAndroid Build Coastguard Worker     return;
192*795d594fSAndroid Build Coastguard Worker   }
193*795d594fSAndroid Build Coastguard Worker   if (dex_file.IsCompactDexFile()) {
194*795d594fSAndroid Build Coastguard Worker     Init(down_cast<const CompactDexFile::CodeItem&>(*code_item), dex_method_index);
195*795d594fSAndroid Build Coastguard Worker   } else {
196*795d594fSAndroid Build Coastguard Worker     DCHECK(dex_file.IsStandardDexFile());
197*795d594fSAndroid Build Coastguard Worker     Init(down_cast<const StandardDexFile::CodeItem&>(*code_item), dex_method_index);
198*795d594fSAndroid Build Coastguard Worker   }
199*795d594fSAndroid Build Coastguard Worker }
200*795d594fSAndroid Build Coastguard Worker 
201*795d594fSAndroid Build Coastguard Worker template<typename NewLocalVisitor>
DecodeDebugLocalInfo(bool is_static,uint32_t method_idx,NewLocalVisitor && new_local)202*795d594fSAndroid Build Coastguard Worker inline bool CodeItemDebugInfoAccessor::DecodeDebugLocalInfo(
203*795d594fSAndroid Build Coastguard Worker     bool is_static,
204*795d594fSAndroid Build Coastguard Worker     uint32_t method_idx,
205*795d594fSAndroid Build Coastguard Worker     NewLocalVisitor&& new_local) const {
206*795d594fSAndroid Build Coastguard Worker   return dex_file_->DecodeDebugLocalInfo(RegistersSize(),
207*795d594fSAndroid Build Coastguard Worker                                          InsSize(),
208*795d594fSAndroid Build Coastguard Worker                                          InsnsSizeInCodeUnits(),
209*795d594fSAndroid Build Coastguard Worker                                          DebugInfoOffset(),
210*795d594fSAndroid Build Coastguard Worker                                          is_static,
211*795d594fSAndroid Build Coastguard Worker                                          method_idx,
212*795d594fSAndroid Build Coastguard Worker                                          std::forward<NewLocalVisitor>(new_local));
213*795d594fSAndroid Build Coastguard Worker }
214*795d594fSAndroid Build Coastguard Worker 
215*795d594fSAndroid Build Coastguard Worker template <typename Visitor>
VisitParameterNames(Visitor && visitor)216*795d594fSAndroid Build Coastguard Worker inline uint32_t CodeItemDebugInfoAccessor::VisitParameterNames(Visitor&& visitor) const {
217*795d594fSAndroid Build Coastguard Worker   const uint8_t* stream = dex_file_->GetDebugInfoStream(DebugInfoOffset());
218*795d594fSAndroid Build Coastguard Worker   return (stream != nullptr) ?
219*795d594fSAndroid Build Coastguard Worker              DexFile::DecodeDebugInfoParameterNames(&stream, std::forward<Visitor>(visitor)) :
220*795d594fSAndroid Build Coastguard Worker              0u;
221*795d594fSAndroid Build Coastguard Worker }
222*795d594fSAndroid Build Coastguard Worker 
GetLineNumForPc(const uint32_t address,uint32_t * line_num)223*795d594fSAndroid Build Coastguard Worker inline bool CodeItemDebugInfoAccessor::GetLineNumForPc(const uint32_t address,
224*795d594fSAndroid Build Coastguard Worker                                                        uint32_t* line_num) const {
225*795d594fSAndroid Build Coastguard Worker   return DecodeDebugPositionInfo([&](const DexFile::PositionInfo& entry) {
226*795d594fSAndroid Build Coastguard Worker     // We know that this callback will be called in ascending address order, so keep going until we
227*795d594fSAndroid Build Coastguard Worker     // find a match or we've just gone past it.
228*795d594fSAndroid Build Coastguard Worker     if (entry.address_ > address) {
229*795d594fSAndroid Build Coastguard Worker       // The line number from the previous positions callback will be the final result.
230*795d594fSAndroid Build Coastguard Worker       return true;
231*795d594fSAndroid Build Coastguard Worker     }
232*795d594fSAndroid Build Coastguard Worker     *line_num = entry.line_;
233*795d594fSAndroid Build Coastguard Worker     return entry.address_ == address;
234*795d594fSAndroid Build Coastguard Worker   });
235*795d594fSAndroid Build Coastguard Worker }
236*795d594fSAndroid Build Coastguard Worker 
237*795d594fSAndroid Build Coastguard Worker template <typename Visitor>
DecodeDebugPositionInfo(Visitor && visitor)238*795d594fSAndroid Build Coastguard Worker inline bool CodeItemDebugInfoAccessor::DecodeDebugPositionInfo(Visitor&& visitor) const {
239*795d594fSAndroid Build Coastguard Worker   return dex_file_->DecodeDebugPositionInfo(
240*795d594fSAndroid Build Coastguard Worker       dex_file_->GetDebugInfoStream(DebugInfoOffset()),
241*795d594fSAndroid Build Coastguard Worker       [this](uint32_t idx) {
242*795d594fSAndroid Build Coastguard Worker         return dex_file_->GetStringData(dex::StringIndex(idx));
243*795d594fSAndroid Build Coastguard Worker       },
244*795d594fSAndroid Build Coastguard Worker       std::forward<Visitor>(visitor));
245*795d594fSAndroid Build Coastguard Worker }
246*795d594fSAndroid Build Coastguard Worker 
247*795d594fSAndroid Build Coastguard Worker }  // namespace art
248*795d594fSAndroid Build Coastguard Worker 
249*795d594fSAndroid Build Coastguard Worker #endif  // ART_LIBDEXFILE_DEX_CODE_ITEM_ACCESSORS_INL_H_
250