blob: ffa17c95437771f0fbf6935f94accb99098fda87 [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"
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -070026#include "method_info.h"
David Srbecky09ed0982016-02-12 21:58:43 +000027#include "leb128.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010028
29namespace art {
30
Vladimir Marko8f1e08a2015-06-26 12:06:30 +010031class VariableIndentationOutputStream;
32
Roland Levillaina2d8ec62015-03-12 15:25:29 +000033// Size of a frame slot, in bytes. This constant is a signed value,
34// to please the compiler in arithmetic operations involving int32_t
35// (signed) values.
Roland Levillaina552e1c2015-03-26 15:01:03 +000036static constexpr ssize_t kFrameSlotSize = 4;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000037
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000038// Size of Dex virtual registers.
Roland Levillaina552e1c2015-03-26 15:01:03 +000039static constexpr size_t kVRegSize = 4;
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +000040
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000041class ArtMethod;
Nicolas Geoffray004c2302015-03-20 10:06:38 +000042class CodeInfo;
David Brazdilf677ebf2015-05-29 16:29:43 +010043class StackMapEncoding;
David Srbecky09ed0982016-02-12 21:58:43 +000044struct CodeInfoEncoding;
Nicolas Geoffray004c2302015-03-20 10:06:38 +000045
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010046/**
47 * Classes in the following file are wrapper on stack map information backed
48 * by a MemoryRegion. As such they read and write to the region, they don't have
49 * their own fields.
50 */
51
Roland Levillaina2d8ec62015-03-12 15:25:29 +000052// Dex register location container used by DexRegisterMap and StackMapStream.
53class DexRegisterLocation {
54 public:
55 /*
56 * The location kind used to populate the Dex register information in a
57 * StackMapStream can either be:
David Brazdild9cb68e2015-08-25 13:52:43 +010058 * - kStack: vreg stored on the stack, value holds the stack offset;
59 * - kInRegister: vreg stored in low 32 bits of a core physical register,
60 * value holds the register number;
61 * - kInRegisterHigh: vreg stored in high 32 bits of a core physical register,
62 * value holds the register number;
63 * - kInFpuRegister: vreg stored in low 32 bits of an FPU register,
64 * value holds the register number;
65 * - kInFpuRegisterHigh: vreg stored in high 32 bits of an FPU register,
66 * value holds the register number;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000067 * - kConstant: value holds the constant;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000068 *
69 * In addition, DexRegisterMap also uses these values:
70 * - kInStackLargeOffset: value holds a "large" stack offset (greater than
Roland Levillaina552e1c2015-03-26 15:01:03 +000071 * or equal to 128 bytes);
72 * - kConstantLargeValue: value holds a "large" constant (lower than 0, or
David Brazdild9cb68e2015-08-25 13:52:43 +010073 * or greater than or equal to 32);
74 * - kNone: the register has no location, meaning it has not been set.
Roland Levillaina2d8ec62015-03-12 15:25:29 +000075 */
76 enum class Kind : uint8_t {
77 // Short location kinds, for entries fitting on one byte (3 bits
78 // for the kind, 5 bits for the value) in a DexRegisterMap.
David Brazdild9cb68e2015-08-25 13:52:43 +010079 kInStack = 0, // 0b000
80 kInRegister = 1, // 0b001
81 kInRegisterHigh = 2, // 0b010
Roland Levillaina2d8ec62015-03-12 15:25:29 +000082 kInFpuRegister = 3, // 0b011
David Brazdild9cb68e2015-08-25 13:52:43 +010083 kInFpuRegisterHigh = 4, // 0b100
84 kConstant = 5, // 0b101
Roland Levillaina2d8ec62015-03-12 15:25:29 +000085
86 // Large location kinds, requiring a 5-byte encoding (1 byte for the
87 // kind, 4 bytes for the value).
88
89 // Stack location at a large offset, meaning that the offset value
90 // divided by the stack frame slot size (4 bytes) cannot fit on a
91 // 5-bit unsigned integer (i.e., this offset value is greater than
92 // or equal to 2^5 * 4 = 128 bytes).
David Brazdild9cb68e2015-08-25 13:52:43 +010093 kInStackLargeOffset = 6, // 0b110
Roland Levillaina2d8ec62015-03-12 15:25:29 +000094
95 // Large constant, that cannot fit on a 5-bit signed integer (i.e.,
Roland Levillaina552e1c2015-03-26 15:01:03 +000096 // lower than 0, or greater than or equal to 2^5 = 32).
David Brazdild9cb68e2015-08-25 13:52:43 +010097 kConstantLargeValue = 7, // 0b111
98
99 // Entries with no location are not stored and do not need own marker.
100 kNone = static_cast<uint8_t>(-1),
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000101
102 kLastLocationKind = kConstantLargeValue
103 };
104
105 static_assert(
106 sizeof(Kind) == 1u,
107 "art::DexRegisterLocation::Kind has a size different from one byte.");
108
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000109 static bool IsShortLocationKind(Kind kind) {
110 switch (kind) {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000111 case Kind::kInStack:
112 case Kind::kInRegister:
David Brazdild9cb68e2015-08-25 13:52:43 +0100113 case Kind::kInRegisterHigh:
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000114 case Kind::kInFpuRegister:
David Brazdild9cb68e2015-08-25 13:52:43 +0100115 case Kind::kInFpuRegisterHigh:
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000116 case Kind::kConstant:
117 return true;
118
119 case Kind::kInStackLargeOffset:
120 case Kind::kConstantLargeValue:
121 return false;
122
David Brazdild9cb68e2015-08-25 13:52:43 +0100123 case Kind::kNone:
David Srbecky7dc11782016-02-25 13:23:56 +0000124 LOG(FATAL) << "Unexpected location kind";
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000125 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100126 UNREACHABLE();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000127 }
128
129 // Convert `kind` to a "surface" kind, i.e. one that doesn't include
130 // any value with a "large" qualifier.
131 // TODO: Introduce another enum type for the surface kind?
132 static Kind ConvertToSurfaceKind(Kind kind) {
133 switch (kind) {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000134 case Kind::kInStack:
135 case Kind::kInRegister:
David Brazdild9cb68e2015-08-25 13:52:43 +0100136 case Kind::kInRegisterHigh:
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000137 case Kind::kInFpuRegister:
David Brazdild9cb68e2015-08-25 13:52:43 +0100138 case Kind::kInFpuRegisterHigh:
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000139 case Kind::kConstant:
140 return kind;
141
142 case Kind::kInStackLargeOffset:
143 return Kind::kInStack;
144
145 case Kind::kConstantLargeValue:
146 return Kind::kConstant;
147
David Brazdild9cb68e2015-08-25 13:52:43 +0100148 case Kind::kNone:
149 return kind;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000150 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100151 UNREACHABLE();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000152 }
153
Roland Levillaina552e1c2015-03-26 15:01:03 +0000154 // Required by art::StackMapStream::LocationCatalogEntriesIndices.
155 DexRegisterLocation() : kind_(Kind::kNone), value_(0) {}
156
157 DexRegisterLocation(Kind kind, int32_t value) : kind_(kind), value_(value) {}
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000158
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000159 static DexRegisterLocation None() {
160 return DexRegisterLocation(Kind::kNone, 0);
161 }
162
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000163 // Get the "surface" kind of the location, i.e., the one that doesn't
164 // include any value with a "large" qualifier.
165 Kind GetKind() const {
166 return ConvertToSurfaceKind(kind_);
167 }
168
169 // Get the value of the location.
170 int32_t GetValue() const { return value_; }
171
172 // Get the actual kind of the location.
173 Kind GetInternalKind() const { return kind_; }
174
Calin Juravle6ae70962015-03-18 16:31:28 +0000175 bool operator==(DexRegisterLocation other) const {
176 return kind_ == other.kind_ && value_ == other.value_;
177 }
178
179 bool operator!=(DexRegisterLocation other) const {
180 return !(*this == other);
181 }
182
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000183 private:
184 Kind kind_;
185 int32_t value_;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000186
187 friend class DexRegisterLocationHashFn;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000188};
189
David Srbecky7dc11782016-02-25 13:23:56 +0000190std::ostream& operator<<(std::ostream& stream, const DexRegisterLocation::Kind& kind);
191
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100192/**
Roland Levillaina552e1c2015-03-26 15:01:03 +0000193 * Store information on unique Dex register locations used in a method.
194 * The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +0100195 *
196 * [DexRegisterLocation+].
197 *
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000198 * DexRegisterLocations are either 1- or 5-byte wide (see art::DexRegisterLocation::Kind).
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100199 */
Roland Levillaina552e1c2015-03-26 15:01:03 +0000200class DexRegisterLocationCatalog {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100201 public:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000202 explicit DexRegisterLocationCatalog(MemoryRegion region) : region_(region) {}
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100203
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000204 // Short (compressed) location, fitting on one byte.
205 typedef uint8_t ShortLocation;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100206
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000207 void SetRegisterInfo(size_t offset, const DexRegisterLocation& dex_register_location) {
208 DexRegisterLocation::Kind kind = ComputeCompressedKind(dex_register_location);
209 int32_t value = dex_register_location.GetValue();
210 if (DexRegisterLocation::IsShortLocationKind(kind)) {
211 // Short location. Compress the kind and the value as a single byte.
212 if (kind == DexRegisterLocation::Kind::kInStack) {
213 // Instead of storing stack offsets expressed in bytes for
214 // short stack locations, store slot offsets. A stack offset
215 // is a multiple of 4 (kFrameSlotSize). This means that by
216 // dividing it by 4, we can fit values from the [0, 128)
217 // interval in a short stack location, and not just values
218 // from the [0, 32) interval.
219 DCHECK_EQ(value % kFrameSlotSize, 0);
220 value /= kFrameSlotSize;
221 }
Roland Levillaina552e1c2015-03-26 15:01:03 +0000222 DCHECK(IsShortValue(value)) << value;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000223 region_.StoreUnaligned<ShortLocation>(offset, MakeShortLocation(kind, value));
224 } else {
225 // Large location. Write the location on one byte and the value
226 // on 4 bytes.
Roland Levillaina552e1c2015-03-26 15:01:03 +0000227 DCHECK(!IsShortValue(value)) << value;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000228 if (kind == DexRegisterLocation::Kind::kInStackLargeOffset) {
229 // Also divide large stack offsets by 4 for the sake of consistency.
230 DCHECK_EQ(value % kFrameSlotSize, 0);
231 value /= kFrameSlotSize;
232 }
233 // Data can be unaligned as the written Dex register locations can
234 // either be 1-byte or 5-byte wide. Use
235 // art::MemoryRegion::StoreUnaligned instead of
236 // art::MemoryRegion::Store to prevent unligned word accesses on ARM.
237 region_.StoreUnaligned<DexRegisterLocation::Kind>(offset, kind);
238 region_.StoreUnaligned<int32_t>(offset + sizeof(DexRegisterLocation::Kind), value);
Roland Levillain442b46a2015-02-18 16:54:21 +0000239 }
240 }
241
Roland Levillaina552e1c2015-03-26 15:01:03 +0000242 // Find the offset of the location catalog entry number `location_catalog_entry_index`.
243 size_t FindLocationOffset(size_t location_catalog_entry_index) const {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000244 size_t offset = kFixedSize;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000245 // Skip the first `location_catalog_entry_index - 1` entries.
246 for (uint16_t i = 0; i < location_catalog_entry_index; ++i) {
247 // Read the first next byte and inspect its first 3 bits to decide
248 // whether it is a short or a large location.
249 DexRegisterLocation::Kind kind = ExtractKindAtOffset(offset);
250 if (DexRegisterLocation::IsShortLocationKind(kind)) {
251 // Short location. Skip the current byte.
252 offset += SingleShortEntrySize();
253 } else {
254 // Large location. Skip the 5 next bytes.
255 offset += SingleLargeEntrySize();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000256 }
257 }
258 return offset;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100259 }
260
Roland Levillaina552e1c2015-03-26 15:01:03 +0000261 // Get the internal kind of entry at `location_catalog_entry_index`.
262 DexRegisterLocation::Kind GetLocationInternalKind(size_t location_catalog_entry_index) const {
263 if (location_catalog_entry_index == kNoLocationEntryIndex) {
264 return DexRegisterLocation::Kind::kNone;
265 }
266 return ExtractKindAtOffset(FindLocationOffset(location_catalog_entry_index));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100267 }
268
Roland Levillaina552e1c2015-03-26 15:01:03 +0000269 // Get the (surface) kind and value of entry at `location_catalog_entry_index`.
270 DexRegisterLocation GetDexRegisterLocation(size_t location_catalog_entry_index) const {
271 if (location_catalog_entry_index == kNoLocationEntryIndex) {
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000272 return DexRegisterLocation::None();
273 }
Roland Levillaina552e1c2015-03-26 15:01:03 +0000274 size_t offset = FindLocationOffset(location_catalog_entry_index);
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000275 // Read the first byte and inspect its first 3 bits to get the location.
276 ShortLocation first_byte = region_.LoadUnaligned<ShortLocation>(offset);
277 DexRegisterLocation::Kind kind = ExtractKindFromShortLocation(first_byte);
278 if (DexRegisterLocation::IsShortLocationKind(kind)) {
279 // Short location. Extract the value from the remaining 5 bits.
280 int32_t value = ExtractValueFromShortLocation(first_byte);
281 if (kind == DexRegisterLocation::Kind::kInStack) {
282 // Convert the stack slot (short) offset to a byte offset value.
283 value *= kFrameSlotSize;
284 }
285 return DexRegisterLocation(kind, value);
286 } else {
287 // Large location. Read the four next bytes to get the value.
288 int32_t value = region_.LoadUnaligned<int32_t>(offset + sizeof(DexRegisterLocation::Kind));
289 if (kind == DexRegisterLocation::Kind::kInStackLargeOffset) {
290 // Convert the stack slot (large) offset to a byte offset value.
291 value *= kFrameSlotSize;
292 }
293 return DexRegisterLocation(kind, value);
294 }
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100295 }
296
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000297 // Compute the compressed kind of `location`.
298 static DexRegisterLocation::Kind ComputeCompressedKind(const DexRegisterLocation& location) {
David Brazdild9cb68e2015-08-25 13:52:43 +0100299 DexRegisterLocation::Kind kind = location.GetInternalKind();
300 switch (kind) {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000301 case DexRegisterLocation::Kind::kInStack:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000302 return IsShortStackOffsetValue(location.GetValue())
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000303 ? DexRegisterLocation::Kind::kInStack
304 : DexRegisterLocation::Kind::kInStackLargeOffset;
305
David Brazdild9cb68e2015-08-25 13:52:43 +0100306 case DexRegisterLocation::Kind::kInRegister:
307 case DexRegisterLocation::Kind::kInRegisterHigh:
308 DCHECK_GE(location.GetValue(), 0);
309 DCHECK_LT(location.GetValue(), 1 << kValueBits);
310 return kind;
311
312 case DexRegisterLocation::Kind::kInFpuRegister:
313 case DexRegisterLocation::Kind::kInFpuRegisterHigh:
314 DCHECK_GE(location.GetValue(), 0);
315 DCHECK_LT(location.GetValue(), 1 << kValueBits);
316 return kind;
317
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000318 case DexRegisterLocation::Kind::kConstant:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000319 return IsShortConstantValue(location.GetValue())
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000320 ? DexRegisterLocation::Kind::kConstant
321 : DexRegisterLocation::Kind::kConstantLargeValue;
322
David Brazdild9cb68e2015-08-25 13:52:43 +0100323 case DexRegisterLocation::Kind::kConstantLargeValue:
324 case DexRegisterLocation::Kind::kInStackLargeOffset:
325 case DexRegisterLocation::Kind::kNone:
David Srbecky7dc11782016-02-25 13:23:56 +0000326 LOG(FATAL) << "Unexpected location kind " << kind;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000327 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100328 UNREACHABLE();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000329 }
330
331 // Can `location` be turned into a short location?
332 static bool CanBeEncodedAsShortLocation(const DexRegisterLocation& location) {
David Brazdild9cb68e2015-08-25 13:52:43 +0100333 DexRegisterLocation::Kind kind = location.GetInternalKind();
334 switch (kind) {
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000335 case DexRegisterLocation::Kind::kInStack:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000336 return IsShortStackOffsetValue(location.GetValue());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000337
David Brazdild9cb68e2015-08-25 13:52:43 +0100338 case DexRegisterLocation::Kind::kInRegister:
339 case DexRegisterLocation::Kind::kInRegisterHigh:
340 case DexRegisterLocation::Kind::kInFpuRegister:
341 case DexRegisterLocation::Kind::kInFpuRegisterHigh:
342 return true;
343
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000344 case DexRegisterLocation::Kind::kConstant:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000345 return IsShortConstantValue(location.GetValue());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000346
David Brazdild9cb68e2015-08-25 13:52:43 +0100347 case DexRegisterLocation::Kind::kConstantLargeValue:
348 case DexRegisterLocation::Kind::kInStackLargeOffset:
349 case DexRegisterLocation::Kind::kNone:
David Srbecky7dc11782016-02-25 13:23:56 +0000350 LOG(FATAL) << "Unexpected location kind " << kind;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000351 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100352 UNREACHABLE();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000353 }
354
355 static size_t EntrySize(const DexRegisterLocation& location) {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000356 return CanBeEncodedAsShortLocation(location) ? SingleShortEntrySize() : SingleLargeEntrySize();
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000357 }
358
359 static size_t SingleShortEntrySize() {
360 return sizeof(ShortLocation);
361 }
362
363 static size_t SingleLargeEntrySize() {
364 return sizeof(DexRegisterLocation::Kind) + sizeof(int32_t);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100365 }
366
Roland Levillain12baf472015-03-05 12:41:42 +0000367 size_t Size() const {
368 return region_.size();
369 }
370
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700371 void Dump(VariableIndentationOutputStream* vios,
372 const CodeInfo& code_info);
Roland Levillain0396ed72015-05-27 15:12:19 +0100373
Roland Levillaina552e1c2015-03-26 15:01:03 +0000374 // Special (invalid) Dex register location catalog entry index meaning
375 // that there is no location for a given Dex register (i.e., it is
376 // mapped to a DexRegisterLocation::Kind::kNone location).
377 static constexpr size_t kNoLocationEntryIndex = -1;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100378
Roland Levillain12baf472015-03-05 12:41:42 +0000379 private:
Roland Levillaina552e1c2015-03-26 15:01:03 +0000380 static constexpr int kFixedSize = 0;
381
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000382 // Width of the kind "field" in a short location, in bits.
383 static constexpr size_t kKindBits = 3;
384 // Width of the value "field" in a short location, in bits.
385 static constexpr size_t kValueBits = 5;
386
387 static constexpr uint8_t kKindMask = (1 << kKindBits) - 1;
388 static constexpr int32_t kValueMask = (1 << kValueBits) - 1;
389 static constexpr size_t kKindOffset = 0;
390 static constexpr size_t kValueOffset = kKindBits;
391
Roland Levillaina552e1c2015-03-26 15:01:03 +0000392 static bool IsShortStackOffsetValue(int32_t value) {
393 DCHECK_EQ(value % kFrameSlotSize, 0);
394 return IsShortValue(value / kFrameSlotSize);
395 }
396
397 static bool IsShortConstantValue(int32_t value) {
398 return IsShortValue(value);
399 }
400
401 static bool IsShortValue(int32_t value) {
402 return IsUint<kValueBits>(value);
403 }
404
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000405 static ShortLocation MakeShortLocation(DexRegisterLocation::Kind kind, int32_t value) {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000406 uint8_t kind_integer_value = static_cast<uint8_t>(kind);
407 DCHECK(IsUint<kKindBits>(kind_integer_value)) << kind_integer_value;
408 DCHECK(IsShortValue(value)) << value;
409 return (kind_integer_value & kKindMask) << kKindOffset
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000410 | (value & kValueMask) << kValueOffset;
411 }
412
413 static DexRegisterLocation::Kind ExtractKindFromShortLocation(ShortLocation location) {
414 uint8_t kind = (location >> kKindOffset) & kKindMask;
415 DCHECK_LE(kind, static_cast<uint8_t>(DexRegisterLocation::Kind::kLastLocationKind));
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000416 // We do not encode kNone locations in the stack map.
417 DCHECK_NE(kind, static_cast<uint8_t>(DexRegisterLocation::Kind::kNone));
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000418 return static_cast<DexRegisterLocation::Kind>(kind);
419 }
420
421 static int32_t ExtractValueFromShortLocation(ShortLocation location) {
422 return (location >> kValueOffset) & kValueMask;
423 }
424
425 // Extract a location kind from the byte at position `offset`.
426 DexRegisterLocation::Kind ExtractKindAtOffset(size_t offset) const {
427 ShortLocation first_byte = region_.LoadUnaligned<ShortLocation>(offset);
428 return ExtractKindFromShortLocation(first_byte);
429 }
430
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100431 MemoryRegion region_;
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000432
433 friend class CodeInfo;
434 friend class StackMapStream;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100435};
436
Roland Levillaina552e1c2015-03-26 15:01:03 +0000437/* Information on Dex register locations for a specific PC, mapping a
438 * stack map's Dex register to a location entry in a DexRegisterLocationCatalog.
439 * The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +0100440 *
441 * [live_bit_mask, entries*]
442 *
Roland Levillaina552e1c2015-03-26 15:01:03 +0000443 * where entries are concatenated unsigned integer values encoded on a number
444 * of bits (fixed per DexRegisterMap instances of a CodeInfo object) depending
445 * on the number of entries in the Dex register location catalog
446 * (see DexRegisterMap::SingleEntrySizeInBits). The map is 1-byte aligned.
447 */
448class DexRegisterMap {
449 public:
450 explicit DexRegisterMap(MemoryRegion region) : region_(region) {}
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000451 DexRegisterMap() {}
452
453 bool IsValid() const { return region_.pointer() != nullptr; }
Roland Levillaina552e1c2015-03-26 15:01:03 +0000454
455 // Get the surface kind of Dex register `dex_register_number`.
456 DexRegisterLocation::Kind GetLocationKind(uint16_t dex_register_number,
457 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100458 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000459 const CodeInfoEncoding& enc) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000460 return DexRegisterLocation::ConvertToSurfaceKind(
David Brazdilf677ebf2015-05-29 16:29:43 +0100461 GetLocationInternalKind(dex_register_number, number_of_dex_registers, code_info, enc));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000462 }
463
464 // Get the internal kind of Dex register `dex_register_number`.
465 DexRegisterLocation::Kind GetLocationInternalKind(uint16_t dex_register_number,
466 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100467 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000468 const CodeInfoEncoding& enc) const;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000469
470 // Get the Dex register location `dex_register_number`.
471 DexRegisterLocation GetDexRegisterLocation(uint16_t dex_register_number,
472 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100473 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000474 const CodeInfoEncoding& enc) const;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000475
476 int32_t GetStackOffsetInBytes(uint16_t dex_register_number,
477 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100478 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000479 const CodeInfoEncoding& enc) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000480 DexRegisterLocation location =
David Brazdilf677ebf2015-05-29 16:29:43 +0100481 GetDexRegisterLocation(dex_register_number, number_of_dex_registers, code_info, enc);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000482 DCHECK(location.GetKind() == DexRegisterLocation::Kind::kInStack);
483 // GetDexRegisterLocation returns the offset in bytes.
484 return location.GetValue();
485 }
486
487 int32_t GetConstant(uint16_t dex_register_number,
488 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100489 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000490 const CodeInfoEncoding& enc) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000491 DexRegisterLocation location =
David Brazdilf677ebf2015-05-29 16:29:43 +0100492 GetDexRegisterLocation(dex_register_number, number_of_dex_registers, code_info, enc);
David Srbecky7dc11782016-02-25 13:23:56 +0000493 DCHECK_EQ(location.GetKind(), DexRegisterLocation::Kind::kConstant);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000494 return location.GetValue();
495 }
496
497 int32_t GetMachineRegister(uint16_t dex_register_number,
498 uint16_t number_of_dex_registers,
David Brazdilf677ebf2015-05-29 16:29:43 +0100499 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000500 const CodeInfoEncoding& enc) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000501 DexRegisterLocation location =
David Brazdilf677ebf2015-05-29 16:29:43 +0100502 GetDexRegisterLocation(dex_register_number, number_of_dex_registers, code_info, enc);
David Brazdild9cb68e2015-08-25 13:52:43 +0100503 DCHECK(location.GetInternalKind() == DexRegisterLocation::Kind::kInRegister ||
504 location.GetInternalKind() == DexRegisterLocation::Kind::kInRegisterHigh ||
505 location.GetInternalKind() == DexRegisterLocation::Kind::kInFpuRegister ||
506 location.GetInternalKind() == DexRegisterLocation::Kind::kInFpuRegisterHigh)
David Srbecky7dc11782016-02-25 13:23:56 +0000507 << location.GetInternalKind();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000508 return location.GetValue();
509 }
510
511 // Get the index of the entry in the Dex register location catalog
512 // corresponding to `dex_register_number`.
513 size_t GetLocationCatalogEntryIndex(uint16_t dex_register_number,
514 uint16_t number_of_dex_registers,
515 size_t number_of_location_catalog_entries) const {
516 if (!IsDexRegisterLive(dex_register_number)) {
517 return DexRegisterLocationCatalog::kNoLocationEntryIndex;
518 }
519
520 if (number_of_location_catalog_entries == 1) {
521 // We do not allocate space for location maps in the case of a
522 // single-entry location catalog, as it is useless. The only valid
523 // entry index is 0;
524 return 0;
525 }
526
527 // The bit offset of the beginning of the map locations.
528 size_t map_locations_offset_in_bits =
529 GetLocationMappingDataOffset(number_of_dex_registers) * kBitsPerByte;
530 size_t index_in_dex_register_map = GetIndexInDexRegisterMap(dex_register_number);
531 DCHECK_LT(index_in_dex_register_map, GetNumberOfLiveDexRegisters(number_of_dex_registers));
532 // The bit size of an entry.
533 size_t map_entry_size_in_bits = SingleEntrySizeInBits(number_of_location_catalog_entries);
534 // The bit offset where `index_in_dex_register_map` is located.
535 size_t entry_offset_in_bits =
536 map_locations_offset_in_bits + index_in_dex_register_map * map_entry_size_in_bits;
537 size_t location_catalog_entry_index =
538 region_.LoadBits(entry_offset_in_bits, map_entry_size_in_bits);
539 DCHECK_LT(location_catalog_entry_index, number_of_location_catalog_entries);
540 return location_catalog_entry_index;
541 }
542
543 // Map entry at `index_in_dex_register_map` to `location_catalog_entry_index`.
544 void SetLocationCatalogEntryIndex(size_t index_in_dex_register_map,
545 size_t location_catalog_entry_index,
546 uint16_t number_of_dex_registers,
547 size_t number_of_location_catalog_entries) {
548 DCHECK_LT(index_in_dex_register_map, GetNumberOfLiveDexRegisters(number_of_dex_registers));
549 DCHECK_LT(location_catalog_entry_index, number_of_location_catalog_entries);
550
551 if (number_of_location_catalog_entries == 1) {
552 // We do not allocate space for location maps in the case of a
553 // single-entry location catalog, as it is useless.
554 return;
555 }
556
557 // The bit offset of the beginning of the map locations.
558 size_t map_locations_offset_in_bits =
559 GetLocationMappingDataOffset(number_of_dex_registers) * kBitsPerByte;
560 // The bit size of an entry.
561 size_t map_entry_size_in_bits = SingleEntrySizeInBits(number_of_location_catalog_entries);
562 // The bit offset where `index_in_dex_register_map` is located.
563 size_t entry_offset_in_bits =
564 map_locations_offset_in_bits + index_in_dex_register_map * map_entry_size_in_bits;
565 region_.StoreBits(entry_offset_in_bits, location_catalog_entry_index, map_entry_size_in_bits);
566 }
567
568 void SetLiveBitMask(uint16_t number_of_dex_registers,
569 const BitVector& live_dex_registers_mask) {
570 size_t live_bit_mask_offset_in_bits = GetLiveBitMaskOffset() * kBitsPerByte;
571 for (uint16_t i = 0; i < number_of_dex_registers; ++i) {
572 region_.StoreBit(live_bit_mask_offset_in_bits + i, live_dex_registers_mask.IsBitSet(i));
573 }
574 }
575
Mingyao Yang01b47b02017-02-03 12:09:57 -0800576 ALWAYS_INLINE bool IsDexRegisterLive(uint16_t dex_register_number) const {
Roland Levillaina552e1c2015-03-26 15:01:03 +0000577 size_t live_bit_mask_offset_in_bits = GetLiveBitMaskOffset() * kBitsPerByte;
578 return region_.LoadBit(live_bit_mask_offset_in_bits + dex_register_number);
579 }
580
581 size_t GetNumberOfLiveDexRegisters(uint16_t number_of_dex_registers) const {
582 size_t number_of_live_dex_registers = 0;
583 for (size_t i = 0; i < number_of_dex_registers; ++i) {
584 if (IsDexRegisterLive(i)) {
585 ++number_of_live_dex_registers;
586 }
587 }
588 return number_of_live_dex_registers;
589 }
590
591 static size_t GetLiveBitMaskOffset() {
592 return kFixedSize;
593 }
594
595 // Compute the size of the live register bit mask (in bytes), for a
596 // method having `number_of_dex_registers` Dex registers.
597 static size_t GetLiveBitMaskSize(uint16_t number_of_dex_registers) {
598 return RoundUp(number_of_dex_registers, kBitsPerByte) / kBitsPerByte;
599 }
600
601 static size_t GetLocationMappingDataOffset(uint16_t number_of_dex_registers) {
602 return GetLiveBitMaskOffset() + GetLiveBitMaskSize(number_of_dex_registers);
603 }
604
605 size_t GetLocationMappingDataSize(uint16_t number_of_dex_registers,
606 size_t number_of_location_catalog_entries) const {
607 size_t location_mapping_data_size_in_bits =
608 GetNumberOfLiveDexRegisters(number_of_dex_registers)
609 * SingleEntrySizeInBits(number_of_location_catalog_entries);
610 return RoundUp(location_mapping_data_size_in_bits, kBitsPerByte) / kBitsPerByte;
611 }
612
613 // Return the size of a map entry in bits. Note that if
614 // `number_of_location_catalog_entries` equals 1, this function returns 0,
615 // which is fine, as there is no need to allocate a map for a
616 // single-entry location catalog; the only valid location catalog entry index
617 // for a live register in this case is 0 and there is no need to
618 // store it.
619 static size_t SingleEntrySizeInBits(size_t number_of_location_catalog_entries) {
620 // Handle the case of 0, as we cannot pass 0 to art::WhichPowerOf2.
621 return number_of_location_catalog_entries == 0
622 ? 0u
623 : WhichPowerOf2(RoundUpToPowerOfTwo(number_of_location_catalog_entries));
624 }
625
626 // Return the size of the DexRegisterMap object, in bytes.
627 size_t Size() const {
628 return region_.size();
629 }
630
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100631 void Dump(VariableIndentationOutputStream* vios,
632 const CodeInfo& code_info, uint16_t number_of_dex_registers) const;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100633
Roland Levillaina552e1c2015-03-26 15:01:03 +0000634 private:
635 // Return the index in the Dex register map corresponding to the Dex
636 // register number `dex_register_number`.
637 size_t GetIndexInDexRegisterMap(uint16_t dex_register_number) const {
638 if (!IsDexRegisterLive(dex_register_number)) {
639 return kInvalidIndexInDexRegisterMap;
640 }
641 return GetNumberOfLiveDexRegisters(dex_register_number);
642 }
643
644 // Special (invalid) Dex register map entry index meaning that there
645 // is no index in the map for a given Dex register (i.e., it must
646 // have been mapped to a DexRegisterLocation::Kind::kNone location).
647 static constexpr size_t kInvalidIndexInDexRegisterMap = -1;
648
649 static constexpr int kFixedSize = 0;
650
651 MemoryRegion region_;
652
653 friend class CodeInfo;
654 friend class StackMapStream;
655};
656
David Srbecky09ed0982016-02-12 21:58:43 +0000657// Represents bit range of bit-packed integer field.
658// We reuse the idea from ULEB128p1 to support encoding of -1 (aka 0xFFFFFFFF).
659// If min_value is set to -1, we implicitly subtract one from any loaded value,
660// and add one to any stored value. This is generalized to any negative values.
661// In other words, min_value acts as a base and the stored value is added to it.
662struct FieldEncoding {
663 FieldEncoding(size_t start_offset, size_t end_offset, int32_t min_value = 0)
664 : start_offset_(start_offset), end_offset_(end_offset), min_value_(min_value) {
665 DCHECK_LE(start_offset_, end_offset_);
666 DCHECK_LE(BitSize(), 32u);
667 }
668
669 ALWAYS_INLINE size_t BitSize() const { return end_offset_ - start_offset_; }
670
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800671 template <typename Region>
672 ALWAYS_INLINE int32_t Load(const Region& region) const {
David Srbecky09ed0982016-02-12 21:58:43 +0000673 DCHECK_LE(end_offset_, region.size_in_bits());
Mathieu Chartier3ceedc02017-01-25 11:11:02 -0800674 return static_cast<int32_t>(region.LoadBits(start_offset_, BitSize())) + min_value_;
David Srbecky09ed0982016-02-12 21:58:43 +0000675 }
676
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800677 template <typename Region>
678 ALWAYS_INLINE void Store(Region region, int32_t value) const {
David Srbecky09ed0982016-02-12 21:58:43 +0000679 region.StoreBits(start_offset_, value - min_value_, BitSize());
680 DCHECK_EQ(Load(region), value);
681 }
682
683 private:
684 size_t start_offset_;
685 size_t end_offset_;
686 int32_t min_value_;
687};
688
David Brazdilf677ebf2015-05-29 16:29:43 +0100689class StackMapEncoding {
690 public:
691 StackMapEncoding() {}
692
David Srbecky09ed0982016-02-12 21:58:43 +0000693 // Set stack map bit layout based on given sizes.
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800694 // Returns the size of stack map in bits.
David Srbecky09ed0982016-02-12 21:58:43 +0000695 size_t SetFromSizes(size_t native_pc_max,
696 size_t dex_pc_max,
697 size_t dex_register_map_size,
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800698 size_t number_of_inline_info,
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800699 size_t number_of_register_masks,
David Srbecky45aa5982016-03-18 02:15:09 +0000700 size_t number_of_stack_masks) {
701 total_bit_size_ = 0;
702 DCHECK_EQ(kNativePcBitOffset, total_bit_size_);
703 total_bit_size_ += MinimumBitsToStore(native_pc_max);
David Brazdilf677ebf2015-05-29 16:29:43 +0100704
David Srbecky45aa5982016-03-18 02:15:09 +0000705 dex_pc_bit_offset_ = total_bit_size_;
706 total_bit_size_ += MinimumBitsToStore(1 /* kNoDexPc */ + dex_pc_max);
David Srbecky09ed0982016-02-12 21:58:43 +0000707
708 // We also need +1 for kNoDexRegisterMap, but since the size is strictly
709 // greater than any offset we might try to encode, we already implicitly have it.
David Srbecky45aa5982016-03-18 02:15:09 +0000710 dex_register_map_bit_offset_ = total_bit_size_;
711 total_bit_size_ += MinimumBitsToStore(dex_register_map_size);
David Srbecky09ed0982016-02-12 21:58:43 +0000712
713 // We also need +1 for kNoInlineInfo, but since the inline_info_size is strictly
714 // greater than the offset we might try to encode, we already implicitly have it.
715 // If inline_info_size is zero, we can encode only kNoInlineInfo (in zero bits).
David Srbecky45aa5982016-03-18 02:15:09 +0000716 inline_info_bit_offset_ = total_bit_size_;
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800717 total_bit_size_ += MinimumBitsToStore(number_of_inline_info);
David Srbecky09ed0982016-02-12 21:58:43 +0000718
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800719 register_mask_index_bit_offset_ = total_bit_size_;
720 total_bit_size_ += MinimumBitsToStore(number_of_register_masks);
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 {
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800738 return FieldEncoding(inline_info_bit_offset_,
739 register_mask_index_bit_offset_,
740 -1 /* min_value */);
David Srbecky09ed0982016-02-12 21:58:43 +0000741 }
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800742 ALWAYS_INLINE FieldEncoding GetRegisterMaskIndexEncoding() const {
743 return FieldEncoding(register_mask_index_bit_offset_, stack_mask_index_bit_offset_);
David Srbecky09ed0982016-02-12 21:58:43 +0000744 }
David Srbecky45aa5982016-03-18 02:15:09 +0000745 ALWAYS_INLINE FieldEncoding GetStackMaskIndexEncoding() const {
746 return FieldEncoding(stack_mask_index_bit_offset_, total_bit_size_);
David Brazdilf677ebf2015-05-29 16:29:43 +0100747 }
David Srbecky45aa5982016-03-18 02:15:09 +0000748 ALWAYS_INLINE size_t BitSize() const {
749 return total_bit_size_;
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800750 }
David Brazdilf677ebf2015-05-29 16:29:43 +0100751
Mathieu Chartierc420a802017-02-14 15:16:19 -0800752 // Encode the encoding into the vector.
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800753 template<typename Vector>
754 void Encode(Vector* dest) const {
755 static_assert(alignof(StackMapEncoding) == 1, "Should not require alignment");
756 const uint8_t* ptr = reinterpret_cast<const uint8_t*>(this);
757 dest->insert(dest->end(), ptr, ptr + sizeof(*this));
758 }
759
Mathieu Chartierc420a802017-02-14 15:16:19 -0800760 // Decode the encoding from a pointer, updates the pointer.
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800761 void Decode(const uint8_t** ptr) {
762 *this = *reinterpret_cast<const StackMapEncoding*>(*ptr);
763 *ptr += sizeof(*this);
764 }
765
David Srbecky09ed0982016-02-12 21:58:43 +0000766 void Dump(VariableIndentationOutputStream* vios) const;
David Brazdilf677ebf2015-05-29 16:29:43 +0100767
768 private:
David Srbecky09ed0982016-02-12 21:58:43 +0000769 static constexpr size_t kNativePcBitOffset = 0;
770 uint8_t dex_pc_bit_offset_;
771 uint8_t dex_register_map_bit_offset_;
772 uint8_t inline_info_bit_offset_;
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800773 uint8_t register_mask_index_bit_offset_;
David Srbecky45aa5982016-03-18 02:15:09 +0000774 uint8_t stack_mask_index_bit_offset_;
775 uint8_t total_bit_size_;
David Brazdilf677ebf2015-05-29 16:29:43 +0100776};
777
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100778/**
779 * A Stack Map holds compilation information for a specific PC necessary for:
780 * - Mapping it to a dex PC,
781 * - Knowing which stack entries are objects,
782 * - Knowing which registers hold objects,
783 * - Knowing the inlining information,
784 * - Knowing the values of dex registers.
785 *
786 * The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +0100787 *
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800788 * [native_pc_offset, dex_pc, dex_register_map_offset, inlining_info_index, register_mask_index,
David Srbecky45aa5982016-03-18 02:15:09 +0000789 * stack_mask_index].
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100790 */
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100791class StackMap {
792 public:
Nicolas Geoffraye12997f2015-05-22 14:01:33 +0100793 StackMap() {}
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800794 explicit StackMap(BitMemoryRegion region) : region_(region) {}
Nicolas Geoffraye12997f2015-05-22 14:01:33 +0100795
David Srbecky09ed0982016-02-12 21:58:43 +0000796 ALWAYS_INLINE bool IsValid() const { return region_.pointer() != nullptr; }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100797
David Srbecky09ed0982016-02-12 21:58:43 +0000798 ALWAYS_INLINE uint32_t GetDexPc(const StackMapEncoding& encoding) const {
799 return encoding.GetDexPcEncoding().Load(region_);
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 void SetDexPc(const StackMapEncoding& encoding, uint32_t dex_pc) {
803 encoding.GetDexPcEncoding().Store(region_, dex_pc);
David Brazdilf677ebf2015-05-29 16:29:43 +0100804 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100805
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800806 ALWAYS_INLINE uint32_t GetNativePcOffset(const StackMapEncoding& encoding,
807 InstructionSet instruction_set) const {
808 CodeOffset offset(
809 CodeOffset::FromCompressedOffset(encoding.GetNativePcEncoding().Load(region_)));
810 return offset.Uint32Value(instruction_set);
David Brazdilf677ebf2015-05-29 16:29:43 +0100811 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100812
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800813 ALWAYS_INLINE void SetNativePcCodeOffset(const StackMapEncoding& encoding,
814 CodeOffset native_pc_offset) {
815 encoding.GetNativePcEncoding().Store(region_, native_pc_offset.CompressedValue());
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 GetDexRegisterMapOffset(const StackMapEncoding& encoding) const {
819 return encoding.GetDexRegisterMapEncoding().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 SetDexRegisterMapOffset(const StackMapEncoding& encoding, uint32_t offset) {
823 encoding.GetDexRegisterMapEncoding().Store(region_, offset);
David Brazdilf677ebf2015-05-29 16:29:43 +0100824 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100825
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800826 ALWAYS_INLINE uint32_t GetInlineInfoIndex(const StackMapEncoding& encoding) const {
David Srbecky09ed0982016-02-12 21:58:43 +0000827 return encoding.GetInlineInfoEncoding().Load(region_);
David Brazdilf677ebf2015-05-29 16:29:43 +0100828 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100829
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800830 ALWAYS_INLINE void SetInlineInfoIndex(const StackMapEncoding& encoding, uint32_t index) {
831 encoding.GetInlineInfoEncoding().Store(region_, index);
David Brazdilf677ebf2015-05-29 16:29:43 +0100832 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100833
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800834 ALWAYS_INLINE uint32_t GetRegisterMaskIndex(const StackMapEncoding& encoding) const {
835 return encoding.GetRegisterMaskIndexEncoding().Load(region_);
David Brazdilf677ebf2015-05-29 16:29:43 +0100836 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100837
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800838 ALWAYS_INLINE void SetRegisterMaskIndex(const StackMapEncoding& encoding, uint32_t mask) {
839 encoding.GetRegisterMaskIndexEncoding().Store(region_, mask);
David Brazdilf677ebf2015-05-29 16:29:43 +0100840 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100841
David Srbecky45aa5982016-03-18 02:15:09 +0000842 ALWAYS_INLINE uint32_t GetStackMaskIndex(const StackMapEncoding& encoding) const {
843 return encoding.GetStackMaskIndexEncoding().Load(region_);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100844 }
845
David Srbecky45aa5982016-03-18 02:15:09 +0000846 ALWAYS_INLINE void SetStackMaskIndex(const StackMapEncoding& encoding, uint32_t mask) {
847 encoding.GetStackMaskIndexEncoding().Store(region_, mask);
David Srbecky09ed0982016-02-12 21:58:43 +0000848 }
849
850 ALWAYS_INLINE bool HasDexRegisterMap(const StackMapEncoding& encoding) const {
David Brazdilf677ebf2015-05-29 16:29:43 +0100851 return GetDexRegisterMapOffset(encoding) != kNoDexRegisterMap;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100852 }
853
David Srbecky09ed0982016-02-12 21:58:43 +0000854 ALWAYS_INLINE bool HasInlineInfo(const StackMapEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800855 return GetInlineInfoIndex(encoding) != kNoInlineInfo;
Roland Levillain442b46a2015-02-18 16:54:21 +0000856 }
857
David Srbecky09ed0982016-02-12 21:58:43 +0000858 ALWAYS_INLINE bool Equals(const StackMap& other) const {
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800859 return region_.pointer() == other.region_.pointer() &&
860 region_.size() == other.region_.size() &&
861 region_.BitOffset() == other.region_.BitOffset();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100862 }
863
Vladimir Marko8f1e08a2015-06-26 12:06:30 +0100864 void Dump(VariableIndentationOutputStream* vios,
Roland Levillainf2650d12015-05-28 14:53:28 +0100865 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +0000866 const CodeInfoEncoding& encoding,
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700867 const MethodInfo& method_info,
Roland Levillainf2650d12015-05-28 14:53:28 +0100868 uint32_t code_offset,
869 uint16_t number_of_dex_registers,
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800870 InstructionSet instruction_set,
Roland Levillainf2650d12015-05-28 14:53:28 +0100871 const std::string& header_suffix = "") const;
872
Roland Levillain442b46a2015-02-18 16:54:21 +0000873 // Special (invalid) offset for the DexRegisterMapOffset field meaning
874 // that there is no Dex register map for this stack map.
875 static constexpr uint32_t kNoDexRegisterMap = -1;
876
877 // Special (invalid) offset for the InlineDescriptorOffset field meaning
878 // that there is no inline info for this stack map.
879 static constexpr uint32_t kNoInlineInfo = -1;
880
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100881 private:
Nicolas Geoffray896f8f72015-03-30 15:44:25 +0100882 static constexpr int kFixedSize = 0;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100883
Mathieu Chartier12f1b992017-01-19 18:00:45 -0800884 BitMemoryRegion region_;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100885
Nicolas Geoffray39468442014-09-02 15:17:15 +0100886 friend class StackMapStream;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100887};
888
David Srbecky61b28a12016-02-25 21:55:03 +0000889class InlineInfoEncoding {
890 public:
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700891 void SetFromSizes(size_t method_index_idx_max,
David Srbecky61b28a12016-02-25 21:55:03 +0000892 size_t dex_pc_max,
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000893 size_t extra_data_max,
David Srbecky61b28a12016-02-25 21:55:03 +0000894 size_t dex_register_map_size) {
895 total_bit_size_ = kMethodIndexBitOffset;
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700896 total_bit_size_ += MinimumBitsToStore(method_index_idx_max);
David Srbecky61b28a12016-02-25 21:55:03 +0000897
898 dex_pc_bit_offset_ = dchecked_integral_cast<uint8_t>(total_bit_size_);
Vladimir Marko87f3fcb2016-04-28 15:52:11 +0100899 // Note: We're not encoding the dex pc if there is none. That's the case
900 // for an intrinsified native method, such as String.charAt().
901 if (dex_pc_max != DexFile::kDexNoIndex) {
902 total_bit_size_ += MinimumBitsToStore(1 /* kNoDexPc */ + dex_pc_max);
903 }
David Srbecky61b28a12016-02-25 21:55:03 +0000904
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000905 extra_data_bit_offset_ = dchecked_integral_cast<uint8_t>(total_bit_size_);
906 total_bit_size_ += MinimumBitsToStore(extra_data_max);
David Srbecky61b28a12016-02-25 21:55:03 +0000907
908 // We also need +1 for kNoDexRegisterMap, but since the size is strictly
909 // greater than any offset we might try to encode, we already implicitly have it.
910 dex_register_map_bit_offset_ = dchecked_integral_cast<uint8_t>(total_bit_size_);
911 total_bit_size_ += MinimumBitsToStore(dex_register_map_size);
912 }
913
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700914 ALWAYS_INLINE FieldEncoding GetMethodIndexIdxEncoding() const {
David Srbecky61b28a12016-02-25 21:55:03 +0000915 return FieldEncoding(kMethodIndexBitOffset, dex_pc_bit_offset_);
916 }
917 ALWAYS_INLINE FieldEncoding GetDexPcEncoding() const {
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000918 return FieldEncoding(dex_pc_bit_offset_, extra_data_bit_offset_, -1 /* min_value */);
David Srbecky61b28a12016-02-25 21:55:03 +0000919 }
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000920 ALWAYS_INLINE FieldEncoding GetExtraDataEncoding() const {
921 return FieldEncoding(extra_data_bit_offset_, dex_register_map_bit_offset_);
David Srbecky61b28a12016-02-25 21:55:03 +0000922 }
923 ALWAYS_INLINE FieldEncoding GetDexRegisterMapEncoding() const {
924 return FieldEncoding(dex_register_map_bit_offset_, total_bit_size_, -1 /* min_value */);
925 }
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800926 ALWAYS_INLINE size_t BitSize() const {
927 return total_bit_size_;
David Srbecky61b28a12016-02-25 21:55:03 +0000928 }
929
930 void Dump(VariableIndentationOutputStream* vios) const;
931
Mathieu Chartierc420a802017-02-14 15:16:19 -0800932 // Encode the encoding into the vector.
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800933 template<typename Vector>
934 void Encode(Vector* dest) const {
935 static_assert(alignof(InlineInfoEncoding) == 1, "Should not require alignment");
936 const uint8_t* ptr = reinterpret_cast<const uint8_t*>(this);
937 dest->insert(dest->end(), ptr, ptr + sizeof(*this));
938 }
939
Mathieu Chartierc420a802017-02-14 15:16:19 -0800940 // Decode the encoding from a pointer, updates the pointer.
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800941 void Decode(const uint8_t** ptr) {
942 *this = *reinterpret_cast<const InlineInfoEncoding*>(*ptr);
943 *ptr += sizeof(*this);
944 }
945
David Srbecky61b28a12016-02-25 21:55:03 +0000946 private:
947 static constexpr uint8_t kIsLastBitOffset = 0;
948 static constexpr uint8_t kMethodIndexBitOffset = 1;
949 uint8_t dex_pc_bit_offset_;
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000950 uint8_t extra_data_bit_offset_;
David Srbecky61b28a12016-02-25 21:55:03 +0000951 uint8_t dex_register_map_bit_offset_;
952 uint8_t total_bit_size_;
953};
954
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100955/**
956 * Inline information for a specific PC. The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +0100957 *
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000958 * [is_last,
959 * method_index (or ArtMethod high bits),
960 * dex_pc,
961 * extra_data (ArtMethod low bits or 1),
962 * dex_register_map_offset]+.
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100963 */
964class InlineInfo {
965 public:
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800966 explicit InlineInfo(BitMemoryRegion region) : region_(region) {}
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100967
David Srbecky61b28a12016-02-25 21:55:03 +0000968 ALWAYS_INLINE uint32_t GetDepth(const InlineInfoEncoding& encoding) const {
969 size_t depth = 0;
970 while (!GetRegionAtDepth(encoding, depth++).LoadBit(0)) { } // Check is_last bit.
971 return depth;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100972 }
973
David Srbecky61b28a12016-02-25 21:55:03 +0000974 ALWAYS_INLINE void SetDepth(const InlineInfoEncoding& encoding, uint32_t depth) {
975 DCHECK_GT(depth, 0u);
976 for (size_t d = 0; d < depth; ++d) {
977 GetRegionAtDepth(encoding, d).StoreBit(0, d == depth - 1); // Set is_last bit.
978 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100979 }
980
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700981 ALWAYS_INLINE uint32_t GetMethodIndexIdxAtDepth(const InlineInfoEncoding& encoding,
982 uint32_t depth) const {
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000983 DCHECK(!EncodesArtMethodAtDepth(encoding, depth));
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700984 return encoding.GetMethodIndexIdxEncoding().Load(GetRegionAtDepth(encoding, depth));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100985 }
986
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700987 ALWAYS_INLINE void SetMethodIndexIdxAtDepth(const InlineInfoEncoding& encoding,
988 uint32_t depth,
989 uint32_t index) {
990 encoding.GetMethodIndexIdxEncoding().Store(GetRegionAtDepth(encoding, depth), index);
991 }
992
993
994 ALWAYS_INLINE uint32_t GetMethodIndexAtDepth(const InlineInfoEncoding& encoding,
995 const MethodInfo& method_info,
996 uint32_t depth) const {
997 return method_info.GetMethodIndex(GetMethodIndexIdxAtDepth(encoding, depth));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100998 }
999
David Srbecky61b28a12016-02-25 21:55:03 +00001000 ALWAYS_INLINE uint32_t GetDexPcAtDepth(const InlineInfoEncoding& encoding,
1001 uint32_t depth) const {
1002 return encoding.GetDexPcEncoding().Load(GetRegionAtDepth(encoding, depth));
Nicolas Geoffrayb176d7c2015-05-20 18:48:31 +01001003 }
1004
David Srbecky61b28a12016-02-25 21:55:03 +00001005 ALWAYS_INLINE void SetDexPcAtDepth(const InlineInfoEncoding& encoding,
1006 uint32_t depth,
1007 uint32_t dex_pc) {
1008 encoding.GetDexPcEncoding().Store(GetRegionAtDepth(encoding, depth), dex_pc);
Nicolas Geoffrayb176d7c2015-05-20 18:48:31 +01001009 }
1010
Nicolas Geoffray5d37c152017-01-12 13:25:19 +00001011 ALWAYS_INLINE bool EncodesArtMethodAtDepth(const InlineInfoEncoding& encoding,
1012 uint32_t depth) const {
1013 return (encoding.GetExtraDataEncoding().Load(GetRegionAtDepth(encoding, depth)) & 1) == 0;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001014 }
1015
Nicolas Geoffray5d37c152017-01-12 13:25:19 +00001016 ALWAYS_INLINE void SetExtraDataAtDepth(const InlineInfoEncoding& encoding,
1017 uint32_t depth,
1018 uint32_t extra_data) {
1019 encoding.GetExtraDataEncoding().Store(GetRegionAtDepth(encoding, depth), extra_data);
1020 }
1021
1022 ALWAYS_INLINE ArtMethod* GetArtMethodAtDepth(const InlineInfoEncoding& encoding,
1023 uint32_t depth) const {
1024 uint32_t low_bits = encoding.GetExtraDataEncoding().Load(GetRegionAtDepth(encoding, depth));
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001025 uint32_t high_bits = encoding.GetMethodIndexIdxEncoding().Load(
1026 GetRegionAtDepth(encoding, depth));
Nicolas Geoffray5d37c152017-01-12 13:25:19 +00001027 if (high_bits == 0) {
1028 return reinterpret_cast<ArtMethod*>(low_bits);
1029 } else {
1030 uint64_t address = high_bits;
1031 address = address << 32;
1032 return reinterpret_cast<ArtMethod*>(address | low_bits);
1033 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001034 }
1035
David Srbecky61b28a12016-02-25 21:55:03 +00001036 ALWAYS_INLINE uint32_t GetDexRegisterMapOffsetAtDepth(const InlineInfoEncoding& encoding,
1037 uint32_t depth) const {
1038 return encoding.GetDexRegisterMapEncoding().Load(GetRegionAtDepth(encoding, depth));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001039 }
1040
David Srbecky61b28a12016-02-25 21:55:03 +00001041 ALWAYS_INLINE void SetDexRegisterMapOffsetAtDepth(const InlineInfoEncoding& encoding,
1042 uint32_t depth,
1043 uint32_t offset) {
1044 encoding.GetDexRegisterMapEncoding().Store(GetRegionAtDepth(encoding, depth), offset);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001045 }
1046
David Srbecky61b28a12016-02-25 21:55:03 +00001047 ALWAYS_INLINE bool HasDexRegisterMapAtDepth(const InlineInfoEncoding& encoding,
1048 uint32_t depth) const {
1049 return GetDexRegisterMapOffsetAtDepth(encoding, depth) != StackMap::kNoDexRegisterMap;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001050 }
1051
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001052 void Dump(VariableIndentationOutputStream* vios,
David Srbecky61b28a12016-02-25 21:55:03 +00001053 const CodeInfo& info,
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001054 const MethodInfo& method_info,
David Srbecky61b28a12016-02-25 21:55:03 +00001055 uint16_t* number_of_dex_registers) const;
Roland Levillain1c1da432015-07-16 11:54:44 +01001056
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001057 private:
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001058 ALWAYS_INLINE BitMemoryRegion GetRegionAtDepth(const InlineInfoEncoding& encoding,
1059 uint32_t depth) const {
1060 size_t entry_size = encoding.BitSize();
David Srbecky61b28a12016-02-25 21:55:03 +00001061 DCHECK_GT(entry_size, 0u);
1062 return region_.Subregion(depth * entry_size, entry_size);
1063 }
Nicolas Geoffrayb176d7c2015-05-20 18:48:31 +01001064
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001065 BitMemoryRegion region_;
1066};
1067
1068// Bit sized region encoding, may be more than 255 bits.
1069class BitRegionEncoding {
1070 public:
1071 uint32_t num_bits = 0;
1072
1073 ALWAYS_INLINE size_t BitSize() const {
1074 return num_bits;
1075 }
1076
1077 template<typename Vector>
1078 void Encode(Vector* dest) const {
1079 EncodeUnsignedLeb128(dest, num_bits); // Use leb in case num_bits is greater than 255.
1080 }
1081
1082 void Decode(const uint8_t** ptr) {
1083 num_bits = DecodeUnsignedLeb128(ptr);
1084 }
1085};
1086
1087// A table of bit sized encodings.
1088template <typename Encoding>
1089struct BitEncodingTable {
1090 static constexpr size_t kInvalidOffset = static_cast<size_t>(-1);
1091 // How the encoding is laid out (serialized).
1092 Encoding encoding;
1093
1094 // Number of entries in the table (serialized).
1095 size_t num_entries;
1096
1097 // Bit offset for the base of the table (computed).
1098 size_t bit_offset = kInvalidOffset;
1099
1100 template<typename Vector>
1101 void Encode(Vector* dest) const {
1102 EncodeUnsignedLeb128(dest, num_entries);
1103 encoding.Encode(dest);
1104 }
1105
1106 ALWAYS_INLINE void Decode(const uint8_t** ptr) {
1107 num_entries = DecodeUnsignedLeb128(ptr);
1108 encoding.Decode(ptr);
1109 }
1110
1111 // Set the bit offset in the table and adds the space used by the table to offset.
1112 void UpdateBitOffset(size_t* offset) {
1113 DCHECK(offset != nullptr);
1114 bit_offset = *offset;
1115 *offset += encoding.BitSize() * num_entries;
1116 }
1117
1118 // Return the bit region for the map at index i.
1119 ALWAYS_INLINE BitMemoryRegion BitRegion(MemoryRegion region, size_t index) const {
1120 DCHECK_NE(bit_offset, kInvalidOffset) << "Invalid table offset";
1121 DCHECK_LT(index, num_entries);
1122 const size_t map_size = encoding.BitSize();
1123 return BitMemoryRegion(region, bit_offset + index * map_size, map_size);
1124 }
1125};
1126
1127// A byte sized table of possible variable sized encodings.
1128struct ByteSizedTable {
1129 static constexpr size_t kInvalidOffset = static_cast<size_t>(-1);
1130
1131 // Number of entries in the table (serialized).
1132 size_t num_entries = 0;
1133
1134 // Number of bytes of the table (serialized).
1135 size_t num_bytes;
1136
1137 // Bit offset for the base of the table (computed).
1138 size_t byte_offset = kInvalidOffset;
1139
1140 template<typename Vector>
1141 void Encode(Vector* dest) const {
1142 EncodeUnsignedLeb128(dest, num_entries);
1143 EncodeUnsignedLeb128(dest, num_bytes);
1144 }
1145
1146 ALWAYS_INLINE void Decode(const uint8_t** ptr) {
1147 num_entries = DecodeUnsignedLeb128(ptr);
1148 num_bytes = DecodeUnsignedLeb128(ptr);
1149 }
1150
1151 // Set the bit offset of the table. Adds the total bit size of the table to offset.
1152 void UpdateBitOffset(size_t* offset) {
1153 DCHECK(offset != nullptr);
1154 DCHECK_ALIGNED(*offset, kBitsPerByte);
1155 byte_offset = *offset / kBitsPerByte;
1156 *offset += num_bytes * kBitsPerByte;
1157 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001158};
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001159
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001160// Format is [native pc, invoke type, method index].
1161class InvokeInfoEncoding {
1162 public:
1163 void SetFromSizes(size_t native_pc_max,
1164 size_t invoke_type_max,
1165 size_t method_index_max) {
1166 total_bit_size_ = 0;
1167 DCHECK_EQ(kNativePcBitOffset, total_bit_size_);
1168 total_bit_size_ += MinimumBitsToStore(native_pc_max);
1169 invoke_type_bit_offset_ = total_bit_size_;
1170 total_bit_size_ += MinimumBitsToStore(invoke_type_max);
1171 method_index_bit_offset_ = total_bit_size_;
1172 total_bit_size_ += MinimumBitsToStore(method_index_max);
1173 }
1174
1175 ALWAYS_INLINE FieldEncoding GetNativePcEncoding() const {
1176 return FieldEncoding(kNativePcBitOffset, invoke_type_bit_offset_);
1177 }
1178
1179 ALWAYS_INLINE FieldEncoding GetInvokeTypeEncoding() const {
1180 return FieldEncoding(invoke_type_bit_offset_, method_index_bit_offset_);
1181 }
1182
1183 ALWAYS_INLINE FieldEncoding GetMethodIndexEncoding() const {
1184 return FieldEncoding(method_index_bit_offset_, total_bit_size_);
1185 }
1186
1187 ALWAYS_INLINE size_t BitSize() const {
1188 return total_bit_size_;
1189 }
1190
1191 template<typename Vector>
1192 void Encode(Vector* dest) const {
1193 static_assert(alignof(InvokeInfoEncoding) == 1, "Should not require alignment");
1194 const uint8_t* ptr = reinterpret_cast<const uint8_t*>(this);
1195 dest->insert(dest->end(), ptr, ptr + sizeof(*this));
1196 }
1197
1198 void Decode(const uint8_t** ptr) {
1199 *this = *reinterpret_cast<const InvokeInfoEncoding*>(*ptr);
1200 *ptr += sizeof(*this);
1201 }
1202
1203 private:
1204 static constexpr uint8_t kNativePcBitOffset = 0;
1205 uint8_t invoke_type_bit_offset_;
1206 uint8_t method_index_bit_offset_;
1207 uint8_t total_bit_size_;
1208};
1209
1210class InvokeInfo {
1211 public:
1212 explicit InvokeInfo(BitMemoryRegion region) : region_(region) {}
1213
1214 ALWAYS_INLINE uint32_t GetNativePcOffset(const InvokeInfoEncoding& encoding,
1215 InstructionSet instruction_set) const {
1216 CodeOffset offset(
1217 CodeOffset::FromCompressedOffset(encoding.GetNativePcEncoding().Load(region_)));
1218 return offset.Uint32Value(instruction_set);
1219 }
1220
1221 ALWAYS_INLINE void SetNativePcCodeOffset(const InvokeInfoEncoding& encoding,
1222 CodeOffset native_pc_offset) {
1223 encoding.GetNativePcEncoding().Store(region_, native_pc_offset.CompressedValue());
1224 }
1225
1226 ALWAYS_INLINE uint32_t GetInvokeType(const InvokeInfoEncoding& encoding) const {
1227 return encoding.GetInvokeTypeEncoding().Load(region_);
1228 }
1229
1230 ALWAYS_INLINE void SetInvokeType(const InvokeInfoEncoding& encoding, uint32_t invoke_type) {
1231 encoding.GetInvokeTypeEncoding().Store(region_, invoke_type);
1232 }
1233
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001234 ALWAYS_INLINE uint32_t GetMethodIndexIdx(const InvokeInfoEncoding& encoding) const {
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001235 return encoding.GetMethodIndexEncoding().Load(region_);
1236 }
1237
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001238 ALWAYS_INLINE void SetMethodIndexIdx(const InvokeInfoEncoding& encoding,
1239 uint32_t method_index_idx) {
1240 encoding.GetMethodIndexEncoding().Store(region_, method_index_idx);
1241 }
1242
1243 ALWAYS_INLINE uint32_t GetMethodIndex(const InvokeInfoEncoding& encoding,
1244 MethodInfo method_info) const {
1245 return method_info.GetMethodIndex(GetMethodIndexIdx(encoding));
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001246 }
1247
1248 bool IsValid() const { return region_.pointer() != nullptr; }
1249
1250 private:
1251 BitMemoryRegion region_;
1252};
1253
David Srbecky09ed0982016-02-12 21:58:43 +00001254// Most of the fields are encoded as ULEB128 to save space.
1255struct CodeInfoEncoding {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001256 static constexpr uint32_t kInvalidSize = static_cast<size_t>(-1);
1257 // Byte sized tables go first to avoid unnecessary alignment bits.
1258 ByteSizedTable dex_register_map;
1259 ByteSizedTable location_catalog;
1260 BitEncodingTable<StackMapEncoding> stack_map;
1261 BitEncodingTable<BitRegionEncoding> register_mask;
1262 BitEncodingTable<BitRegionEncoding> stack_mask;
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001263 BitEncodingTable<InvokeInfoEncoding> invoke_info;
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001264 BitEncodingTable<InlineInfoEncoding> inline_info;
David Srbecky09ed0982016-02-12 21:58:43 +00001265
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001266 CodeInfoEncoding() {}
David Srbecky09ed0982016-02-12 21:58:43 +00001267
1268 explicit CodeInfoEncoding(const void* data) {
1269 const uint8_t* ptr = reinterpret_cast<const uint8_t*>(data);
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001270 dex_register_map.Decode(&ptr);
1271 location_catalog.Decode(&ptr);
1272 stack_map.Decode(&ptr);
1273 register_mask.Decode(&ptr);
1274 stack_mask.Decode(&ptr);
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001275 invoke_info.Decode(&ptr);
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001276 if (stack_map.encoding.GetInlineInfoEncoding().BitSize() > 0) {
1277 inline_info.Decode(&ptr);
David Srbecky61b28a12016-02-25 21:55:03 +00001278 } else {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001279 inline_info = BitEncodingTable<InlineInfoEncoding>();
David Srbecky61b28a12016-02-25 21:55:03 +00001280 }
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001281 cache_header_size =
1282 dchecked_integral_cast<uint32_t>(ptr - reinterpret_cast<const uint8_t*>(data));
1283 ComputeTableOffsets();
David Srbecky09ed0982016-02-12 21:58:43 +00001284 }
1285
Mathieu Chartierc420a802017-02-14 15:16:19 -08001286 // Compress is not const since it calculates cache_header_size. This is used by PrepareForFillIn.
David Srbecky09ed0982016-02-12 21:58:43 +00001287 template<typename Vector>
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001288 void Compress(Vector* dest) {
1289 dex_register_map.Encode(dest);
1290 location_catalog.Encode(dest);
1291 stack_map.Encode(dest);
1292 register_mask.Encode(dest);
1293 stack_mask.Encode(dest);
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001294 invoke_info.Encode(dest);
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001295 if (stack_map.encoding.GetInlineInfoEncoding().BitSize() > 0) {
1296 inline_info.Encode(dest);
David Srbecky61b28a12016-02-25 21:55:03 +00001297 }
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001298 cache_header_size = dest->size();
David Srbecky09ed0982016-02-12 21:58:43 +00001299 }
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001300
1301 ALWAYS_INLINE void ComputeTableOffsets() {
1302 // Skip the header.
1303 size_t bit_offset = HeaderSize() * kBitsPerByte;
1304 // The byte tables must be aligned so they must go first.
1305 dex_register_map.UpdateBitOffset(&bit_offset);
1306 location_catalog.UpdateBitOffset(&bit_offset);
1307 // Other tables don't require alignment.
1308 stack_map.UpdateBitOffset(&bit_offset);
1309 register_mask.UpdateBitOffset(&bit_offset);
1310 stack_mask.UpdateBitOffset(&bit_offset);
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001311 invoke_info.UpdateBitOffset(&bit_offset);
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001312 inline_info.UpdateBitOffset(&bit_offset);
1313 cache_non_header_size = RoundUp(bit_offset, kBitsPerByte) / kBitsPerByte - HeaderSize();
1314 }
1315
1316 ALWAYS_INLINE size_t HeaderSize() const {
1317 DCHECK_NE(cache_header_size, kInvalidSize) << "Uninitialized";
1318 return cache_header_size;
1319 }
1320
1321 ALWAYS_INLINE size_t NonHeaderSize() const {
1322 DCHECK_NE(cache_non_header_size, kInvalidSize) << "Uninitialized";
1323 return cache_non_header_size;
1324 }
1325
1326 private:
1327 // Computed fields (not serialized).
Mathieu Chartierc420a802017-02-14 15:16:19 -08001328 // Header size in bytes, cached to avoid needing to re-decoding the encoding in HeaderSize.
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001329 uint32_t cache_header_size = kInvalidSize;
Mathieu Chartierc420a802017-02-14 15:16:19 -08001330 // Non header size in bytes, cached to avoid needing to re-decoding the encoding in NonHeaderSize.
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001331 uint32_t cache_non_header_size = kInvalidSize;
David Srbecky09ed0982016-02-12 21:58:43 +00001332};
1333
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001334/**
1335 * Wrapper around all compiler information collected for a method.
1336 * The information is of the form:
Roland Levillain1c1da432015-07-16 11:54:44 +01001337 *
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001338 * [CodeInfoEncoding, DexRegisterMap+, DexLocationCatalog+, StackMap+, RegisterMask+, StackMask+,
Mathieu Chartierc420a802017-02-14 15:16:19 -08001339 * InlineInfo*]
1340 *
1341 * where CodeInfoEncoding is of the form:
1342 *
1343 * [ByteSizedTable(dex_register_map), ByteSizedTable(location_catalog),
1344 * BitEncodingTable<StackMapEncoding>, BitEncodingTable<BitRegionEncoding>,
1345 * BitEncodingTable<BitRegionEncoding>, BitEncodingTable<InlineInfoEncoding>]
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001346 */
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001347class CodeInfo {
1348 public:
David Srbecky09ed0982016-02-12 21:58:43 +00001349 explicit CodeInfo(MemoryRegion region) : region_(region) {
1350 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001351
Nicolas Geoffray39468442014-09-02 15:17:15 +01001352 explicit CodeInfo(const void* data) {
David Srbecky09ed0982016-02-12 21:58:43 +00001353 CodeInfoEncoding encoding = CodeInfoEncoding(data);
1354 region_ = MemoryRegion(const_cast<void*>(data),
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001355 encoding.HeaderSize() + encoding.NonHeaderSize());
Nicolas Geoffray39468442014-09-02 15:17:15 +01001356 }
1357
David Srbecky09ed0982016-02-12 21:58:43 +00001358 CodeInfoEncoding ExtractEncoding() const {
David Srbecky45aa5982016-03-18 02:15:09 +00001359 CodeInfoEncoding encoding(region_.begin());
Mathieu Chartier01c78142017-01-05 10:17:55 -08001360 AssertValidStackMap(encoding);
1361 return encoding;
Nicolas Geoffray896f8f72015-03-30 15:44:25 +01001362 }
1363
David Srbecky09ed0982016-02-12 21:58:43 +00001364 bool HasInlineInfo(const CodeInfoEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001365 return encoding.stack_map.encoding.GetInlineInfoEncoding().BitSize() > 0;
Nicolas Geoffray896f8f72015-03-30 15:44:25 +01001366 }
1367
David Srbecky09ed0982016-02-12 21:58:43 +00001368 DexRegisterLocationCatalog GetDexRegisterLocationCatalog(const CodeInfoEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001369 return DexRegisterLocationCatalog(region_.Subregion(encoding.location_catalog.byte_offset,
1370 encoding.location_catalog.num_bytes));
Roland Levillaina552e1c2015-03-26 15:01:03 +00001371 }
1372
Mathieu Chartier12f1b992017-01-19 18:00:45 -08001373 ALWAYS_INLINE size_t GetNumberOfStackMaskBits(const CodeInfoEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001374 return encoding.stack_mask.encoding.BitSize();
Mathieu Chartier12f1b992017-01-19 18:00:45 -08001375 }
1376
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001377 ALWAYS_INLINE StackMap GetStackMapAt(size_t index, const CodeInfoEncoding& encoding) const {
1378 return StackMap(encoding.stack_map.BitRegion(region_, index));
Nicolas Geoffray39468442014-09-02 15:17:15 +01001379 }
1380
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001381 BitMemoryRegion GetStackMask(size_t index, const CodeInfoEncoding& encoding) const {
1382 return encoding.stack_mask.BitRegion(region_, index);
David Srbecky45aa5982016-03-18 02:15:09 +00001383 }
1384
1385 BitMemoryRegion GetStackMaskOf(const CodeInfoEncoding& encoding,
1386 const StackMap& stack_map) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001387 return GetStackMask(stack_map.GetStackMaskIndex(encoding.stack_map.encoding), encoding);
David Srbecky45aa5982016-03-18 02:15:09 +00001388 }
1389
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001390 BitMemoryRegion GetRegisterMask(size_t index, const CodeInfoEncoding& encoding) const {
1391 return encoding.register_mask.BitRegion(region_, index);
Mathieu Chartier1a20b682017-01-31 14:25:16 -08001392 }
1393
1394 uint32_t GetRegisterMaskOf(const CodeInfoEncoding& encoding, const StackMap& stack_map) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001395 size_t index = stack_map.GetRegisterMaskIndex(encoding.stack_map.encoding);
1396 return GetRegisterMask(index, encoding).LoadBits(0u, encoding.register_mask.encoding.BitSize());
Mathieu Chartier1a20b682017-01-31 14:25:16 -08001397 }
1398
David Srbecky09ed0982016-02-12 21:58:43 +00001399 uint32_t GetNumberOfLocationCatalogEntries(const CodeInfoEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001400 return encoding.location_catalog.num_entries;
Nicolas Geoffray39468442014-09-02 15:17:15 +01001401 }
1402
David Srbecky09ed0982016-02-12 21:58:43 +00001403 uint32_t GetDexRegisterLocationCatalogSize(const CodeInfoEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001404 return encoding.location_catalog.num_bytes;
Roland Levillaina552e1c2015-03-26 15:01:03 +00001405 }
1406
David Srbecky09ed0982016-02-12 21:58:43 +00001407 uint32_t GetNumberOfStackMaps(const CodeInfoEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001408 return encoding.stack_map.num_entries;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001409 }
1410
David Srbecky45aa5982016-03-18 02:15:09 +00001411 // Get the size of all the stack maps of this CodeInfo object, in bits. Not byte aligned.
1412 ALWAYS_INLINE size_t GetStackMapsSizeInBits(const CodeInfoEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001413 return encoding.stack_map.encoding.BitSize() * GetNumberOfStackMaps(encoding);
Nicolas Geoffray6530baf2015-05-26 15:22:58 +01001414 }
1415
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001416 InvokeInfo GetInvokeInfo(const CodeInfoEncoding& encoding, size_t index) const {
1417 return InvokeInfo(encoding.invoke_info.BitRegion(region_, index));
1418 }
1419
David Brazdilf677ebf2015-05-29 16:29:43 +01001420 DexRegisterMap GetDexRegisterMapOf(StackMap stack_map,
David Srbecky09ed0982016-02-12 21:58:43 +00001421 const CodeInfoEncoding& encoding,
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001422 size_t number_of_dex_registers) const {
1423 if (!stack_map.HasDexRegisterMap(encoding.stack_map.encoding)) {
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +00001424 return DexRegisterMap();
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +00001425 }
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001426 const uint32_t offset = encoding.dex_register_map.byte_offset +
1427 stack_map.GetDexRegisterMapOffset(encoding.stack_map.encoding);
1428 size_t size = ComputeDexRegisterMapSizeOf(encoding, offset, number_of_dex_registers);
1429 return DexRegisterMap(region_.Subregion(offset, size));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001430 }
1431
Mathieu Chartier5e7c6a92017-01-17 16:38:30 -08001432 size_t GetDexRegisterMapsSize(const CodeInfoEncoding& encoding,
1433 uint32_t number_of_dex_registers) const {
1434 size_t total = 0;
1435 for (size_t i = 0, e = GetNumberOfStackMaps(encoding); i < e; ++i) {
1436 StackMap stack_map = GetStackMapAt(i, encoding);
1437 DexRegisterMap map(GetDexRegisterMapOf(stack_map, encoding, number_of_dex_registers));
1438 total += map.Size();
1439 }
1440 return total;
1441 }
1442
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001443 // Return the `DexRegisterMap` pointed by `inline_info` at depth `depth`.
1444 DexRegisterMap GetDexRegisterMapAtDepth(uint8_t depth,
1445 InlineInfo inline_info,
David Srbecky09ed0982016-02-12 21:58:43 +00001446 const CodeInfoEncoding& encoding,
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001447 uint32_t number_of_dex_registers) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001448 if (!inline_info.HasDexRegisterMapAtDepth(encoding.inline_info.encoding, depth)) {
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +00001449 return DexRegisterMap();
1450 } else {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001451 uint32_t offset = encoding.dex_register_map.byte_offset +
1452 inline_info.GetDexRegisterMapOffsetAtDepth(encoding.inline_info.encoding, depth);
David Srbecky09ed0982016-02-12 21:58:43 +00001453 size_t size = ComputeDexRegisterMapSizeOf(encoding, offset, number_of_dex_registers);
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +00001454 return DexRegisterMap(region_.Subregion(offset, size));
1455 }
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +01001456 }
1457
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001458 InlineInfo GetInlineInfo(size_t index, const CodeInfoEncoding& encoding) const {
Mathieu Chartierc420a802017-02-14 15:16:19 -08001459 // Since we do not know the depth, we just return the whole remaining map. The caller may
1460 // access the inline info for arbitrary depths. To return the precise inline info we would need
1461 // to count the depth before returning.
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001462 // TODO: Clean this up.
1463 const size_t bit_offset = encoding.inline_info.bit_offset +
1464 index * encoding.inline_info.encoding.BitSize();
1465 return InlineInfo(BitMemoryRegion(region_, bit_offset, region_.size_in_bits() - bit_offset));
1466 }
1467
David Srbecky09ed0982016-02-12 21:58:43 +00001468 InlineInfo GetInlineInfoOf(StackMap stack_map, const CodeInfoEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001469 DCHECK(stack_map.HasInlineInfo(encoding.stack_map.encoding));
1470 uint32_t index = stack_map.GetInlineInfoIndex(encoding.stack_map.encoding);
1471 return GetInlineInfo(index, encoding);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001472 }
1473
David Srbecky09ed0982016-02-12 21:58:43 +00001474 StackMap GetStackMapForDexPc(uint32_t dex_pc, const CodeInfoEncoding& encoding) const {
1475 for (size_t i = 0, e = GetNumberOfStackMaps(encoding); i < e; ++i) {
David Brazdilf677ebf2015-05-29 16:29:43 +01001476 StackMap stack_map = GetStackMapAt(i, encoding);
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001477 if (stack_map.GetDexPc(encoding.stack_map.encoding) == dex_pc) {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001478 return stack_map;
1479 }
1480 }
Nicolas Geoffraye12997f2015-05-22 14:01:33 +01001481 return StackMap();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001482 }
1483
David Brazdil77a48ae2015-09-15 12:34:04 +00001484 // Searches the stack map list backwards because catch stack maps are stored
1485 // at the end.
David Srbecky09ed0982016-02-12 21:58:43 +00001486 StackMap GetCatchStackMapForDexPc(uint32_t dex_pc, const CodeInfoEncoding& encoding) const {
1487 for (size_t i = GetNumberOfStackMaps(encoding); i > 0; --i) {
David Brazdil77a48ae2015-09-15 12:34:04 +00001488 StackMap stack_map = GetStackMapAt(i - 1, encoding);
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001489 if (stack_map.GetDexPc(encoding.stack_map.encoding) == dex_pc) {
David Brazdil77a48ae2015-09-15 12:34:04 +00001490 return stack_map;
1491 }
1492 }
1493 return StackMap();
1494 }
1495
David Srbecky09ed0982016-02-12 21:58:43 +00001496 StackMap GetOsrStackMapForDexPc(uint32_t dex_pc, const CodeInfoEncoding& encoding) const {
1497 size_t e = GetNumberOfStackMaps(encoding);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001498 if (e == 0) {
1499 // There cannot be OSR stack map if there is no stack map.
1500 return StackMap();
1501 }
1502 // Walk over all stack maps. If two consecutive stack maps are identical, then we
1503 // have found a stack map suitable for OSR.
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001504 const StackMapEncoding& stack_map_encoding = encoding.stack_map.encoding;
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001505 for (size_t i = 0; i < e - 1; ++i) {
1506 StackMap stack_map = GetStackMapAt(i, encoding);
David Srbecky09ed0982016-02-12 21:58:43 +00001507 if (stack_map.GetDexPc(stack_map_encoding) == dex_pc) {
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001508 StackMap other = GetStackMapAt(i + 1, encoding);
David Srbecky09ed0982016-02-12 21:58:43 +00001509 if (other.GetDexPc(stack_map_encoding) == dex_pc &&
Mathieu Chartiera2f526f2017-01-19 14:48:48 -08001510 other.GetNativePcOffset(stack_map_encoding, kRuntimeISA) ==
1511 stack_map.GetNativePcOffset(stack_map_encoding, kRuntimeISA)) {
David Srbecky09ed0982016-02-12 21:58:43 +00001512 DCHECK_EQ(other.GetDexRegisterMapOffset(stack_map_encoding),
1513 stack_map.GetDexRegisterMapOffset(stack_map_encoding));
1514 DCHECK(!stack_map.HasInlineInfo(stack_map_encoding));
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001515 if (i < e - 2) {
1516 // Make sure there are not three identical stack maps following each other.
Mathieu Chartiera2f526f2017-01-19 14:48:48 -08001517 DCHECK_NE(
1518 stack_map.GetNativePcOffset(stack_map_encoding, kRuntimeISA),
1519 GetStackMapAt(i + 2, encoding).GetNativePcOffset(stack_map_encoding, kRuntimeISA));
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001520 }
1521 return stack_map;
1522 }
1523 }
1524 }
1525 return StackMap();
1526 }
1527
David Brazdilf677ebf2015-05-29 16:29:43 +01001528 StackMap GetStackMapForNativePcOffset(uint32_t native_pc_offset,
David Srbecky09ed0982016-02-12 21:58:43 +00001529 const CodeInfoEncoding& encoding) const {
David Brazdil77a48ae2015-09-15 12:34:04 +00001530 // TODO: Safepoint stack maps are sorted by native_pc_offset but catch stack
1531 // maps are not. If we knew that the method does not have try/catch,
1532 // we could do binary search.
David Srbecky09ed0982016-02-12 21:58:43 +00001533 for (size_t i = 0, e = GetNumberOfStackMaps(encoding); i < e; ++i) {
David Brazdilf677ebf2015-05-29 16:29:43 +01001534 StackMap stack_map = GetStackMapAt(i, encoding);
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001535 if (stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA) ==
Mathieu Chartiera2f526f2017-01-19 14:48:48 -08001536 native_pc_offset) {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001537 return stack_map;
1538 }
1539 }
Nicolas Geoffraye12997f2015-05-22 14:01:33 +01001540 return StackMap();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001541 }
1542
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001543 InvokeInfo GetInvokeInfoForNativePcOffset(uint32_t native_pc_offset,
1544 const CodeInfoEncoding& encoding) {
1545 for (size_t index = 0; index < encoding.invoke_info.num_entries; index++) {
1546 InvokeInfo item = GetInvokeInfo(encoding, index);
1547 if (item.GetNativePcOffset(encoding.invoke_info.encoding, kRuntimeISA) == native_pc_offset) {
1548 return item;
1549 }
1550 }
1551 return InvokeInfo(BitMemoryRegion());
1552 }
1553
Roland Levillainf2650d12015-05-28 14:53:28 +01001554 // Dump this CodeInfo object on `os`. `code_offset` is the (absolute)
1555 // native PC of the compiled method and `number_of_dex_registers` the
1556 // number of Dex virtual registers used in this method. If
1557 // `dump_stack_maps` is true, also dump the stack maps and the
1558 // associated Dex register maps.
Vladimir Marko8f1e08a2015-06-26 12:06:30 +01001559 void Dump(VariableIndentationOutputStream* vios,
Roland Levillainf2650d12015-05-28 14:53:28 +01001560 uint32_t code_offset,
1561 uint16_t number_of_dex_registers,
Mathieu Chartiera2f526f2017-01-19 14:48:48 -08001562 bool dump_stack_maps,
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001563 InstructionSet instruction_set,
1564 const MethodInfo& method_info) const;
Nicolas Geoffray004c2302015-03-20 10:06:38 +00001565
Mathieu Chartier01c78142017-01-05 10:17:55 -08001566 // Check that the code info has valid stack map and abort if it does not.
1567 void AssertValidStackMap(const CodeInfoEncoding& encoding) const {
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001568 if (region_.size() != 0 && region_.size_in_bits() < GetStackMapsSizeInBits(encoding)) {
Mathieu Chartier01c78142017-01-05 10:17:55 -08001569 LOG(FATAL) << region_.size() << "\n"
Mathieu Chartier575d3e62017-02-06 11:00:40 -08001570 << encoding.HeaderSize() << "\n"
1571 << encoding.NonHeaderSize() << "\n"
1572 << encoding.location_catalog.num_entries << "\n"
1573 << encoding.stack_map.num_entries << "\n"
1574 << encoding.stack_map.encoding.BitSize();
Mathieu Chartier01c78142017-01-05 10:17:55 -08001575 }
1576 }
1577
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001578 private:
Roland Levillaina552e1c2015-03-26 15:01:03 +00001579 // Compute the size of the Dex register map associated to the stack map at
1580 // `dex_register_map_offset_in_code_info`.
David Srbecky09ed0982016-02-12 21:58:43 +00001581 size_t ComputeDexRegisterMapSizeOf(const CodeInfoEncoding& encoding,
1582 uint32_t dex_register_map_offset_in_code_info,
Roland Levillaina552e1c2015-03-26 15:01:03 +00001583 uint16_t number_of_dex_registers) const {
1584 // Offset where the actual mapping data starts within art::DexRegisterMap.
1585 size_t location_mapping_data_offset_in_dex_register_map =
1586 DexRegisterMap::GetLocationMappingDataOffset(number_of_dex_registers);
1587 // Create a temporary art::DexRegisterMap to be able to call
1588 // art::DexRegisterMap::GetNumberOfLiveDexRegisters and
1589 DexRegisterMap dex_register_map_without_locations(
1590 MemoryRegion(region_.Subregion(dex_register_map_offset_in_code_info,
1591 location_mapping_data_offset_in_dex_register_map)));
1592 size_t number_of_live_dex_registers =
1593 dex_register_map_without_locations.GetNumberOfLiveDexRegisters(number_of_dex_registers);
1594 size_t location_mapping_data_size_in_bits =
David Srbecky09ed0982016-02-12 21:58:43 +00001595 DexRegisterMap::SingleEntrySizeInBits(GetNumberOfLocationCatalogEntries(encoding))
Roland Levillaina552e1c2015-03-26 15:01:03 +00001596 * number_of_live_dex_registers;
1597 size_t location_mapping_data_size_in_bytes =
1598 RoundUp(location_mapping_data_size_in_bits, kBitsPerByte) / kBitsPerByte;
1599 size_t dex_register_map_size =
1600 location_mapping_data_offset_in_dex_register_map + location_mapping_data_size_in_bytes;
1601 return dex_register_map_size;
1602 }
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +00001603
Roland Levillaina552e1c2015-03-26 15:01:03 +00001604 // Compute the size of a Dex register location catalog starting at offset `origin`
1605 // in `region_` and containing `number_of_dex_locations` entries.
1606 size_t ComputeDexRegisterLocationCatalogSize(uint32_t origin,
1607 uint32_t number_of_dex_locations) const {
1608 // TODO: Ideally, we would like to use art::DexRegisterLocationCatalog::Size or
1609 // art::DexRegisterLocationCatalog::FindLocationOffset, but the
1610 // DexRegisterLocationCatalog is not yet built. Try to factor common code.
1611 size_t offset = origin + DexRegisterLocationCatalog::kFixedSize;
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +00001612
Roland Levillaina552e1c2015-03-26 15:01:03 +00001613 // Skip the first `number_of_dex_locations - 1` entries.
1614 for (uint16_t i = 0; i < number_of_dex_locations; ++i) {
1615 // Read the first next byte and inspect its first 3 bits to decide
1616 // whether it is a short or a large location.
1617 DexRegisterLocationCatalog::ShortLocation first_byte =
1618 region_.LoadUnaligned<DexRegisterLocationCatalog::ShortLocation>(offset);
1619 DexRegisterLocation::Kind kind =
1620 DexRegisterLocationCatalog::ExtractKindFromShortLocation(first_byte);
1621 if (DexRegisterLocation::IsShortLocationKind(kind)) {
1622 // Short location. Skip the current byte.
1623 offset += DexRegisterLocationCatalog::SingleShortEntrySize();
1624 } else {
1625 // Large location. Skip the 5 next bytes.
1626 offset += DexRegisterLocationCatalog::SingleLargeEntrySize();
Roland Levillaina2d8ec62015-03-12 15:25:29 +00001627 }
1628 }
1629 size_t size = offset - origin;
1630 return size;
1631 }
1632
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001633 MemoryRegion region_;
Nicolas Geoffray39468442014-09-02 15:17:15 +01001634 friend class StackMapStream;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001635};
1636
Roland Levillain1c1da432015-07-16 11:54:44 +01001637#undef ELEMENT_BYTE_OFFSET_AFTER
1638#undef ELEMENT_BIT_OFFSET_AFTER
1639
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001640} // namespace art
1641
1642#endif // ART_RUNTIME_STACK_MAP_H_