Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2014 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 | */ |
| 16 | |
| 17 | #ifndef ART_COMPILER_OPTIMIZING_STACK_MAP_STREAM_H_ |
| 18 | #define ART_COMPILER_OPTIMIZING_STACK_MAP_STREAM_H_ |
| 19 | |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 20 | #include "base/allocator.h" |
| 21 | #include "base/arena_bit_vector.h" |
| 22 | #include "base/bit_table.h" |
Calin Juravle | 6ae7096 | 2015-03-18 16:31:28 +0000 | [diff] [blame] | 23 | #include "base/bit_vector-inl.h" |
David Sehr | 1ce2b3b | 2018-04-05 11:02:03 -0700 | [diff] [blame] | 24 | #include "base/memory_region.h" |
Vladimir Marko | 174b2e2 | 2017-10-12 13:34:49 +0100 | [diff] [blame] | 25 | #include "base/scoped_arena_containers.h" |
Ian Rogers | 0279ebb | 2014-10-08 17:27:48 -0700 | [diff] [blame] | 26 | #include "base/value_object.h" |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 27 | #include "dex_register_location.h" |
Mathieu Chartier | cbcedbf | 2017-03-12 22:24:50 -0700 | [diff] [blame] | 28 | #include "method_info.h" |
Nicolas Geoffray | fead4e4 | 2015-03-13 14:39:40 +0000 | [diff] [blame] | 29 | #include "nodes.h" |
David Srbecky | 50fac06 | 2018-06-13 18:55:35 +0100 | [diff] [blame] | 30 | #include "stack_map.h" |
Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 31 | |
| 32 | namespace art { |
| 33 | |
| 34 | /** |
Nicolas Geoffray | 3946844 | 2014-09-02 15:17:15 +0100 | [diff] [blame] | 35 | * Collects and builds stack maps for a method. All the stack maps |
| 36 | * for a method are placed in a CodeInfo object. |
Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 37 | */ |
Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 38 | class StackMapStream : public ValueObject { |
| 39 | public: |
Vladimir Marko | 174b2e2 | 2017-10-12 13:34:49 +0100 | [diff] [blame] | 40 | explicit StackMapStream(ScopedArenaAllocator* allocator, InstructionSet instruction_set) |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 41 | : instruction_set_(instruction_set), |
| 42 | stack_maps_(allocator), |
| 43 | register_masks_(allocator), |
| 44 | stack_masks_(allocator), |
| 45 | invoke_infos_(allocator), |
| 46 | inline_infos_(allocator), |
| 47 | dex_register_masks_(allocator), |
| 48 | dex_register_maps_(allocator), |
| 49 | dex_register_catalog_(allocator), |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 50 | out_(allocator->Adapter(kArenaAllocStackMapStream)), |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 51 | method_infos_(allocator), |
| 52 | lazy_stack_masks_(allocator->Adapter(kArenaAllocStackMapStream)), |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 53 | current_stack_map_(), |
David Srbecky | 6eb4d5e | 2018-06-03 12:00:20 +0100 | [diff] [blame] | 54 | current_inline_infos_(allocator->Adapter(kArenaAllocStackMapStream)), |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 55 | current_dex_registers_(allocator->Adapter(kArenaAllocStackMapStream)), |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 56 | previous_dex_registers_(allocator->Adapter(kArenaAllocStackMapStream)), |
| 57 | dex_register_timestamp_(allocator->Adapter(kArenaAllocStackMapStream)), |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 58 | temp_dex_register_mask_(allocator, 32, true, kArenaAllocStackMapStream), |
| 59 | temp_dex_register_map_(allocator->Adapter(kArenaAllocStackMapStream)) { |
Vladimir Marko | 225b646 | 2015-09-28 12:17:40 +0100 | [diff] [blame] | 60 | } |
Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 61 | |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame^] | 62 | void BeginMethod(size_t frame_size_in_bytes, |
| 63 | size_t core_spill_mask, |
| 64 | size_t fp_spill_mask, |
| 65 | uint32_t num_dex_registers); |
| 66 | void EndMethod(); |
| 67 | |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 68 | void BeginStackMapEntry(uint32_t dex_pc, |
| 69 | uint32_t native_pc_offset, |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame^] | 70 | uint32_t register_mask = 0, |
| 71 | BitVector* sp_mask = nullptr, |
David Srbecky | 50fac06 | 2018-06-13 18:55:35 +0100 | [diff] [blame] | 72 | StackMap::Kind kind = StackMap::Kind::Default); |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 73 | void EndStackMapEntry(); |
Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 74 | |
David Srbecky | e140212 | 2018-06-13 18:20:45 +0100 | [diff] [blame] | 75 | void AddDexRegisterEntry(DexRegisterLocation::Kind kind, int32_t value) { |
| 76 | current_dex_registers_.push_back(DexRegisterLocation(kind, value)); |
| 77 | } |
Nicolas Geoffray | 004c230 | 2015-03-20 10:06:38 +0000 | [diff] [blame] | 78 | |
Mathieu Chartier | d776ff0 | 2017-01-17 09:32:18 -0800 | [diff] [blame] | 79 | void AddInvoke(InvokeType type, uint32_t dex_method_index); |
| 80 | |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 81 | void BeginInlineInfoEntry(ArtMethod* method, |
Nicolas Geoffray | b1d0f3f | 2015-05-14 12:41:51 +0100 | [diff] [blame] | 82 | uint32_t dex_pc, |
Nicolas Geoffray | 5d37c15 | 2017-01-12 13:25:19 +0000 | [diff] [blame] | 83 | uint32_t num_dex_registers, |
| 84 | const DexFile* outer_dex_file = nullptr); |
Nicolas Geoffray | b1d0f3f | 2015-05-14 12:41:51 +0100 | [diff] [blame] | 85 | void EndInlineInfoEntry(); |
Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 86 | |
Vladimir Marko | bd8c725 | 2015-06-12 10:06:32 +0100 | [diff] [blame] | 87 | size_t GetNumberOfStackMaps() const { |
Vladimir Marko | 225b646 | 2015-09-28 12:17:40 +0100 | [diff] [blame] | 88 | return stack_maps_.size(); |
Vladimir Marko | bd8c725 | 2015-06-12 10:06:32 +0100 | [diff] [blame] | 89 | } |
| 90 | |
David Srbecky | d02b23f | 2018-05-29 23:27:22 +0100 | [diff] [blame] | 91 | uint32_t GetStackMapNativePcOffset(size_t i); |
| 92 | void SetStackMapNativePcOffset(size_t i, uint32_t native_pc_offset); |
Vladimir Marko | cf93a5c | 2015-06-16 11:33:24 +0000 | [diff] [blame] | 93 | |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 94 | // Prepares the stream to fill in a memory region. Must be called before FillIn. |
| 95 | // Returns the size (in bytes) needed to store this stream. |
| 96 | size_t PrepareForFillIn(); |
Mathieu Chartier | cbcedbf | 2017-03-12 22:24:50 -0700 | [diff] [blame] | 97 | void FillInCodeInfo(MemoryRegion region); |
| 98 | void FillInMethodInfo(MemoryRegion region); |
| 99 | |
| 100 | size_t ComputeMethodInfoSize() const; |
Nicolas Geoffray | fead4e4 | 2015-03-13 14:39:40 +0000 | [diff] [blame] | 101 | |
Nicolas Geoffray | eeefa12 | 2015-03-13 18:52:59 +0000 | [diff] [blame] | 102 | private: |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 103 | static constexpr uint32_t kNoValue = -1; |
Mathieu Chartier | a2f526f | 2017-01-19 14:48:48 -0800 | [diff] [blame] | 104 | |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 105 | void CreateDexRegisterMap(); |
Calin Juravle | 6ae7096 | 2015-03-18 16:31:28 +0000 | [diff] [blame] | 106 | |
Mathieu Chartier | a2f526f | 2017-01-19 14:48:48 -0800 | [diff] [blame] | 107 | const InstructionSet instruction_set_; |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame^] | 108 | uint32_t frame_size_in_bytes_ = 0; |
| 109 | uint32_t core_spill_mask_ = 0; |
| 110 | uint32_t fp_spill_mask_ = 0; |
| 111 | uint32_t num_dex_registers_ = 0; |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 112 | BitTableBuilder<StackMap> stack_maps_; |
| 113 | BitTableBuilder<RegisterMask> register_masks_; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 114 | BitmapTableBuilder stack_masks_; |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 115 | BitTableBuilder<InvokeInfo> invoke_infos_; |
| 116 | BitTableBuilder<InlineInfo> inline_infos_; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 117 | BitmapTableBuilder dex_register_masks_; |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 118 | BitTableBuilder<MaskInfo> dex_register_maps_; |
| 119 | BitTableBuilder<DexRegisterInfo> dex_register_catalog_; |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 120 | ScopedArenaVector<uint8_t> out_; |
Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 121 | |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 122 | BitTableBuilderBase<1> method_infos_; |
Calin Juravle | 6ae7096 | 2015-03-18 16:31:28 +0000 | [diff] [blame] | 123 | |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 124 | ScopedArenaVector<BitVector*> lazy_stack_masks_; |
| 125 | |
| 126 | // Variables which track the current state between Begin/End calls; |
David Srbecky | f6ba5b3 | 2018-06-23 22:05:49 +0100 | [diff] [blame^] | 127 | bool in_method_ = false; |
| 128 | bool in_stack_map_ = false; |
| 129 | bool in_inline_info_ = false; |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 130 | BitTableBuilder<StackMap>::Entry current_stack_map_; |
| 131 | ScopedArenaVector<BitTableBuilder<InlineInfo>::Entry> current_inline_infos_; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 132 | ScopedArenaVector<DexRegisterLocation> current_dex_registers_; |
David Srbecky | 6de8833 | 2018-06-03 12:00:11 +0100 | [diff] [blame] | 133 | ScopedArenaVector<DexRegisterLocation> previous_dex_registers_; |
| 134 | ScopedArenaVector<uint32_t> dex_register_timestamp_; // Stack map index of last change. |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 135 | size_t expected_num_dex_registers_; |
| 136 | |
| 137 | // Temporary variables used in CreateDexRegisterMap. |
| 138 | // They are here so that we can reuse the reserved memory. |
| 139 | ArenaBitVector temp_dex_register_mask_; |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 140 | ScopedArenaVector<BitTableBuilder<DexRegisterMapInfo>::Entry> temp_dex_register_map_; |
David Srbecky | 71ec1cc | 2018-05-18 15:57:25 +0100 | [diff] [blame] | 141 | |
David Srbecky | 049d681 | 2018-05-18 14:46:49 +0100 | [diff] [blame] | 142 | // A set of lambda functions to be executed at the end to verify |
| 143 | // the encoded data. It is generally only used in debug builds. |
| 144 | std::vector<std::function<void(CodeInfo&)>> dchecks_; |
Calin Juravle | 4f46ac5 | 2015-04-23 18:47:21 +0100 | [diff] [blame] | 145 | |
Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 146 | DISALLOW_COPY_AND_ASSIGN(StackMapStream); |
| 147 | }; |
| 148 | |
| 149 | } // namespace art |
| 150 | |
| 151 | #endif // ART_COMPILER_OPTIMIZING_STACK_MAP_STREAM_H_ |