blob: 4225a875b969958b61358bcaaf9f6a6cf5567b1e [file] [log] [blame]
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001/*
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
Calin Juravle6ae70962015-03-18 16:31:28 +000020#include "base/arena_containers.h"
21#include "base/bit_vector-inl.h"
Andreas Gampe2a5c4682015-08-14 08:22:54 -070022#include "base/hash_map.h"
Ian Rogers0279ebb2014-10-08 17:27:48 -070023#include "base/value_object.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010024#include "memory_region.h"
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000025#include "nodes.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010026#include "stack_map.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010027
28namespace art {
29
Roland Levillaina552e1c2015-03-26 15:01:03 +000030// Helper to build art::StackMapStream::LocationCatalogEntriesIndices.
31class LocationCatalogEntriesIndicesEmptyFn {
32 public:
33 void MakeEmpty(std::pair<DexRegisterLocation, size_t>& item) const {
34 item.first = DexRegisterLocation::None();
35 }
36 bool IsEmpty(const std::pair<DexRegisterLocation, size_t>& item) const {
37 return item.first == DexRegisterLocation::None();
38 }
39};
40
41// Hash function for art::StackMapStream::LocationCatalogEntriesIndices.
42// This hash function does not create collisions.
43class DexRegisterLocationHashFn {
44 public:
45 size_t operator()(DexRegisterLocation key) const {
46 // Concatenate `key`s fields to create a 64-bit value to be hashed.
47 int64_t kind_and_value =
48 (static_cast<int64_t>(key.kind_) << 32) | static_cast<int64_t>(key.value_);
49 return inner_hash_fn_(kind_and_value);
50 }
51 private:
52 std::hash<int64_t> inner_hash_fn_;
53};
54
55
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010056/**
Nicolas Geoffray39468442014-09-02 15:17:15 +010057 * Collects and builds stack maps for a method. All the stack maps
58 * for a method are placed in a CodeInfo object.
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010059 */
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010060class StackMapStream : public ValueObject {
61 public:
Mathieu Chartiera2f526f2017-01-19 14:48:48 -080062 explicit StackMapStream(ArenaAllocator* allocator,
63 InstructionSet instruction_set)
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000064 : allocator_(allocator),
Mathieu Chartiera2f526f2017-01-19 14:48:48 -080065 instruction_set_(instruction_set),
Vladimir Marko225b6462015-09-28 12:17:40 +010066 stack_maps_(allocator->Adapter(kArenaAllocStackMapStream)),
67 location_catalog_entries_(allocator->Adapter(kArenaAllocStackMapStream)),
Vladimir Marko1f497642015-10-05 20:34:42 +010068 location_catalog_entries_indices_(allocator->Adapter(kArenaAllocStackMapStream)),
Vladimir Marko225b6462015-09-28 12:17:40 +010069 dex_register_locations_(allocator->Adapter(kArenaAllocStackMapStream)),
70 inline_infos_(allocator->Adapter(kArenaAllocStackMapStream)),
David Srbecky45aa5982016-03-18 02:15:09 +000071 stack_masks_(allocator->Adapter(kArenaAllocStackMapStream)),
Mathieu Chartier1a20b682017-01-31 14:25:16 -080072 register_masks_(allocator->Adapter(kArenaAllocStackMapStream)),
Mathieu Chartier32289082017-02-09 15:57:37 -080073 dex_register_entries_(allocator->Adapter(kArenaAllocStackMapStream)),
Andreas Gampe8eddd2a2014-07-28 14:53:22 -070074 stack_mask_max_(-1),
Nicolas Geoffray004c2302015-03-20 10:06:38 +000075 dex_pc_max_(0),
Nicolas Geoffray896f8f72015-03-30 15:44:25 +010076 register_mask_max_(0),
Calin Juravle6ae70962015-03-18 16:31:28 +000077 number_of_stack_maps_with_inline_info_(0),
Vladimir Marko225b6462015-09-28 12:17:40 +010078 dex_map_hash_to_stack_map_indices_(std::less<uint32_t>(),
79 allocator->Adapter(kArenaAllocStackMapStream)),
Calin Juravle4f46ac52015-04-23 18:47:21 +010080 current_entry_(),
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010081 current_inline_info_(),
David Srbecky09ed0982016-02-12 21:58:43 +000082 code_info_encoding_(allocator->Adapter(kArenaAllocStackMapStream)),
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010083 needed_size_(0),
84 current_dex_register_(0),
Vladimir Marko225b6462015-09-28 12:17:40 +010085 in_inline_frame_(false) {
86 stack_maps_.reserve(10);
87 location_catalog_entries_.reserve(4);
88 dex_register_locations_.reserve(10 * 4);
89 inline_infos_.reserve(2);
David Srbecky09ed0982016-02-12 21:58:43 +000090 code_info_encoding_.reserve(16);
Vladimir Marko225b6462015-09-28 12:17:40 +010091 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010092
Mathieu Chartier32289082017-02-09 15:57:37 -080093 // A dex register map entry for a single stack map entry, contains what registers are live as
94 // well as indices into the location catalog.
95 class DexRegisterMapEntry {
96 public:
97 static const size_t kOffsetUnassigned = -1;
98
99 BitVector* live_dex_registers_mask;
100 uint32_t num_dex_registers;
101 size_t locations_start_index;
102 // Computed fields
103 size_t hash = 0;
104 size_t offset = kOffsetUnassigned;
105
106 size_t ComputeSize(size_t catalog_size) const;
107 };
108
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100109 // See runtime/stack_map.h to know what these fields contain.
110 struct StackMapEntry {
111 uint32_t dex_pc;
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800112 CodeOffset native_pc_code_offset;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100113 uint32_t register_mask;
114 BitVector* sp_mask;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100115 uint8_t inlining_depth;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100116 size_t inline_infos_start_index;
David Srbecky45aa5982016-03-18 02:15:09 +0000117 uint32_t stack_mask_index;
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800118 uint32_t register_mask_index;
Mathieu Chartier32289082017-02-09 15:57:37 -0800119 DexRegisterMapEntry dex_register_entry;
120 size_t dex_register_map_index;
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800121 InvokeType invoke_type;
122 uint32_t dex_method_index;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100123 };
124
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100125 struct InlineInfoEntry {
Vladimir Marko87f3fcb2016-04-28 15:52:11 +0100126 uint32_t dex_pc; // DexFile::kDexNoIndex for intrinsified native methods.
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000127 ArtMethod* method;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100128 uint32_t method_index;
Mathieu Chartier32289082017-02-09 15:57:37 -0800129 DexRegisterMapEntry dex_register_entry;
130 size_t dex_register_map_index;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100131 };
132
Calin Juravle4f46ac52015-04-23 18:47:21 +0100133 void BeginStackMapEntry(uint32_t dex_pc,
134 uint32_t native_pc_offset,
135 uint32_t register_mask,
136 BitVector* sp_mask,
137 uint32_t num_dex_registers,
138 uint8_t inlining_depth);
139 void EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100140
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100141 void AddDexRegisterEntry(DexRegisterLocation::Kind kind, int32_t value);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000142
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800143 void AddInvoke(InvokeType type, uint32_t dex_method_index);
144
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000145 void BeginInlineInfoEntry(ArtMethod* method,
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100146 uint32_t dex_pc,
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000147 uint32_t num_dex_registers,
148 const DexFile* outer_dex_file = nullptr);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100149 void EndInlineInfoEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100150
Vladimir Markobd8c7252015-06-12 10:06:32 +0100151 size_t GetNumberOfStackMaps() const {
Vladimir Marko225b6462015-09-28 12:17:40 +0100152 return stack_maps_.size();
Vladimir Markobd8c7252015-06-12 10:06:32 +0100153 }
154
155 const StackMapEntry& GetStackMap(size_t i) const {
Vladimir Marko225b6462015-09-28 12:17:40 +0100156 return stack_maps_[i];
Vladimir Markobd8c7252015-06-12 10:06:32 +0100157 }
158
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000159 void SetStackMapNativePcOffset(size_t i, uint32_t native_pc_offset) {
Mathieu Chartier32289082017-02-09 15:57:37 -0800160 stack_maps_[i].native_pc_code_offset =
161 CodeOffset::FromOffset(native_pc_offset, instruction_set_);
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000162 }
163
Calin Juravle4f46ac52015-04-23 18:47:21 +0100164 // Prepares the stream to fill in a memory region. Must be called before FillIn.
165 // Returns the size (in bytes) needed to store this stream.
166 size_t PrepareForFillIn();
Calin Juravlec416d332015-04-23 16:01:43 +0100167 void FillIn(MemoryRegion region);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000168
Nicolas Geoffrayeeefa122015-03-13 18:52:59 +0000169 private:
Calin Juravle4f46ac52015-04-23 18:47:21 +0100170 size_t ComputeDexRegisterLocationCatalogSize() const;
Calin Juravle4f46ac52015-04-23 18:47:21 +0100171 size_t ComputeDexRegisterMapsSize() const;
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800172 void ComputeInlineInfoEncoding(InlineInfoEncoding* encoding,
173 size_t dex_register_maps_bytes);
Calin Juravle4f46ac52015-04-23 18:47:21 +0100174
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800175 CodeOffset ComputeMaxNativePcCodeOffset() const;
176
David Srbecky45aa5982016-03-18 02:15:09 +0000177 // Returns the number of unique stack masks.
178 size_t PrepareStackMasks(size_t entry_size_in_bits);
179
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800180 // Returns the number of unique register masks.
181 size_t PrepareRegisterMasks();
182
Mathieu Chartier32289082017-02-09 15:57:37 -0800183 // Deduplicate entry if possible and return the corresponding index into dex_register_entries_
184 // array. If entry is not a duplicate, a new entry is added to dex_register_entries_.
185 size_t AddDexRegisterMapEntry(const DexRegisterMapEntry& entry);
186
187 // Return true if the two dex register map entries are equal.
188 bool DexRegisterMapEntryEquals(const DexRegisterMapEntry& a, const DexRegisterMapEntry& b) const;
189
190 // Fill in the corresponding entries of a register map.
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800191 void ComputeInvokeInfoEncoding(CodeInfoEncoding* encoding);
192
193 // Returns the index of an entry with the same dex register map as the current_entry,
194 // or kNoSameDexMapFound if no such entry exists.
195 size_t FindEntryWithTheSameDexMap();
196 bool HaveTheSameDexMaps(const StackMapEntry& a, const StackMapEntry& b) const;
197
198 // Fill in the corresponding entries of a register map.
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100199 void FillInDexRegisterMap(DexRegisterMap dex_register_map,
200 uint32_t num_dex_registers,
201 const BitVector& live_dex_registers_mask,
202 uint32_t start_index_in_dex_register_locations) const;
Calin Juravle6ae70962015-03-18 16:31:28 +0000203
Mathieu Chartier32289082017-02-09 15:57:37 -0800204 // Returns the offset for the dex register inside of the dex register location region. See FillIn.
205 // Only copies the dex register map if the offset for the entry is not already assigned.
206 size_t MaybeCopyDexRegisterMap(DexRegisterMapEntry& entry,
207 size_t* current_offset,
208 MemoryRegion dex_register_locations_region);
David Srbecky1bbdfd72016-02-24 16:39:26 +0000209 void CheckDexRegisterMap(const CodeInfo& code_info,
210 const DexRegisterMap& dex_register_map,
211 size_t num_dex_registers,
212 BitVector* live_dex_registers_mask,
213 size_t dex_register_locations_index) const;
214 void CheckCodeInfo(MemoryRegion region) const;
215
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000216 ArenaAllocator* allocator_;
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800217 const InstructionSet instruction_set_;
Vladimir Marko225b6462015-09-28 12:17:40 +0100218 ArenaVector<StackMapEntry> stack_maps_;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000219
220 // A catalog of unique [location_kind, register_value] pairs (per method).
Vladimir Marko225b6462015-09-28 12:17:40 +0100221 ArenaVector<DexRegisterLocation> location_catalog_entries_;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000222 // Map from Dex register location catalog entries to their indices in the
223 // location catalog.
Vladimir Marko1f497642015-10-05 20:34:42 +0100224 using LocationCatalogEntriesIndices = ArenaHashMap<DexRegisterLocation,
225 size_t,
226 LocationCatalogEntriesIndicesEmptyFn,
227 DexRegisterLocationHashFn>;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000228 LocationCatalogEntriesIndices location_catalog_entries_indices_;
229
Calin Juravlec416d332015-04-23 16:01:43 +0100230 // A set of concatenated maps of Dex register locations indices to `location_catalog_entries_`.
Vladimir Marko225b6462015-09-28 12:17:40 +0100231 ArenaVector<size_t> dex_register_locations_;
232 ArenaVector<InlineInfoEntry> inline_infos_;
David Srbecky45aa5982016-03-18 02:15:09 +0000233 ArenaVector<uint8_t> stack_masks_;
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800234 ArenaVector<uint32_t> register_masks_;
Mathieu Chartier32289082017-02-09 15:57:37 -0800235 ArenaVector<DexRegisterMapEntry> dex_register_entries_;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100236 int stack_mask_max_;
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000237 uint32_t dex_pc_max_;
Nicolas Geoffray896f8f72015-03-30 15:44:25 +0100238 uint32_t register_mask_max_;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100239 size_t number_of_stack_maps_with_inline_info_;
240
Vladimir Marko225b6462015-09-28 12:17:40 +0100241 ArenaSafeMap<uint32_t, ArenaVector<uint32_t>> dex_map_hash_to_stack_map_indices_;
Calin Juravle6ae70962015-03-18 16:31:28 +0000242
Calin Juravle4f46ac52015-04-23 18:47:21 +0100243 StackMapEntry current_entry_;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100244 InlineInfoEntry current_inline_info_;
David Srbecky09ed0982016-02-12 21:58:43 +0000245 ArenaVector<uint8_t> code_info_encoding_;
Calin Juravle4f46ac52015-04-23 18:47:21 +0100246 size_t needed_size_;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100247 uint32_t current_dex_register_;
248 bool in_inline_frame_;
Calin Juravle4f46ac52015-04-23 18:47:21 +0100249
Calin Juravle6ae70962015-03-18 16:31:28 +0000250 static constexpr uint32_t kNoSameDexMapFound = -1;
251
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100252 DISALLOW_COPY_AND_ASSIGN(StackMapStream);
253};
254
255} // namespace art
256
257#endif // ART_COMPILER_OPTIMIZING_STACK_MAP_STREAM_H_