blob: c758bca9512811029a26c36c23a31fb2d7c87406 [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
David Srbecky71ec1cc2018-05-18 15:57:25 +010020#include "base/allocator.h"
21#include "base/arena_bit_vector.h"
22#include "base/bit_table.h"
Calin Juravle6ae70962015-03-18 16:31:28 +000023#include "base/bit_vector-inl.h"
David Sehr1ce2b3b2018-04-05 11:02:03 -070024#include "base/memory_region.h"
Vladimir Marko174b2e22017-10-12 13:34:49 +010025#include "base/scoped_arena_containers.h"
Ian Rogers0279ebb2014-10-08 17:27:48 -070026#include "base/value_object.h"
David Srbecky71ec1cc2018-05-18 15:57:25 +010027#include "dex_register_location.h"
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -070028#include "method_info.h"
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000029#include "nodes.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010030
31namespace art {
32
David Srbecky049d6812018-05-18 14:46:49 +010033class CodeInfo;
Roland Levillaina552e1c2015-03-26 15:01:03 +000034
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010035/**
Nicolas Geoffray39468442014-09-02 15:17:15 +010036 * Collects and builds stack maps for a method. All the stack maps
37 * for a method are placed in a CodeInfo object.
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010038 */
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010039class StackMapStream : public ValueObject {
40 public:
Vladimir Marko174b2e22017-10-12 13:34:49 +010041 explicit StackMapStream(ScopedArenaAllocator* allocator, InstructionSet instruction_set)
David Srbecky71ec1cc2018-05-18 15:57:25 +010042 : instruction_set_(instruction_set),
43 stack_maps_(allocator),
44 register_masks_(allocator),
45 stack_masks_(allocator),
46 invoke_infos_(allocator),
47 inline_infos_(allocator),
48 dex_register_masks_(allocator),
49 dex_register_maps_(allocator),
50 dex_register_catalog_(allocator),
David Srbecky052f8ca2018-04-26 15:42:54 +010051 out_(allocator->Adapter(kArenaAllocStackMapStream)),
David Srbecky71ec1cc2018-05-18 15:57:25 +010052 method_infos_(allocator),
53 lazy_stack_masks_(allocator->Adapter(kArenaAllocStackMapStream)),
54 in_stack_map_(false),
55 in_inline_info_(false),
56 current_inline_infos_(0),
57 current_dex_registers_(allocator->Adapter(kArenaAllocStackMapStream)),
58 temp_dex_register_mask_(allocator, 32, true, kArenaAllocStackMapStream),
59 temp_dex_register_map_(allocator->Adapter(kArenaAllocStackMapStream)) {
Vladimir Marko225b6462015-09-28 12:17:40 +010060 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010061
Calin Juravle4f46ac52015-04-23 18:47:21 +010062 void BeginStackMapEntry(uint32_t dex_pc,
63 uint32_t native_pc_offset,
64 uint32_t register_mask,
65 BitVector* sp_mask,
66 uint32_t num_dex_registers,
67 uint8_t inlining_depth);
68 void EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010069
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010070 void AddDexRegisterEntry(DexRegisterLocation::Kind kind, int32_t value);
Nicolas Geoffray004c2302015-03-20 10:06:38 +000071
Mathieu Chartierd776ff02017-01-17 09:32:18 -080072 void AddInvoke(InvokeType type, uint32_t dex_method_index);
73
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000074 void BeginInlineInfoEntry(ArtMethod* method,
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010075 uint32_t dex_pc,
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000076 uint32_t num_dex_registers,
77 const DexFile* outer_dex_file = nullptr);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010078 void EndInlineInfoEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010079
Vladimir Markobd8c7252015-06-12 10:06:32 +010080 size_t GetNumberOfStackMaps() const {
Vladimir Marko225b6462015-09-28 12:17:40 +010081 return stack_maps_.size();
Vladimir Markobd8c7252015-06-12 10:06:32 +010082 }
83
David Srbeckyd02b23f2018-05-29 23:27:22 +010084 uint32_t GetStackMapNativePcOffset(size_t i);
85 void SetStackMapNativePcOffset(size_t i, uint32_t native_pc_offset);
Vladimir Markocf93a5c2015-06-16 11:33:24 +000086
Calin Juravle4f46ac52015-04-23 18:47:21 +010087 // Prepares the stream to fill in a memory region. Must be called before FillIn.
88 // Returns the size (in bytes) needed to store this stream.
89 size_t PrepareForFillIn();
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -070090 void FillInCodeInfo(MemoryRegion region);
91 void FillInMethodInfo(MemoryRegion region);
92
93 size_t ComputeMethodInfoSize() const;
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000094
Nicolas Geoffrayeeefa122015-03-13 18:52:59 +000095 private:
David Srbecky71ec1cc2018-05-18 15:57:25 +010096 static constexpr uint32_t kNoValue = -1;
Mathieu Chartiera2f526f2017-01-19 14:48:48 -080097
David Srbecky71ec1cc2018-05-18 15:57:25 +010098 // The fields must be uint32_t and mirror the StackMap accessor in stack_map.h!
99 struct StackMapEntry {
100 uint32_t packed_native_pc;
101 uint32_t dex_pc;
102 uint32_t register_mask_index;
103 uint32_t stack_mask_index;
104 uint32_t inline_info_index;
105 uint32_t dex_register_mask_index;
106 uint32_t dex_register_map_index;
107 };
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700108
David Srbecky71ec1cc2018-05-18 15:57:25 +0100109 // The fields must be uint32_t and mirror the InlineInfo accessor in stack_map.h!
110 struct InlineInfoEntry {
111 uint32_t is_last;
112 uint32_t dex_pc;
113 uint32_t method_info_index;
114 uint32_t art_method_hi;
115 uint32_t art_method_lo;
116 uint32_t dex_register_mask_index;
117 uint32_t dex_register_map_index;
118 };
Mathieu Chartier32289082017-02-09 15:57:37 -0800119
David Srbecky71ec1cc2018-05-18 15:57:25 +0100120 // The fields must be uint32_t and mirror the InvokeInfo accessor in stack_map.h!
121 struct InvokeInfoEntry {
122 uint32_t packed_native_pc;
123 uint32_t invoke_type;
124 uint32_t method_info_index;
125 };
Mathieu Chartier32289082017-02-09 15:57:37 -0800126
David Srbecky71ec1cc2018-05-18 15:57:25 +0100127 // The fields must be uint32_t and mirror the DexRegisterInfo accessor in stack_map.h!
128 struct DexRegisterEntry {
129 uint32_t kind;
130 uint32_t packed_value;
131 };
132
133 // The fields must be uint32_t and mirror the RegisterMask accessor in stack_map.h!
134 struct RegisterMaskEntry {
135 uint32_t value;
136 uint32_t shift;
137 };
138
139 void CreateDexRegisterMap();
Calin Juravle6ae70962015-03-18 16:31:28 +0000140
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800141 const InstructionSet instruction_set_;
David Srbecky71ec1cc2018-05-18 15:57:25 +0100142 BitTableBuilder<StackMapEntry> stack_maps_;
143 BitTableBuilder<RegisterMaskEntry> register_masks_;
144 BitmapTableBuilder stack_masks_;
145 BitTableBuilder<InvokeInfoEntry> invoke_infos_;
146 BitTableBuilder<InlineInfoEntry> inline_infos_;
147 BitmapTableBuilder dex_register_masks_;
148 BitTableBuilder<uint32_t> dex_register_maps_;
149 BitTableBuilder<DexRegisterEntry> dex_register_catalog_;
David Srbecky052f8ca2018-04-26 15:42:54 +0100150 ScopedArenaVector<uint8_t> out_;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100151
David Srbecky71ec1cc2018-05-18 15:57:25 +0100152 BitTableBuilder<uint32_t> method_infos_;
Calin Juravle6ae70962015-03-18 16:31:28 +0000153
David Srbecky71ec1cc2018-05-18 15:57:25 +0100154 ScopedArenaVector<BitVector*> lazy_stack_masks_;
155
156 // Variables which track the current state between Begin/End calls;
157 bool in_stack_map_;
158 bool in_inline_info_;
159 StackMapEntry current_stack_map_;
160 uint32_t current_inline_infos_;
161 ScopedArenaVector<DexRegisterLocation> current_dex_registers_;
162 size_t expected_num_dex_registers_;
163
164 // Temporary variables used in CreateDexRegisterMap.
165 // They are here so that we can reuse the reserved memory.
166 ArenaBitVector temp_dex_register_mask_;
167 ScopedArenaVector<uint32_t> temp_dex_register_map_;
168
David Srbecky049d6812018-05-18 14:46:49 +0100169 // A set of lambda functions to be executed at the end to verify
170 // the encoded data. It is generally only used in debug builds.
171 std::vector<std::function<void(CodeInfo&)>> dchecks_;
Calin Juravle4f46ac52015-04-23 18:47:21 +0100172
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100173 DISALLOW_COPY_AND_ASSIGN(StackMapStream);
174};
175
176} // namespace art
177
178#endif // ART_COMPILER_OPTIMIZING_STACK_MAP_STREAM_H_