blob: 5d361953baa78156898fcc5a1f6d9f22420c5bf4 [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
David Srbecky049d6812018-05-18 14:46:49 +010019#include <memory>
20
Andreas Gampe90b936d2017-01-31 08:58:55 -080021#include "art_method-inl.h"
David Srbecky45aa5982016-03-18 02:15:09 +000022#include "base/stl_util.h"
David Sehr9e734c72018-01-04 17:56:19 -080023#include "dex/dex_file_types.h"
Nicolas Geoffrayfbdfa6d2017-02-03 10:43:13 +000024#include "optimizing/optimizing_compiler.h"
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000025#include "runtime.h"
26#include "scoped_thread_state_change-inl.h"
David Srbecky71ec1cc2018-05-18 15:57:25 +010027#include "stack_map.h"
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000028
Calin Juravlec416d332015-04-23 16:01:43 +010029namespace art {
30
David Srbecky049d6812018-05-18 14:46:49 +010031constexpr static bool kVerifyStackMaps = kIsDebugBuild;
32
David Srbeckyd02b23f2018-05-29 23:27:22 +010033uint32_t StackMapStream::GetStackMapNativePcOffset(size_t i) {
David Srbeckyf325e282018-06-13 15:02:32 +010034 return StackMap::UnpackNativePc(stack_maps_[i][StackMap::kPackedNativePc], instruction_set_);
David Srbeckyd02b23f2018-05-29 23:27:22 +010035}
36
37void StackMapStream::SetStackMapNativePcOffset(size_t i, uint32_t native_pc_offset) {
David Srbeckyf325e282018-06-13 15:02:32 +010038 stack_maps_[i][StackMap::kPackedNativePc] =
39 StackMap::PackNativePc(native_pc_offset, instruction_set_);
David Srbeckyd02b23f2018-05-29 23:27:22 +010040}
41
David Srbeckyf6ba5b32018-06-23 22:05:49 +010042void StackMapStream::BeginMethod(size_t frame_size_in_bytes,
43 size_t core_spill_mask,
44 size_t fp_spill_mask,
45 uint32_t num_dex_registers) {
46 DCHECK(!in_method_) << "Mismatched Begin/End calls";
47 in_method_ = true;
48 DCHECK_EQ(frame_size_in_bytes_, 0u) << "BeginMethod was already called";
49
50 frame_size_in_bytes_ = frame_size_in_bytes;
51 core_spill_mask_ = core_spill_mask;
52 fp_spill_mask_ = fp_spill_mask;
53 num_dex_registers_ = num_dex_registers;
54}
55
56void StackMapStream::EndMethod() {
57 DCHECK(in_method_) << "Mismatched Begin/End calls";
58 in_method_ = false;
59}
60
Calin Juravle4f46ac52015-04-23 18:47:21 +010061void StackMapStream::BeginStackMapEntry(uint32_t dex_pc,
62 uint32_t native_pc_offset,
63 uint32_t register_mask,
David Srbecky71ec1cc2018-05-18 15:57:25 +010064 BitVector* stack_mask,
David Srbecky50fac062018-06-13 18:55:35 +010065 StackMap::Kind kind) {
David Srbeckyf6ba5b32018-06-23 22:05:49 +010066 DCHECK(in_method_) << "Call BeginMethod first";
David Srbecky71ec1cc2018-05-18 15:57:25 +010067 DCHECK(!in_stack_map_) << "Mismatched Begin/End calls";
68 in_stack_map_ = true;
69
David Srbeckycf7833e2018-06-14 16:45:22 +010070 current_stack_map_ = BitTableBuilder<StackMap>::Entry();
David Srbeckyf325e282018-06-13 15:02:32 +010071 current_stack_map_[StackMap::kKind] = static_cast<uint32_t>(kind);
72 current_stack_map_[StackMap::kPackedNativePc] =
73 StackMap::PackNativePc(native_pc_offset, instruction_set_);
74 current_stack_map_[StackMap::kDexPc] = dex_pc;
David Srbecky0b4e5a32018-06-11 16:25:29 +010075 if (stack_maps_.size() > 0) {
76 // Check that non-catch stack maps are sorted by pc.
77 // Catch stack maps are at the end and may be unordered.
78 if (stack_maps_.back()[StackMap::kKind] == StackMap::Kind::Catch) {
79 DCHECK(current_stack_map_[StackMap::kKind] == StackMap::Kind::Catch);
80 } else if (current_stack_map_[StackMap::kKind] != StackMap::Kind::Catch) {
81 DCHECK_LE(stack_maps_.back()[StackMap::kPackedNativePc],
82 current_stack_map_[StackMap::kPackedNativePc]);
83 }
84 }
David Srbecky71ec1cc2018-05-18 15:57:25 +010085 if (register_mask != 0) {
86 uint32_t shift = LeastSignificantBit(register_mask);
David Srbeckycf7833e2018-06-14 16:45:22 +010087 BitTableBuilder<RegisterMask>::Entry entry;
David Srbeckyf325e282018-06-13 15:02:32 +010088 entry[RegisterMask::kValue] = register_mask >> shift;
89 entry[RegisterMask::kShift] = shift;
90 current_stack_map_[StackMap::kRegisterMaskIndex] = register_masks_.Dedup(&entry);
Vladimir Marko174b2e22017-10-12 13:34:49 +010091 }
David Srbecky71ec1cc2018-05-18 15:57:25 +010092 // The compiler assumes the bit vector will be read during PrepareForFillIn(),
93 // and it might modify the data before that. Therefore, just store the pointer.
94 // See ClearSpillSlotsFromLoopPhisInStackMap in code_generator.h.
95 lazy_stack_masks_.push_back(stack_mask);
David Srbecky6eb4d5e2018-06-03 12:00:20 +010096 current_inline_infos_.clear();
David Srbecky71ec1cc2018-05-18 15:57:25 +010097 current_dex_registers_.clear();
David Srbeckyf6ba5b32018-06-23 22:05:49 +010098 expected_num_dex_registers_ = num_dex_registers_;
David Srbecky71ec1cc2018-05-18 15:57:25 +010099
David Srbecky049d6812018-05-18 14:46:49 +0100100 if (kVerifyStackMaps) {
101 size_t stack_map_index = stack_maps_.size();
102 // Create lambda method, which will be executed at the very end to verify data.
103 // Parameters and local variables will be captured(stored) by the lambda "[=]".
104 dchecks_.emplace_back([=](const CodeInfo& code_info) {
David Srbecky50fac062018-06-13 18:55:35 +0100105 if (kind == StackMap::Kind::Default || kind == StackMap::Kind::OSR) {
106 StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset,
107 instruction_set_);
108 CHECK_EQ(stack_map.Row(), stack_map_index);
109 } else if (kind == StackMap::Kind::Catch) {
110 StackMap stack_map = code_info.GetCatchStackMapForDexPc(dex_pc);
111 CHECK_EQ(stack_map.Row(), stack_map_index);
112 }
David Srbecky049d6812018-05-18 14:46:49 +0100113 StackMap stack_map = code_info.GetStackMapAt(stack_map_index);
114 CHECK_EQ(stack_map.GetNativePcOffset(instruction_set_), native_pc_offset);
David Srbecky50fac062018-06-13 18:55:35 +0100115 CHECK_EQ(stack_map.GetKind(), static_cast<uint32_t>(kind));
David Srbecky049d6812018-05-18 14:46:49 +0100116 CHECK_EQ(stack_map.GetDexPc(), dex_pc);
117 CHECK_EQ(code_info.GetRegisterMaskOf(stack_map), register_mask);
118 BitMemoryRegion seen_stack_mask = code_info.GetStackMaskOf(stack_map);
119 CHECK_GE(seen_stack_mask.size_in_bits(), stack_mask ? stack_mask->GetNumberOfBits() : 0);
120 for (size_t b = 0; b < seen_stack_mask.size_in_bits(); b++) {
121 CHECK_EQ(seen_stack_mask.LoadBit(b), stack_mask != nullptr && stack_mask->IsBitSet(b));
122 }
David Srbecky049d6812018-05-18 14:46:49 +0100123 });
David Srbecky71ec1cc2018-05-18 15:57:25 +0100124 }
Calin Juravlec416d332015-04-23 16:01:43 +0100125}
126
Calin Juravle4f46ac52015-04-23 18:47:21 +0100127void StackMapStream::EndStackMapEntry() {
David Srbecky71ec1cc2018-05-18 15:57:25 +0100128 DCHECK(in_stack_map_) << "Mismatched Begin/End calls";
129 in_stack_map_ = false;
David Srbecky71ec1cc2018-05-18 15:57:25 +0100130
David Srbecky6eb4d5e2018-06-03 12:00:20 +0100131 // Generate index into the InlineInfo table.
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100132 size_t inlining_depth = current_inline_infos_.size();
David Srbecky6eb4d5e2018-06-03 12:00:20 +0100133 if (!current_inline_infos_.empty()) {
David Srbeckyf325e282018-06-13 15:02:32 +0100134 current_inline_infos_.back()[InlineInfo::kIsLast] = InlineInfo::kLast;
135 current_stack_map_[StackMap::kInlineInfoIndex] =
David Srbecky6eb4d5e2018-06-03 12:00:20 +0100136 inline_infos_.Dedup(current_inline_infos_.data(), current_inline_infos_.size());
David Srbecky71ec1cc2018-05-18 15:57:25 +0100137 }
138
David Srbecky6de88332018-06-03 12:00:11 +0100139 // Generate delta-compressed dex register map.
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100140 size_t num_dex_registers = current_dex_registers_.size();
141 if (!current_dex_registers_.empty()) {
142 DCHECK_EQ(expected_num_dex_registers_, current_dex_registers_.size());
143 CreateDexRegisterMap();
144 }
David Srbecky6de88332018-06-03 12:00:11 +0100145
David Srbecky71ec1cc2018-05-18 15:57:25 +0100146 stack_maps_.Add(current_stack_map_);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100147
148 if (kVerifyStackMaps) {
149 size_t stack_map_index = stack_maps_.size() - 1;
150 dchecks_.emplace_back([=](const CodeInfo& code_info) {
151 StackMap stack_map = code_info.GetStackMapAt(stack_map_index);
152 CHECK_EQ(stack_map.HasDexRegisterMap(), (num_dex_registers != 0));
153 CHECK_EQ(stack_map.HasInlineInfo(), (inlining_depth != 0));
154 CHECK_EQ(code_info.GetInlineDepthOf(stack_map), inlining_depth);
155 });
156 }
Calin Juravle4f46ac52015-04-23 18:47:21 +0100157}
158
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800159void StackMapStream::AddInvoke(InvokeType invoke_type, uint32_t dex_method_index) {
David Srbeckyf325e282018-06-13 15:02:32 +0100160 uint32_t packed_native_pc = current_stack_map_[StackMap::kPackedNativePc];
David Srbecky049d6812018-05-18 14:46:49 +0100161 size_t invoke_info_index = invoke_infos_.size();
David Srbeckycf7833e2018-06-14 16:45:22 +0100162 BitTableBuilder<InvokeInfo>::Entry entry;
David Srbeckyf325e282018-06-13 15:02:32 +0100163 entry[InvokeInfo::kPackedNativePc] = packed_native_pc;
164 entry[InvokeInfo::kInvokeType] = invoke_type;
165 entry[InvokeInfo::kMethodInfoIndex] = method_infos_.Dedup({dex_method_index});
166 invoke_infos_.Add(entry);
David Srbecky049d6812018-05-18 14:46:49 +0100167
168 if (kVerifyStackMaps) {
169 dchecks_.emplace_back([=](const CodeInfo& code_info) {
170 InvokeInfo invoke_info = code_info.GetInvokeInfo(invoke_info_index);
171 CHECK_EQ(invoke_info.GetNativePcOffset(instruction_set_),
172 StackMap::UnpackNativePc(packed_native_pc, instruction_set_));
173 CHECK_EQ(invoke_info.GetInvokeType(), invoke_type);
David Srbeckyf325e282018-06-13 15:02:32 +0100174 CHECK_EQ(method_infos_[invoke_info.GetMethodInfoIndex()][0], dex_method_index);
David Srbecky049d6812018-05-18 14:46:49 +0100175 });
176 }
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800177}
178
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000179void StackMapStream::BeginInlineInfoEntry(ArtMethod* method,
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100180 uint32_t dex_pc,
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000181 uint32_t num_dex_registers,
182 const DexFile* outer_dex_file) {
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100183 DCHECK(in_stack_map_) << "Call BeginStackMapEntry first";
David Srbecky71ec1cc2018-05-18 15:57:25 +0100184 DCHECK(!in_inline_info_) << "Mismatched Begin/End calls";
185 in_inline_info_ = true;
186 DCHECK_EQ(expected_num_dex_registers_, current_dex_registers_.size());
187
David Srbecky6de88332018-06-03 12:00:11 +0100188 expected_num_dex_registers_ += num_dex_registers;
189
David Srbeckycf7833e2018-06-14 16:45:22 +0100190 BitTableBuilder<InlineInfo>::Entry entry;
David Srbeckyf325e282018-06-13 15:02:32 +0100191 entry[InlineInfo::kIsLast] = InlineInfo::kMore;
192 entry[InlineInfo::kDexPc] = dex_pc;
193 entry[InlineInfo::kNumberOfDexRegisters] = static_cast<uint32_t>(expected_num_dex_registers_);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000194 if (EncodeArtMethodInInlineInfo(method)) {
David Srbeckyf325e282018-06-13 15:02:32 +0100195 entry[InlineInfo::kArtMethodHi] = High32Bits(reinterpret_cast<uintptr_t>(method));
196 entry[InlineInfo::kArtMethodLo] = Low32Bits(reinterpret_cast<uintptr_t>(method));
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000197 } else {
198 if (dex_pc != static_cast<uint32_t>(-1) && kIsDebugBuild) {
199 ScopedObjectAccess soa(Thread::Current());
200 DCHECK(IsSameDexFile(*outer_dex_file, *method->GetDexFile()));
201 }
David Srbecky71ec1cc2018-05-18 15:57:25 +0100202 uint32_t dex_method_index = method->GetDexMethodIndexUnchecked();
David Srbeckyf325e282018-06-13 15:02:32 +0100203 entry[InlineInfo::kMethodInfoIndex] = method_infos_.Dedup({dex_method_index});
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000204 }
David Srbecky6eb4d5e2018-06-03 12:00:20 +0100205 current_inline_infos_.push_back(entry);
David Srbecky71ec1cc2018-05-18 15:57:25 +0100206
David Srbecky049d6812018-05-18 14:46:49 +0100207 if (kVerifyStackMaps) {
208 size_t stack_map_index = stack_maps_.size();
David Srbecky6eb4d5e2018-06-03 12:00:20 +0100209 size_t depth = current_inline_infos_.size() - 1;
David Srbecky049d6812018-05-18 14:46:49 +0100210 dchecks_.emplace_back([=](const CodeInfo& code_info) {
211 StackMap stack_map = code_info.GetStackMapAt(stack_map_index);
David Srbecky6e69e522018-06-03 12:00:14 +0100212 InlineInfo inline_info = code_info.GetInlineInfoAtDepth(stack_map, depth);
213 CHECK_EQ(inline_info.GetDexPc(), dex_pc);
David Srbecky049d6812018-05-18 14:46:49 +0100214 bool encode_art_method = EncodeArtMethodInInlineInfo(method);
David Srbecky6e69e522018-06-03 12:00:14 +0100215 CHECK_EQ(inline_info.EncodesArtMethod(), encode_art_method);
David Srbecky049d6812018-05-18 14:46:49 +0100216 if (encode_art_method) {
David Srbecky6e69e522018-06-03 12:00:14 +0100217 CHECK_EQ(inline_info.GetArtMethod(), method);
David Srbecky049d6812018-05-18 14:46:49 +0100218 } else {
David Srbeckyf325e282018-06-13 15:02:32 +0100219 CHECK_EQ(method_infos_[inline_info.GetMethodInfoIndex()][0],
David Srbecky049d6812018-05-18 14:46:49 +0100220 method->GetDexMethodIndexUnchecked());
221 }
David Srbecky049d6812018-05-18 14:46:49 +0100222 });
David Srbecky71ec1cc2018-05-18 15:57:25 +0100223 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100224}
225
226void StackMapStream::EndInlineInfoEntry() {
David Srbecky71ec1cc2018-05-18 15:57:25 +0100227 DCHECK(in_inline_info_) << "Mismatched Begin/End calls";
228 in_inline_info_ = false;
229 DCHECK_EQ(expected_num_dex_registers_, current_dex_registers_.size());
Calin Juravlec416d332015-04-23 16:01:43 +0100230}
231
David Srbecky6de88332018-06-03 12:00:11 +0100232// Create delta-compressed dex register map based on the current list of DexRegisterLocations.
233// All dex registers for a stack map are concatenated - inlined registers are just appended.
David Srbecky71ec1cc2018-05-18 15:57:25 +0100234void StackMapStream::CreateDexRegisterMap() {
David Srbecky6de88332018-06-03 12:00:11 +0100235 // These are fields rather than local variables so that we can reuse the reserved memory.
David Srbecky71ec1cc2018-05-18 15:57:25 +0100236 temp_dex_register_mask_.ClearAllBits();
237 temp_dex_register_map_.clear();
David Srbecky6de88332018-06-03 12:00:11 +0100238
239 // Ensure that the arrays that hold previous state are big enough to be safely indexed below.
240 if (previous_dex_registers_.size() < current_dex_registers_.size()) {
241 previous_dex_registers_.resize(current_dex_registers_.size(), DexRegisterLocation::None());
242 dex_register_timestamp_.resize(current_dex_registers_.size(), 0u);
243 }
244
245 // Set bit in the mask for each register that has been changed since the previous stack map.
246 // Modified registers are stored in the catalogue and the catalogue index added to the list.
David Srbecky71ec1cc2018-05-18 15:57:25 +0100247 for (size_t i = 0; i < current_dex_registers_.size(); i++) {
248 DexRegisterLocation reg = current_dex_registers_[i];
David Srbecky6de88332018-06-03 12:00:11 +0100249 // Distance is difference between this index and the index of last modification.
250 uint32_t distance = stack_maps_.size() - dex_register_timestamp_[i];
251 if (previous_dex_registers_[i] != reg || distance > kMaxDexRegisterMapSearchDistance) {
David Srbeckycf7833e2018-06-14 16:45:22 +0100252 BitTableBuilder<DexRegisterInfo>::Entry entry;
David Srbeckyf325e282018-06-13 15:02:32 +0100253 entry[DexRegisterInfo::kKind] = static_cast<uint32_t>(reg.GetKind());
254 entry[DexRegisterInfo::kPackedValue] =
255 DexRegisterInfo::PackValue(reg.GetKind(), reg.GetValue());
David Srbecky6de88332018-06-03 12:00:11 +0100256 uint32_t index = reg.IsLive() ? dex_register_catalog_.Dedup(&entry) : kNoValue;
David Srbecky71ec1cc2018-05-18 15:57:25 +0100257 temp_dex_register_mask_.SetBit(i);
David Srbeckyf325e282018-06-13 15:02:32 +0100258 temp_dex_register_map_.push_back({index});
David Srbecky6de88332018-06-03 12:00:11 +0100259 previous_dex_registers_[i] = reg;
260 dex_register_timestamp_[i] = stack_maps_.size();
David Srbecky71ec1cc2018-05-18 15:57:25 +0100261 }
Calin Juravlec416d332015-04-23 16:01:43 +0100262 }
Calin Juravlec416d332015-04-23 16:01:43 +0100263
David Srbecky6de88332018-06-03 12:00:11 +0100264 // Set the mask and map for the current StackMap (which includes inlined registers).
David Srbecky71ec1cc2018-05-18 15:57:25 +0100265 if (temp_dex_register_mask_.GetNumberOfBits() != 0) {
David Srbeckyf325e282018-06-13 15:02:32 +0100266 current_stack_map_[StackMap::kDexRegisterMaskIndex] =
David Srbecky6de88332018-06-03 12:00:11 +0100267 dex_register_masks_.Dedup(temp_dex_register_mask_.GetRawStorage(),
268 temp_dex_register_mask_.GetNumberOfBits());
Vladimir Marko225b6462015-09-28 12:17:40 +0100269 }
David Srbecky6de88332018-06-03 12:00:11 +0100270 if (!current_dex_registers_.empty()) {
David Srbeckyf325e282018-06-13 15:02:32 +0100271 current_stack_map_[StackMap::kDexRegisterMapIndex] =
David Srbecky6de88332018-06-03 12:00:11 +0100272 dex_register_maps_.Dedup(temp_dex_register_map_.data(),
273 temp_dex_register_map_.size());
David Srbecky052f8ca2018-04-26 15:42:54 +0100274 }
David Srbecky049d6812018-05-18 14:46:49 +0100275
276 if (kVerifyStackMaps) {
277 size_t stack_map_index = stack_maps_.size();
David Srbecky6de88332018-06-03 12:00:11 +0100278 uint32_t depth = current_inline_infos_.size();
David Srbecky049d6812018-05-18 14:46:49 +0100279 // We need to make copy of the current registers for later (when the check is run).
David Srbecky6de88332018-06-03 12:00:11 +0100280 auto expected_dex_registers = std::make_shared<dchecked_vector<DexRegisterLocation>>(
David Srbecky049d6812018-05-18 14:46:49 +0100281 current_dex_registers_.begin(), current_dex_registers_.end());
282 dchecks_.emplace_back([=](const CodeInfo& code_info) {
283 StackMap stack_map = code_info.GetStackMapAt(stack_map_index);
David Srbecky6de88332018-06-03 12:00:11 +0100284 uint32_t expected_reg = 0;
285 for (DexRegisterLocation reg : code_info.GetDexRegisterMapOf(stack_map)) {
286 CHECK_EQ((*expected_dex_registers)[expected_reg++], reg);
David Srbecky049d6812018-05-18 14:46:49 +0100287 }
David Srbecky6de88332018-06-03 12:00:11 +0100288 for (uint32_t d = 0; d < depth; d++) {
289 for (DexRegisterLocation reg : code_info.GetDexRegisterMapAtDepth(d, stack_map)) {
290 CHECK_EQ((*expected_dex_registers)[expected_reg++], reg);
291 }
292 }
293 CHECK_EQ(expected_reg, expected_dex_registers->size());
David Srbecky049d6812018-05-18 14:46:49 +0100294 });
295 }
Calin Juravlec416d332015-04-23 16:01:43 +0100296}
297
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700298void StackMapStream::FillInMethodInfo(MemoryRegion region) {
299 {
David Srbecky71ec1cc2018-05-18 15:57:25 +0100300 MethodInfo info(region.begin(), method_infos_.size());
301 for (size_t i = 0; i < method_infos_.size(); ++i) {
David Srbeckyf325e282018-06-13 15:02:32 +0100302 info.SetMethodIndex(i, method_infos_[i][0]);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700303 }
304 }
David Srbecky049d6812018-05-18 14:46:49 +0100305 if (kVerifyStackMaps) {
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700306 // Check the data matches.
307 MethodInfo info(region.begin());
308 const size_t count = info.NumMethodIndices();
David Srbecky71ec1cc2018-05-18 15:57:25 +0100309 DCHECK_EQ(count, method_infos_.size());
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700310 for (size_t i = 0; i < count; ++i) {
David Srbeckyf325e282018-06-13 15:02:32 +0100311 DCHECK_EQ(info.GetMethodIndex(i), method_infos_[i][0]);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700312 }
313 }
314}
315
David Srbecky052f8ca2018-04-26 15:42:54 +0100316size_t StackMapStream::PrepareForFillIn() {
David Srbecky71ec1cc2018-05-18 15:57:25 +0100317 DCHECK_EQ(out_.size(), 0u);
318
319 // Read the stack masks now. The compiler might have updated them.
320 for (size_t i = 0; i < lazy_stack_masks_.size(); i++) {
321 BitVector* stack_mask = lazy_stack_masks_[i];
322 if (stack_mask != nullptr && stack_mask->GetNumberOfBits() != 0) {
David Srbeckyf325e282018-06-13 15:02:32 +0100323 stack_maps_[i][StackMap::kStackMaskIndex] =
David Srbecky71ec1cc2018-05-18 15:57:25 +0100324 stack_masks_.Dedup(stack_mask->GetRawStorage(), stack_mask->GetNumberOfBits());
325 }
326 }
327
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100328 EncodeUnsignedLeb128(&out_, frame_size_in_bytes_);
329 EncodeUnsignedLeb128(&out_, core_spill_mask_);
330 EncodeUnsignedLeb128(&out_, fp_spill_mask_);
331 EncodeUnsignedLeb128(&out_, num_dex_registers_);
332 BitMemoryWriter<ScopedArenaVector<uint8_t>> out(&out_, out_.size() * kBitsPerByte);
David Srbecky078d7ba2018-06-21 15:36:48 +0100333 stack_maps_.Encode(out);
334 register_masks_.Encode(out);
335 stack_masks_.Encode(out);
336 invoke_infos_.Encode(out);
337 inline_infos_.Encode(out);
338 dex_register_masks_.Encode(out);
339 dex_register_maps_.Encode(out);
340 dex_register_catalog_.Encode(out);
David Srbecky45aa5982016-03-18 02:15:09 +0000341
David Srbeckya38e6cf2018-06-26 18:13:49 +0100342 return out_.size();
David Srbecky052f8ca2018-04-26 15:42:54 +0100343}
344
345void StackMapStream::FillInCodeInfo(MemoryRegion region) {
David Srbecky71ec1cc2018-05-18 15:57:25 +0100346 DCHECK(in_stack_map_ == false) << "Mismatched Begin/End calls";
347 DCHECK(in_inline_info_ == false) << "Mismatched Begin/End calls";
David Srbecky052f8ca2018-04-26 15:42:54 +0100348 DCHECK_NE(0u, out_.size()) << "PrepareForFillIn not called before FillIn";
David Srbeckya38e6cf2018-06-26 18:13:49 +0100349 DCHECK_EQ(region.size(), out_.size());
David Srbecky052f8ca2018-04-26 15:42:54 +0100350
David Srbeckya38e6cf2018-06-26 18:13:49 +0100351 region.CopyFromVector(0, out_);
352
353 // Verify that we can load the CodeInfo and check some essentials.
354 CodeInfo code_info(region);
355 CHECK_EQ(code_info.Size(), out_.size());
356 CHECK_EQ(code_info.GetNumberOfStackMaps(), stack_maps_.size());
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800357
David Srbecky049d6812018-05-18 14:46:49 +0100358 // Verify all written data (usually only in debug builds).
359 if (kVerifyStackMaps) {
David Srbecky049d6812018-05-18 14:46:49 +0100360 for (const auto& dcheck : dchecks_) {
361 dcheck(code_info);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000362 }
David Srbecky71ec1cc2018-05-18 15:57:25 +0100363 }
David Srbecky1bbdfd72016-02-24 16:39:26 +0000364}
365
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700366size_t StackMapStream::ComputeMethodInfoSize() const {
David Srbecky052f8ca2018-04-26 15:42:54 +0100367 DCHECK_NE(0u, out_.size()) << "PrepareForFillIn not called before " << __FUNCTION__;
David Srbecky71ec1cc2018-05-18 15:57:25 +0100368 return MethodInfo::ComputeSize(method_infos_.size());
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700369}
370
Calin Juravlec416d332015-04-23 16:01:43 +0100371} // namespace art