Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 1 | /* |
| 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 Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 16 | |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 17 | #include "stack_map_stream.h" |
| 18 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 19 | #include <memory> |
| 20 | |
Andreas Gampe | 90b936d | 2017-01-31 08:58:55 -0800 | [diff] [blame] | 21 | #include "art_method-inl.h" |
David Srbecky | 45aa598 | 2016-03-18 02:15:09 +0000 | [diff] [blame] | 22 | #include "base/stl_util.h" |
David Sehr | 9e734c7 | 2018-01-04 17:56:19 -0800 | [diff] [blame] | 23 | #include "dex/dex_file_types.h" |
Nicolas Geoffray | fbdfa6d | 2017-02-03 10:43:13 +0000 | [diff] [blame] | 24 | #include "optimizing/optimizing_compiler.h" |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 25 | #include "runtime.h" |
| 26 | #include "scoped_thread_state_change-inl.h" |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 27 | #include "stack_map.h" |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 28 | |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 29 | namespace art { |
| 30 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 31 | constexpr static bool kVerifyStackMaps = kIsDebugBuild; |
| 32 | |
David Srbecky | d02b23f | 2018-05-29 23:27:22 +0100 | [diff] [blame] | 33 | uint32_t StackMapStream::GetStackMapNativePcOffset(size_t i) { |
| 34 | return StackMap::UnpackNativePc(stack_maps_[i].packed_native_pc, instruction_set_); |
| 35 | } |
| 36 | |
| 37 | void StackMapStream::SetStackMapNativePcOffset(size_t i, uint32_t native_pc_offset) { |
| 38 | stack_maps_[i].packed_native_pc = StackMap::PackNativePc(native_pc_offset, instruction_set_); |
| 39 | } |
| 40 | |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 41 | void StackMapStream::BeginStackMapEntry(uint32_t dex_pc, |
| 42 | uint32_t native_pc_offset, |
| 43 | uint32_t register_mask, |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 44 | BitVector* stack_mask, |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 45 | uint32_t num_dex_registers, |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 46 | uint8_t inlining_depth) { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 47 | DCHECK(!in_stack_map_) << "Mismatched Begin/End calls"; |
| 48 | in_stack_map_ = true; |
| 49 | |
| 50 | current_stack_map_ = StackMapEntry { |
| 51 | .packed_native_pc = StackMap::PackNativePc(native_pc_offset, instruction_set_), |
| 52 | .dex_pc = dex_pc, |
| 53 | .register_mask_index = kNoValue, |
| 54 | .stack_mask_index = kNoValue, |
| 55 | .inline_info_index = kNoValue, |
| 56 | .dex_register_mask_index = kNoValue, |
| 57 | .dex_register_map_index = kNoValue, |
| 58 | }; |
| 59 | if (register_mask != 0) { |
| 60 | uint32_t shift = LeastSignificantBit(register_mask); |
| 61 | RegisterMaskEntry entry = { register_mask >> shift, shift }; |
| 62 | current_stack_map_.register_mask_index = register_masks_.Dedup(&entry); |
Vladimir Marko | 174b2e2 | 2017-10-12 13:34:49 +0100 | [diff] [blame] | 63 | } |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 64 | // The compiler assumes the bit vector will be read during PrepareForFillIn(), |
| 65 | // and it might modify the data before that. Therefore, just store the pointer. |
| 66 | // See ClearSpillSlotsFromLoopPhisInStackMap in code_generator.h. |
| 67 | lazy_stack_masks_.push_back(stack_mask); |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 68 | current_inline_infos_.clear(); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 69 | current_dex_registers_.clear(); |
| 70 | expected_num_dex_registers_ = num_dex_registers; |
| 71 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 72 | if (kVerifyStackMaps) { |
| 73 | size_t stack_map_index = stack_maps_.size(); |
| 74 | // Create lambda method, which will be executed at the very end to verify data. |
| 75 | // Parameters and local variables will be captured(stored) by the lambda "[=]". |
| 76 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
| 77 | StackMap stack_map = code_info.GetStackMapAt(stack_map_index); |
| 78 | CHECK_EQ(stack_map.GetNativePcOffset(instruction_set_), native_pc_offset); |
| 79 | CHECK_EQ(stack_map.GetDexPc(), dex_pc); |
| 80 | CHECK_EQ(code_info.GetRegisterMaskOf(stack_map), register_mask); |
| 81 | BitMemoryRegion seen_stack_mask = code_info.GetStackMaskOf(stack_map); |
| 82 | CHECK_GE(seen_stack_mask.size_in_bits(), stack_mask ? stack_mask->GetNumberOfBits() : 0); |
| 83 | for (size_t b = 0; b < seen_stack_mask.size_in_bits(); b++) { |
| 84 | CHECK_EQ(seen_stack_mask.LoadBit(b), stack_mask != nullptr && stack_mask->IsBitSet(b)); |
| 85 | } |
| 86 | CHECK_EQ(stack_map.HasInlineInfo(), (inlining_depth != 0)); |
David Srbecky | 6e69e52 | 2018-06-03 12:00:14 +0100 | [diff] [blame] | 87 | CHECK_EQ(code_info.GetInlineDepthOf(stack_map), inlining_depth); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 88 | CHECK_EQ(stack_map.HasDexRegisterMap(), (num_dex_registers != 0)); |
| 89 | }); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 90 | } |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 91 | } |
| 92 | |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 93 | void StackMapStream::EndStackMapEntry() { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 94 | DCHECK(in_stack_map_) << "Mismatched Begin/End calls"; |
| 95 | in_stack_map_ = false; |
| 96 | DCHECK_EQ(expected_num_dex_registers_, current_dex_registers_.size()); |
| 97 | |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 98 | // Generate index into the InlineInfo table. |
| 99 | if (!current_inline_infos_.empty()) { |
| 100 | current_inline_infos_.back().is_last = InlineInfo::kLast; |
| 101 | current_stack_map_.inline_info_index = |
| 102 | inline_infos_.Dedup(current_inline_infos_.data(), current_inline_infos_.size()); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 103 | } |
| 104 | |
| 105 | stack_maps_.Add(current_stack_map_); |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 106 | } |
| 107 | |
Nicolas Geoffray | b1d0f3f | 2015-05-14 12:41:51 +0100 | [diff] [blame] | 108 | void StackMapStream::AddDexRegisterEntry(DexRegisterLocation::Kind kind, int32_t value) { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 109 | current_dex_registers_.push_back(DexRegisterLocation(kind, value)); |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 110 | |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 111 | // We have collected all the dex registers for StackMap/InlineInfo - create the map. |
| 112 | if (current_dex_registers_.size() == expected_num_dex_registers_) { |
| 113 | CreateDexRegisterMap(); |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 114 | } |
| 115 | } |
| 116 | |
Mathieu Chartier | d776ff0 | 2017-01-17 09:32:18 -0800 | [diff] [blame] | 117 | void StackMapStream::AddInvoke(InvokeType invoke_type, uint32_t dex_method_index) { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 118 | uint32_t packed_native_pc = current_stack_map_.packed_native_pc; |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 119 | size_t invoke_info_index = invoke_infos_.size(); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 120 | invoke_infos_.Add(InvokeInfoEntry { |
| 121 | .packed_native_pc = packed_native_pc, |
| 122 | .invoke_type = invoke_type, |
| 123 | .method_info_index = method_infos_.Dedup(&dex_method_index), |
| 124 | }); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 125 | |
| 126 | if (kVerifyStackMaps) { |
| 127 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
| 128 | InvokeInfo invoke_info = code_info.GetInvokeInfo(invoke_info_index); |
| 129 | CHECK_EQ(invoke_info.GetNativePcOffset(instruction_set_), |
| 130 | StackMap::UnpackNativePc(packed_native_pc, instruction_set_)); |
| 131 | CHECK_EQ(invoke_info.GetInvokeType(), invoke_type); |
David Srbecky | d97e082 | 2018-06-03 12:00:24 +0100 | [diff] [blame^] | 132 | CHECK_EQ(method_infos_[invoke_info.GetMethodInfoIndex()], dex_method_index); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 133 | }); |
| 134 | } |
Mathieu Chartier | d776ff0 | 2017-01-17 09:32:18 -0800 | [diff] [blame] | 135 | } |
| 136 | |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 137 | void StackMapStream::BeginInlineInfoEntry(ArtMethod* method, |
Nicolas Geoffray | b1d0f3f | 2015-05-14 12:41:51 +0100 | [diff] [blame] | 138 | uint32_t dex_pc, |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 139 | uint32_t num_dex_registers, |
| 140 | const DexFile* outer_dex_file) { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 141 | DCHECK(!in_inline_info_) << "Mismatched Begin/End calls"; |
| 142 | in_inline_info_ = true; |
| 143 | DCHECK_EQ(expected_num_dex_registers_, current_dex_registers_.size()); |
| 144 | |
| 145 | InlineInfoEntry entry = { |
| 146 | .is_last = InlineInfo::kMore, |
| 147 | .dex_pc = dex_pc, |
| 148 | .method_info_index = kNoValue, |
| 149 | .art_method_hi = kNoValue, |
| 150 | .art_method_lo = kNoValue, |
| 151 | .dex_register_mask_index = kNoValue, |
| 152 | .dex_register_map_index = kNoValue, |
| 153 | }; |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 154 | if (EncodeArtMethodInInlineInfo(method)) { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 155 | entry.art_method_hi = High32Bits(reinterpret_cast<uintptr_t>(method)); |
| 156 | entry.art_method_lo = Low32Bits(reinterpret_cast<uintptr_t>(method)); |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 157 | } else { |
| 158 | if (dex_pc != static_cast<uint32_t>(-1) && kIsDebugBuild) { |
| 159 | ScopedObjectAccess soa(Thread::Current()); |
| 160 | DCHECK(IsSameDexFile(*outer_dex_file, *method->GetDexFile())); |
| 161 | } |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 162 | uint32_t dex_method_index = method->GetDexMethodIndexUnchecked(); |
| 163 | entry.method_info_index = method_infos_.Dedup(&dex_method_index); |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 164 | } |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 165 | current_inline_infos_.push_back(entry); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 166 | |
| 167 | current_dex_registers_.clear(); |
| 168 | expected_num_dex_registers_ = num_dex_registers; |
| 169 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 170 | if (kVerifyStackMaps) { |
| 171 | size_t stack_map_index = stack_maps_.size(); |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 172 | size_t depth = current_inline_infos_.size() - 1; |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 173 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
| 174 | StackMap stack_map = code_info.GetStackMapAt(stack_map_index); |
David Srbecky | 6e69e52 | 2018-06-03 12:00:14 +0100 | [diff] [blame] | 175 | InlineInfo inline_info = code_info.GetInlineInfoAtDepth(stack_map, depth); |
| 176 | CHECK_EQ(inline_info.GetDexPc(), dex_pc); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 177 | bool encode_art_method = EncodeArtMethodInInlineInfo(method); |
David Srbecky | 6e69e52 | 2018-06-03 12:00:14 +0100 | [diff] [blame] | 178 | CHECK_EQ(inline_info.EncodesArtMethod(), encode_art_method); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 179 | if (encode_art_method) { |
David Srbecky | 6e69e52 | 2018-06-03 12:00:14 +0100 | [diff] [blame] | 180 | CHECK_EQ(inline_info.GetArtMethod(), method); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 181 | } else { |
David Srbecky | d97e082 | 2018-06-03 12:00:24 +0100 | [diff] [blame^] | 182 | CHECK_EQ(method_infos_[inline_info.GetMethodInfoIndex()], |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 183 | method->GetDexMethodIndexUnchecked()); |
| 184 | } |
David Srbecky | 6e69e52 | 2018-06-03 12:00:14 +0100 | [diff] [blame] | 185 | CHECK_EQ(inline_info.HasDexRegisterMap(), (num_dex_registers != 0)); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 186 | }); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 187 | } |
Nicolas Geoffray | b1d0f3f | 2015-05-14 12:41:51 +0100 | [diff] [blame] | 188 | } |
| 189 | |
| 190 | void StackMapStream::EndInlineInfoEntry() { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 191 | DCHECK(in_inline_info_) << "Mismatched Begin/End calls"; |
| 192 | in_inline_info_ = false; |
| 193 | DCHECK_EQ(expected_num_dex_registers_, current_dex_registers_.size()); |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 194 | } |
| 195 | |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 196 | // Create dex register map (bitmap + indices + catalogue entries) |
| 197 | // based on the currently accumulated list of DexRegisterLocations. |
| 198 | void StackMapStream::CreateDexRegisterMap() { |
| 199 | // Create mask and map based on current registers. |
| 200 | temp_dex_register_mask_.ClearAllBits(); |
| 201 | temp_dex_register_map_.clear(); |
| 202 | for (size_t i = 0; i < current_dex_registers_.size(); i++) { |
| 203 | DexRegisterLocation reg = current_dex_registers_[i]; |
| 204 | if (reg.IsLive()) { |
| 205 | DexRegisterEntry entry = DexRegisterEntry { |
| 206 | .kind = static_cast<uint32_t>(reg.GetKind()), |
| 207 | .packed_value = DexRegisterInfo::PackValue(reg.GetKind(), reg.GetValue()), |
| 208 | }; |
| 209 | temp_dex_register_mask_.SetBit(i); |
| 210 | temp_dex_register_map_.push_back(dex_register_catalog_.Dedup(&entry)); |
| 211 | } |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 212 | } |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 213 | |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 214 | // Set the mask and map for the current StackMap/InlineInfo. |
| 215 | uint32_t mask_index = StackMap::kNoValue; // Represents mask with all zero bits. |
| 216 | if (temp_dex_register_mask_.GetNumberOfBits() != 0) { |
| 217 | mask_index = dex_register_masks_.Dedup(temp_dex_register_mask_.GetRawStorage(), |
| 218 | temp_dex_register_mask_.GetNumberOfBits()); |
Vladimir Marko | 225b646 | 2015-09-28 12:17:40 +0100 | [diff] [blame] | 219 | } |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 220 | uint32_t map_index = dex_register_maps_.Dedup(temp_dex_register_map_.data(), |
| 221 | temp_dex_register_map_.size()); |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 222 | if (!current_inline_infos_.empty()) { |
| 223 | current_inline_infos_.back().dex_register_mask_index = mask_index; |
| 224 | current_inline_infos_.back().dex_register_map_index = map_index; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 225 | } else { |
| 226 | current_stack_map_.dex_register_mask_index = mask_index; |
| 227 | current_stack_map_.dex_register_map_index = map_index; |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 228 | } |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 229 | |
| 230 | if (kVerifyStackMaps) { |
| 231 | size_t stack_map_index = stack_maps_.size(); |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 232 | int32_t depth = current_inline_infos_.size() - 1; |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 233 | // We need to make copy of the current registers for later (when the check is run). |
| 234 | auto expected_dex_registers = std::make_shared<std::vector<DexRegisterLocation>>( |
| 235 | current_dex_registers_.begin(), current_dex_registers_.end()); |
| 236 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
| 237 | StackMap stack_map = code_info.GetStackMapAt(stack_map_index); |
| 238 | size_t num_dex_registers = expected_dex_registers->size(); |
| 239 | DexRegisterMap map = (depth == -1) |
| 240 | ? code_info.GetDexRegisterMapOf(stack_map, num_dex_registers) |
David Srbecky | 6e69e52 | 2018-06-03 12:00:14 +0100 | [diff] [blame] | 241 | : code_info.GetDexRegisterMapAtDepth(depth, stack_map, num_dex_registers); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 242 | CHECK_EQ(map.size(), num_dex_registers); |
| 243 | for (size_t r = 0; r < num_dex_registers; r++) { |
| 244 | CHECK_EQ(expected_dex_registers->at(r), map.Get(r)); |
| 245 | } |
| 246 | }); |
| 247 | } |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 248 | } |
| 249 | |
Mathieu Chartier | cbcedbf | 2017-03-12 22:24:50 -0700 | [diff] [blame] | 250 | void StackMapStream::FillInMethodInfo(MemoryRegion region) { |
| 251 | { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 252 | MethodInfo info(region.begin(), method_infos_.size()); |
| 253 | for (size_t i = 0; i < method_infos_.size(); ++i) { |
| 254 | info.SetMethodIndex(i, method_infos_[i]); |
Mathieu Chartier | cbcedbf | 2017-03-12 22:24:50 -0700 | [diff] [blame] | 255 | } |
| 256 | } |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 257 | if (kVerifyStackMaps) { |
Mathieu Chartier | cbcedbf | 2017-03-12 22:24:50 -0700 | [diff] [blame] | 258 | // Check the data matches. |
| 259 | MethodInfo info(region.begin()); |
| 260 | const size_t count = info.NumMethodIndices(); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 261 | DCHECK_EQ(count, method_infos_.size()); |
Mathieu Chartier | cbcedbf | 2017-03-12 22:24:50 -0700 | [diff] [blame] | 262 | for (size_t i = 0; i < count; ++i) { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 263 | DCHECK_EQ(info.GetMethodIndex(i), method_infos_[i]); |
Mathieu Chartier | cbcedbf | 2017-03-12 22:24:50 -0700 | [diff] [blame] | 264 | } |
| 265 | } |
| 266 | } |
| 267 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 268 | size_t StackMapStream::PrepareForFillIn() { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 269 | static_assert(sizeof(StackMapEntry) == StackMap::kCount * sizeof(uint32_t), "Layout"); |
| 270 | static_assert(sizeof(InvokeInfoEntry) == InvokeInfo::kCount * sizeof(uint32_t), "Layout"); |
| 271 | static_assert(sizeof(InlineInfoEntry) == InlineInfo::kCount * sizeof(uint32_t), "Layout"); |
| 272 | static_assert(sizeof(DexRegisterEntry) == DexRegisterInfo::kCount * sizeof(uint32_t), "Layout"); |
| 273 | DCHECK_EQ(out_.size(), 0u); |
| 274 | |
| 275 | // Read the stack masks now. The compiler might have updated them. |
| 276 | for (size_t i = 0; i < lazy_stack_masks_.size(); i++) { |
| 277 | BitVector* stack_mask = lazy_stack_masks_[i]; |
| 278 | if (stack_mask != nullptr && stack_mask->GetNumberOfBits() != 0) { |
| 279 | stack_maps_[i].stack_mask_index = |
| 280 | stack_masks_.Dedup(stack_mask->GetRawStorage(), stack_mask->GetNumberOfBits()); |
| 281 | } |
| 282 | } |
| 283 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 284 | size_t bit_offset = 0; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 285 | stack_maps_.Encode(&out_, &bit_offset); |
| 286 | register_masks_.Encode(&out_, &bit_offset); |
| 287 | stack_masks_.Encode(&out_, &bit_offset); |
| 288 | invoke_infos_.Encode(&out_, &bit_offset); |
| 289 | inline_infos_.Encode(&out_, &bit_offset); |
| 290 | dex_register_masks_.Encode(&out_, &bit_offset); |
| 291 | dex_register_maps_.Encode(&out_, &bit_offset); |
| 292 | dex_register_catalog_.Encode(&out_, &bit_offset); |
David Srbecky | 45aa598 | 2016-03-18 02:15:09 +0000 | [diff] [blame] | 293 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 294 | return UnsignedLeb128Size(out_.size()) + out_.size(); |
| 295 | } |
| 296 | |
| 297 | void StackMapStream::FillInCodeInfo(MemoryRegion region) { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 298 | DCHECK(in_stack_map_ == false) << "Mismatched Begin/End calls"; |
| 299 | DCHECK(in_inline_info_ == false) << "Mismatched Begin/End calls"; |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 300 | DCHECK_NE(0u, out_.size()) << "PrepareForFillIn not called before FillIn"; |
| 301 | DCHECK_EQ(region.size(), UnsignedLeb128Size(out_.size()) + out_.size()); |
| 302 | |
| 303 | uint8_t* ptr = EncodeUnsignedLeb128(region.begin(), out_.size()); |
| 304 | region.CopyFromVector(ptr - region.begin(), out_); |
Mathieu Chartier | 1a20b68 | 2017-01-31 14:25:16 -0800 | [diff] [blame] | 305 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 306 | // Verify all written data (usually only in debug builds). |
| 307 | if (kVerifyStackMaps) { |
| 308 | CodeInfo code_info(region); |
| 309 | CHECK_EQ(code_info.GetNumberOfStackMaps(), stack_maps_.size()); |
| 310 | for (const auto& dcheck : dchecks_) { |
| 311 | dcheck(code_info); |
David Srbecky | 1bbdfd7 | 2016-02-24 16:39:26 +0000 | [diff] [blame] | 312 | } |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 313 | } |
David Srbecky | 1bbdfd7 | 2016-02-24 16:39:26 +0000 | [diff] [blame] | 314 | } |
| 315 | |
Mathieu Chartier | cbcedbf | 2017-03-12 22:24:50 -0700 | [diff] [blame] | 316 | size_t StackMapStream::ComputeMethodInfoSize() const { |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 317 | DCHECK_NE(0u, out_.size()) << "PrepareForFillIn not called before " << __FUNCTION__; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 318 | return MethodInfo::ComputeSize(method_infos_.size()); |
Mathieu Chartier | cbcedbf | 2017-03-12 22:24:50 -0700 | [diff] [blame] | 319 | } |
| 320 | |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 321 | } // namespace art |