blob: 83ba45794ad75cb519159d82d1cfacd7ed087fb9 [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_RUNTIME_STACK_MAP_H_
18#define ART_RUNTIME_STACK_MAP_H_
19
Mathieu Chartiera2f526f2017-01-19 14:48:48 -080020#include "arch/code_offset.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010021#include "base/bit_vector.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010022#include "base/bit_utils.h"
Mathieu Chartier12f1b992017-01-19 18:00:45 -080023#include "bit_memory_region.h"
Vladimir Marko87f3fcb2016-04-28 15:52:11 +010024#include "dex_file.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010025#include "memory_region.h"
David Srbecky09ed0982016-02-12 21:58:43 +000026#include "leb128.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010027
28namespace art {
29
Vladimir Marko8f1e08a2015-06-26 12:06:30 +010030class VariableIndentationOutputStream;
31
Roland Levillaina2d8ec62015-03-12 15:25:29 +000032// Size of a frame slot, in bytes. This constant is a signed value,
33// to please the compiler in arithmetic operations involving int32_t
34// (signed) values.
Roland Levillaina552e1c2015-03-26 15:01:03 +000035static constexpr ssize_t kFrameSlotSize = 4;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000036
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000037// Size of Dex virtual registers.
Roland Levillaina552e1c2015-03-26 15:01:03 +000038static constexpr size_t kVRegSize = 4;
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000039
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000040class ArtMethod;
Nicolas Geoffray004c2302015-03-20 10:06:38 +000041class CodeInfo;
David Brazdilf677ebf2015-05-29 16:29:43 +010042class StackMapEncoding;
David Srbecky09ed0982016-02-12 21:58:43 +000043struct CodeInfoEncoding;
Nicolas Geoffray004c2302015-03-20 10:06:38 +000044
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010045/**
46 * Classes in the following file are wrapper on stack map information backed
47 * by a MemoryRegion. As such they read and write to the region, they don't have
48 * their own fields.
49 */
50
Roland Levillaina2d8ec62015-03-12 15:25:29 +000051// Dex register location container used by DexRegisterMap and StackMapStream.
52class DexRegisterLocation {
53 public:
54 /*
55 * The location kind used to populate the Dex register information in a
56 * StackMapStream can either be:
David Brazdild9cb68e2015-08-25 13:52:43 +010057 * - kStack: vreg stored on the stack, value holds the stack offset;
58 * - kInRegister: vreg stored in low 32 bits of a core physical register,
59 * value holds the register number;
60 * - kInRegisterHigh: vreg stored in high 32 bits of a core physical register,
61 * value holds the register number;
62 * - kInFpuRegister: vreg stored in low 32 bits of an FPU register,
63 * value holds the register number;
64 * - kInFpuRegisterHigh: vreg stored in high 32 bits of an FPU register,
65 * value holds the register number;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000066 * - kConstant: value holds the constant;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000067 *
68 * In addition, DexRegisterMap also uses these values:
69 * - kInStackLargeOffset: value holds a "large" stack offset (greater than
Roland Levillaina552e1c2015-03-26 15:01:03 +000070 * or equal to 128 bytes);
71 * - kConstantLargeValue: value holds a "large" constant (lower than 0, or
David Brazdild9cb68e2015-08-25 13:52:43 +010072 * or greater than or equal to 32);
73 * - kNone: the register has no location, meaning it has not been set.
Roland Levillaina2d8ec62015-03-12 15:25:29 +000074 */
75 enum class Kind : uint8_t {
76 // Short location kinds, for entries fitting on one byte (3 bits
77 // for the kind, 5 bits for the value) in a DexRegisterMap.
David Brazdild9cb68e2015-08-25 13:52:43 +010078 kInStack = 0, // 0b000
79 kInRegister = 1, // 0b001
80 kInRegisterHigh = 2, // 0b010
Roland Levillaina2d8ec62015-03-12 15:25:29 +000081 kInFpuRegister = 3, // 0b011
David Brazdild9cb68e2015-08-25 13:52:43 +010082 kInFpuRegisterHigh = 4, // 0b100
83 kConstant = 5, // 0b101
Roland Levillaina2d8ec62015-03-12 15:25:29 +000084
85 // Large location kinds, requiring a 5-byte encoding (1 byte for the
86 // kind, 4 bytes for the value).
87
88 // Stack location at a large offset, meaning that the offset value
89 // divided by the stack frame slot size (4 bytes) cannot fit on a
90 // 5-bit unsigned integer (i.e., this offset value is greater than
91 // or equal to 2^5 * 4 = 128 bytes).
David Brazdild9cb68e2015-08-25 13:52:43 +010092 kInStackLargeOffset = 6, // 0b110
Roland Levillaina2d8ec62015-03-12 15:25:29 +000093
94 // Large constant, that cannot fit on a 5-bit signed integer (i.e.,
Roland Levillaina552e1c2015-03-26 15:01:03 +000095 // lower than 0, or greater than or equal to 2^5 = 32).
David Brazdild9cb68e2015-08-25 13:52:43 +010096 kConstantLargeValue = 7, // 0b111
97
98 // Entries with no location are not stored and do not need own marker.
99 kNone = static_cast<uint8_t>(-1),
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000100
101 kLastLocationKind = kConstantLargeValue
102 };
103
104 static_assert(
105 sizeof(Kind) == 1u,
106 "art::DexRegisterLocation::Kind has a size different from one byte.");
107
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000108 static bool IsShortLocationKind(Kind kind) {
109 switch (kind) {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000110 case Kind::kInStack:
111 case Kind::kInRegister:
David Brazdild9cb68e2015-08-25 13:52:43 +0100112 case Kind::kInRegisterHigh:
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000113 case Kind::kInFpuRegister:
David Brazdild9cb68e2015-08-25 13:52:43 +0100114 case Kind::kInFpuRegisterHigh:
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000115 case Kind::kConstant:
116 return true;
117
118 case Kind::kInStackLargeOffset:
119 case Kind::kConstantLargeValue:
120 return false;
121
David Brazdild9cb68e2015-08-25 13:52:43 +0100122 case Kind::kNone:
David Srbecky7dc11782016-02-25 13:23:56 +0000123 LOG(FATAL) << "Unexpected location kind";
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000124 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100125 UNREACHABLE();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000126 }
127
128 // Convert `kind` to a "surface" kind, i.e. one that doesn't include
129 // any value with a "large" qualifier.
130 // TODO: Introduce another enum type for the surface kind?
131 static Kind ConvertToSurfaceKind(Kind kind) {
132 switch (kind) {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000133 case Kind::kInStack:
134 case Kind::kInRegister:
David Brazdild9cb68e2015-08-25 13:52:43 +0100135 case Kind::kInRegisterHigh:
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000136 case Kind::kInFpuRegister:
David Brazdild9cb68e2015-08-25 13:52:43 +0100137 case Kind::kInFpuRegisterHigh:
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000138 case Kind::kConstant:
139 return kind;
140
141 case Kind::kInStackLargeOffset:
142 return Kind::kInStack;
143
144 case Kind::kConstantLargeValue:
145 return Kind::kConstant;
146
David Brazdild9cb68e2015-08-25 13:52:43 +0100147 case Kind::kNone:
148 return kind;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000149 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100150 UNREACHABLE();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000151 }
152
Roland Levillaina552e1c2015-03-26 15:01:03 +0000153 // Required by art::StackMapStream::LocationCatalogEntriesIndices.
154 DexRegisterLocation() : kind_(Kind::kNone), value_(0) {}
155
156 DexRegisterLocation(Kind kind, int32_t value) : kind_(kind), value_(value) {}
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000157
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000158 static DexRegisterLocation None() {
159 return DexRegisterLocation(Kind::kNone, 0);
160 }
161
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000162 // Get the "surface" kind of the location, i.e., the one that doesn't
163 // include any value with a "large" qualifier.
164 Kind GetKind() const {
165 return ConvertToSurfaceKind(kind_);
166 }
167
168 // Get the value of the location.
169 int32_t GetValue() const { return value_; }
170
171 // Get the actual kind of the location.
172 Kind GetInternalKind() const { return kind_; }
173
Calin Juravle6ae70962015-03-18 16:31:28 +0000174 bool operator==(DexRegisterLocation other) const {
175 return kind_ == other.kind_ && value_ == other.value_;
176 }
177
178 bool operator!=(DexRegisterLocation other) const {
179 return !(*this == other);
180 }
181
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000182 private:
183 Kind kind_;
184 int32_t value_;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000185
186 friend class DexRegisterLocationHashFn;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000187};
188
David Srbecky7dc11782016-02-25 13:23:56 +0000189std::ostream& operator<<(std::ostream& stream, const DexRegisterLocation::Kind& kind);
190
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100191/**
Roland Levillaina552e1c2015-03-26 15:01:03 +0000192 * Store information on unique Dex register locations used in a method.
193 * The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +0100194 *
195 * [DexRegisterLocation+].
196 *
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000197 * DexRegisterLocations are either 1- or 5-byte wide (see art::DexRegisterLocation::Kind).
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100198 */
Roland Levillaina552e1c2015-03-26 15:01:03 +0000199class DexRegisterLocationCatalog {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100200 public:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000201 explicit DexRegisterLocationCatalog(MemoryRegion region) : region_(region) {}
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100202
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000203 // Short (compressed) location, fitting on one byte.
204 typedef uint8_t ShortLocation;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100205
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000206 void SetRegisterInfo(size_t offset, const DexRegisterLocation& dex_register_location) {
207 DexRegisterLocation::Kind kind = ComputeCompressedKind(dex_register_location);
208 int32_t value = dex_register_location.GetValue();
209 if (DexRegisterLocation::IsShortLocationKind(kind)) {
210 // Short location. Compress the kind and the value as a single byte.
211 if (kind == DexRegisterLocation::Kind::kInStack) {
212 // Instead of storing stack offsets expressed in bytes for
213 // short stack locations, store slot offsets. A stack offset
214 // is a multiple of 4 (kFrameSlotSize). This means that by
215 // dividing it by 4, we can fit values from the [0, 128)
216 // interval in a short stack location, and not just values
217 // from the [0, 32) interval.
218 DCHECK_EQ(value % kFrameSlotSize, 0);
219 value /= kFrameSlotSize;
220 }
Roland Levillaina552e1c2015-03-26 15:01:03 +0000221 DCHECK(IsShortValue(value)) << value;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000222 region_.StoreUnaligned<ShortLocation>(offset, MakeShortLocation(kind, value));
223 } else {
224 // Large location. Write the location on one byte and the value
225 // on 4 bytes.
Roland Levillaina552e1c2015-03-26 15:01:03 +0000226 DCHECK(!IsShortValue(value)) << value;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000227 if (kind == DexRegisterLocation::Kind::kInStackLargeOffset) {
228 // Also divide large stack offsets by 4 for the sake of consistency.
229 DCHECK_EQ(value % kFrameSlotSize, 0);
230 value /= kFrameSlotSize;
231 }
232 // Data can be unaligned as the written Dex register locations can
233 // either be 1-byte or 5-byte wide. Use
234 // art::MemoryRegion::StoreUnaligned instead of
235 // art::MemoryRegion::Store to prevent unligned word accesses on ARM.
236 region_.StoreUnaligned<DexRegisterLocation::Kind>(offset, kind);
237 region_.StoreUnaligned<int32_t>(offset + sizeof(DexRegisterLocation::Kind), value);
Roland Levillain442b46a2015-02-18 16:54:21 +0000238 }
239 }
240
Roland Levillaina552e1c2015-03-26 15:01:03 +0000241 // Find the offset of the location catalog entry number `location_catalog_entry_index`.
242 size_t FindLocationOffset(size_t location_catalog_entry_index) const {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000243 size_t offset = kFixedSize;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000244 // Skip the first `location_catalog_entry_index - 1` entries.
245 for (uint16_t i = 0; i < location_catalog_entry_index; ++i) {
246 // Read the first next byte and inspect its first 3 bits to decide
247 // whether it is a short or a large location.
248 DexRegisterLocation::Kind kind = ExtractKindAtOffset(offset);
249 if (DexRegisterLocation::IsShortLocationKind(kind)) {
250 // Short location. Skip the current byte.
251 offset += SingleShortEntrySize();
252 } else {
253 // Large location. Skip the 5 next bytes.
254 offset += SingleLargeEntrySize();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000255 }
256 }
257 return offset;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100258 }
259
Roland Levillaina552e1c2015-03-26 15:01:03 +0000260 // Get the internal kind of entry at `location_catalog_entry_index`.
261 DexRegisterLocation::Kind GetLocationInternalKind(size_t location_catalog_entry_index) const {
262 if (location_catalog_entry_index == kNoLocationEntryIndex) {
263 return DexRegisterLocation::Kind::kNone;
264 }
265 return ExtractKindAtOffset(FindLocationOffset(location_catalog_entry_index));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100266 }
267
Roland Levillaina552e1c2015-03-26 15:01:03 +0000268 // Get the (surface) kind and value of entry at `location_catalog_entry_index`.
269 DexRegisterLocation GetDexRegisterLocation(size_t location_catalog_entry_index) const {
270 if (location_catalog_entry_index == kNoLocationEntryIndex) {
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000271 return DexRegisterLocation::None();
272 }
Roland Levillaina552e1c2015-03-26 15:01:03 +0000273 size_t offset = FindLocationOffset(location_catalog_entry_index);
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000274 // Read the first byte and inspect its first 3 bits to get the location.
275 ShortLocation first_byte = region_.LoadUnaligned<ShortLocation>(offset);
276 DexRegisterLocation::Kind kind = ExtractKindFromShortLocation(first_byte);
277 if (DexRegisterLocation::IsShortLocationKind(kind)) {
278 // Short location. Extract the value from the remaining 5 bits.
279 int32_t value = ExtractValueFromShortLocation(first_byte);
280 if (kind == DexRegisterLocation::Kind::kInStack) {
281 // Convert the stack slot (short) offset to a byte offset value.
282 value *= kFrameSlotSize;
283 }
284 return DexRegisterLocation(kind, value);
285 } else {
286 // Large location. Read the four next bytes to get the value.
287 int32_t value = region_.LoadUnaligned<int32_t>(offset + sizeof(DexRegisterLocation::Kind));
288 if (kind == DexRegisterLocation::Kind::kInStackLargeOffset) {
289 // Convert the stack slot (large) offset to a byte offset value.
290 value *= kFrameSlotSize;
291 }
292 return DexRegisterLocation(kind, value);
293 }
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100294 }
295
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000296 // Compute the compressed kind of `location`.
297 static DexRegisterLocation::Kind ComputeCompressedKind(const DexRegisterLocation& location) {
David Brazdild9cb68e2015-08-25 13:52:43 +0100298 DexRegisterLocation::Kind kind = location.GetInternalKind();
299 switch (kind) {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000300 case DexRegisterLocation::Kind::kInStack:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000301 return IsShortStackOffsetValue(location.GetValue())
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000302 ? DexRegisterLocation::Kind::kInStack
303 : DexRegisterLocation::Kind::kInStackLargeOffset;
304
David Brazdild9cb68e2015-08-25 13:52:43 +0100305 case DexRegisterLocation::Kind::kInRegister:
306 case DexRegisterLocation::Kind::kInRegisterHigh:
307 DCHECK_GE(location.GetValue(), 0);
308 DCHECK_LT(location.GetValue(), 1 << kValueBits);
309 return kind;
310
311 case DexRegisterLocation::Kind::kInFpuRegister:
312 case DexRegisterLocation::Kind::kInFpuRegisterHigh:
313 DCHECK_GE(location.GetValue(), 0);
314 DCHECK_LT(location.GetValue(), 1 << kValueBits);
315 return kind;
316
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000317 case DexRegisterLocation::Kind::kConstant:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000318 return IsShortConstantValue(location.GetValue())
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000319 ? DexRegisterLocation::Kind::kConstant
320 : DexRegisterLocation::Kind::kConstantLargeValue;
321
David Brazdild9cb68e2015-08-25 13:52:43 +0100322 case DexRegisterLocation::Kind::kConstantLargeValue:
323 case DexRegisterLocation::Kind::kInStackLargeOffset:
324 case DexRegisterLocation::Kind::kNone:
David Srbecky7dc11782016-02-25 13:23:56 +0000325 LOG(FATAL) << "Unexpected location kind " << kind;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000326 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100327 UNREACHABLE();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000328 }
329
330 // Can `location` be turned into a short location?
331 static bool CanBeEncodedAsShortLocation(const DexRegisterLocation& location) {
David Brazdild9cb68e2015-08-25 13:52:43 +0100332 DexRegisterLocation::Kind kind = location.GetInternalKind();
333 switch (kind) {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000334 case DexRegisterLocation::Kind::kInStack:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000335 return IsShortStackOffsetValue(location.GetValue());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000336
David Brazdild9cb68e2015-08-25 13:52:43 +0100337 case DexRegisterLocation::Kind::kInRegister:
338 case DexRegisterLocation::Kind::kInRegisterHigh:
339 case DexRegisterLocation::Kind::kInFpuRegister:
340 case DexRegisterLocation::Kind::kInFpuRegisterHigh:
341 return true;
342
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000343 case DexRegisterLocation::Kind::kConstant:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000344 return IsShortConstantValue(location.GetValue());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000345
David Brazdild9cb68e2015-08-25 13:52:43 +0100346 case DexRegisterLocation::Kind::kConstantLargeValue:
347 case DexRegisterLocation::Kind::kInStackLargeOffset:
348 case DexRegisterLocation::Kind::kNone:
David Srbecky7dc11782016-02-25 13:23:56 +0000349 LOG(FATAL) << "Unexpected location kind " << kind;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000350 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100351 UNREACHABLE();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000352 }
353
354 static size_t EntrySize(const DexRegisterLocation& location) {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000355 return CanBeEncodedAsShortLocation(location) ? SingleShortEntrySize() : SingleLargeEntrySize();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000356 }
357
358 static size_t SingleShortEntrySize() {
359 return sizeof(ShortLocation);
360 }
361
362 static size_t SingleLargeEntrySize() {
363 return sizeof(DexRegisterLocation::Kind) + sizeof(int32_t);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100364 }
365
Roland Levillain12baf472015-03-05 12:41:42 +0000366 size_t Size() const {
367 return region_.size();
368 }
369
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100370 void Dump(VariableIndentationOutputStream* vios, const CodeInfo& code_info);
Roland Levillain0396ed72015-05-27 15:12:19 +0100371
Roland Levillaina552e1c2015-03-26 15:01:03 +0000372 // Special (invalid) Dex register location catalog entry index meaning
373 // that there is no location for a given Dex register (i.e., it is
374 // mapped to a DexRegisterLocation::Kind::kNone location).
375 static constexpr size_t kNoLocationEntryIndex = -1;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100376
Roland Levillain12baf472015-03-05 12:41:42 +0000377 private:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000378 static constexpr int kFixedSize = 0;
379
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000380 // Width of the kind "field" in a short location, in bits.
381 static constexpr size_t kKindBits = 3;
382 // Width of the value "field" in a short location, in bits.
383 static constexpr size_t kValueBits = 5;
384
385 static constexpr uint8_t kKindMask = (1 << kKindBits) - 1;
386 static constexpr int32_t kValueMask = (1 << kValueBits) - 1;
387 static constexpr size_t kKindOffset = 0;
388 static constexpr size_t kValueOffset = kKindBits;
389
Roland Levillaina552e1c2015-03-26 15:01:03 +0000390 static bool IsShortStackOffsetValue(int32_t value) {
391 DCHECK_EQ(value % kFrameSlotSize, 0);
392 return IsShortValue(value / kFrameSlotSize);
393 }
394
395 static bool IsShortConstantValue(int32_t value) {
396 return IsShortValue(value);
397 }
398
399 static bool IsShortValue(int32_t value) {
400 return IsUint<kValueBits>(value);
401 }
402
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000403 static ShortLocation MakeShortLocation(DexRegisterLocation::Kind kind, int32_t value) {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000404 uint8_t kind_integer_value = static_cast<uint8_t>(kind);
405 DCHECK(IsUint<kKindBits>(kind_integer_value)) << kind_integer_value;
406 DCHECK(IsShortValue(value)) << value;
407 return (kind_integer_value & kKindMask) << kKindOffset
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000408 | (value & kValueMask) << kValueOffset;
409 }
410
411 static DexRegisterLocation::Kind ExtractKindFromShortLocation(ShortLocation location) {
412 uint8_t kind = (location >> kKindOffset) & kKindMask;
413 DCHECK_LE(kind, static_cast<uint8_t>(DexRegisterLocation::Kind::kLastLocationKind));
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000414 // We do not encode kNone locations in the stack map.
415 DCHECK_NE(kind, static_cast<uint8_t>(DexRegisterLocation::Kind::kNone));
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000416 return static_cast<DexRegisterLocation::Kind>(kind);
417 }
418
419 static int32_t ExtractValueFromShortLocation(ShortLocation location) {
420 return (location >> kValueOffset) & kValueMask;
421 }
422
423 // Extract a location kind from the byte at position `offset`.
424 DexRegisterLocation::Kind ExtractKindAtOffset(size_t offset) const {
425 ShortLocation first_byte = region_.LoadUnaligned<ShortLocation>(offset);
426 return ExtractKindFromShortLocation(first_byte);
427 }
428
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100429 MemoryRegion region_;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000430
431 friend class CodeInfo;
432 friend class StackMapStream;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100433};
434
Roland Levillaina552e1c2015-03-26 15:01:03 +0000435/* Information on Dex register locations for a specific PC, mapping a
436 * stack map's Dex register to a location entry in a DexRegisterLocationCatalog.
437 * The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +0100438 *
439 * [live_bit_mask, entries*]
440 *
Roland Levillaina552e1c2015-03-26 15:01:03 +0000441 * where entries are concatenated unsigned integer values encoded on a number
442 * of bits (fixed per DexRegisterMap instances of a CodeInfo object) depending
443 * on the number of entries in the Dex register location catalog
444 * (see DexRegisterMap::SingleEntrySizeInBits). The map is 1-byte aligned.
445 */
446class DexRegisterMap {
447 public:
448 explicit DexRegisterMap(MemoryRegion region) : region_(region) {}
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000449 DexRegisterMap() {}
450
451 bool IsValid() const { return region_.pointer() != nullptr; }
Roland Levillaina552e1c2015-03-26 15:01:03 +0000452
453 // Get the surface kind of Dex register `dex_register_number`.
454 DexRegisterLocation::Kind GetLocationKind(uint16_t dex_register_number,
455 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100456 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000457 const CodeInfoEncoding& enc) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000458 return DexRegisterLocation::ConvertToSurfaceKind(
David Brazdilf677ebf2015-05-29 16:29:43 +0100459 GetLocationInternalKind(dex_register_number, number_of_dex_registers, code_info, enc));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000460 }
461
462 // Get the internal kind of Dex register `dex_register_number`.
463 DexRegisterLocation::Kind GetLocationInternalKind(uint16_t dex_register_number,
464 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100465 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000466 const CodeInfoEncoding& enc) const;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000467
468 // Get the Dex register location `dex_register_number`.
469 DexRegisterLocation GetDexRegisterLocation(uint16_t dex_register_number,
470 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100471 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000472 const CodeInfoEncoding& enc) const;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000473
474 int32_t GetStackOffsetInBytes(uint16_t dex_register_number,
475 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100476 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000477 const CodeInfoEncoding& enc) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000478 DexRegisterLocation location =
David Brazdilf677ebf2015-05-29 16:29:43 +0100479 GetDexRegisterLocation(dex_register_number, number_of_dex_registers, code_info, enc);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000480 DCHECK(location.GetKind() == DexRegisterLocation::Kind::kInStack);
481 // GetDexRegisterLocation returns the offset in bytes.
482 return location.GetValue();
483 }
484
485 int32_t GetConstant(uint16_t dex_register_number,
486 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100487 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000488 const CodeInfoEncoding& enc) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000489 DexRegisterLocation location =
David Brazdilf677ebf2015-05-29 16:29:43 +0100490 GetDexRegisterLocation(dex_register_number, number_of_dex_registers, code_info, enc);
David Srbecky7dc11782016-02-25 13:23:56 +0000491 DCHECK_EQ(location.GetKind(), DexRegisterLocation::Kind::kConstant);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000492 return location.GetValue();
493 }
494
495 int32_t GetMachineRegister(uint16_t dex_register_number,
496 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100497 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000498 const CodeInfoEncoding& enc) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000499 DexRegisterLocation location =
David Brazdilf677ebf2015-05-29 16:29:43 +0100500 GetDexRegisterLocation(dex_register_number, number_of_dex_registers, code_info, enc);
David Brazdild9cb68e2015-08-25 13:52:43 +0100501 DCHECK(location.GetInternalKind() == DexRegisterLocation::Kind::kInRegister ||
502 location.GetInternalKind() == DexRegisterLocation::Kind::kInRegisterHigh ||
503 location.GetInternalKind() == DexRegisterLocation::Kind::kInFpuRegister ||
504 location.GetInternalKind() == DexRegisterLocation::Kind::kInFpuRegisterHigh)
David Srbecky7dc11782016-02-25 13:23:56 +0000505 << location.GetInternalKind();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000506 return location.GetValue();
507 }
508
509 // Get the index of the entry in the Dex register location catalog
510 // corresponding to `dex_register_number`.
511 size_t GetLocationCatalogEntryIndex(uint16_t dex_register_number,
512 uint16_t number_of_dex_registers,
513 size_t number_of_location_catalog_entries) const {
514 if (!IsDexRegisterLive(dex_register_number)) {
515 return DexRegisterLocationCatalog::kNoLocationEntryIndex;
516 }
517
518 if (number_of_location_catalog_entries == 1) {
519 // We do not allocate space for location maps in the case of a
520 // single-entry location catalog, as it is useless. The only valid
521 // entry index is 0;
522 return 0;
523 }
524
525 // The bit offset of the beginning of the map locations.
526 size_t map_locations_offset_in_bits =
527 GetLocationMappingDataOffset(number_of_dex_registers) * kBitsPerByte;
528 size_t index_in_dex_register_map = GetIndexInDexRegisterMap(dex_register_number);
529 DCHECK_LT(index_in_dex_register_map, GetNumberOfLiveDexRegisters(number_of_dex_registers));
530 // The bit size of an entry.
531 size_t map_entry_size_in_bits = SingleEntrySizeInBits(number_of_location_catalog_entries);
532 // The bit offset where `index_in_dex_register_map` is located.
533 size_t entry_offset_in_bits =
534 map_locations_offset_in_bits + index_in_dex_register_map * map_entry_size_in_bits;
535 size_t location_catalog_entry_index =
536 region_.LoadBits(entry_offset_in_bits, map_entry_size_in_bits);
537 DCHECK_LT(location_catalog_entry_index, number_of_location_catalog_entries);
538 return location_catalog_entry_index;
539 }
540
541 // Map entry at `index_in_dex_register_map` to `location_catalog_entry_index`.
542 void SetLocationCatalogEntryIndex(size_t index_in_dex_register_map,
543 size_t location_catalog_entry_index,
544 uint16_t number_of_dex_registers,
545 size_t number_of_location_catalog_entries) {
546 DCHECK_LT(index_in_dex_register_map, GetNumberOfLiveDexRegisters(number_of_dex_registers));
547 DCHECK_LT(location_catalog_entry_index, number_of_location_catalog_entries);
548
549 if (number_of_location_catalog_entries == 1) {
550 // We do not allocate space for location maps in the case of a
551 // single-entry location catalog, as it is useless.
552 return;
553 }
554
555 // The bit offset of the beginning of the map locations.
556 size_t map_locations_offset_in_bits =
557 GetLocationMappingDataOffset(number_of_dex_registers) * kBitsPerByte;
558 // The bit size of an entry.
559 size_t map_entry_size_in_bits = SingleEntrySizeInBits(number_of_location_catalog_entries);
560 // The bit offset where `index_in_dex_register_map` is located.
561 size_t entry_offset_in_bits =
562 map_locations_offset_in_bits + index_in_dex_register_map * map_entry_size_in_bits;
563 region_.StoreBits(entry_offset_in_bits, location_catalog_entry_index, map_entry_size_in_bits);
564 }
565
566 void SetLiveBitMask(uint16_t number_of_dex_registers,
567 const BitVector& live_dex_registers_mask) {
568 size_t live_bit_mask_offset_in_bits = GetLiveBitMaskOffset() * kBitsPerByte;
569 for (uint16_t i = 0; i < number_of_dex_registers; ++i) {
570 region_.StoreBit(live_bit_mask_offset_in_bits + i, live_dex_registers_mask.IsBitSet(i));
571 }
572 }
573
574 bool IsDexRegisterLive(uint16_t dex_register_number) const {
575 size_t live_bit_mask_offset_in_bits = GetLiveBitMaskOffset() * kBitsPerByte;
576 return region_.LoadBit(live_bit_mask_offset_in_bits + dex_register_number);
577 }
578
579 size_t GetNumberOfLiveDexRegisters(uint16_t number_of_dex_registers) const {
580 size_t number_of_live_dex_registers = 0;
581 for (size_t i = 0; i < number_of_dex_registers; ++i) {
582 if (IsDexRegisterLive(i)) {
583 ++number_of_live_dex_registers;
584 }
585 }
586 return number_of_live_dex_registers;
587 }
588
589 static size_t GetLiveBitMaskOffset() {
590 return kFixedSize;
591 }
592
593 // Compute the size of the live register bit mask (in bytes), for a
594 // method having `number_of_dex_registers` Dex registers.
595 static size_t GetLiveBitMaskSize(uint16_t number_of_dex_registers) {
596 return RoundUp(number_of_dex_registers, kBitsPerByte) / kBitsPerByte;
597 }
598
599 static size_t GetLocationMappingDataOffset(uint16_t number_of_dex_registers) {
600 return GetLiveBitMaskOffset() + GetLiveBitMaskSize(number_of_dex_registers);
601 }
602
603 size_t GetLocationMappingDataSize(uint16_t number_of_dex_registers,
604 size_t number_of_location_catalog_entries) const {
605 size_t location_mapping_data_size_in_bits =
606 GetNumberOfLiveDexRegisters(number_of_dex_registers)
607 * SingleEntrySizeInBits(number_of_location_catalog_entries);
608 return RoundUp(location_mapping_data_size_in_bits, kBitsPerByte) / kBitsPerByte;
609 }
610
611 // Return the size of a map entry in bits. Note that if
612 // `number_of_location_catalog_entries` equals 1, this function returns 0,
613 // which is fine, as there is no need to allocate a map for a
614 // single-entry location catalog; the only valid location catalog entry index
615 // for a live register in this case is 0 and there is no need to
616 // store it.
617 static size_t SingleEntrySizeInBits(size_t number_of_location_catalog_entries) {
618 // Handle the case of 0, as we cannot pass 0 to art::WhichPowerOf2.
619 return number_of_location_catalog_entries == 0
620 ? 0u
621 : WhichPowerOf2(RoundUpToPowerOfTwo(number_of_location_catalog_entries));
622 }
623
624 // Return the size of the DexRegisterMap object, in bytes.
625 size_t Size() const {
626 return region_.size();
627 }
628
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100629 void Dump(VariableIndentationOutputStream* vios,
630 const CodeInfo& code_info, uint16_t number_of_dex_registers) const;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100631
Roland Levillaina552e1c2015-03-26 15:01:03 +0000632 private:
633 // Return the index in the Dex register map corresponding to the Dex
634 // register number `dex_register_number`.
635 size_t GetIndexInDexRegisterMap(uint16_t dex_register_number) const {
636 if (!IsDexRegisterLive(dex_register_number)) {
637 return kInvalidIndexInDexRegisterMap;
638 }
639 return GetNumberOfLiveDexRegisters(dex_register_number);
640 }
641
642 // Special (invalid) Dex register map entry index meaning that there
643 // is no index in the map for a given Dex register (i.e., it must
644 // have been mapped to a DexRegisterLocation::Kind::kNone location).
645 static constexpr size_t kInvalidIndexInDexRegisterMap = -1;
646
647 static constexpr int kFixedSize = 0;
648
649 MemoryRegion region_;
650
651 friend class CodeInfo;
652 friend class StackMapStream;
653};
654
David Srbecky09ed0982016-02-12 21:58:43 +0000655// Represents bit range of bit-packed integer field.
656// We reuse the idea from ULEB128p1 to support encoding of -1 (aka 0xFFFFFFFF).
657// If min_value is set to -1, we implicitly subtract one from any loaded value,
658// and add one to any stored value. This is generalized to any negative values.
659// In other words, min_value acts as a base and the stored value is added to it.
660struct FieldEncoding {
661 FieldEncoding(size_t start_offset, size_t end_offset, int32_t min_value = 0)
662 : start_offset_(start_offset), end_offset_(end_offset), min_value_(min_value) {
663 DCHECK_LE(start_offset_, end_offset_);
664 DCHECK_LE(BitSize(), 32u);
665 }
666
667 ALWAYS_INLINE size_t BitSize() const { return end_offset_ - start_offset_; }
668
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800669 template <typename Region>
670 ALWAYS_INLINE int32_t Load(const Region& region) const {
David Srbecky09ed0982016-02-12 21:58:43 +0000671 DCHECK_LE(end_offset_, region.size_in_bits());
Mathieu Chartier3ceedc02017-01-25 11:11:02 -0800672 return static_cast<int32_t>(region.LoadBits(start_offset_, BitSize())) + min_value_;
David Srbecky09ed0982016-02-12 21:58:43 +0000673 }
674
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800675 template <typename Region>
676 ALWAYS_INLINE void Store(Region region, int32_t value) const {
David Srbecky09ed0982016-02-12 21:58:43 +0000677 region.StoreBits(start_offset_, value - min_value_, BitSize());
678 DCHECK_EQ(Load(region), value);
679 }
680
681 private:
682 size_t start_offset_;
683 size_t end_offset_;
684 int32_t min_value_;
685};
686
David Brazdilf677ebf2015-05-29 16:29:43 +0100687class StackMapEncoding {
688 public:
689 StackMapEncoding() {}
690
David Srbecky09ed0982016-02-12 21:58:43 +0000691 // Set stack map bit layout based on given sizes.
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800692 // Returns the size of stack map in bits.
David Srbecky09ed0982016-02-12 21:58:43 +0000693 size_t SetFromSizes(size_t native_pc_max,
694 size_t dex_pc_max,
695 size_t dex_register_map_size,
696 size_t inline_info_size,
697 size_t register_mask_max,
David Srbecky45aa5982016-03-18 02:15:09 +0000698 size_t number_of_stack_masks) {
699 total_bit_size_ = 0;
700 DCHECK_EQ(kNativePcBitOffset, total_bit_size_);
701 total_bit_size_ += MinimumBitsToStore(native_pc_max);
David Brazdilf677ebf2015-05-29 16:29:43 +0100702
David Srbecky45aa5982016-03-18 02:15:09 +0000703 dex_pc_bit_offset_ = total_bit_size_;
704 total_bit_size_ += MinimumBitsToStore(1 /* kNoDexPc */ + dex_pc_max);
David Srbecky09ed0982016-02-12 21:58:43 +0000705
706 // We also need +1 for kNoDexRegisterMap, but since the size is strictly
707 // greater than any offset we might try to encode, we already implicitly have it.
David Srbecky45aa5982016-03-18 02:15:09 +0000708 dex_register_map_bit_offset_ = total_bit_size_;
709 total_bit_size_ += MinimumBitsToStore(dex_register_map_size);
David Srbecky09ed0982016-02-12 21:58:43 +0000710
711 // We also need +1 for kNoInlineInfo, but since the inline_info_size is strictly
712 // greater than the offset we might try to encode, we already implicitly have it.
713 // If inline_info_size is zero, we can encode only kNoInlineInfo (in zero bits).
David Srbecky45aa5982016-03-18 02:15:09 +0000714 inline_info_bit_offset_ = total_bit_size_;
David Srbecky09ed0982016-02-12 21:58:43 +0000715 if (inline_info_size != 0) {
David Srbecky45aa5982016-03-18 02:15:09 +0000716 total_bit_size_ += MinimumBitsToStore(dex_register_map_size + inline_info_size);
David Srbecky09ed0982016-02-12 21:58:43 +0000717 }
718
David Srbecky45aa5982016-03-18 02:15:09 +0000719 register_mask_bit_offset_ = total_bit_size_;
720 total_bit_size_ += MinimumBitsToStore(register_mask_max);
David Srbecky09ed0982016-02-12 21:58:43 +0000721
David Srbecky45aa5982016-03-18 02:15:09 +0000722 stack_mask_index_bit_offset_ = total_bit_size_;
723 total_bit_size_ += MinimumBitsToStore(number_of_stack_masks);
David Srbecky09ed0982016-02-12 21:58:43 +0000724
David Srbecky45aa5982016-03-18 02:15:09 +0000725 return total_bit_size_;
David Brazdilf677ebf2015-05-29 16:29:43 +0100726 }
727
David Srbecky09ed0982016-02-12 21:58:43 +0000728 ALWAYS_INLINE FieldEncoding GetNativePcEncoding() const {
729 return FieldEncoding(kNativePcBitOffset, dex_pc_bit_offset_);
730 }
731 ALWAYS_INLINE FieldEncoding GetDexPcEncoding() const {
732 return FieldEncoding(dex_pc_bit_offset_, dex_register_map_bit_offset_, -1 /* min_value */);
733 }
734 ALWAYS_INLINE FieldEncoding GetDexRegisterMapEncoding() const {
735 return FieldEncoding(dex_register_map_bit_offset_, inline_info_bit_offset_, -1 /* min_value */);
736 }
737 ALWAYS_INLINE FieldEncoding GetInlineInfoEncoding() const {
738 return FieldEncoding(inline_info_bit_offset_, register_mask_bit_offset_, -1 /* min_value */);
739 }
740 ALWAYS_INLINE FieldEncoding GetRegisterMaskEncoding() const {
David Srbecky45aa5982016-03-18 02:15:09 +0000741 return FieldEncoding(register_mask_bit_offset_, stack_mask_index_bit_offset_);
David Srbecky09ed0982016-02-12 21:58:43 +0000742 }
David Srbecky45aa5982016-03-18 02:15:09 +0000743 ALWAYS_INLINE FieldEncoding GetStackMaskIndexEncoding() const {
744 return FieldEncoding(stack_mask_index_bit_offset_, total_bit_size_);
David Brazdilf677ebf2015-05-29 16:29:43 +0100745 }
David Srbecky45aa5982016-03-18 02:15:09 +0000746 ALWAYS_INLINE size_t BitSize() const {
747 return total_bit_size_;
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800748 }
David Brazdilf677ebf2015-05-29 16:29:43 +0100749
David Srbecky09ed0982016-02-12 21:58:43 +0000750 void Dump(VariableIndentationOutputStream* vios) const;
David Brazdilf677ebf2015-05-29 16:29:43 +0100751
752 private:
David Srbecky09ed0982016-02-12 21:58:43 +0000753 static constexpr size_t kNativePcBitOffset = 0;
754 uint8_t dex_pc_bit_offset_;
755 uint8_t dex_register_map_bit_offset_;
756 uint8_t inline_info_bit_offset_;
757 uint8_t register_mask_bit_offset_;
David Srbecky45aa5982016-03-18 02:15:09 +0000758 uint8_t stack_mask_index_bit_offset_;
759 uint8_t total_bit_size_;
David Brazdilf677ebf2015-05-29 16:29:43 +0100760};
761
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100762/**
763 * A Stack Map holds compilation information for a specific PC necessary for:
764 * - Mapping it to a dex PC,
765 * - Knowing which stack entries are objects,
766 * - Knowing which registers hold objects,
767 * - Knowing the inlining information,
768 * - Knowing the values of dex registers.
769 *
770 * The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +0100771 *
David Srbecky09ed0982016-02-12 21:58:43 +0000772 * [native_pc_offset, dex_pc, dex_register_map_offset, inlining_info_offset, register_mask,
David Srbecky45aa5982016-03-18 02:15:09 +0000773 * stack_mask_index].
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100774 */
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100775class StackMap {
776 public:
Nicolas Geoffraye12997f2015-05-22 14:01:33 +0100777 StackMap() {}
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800778 explicit StackMap(BitMemoryRegion region) : region_(region) {}
Nicolas Geoffraye12997f2015-05-22 14:01:33 +0100779
David Srbecky09ed0982016-02-12 21:58:43 +0000780 ALWAYS_INLINE bool IsValid() const { return region_.pointer() != nullptr; }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100781
David Srbecky09ed0982016-02-12 21:58:43 +0000782 ALWAYS_INLINE uint32_t GetDexPc(const StackMapEncoding& encoding) const {
783 return encoding.GetDexPcEncoding().Load(region_);
David Brazdilf677ebf2015-05-29 16:29:43 +0100784 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100785
David Srbecky09ed0982016-02-12 21:58:43 +0000786 ALWAYS_INLINE void SetDexPc(const StackMapEncoding& encoding, uint32_t dex_pc) {
787 encoding.GetDexPcEncoding().Store(region_, dex_pc);
David Brazdilf677ebf2015-05-29 16:29:43 +0100788 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100789
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800790 ALWAYS_INLINE uint32_t GetNativePcOffset(const StackMapEncoding& encoding,
791 InstructionSet instruction_set) const {
792 CodeOffset offset(
793 CodeOffset::FromCompressedOffset(encoding.GetNativePcEncoding().Load(region_)));
794 return offset.Uint32Value(instruction_set);
David Brazdilf677ebf2015-05-29 16:29:43 +0100795 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100796
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800797 ALWAYS_INLINE void SetNativePcCodeOffset(const StackMapEncoding& encoding,
798 CodeOffset native_pc_offset) {
799 encoding.GetNativePcEncoding().Store(region_, native_pc_offset.CompressedValue());
David Brazdilf677ebf2015-05-29 16:29:43 +0100800 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100801
David Srbecky09ed0982016-02-12 21:58:43 +0000802 ALWAYS_INLINE uint32_t GetDexRegisterMapOffset(const StackMapEncoding& encoding) const {
803 return encoding.GetDexRegisterMapEncoding().Load(region_);
David Brazdilf677ebf2015-05-29 16:29:43 +0100804 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100805
David Srbecky09ed0982016-02-12 21:58:43 +0000806 ALWAYS_INLINE void SetDexRegisterMapOffset(const StackMapEncoding& encoding, uint32_t offset) {
807 encoding.GetDexRegisterMapEncoding().Store(region_, offset);
David Brazdilf677ebf2015-05-29 16:29:43 +0100808 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100809
David Srbecky09ed0982016-02-12 21:58:43 +0000810 ALWAYS_INLINE uint32_t GetInlineDescriptorOffset(const StackMapEncoding& encoding) const {
811 return encoding.GetInlineInfoEncoding().Load(region_);
David Brazdilf677ebf2015-05-29 16:29:43 +0100812 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100813
David Srbecky09ed0982016-02-12 21:58:43 +0000814 ALWAYS_INLINE void SetInlineDescriptorOffset(const StackMapEncoding& encoding, uint32_t offset) {
815 encoding.GetInlineInfoEncoding().Store(region_, offset);
David Brazdilf677ebf2015-05-29 16:29:43 +0100816 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100817
David Srbecky09ed0982016-02-12 21:58:43 +0000818 ALWAYS_INLINE uint32_t GetRegisterMask(const StackMapEncoding& encoding) const {
819 return encoding.GetRegisterMaskEncoding().Load(region_);
David Brazdilf677ebf2015-05-29 16:29:43 +0100820 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100821
David Srbecky09ed0982016-02-12 21:58:43 +0000822 ALWAYS_INLINE void SetRegisterMask(const StackMapEncoding& encoding, uint32_t mask) {
823 encoding.GetRegisterMaskEncoding().Store(region_, mask);
David Brazdilf677ebf2015-05-29 16:29:43 +0100824 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100825
David Srbecky45aa5982016-03-18 02:15:09 +0000826 ALWAYS_INLINE uint32_t GetStackMaskIndex(const StackMapEncoding& encoding) const {
827 return encoding.GetStackMaskIndexEncoding().Load(region_);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100828 }
829
David Srbecky45aa5982016-03-18 02:15:09 +0000830 ALWAYS_INLINE void SetStackMaskIndex(const StackMapEncoding& encoding, uint32_t mask) {
831 encoding.GetStackMaskIndexEncoding().Store(region_, mask);
David Srbecky09ed0982016-02-12 21:58:43 +0000832 }
833
834 ALWAYS_INLINE bool HasDexRegisterMap(const StackMapEncoding& encoding) const {
David Brazdilf677ebf2015-05-29 16:29:43 +0100835 return GetDexRegisterMapOffset(encoding) != kNoDexRegisterMap;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100836 }
837
David Srbecky09ed0982016-02-12 21:58:43 +0000838 ALWAYS_INLINE bool HasInlineInfo(const StackMapEncoding& encoding) const {
David Brazdilf677ebf2015-05-29 16:29:43 +0100839 return GetInlineDescriptorOffset(encoding) != kNoInlineInfo;
Roland Levillain442b46a2015-02-18 16:54:21 +0000840 }
841
David Srbecky09ed0982016-02-12 21:58:43 +0000842 ALWAYS_INLINE bool Equals(const StackMap& other) const {
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800843 return region_.pointer() == other.region_.pointer() &&
844 region_.size() == other.region_.size() &&
845 region_.BitOffset() == other.region_.BitOffset();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100846 }
847
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100848 void Dump(VariableIndentationOutputStream* vios,
Roland Levillainf2650d12015-05-28 14:53:28 +0100849 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000850 const CodeInfoEncoding& encoding,
Roland Levillainf2650d12015-05-28 14:53:28 +0100851 uint32_t code_offset,
852 uint16_t number_of_dex_registers,
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800853 InstructionSet instruction_set,
Roland Levillainf2650d12015-05-28 14:53:28 +0100854 const std::string& header_suffix = "") const;
855
Roland Levillain442b46a2015-02-18 16:54:21 +0000856 // Special (invalid) offset for the DexRegisterMapOffset field meaning
857 // that there is no Dex register map for this stack map.
858 static constexpr uint32_t kNoDexRegisterMap = -1;
859
860 // Special (invalid) offset for the InlineDescriptorOffset field meaning
861 // that there is no inline info for this stack map.
862 static constexpr uint32_t kNoInlineInfo = -1;
863
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100864 private:
Nicolas Geoffray896f8f72015-03-30 15:44:25 +0100865 static constexpr int kFixedSize = 0;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100866
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800867 BitMemoryRegion region_;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100868
Nicolas Geoffray39468442014-09-02 15:17:15 +0100869 friend class StackMapStream;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100870};
871
David Srbecky61b28a12016-02-25 21:55:03 +0000872class InlineInfoEncoding {
873 public:
874 void SetFromSizes(size_t method_index_max,
875 size_t dex_pc_max,
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000876 size_t extra_data_max,
David Srbecky61b28a12016-02-25 21:55:03 +0000877 size_t dex_register_map_size) {
878 total_bit_size_ = kMethodIndexBitOffset;
879 total_bit_size_ += MinimumBitsToStore(method_index_max);
880
881 dex_pc_bit_offset_ = dchecked_integral_cast<uint8_t>(total_bit_size_);
Vladimir Marko87f3fcb2016-04-28 15:52:11 +0100882 // Note: We're not encoding the dex pc if there is none. That's the case
883 // for an intrinsified native method, such as String.charAt().
884 if (dex_pc_max != DexFile::kDexNoIndex) {
885 total_bit_size_ += MinimumBitsToStore(1 /* kNoDexPc */ + dex_pc_max);
886 }
David Srbecky61b28a12016-02-25 21:55:03 +0000887
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000888 extra_data_bit_offset_ = dchecked_integral_cast<uint8_t>(total_bit_size_);
889 total_bit_size_ += MinimumBitsToStore(extra_data_max);
David Srbecky61b28a12016-02-25 21:55:03 +0000890
891 // We also need +1 for kNoDexRegisterMap, but since the size is strictly
892 // greater than any offset we might try to encode, we already implicitly have it.
893 dex_register_map_bit_offset_ = dchecked_integral_cast<uint8_t>(total_bit_size_);
894 total_bit_size_ += MinimumBitsToStore(dex_register_map_size);
895 }
896
897 ALWAYS_INLINE FieldEncoding GetMethodIndexEncoding() const {
898 return FieldEncoding(kMethodIndexBitOffset, dex_pc_bit_offset_);
899 }
900 ALWAYS_INLINE FieldEncoding GetDexPcEncoding() const {
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000901 return FieldEncoding(dex_pc_bit_offset_, extra_data_bit_offset_, -1 /* min_value */);
David Srbecky61b28a12016-02-25 21:55:03 +0000902 }
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000903 ALWAYS_INLINE FieldEncoding GetExtraDataEncoding() const {
904 return FieldEncoding(extra_data_bit_offset_, dex_register_map_bit_offset_);
David Srbecky61b28a12016-02-25 21:55:03 +0000905 }
906 ALWAYS_INLINE FieldEncoding GetDexRegisterMapEncoding() const {
907 return FieldEncoding(dex_register_map_bit_offset_, total_bit_size_, -1 /* min_value */);
908 }
909 ALWAYS_INLINE size_t GetEntrySize() const {
910 return RoundUp(total_bit_size_, kBitsPerByte) / kBitsPerByte;
911 }
912
913 void Dump(VariableIndentationOutputStream* vios) const;
914
915 private:
916 static constexpr uint8_t kIsLastBitOffset = 0;
917 static constexpr uint8_t kMethodIndexBitOffset = 1;
918 uint8_t dex_pc_bit_offset_;
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000919 uint8_t extra_data_bit_offset_;
David Srbecky61b28a12016-02-25 21:55:03 +0000920 uint8_t dex_register_map_bit_offset_;
921 uint8_t total_bit_size_;
922};
923
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100924/**
925 * Inline information for a specific PC. The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +0100926 *
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000927 * [is_last,
928 * method_index (or ArtMethod high bits),
929 * dex_pc,
930 * extra_data (ArtMethod low bits or 1),
931 * dex_register_map_offset]+.
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100932 */
933class InlineInfo {
934 public:
David Srbecky61b28a12016-02-25 21:55:03 +0000935 explicit InlineInfo(MemoryRegion region) : region_(region) {
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100936 }
937
David Srbecky61b28a12016-02-25 21:55:03 +0000938 ALWAYS_INLINE uint32_t GetDepth(const InlineInfoEncoding& encoding) const {
939 size_t depth = 0;
940 while (!GetRegionAtDepth(encoding, depth++).LoadBit(0)) { } // Check is_last bit.
941 return depth;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100942 }
943
David Srbecky61b28a12016-02-25 21:55:03 +0000944 ALWAYS_INLINE void SetDepth(const InlineInfoEncoding& encoding, uint32_t depth) {
945 DCHECK_GT(depth, 0u);
946 for (size_t d = 0; d < depth; ++d) {
947 GetRegionAtDepth(encoding, d).StoreBit(0, d == depth - 1); // Set is_last bit.
948 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100949 }
950
David Srbecky61b28a12016-02-25 21:55:03 +0000951 ALWAYS_INLINE uint32_t GetMethodIndexAtDepth(const InlineInfoEncoding& encoding,
952 uint32_t depth) const {
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000953 DCHECK(!EncodesArtMethodAtDepth(encoding, depth));
David Srbecky61b28a12016-02-25 21:55:03 +0000954 return encoding.GetMethodIndexEncoding().Load(GetRegionAtDepth(encoding, depth));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100955 }
956
David Srbecky61b28a12016-02-25 21:55:03 +0000957 ALWAYS_INLINE void SetMethodIndexAtDepth(const InlineInfoEncoding& encoding,
958 uint32_t depth,
959 uint32_t index) {
960 encoding.GetMethodIndexEncoding().Store(GetRegionAtDepth(encoding, depth), index);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100961 }
962
David Srbecky61b28a12016-02-25 21:55:03 +0000963 ALWAYS_INLINE uint32_t GetDexPcAtDepth(const InlineInfoEncoding& encoding,
964 uint32_t depth) const {
965 return encoding.GetDexPcEncoding().Load(GetRegionAtDepth(encoding, depth));
Nicolas Geoffrayb176d7c2015-05-20 18:48:31 +0100966 }
967
David Srbecky61b28a12016-02-25 21:55:03 +0000968 ALWAYS_INLINE void SetDexPcAtDepth(const InlineInfoEncoding& encoding,
969 uint32_t depth,
970 uint32_t dex_pc) {
971 encoding.GetDexPcEncoding().Store(GetRegionAtDepth(encoding, depth), dex_pc);
Nicolas Geoffrayb176d7c2015-05-20 18:48:31 +0100972 }
973
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000974 ALWAYS_INLINE bool EncodesArtMethodAtDepth(const InlineInfoEncoding& encoding,
975 uint32_t depth) const {
976 return (encoding.GetExtraDataEncoding().Load(GetRegionAtDepth(encoding, depth)) & 1) == 0;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100977 }
978
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000979 ALWAYS_INLINE void SetExtraDataAtDepth(const InlineInfoEncoding& encoding,
980 uint32_t depth,
981 uint32_t extra_data) {
982 encoding.GetExtraDataEncoding().Store(GetRegionAtDepth(encoding, depth), extra_data);
983 }
984
985 ALWAYS_INLINE ArtMethod* GetArtMethodAtDepth(const InlineInfoEncoding& encoding,
986 uint32_t depth) const {
987 uint32_t low_bits = encoding.GetExtraDataEncoding().Load(GetRegionAtDepth(encoding, depth));
988 uint32_t high_bits = encoding.GetMethodIndexEncoding().Load(GetRegionAtDepth(encoding, depth));
989 if (high_bits == 0) {
990 return reinterpret_cast<ArtMethod*>(low_bits);
991 } else {
992 uint64_t address = high_bits;
993 address = address << 32;
994 return reinterpret_cast<ArtMethod*>(address | low_bits);
995 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100996 }
997
David Srbecky61b28a12016-02-25 21:55:03 +0000998 ALWAYS_INLINE uint32_t GetDexRegisterMapOffsetAtDepth(const InlineInfoEncoding& encoding,
999 uint32_t depth) const {
1000 return encoding.GetDexRegisterMapEncoding().Load(GetRegionAtDepth(encoding, depth));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001001 }
1002
David Srbecky61b28a12016-02-25 21:55:03 +00001003 ALWAYS_INLINE void SetDexRegisterMapOffsetAtDepth(const InlineInfoEncoding& encoding,
1004 uint32_t depth,
1005 uint32_t offset) {
1006 encoding.GetDexRegisterMapEncoding().Store(GetRegionAtDepth(encoding, depth), offset);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001007 }
1008
David Srbecky61b28a12016-02-25 21:55:03 +00001009 ALWAYS_INLINE bool HasDexRegisterMapAtDepth(const InlineInfoEncoding& encoding,
1010 uint32_t depth) const {
1011 return GetDexRegisterMapOffsetAtDepth(encoding, depth) != StackMap::kNoDexRegisterMap;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001012 }
1013
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001014 void Dump(VariableIndentationOutputStream* vios,
David Srbecky61b28a12016-02-25 21:55:03 +00001015 const CodeInfo& info,
1016 uint16_t* number_of_dex_registers) const;
Roland Levillain1c1da432015-07-16 11:54:44 +01001017
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001018 private:
David Srbecky61b28a12016-02-25 21:55:03 +00001019 ALWAYS_INLINE MemoryRegion GetRegionAtDepth(const InlineInfoEncoding& encoding,
1020 uint32_t depth) const {
1021 size_t entry_size = encoding.GetEntrySize();
1022 DCHECK_GT(entry_size, 0u);
1023 return region_.Subregion(depth * entry_size, entry_size);
1024 }
Nicolas Geoffrayb176d7c2015-05-20 18:48:31 +01001025
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001026 MemoryRegion region_;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001027};
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001028
David Srbecky09ed0982016-02-12 21:58:43 +00001029// Most of the fields are encoded as ULEB128 to save space.
1030struct CodeInfoEncoding {
1031 uint32_t non_header_size;
1032 uint32_t number_of_stack_maps;
David Srbecky45aa5982016-03-18 02:15:09 +00001033 uint32_t number_of_stack_masks;
1034 uint32_t stack_mask_size_in_bits;
David Srbecky09ed0982016-02-12 21:58:43 +00001035 uint32_t number_of_location_catalog_entries;
1036 StackMapEncoding stack_map_encoding;
David Srbecky61b28a12016-02-25 21:55:03 +00001037 InlineInfoEncoding inline_info_encoding;
David Srbecky09ed0982016-02-12 21:58:43 +00001038 uint8_t header_size;
1039
1040 CodeInfoEncoding() { }
1041
1042 explicit CodeInfoEncoding(const void* data) {
1043 const uint8_t* ptr = reinterpret_cast<const uint8_t*>(data);
1044 non_header_size = DecodeUnsignedLeb128(&ptr);
1045 number_of_stack_maps = DecodeUnsignedLeb128(&ptr);
David Srbecky45aa5982016-03-18 02:15:09 +00001046 number_of_stack_masks = DecodeUnsignedLeb128(&ptr);
1047 stack_mask_size_in_bits = DecodeUnsignedLeb128(&ptr);
David Srbecky09ed0982016-02-12 21:58:43 +00001048 number_of_location_catalog_entries = DecodeUnsignedLeb128(&ptr);
David Srbecky61b28a12016-02-25 21:55:03 +00001049 static_assert(alignof(StackMapEncoding) == 1,
1050 "StackMapEncoding should not require alignment");
David Srbecky09ed0982016-02-12 21:58:43 +00001051 stack_map_encoding = *reinterpret_cast<const StackMapEncoding*>(ptr);
1052 ptr += sizeof(StackMapEncoding);
David Srbecky61b28a12016-02-25 21:55:03 +00001053 if (stack_map_encoding.GetInlineInfoEncoding().BitSize() > 0) {
1054 static_assert(alignof(InlineInfoEncoding) == 1,
1055 "InlineInfoEncoding should not require alignment");
1056 inline_info_encoding = *reinterpret_cast<const InlineInfoEncoding*>(ptr);
1057 ptr += sizeof(InlineInfoEncoding);
1058 } else {
Roland Levillain7cbd27f2016-08-11 23:53:33 +01001059 inline_info_encoding = InlineInfoEncoding{}; // NOLINT.
David Srbecky61b28a12016-02-25 21:55:03 +00001060 }
David Srbecky09ed0982016-02-12 21:58:43 +00001061 header_size = dchecked_integral_cast<uint8_t>(ptr - reinterpret_cast<const uint8_t*>(data));
1062 }
1063
1064 template<typename Vector>
1065 void Compress(Vector* dest) const {
1066 EncodeUnsignedLeb128(dest, non_header_size);
1067 EncodeUnsignedLeb128(dest, number_of_stack_maps);
David Srbecky45aa5982016-03-18 02:15:09 +00001068 EncodeUnsignedLeb128(dest, number_of_stack_masks);
1069 EncodeUnsignedLeb128(dest, stack_mask_size_in_bits);
David Srbecky09ed0982016-02-12 21:58:43 +00001070 EncodeUnsignedLeb128(dest, number_of_location_catalog_entries);
David Srbecky61b28a12016-02-25 21:55:03 +00001071 const uint8_t* stack_map_ptr = reinterpret_cast<const uint8_t*>(&stack_map_encoding);
1072 dest->insert(dest->end(), stack_map_ptr, stack_map_ptr + sizeof(StackMapEncoding));
1073 if (stack_map_encoding.GetInlineInfoEncoding().BitSize() > 0) {
1074 const uint8_t* inline_info_ptr = reinterpret_cast<const uint8_t*>(&inline_info_encoding);
1075 dest->insert(dest->end(), inline_info_ptr, inline_info_ptr + sizeof(InlineInfoEncoding));
1076 }
David Srbecky09ed0982016-02-12 21:58:43 +00001077 }
1078};
1079
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001080/**
1081 * Wrapper around all compiler information collected for a method.
1082 * The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +01001083 *
David Srbecky09ed0982016-02-12 21:58:43 +00001084 * [CodeInfoEncoding, StackMap+, DexRegisterLocationCatalog+, DexRegisterMap+, InlineInfo*]
Roland Levillain1c1da432015-07-16 11:54:44 +01001085 *
David Srbecky09ed0982016-02-12 21:58:43 +00001086 * where CodeInfoEncoding is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +01001087 *
Mathieu Chartier12f1b992017-01-19 18:00:45 -08001088 * [non_header_size, number_of_stack_maps, stack_map_size_in_bits,
David Srbecky09ed0982016-02-12 21:58:43 +00001089 * number_of_location_catalog_entries, StackMapEncoding]
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001090 */
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001091class CodeInfo {
1092 public:
David Srbecky09ed0982016-02-12 21:58:43 +00001093 explicit CodeInfo(MemoryRegion region) : region_(region) {
1094 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001095
Nicolas Geoffray39468442014-09-02 15:17:15 +01001096 explicit CodeInfo(const void* data) {
David Srbecky09ed0982016-02-12 21:58:43 +00001097 CodeInfoEncoding encoding = CodeInfoEncoding(data);
1098 region_ = MemoryRegion(const_cast<void*>(data),
1099 encoding.header_size + encoding.non_header_size);
Nicolas Geoffray39468442014-09-02 15:17:15 +01001100 }
1101
David Srbecky09ed0982016-02-12 21:58:43 +00001102 CodeInfoEncoding ExtractEncoding() const {
David Srbecky45aa5982016-03-18 02:15:09 +00001103 CodeInfoEncoding encoding(region_.begin());
Mathieu Chartier01c78142017-01-05 10:17:55 -08001104 AssertValidStackMap(encoding);
1105 return encoding;
Nicolas Geoffray896f8f72015-03-30 15:44:25 +01001106 }
1107
David Srbecky09ed0982016-02-12 21:58:43 +00001108 bool HasInlineInfo(const CodeInfoEncoding& encoding) const {
1109 return encoding.stack_map_encoding.GetInlineInfoEncoding().BitSize() > 0;
Nicolas Geoffray896f8f72015-03-30 15:44:25 +01001110 }
1111
David Srbecky09ed0982016-02-12 21:58:43 +00001112 DexRegisterLocationCatalog GetDexRegisterLocationCatalog(const CodeInfoEncoding& encoding) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +00001113 return DexRegisterLocationCatalog(region_.Subregion(
David Brazdilf677ebf2015-05-29 16:29:43 +01001114 GetDexRegisterLocationCatalogOffset(encoding),
1115 GetDexRegisterLocationCatalogSize(encoding)));
Roland Levillaina552e1c2015-03-26 15:01:03 +00001116 }
1117
Mathieu Chartier12f1b992017-01-19 18:00:45 -08001118 ALWAYS_INLINE size_t GetNumberOfStackMaskBits(const CodeInfoEncoding& encoding) const {
David Srbecky45aa5982016-03-18 02:15:09 +00001119 return encoding.stack_mask_size_in_bits;
Mathieu Chartier12f1b992017-01-19 18:00:45 -08001120 }
1121
Mingyao Yangccfa8852017-01-18 14:51:59 -08001122 ALWAYS_INLINE StackMap GetStackMapAt(size_t i, const CodeInfoEncoding& encoding) const {
David Srbecky45aa5982016-03-18 02:15:09 +00001123 const size_t map_size = encoding.stack_map_encoding.BitSize();
Mathieu Chartier12f1b992017-01-19 18:00:45 -08001124 return StackMap(BitMemoryRegion(GetStackMaps(encoding), i * map_size, map_size));
Nicolas Geoffray39468442014-09-02 15:17:15 +01001125 }
1126
David Srbecky45aa5982016-03-18 02:15:09 +00001127 BitMemoryRegion GetStackMask(const CodeInfoEncoding& encoding, size_t stack_mask_index) const {
1128 // All stack mask data is stored at the very end.
1129 const size_t entry_size = GetNumberOfStackMaskBits(encoding);
1130 return BitMemoryRegion(region_,
1131 region_.size_in_bits() - entry_size * (stack_mask_index + 1),
1132 entry_size);
1133 }
1134
1135 BitMemoryRegion GetStackMaskOf(const CodeInfoEncoding& encoding,
1136 const StackMap& stack_map) const {
1137 return GetStackMask(encoding, stack_map.GetStackMaskIndex(encoding.stack_map_encoding));
1138 }
1139
David Srbecky09ed0982016-02-12 21:58:43 +00001140 uint32_t GetNumberOfLocationCatalogEntries(const CodeInfoEncoding& encoding) const {
1141 return encoding.number_of_location_catalog_entries;
Nicolas Geoffray39468442014-09-02 15:17:15 +01001142 }
1143
David Srbecky09ed0982016-02-12 21:58:43 +00001144 uint32_t GetDexRegisterLocationCatalogSize(const CodeInfoEncoding& encoding) const {
David Brazdilf677ebf2015-05-29 16:29:43 +01001145 return ComputeDexRegisterLocationCatalogSize(GetDexRegisterLocationCatalogOffset(encoding),
David Srbecky09ed0982016-02-12 21:58:43 +00001146 GetNumberOfLocationCatalogEntries(encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +00001147 }
1148
David Srbecky09ed0982016-02-12 21:58:43 +00001149 uint32_t GetNumberOfStackMaps(const CodeInfoEncoding& encoding) const {
1150 return encoding.number_of_stack_maps;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001151 }
1152
David Srbecky45aa5982016-03-18 02:15:09 +00001153 // Get the size of all the stack maps of this CodeInfo object, in bits. Not byte aligned.
1154 ALWAYS_INLINE size_t GetStackMapsSizeInBits(const CodeInfoEncoding& encoding) const {
1155 return encoding.stack_map_encoding.BitSize() * GetNumberOfStackMaps(encoding);
1156 }
1157
David Brazdil77a48ae2015-09-15 12:34:04 +00001158 // Get the size of all the stack maps of this CodeInfo object, in bytes.
David Srbecky09ed0982016-02-12 21:58:43 +00001159 size_t GetStackMapsSize(const CodeInfoEncoding& encoding) const {
David Srbecky45aa5982016-03-18 02:15:09 +00001160 return RoundUp(GetStackMapsSizeInBits(encoding), kBitsPerByte) / kBitsPerByte;
Roland Levillain29ba1b02015-03-13 11:45:07 +00001161 }
1162
David Srbecky09ed0982016-02-12 21:58:43 +00001163 uint32_t GetDexRegisterLocationCatalogOffset(const CodeInfoEncoding& encoding) const {
1164 return GetStackMapsOffset(encoding) + GetStackMapsSize(encoding);
Nicolas Geoffray004c2302015-03-20 10:06:38 +00001165 }
1166
David Srbecky09ed0982016-02-12 21:58:43 +00001167 size_t GetDexRegisterMapsOffset(const CodeInfoEncoding& encoding) const {
David Brazdilf677ebf2015-05-29 16:29:43 +01001168 return GetDexRegisterLocationCatalogOffset(encoding)
1169 + GetDexRegisterLocationCatalogSize(encoding);
Roland Levillaina2d8ec62015-03-12 15:25:29 +00001170 }
1171
David Srbecky09ed0982016-02-12 21:58:43 +00001172 uint32_t GetStackMapsOffset(const CodeInfoEncoding& encoding) const {
1173 return encoding.header_size;
Nicolas Geoffray6530baf2015-05-26 15:22:58 +01001174 }
1175
David Brazdilf677ebf2015-05-29 16:29:43 +01001176 DexRegisterMap GetDexRegisterMapOf(StackMap stack_map,
David Srbecky09ed0982016-02-12 21:58:43 +00001177 const CodeInfoEncoding& encoding,
David Brazdilf677ebf2015-05-29 16:29:43 +01001178 uint32_t number_of_dex_registers) const {
David Srbecky09ed0982016-02-12 21:58:43 +00001179 if (!stack_map.HasDexRegisterMap(encoding.stack_map_encoding)) {
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +00001180 return DexRegisterMap();
1181 } else {
1182 uint32_t offset = GetDexRegisterMapsOffset(encoding)
David Srbecky09ed0982016-02-12 21:58:43 +00001183 + stack_map.GetDexRegisterMapOffset(encoding.stack_map_encoding);
1184 size_t size = ComputeDexRegisterMapSizeOf(encoding, offset, number_of_dex_registers);
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +00001185 return DexRegisterMap(region_.Subregion(offset, size));
1186 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001187 }
1188
Mathieu Chartier5e7c6a92017-01-17 16:38:30 -08001189 size_t GetDexRegisterMapsSize(const CodeInfoEncoding& encoding,
1190 uint32_t number_of_dex_registers) const {
1191 size_t total = 0;
1192 for (size_t i = 0, e = GetNumberOfStackMaps(encoding); i < e; ++i) {
1193 StackMap stack_map = GetStackMapAt(i, encoding);
1194 DexRegisterMap map(GetDexRegisterMapOf(stack_map, encoding, number_of_dex_registers));
1195 total += map.Size();
1196 }
1197 return total;
1198 }
1199
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001200 // Return the `DexRegisterMap` pointed by `inline_info` at depth `depth`.
1201 DexRegisterMap GetDexRegisterMapAtDepth(uint8_t depth,
1202 InlineInfo inline_info,
David Srbecky09ed0982016-02-12 21:58:43 +00001203 const CodeInfoEncoding& encoding,
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001204 uint32_t number_of_dex_registers) const {
David Srbecky61b28a12016-02-25 21:55:03 +00001205 if (!inline_info.HasDexRegisterMapAtDepth(encoding.inline_info_encoding, depth)) {
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +00001206 return DexRegisterMap();
1207 } else {
David Srbecky61b28a12016-02-25 21:55:03 +00001208 uint32_t offset = GetDexRegisterMapsOffset(encoding) +
1209 inline_info.GetDexRegisterMapOffsetAtDepth(encoding.inline_info_encoding, depth);
David Srbecky09ed0982016-02-12 21:58:43 +00001210 size_t size = ComputeDexRegisterMapSizeOf(encoding, offset, number_of_dex_registers);
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +00001211 return DexRegisterMap(region_.Subregion(offset, size));
1212 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001213 }
1214
David Srbecky09ed0982016-02-12 21:58:43 +00001215 InlineInfo GetInlineInfoOf(StackMap stack_map, const CodeInfoEncoding& encoding) const {
1216 DCHECK(stack_map.HasInlineInfo(encoding.stack_map_encoding));
1217 uint32_t offset = stack_map.GetInlineDescriptorOffset(encoding.stack_map_encoding)
David Brazdilf677ebf2015-05-29 16:29:43 +01001218 + GetDexRegisterMapsOffset(encoding);
David Srbecky61b28a12016-02-25 21:55:03 +00001219 return InlineInfo(region_.Subregion(offset, region_.size() - offset));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001220 }
1221
David Srbecky09ed0982016-02-12 21:58:43 +00001222 StackMap GetStackMapForDexPc(uint32_t dex_pc, const CodeInfoEncoding& encoding) const {
1223 for (size_t i = 0, e = GetNumberOfStackMaps(encoding); i < e; ++i) {
David Brazdilf677ebf2015-05-29 16:29:43 +01001224 StackMap stack_map = GetStackMapAt(i, encoding);
David Srbecky09ed0982016-02-12 21:58:43 +00001225 if (stack_map.GetDexPc(encoding.stack_map_encoding) == dex_pc) {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001226 return stack_map;
1227 }
1228 }
Nicolas Geoffraye12997f2015-05-22 14:01:33 +01001229 return StackMap();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001230 }
1231
David Brazdil77a48ae2015-09-15 12:34:04 +00001232 // Searches the stack map list backwards because catch stack maps are stored
1233 // at the end.
David Srbecky09ed0982016-02-12 21:58:43 +00001234 StackMap GetCatchStackMapForDexPc(uint32_t dex_pc, const CodeInfoEncoding& encoding) const {
1235 for (size_t i = GetNumberOfStackMaps(encoding); i > 0; --i) {
David Brazdil77a48ae2015-09-15 12:34:04 +00001236 StackMap stack_map = GetStackMapAt(i - 1, encoding);
David Srbecky09ed0982016-02-12 21:58:43 +00001237 if (stack_map.GetDexPc(encoding.stack_map_encoding) == dex_pc) {
David Brazdil77a48ae2015-09-15 12:34:04 +00001238 return stack_map;
1239 }
1240 }
1241 return StackMap();
1242 }
1243
David Srbecky09ed0982016-02-12 21:58:43 +00001244 StackMap GetOsrStackMapForDexPc(uint32_t dex_pc, const CodeInfoEncoding& encoding) const {
1245 size_t e = GetNumberOfStackMaps(encoding);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001246 if (e == 0) {
1247 // There cannot be OSR stack map if there is no stack map.
1248 return StackMap();
1249 }
1250 // Walk over all stack maps. If two consecutive stack maps are identical, then we
1251 // have found a stack map suitable for OSR.
David Srbecky09ed0982016-02-12 21:58:43 +00001252 const StackMapEncoding& stack_map_encoding = encoding.stack_map_encoding;
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001253 for (size_t i = 0; i < e - 1; ++i) {
1254 StackMap stack_map = GetStackMapAt(i, encoding);
David Srbecky09ed0982016-02-12 21:58:43 +00001255 if (stack_map.GetDexPc(stack_map_encoding) == dex_pc) {
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001256 StackMap other = GetStackMapAt(i + 1, encoding);
David Srbecky09ed0982016-02-12 21:58:43 +00001257 if (other.GetDexPc(stack_map_encoding) == dex_pc &&
Mathieu Chartiera2f526f2017-01-19 14:48:48 -08001258 other.GetNativePcOffset(stack_map_encoding, kRuntimeISA) ==
1259 stack_map.GetNativePcOffset(stack_map_encoding, kRuntimeISA)) {
David Srbecky09ed0982016-02-12 21:58:43 +00001260 DCHECK_EQ(other.GetDexRegisterMapOffset(stack_map_encoding),
1261 stack_map.GetDexRegisterMapOffset(stack_map_encoding));
1262 DCHECK(!stack_map.HasInlineInfo(stack_map_encoding));
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001263 if (i < e - 2) {
1264 // Make sure there are not three identical stack maps following each other.
Mathieu Chartiera2f526f2017-01-19 14:48:48 -08001265 DCHECK_NE(
1266 stack_map.GetNativePcOffset(stack_map_encoding, kRuntimeISA),
1267 GetStackMapAt(i + 2, encoding).GetNativePcOffset(stack_map_encoding, kRuntimeISA));
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001268 }
1269 return stack_map;
1270 }
1271 }
1272 }
1273 return StackMap();
1274 }
1275
David Brazdilf677ebf2015-05-29 16:29:43 +01001276 StackMap GetStackMapForNativePcOffset(uint32_t native_pc_offset,
David Srbecky09ed0982016-02-12 21:58:43 +00001277 const CodeInfoEncoding& encoding) const {
David Brazdil77a48ae2015-09-15 12:34:04 +00001278 // TODO: Safepoint stack maps are sorted by native_pc_offset but catch stack
1279 // maps are not. If we knew that the method does not have try/catch,
1280 // we could do binary search.
David Srbecky09ed0982016-02-12 21:58:43 +00001281 for (size_t i = 0, e = GetNumberOfStackMaps(encoding); i < e; ++i) {
David Brazdilf677ebf2015-05-29 16:29:43 +01001282 StackMap stack_map = GetStackMapAt(i, encoding);
Mathieu Chartiera2f526f2017-01-19 14:48:48 -08001283 if (stack_map.GetNativePcOffset(encoding.stack_map_encoding, kRuntimeISA) ==
1284 native_pc_offset) {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001285 return stack_map;
1286 }
1287 }
Nicolas Geoffraye12997f2015-05-22 14:01:33 +01001288 return StackMap();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001289 }
1290
Roland Levillainf2650d12015-05-28 14:53:28 +01001291 // Dump this CodeInfo object on `os`. `code_offset` is the (absolute)
1292 // native PC of the compiled method and `number_of_dex_registers` the
1293 // number of Dex virtual registers used in this method. If
1294 // `dump_stack_maps` is true, also dump the stack maps and the
1295 // associated Dex register maps.
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001296 void Dump(VariableIndentationOutputStream* vios,
Roland Levillainf2650d12015-05-28 14:53:28 +01001297 uint32_t code_offset,
1298 uint16_t number_of_dex_registers,
Mathieu Chartiera2f526f2017-01-19 14:48:48 -08001299 bool dump_stack_maps,
1300 InstructionSet instruction_set) const;
Nicolas Geoffray004c2302015-03-20 10:06:38 +00001301
Mathieu Chartier01c78142017-01-05 10:17:55 -08001302 // Check that the code info has valid stack map and abort if it does not.
1303 void AssertValidStackMap(const CodeInfoEncoding& encoding) const {
1304 if (region_.size() != 0 && region_.size() < GetStackMapsSize(encoding)) {
1305 LOG(FATAL) << region_.size() << "\n"
1306 << encoding.header_size << "\n"
1307 << encoding.non_header_size << "\n"
1308 << encoding.number_of_location_catalog_entries << "\n"
1309 << encoding.number_of_stack_maps << "\n"
David Srbecky45aa5982016-03-18 02:15:09 +00001310 << encoding.stack_map_encoding.BitSize();
Mathieu Chartier01c78142017-01-05 10:17:55 -08001311 }
1312 }
1313
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001314 private:
Mingyao Yangccfa8852017-01-18 14:51:59 -08001315 ALWAYS_INLINE MemoryRegion GetStackMaps(const CodeInfoEncoding& encoding) const {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001316 return region_.size() == 0
1317 ? MemoryRegion()
David Srbecky09ed0982016-02-12 21:58:43 +00001318 : region_.Subregion(GetStackMapsOffset(encoding), GetStackMapsSize(encoding));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001319 }
1320
Roland Levillaina552e1c2015-03-26 15:01:03 +00001321 // Compute the size of the Dex register map associated to the stack map at
1322 // `dex_register_map_offset_in_code_info`.
David Srbecky09ed0982016-02-12 21:58:43 +00001323 size_t ComputeDexRegisterMapSizeOf(const CodeInfoEncoding& encoding,
1324 uint32_t dex_register_map_offset_in_code_info,
Roland Levillaina552e1c2015-03-26 15:01:03 +00001325 uint16_t number_of_dex_registers) const {
1326 // Offset where the actual mapping data starts within art::DexRegisterMap.
1327 size_t location_mapping_data_offset_in_dex_register_map =
1328 DexRegisterMap::GetLocationMappingDataOffset(number_of_dex_registers);
1329 // Create a temporary art::DexRegisterMap to be able to call
1330 // art::DexRegisterMap::GetNumberOfLiveDexRegisters and
1331 DexRegisterMap dex_register_map_without_locations(
1332 MemoryRegion(region_.Subregion(dex_register_map_offset_in_code_info,
1333 location_mapping_data_offset_in_dex_register_map)));
1334 size_t number_of_live_dex_registers =
1335 dex_register_map_without_locations.GetNumberOfLiveDexRegisters(number_of_dex_registers);
1336 size_t location_mapping_data_size_in_bits =
David Srbecky09ed0982016-02-12 21:58:43 +00001337 DexRegisterMap::SingleEntrySizeInBits(GetNumberOfLocationCatalogEntries(encoding))
Roland Levillaina552e1c2015-03-26 15:01:03 +00001338 * number_of_live_dex_registers;
1339 size_t location_mapping_data_size_in_bytes =
1340 RoundUp(location_mapping_data_size_in_bits, kBitsPerByte) / kBitsPerByte;
1341 size_t dex_register_map_size =
1342 location_mapping_data_offset_in_dex_register_map + location_mapping_data_size_in_bytes;
1343 return dex_register_map_size;
1344 }
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +00001345
Roland Levillaina552e1c2015-03-26 15:01:03 +00001346 // Compute the size of a Dex register location catalog starting at offset `origin`
1347 // in `region_` and containing `number_of_dex_locations` entries.
1348 size_t ComputeDexRegisterLocationCatalogSize(uint32_t origin,
1349 uint32_t number_of_dex_locations) const {
1350 // TODO: Ideally, we would like to use art::DexRegisterLocationCatalog::Size or
1351 // art::DexRegisterLocationCatalog::FindLocationOffset, but the
1352 // DexRegisterLocationCatalog is not yet built. Try to factor common code.
1353 size_t offset = origin + DexRegisterLocationCatalog::kFixedSize;
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +00001354
Roland Levillaina552e1c2015-03-26 15:01:03 +00001355 // Skip the first `number_of_dex_locations - 1` entries.
1356 for (uint16_t i = 0; i < number_of_dex_locations; ++i) {
1357 // Read the first next byte and inspect its first 3 bits to decide
1358 // whether it is a short or a large location.
1359 DexRegisterLocationCatalog::ShortLocation first_byte =
1360 region_.LoadUnaligned<DexRegisterLocationCatalog::ShortLocation>(offset);
1361 DexRegisterLocation::Kind kind =
1362 DexRegisterLocationCatalog::ExtractKindFromShortLocation(first_byte);
1363 if (DexRegisterLocation::IsShortLocationKind(kind)) {
1364 // Short location. Skip the current byte.
1365 offset += DexRegisterLocationCatalog::SingleShortEntrySize();
1366 } else {
1367 // Large location. Skip the 5 next bytes.
1368 offset += DexRegisterLocationCatalog::SingleLargeEntrySize();
Roland Levillaina2d8ec62015-03-12 15:25:29 +00001369 }
1370 }
1371 size_t size = offset - origin;
1372 return size;
1373 }
1374
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001375 MemoryRegion region_;
Nicolas Geoffray39468442014-09-02 15:17:15 +01001376 friend class StackMapStream;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001377};
1378
Roland Levillain1c1da432015-07-16 11:54:44 +01001379#undef ELEMENT_BYTE_OFFSET_AFTER
1380#undef ELEMENT_BIT_OFFSET_AFTER
1381
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001382} // namespace art
1383
1384#endif // ART_RUNTIME_STACK_MAP_H_