blob: 2c311fb85e2ca610108436dc1576fa05bfd045d2 [file] [log] [blame]
Nicolas Geoffray004c2302015-03-20 10:06:38 +00001/*
2 * Copyright (C) 2015 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#include "stack_map.h"
18
David Srbecky71ec1cc2018-05-18 15:57:25 +010019#include <iomanip>
Nicolas Geoffray896f8f72015-03-30 15:44:25 +010020#include <stdint.h>
21
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000022#include "art_method.h"
David Sehr9c4a0152018-04-05 12:23:54 -070023#include "base/indenter.h"
David Srbecky81b1d782021-03-07 21:33:28 +000024#include "base/stats-inl.h"
David Srbeckyf6ba5b32018-06-23 22:05:49 +010025#include "oat_quick_method_header.h"
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000026#include "scoped_thread_state_change-inl.h"
Roland Levillain0396ed72015-05-27 15:12:19 +010027
Nicolas Geoffray004c2302015-03-20 10:06:38 +000028namespace art {
29
David Srbecky0d4567f2019-05-30 22:45:40 +010030// The callback is used to inform the caller about memory bounds of the bit-tables.
31template<typename DecodeCallback>
32CodeInfo::CodeInfo(const uint8_t* data, size_t* num_read_bits, DecodeCallback callback) {
David Srbecky3aaaa212018-07-30 16:46:53 +010033 BitMemoryReader reader(data);
David Srbecky6c4ec5c2019-06-20 07:23:19 +000034 std::array<uint32_t, kNumHeaders> header = reader.ReadInterleavedVarints<kNumHeaders>();
Vladimir Markofb95eed2022-04-07 16:04:24 +000035 ForEachHeaderField([this, &header](size_t i, auto member_pointer) ALWAYS_INLINE {
David Srbecky697c47a2019-06-16 21:53:07 +010036 this->*member_pointer = header[i];
37 });
Vladimir Markofb95eed2022-04-07 16:04:24 +000038 ForEachBitTableField([this, &reader, &callback](size_t i, auto member_pointer) ALWAYS_INLINE {
David Srbecky697c47a2019-06-16 21:53:07 +010039 auto& table = this->*member_pointer;
David Srbecky6c4ec5c2019-06-20 07:23:19 +000040 if (LIKELY(HasBitTable(i))) {
David Srbecky697c47a2019-06-16 21:53:07 +010041 if (UNLIKELY(IsBitTableDeduped(i))) {
42 ssize_t bit_offset = reader.NumberOfReadBits() - reader.ReadVarint();
43 BitMemoryReader reader2(reader.data(), bit_offset); // The offset is negative.
44 table.Decode(reader2);
David Srbecky0d4567f2019-05-30 22:45:40 +010045 callback(i, &table, reader2.GetReadRegion());
David Srbecky697c47a2019-06-16 21:53:07 +010046 } else {
David Srbecky0d4567f2019-05-30 22:45:40 +010047 ssize_t bit_offset = reader.NumberOfReadBits();
David Srbecky697c47a2019-06-16 21:53:07 +010048 table.Decode(reader);
David Srbecky0d4567f2019-05-30 22:45:40 +010049 callback(i, &table, reader.GetReadRegion().Subregion(bit_offset));
David Srbecky697c47a2019-06-16 21:53:07 +010050 }
51 }
David Srbecky0d4567f2019-05-30 22:45:40 +010052 });
53 if (num_read_bits != nullptr) {
54 *num_read_bits = reader.NumberOfReadBits();
David Srbeckye42a4b92019-05-26 00:10:25 +010055 }
David Srbecky078d7ba2018-06-21 15:36:48 +010056}
57
David Srbecky0d4567f2019-05-30 22:45:40 +010058CodeInfo::CodeInfo(const uint8_t* data, size_t* num_read_bits)
Vladimir Markofb95eed2022-04-07 16:04:24 +000059 : CodeInfo(data, num_read_bits, [](size_t, auto*, BitMemoryRegion) ALWAYS_INLINE {}) {}
David Srbecky0d4567f2019-05-30 22:45:40 +010060
61CodeInfo::CodeInfo(const OatQuickMethodHeader* header)
62 : CodeInfo(header->GetOptimizedCodeInfoPtr()) {}
63
David Srbecky0d4567f2019-05-30 22:45:40 +010064CodeInfo CodeInfo::DecodeGcMasksOnly(const OatQuickMethodHeader* header) {
65 CodeInfo code_info(header->GetOptimizedCodeInfoPtr());
66 CodeInfo copy; // Copy to dead-code-eliminate all fields that we do not need.
67 copy.stack_maps_ = code_info.stack_maps_;
68 copy.register_masks_ = code_info.register_masks_;
69 copy.stack_masks_ = code_info.stack_masks_;
70 return copy;
71}
72
73CodeInfo CodeInfo::DecodeInlineInfoOnly(const OatQuickMethodHeader* header) {
74 CodeInfo code_info(header->GetOptimizedCodeInfoPtr());
75 CodeInfo copy; // Copy to dead-code-eliminate all fields that we do not need.
76 copy.number_of_dex_registers_ = code_info.number_of_dex_registers_;
77 copy.stack_maps_ = code_info.stack_maps_;
78 copy.inline_infos_ = code_info.inline_infos_;
79 copy.method_infos_ = code_info.method_infos_;
80 return copy;
81}
82
Eric Holkf1e1dd12020-08-21 15:38:12 -070083StackMap CodeInfo::GetStackMapForNativePcOffset(uintptr_t pc, InstructionSet isa) const {
David Srbecky0d4567f2019-05-30 22:45:40 +010084 uint32_t packed_pc = StackMap::PackNativePc(pc, isa);
85 // Binary search. All catch stack maps are stored separately at the end.
86 auto it = std::partition_point(
David Srbecky0b4e5a32018-06-11 16:25:29 +010087 stack_maps_.begin(),
88 stack_maps_.end(),
89 [packed_pc](const StackMap& sm) {
90 return sm.GetPackedNativePc() < packed_pc && sm.GetKind() != StackMap::Kind::Catch;
91 });
David Srbecky0b4e5a32018-06-11 16:25:29 +010092 // Start at the lower bound and iterate over all stack maps with the given native pc.
93 for (; it != stack_maps_.end() && (*it).GetNativePcOffset(isa) == pc; ++it) {
94 StackMap::Kind kind = static_cast<StackMap::Kind>((*it).GetKind());
95 if (kind == StackMap::Kind::Default || kind == StackMap::Kind::OSR) {
96 return *it;
97 }
98 }
David Srbeckya45a85c2018-06-21 16:03:12 +010099 return stack_maps_.GetInvalidRow();
David Srbecky0b4e5a32018-06-11 16:25:29 +0100100}
101
David Srbecky6de88332018-06-03 12:00:11 +0100102// Scan backward to determine dex register locations at given stack map.
103// All registers for a stack map are combined - inlined registers are just appended,
104// therefore 'first_dex_register' allows us to select a sub-range to decode.
105void CodeInfo::DecodeDexRegisterMap(uint32_t stack_map_index,
106 uint32_t first_dex_register,
107 /*out*/ DexRegisterMap* map) const {
108 // Count remaining work so we know when we have finished.
109 uint32_t remaining_registers = map->size();
110
111 // Keep scanning backwards and collect the most recent location of each register.
112 for (int32_t s = stack_map_index; s >= 0 && remaining_registers != 0; s--) {
113 StackMap stack_map = GetStackMapAt(s);
114 DCHECK_LE(stack_map_index - s, kMaxDexRegisterMapSearchDistance) << "Unbounded search";
115
116 // The mask specifies which registers where modified in this stack map.
117 // NB: the mask can be shorter than expected if trailing zero bits were removed.
118 uint32_t mask_index = stack_map.GetDexRegisterMaskIndex();
119 if (mask_index == StackMap::kNoValue) {
120 continue; // Nothing changed at this stack map.
121 }
122 BitMemoryRegion mask = dex_register_masks_.GetBitMemoryRegion(mask_index);
123 if (mask.size_in_bits() <= first_dex_register) {
124 continue; // Nothing changed after the first register we are interested in.
125 }
126
127 // The map stores one catalogue index per each modified register location.
128 uint32_t map_index = stack_map.GetDexRegisterMapIndex();
129 DCHECK_NE(map_index, StackMap::kNoValue);
130
131 // Skip initial registers which we are not interested in (to get to inlined registers).
132 map_index += mask.PopCount(0, first_dex_register);
133 mask = mask.Subregion(first_dex_register, mask.size_in_bits() - first_dex_register);
134
135 // Update registers that we see for first time (i.e. most recent value).
136 DexRegisterLocation* regs = map->data();
137 const uint32_t end = std::min<uint32_t>(map->size(), mask.size_in_bits());
138 const size_t kNumBits = BitSizeOf<uint32_t>();
139 for (uint32_t reg = 0; reg < end; reg += kNumBits) {
140 // Process the mask in chunks of kNumBits for performance.
141 uint32_t bits = mask.LoadBits(reg, std::min<uint32_t>(end - reg, kNumBits));
142 while (bits != 0) {
143 uint32_t bit = CTZ(bits);
144 if (regs[reg + bit].GetKind() == DexRegisterLocation::Kind::kInvalid) {
145 regs[reg + bit] = GetDexRegisterCatalogEntry(dex_register_maps_.Get(map_index));
146 remaining_registers--;
147 }
148 map_index++;
149 bits ^= 1u << bit; // Clear the bit.
150 }
151 }
152 }
153
154 // Set any remaining registers to None (which is the default state at first stack map).
155 if (remaining_registers != 0) {
156 DexRegisterLocation* regs = map->data();
157 for (uint32_t r = 0; r < map->size(); r++) {
158 if (regs[r].GetKind() == DexRegisterLocation::Kind::kInvalid) {
159 regs[r] = DexRegisterLocation::None();
160 }
161 }
162 }
163}
164
David Srbecky42deda82018-08-10 11:23:27 +0100165// Decode the CodeInfo while collecting size statistics.
David Srbecky81b1d782021-03-07 21:33:28 +0000166void CodeInfo::CollectSizeStats(const uint8_t* code_info_data, /*out*/ Stats& stats) {
David Srbecky42deda82018-08-10 11:23:27 +0100167 BitMemoryReader reader(code_info_data);
David Srbecky0d4567f2019-05-30 22:45:40 +0100168 reader.ReadInterleavedVarints<kNumHeaders>();
David Srbecky81b1d782021-03-07 21:33:28 +0000169 stats["Header"].AddBits(reader.NumberOfReadBits());
David Srbecky0d4567f2019-05-30 22:45:40 +0100170 size_t num_bits;
171 CodeInfo code_info(code_info_data, &num_bits, [&](size_t i, auto* table, BitMemoryRegion region) {
172 if (!code_info.IsBitTableDeduped(i)) {
David Srbecky81b1d782021-03-07 21:33:28 +0000173 Stats& table_stats = stats[table->GetName()];
174 table_stats.AddBits(region.size_in_bits());
175 table_stats["Header"].AddBits(region.size_in_bits() - table->DataBitSize());
David Srbecky0d4567f2019-05-30 22:45:40 +0100176 const char* const* column_names = table->GetColumnNames();
177 for (size_t c = 0; c < table->NumColumns(); c++) {
178 if (table->NumColumnBits(c) > 0) {
David Srbecky81b1d782021-03-07 21:33:28 +0000179 Stats& column_stats = table_stats[column_names[c]];
180 column_stats.AddBits(table->NumRows() * table->NumColumnBits(c), table->NumRows());
David Srbecky42deda82018-08-10 11:23:27 +0100181 }
182 }
David Srbecky86decb62018-06-05 06:41:10 +0100183 }
David Srbecky42deda82018-08-10 11:23:27 +0100184 });
David Srbecky81b1d782021-03-07 21:33:28 +0000185 stats.AddBytes(BitsToBytesRoundUp(num_bits));
David Srbecky86decb62018-06-05 06:41:10 +0100186}
187
David Srbeckye1402122018-06-13 18:20:45 +0100188void DexRegisterMap::Dump(VariableIndentationOutputStream* vios) const {
189 if (HasAnyLiveDexRegisters()) {
David Srbecky71ec1cc2018-05-18 15:57:25 +0100190 ScopedIndentation indent1(vios);
David Srbeckye1402122018-06-13 18:20:45 +0100191 for (size_t i = 0; i < size(); ++i) {
192 DexRegisterLocation reg = (*this)[i];
193 if (reg.IsLive()) {
194 vios->Stream() << "v" << i << ":" << reg << " ";
David Srbecky71ec1cc2018-05-18 15:57:25 +0100195 }
196 }
197 vios->Stream() << "\n";
198 }
Roland Levillaina552e1c2015-03-26 15:01:03 +0000199}
200
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100201void CodeInfo::Dump(VariableIndentationOutputStream* vios,
Roland Levillainf2650d12015-05-28 14:53:28 +0100202 uint32_t code_offset,
David Srbecky71ec1cc2018-05-18 15:57:25 +0100203 bool verbose,
David Srbecky8cd54542018-07-15 23:58:44 +0100204 InstructionSet instruction_set) const {
David Srbecky113d6ea2021-03-02 22:49:46 +0000205 vios->Stream() << "CodeInfo"
David Srbecky17b4d2b2021-03-02 18:14:31 +0000206 << " CodeSize:" << code_size_
David Srbecky42deda82018-08-10 11:23:27 +0100207 << " FrameSize:" << packed_frame_size_ * kStackAlignment
208 << " CoreSpillMask:" << std::hex << core_spill_mask_
209 << " FpSpillMask:" << std::hex << fp_spill_mask_
210 << " NumberOfDexRegisters:" << std::dec << number_of_dex_registers_
211 << "\n";
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100212 ScopedIndentation indent1(vios);
David Srbecky697c47a2019-06-16 21:53:07 +0100213 ForEachBitTableField([this, &vios, verbose](size_t, auto member_pointer) {
David Srbecky42deda82018-08-10 11:23:27 +0100214 const auto& table = this->*member_pointer;
215 if (table.NumRows() != 0) {
216 vios->Stream() << table.GetName() << " BitSize=" << table.DataBitSize();
217 vios->Stream() << " Rows=" << table.NumRows() << " Bits={";
218 const char* const* column_names = table.GetColumnNames();
219 for (size_t c = 0; c < table.NumColumns(); c++) {
220 vios->Stream() << (c != 0 ? " " : "");
221 vios->Stream() << column_names[c] << "=" << table.NumColumnBits(c);
222 }
223 vios->Stream() << "}\n";
224 if (verbose) {
225 ScopedIndentation indent1(vios);
226 for (size_t r = 0; r < table.NumRows(); r++) {
227 vios->Stream() << "[" << std::right << std::setw(3) << r << "]={";
228 for (size_t c = 0; c < table.NumColumns(); c++) {
229 vios->Stream() << (c != 0 ? " " : "");
230 if (&table == static_cast<const void*>(&stack_masks_) ||
231 &table == static_cast<const void*>(&dex_register_masks_)) {
232 BitMemoryRegion bits = table.GetBitMemoryRegion(r, c);
233 for (size_t b = 0, e = bits.size_in_bits(); b < e; b++) {
234 vios->Stream() << bits.LoadBit(e - b - 1);
235 }
236 } else {
237 vios->Stream() << std::right << std::setw(8) << static_cast<int32_t>(table.Get(r, c));
238 }
239 }
240 vios->Stream() << "}\n";
241 }
242 }
243 }
244 });
David Srbecky71ec1cc2018-05-18 15:57:25 +0100245
Roland Levillaina552e1c2015-03-26 15:01:03 +0000246 // Display stack maps along with (live) Dex register maps.
David Srbecky71ec1cc2018-05-18 15:57:25 +0100247 if (verbose) {
David Srbecky93bd3612018-07-02 19:30:18 +0100248 for (StackMap stack_map : stack_maps_) {
David Srbecky8cd54542018-07-15 23:58:44 +0100249 stack_map.Dump(vios, *this, code_offset, instruction_set);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100250 }
251 }
252}
253
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100254void StackMap::Dump(VariableIndentationOutputStream* vios,
Roland Levillainf2650d12015-05-28 14:53:28 +0100255 const CodeInfo& code_info,
256 uint32_t code_offset,
David Srbecky71ec1cc2018-05-18 15:57:25 +0100257 InstructionSet instruction_set) const {
David Srbecky052f8ca2018-04-26 15:42:54 +0100258 const uint32_t pc_offset = GetNativePcOffset(instruction_set);
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100259 vios->Stream()
David Srbecky71ec1cc2018-05-18 15:57:25 +0100260 << "StackMap[" << Row() << "]"
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100261 << std::hex
David Srbecky71ec1cc2018-05-18 15:57:25 +0100262 << " (native_pc=0x" << code_offset + pc_offset
263 << ", dex_pc=0x" << GetDexPc()
David Srbecky052f8ca2018-04-26 15:42:54 +0100264 << ", register_mask=0x" << code_info.GetRegisterMaskOf(*this)
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100265 << std::dec
266 << ", stack_mask=0b";
David Srbecky052f8ca2018-04-26 15:42:54 +0100267 BitMemoryRegion stack_mask = code_info.GetStackMaskOf(*this);
David Srbecky4b59d102018-05-29 21:46:10 +0000268 for (size_t i = 0, e = stack_mask.size_in_bits(); i < e; ++i) {
David Srbecky45aa5982016-03-18 02:15:09 +0000269 vios->Stream() << stack_mask.LoadBit(e - i - 1);
Roland Levillainf2650d12015-05-28 14:53:28 +0100270 }
David Srbecky634b04a2021-02-23 00:26:35 +0000271 switch (static_cast<Kind>(GetKind())) {
272 case Kind::Default: break;
273 case Kind::Catch: vios->Stream() << ", Catch"; break;
274 case Kind::OSR: vios->Stream() << ", OSR"; break;
275 case Kind::Debug: vios->Stream() << ", Debug"; break;
276 }
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100277 vios->Stream() << ")\n";
David Srbeckye1402122018-06-13 18:20:45 +0100278 code_info.GetDexRegisterMapOf(*this).Dump(vios);
David Srbecky93bd3612018-07-02 19:30:18 +0100279 for (InlineInfo inline_info : code_info.GetInlineInfosOf(*this)) {
David Srbecky8cd54542018-07-15 23:58:44 +0100280 inline_info.Dump(vios, code_info, *this);
Nicolas Geoffray12bdb722015-06-17 09:44:43 +0100281 }
Roland Levillainf2650d12015-05-28 14:53:28 +0100282}
283
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100284void InlineInfo::Dump(VariableIndentationOutputStream* vios,
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100285 const CodeInfo& code_info,
David Srbecky8cd54542018-07-15 23:58:44 +0100286 const StackMap& stack_map) const {
David Srbecky6e69e522018-06-03 12:00:14 +0100287 uint32_t depth = Row() - stack_map.GetInlineInfoIndex();
288 vios->Stream()
289 << "InlineInfo[" << Row() << "]"
290 << " (depth=" << depth
291 << std::hex
292 << ", dex_pc=0x" << GetDexPc();
293 if (EncodesArtMethod()) {
294 ScopedObjectAccess soa(Thread::Current());
295 vios->Stream() << ", method=" << GetArtMethod()->PrettyMethod();
296 } else {
Santiago Aboy Solanese43aa3f2021-11-01 09:02:09 +0000297 MethodInfo method_info = code_info.GetMethodInfoOf(*this);
298 vios->Stream() << std::dec << ", method_index=" << method_info.GetMethodIndex();
299 if (method_info.HasDexFileIndex()) {
Santiago Aboy Solanes970ba212021-10-21 10:52:47 +0100300 vios->Stream() << ", is_in_bootclasspath=" << std::boolalpha
301 << (method_info.GetDexFileIndexKind() == MethodInfo::kKindBCP)
Santiago Aboy Solanes05ed65a2021-11-30 10:36:13 +0000302 << std::noboolalpha << ", dex_file_index=" << std::dec
303 << method_info.GetDexFileIndex();
Santiago Aboy Solanese43aa3f2021-11-01 09:02:09 +0000304 }
David Srbecky6e69e522018-06-03 12:00:14 +0100305 }
306 vios->Stream() << ")\n";
David Srbecky93bd3612018-07-02 19:30:18 +0100307 code_info.GetInlineDexRegisterMapOf(stack_map, *this).Dump(vios);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000308}
309
310} // namespace art