blob: 990e682216d2fc9e29f867c7e4be9587763b541a [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"
Ian Rogers0279ebb2014-10-08 17:27:48 -070022#include "base/value_object.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010023#include "memory_region.h"
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000024#include "nodes.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010025#include "stack_map.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010026#include "utils/growable_array.h"
27
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:
62 explicit StackMapStream(ArenaAllocator* allocator)
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000063 : allocator_(allocator),
64 stack_maps_(allocator, 10),
Roland Levillaina552e1c2015-03-26 15:01:03 +000065 location_catalog_entries_(allocator, 4),
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000066 dex_register_locations_(allocator, 10 * 4),
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010067 inline_infos_(allocator, 2),
Andreas Gampe8eddd2a2014-07-28 14:53:22 -070068 stack_mask_max_(-1),
Nicolas Geoffray004c2302015-03-20 10:06:38 +000069 dex_pc_max_(0),
70 native_pc_offset_max_(0),
Nicolas Geoffray896f8f72015-03-30 15:44:25 +010071 register_mask_max_(0),
Calin Juravle6ae70962015-03-18 16:31:28 +000072 number_of_stack_maps_with_inline_info_(0),
73 dex_map_hash_to_stack_map_indices_(std::less<uint32_t>(), allocator->Adapter()) {}
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010074
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010075 // See runtime/stack_map.h to know what these fields contain.
76 struct StackMapEntry {
77 uint32_t dex_pc;
Nicolas Geoffray39468442014-09-02 15:17:15 +010078 uint32_t native_pc_offset;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010079 uint32_t register_mask;
80 BitVector* sp_mask;
81 uint32_t num_dex_registers;
82 uint8_t inlining_depth;
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000083 size_t dex_register_locations_start_index;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010084 size_t inline_infos_start_index;
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000085 BitVector* live_dex_registers_mask;
Calin Juravle6ae70962015-03-18 16:31:28 +000086 uint32_t dex_register_map_hash;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010087 };
88
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010089 struct InlineInfoEntry {
90 uint32_t method_index;
91 };
92
93 void AddStackMapEntry(uint32_t dex_pc,
Nicolas Geoffray39468442014-09-02 15:17:15 +010094 uint32_t native_pc_offset,
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010095 uint32_t register_mask,
96 BitVector* sp_mask,
97 uint32_t num_dex_registers,
Calin Juravlec416d332015-04-23 16:01:43 +010098 uint8_t inlining_depth);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010099
Calin Juravlec416d332015-04-23 16:01:43 +0100100 void AddDexRegisterEntry(uint16_t dex_register,
101 DexRegisterLocation::Kind kind,
102 int32_t value);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000103
Calin Juravlec416d332015-04-23 16:01:43 +0100104 void AddInlineInfoEntry(uint32_t method_index);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100105
Calin Juravlec416d332015-04-23 16:01:43 +0100106 size_t ComputeNeededSize();
107 size_t ComputeStackMaskSize() const;
108 size_t ComputeStackMapsSize();
109 size_t ComputeDexRegisterLocationCatalogSize() const;
110 size_t ComputeDexRegisterMapSize(const StackMapEntry& entry) const;
111 size_t ComputeDexRegisterMapsSize();
112 size_t ComputeInlineInfoSize() const;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100113
Calin Juravlec416d332015-04-23 16:01:43 +0100114 size_t ComputeDexRegisterLocationCatalogStart() const;
115 size_t ComputeStackMapsStart() const;
116 size_t ComputeDexRegisterMapsStart();
117 size_t ComputeInlineInfoStart();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100118
Calin Juravlec416d332015-04-23 16:01:43 +0100119 void FillIn(MemoryRegion region);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000120
Nicolas Geoffrayeeefa122015-03-13 18:52:59 +0000121 private:
Calin Juravle6ae70962015-03-18 16:31:28 +0000122 // Returns the index of an entry with the same dex register map
123 // or kNoSameDexMapFound if no such entry exists.
Calin Juravlec416d332015-04-23 16:01:43 +0100124 size_t FindEntryWithTheSameDexMap(size_t entry_index);
125 bool HaveTheSameDexMaps(const StackMapEntry& a, const StackMapEntry& b) const;
Calin Juravle6ae70962015-03-18 16:31:28 +0000126
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000127 ArenaAllocator* allocator_;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100128 GrowableArray<StackMapEntry> stack_maps_;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000129
130 // A catalog of unique [location_kind, register_value] pairs (per method).
131 GrowableArray<DexRegisterLocation> location_catalog_entries_;
132 // Map from Dex register location catalog entries to their indices in the
133 // location catalog.
134 typedef HashMap<DexRegisterLocation, size_t, LocationCatalogEntriesIndicesEmptyFn,
135 DexRegisterLocationHashFn> LocationCatalogEntriesIndices;
136 LocationCatalogEntriesIndices location_catalog_entries_indices_;
137
Calin Juravlec416d332015-04-23 16:01:43 +0100138 // A set of concatenated maps of Dex register locations indices to `location_catalog_entries_`.
Roland Levillaina552e1c2015-03-26 15:01:03 +0000139 GrowableArray<size_t> dex_register_locations_;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100140 GrowableArray<InlineInfoEntry> inline_infos_;
141 int stack_mask_max_;
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000142 uint32_t dex_pc_max_;
143 uint32_t native_pc_offset_max_;
Nicolas Geoffray896f8f72015-03-30 15:44:25 +0100144 uint32_t register_mask_max_;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100145 size_t number_of_stack_maps_with_inline_info_;
146
Calin Juravle6ae70962015-03-18 16:31:28 +0000147 ArenaSafeMap<uint32_t, GrowableArray<uint32_t>> dex_map_hash_to_stack_map_indices_;
148
149 static constexpr uint32_t kNoSameDexMapFound = -1;
150
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100151 DISALLOW_COPY_AND_ASSIGN(StackMapStream);
152};
153
154} // namespace art
155
156#endif // ART_COMPILER_OPTIMIZING_STACK_MAP_STREAM_H_