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