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> |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 20 | #include <vector> |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 21 | |
Andreas Gampe | 90b936d | 2017-01-31 08:58:55 -0800 | [diff] [blame] | 22 | #include "art_method-inl.h" |
Santiago Aboy Solanes | ab1d559 | 2022-06-24 11:16:35 +0100 | [diff] [blame] | 23 | #include "base/globals.h" |
David Srbecky | 45aa598 | 2016-03-18 02:15:09 +0000 | [diff] [blame] | 24 | #include "base/stl_util.h" |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 25 | #include "class_linker.h" |
| 26 | #include "dex/dex_file.h" |
David Sehr | 9e734c7 | 2018-01-04 17:56:19 -0800 | [diff] [blame] | 27 | #include "dex/dex_file_types.h" |
Santiago Aboy Solanes | 970ba21 | 2021-10-21 10:52:47 +0100 | [diff] [blame] | 28 | #include "driver/compiler_options.h" |
| 29 | #include "optimizing/code_generator.h" |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 30 | #include "optimizing/nodes.h" |
Nicolas Geoffray | fbdfa6d | 2017-02-03 10:43:13 +0000 | [diff] [blame] | 31 | #include "optimizing/optimizing_compiler.h" |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 32 | #include "runtime.h" |
| 33 | #include "scoped_thread_state_change-inl.h" |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 34 | #include "stack_map.h" |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 35 | |
VladimĂr Marko | 434d968 | 2022-11-04 14:04:17 +0000 | [diff] [blame] | 36 | namespace art HIDDEN { |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 37 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 38 | constexpr static bool kVerifyStackMaps = kIsDebugBuild; |
| 39 | |
David Srbecky | d02b23f | 2018-05-29 23:27:22 +0100 | [diff] [blame] | 40 | uint32_t StackMapStream::GetStackMapNativePcOffset(size_t i) { |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 41 | return StackMap::UnpackNativePc(stack_maps_[i][StackMap::kPackedNativePc], instruction_set_); |
David Srbecky | d02b23f | 2018-05-29 23:27:22 +0100 | [diff] [blame] | 42 | } |
| 43 | |
| 44 | void StackMapStream::SetStackMapNativePcOffset(size_t i, uint32_t native_pc_offset) { |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 45 | stack_maps_[i][StackMap::kPackedNativePc] = |
| 46 | StackMap::PackNativePc(native_pc_offset, instruction_set_); |
David Srbecky | d02b23f | 2018-05-29 23:27:22 +0100 | [diff] [blame] | 47 | } |
| 48 | |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 49 | void StackMapStream::BeginMethod(size_t frame_size_in_bytes, |
| 50 | size_t core_spill_mask, |
| 51 | size_t fp_spill_mask, |
Nicolas Geoffray | a59af8a | 2019-11-27 17:42:32 +0000 | [diff] [blame] | 52 | uint32_t num_dex_registers, |
Mythri Alle | d9e8377 | 2022-07-14 09:38:49 +0000 | [diff] [blame] | 53 | bool baseline, |
| 54 | bool debuggable) { |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 55 | DCHECK(!in_method_) << "Mismatched Begin/End calls"; |
| 56 | in_method_ = true; |
David Srbecky | 3aaaa21 | 2018-07-30 16:46:53 +0100 | [diff] [blame] | 57 | DCHECK_EQ(packed_frame_size_, 0u) << "BeginMethod was already called"; |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 58 | |
David Srbecky | 3aaaa21 | 2018-07-30 16:46:53 +0100 | [diff] [blame] | 59 | DCHECK_ALIGNED(frame_size_in_bytes, kStackAlignment); |
| 60 | packed_frame_size_ = frame_size_in_bytes / kStackAlignment; |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 61 | core_spill_mask_ = core_spill_mask; |
| 62 | fp_spill_mask_ = fp_spill_mask; |
| 63 | num_dex_registers_ = num_dex_registers; |
Nicolas Geoffray | a59af8a | 2019-11-27 17:42:32 +0000 | [diff] [blame] | 64 | baseline_ = baseline; |
Mythri Alle | d9e8377 | 2022-07-14 09:38:49 +0000 | [diff] [blame] | 65 | debuggable_ = debuggable; |
David Srbecky | 67ba872 | 2019-05-23 15:32:18 +0100 | [diff] [blame] | 66 | |
| 67 | if (kVerifyStackMaps) { |
| 68 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
| 69 | DCHECK_EQ(code_info.packed_frame_size_, frame_size_in_bytes / kStackAlignment); |
| 70 | DCHECK_EQ(code_info.core_spill_mask_, core_spill_mask); |
| 71 | DCHECK_EQ(code_info.fp_spill_mask_, fp_spill_mask); |
| 72 | DCHECK_EQ(code_info.number_of_dex_registers_, num_dex_registers); |
| 73 | }); |
| 74 | } |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 75 | } |
| 76 | |
David Srbecky | 17b4d2b | 2021-03-02 18:14:31 +0000 | [diff] [blame] | 77 | void StackMapStream::EndMethod(size_t code_size) { |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 78 | DCHECK(in_method_) << "Mismatched Begin/End calls"; |
| 79 | in_method_ = false; |
David Srbecky | 17b4d2b | 2021-03-02 18:14:31 +0000 | [diff] [blame] | 80 | code_size_ = code_size; |
David Srbecky | e7a9194 | 2018-08-01 17:23:53 +0100 | [diff] [blame] | 81 | |
| 82 | // Read the stack masks now. The compiler might have updated them. |
| 83 | for (size_t i = 0; i < lazy_stack_masks_.size(); i++) { |
| 84 | BitVector* stack_mask = lazy_stack_masks_[i]; |
| 85 | if (stack_mask != nullptr && stack_mask->GetNumberOfBits() != 0) { |
| 86 | stack_maps_[i][StackMap::kStackMaskIndex] = |
| 87 | stack_masks_.Dedup(stack_mask->GetRawStorage(), stack_mask->GetNumberOfBits()); |
| 88 | } |
| 89 | } |
David Srbecky | 17b4d2b | 2021-03-02 18:14:31 +0000 | [diff] [blame] | 90 | |
| 91 | if (kIsDebugBuild) { |
| 92 | uint32_t packed_code_size = StackMap::PackNativePc(code_size, instruction_set_); |
| 93 | for (size_t i = 0; i < stack_maps_.size(); i++) { |
| 94 | DCHECK_LE(stack_maps_[i][StackMap::kPackedNativePc], packed_code_size); |
| 95 | } |
| 96 | } |
| 97 | |
| 98 | if (kVerifyStackMaps) { |
| 99 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
| 100 | CHECK_EQ(code_info.code_size_, code_size); |
| 101 | }); |
| 102 | } |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 103 | } |
| 104 | |
Santiago Aboy Solanes | ab1d559 | 2022-06-24 11:16:35 +0100 | [diff] [blame] | 105 | void StackMapStream::BeginStackMapEntry( |
| 106 | uint32_t dex_pc, |
| 107 | uint32_t native_pc_offset, |
| 108 | uint32_t register_mask, |
| 109 | BitVector* stack_mask, |
| 110 | StackMap::Kind kind, |
| 111 | bool needs_vreg_info, |
| 112 | const std::vector<uint32_t>& dex_pc_list_for_catch_verification) { |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 113 | DCHECK(in_method_) << "Call BeginMethod first"; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 114 | DCHECK(!in_stack_map_) << "Mismatched Begin/End calls"; |
| 115 | in_stack_map_ = true; |
| 116 | |
Santiago Aboy Solanes | ab1d559 | 2022-06-24 11:16:35 +0100 | [diff] [blame] | 117 | DCHECK_IMPLIES(!dex_pc_list_for_catch_verification.empty(), kind == StackMap::Kind::Catch); |
| 118 | DCHECK_IMPLIES(!dex_pc_list_for_catch_verification.empty(), kIsDebugBuild); |
| 119 | |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 120 | current_stack_map_ = BitTableBuilder<StackMap>::Entry(); |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 121 | current_stack_map_[StackMap::kKind] = static_cast<uint32_t>(kind); |
| 122 | current_stack_map_[StackMap::kPackedNativePc] = |
| 123 | StackMap::PackNativePc(native_pc_offset, instruction_set_); |
| 124 | current_stack_map_[StackMap::kDexPc] = dex_pc; |
David Srbecky | 0b4e5a3 | 2018-06-11 16:25:29 +0100 | [diff] [blame] | 125 | if (stack_maps_.size() > 0) { |
| 126 | // Check that non-catch stack maps are sorted by pc. |
| 127 | // Catch stack maps are at the end and may be unordered. |
| 128 | if (stack_maps_.back()[StackMap::kKind] == StackMap::Kind::Catch) { |
| 129 | DCHECK(current_stack_map_[StackMap::kKind] == StackMap::Kind::Catch); |
| 130 | } else if (current_stack_map_[StackMap::kKind] != StackMap::Kind::Catch) { |
| 131 | DCHECK_LE(stack_maps_.back()[StackMap::kPackedNativePc], |
| 132 | current_stack_map_[StackMap::kPackedNativePc]); |
| 133 | } |
| 134 | } |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 135 | if (register_mask != 0) { |
| 136 | uint32_t shift = LeastSignificantBit(register_mask); |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 137 | BitTableBuilder<RegisterMask>::Entry entry; |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 138 | entry[RegisterMask::kValue] = register_mask >> shift; |
| 139 | entry[RegisterMask::kShift] = shift; |
| 140 | current_stack_map_[StackMap::kRegisterMaskIndex] = register_masks_.Dedup(&entry); |
Vladimir Marko | 174b2e2 | 2017-10-12 13:34:49 +0100 | [diff] [blame] | 141 | } |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 142 | // The compiler assumes the bit vector will be read during PrepareForFillIn(), |
| 143 | // and it might modify the data before that. Therefore, just store the pointer. |
| 144 | // See ClearSpillSlotsFromLoopPhisInStackMap in code_generator.h. |
| 145 | lazy_stack_masks_.push_back(stack_mask); |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 146 | current_inline_infos_.clear(); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 147 | current_dex_registers_.clear(); |
Artem Serov | 2808be8 | 2018-12-20 19:15:11 +0000 | [diff] [blame] | 148 | expected_num_dex_registers_ = needs_vreg_info ? num_dex_registers_ : 0u; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 149 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 150 | if (kVerifyStackMaps) { |
| 151 | size_t stack_map_index = stack_maps_.size(); |
| 152 | // Create lambda method, which will be executed at the very end to verify data. |
| 153 | // Parameters and local variables will be captured(stored) by the lambda "[=]". |
| 154 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
David Srbecky | 50fac06 | 2018-06-13 18:55:35 +0100 | [diff] [blame] | 155 | if (kind == StackMap::Kind::Default || kind == StackMap::Kind::OSR) { |
| 156 | StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset, |
| 157 | instruction_set_); |
| 158 | CHECK_EQ(stack_map.Row(), stack_map_index); |
| 159 | } else if (kind == StackMap::Kind::Catch) { |
Santiago Aboy Solanes | ab1d559 | 2022-06-24 11:16:35 +0100 | [diff] [blame] | 160 | StackMap stack_map = code_info.GetCatchStackMapForDexPc( |
| 161 | ArrayRef<const uint32_t>(dex_pc_list_for_catch_verification)); |
David Srbecky | 50fac06 | 2018-06-13 18:55:35 +0100 | [diff] [blame] | 162 | CHECK_EQ(stack_map.Row(), stack_map_index); |
| 163 | } |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 164 | StackMap stack_map = code_info.GetStackMapAt(stack_map_index); |
| 165 | CHECK_EQ(stack_map.GetNativePcOffset(instruction_set_), native_pc_offset); |
David Srbecky | 50fac06 | 2018-06-13 18:55:35 +0100 | [diff] [blame] | 166 | CHECK_EQ(stack_map.GetKind(), static_cast<uint32_t>(kind)); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 167 | CHECK_EQ(stack_map.GetDexPc(), dex_pc); |
| 168 | CHECK_EQ(code_info.GetRegisterMaskOf(stack_map), register_mask); |
| 169 | BitMemoryRegion seen_stack_mask = code_info.GetStackMaskOf(stack_map); |
| 170 | CHECK_GE(seen_stack_mask.size_in_bits(), stack_mask ? stack_mask->GetNumberOfBits() : 0); |
| 171 | for (size_t b = 0; b < seen_stack_mask.size_in_bits(); b++) { |
| 172 | CHECK_EQ(seen_stack_mask.LoadBit(b), stack_mask != nullptr && stack_mask->IsBitSet(b)); |
| 173 | } |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 174 | }); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 175 | } |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 176 | } |
| 177 | |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 178 | void StackMapStream::EndStackMapEntry() { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 179 | DCHECK(in_stack_map_) << "Mismatched Begin/End calls"; |
| 180 | in_stack_map_ = false; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 181 | |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 182 | // Generate index into the InlineInfo table. |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 183 | size_t inlining_depth = current_inline_infos_.size(); |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 184 | if (!current_inline_infos_.empty()) { |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 185 | current_inline_infos_.back()[InlineInfo::kIsLast] = InlineInfo::kLast; |
| 186 | current_stack_map_[StackMap::kInlineInfoIndex] = |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 187 | inline_infos_.Dedup(current_inline_infos_.data(), current_inline_infos_.size()); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 188 | } |
| 189 | |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 190 | // Generate delta-compressed dex register map. |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 191 | size_t num_dex_registers = current_dex_registers_.size(); |
| 192 | if (!current_dex_registers_.empty()) { |
| 193 | DCHECK_EQ(expected_num_dex_registers_, current_dex_registers_.size()); |
| 194 | CreateDexRegisterMap(); |
| 195 | } |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 196 | |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 197 | stack_maps_.Add(current_stack_map_); |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 198 | |
| 199 | if (kVerifyStackMaps) { |
| 200 | size_t stack_map_index = stack_maps_.size() - 1; |
| 201 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
| 202 | StackMap stack_map = code_info.GetStackMapAt(stack_map_index); |
| 203 | CHECK_EQ(stack_map.HasDexRegisterMap(), (num_dex_registers != 0)); |
| 204 | CHECK_EQ(stack_map.HasInlineInfo(), (inlining_depth != 0)); |
David Srbecky | 93bd361 | 2018-07-02 19:30:18 +0100 | [diff] [blame] | 205 | CHECK_EQ(code_info.GetInlineInfosOf(stack_map).size(), inlining_depth); |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 206 | }); |
| 207 | } |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 208 | } |
| 209 | |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 210 | void StackMapStream::BeginInlineInfoEntry(ArtMethod* method, |
Nicolas Geoffray | b1d0f3f | 2015-05-14 12:41:51 +0100 | [diff] [blame] | 211 | uint32_t dex_pc, |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 212 | uint32_t num_dex_registers, |
Santiago Aboy Solanes | 970ba21 | 2021-10-21 10:52:47 +0100 | [diff] [blame] | 213 | const DexFile* outer_dex_file, |
| 214 | const CodeGenerator* codegen) { |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame] | 215 | DCHECK(in_stack_map_) << "Call BeginStackMapEntry first"; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 216 | DCHECK(!in_inline_info_) << "Mismatched Begin/End calls"; |
| 217 | in_inline_info_ = true; |
| 218 | DCHECK_EQ(expected_num_dex_registers_, current_dex_registers_.size()); |
| 219 | |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 220 | expected_num_dex_registers_ += num_dex_registers; |
| 221 | |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 222 | BitTableBuilder<InlineInfo>::Entry entry; |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 223 | entry[InlineInfo::kIsLast] = InlineInfo::kMore; |
| 224 | entry[InlineInfo::kDexPc] = dex_pc; |
| 225 | entry[InlineInfo::kNumberOfDexRegisters] = static_cast<uint32_t>(expected_num_dex_registers_); |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 226 | if (EncodeArtMethodInInlineInfo(method)) { |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 227 | entry[InlineInfo::kArtMethodHi] = High32Bits(reinterpret_cast<uintptr_t>(method)); |
| 228 | entry[InlineInfo::kArtMethodLo] = Low32Bits(reinterpret_cast<uintptr_t>(method)); |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 229 | } else { |
Santiago Aboy Solanes | 970ba21 | 2021-10-21 10:52:47 +0100 | [diff] [blame] | 230 | uint32_t is_in_bootclasspath = MethodInfo::kKindNonBCP; |
| 231 | uint32_t dexfile_index = MethodInfo::kSameDexFile; |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 232 | if (dex_pc != static_cast<uint32_t>(-1)) { |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 233 | ScopedObjectAccess soa(Thread::Current()); |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 234 | const DexFile* dex_file = method->GetDexFile(); |
Santiago Aboy Solanes | 970ba21 | 2021-10-21 10:52:47 +0100 | [diff] [blame] | 235 | if (!IsSameDexFile(*outer_dex_file, *dex_file)) { |
Santiago Aboy Solanes | f4bd5de | 2022-03-23 08:25:33 +0000 | [diff] [blame] | 236 | if (method->GetDeclaringClass()->IsBootStrapClassLoaded()) { |
Santiago Aboy Solanes | 970ba21 | 2021-10-21 10:52:47 +0100 | [diff] [blame] | 237 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
| 238 | const std::vector<const DexFile*>& boot_class_path = class_linker->GetBootClassPath(); |
| 239 | auto it = std::find_if( |
| 240 | boot_class_path.begin(), boot_class_path.end(), [dex_file](const DexFile* df) { |
| 241 | return IsSameDexFile(*df, *dex_file); |
| 242 | }); |
| 243 | is_in_bootclasspath = MethodInfo::kKindBCP; |
| 244 | dexfile_index = std::distance(boot_class_path.begin(), it); |
| 245 | } else { |
| 246 | const std::vector<const DexFile*>& dex_files = |
| 247 | codegen->GetCompilerOptions().GetDexFilesForOatFile(); |
| 248 | auto it = std::find_if(dex_files.begin(), dex_files.end(), [dex_file](const DexFile* df) { |
| 249 | return IsSameDexFile(*df, *dex_file); |
| 250 | }); |
| 251 | // No need to set is_in_bootclasspath since the default value works. |
| 252 | dexfile_index = std::distance(dex_files.begin(), it); |
| 253 | } |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 254 | } |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 255 | } |
Vladimir Marko | c945e0d | 2018-07-18 17:26:45 +0100 | [diff] [blame] | 256 | uint32_t dex_method_index = method->GetDexMethodIndex(); |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 257 | entry[InlineInfo::kMethodInfoIndex] = |
Santiago Aboy Solanes | 970ba21 | 2021-10-21 10:52:47 +0100 | [diff] [blame] | 258 | method_infos_.Dedup({dex_method_index, is_in_bootclasspath, dexfile_index}); |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 259 | } |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 260 | current_inline_infos_.push_back(entry); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 261 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 262 | if (kVerifyStackMaps) { |
| 263 | size_t stack_map_index = stack_maps_.size(); |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 264 | size_t depth = current_inline_infos_.size() - 1; |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 265 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
| 266 | StackMap stack_map = code_info.GetStackMapAt(stack_map_index); |
David Srbecky | 93bd361 | 2018-07-02 19:30:18 +0100 | [diff] [blame] | 267 | InlineInfo inline_info = code_info.GetInlineInfosOf(stack_map)[depth]; |
David Srbecky | 6e69e52 | 2018-06-03 12:00:14 +0100 | [diff] [blame] | 268 | CHECK_EQ(inline_info.GetDexPc(), dex_pc); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 269 | bool encode_art_method = EncodeArtMethodInInlineInfo(method); |
David Srbecky | 6e69e52 | 2018-06-03 12:00:14 +0100 | [diff] [blame] | 270 | CHECK_EQ(inline_info.EncodesArtMethod(), encode_art_method); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 271 | if (encode_art_method) { |
David Srbecky | 6e69e52 | 2018-06-03 12:00:14 +0100 | [diff] [blame] | 272 | CHECK_EQ(inline_info.GetArtMethod(), method); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 273 | } else { |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 274 | MethodInfo method_info = code_info.GetMethodInfoOf(inline_info); |
| 275 | CHECK_EQ(method_info.GetMethodIndex(), method->GetDexMethodIndex()); |
Santiago Aboy Solanes | 970ba21 | 2021-10-21 10:52:47 +0100 | [diff] [blame] | 276 | CHECK(method_info.GetDexFileIndexKind() == MethodInfo::kKindNonBCP || |
| 277 | method_info.GetDexFileIndexKind() == MethodInfo::kKindBCP); |
| 278 | ScopedObjectAccess soa(Thread::Current()); |
| 279 | if (inline_info.GetDexPc() != static_cast<uint32_t>(-1) && |
| 280 | !IsSameDexFile(*outer_dex_file, *method->GetDexFile())) { |
Santiago Aboy Solanes | f4bd5de | 2022-03-23 08:25:33 +0000 | [diff] [blame] | 281 | if (method->GetDeclaringClass()->IsBootStrapClassLoaded()) { |
Santiago Aboy Solanes | 970ba21 | 2021-10-21 10:52:47 +0100 | [diff] [blame] | 282 | CHECK_EQ(method_info.GetDexFileIndexKind(), MethodInfo::kKindBCP); |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 283 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
| 284 | const std::vector<const DexFile*>& boot_class_path = class_linker->GetBootClassPath(); |
| 285 | DCHECK_LT(method_info.GetDexFileIndex(), boot_class_path.size()); |
| 286 | CHECK(IsSameDexFile(*boot_class_path[method_info.GetDexFileIndex()], |
| 287 | *method->GetDexFile())); |
Santiago Aboy Solanes | 970ba21 | 2021-10-21 10:52:47 +0100 | [diff] [blame] | 288 | } else { |
| 289 | CHECK_EQ(method_info.GetDexFileIndexKind(), MethodInfo::kKindNonBCP); |
| 290 | const std::vector<const DexFile*>& dex_files = |
| 291 | codegen->GetCompilerOptions().GetDexFilesForOatFile(); |
| 292 | DCHECK_LT(method_info.GetDexFileIndex(), dex_files.size()); |
| 293 | CHECK(IsSameDexFile(*dex_files[method_info.GetDexFileIndex()], *method->GetDexFile())); |
Santiago Aboy Solanes | e43aa3f | 2021-11-01 09:02:09 +0000 | [diff] [blame] | 294 | } |
| 295 | } |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 296 | } |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 297 | }); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 298 | } |
Nicolas Geoffray | b1d0f3f | 2015-05-14 12:41:51 +0100 | [diff] [blame] | 299 | } |
| 300 | |
| 301 | void StackMapStream::EndInlineInfoEntry() { |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 302 | DCHECK(in_inline_info_) << "Mismatched Begin/End calls"; |
| 303 | in_inline_info_ = false; |
| 304 | DCHECK_EQ(expected_num_dex_registers_, current_dex_registers_.size()); |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 305 | } |
| 306 | |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 307 | // Create delta-compressed dex register map based on the current list of DexRegisterLocations. |
| 308 | // All dex registers for a stack map are concatenated - inlined registers are just appended. |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 309 | void StackMapStream::CreateDexRegisterMap() { |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 310 | // These are fields rather than local variables so that we can reuse the reserved memory. |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 311 | temp_dex_register_mask_.ClearAllBits(); |
| 312 | temp_dex_register_map_.clear(); |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 313 | |
| 314 | // Ensure that the arrays that hold previous state are big enough to be safely indexed below. |
| 315 | if (previous_dex_registers_.size() < current_dex_registers_.size()) { |
| 316 | previous_dex_registers_.resize(current_dex_registers_.size(), DexRegisterLocation::None()); |
| 317 | dex_register_timestamp_.resize(current_dex_registers_.size(), 0u); |
| 318 | } |
| 319 | |
| 320 | // Set bit in the mask for each register that has been changed since the previous stack map. |
| 321 | // Modified registers are stored in the catalogue and the catalogue index added to the list. |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 322 | for (size_t i = 0; i < current_dex_registers_.size(); i++) { |
| 323 | DexRegisterLocation reg = current_dex_registers_[i]; |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 324 | // Distance is difference between this index and the index of last modification. |
| 325 | uint32_t distance = stack_maps_.size() - dex_register_timestamp_[i]; |
| 326 | if (previous_dex_registers_[i] != reg || distance > kMaxDexRegisterMapSearchDistance) { |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 327 | BitTableBuilder<DexRegisterInfo>::Entry entry; |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 328 | entry[DexRegisterInfo::kKind] = static_cast<uint32_t>(reg.GetKind()); |
| 329 | entry[DexRegisterInfo::kPackedValue] = |
| 330 | DexRegisterInfo::PackValue(reg.GetKind(), reg.GetValue()); |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 331 | uint32_t index = reg.IsLive() ? dex_register_catalog_.Dedup(&entry) : kNoValue; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 332 | temp_dex_register_mask_.SetBit(i); |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 333 | temp_dex_register_map_.push_back({index}); |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 334 | previous_dex_registers_[i] = reg; |
| 335 | dex_register_timestamp_[i] = stack_maps_.size(); |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 336 | } |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 337 | } |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 338 | |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 339 | // Set the mask and map for the current StackMap (which includes inlined registers). |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 340 | if (temp_dex_register_mask_.GetNumberOfBits() != 0) { |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 341 | current_stack_map_[StackMap::kDexRegisterMaskIndex] = |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 342 | dex_register_masks_.Dedup(temp_dex_register_mask_.GetRawStorage(), |
| 343 | temp_dex_register_mask_.GetNumberOfBits()); |
Vladimir Marko | 225b646 | 2015-09-28 12:17:40 +0100 | [diff] [blame] | 344 | } |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 345 | if (!current_dex_registers_.empty()) { |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 346 | current_stack_map_[StackMap::kDexRegisterMapIndex] = |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 347 | dex_register_maps_.Dedup(temp_dex_register_map_.data(), |
| 348 | temp_dex_register_map_.size()); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 349 | } |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 350 | |
| 351 | if (kVerifyStackMaps) { |
| 352 | size_t stack_map_index = stack_maps_.size(); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 353 | // We need to make copy of the current registers for later (when the check is run). |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 354 | auto expected_dex_registers = std::make_shared<dchecked_vector<DexRegisterLocation>>( |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 355 | current_dex_registers_.begin(), current_dex_registers_.end()); |
| 356 | dchecks_.emplace_back([=](const CodeInfo& code_info) { |
| 357 | StackMap stack_map = code_info.GetStackMapAt(stack_map_index); |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 358 | uint32_t expected_reg = 0; |
| 359 | for (DexRegisterLocation reg : code_info.GetDexRegisterMapOf(stack_map)) { |
| 360 | CHECK_EQ((*expected_dex_registers)[expected_reg++], reg); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 361 | } |
David Srbecky | 93bd361 | 2018-07-02 19:30:18 +0100 | [diff] [blame] | 362 | for (InlineInfo inline_info : code_info.GetInlineInfosOf(stack_map)) { |
| 363 | DexRegisterMap map = code_info.GetInlineDexRegisterMapOf(stack_map, inline_info); |
| 364 | for (DexRegisterLocation reg : map) { |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 365 | CHECK_EQ((*expected_dex_registers)[expected_reg++], reg); |
| 366 | } |
| 367 | } |
| 368 | CHECK_EQ(expected_reg, expected_dex_registers->size()); |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 369 | }); |
| 370 | } |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 371 | } |
| 372 | |
David Srbecky | e7a9194 | 2018-08-01 17:23:53 +0100 | [diff] [blame] | 373 | ScopedArenaVector<uint8_t> StackMapStream::Encode() { |
| 374 | DCHECK(in_stack_map_ == false) << "Mismatched Begin/End calls"; |
| 375 | DCHECK(in_inline_info_ == false) << "Mismatched Begin/End calls"; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 376 | |
David Srbecky | 697c47a | 2019-06-16 21:53:07 +0100 | [diff] [blame] | 377 | uint32_t flags = (inline_infos_.size() > 0) ? CodeInfo::kHasInlineInfo : 0; |
Nicolas Geoffray | a59af8a | 2019-11-27 17:42:32 +0000 | [diff] [blame] | 378 | flags |= baseline_ ? CodeInfo::kIsBaseline : 0; |
Mythri Alle | d9e8377 | 2022-07-14 09:38:49 +0000 | [diff] [blame] | 379 | flags |= debuggable_ ? CodeInfo::kIsDebuggable : 0; |
David Srbecky | 17b4d2b | 2021-03-02 18:14:31 +0000 | [diff] [blame] | 380 | DCHECK_LE(flags, kVarintMax); // Ensure flags can be read directly as byte. |
David Srbecky | 697c47a | 2019-06-16 21:53:07 +0100 | [diff] [blame] | 381 | uint32_t bit_table_flags = 0; |
| 382 | ForEachBitTable([&bit_table_flags](size_t i, auto bit_table) { |
| 383 | if (bit_table->size() != 0) { // Record which bit-tables are stored. |
| 384 | bit_table_flags |= 1 << i; |
| 385 | } |
| 386 | }); |
| 387 | |
David Srbecky | e7a9194 | 2018-08-01 17:23:53 +0100 | [diff] [blame] | 388 | ScopedArenaVector<uint8_t> buffer(allocator_->Adapter(kArenaAllocStackMapStream)); |
| 389 | BitMemoryWriter<ScopedArenaVector<uint8_t>> out(&buffer); |
David Srbecky | 6c4ec5c | 2019-06-20 07:23:19 +0000 | [diff] [blame] | 390 | out.WriteInterleavedVarints(std::array<uint32_t, CodeInfo::kNumHeaders>{ |
| 391 | flags, |
David Srbecky | 17b4d2b | 2021-03-02 18:14:31 +0000 | [diff] [blame] | 392 | code_size_, |
David Srbecky | 6c4ec5c | 2019-06-20 07:23:19 +0000 | [diff] [blame] | 393 | packed_frame_size_, |
| 394 | core_spill_mask_, |
| 395 | fp_spill_mask_, |
| 396 | num_dex_registers_, |
| 397 | bit_table_flags, |
| 398 | }); |
David Srbecky | 697c47a | 2019-06-16 21:53:07 +0100 | [diff] [blame] | 399 | ForEachBitTable([&out](size_t, auto bit_table) { |
| 400 | if (bit_table->size() != 0) { // Skip empty bit-tables. |
| 401 | bit_table->Encode(out); |
| 402 | } |
| 403 | }); |
David Srbecky | 45aa598 | 2016-03-18 02:15:09 +0000 | [diff] [blame] | 404 | |
David Srbecky | a38e6cf | 2018-06-26 18:13:49 +0100 | [diff] [blame] | 405 | // Verify that we can load the CodeInfo and check some essentials. |
David Srbecky | 0d4567f | 2019-05-30 22:45:40 +0100 | [diff] [blame] | 406 | size_t number_of_read_bits; |
| 407 | CodeInfo code_info(buffer.data(), &number_of_read_bits); |
| 408 | CHECK_EQ(number_of_read_bits, out.NumberOfWrittenBits()); |
David Srbecky | a38e6cf | 2018-06-26 18:13:49 +0100 | [diff] [blame] | 409 | CHECK_EQ(code_info.GetNumberOfStackMaps(), stack_maps_.size()); |
David Srbecky | 17b4d2b | 2021-03-02 18:14:31 +0000 | [diff] [blame] | 410 | CHECK_EQ(CodeInfo::HasInlineInfo(buffer.data()), inline_infos_.size() > 0); |
| 411 | CHECK_EQ(CodeInfo::IsBaseline(buffer.data()), baseline_); |
Mathieu Chartier | 1a20b68 | 2017-01-31 14:25:16 -0800 | [diff] [blame] | 412 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 413 | // Verify all written data (usually only in debug builds). |
| 414 | if (kVerifyStackMaps) { |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 415 | for (const auto& dcheck : dchecks_) { |
| 416 | dcheck(code_info); |
David Srbecky | 1bbdfd7 | 2016-02-24 16:39:26 +0000 | [diff] [blame] | 417 | } |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 418 | } |
David Srbecky | e7a9194 | 2018-08-01 17:23:53 +0100 | [diff] [blame] | 419 | |
| 420 | return buffer; |
David Srbecky | 1bbdfd7 | 2016-02-24 16:39:26 +0000 | [diff] [blame] | 421 | } |
| 422 | |
Calin Juravle | c416d33 | 2015-04-23 16:01:43 +0100 | [diff] [blame] | 423 | } // namespace art |