blob: aa28c8b5005cea35254b74c36426f6f9e3b26e5d [file] [log] [blame]
Calin Juravlec416d332015-04-23 16:01:43 +01001/*
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 */
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000016
Calin Juravlec416d332015-04-23 16:01:43 +010017#include "stack_map_stream.h"
18
Andreas Gampe90b936d2017-01-31 08:58:55 -080019#include "art_method-inl.h"
David Srbecky45aa5982016-03-18 02:15:09 +000020#include "base/stl_util.h"
David Sehr9e734c72018-01-04 17:56:19 -080021#include "dex/dex_file_types.h"
Nicolas Geoffrayfbdfa6d2017-02-03 10:43:13 +000022#include "optimizing/optimizing_compiler.h"
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000023#include "runtime.h"
24#include "scoped_thread_state_change-inl.h"
25
Calin Juravlec416d332015-04-23 16:01:43 +010026namespace art {
27
Calin Juravle4f46ac52015-04-23 18:47:21 +010028void StackMapStream::BeginStackMapEntry(uint32_t dex_pc,
29 uint32_t native_pc_offset,
30 uint32_t register_mask,
31 BitVector* sp_mask,
32 uint32_t num_dex_registers,
33 uint8_t inlining_depth) {
34 DCHECK_EQ(0u, current_entry_.dex_pc) << "EndStackMapEntry not called after BeginStackMapEntry";
35 current_entry_.dex_pc = dex_pc;
Mathieu Chartiera2f526f2017-01-19 14:48:48 -080036 current_entry_.native_pc_code_offset = CodeOffset::FromOffset(native_pc_offset, instruction_set_);
Calin Juravle4f46ac52015-04-23 18:47:21 +010037 current_entry_.register_mask = register_mask;
38 current_entry_.sp_mask = sp_mask;
Calin Juravle4f46ac52015-04-23 18:47:21 +010039 current_entry_.inlining_depth = inlining_depth;
Vladimir Marko225b6462015-09-28 12:17:40 +010040 current_entry_.inline_infos_start_index = inline_infos_.size();
David Srbecky45aa5982016-03-18 02:15:09 +000041 current_entry_.stack_mask_index = 0;
Andreas Gampee2abbc62017-09-15 11:59:26 -070042 current_entry_.dex_method_index = dex::kDexNoIndex;
Mathieu Chartier32289082017-02-09 15:57:37 -080043 current_entry_.dex_register_entry.num_dex_registers = num_dex_registers;
44 current_entry_.dex_register_entry.locations_start_index = dex_register_locations_.size();
Vladimir Marko174b2e22017-10-12 13:34:49 +010045 current_entry_.dex_register_entry.live_dex_registers_mask = nullptr;
46 if (num_dex_registers != 0u) {
47 current_entry_.dex_register_entry.live_dex_registers_mask =
48 ArenaBitVector::Create(allocator_, num_dex_registers, true, kArenaAllocStackMapStream);
49 current_entry_.dex_register_entry.live_dex_registers_mask->ClearAllBits();
50 }
Calin Juravlec416d332015-04-23 16:01:43 +010051 if (sp_mask != nullptr) {
52 stack_mask_max_ = std::max(stack_mask_max_, sp_mask->GetHighestBitSet());
53 }
Calin Juravlec416d332015-04-23 16:01:43 +010054
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010055 current_dex_register_ = 0;
Calin Juravlec416d332015-04-23 16:01:43 +010056}
57
Calin Juravle4f46ac52015-04-23 18:47:21 +010058void StackMapStream::EndStackMapEntry() {
Mathieu Chartier32289082017-02-09 15:57:37 -080059 current_entry_.dex_register_map_index = AddDexRegisterMapEntry(current_entry_.dex_register_entry);
Vladimir Marko225b6462015-09-28 12:17:40 +010060 stack_maps_.push_back(current_entry_);
Calin Juravle4f46ac52015-04-23 18:47:21 +010061 current_entry_ = StackMapEntry();
62}
63
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010064void StackMapStream::AddDexRegisterEntry(DexRegisterLocation::Kind kind, int32_t value) {
Calin Juravlec416d332015-04-23 16:01:43 +010065 if (kind != DexRegisterLocation::Kind::kNone) {
66 // Ensure we only use non-compressed location kind at this stage.
David Srbecky7dc11782016-02-25 13:23:56 +000067 DCHECK(DexRegisterLocation::IsShortLocationKind(kind)) << kind;
Calin Juravlec416d332015-04-23 16:01:43 +010068 DexRegisterLocation location(kind, value);
69
70 // Look for Dex register `location` in the location catalog (using the
71 // companion hash map of locations to indices). Use its index if it
72 // is already in the location catalog. If not, insert it (in the
73 // location catalog and the hash map) and use the newly created index.
74 auto it = location_catalog_entries_indices_.Find(location);
75 if (it != location_catalog_entries_indices_.end()) {
76 // Retrieve the index from the hash map.
Vladimir Marko225b6462015-09-28 12:17:40 +010077 dex_register_locations_.push_back(it->second);
Calin Juravlec416d332015-04-23 16:01:43 +010078 } else {
79 // Create a new entry in the location catalog and the hash map.
Vladimir Marko225b6462015-09-28 12:17:40 +010080 size_t index = location_catalog_entries_.size();
81 location_catalog_entries_.push_back(location);
82 dex_register_locations_.push_back(index);
Calin Juravlec416d332015-04-23 16:01:43 +010083 location_catalog_entries_indices_.Insert(std::make_pair(location, index));
84 }
Mathieu Chartier32289082017-02-09 15:57:37 -080085 DexRegisterMapEntry* const entry = in_inline_frame_
86 ? &current_inline_info_.dex_register_entry
87 : &current_entry_.dex_register_entry;
88 DCHECK_LT(current_dex_register_, entry->num_dex_registers);
89 entry->live_dex_registers_mask->SetBit(current_dex_register_);
90 entry->hash += (1 <<
91 (current_dex_register_ % (sizeof(DexRegisterMapEntry::hash) * kBitsPerByte)));
92 entry->hash += static_cast<uint32_t>(value);
93 entry->hash += static_cast<uint32_t>(kind);
Calin Juravlec416d332015-04-23 16:01:43 +010094 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010095 current_dex_register_++;
Calin Juravlec416d332015-04-23 16:01:43 +010096}
97
Mathieu Chartierd776ff02017-01-17 09:32:18 -080098void StackMapStream::AddInvoke(InvokeType invoke_type, uint32_t dex_method_index) {
99 current_entry_.invoke_type = invoke_type;
100 current_entry_.dex_method_index = dex_method_index;
101}
102
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000103void StackMapStream::BeginInlineInfoEntry(ArtMethod* method,
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100104 uint32_t dex_pc,
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000105 uint32_t num_dex_registers,
106 const DexFile* outer_dex_file) {
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100107 DCHECK(!in_inline_frame_);
108 in_inline_frame_ = true;
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000109 if (EncodeArtMethodInInlineInfo(method)) {
110 current_inline_info_.method = method;
111 } else {
112 if (dex_pc != static_cast<uint32_t>(-1) && kIsDebugBuild) {
113 ScopedObjectAccess soa(Thread::Current());
114 DCHECK(IsSameDexFile(*outer_dex_file, *method->GetDexFile()));
115 }
116 current_inline_info_.method_index = method->GetDexMethodIndexUnchecked();
117 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100118 current_inline_info_.dex_pc = dex_pc;
Mathieu Chartier32289082017-02-09 15:57:37 -0800119 current_inline_info_.dex_register_entry.num_dex_registers = num_dex_registers;
120 current_inline_info_.dex_register_entry.locations_start_index = dex_register_locations_.size();
Vladimir Marko174b2e22017-10-12 13:34:49 +0100121 current_inline_info_.dex_register_entry.live_dex_registers_mask = nullptr;
122 if (num_dex_registers != 0) {
123 current_inline_info_.dex_register_entry.live_dex_registers_mask =
124 ArenaBitVector::Create(allocator_, num_dex_registers, true, kArenaAllocStackMapStream);
125 current_inline_info_.dex_register_entry.live_dex_registers_mask->ClearAllBits();
126 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100127 current_dex_register_ = 0;
128}
129
130void StackMapStream::EndInlineInfoEntry() {
Mathieu Chartier32289082017-02-09 15:57:37 -0800131 current_inline_info_.dex_register_map_index =
132 AddDexRegisterMapEntry(current_inline_info_.dex_register_entry);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100133 DCHECK(in_inline_frame_);
Mathieu Chartier32289082017-02-09 15:57:37 -0800134 DCHECK_EQ(current_dex_register_, current_inline_info_.dex_register_entry.num_dex_registers)
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100135 << "Inline information contains less registers than expected";
136 in_inline_frame_ = false;
Vladimir Marko225b6462015-09-28 12:17:40 +0100137 inline_infos_.push_back(current_inline_info_);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100138 current_inline_info_ = InlineInfoEntry();
Calin Juravlec416d332015-04-23 16:01:43 +0100139}
140
Calin Juravlec416d332015-04-23 16:01:43 +0100141size_t StackMapStream::ComputeDexRegisterLocationCatalogSize() const {
142 size_t size = DexRegisterLocationCatalog::kFixedSize;
Vladimir Marko225b6462015-09-28 12:17:40 +0100143 for (const DexRegisterLocation& dex_register_location : location_catalog_entries_) {
Calin Juravlec416d332015-04-23 16:01:43 +0100144 size += DexRegisterLocationCatalog::EntrySize(dex_register_location);
145 }
146 return size;
147}
148
Mathieu Chartier32289082017-02-09 15:57:37 -0800149size_t StackMapStream::DexRegisterMapEntry::ComputeSize(size_t catalog_size) const {
Vladimir Marko225b6462015-09-28 12:17:40 +0100150 // For num_dex_registers == 0u live_dex_registers_mask may be null.
151 if (num_dex_registers == 0u) {
152 return 0u; // No register map will be emitted.
153 }
David Srbecky052f8ca2018-04-26 15:42:54 +0100154 size_t number_of_live_dex_registers = live_dex_registers_mask->NumSetBits();
155 if (live_dex_registers_mask->NumSetBits() == 0) {
156 return 0u; // No register map will be emitted.
157 }
Vladimir Marko225b6462015-09-28 12:17:40 +0100158 DCHECK(live_dex_registers_mask != nullptr);
159
Calin Juravlec416d332015-04-23 16:01:43 +0100160 // Size of the map in bytes.
161 size_t size = DexRegisterMap::kFixedSize;
162 // Add the live bit mask for the Dex register liveness.
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100163 size += DexRegisterMap::GetLiveBitMaskSize(num_dex_registers);
Calin Juravlec416d332015-04-23 16:01:43 +0100164 // Compute the size of the set of live Dex register entries.
Calin Juravlec416d332015-04-23 16:01:43 +0100165 size_t map_entries_size_in_bits =
Mathieu Chartier32289082017-02-09 15:57:37 -0800166 DexRegisterMap::SingleEntrySizeInBits(catalog_size) * number_of_live_dex_registers;
Calin Juravlec416d332015-04-23 16:01:43 +0100167 size_t map_entries_size_in_bytes =
168 RoundUp(map_entries_size_in_bits, kBitsPerByte) / kBitsPerByte;
169 size += map_entries_size_in_bytes;
170 return size;
171}
172
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700173void StackMapStream::FillInMethodInfo(MemoryRegion region) {
174 {
175 MethodInfo info(region.begin(), method_indices_.size());
176 for (size_t i = 0; i < method_indices_.size(); ++i) {
177 info.SetMethodIndex(i, method_indices_[i]);
178 }
179 }
180 if (kIsDebugBuild) {
181 // Check the data matches.
182 MethodInfo info(region.begin());
183 const size_t count = info.NumMethodIndices();
184 DCHECK_EQ(count, method_indices_.size());
185 for (size_t i = 0; i < count; ++i) {
186 DCHECK_EQ(info.GetMethodIndex(i), method_indices_[i]);
187 }
188 }
189}
190
David Srbecky052f8ca2018-04-26 15:42:54 +0100191template<typename Vector>
192static MemoryRegion EncodeMemoryRegion(Vector* out, size_t* bit_offset, uint32_t bit_length) {
193 uint32_t byte_length = BitsToBytesRoundUp(bit_length);
194 EncodeVarintBits(out, bit_offset, byte_length);
195 *bit_offset = RoundUp(*bit_offset, kBitsPerByte);
196 out->resize(out->size() + byte_length);
197 MemoryRegion region(out->data() + *bit_offset / kBitsPerByte, byte_length);
198 *bit_offset += kBitsPerByte * byte_length;
199 return region;
200}
Calin Juravle4f46ac52015-04-23 18:47:21 +0100201
David Srbecky052f8ca2018-04-26 15:42:54 +0100202template<uint32_t NumColumns>
203using ScopedBitTableBuilder = BitTableBuilder<NumColumns, ScopedArenaAllocatorAdapter<uint32_t>>;
David Srbecky09ed0982016-02-12 21:58:43 +0000204
David Srbecky052f8ca2018-04-26 15:42:54 +0100205size_t StackMapStream::PrepareForFillIn() {
206 size_t bit_offset = 0;
207 out_.clear();
David Srbecky09ed0982016-02-12 21:58:43 +0000208
David Srbecky052f8ca2018-04-26 15:42:54 +0100209 // Decide the offsets of dex register map entries, but do not write them out yet.
210 // Needs to be done first as it modifies the stack map entry.
211 size_t dex_register_map_bytes = 0;
212 for (DexRegisterMapEntry& entry : dex_register_entries_) {
213 size_t size = entry.ComputeSize(location_catalog_entries_.size());
214 entry.offset = size == 0 ? DexRegisterMapEntry::kOffsetUnassigned : dex_register_map_bytes;
215 dex_register_map_bytes += size;
216 }
Calin Juravlec416d332015-04-23 16:01:43 +0100217
David Srbecky052f8ca2018-04-26 15:42:54 +0100218 // Must be done before calling ComputeInlineInfoEncoding since ComputeInlineInfoEncoding requires
219 // dex_method_index_idx to be filled in.
220 PrepareMethodIndices();
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800221
David Srbecky052f8ca2018-04-26 15:42:54 +0100222 // Dedup stack masks. Needs to be done first as it modifies the stack map entry.
223 size_t stack_mask_bits = stack_mask_max_ + 1; // Need room for max element too.
224 size_t num_stack_masks = PrepareStackMasks(stack_mask_bits);
Calin Juravlec416d332015-04-23 16:01:43 +0100225
David Srbecky052f8ca2018-04-26 15:42:54 +0100226 // Dedup register masks. Needs to be done first as it modifies the stack map entry.
227 size_t num_register_masks = PrepareRegisterMasks();
228
229 // Write dex register maps.
230 MemoryRegion dex_register_map_region =
231 EncodeMemoryRegion(&out_, &bit_offset, dex_register_map_bytes * kBitsPerByte);
232 for (DexRegisterMapEntry& entry : dex_register_entries_) {
233 size_t entry_size = entry.ComputeSize(location_catalog_entries_.size());
234 if (entry_size != 0) {
235 DexRegisterMap dex_register_map(
236 dex_register_map_region.Subregion(entry.offset, entry_size));
237 FillInDexRegisterMap(dex_register_map,
238 entry.num_dex_registers,
239 *entry.live_dex_registers_mask,
240 entry.locations_start_index);
241 }
242 }
243
244 // Write dex register catalog.
245 EncodeVarintBits(&out_, &bit_offset, location_catalog_entries_.size());
246 size_t location_catalog_bytes = ComputeDexRegisterLocationCatalogSize();
247 MemoryRegion dex_register_location_catalog_region =
248 EncodeMemoryRegion(&out_, &bit_offset, location_catalog_bytes * kBitsPerByte);
Calin Juravlec416d332015-04-23 16:01:43 +0100249 DexRegisterLocationCatalog dex_register_location_catalog(dex_register_location_catalog_region);
250 // Offset in `dex_register_location_catalog` where to store the next
251 // register location.
252 size_t location_catalog_offset = DexRegisterLocationCatalog::kFixedSize;
Vladimir Marko225b6462015-09-28 12:17:40 +0100253 for (DexRegisterLocation dex_register_location : location_catalog_entries_) {
Calin Juravlec416d332015-04-23 16:01:43 +0100254 dex_register_location_catalog.SetRegisterInfo(location_catalog_offset, dex_register_location);
255 location_catalog_offset += DexRegisterLocationCatalog::EntrySize(dex_register_location);
256 }
257 // Ensure we reached the end of the Dex registers location_catalog.
258 DCHECK_EQ(location_catalog_offset, dex_register_location_catalog_region.size());
259
David Srbecky052f8ca2018-04-26 15:42:54 +0100260 // Write stack maps.
261 ScopedArenaAllocatorAdapter<void> adapter = allocator_->Adapter(kArenaAllocStackMapStream);
262 ScopedBitTableBuilder<StackMap::Field::kCount> stack_map_builder((adapter));
263 ScopedBitTableBuilder<InvokeInfo::Field::kCount> invoke_info_builder((adapter));
264 ScopedBitTableBuilder<InlineInfo::Field::kCount> inline_info_builder((adapter));
265 for (const StackMapEntry& entry : stack_maps_) {
Andreas Gampee2abbc62017-09-15 11:59:26 -0700266 if (entry.dex_method_index != dex::kDexNoIndex) {
David Srbecky052f8ca2018-04-26 15:42:54 +0100267 invoke_info_builder.AddRow(
268 entry.native_pc_code_offset.CompressedValue(),
269 entry.invoke_type,
270 entry.dex_method_index_idx);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800271 }
272
Calin Juravlec416d332015-04-23 16:01:43 +0100273 // Set the inlining info.
David Srbecky052f8ca2018-04-26 15:42:54 +0100274 uint32_t inline_info_index = StackMap::kNoValue;
275 DCHECK_LE(entry.inline_infos_start_index + entry.inlining_depth, inline_infos_.size());
276 for (size_t depth = 0; depth < entry.inlining_depth; ++depth) {
277 InlineInfoEntry inline_entry = inline_infos_[depth + entry.inline_infos_start_index];
278 uint32_t method_index_idx = inline_entry.dex_method_index_idx;
279 uint32_t extra_data = 1;
280 if (inline_entry.method != nullptr) {
281 method_index_idx = High32Bits(reinterpret_cast<uintptr_t>(inline_entry.method));
282 extra_data = Low32Bits(reinterpret_cast<uintptr_t>(inline_entry.method));
Calin Juravlec416d332015-04-23 16:01:43 +0100283 }
David Srbecky052f8ca2018-04-26 15:42:54 +0100284 uint32_t index = inline_info_builder.AddRow(
285 (depth == entry.inlining_depth - 1) ? InlineInfo::kLast : InlineInfo::kMore,
286 method_index_idx,
287 inline_entry.dex_pc,
288 extra_data,
289 dex_register_entries_[inline_entry.dex_register_map_index].offset);
290 if (depth == 0) {
291 inline_info_index = index;
292 }
Calin Juravlec416d332015-04-23 16:01:43 +0100293 }
David Srbecky052f8ca2018-04-26 15:42:54 +0100294 stack_map_builder.AddRow(
295 entry.native_pc_code_offset.CompressedValue(),
296 entry.dex_pc,
297 dex_register_entries_[entry.dex_register_map_index].offset,
298 inline_info_index,
299 entry.register_mask_index,
300 entry.stack_mask_index);
Calin Juravlec416d332015-04-23 16:01:43 +0100301 }
David Srbecky052f8ca2018-04-26 15:42:54 +0100302 stack_map_builder.Encode(&out_, &bit_offset);
303 invoke_info_builder.Encode(&out_, &bit_offset);
304 inline_info_builder.Encode(&out_, &bit_offset);
305
306 // Write register masks table.
307 ScopedBitTableBuilder<1> register_mask_builder((adapter));
308 for (size_t i = 0; i < num_register_masks; ++i) {
309 register_mask_builder.AddRow(register_masks_[i]);
310 }
311 register_mask_builder.Encode(&out_, &bit_offset);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000312
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800313 // Write stack masks table.
David Srbecky052f8ca2018-04-26 15:42:54 +0100314 EncodeVarintBits(&out_, &bit_offset, stack_mask_bits);
315 out_.resize(BitsToBytesRoundUp(bit_offset + stack_mask_bits * num_stack_masks));
316 BitMemoryRegion stack_mask_region(MemoryRegion(out_.data(), out_.size()),
317 bit_offset,
318 stack_mask_bits * num_stack_masks);
David Srbecky45aa5982016-03-18 02:15:09 +0000319 if (stack_mask_bits > 0) {
David Srbecky052f8ca2018-04-26 15:42:54 +0100320 for (size_t i = 0; i < num_stack_masks; ++i) {
321 size_t stack_mask_bytes = BitsToBytesRoundUp(stack_mask_bits);
David Srbecky68fefac2018-05-10 17:49:33 +0100322 BitMemoryRegion src(MemoryRegion(&stack_masks_[i * stack_mask_bytes], stack_mask_bytes));
David Srbecky052f8ca2018-04-26 15:42:54 +0100323 BitMemoryRegion dst = stack_mask_region.Subregion(i * stack_mask_bits, stack_mask_bits);
David Srbecky68fefac2018-05-10 17:49:33 +0100324 for (size_t bit_index = 0; bit_index < stack_mask_bits; bit_index += BitSizeOf<uint32_t>()) {
325 size_t num_bits = std::min<size_t>(stack_mask_bits - bit_index, BitSizeOf<uint32_t>());
326 dst.StoreBits(bit_index, src.LoadBits(bit_index, num_bits), num_bits);
David Srbecky45aa5982016-03-18 02:15:09 +0000327 }
328 }
329 }
330
David Srbecky052f8ca2018-04-26 15:42:54 +0100331 return UnsignedLeb128Size(out_.size()) + out_.size();
332}
333
334void StackMapStream::FillInCodeInfo(MemoryRegion region) {
335 DCHECK_EQ(0u, current_entry_.dex_pc) << "EndStackMapEntry not called after BeginStackMapEntry";
336 DCHECK_NE(0u, out_.size()) << "PrepareForFillIn not called before FillIn";
337 DCHECK_EQ(region.size(), UnsignedLeb128Size(out_.size()) + out_.size());
338
339 uint8_t* ptr = EncodeUnsignedLeb128(region.begin(), out_.size());
340 region.CopyFromVector(ptr - region.begin(), out_);
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800341
David Srbecky1bbdfd72016-02-24 16:39:26 +0000342 // Verify all written data in debug build.
343 if (kIsDebugBuild) {
344 CheckCodeInfo(region);
345 }
Calin Juravlec416d332015-04-23 16:01:43 +0100346}
347
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100348void StackMapStream::FillInDexRegisterMap(DexRegisterMap dex_register_map,
349 uint32_t num_dex_registers,
350 const BitVector& live_dex_registers_mask,
351 uint32_t start_index_in_dex_register_locations) const {
352 dex_register_map.SetLiveBitMask(num_dex_registers, live_dex_registers_mask);
353 // Set the dex register location mapping data.
Vladimir Marko225b6462015-09-28 12:17:40 +0100354 size_t number_of_live_dex_registers = live_dex_registers_mask.NumSetBits();
355 DCHECK_LE(number_of_live_dex_registers, dex_register_locations_.size());
356 DCHECK_LE(start_index_in_dex_register_locations,
357 dex_register_locations_.size() - number_of_live_dex_registers);
358 for (size_t index_in_dex_register_locations = 0;
359 index_in_dex_register_locations != number_of_live_dex_registers;
360 ++index_in_dex_register_locations) {
361 size_t location_catalog_entry_index = dex_register_locations_[
362 start_index_in_dex_register_locations + index_in_dex_register_locations];
363 dex_register_map.SetLocationCatalogEntryIndex(
364 index_in_dex_register_locations,
365 location_catalog_entry_index,
366 num_dex_registers,
367 location_catalog_entries_.size());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100368 }
369}
370
Mathieu Chartier32289082017-02-09 15:57:37 -0800371size_t StackMapStream::AddDexRegisterMapEntry(const DexRegisterMapEntry& entry) {
372 const size_t current_entry_index = dex_register_entries_.size();
373 auto entries_it = dex_map_hash_to_stack_map_indices_.find(entry.hash);
Calin Juravlec416d332015-04-23 16:01:43 +0100374 if (entries_it == dex_map_hash_to_stack_map_indices_.end()) {
375 // We don't have a perfect hash functions so we need a list to collect all stack maps
376 // which might have the same dex register map.
Vladimir Marko174b2e22017-10-12 13:34:49 +0100377 ScopedArenaVector<uint32_t> stack_map_indices(allocator_->Adapter(kArenaAllocStackMapStream));
Vladimir Marko225b6462015-09-28 12:17:40 +0100378 stack_map_indices.push_back(current_entry_index);
Mathieu Chartier32289082017-02-09 15:57:37 -0800379 dex_map_hash_to_stack_map_indices_.Put(entry.hash, std::move(stack_map_indices));
380 } else {
381 // We might have collisions, so we need to check whether or not we really have a match.
382 for (uint32_t test_entry_index : entries_it->second) {
383 if (DexRegisterMapEntryEquals(dex_register_entries_[test_entry_index], entry)) {
384 return test_entry_index;
385 }
Calin Juravlec416d332015-04-23 16:01:43 +0100386 }
Mathieu Chartier32289082017-02-09 15:57:37 -0800387 entries_it->second.push_back(current_entry_index);
Calin Juravlec416d332015-04-23 16:01:43 +0100388 }
Mathieu Chartier32289082017-02-09 15:57:37 -0800389 dex_register_entries_.push_back(entry);
390 return current_entry_index;
Calin Juravlec416d332015-04-23 16:01:43 +0100391}
392
Mathieu Chartier32289082017-02-09 15:57:37 -0800393bool StackMapStream::DexRegisterMapEntryEquals(const DexRegisterMapEntry& a,
394 const DexRegisterMapEntry& b) const {
395 if ((a.live_dex_registers_mask == nullptr) != (b.live_dex_registers_mask == nullptr)) {
Calin Juravlec416d332015-04-23 16:01:43 +0100396 return false;
397 }
398 if (a.num_dex_registers != b.num_dex_registers) {
399 return false;
400 }
Vladimir Marko225b6462015-09-28 12:17:40 +0100401 if (a.num_dex_registers != 0u) {
402 DCHECK(a.live_dex_registers_mask != nullptr);
403 DCHECK(b.live_dex_registers_mask != nullptr);
404 if (!a.live_dex_registers_mask->Equal(b.live_dex_registers_mask)) {
Calin Juravlec416d332015-04-23 16:01:43 +0100405 return false;
406 }
Vladimir Marko225b6462015-09-28 12:17:40 +0100407 size_t number_of_live_dex_registers = a.live_dex_registers_mask->NumSetBits();
408 DCHECK_LE(number_of_live_dex_registers, dex_register_locations_.size());
Mathieu Chartier32289082017-02-09 15:57:37 -0800409 DCHECK_LE(a.locations_start_index,
Vladimir Marko225b6462015-09-28 12:17:40 +0100410 dex_register_locations_.size() - number_of_live_dex_registers);
Mathieu Chartier32289082017-02-09 15:57:37 -0800411 DCHECK_LE(b.locations_start_index,
Vladimir Marko225b6462015-09-28 12:17:40 +0100412 dex_register_locations_.size() - number_of_live_dex_registers);
Mathieu Chartier32289082017-02-09 15:57:37 -0800413 auto a_begin = dex_register_locations_.begin() + a.locations_start_index;
414 auto b_begin = dex_register_locations_.begin() + b.locations_start_index;
Vladimir Marko225b6462015-09-28 12:17:40 +0100415 if (!std::equal(a_begin, a_begin + number_of_live_dex_registers, b_begin)) {
416 return false;
Calin Juravlec416d332015-04-23 16:01:43 +0100417 }
418 }
419 return true;
420}
421
David Srbecky1bbdfd72016-02-24 16:39:26 +0000422// Helper for CheckCodeInfo - check that register map has the expected content.
423void StackMapStream::CheckDexRegisterMap(const CodeInfo& code_info,
424 const DexRegisterMap& dex_register_map,
425 size_t num_dex_registers,
426 BitVector* live_dex_registers_mask,
427 size_t dex_register_locations_index) const {
David Srbecky1bbdfd72016-02-24 16:39:26 +0000428 for (size_t reg = 0; reg < num_dex_registers; reg++) {
429 // Find the location we tried to encode.
430 DexRegisterLocation expected = DexRegisterLocation::None();
431 if (live_dex_registers_mask->IsBitSet(reg)) {
432 size_t catalog_index = dex_register_locations_[dex_register_locations_index++];
433 expected = location_catalog_entries_[catalog_index];
434 }
435 // Compare to the seen location.
436 if (expected.GetKind() == DexRegisterLocation::Kind::kNone) {
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800437 DCHECK(!dex_register_map.IsValid() || !dex_register_map.IsDexRegisterLive(reg))
438 << dex_register_map.IsValid() << " " << dex_register_map.IsDexRegisterLive(reg);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000439 } else {
440 DCHECK(dex_register_map.IsDexRegisterLive(reg));
441 DexRegisterLocation seen = dex_register_map.GetDexRegisterLocation(
David Srbecky052f8ca2018-04-26 15:42:54 +0100442 reg, num_dex_registers, code_info);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000443 DCHECK_EQ(expected.GetKind(), seen.GetKind());
444 DCHECK_EQ(expected.GetValue(), seen.GetValue());
445 }
446 }
447 if (num_dex_registers == 0) {
448 DCHECK(!dex_register_map.IsValid());
449 }
450}
451
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800452size_t StackMapStream::PrepareRegisterMasks() {
453 register_masks_.resize(stack_maps_.size(), 0u);
Vladimir Marko174b2e22017-10-12 13:34:49 +0100454 ScopedArenaUnorderedMap<uint32_t, size_t> dedupe(allocator_->Adapter(kArenaAllocStackMapStream));
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800455 for (StackMapEntry& stack_map : stack_maps_) {
456 const size_t index = dedupe.size();
457 stack_map.register_mask_index = dedupe.emplace(stack_map.register_mask, index).first->second;
458 register_masks_[index] = stack_map.register_mask;
459 }
460 return dedupe.size();
461}
462
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700463void StackMapStream::PrepareMethodIndices() {
464 CHECK(method_indices_.empty());
465 method_indices_.resize(stack_maps_.size() + inline_infos_.size());
Vladimir Marko174b2e22017-10-12 13:34:49 +0100466 ScopedArenaUnorderedMap<uint32_t, size_t> dedupe(allocator_->Adapter(kArenaAllocStackMapStream));
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700467 for (StackMapEntry& stack_map : stack_maps_) {
468 const size_t index = dedupe.size();
469 const uint32_t method_index = stack_map.dex_method_index;
Andreas Gampee2abbc62017-09-15 11:59:26 -0700470 if (method_index != dex::kDexNoIndex) {
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700471 stack_map.dex_method_index_idx = dedupe.emplace(method_index, index).first->second;
472 method_indices_[index] = method_index;
473 }
474 }
475 for (InlineInfoEntry& inline_info : inline_infos_) {
476 const size_t index = dedupe.size();
477 const uint32_t method_index = inline_info.method_index;
Andreas Gampee2abbc62017-09-15 11:59:26 -0700478 CHECK_NE(method_index, dex::kDexNoIndex);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700479 inline_info.dex_method_index_idx = dedupe.emplace(method_index, index).first->second;
480 method_indices_[index] = method_index;
481 }
482 method_indices_.resize(dedupe.size());
483}
484
485
David Srbecky45aa5982016-03-18 02:15:09 +0000486size_t StackMapStream::PrepareStackMasks(size_t entry_size_in_bits) {
487 // Preallocate memory since we do not want it to move (the dedup map will point into it).
488 const size_t byte_entry_size = RoundUp(entry_size_in_bits, kBitsPerByte) / kBitsPerByte;
489 stack_masks_.resize(byte_entry_size * stack_maps_.size(), 0u);
490 // For deduplicating we store the stack masks as byte packed for simplicity. We can bit pack later
491 // when copying out from stack_masks_.
Vladimir Marko174b2e22017-10-12 13:34:49 +0100492 ScopedArenaUnorderedMap<MemoryRegion,
493 size_t,
494 FNVHash<MemoryRegion>,
495 MemoryRegion::ContentEquals> dedup(
496 stack_maps_.size(), allocator_->Adapter(kArenaAllocStackMapStream));
David Srbecky45aa5982016-03-18 02:15:09 +0000497 for (StackMapEntry& stack_map : stack_maps_) {
498 size_t index = dedup.size();
499 MemoryRegion stack_mask(stack_masks_.data() + index * byte_entry_size, byte_entry_size);
David Srbecky68fefac2018-05-10 17:49:33 +0100500 BitMemoryRegion stack_mask_bits(stack_mask);
David Srbecky45aa5982016-03-18 02:15:09 +0000501 for (size_t i = 0; i < entry_size_in_bits; i++) {
David Srbecky68fefac2018-05-10 17:49:33 +0100502 stack_mask_bits.StoreBit(i, stack_map.sp_mask != nullptr && stack_map.sp_mask->IsBitSet(i));
David Srbecky45aa5982016-03-18 02:15:09 +0000503 }
504 stack_map.stack_mask_index = dedup.emplace(stack_mask, index).first->second;
505 }
506 return dedup.size();
507}
508
David Srbecky1bbdfd72016-02-24 16:39:26 +0000509// Check that all StackMapStream inputs are correctly encoded by trying to read them back.
510void StackMapStream::CheckCodeInfo(MemoryRegion region) const {
511 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100512 DCHECK_EQ(code_info.GetNumberOfStackMaps(), stack_maps_.size());
513 DCHECK_EQ(code_info.GetNumberOfStackMaskBits(), static_cast<uint32_t>(stack_mask_max_ + 1));
514 DCHECK_EQ(code_info.GetNumberOfLocationCatalogEntries(), location_catalog_entries_.size());
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800515 size_t invoke_info_index = 0;
David Srbecky1bbdfd72016-02-24 16:39:26 +0000516 for (size_t s = 0; s < stack_maps_.size(); ++s) {
David Srbecky052f8ca2018-04-26 15:42:54 +0100517 const StackMap stack_map = code_info.GetStackMapAt(s);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000518 StackMapEntry entry = stack_maps_[s];
519
520 // Check main stack map fields.
David Srbecky052f8ca2018-04-26 15:42:54 +0100521 DCHECK_EQ(stack_map.GetNativePcOffset(instruction_set_),
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800522 entry.native_pc_code_offset.Uint32Value(instruction_set_));
David Srbecky052f8ca2018-04-26 15:42:54 +0100523 DCHECK_EQ(stack_map.GetDexPc(), entry.dex_pc);
524 DCHECK_EQ(stack_map.GetRegisterMaskIndex(), entry.register_mask_index);
525 DCHECK_EQ(code_info.GetRegisterMaskOf(stack_map), entry.register_mask);
526 const size_t num_stack_mask_bits = code_info.GetNumberOfStackMaskBits();
527 DCHECK_EQ(stack_map.GetStackMaskIndex(), entry.stack_mask_index);
528 BitMemoryRegion stack_mask = code_info.GetStackMaskOf(stack_map);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000529 if (entry.sp_mask != nullptr) {
David Srbecky45aa5982016-03-18 02:15:09 +0000530 DCHECK_GE(stack_mask.size_in_bits(), entry.sp_mask->GetNumberOfBits());
David Srbecky09ed0982016-02-12 21:58:43 +0000531 for (size_t b = 0; b < num_stack_mask_bits; b++) {
David Srbecky45aa5982016-03-18 02:15:09 +0000532 DCHECK_EQ(stack_mask.LoadBit(b), entry.sp_mask->IsBitSet(b));
David Srbecky1bbdfd72016-02-24 16:39:26 +0000533 }
534 } else {
David Srbecky09ed0982016-02-12 21:58:43 +0000535 for (size_t b = 0; b < num_stack_mask_bits; b++) {
David Srbecky45aa5982016-03-18 02:15:09 +0000536 DCHECK_EQ(stack_mask.LoadBit(b), 0u);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000537 }
538 }
Andreas Gampee2abbc62017-09-15 11:59:26 -0700539 if (entry.dex_method_index != dex::kDexNoIndex) {
David Srbecky052f8ca2018-04-26 15:42:54 +0100540 InvokeInfo invoke_info = code_info.GetInvokeInfo(invoke_info_index);
541 DCHECK_EQ(invoke_info.GetNativePcOffset(instruction_set_),
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800542 entry.native_pc_code_offset.Uint32Value(instruction_set_));
David Srbecky052f8ca2018-04-26 15:42:54 +0100543 DCHECK_EQ(invoke_info.GetInvokeType(), entry.invoke_type);
544 DCHECK_EQ(invoke_info.GetMethodIndexIdx(), entry.dex_method_index_idx);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800545 invoke_info_index++;
546 }
David Srbecky1bbdfd72016-02-24 16:39:26 +0000547 CheckDexRegisterMap(code_info,
548 code_info.GetDexRegisterMapOf(
David Srbecky052f8ca2018-04-26 15:42:54 +0100549 stack_map, entry.dex_register_entry.num_dex_registers),
Mathieu Chartier32289082017-02-09 15:57:37 -0800550 entry.dex_register_entry.num_dex_registers,
551 entry.dex_register_entry.live_dex_registers_mask,
552 entry.dex_register_entry.locations_start_index);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000553
554 // Check inline info.
David Srbecky052f8ca2018-04-26 15:42:54 +0100555 DCHECK_EQ(stack_map.HasInlineInfo(), (entry.inlining_depth != 0));
David Srbecky1bbdfd72016-02-24 16:39:26 +0000556 if (entry.inlining_depth != 0) {
David Srbecky052f8ca2018-04-26 15:42:54 +0100557 InlineInfo inline_info = code_info.GetInlineInfoOf(stack_map);
558 DCHECK_EQ(inline_info.GetDepth(), entry.inlining_depth);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000559 for (size_t d = 0; d < entry.inlining_depth; ++d) {
560 size_t inline_info_index = entry.inline_infos_start_index + d;
561 DCHECK_LT(inline_info_index, inline_infos_.size());
562 InlineInfoEntry inline_entry = inline_infos_[inline_info_index];
David Srbecky052f8ca2018-04-26 15:42:54 +0100563 DCHECK_EQ(inline_info.GetDexPcAtDepth(d), inline_entry.dex_pc);
564 if (inline_info.EncodesArtMethodAtDepth(d)) {
565 DCHECK_EQ(inline_info.GetArtMethodAtDepth(d),
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000566 inline_entry.method);
567 } else {
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700568 const size_t method_index_idx =
David Srbecky052f8ca2018-04-26 15:42:54 +0100569 inline_info.GetMethodIndexIdxAtDepth(d);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700570 DCHECK_EQ(method_index_idx, inline_entry.dex_method_index_idx);
571 DCHECK_EQ(method_indices_[method_index_idx], inline_entry.method_index);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000572 }
David Srbecky1bbdfd72016-02-24 16:39:26 +0000573
574 CheckDexRegisterMap(code_info,
575 code_info.GetDexRegisterMapAtDepth(
Mathieu Chartier32289082017-02-09 15:57:37 -0800576 d,
577 inline_info,
Mathieu Chartier32289082017-02-09 15:57:37 -0800578 inline_entry.dex_register_entry.num_dex_registers),
579 inline_entry.dex_register_entry.num_dex_registers,
580 inline_entry.dex_register_entry.live_dex_registers_mask,
581 inline_entry.dex_register_entry.locations_start_index);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000582 }
583 }
584 }
585}
586
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700587size_t StackMapStream::ComputeMethodInfoSize() const {
David Srbecky052f8ca2018-04-26 15:42:54 +0100588 DCHECK_NE(0u, out_.size()) << "PrepareForFillIn not called before " << __FUNCTION__;
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700589 return MethodInfo::ComputeSize(method_indices_.size());
590}
591
Calin Juravlec416d332015-04-23 16:01:43 +0100592} // namespace art