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