blob: 7178e6683f758d08dfd29f51fd7ec8684e657eea [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#include "stack_map.h"
Mathieu Chartiere5d80f82015-10-15 17:47:48 -070018
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000019#include "art_method.h"
Mathieu Chartiere5d80f82015-10-15 17:47:48 -070020#include "base/arena_bit_vector.h"
David Sehr3215fff2018-04-03 17:10:12 -070021#include "base/malloc_arena_pool.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010022#include "stack_map_stream.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010023
24#include "gtest/gtest.h"
25
26namespace art {
27
David Srbecky09ed0982016-02-12 21:58:43 +000028// Check that the stack mask of given stack map is identical
29// to the given bit vector. Returns true if they are same.
30static bool CheckStackMask(
David Srbecky45aa5982016-03-18 02:15:09 +000031 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +000032 const StackMap& stack_map,
David Srbecky09ed0982016-02-12 21:58:43 +000033 const BitVector& bit_vector) {
David Srbecky052f8ca2018-04-26 15:42:54 +010034 BitMemoryRegion stack_mask = code_info.GetStackMaskOf(stack_map);
David Srbecky4b59d102018-05-29 21:46:10 +000035 if (bit_vector.GetNumberOfBits() > stack_mask.size_in_bits()) {
David Srbecky09ed0982016-02-12 21:58:43 +000036 return false;
37 }
David Srbecky4b59d102018-05-29 21:46:10 +000038 for (size_t i = 0; i < stack_mask.size_in_bits(); ++i) {
David Srbecky45aa5982016-03-18 02:15:09 +000039 if (stack_mask.LoadBit(i) != bit_vector.IsBitSet(i)) {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010040 return false;
41 }
42 }
43 return true;
44}
45
Roland Levillaina552e1c2015-03-26 15:01:03 +000046using Kind = DexRegisterLocation::Kind;
47
David Srbeckyd775f962018-05-30 18:12:52 +010048constexpr static uint32_t kPcAlign = GetInstructionSetInstructionAlignment(kRuntimeISA);
49
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010050TEST(StackMapTest, Test1) {
David Sehr3215fff2018-04-03 17:10:12 -070051 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +010052 ArenaStack arena_stack(&pool);
53 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +010054 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010055
Vladimir Marko69d310e2017-10-09 14:12:23 +010056 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillain12baf472015-03-05 12:41:42 +000057 size_t number_of_dex_registers = 2;
David Srbeckyd775f962018-05-30 18:12:52 +010058 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010059 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
60 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Short location.
Calin Juravle4f46ac52015-04-23 18:47:21 +010061 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010062
Calin Juravle4f46ac52015-04-23 18:47:21 +010063 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +010064 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010065 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -070066 stream.FillInCodeInfo(region);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010067
Nicolas Geoffray39468442014-09-02 15:17:15 +010068 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +010069 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010070
David Srbecky052f8ca2018-04-26 15:42:54 +010071 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +000072 ASSERT_EQ(2u, number_of_catalog_entries);
David Srbecky052f8ca2018-04-26 15:42:54 +010073 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog();
Roland Levillaina552e1c2015-03-26 15:01:03 +000074 // The Dex register location catalog contains:
75 // - one 1-byte short Dex register location, and
76 // - one 5-byte large Dex register location.
77 size_t expected_location_catalog_size = 1u + 5u;
78 ASSERT_EQ(expected_location_catalog_size, location_catalog.Size());
79
David Srbecky052f8ca2018-04-26 15:42:54 +010080 StackMap stack_map = code_info.GetStackMapAt(0);
81 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +010082 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +010083 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +010084 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +010085 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010086
David Srbecky052f8ca2018-04-26 15:42:54 +010087 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010088
David Srbecky052f8ca2018-04-26 15:42:54 +010089 ASSERT_TRUE(stack_map.HasDexRegisterMap());
Roland Levillaina552e1c2015-03-26 15:01:03 +000090 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +010091 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +000092 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
93 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
94 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
95 // The Dex register map contains:
96 // - one 1-byte live bit mask, and
97 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
98 size_t expected_dex_register_map_size = 1u + 1u;
99 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
100
David Srbecky21d45b42018-05-30 06:35:05 +0100101 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationKind(0));
102 ASSERT_EQ(Kind::kConstant, dex_register_map.GetLocationKind(1));
103 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationInternalKind(0));
104 ASSERT_EQ(Kind::kConstantLargeValue, dex_register_map.GetLocationInternalKind(1));
105 ASSERT_EQ(0, dex_register_map.GetStackOffsetInBytes(0));
106 ASSERT_EQ(-2, dex_register_map.GetConstant(1));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000107
David Srbecky21d45b42018-05-30 06:35:05 +0100108 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(0, number_of_catalog_entries);
109 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(1, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000110 ASSERT_EQ(0u, index0);
111 ASSERT_EQ(1u, index1);
112 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
113 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
114 ASSERT_EQ(Kind::kInStack, location0.GetKind());
115 ASSERT_EQ(Kind::kConstant, location1.GetKind());
116 ASSERT_EQ(Kind::kInStack, location0.GetInternalKind());
117 ASSERT_EQ(Kind::kConstantLargeValue, location1.GetInternalKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000118 ASSERT_EQ(0, location0.GetValue());
119 ASSERT_EQ(-2, location1.GetValue());
Roland Levillain12baf472015-03-05 12:41:42 +0000120
David Srbecky052f8ca2018-04-26 15:42:54 +0100121 ASSERT_FALSE(stack_map.HasInlineInfo());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100122}
123
124TEST(StackMapTest, Test2) {
David Sehr3215fff2018-04-03 17:10:12 -0700125 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100126 ArenaStack arena_stack(&pool);
127 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100128 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000129 ArtMethod art_method;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100130
Vladimir Marko69d310e2017-10-09 14:12:23 +0100131 ArenaBitVector sp_mask1(&allocator, 0, true);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100132 sp_mask1.SetBit(2);
133 sp_mask1.SetBit(4);
Roland Levillain12baf472015-03-05 12:41:42 +0000134 size_t number_of_dex_registers = 2;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100135 size_t number_of_dex_registers_in_inline_info = 0;
David Srbeckyd775f962018-05-30 18:12:52 +0100136 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask1, number_of_dex_registers, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100137 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
138 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000139 stream.BeginInlineInfoEntry(&art_method, 3, number_of_dex_registers_in_inline_info);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100140 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000141 stream.BeginInlineInfoEntry(&art_method, 2, number_of_dex_registers_in_inline_info);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100142 stream.EndInlineInfoEntry();
Calin Juravle4f46ac52015-04-23 18:47:21 +0100143 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100144
Vladimir Marko69d310e2017-10-09 14:12:23 +0100145 ArenaBitVector sp_mask2(&allocator, 0, true);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100146 sp_mask2.SetBit(3);
David Brazdilf10a25f2015-06-02 14:29:52 +0100147 sp_mask2.SetBit(8);
David Srbeckyd775f962018-05-30 18:12:52 +0100148 stream.BeginStackMapEntry(1, 128 * kPcAlign, 0xFF, &sp_mask2, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100149 stream.AddDexRegisterEntry(Kind::kInRegister, 18); // Short location.
150 stream.AddDexRegisterEntry(Kind::kInFpuRegister, 3); // Short location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100151 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100152
Vladimir Marko69d310e2017-10-09 14:12:23 +0100153 ArenaBitVector sp_mask3(&allocator, 0, true);
David Brazdild9cb68e2015-08-25 13:52:43 +0100154 sp_mask3.SetBit(1);
155 sp_mask3.SetBit(5);
David Srbeckyd775f962018-05-30 18:12:52 +0100156 stream.BeginStackMapEntry(2, 192 * kPcAlign, 0xAB, &sp_mask3, number_of_dex_registers, 0);
David Brazdild9cb68e2015-08-25 13:52:43 +0100157 stream.AddDexRegisterEntry(Kind::kInRegister, 6); // Short location.
158 stream.AddDexRegisterEntry(Kind::kInRegisterHigh, 8); // Short location.
159 stream.EndStackMapEntry();
160
Vladimir Marko69d310e2017-10-09 14:12:23 +0100161 ArenaBitVector sp_mask4(&allocator, 0, true);
David Brazdild9cb68e2015-08-25 13:52:43 +0100162 sp_mask4.SetBit(6);
163 sp_mask4.SetBit(7);
David Srbeckyd775f962018-05-30 18:12:52 +0100164 stream.BeginStackMapEntry(3, 256 * kPcAlign, 0xCD, &sp_mask4, number_of_dex_registers, 0);
David Brazdild9cb68e2015-08-25 13:52:43 +0100165 stream.AddDexRegisterEntry(Kind::kInFpuRegister, 3); // Short location, same in stack map 2.
166 stream.AddDexRegisterEntry(Kind::kInFpuRegisterHigh, 1); // Short location.
167 stream.EndStackMapEntry();
168
Calin Juravle4f46ac52015-04-23 18:47:21 +0100169 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100170 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100171 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700172 stream.FillInCodeInfo(region);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100173
Nicolas Geoffray39468442014-09-02 15:17:15 +0100174 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100175 ASSERT_EQ(4u, code_info.GetNumberOfStackMaps());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100176
David Srbecky052f8ca2018-04-26 15:42:54 +0100177 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000178 ASSERT_EQ(7u, number_of_catalog_entries);
David Srbecky052f8ca2018-04-26 15:42:54 +0100179 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000180 // The Dex register location catalog contains:
David Brazdild9cb68e2015-08-25 13:52:43 +0100181 // - six 1-byte short Dex register locations, and
Roland Levillaina552e1c2015-03-26 15:01:03 +0000182 // - one 5-byte large Dex register location.
David Brazdild9cb68e2015-08-25 13:52:43 +0100183 size_t expected_location_catalog_size = 6u * 1u + 5u;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000184 ASSERT_EQ(expected_location_catalog_size, location_catalog.Size());
185
Roland Levillain12baf472015-03-05 12:41:42 +0000186 // First stack map.
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000187 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100188 StackMap stack_map = code_info.GetStackMapAt(0);
189 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100190 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100191 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100192 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100193 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100194
David Srbecky052f8ca2018-04-26 15:42:54 +0100195 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask1));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100196
David Srbecky052f8ca2018-04-26 15:42:54 +0100197 ASSERT_TRUE(stack_map.HasDexRegisterMap());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000198 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100199 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000200 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
201 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
202 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
203 // The Dex register map contains:
204 // - one 1-byte live bit mask, and
205 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
206 size_t expected_dex_register_map_size = 1u + 1u;
207 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
208
David Srbecky21d45b42018-05-30 06:35:05 +0100209 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationKind(0));
210 ASSERT_EQ(Kind::kConstant, dex_register_map.GetLocationKind(1));
211 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationInternalKind(0));
212 ASSERT_EQ(Kind::kConstantLargeValue, dex_register_map.GetLocationInternalKind(1));
213 ASSERT_EQ(0, dex_register_map.GetStackOffsetInBytes(0));
214 ASSERT_EQ(-2, dex_register_map.GetConstant(1));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000215
David Srbecky21d45b42018-05-30 06:35:05 +0100216 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(0, number_of_catalog_entries);
217 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(1, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000218 ASSERT_EQ(0u, index0);
219 ASSERT_EQ(1u, index1);
220 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
221 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
222 ASSERT_EQ(Kind::kInStack, location0.GetKind());
223 ASSERT_EQ(Kind::kConstant, location1.GetKind());
224 ASSERT_EQ(Kind::kInStack, location0.GetInternalKind());
225 ASSERT_EQ(Kind::kConstantLargeValue, location1.GetInternalKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000226 ASSERT_EQ(0, location0.GetValue());
227 ASSERT_EQ(-2, location1.GetValue());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100228
David Srbecky052f8ca2018-04-26 15:42:54 +0100229 ASSERT_TRUE(stack_map.HasInlineInfo());
230 InlineInfo inline_info = code_info.GetInlineInfoOf(stack_map);
231 ASSERT_EQ(2u, inline_info.GetDepth());
232 ASSERT_EQ(3u, inline_info.GetDexPcAtDepth(0));
233 ASSERT_EQ(2u, inline_info.GetDexPcAtDepth(1));
234 ASSERT_TRUE(inline_info.EncodesArtMethodAtDepth(0));
235 ASSERT_TRUE(inline_info.EncodesArtMethodAtDepth(1));
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000236 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100237
Roland Levillain12baf472015-03-05 12:41:42 +0000238 // Second stack map.
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000239 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100240 StackMap stack_map = code_info.GetStackMapAt(1);
241 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(1u)));
David Srbeckyd775f962018-05-30 18:12:52 +0100242 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(128u * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100243 ASSERT_EQ(1u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100244 ASSERT_EQ(128u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100245 ASSERT_EQ(0xFFu, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100246
David Srbecky052f8ca2018-04-26 15:42:54 +0100247 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask2));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100248
David Srbecky052f8ca2018-04-26 15:42:54 +0100249 ASSERT_TRUE(stack_map.HasDexRegisterMap());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000250 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100251 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000252 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
253 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
254 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
255 // The Dex register map contains:
256 // - one 1-byte live bit mask, and
257 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
258 size_t expected_dex_register_map_size = 1u + 1u;
259 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
260
David Srbecky21d45b42018-05-30 06:35:05 +0100261 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationKind(0));
262 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationKind(1));
263 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationInternalKind(0));
264 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationInternalKind(1));
265 ASSERT_EQ(18, dex_register_map.GetMachineRegister(0));
266 ASSERT_EQ(3, dex_register_map.GetMachineRegister(1));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000267
David Srbecky21d45b42018-05-30 06:35:05 +0100268 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(0, number_of_catalog_entries);
269 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(1, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000270 ASSERT_EQ(2u, index0);
271 ASSERT_EQ(3u, index1);
272 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
273 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
274 ASSERT_EQ(Kind::kInRegister, location0.GetKind());
275 ASSERT_EQ(Kind::kInFpuRegister, location1.GetKind());
276 ASSERT_EQ(Kind::kInRegister, location0.GetInternalKind());
277 ASSERT_EQ(Kind::kInFpuRegister, location1.GetInternalKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000278 ASSERT_EQ(18, location0.GetValue());
279 ASSERT_EQ(3, location1.GetValue());
Roland Levillain12baf472015-03-05 12:41:42 +0000280
David Srbecky052f8ca2018-04-26 15:42:54 +0100281 ASSERT_FALSE(stack_map.HasInlineInfo());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000282 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100283
284 // Third stack map.
285 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100286 StackMap stack_map = code_info.GetStackMapAt(2);
287 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(2u)));
David Srbeckyd775f962018-05-30 18:12:52 +0100288 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(192u * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100289 ASSERT_EQ(2u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100290 ASSERT_EQ(192u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100291 ASSERT_EQ(0xABu, code_info.GetRegisterMaskOf(stack_map));
David Brazdild9cb68e2015-08-25 13:52:43 +0100292
David Srbecky052f8ca2018-04-26 15:42:54 +0100293 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask3));
David Brazdild9cb68e2015-08-25 13:52:43 +0100294
David Srbecky052f8ca2018-04-26 15:42:54 +0100295 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Brazdild9cb68e2015-08-25 13:52:43 +0100296 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100297 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
David Brazdild9cb68e2015-08-25 13:52:43 +0100298 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
299 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
300 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
301 // The Dex register map contains:
302 // - one 1-byte live bit mask, and
303 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
304 size_t expected_dex_register_map_size = 1u + 1u;
305 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
306
David Srbecky21d45b42018-05-30 06:35:05 +0100307 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationKind(0));
308 ASSERT_EQ(Kind::kInRegisterHigh, dex_register_map.GetLocationKind(1));
309 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationInternalKind(0));
310 ASSERT_EQ(Kind::kInRegisterHigh, dex_register_map.GetLocationInternalKind(1));
311 ASSERT_EQ(6, dex_register_map.GetMachineRegister(0));
312 ASSERT_EQ(8, dex_register_map.GetMachineRegister(1));
David Brazdild9cb68e2015-08-25 13:52:43 +0100313
David Srbecky21d45b42018-05-30 06:35:05 +0100314 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(0, number_of_catalog_entries);
315 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(1, number_of_catalog_entries);
David Brazdild9cb68e2015-08-25 13:52:43 +0100316 ASSERT_EQ(4u, index0);
317 ASSERT_EQ(5u, index1);
318 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
319 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
320 ASSERT_EQ(Kind::kInRegister, location0.GetKind());
321 ASSERT_EQ(Kind::kInRegisterHigh, location1.GetKind());
322 ASSERT_EQ(Kind::kInRegister, location0.GetInternalKind());
323 ASSERT_EQ(Kind::kInRegisterHigh, location1.GetInternalKind());
324 ASSERT_EQ(6, location0.GetValue());
325 ASSERT_EQ(8, location1.GetValue());
326
David Srbecky052f8ca2018-04-26 15:42:54 +0100327 ASSERT_FALSE(stack_map.HasInlineInfo());
David Brazdild9cb68e2015-08-25 13:52:43 +0100328 }
329
330 // Fourth stack map.
331 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100332 StackMap stack_map = code_info.GetStackMapAt(3);
333 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(3u)));
David Srbeckyd775f962018-05-30 18:12:52 +0100334 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(256u * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100335 ASSERT_EQ(3u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100336 ASSERT_EQ(256u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100337 ASSERT_EQ(0xCDu, code_info.GetRegisterMaskOf(stack_map));
David Brazdild9cb68e2015-08-25 13:52:43 +0100338
David Srbecky052f8ca2018-04-26 15:42:54 +0100339 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask4));
David Brazdild9cb68e2015-08-25 13:52:43 +0100340
David Srbecky052f8ca2018-04-26 15:42:54 +0100341 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Brazdild9cb68e2015-08-25 13:52:43 +0100342 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100343 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
David Brazdild9cb68e2015-08-25 13:52:43 +0100344 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
345 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
346 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
347 // The Dex register map contains:
348 // - one 1-byte live bit mask, and
349 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
350 size_t expected_dex_register_map_size = 1u + 1u;
351 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
352
David Srbecky21d45b42018-05-30 06:35:05 +0100353 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationKind(0));
354 ASSERT_EQ(Kind::kInFpuRegisterHigh, dex_register_map.GetLocationKind(1));
355 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationInternalKind(0));
356 ASSERT_EQ(Kind::kInFpuRegisterHigh, dex_register_map.GetLocationInternalKind(1));
357 ASSERT_EQ(3, dex_register_map.GetMachineRegister(0));
358 ASSERT_EQ(1, dex_register_map.GetMachineRegister(1));
David Brazdild9cb68e2015-08-25 13:52:43 +0100359
David Srbecky21d45b42018-05-30 06:35:05 +0100360 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(0, number_of_catalog_entries);
361 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(1, number_of_catalog_entries);
David Brazdild9cb68e2015-08-25 13:52:43 +0100362 ASSERT_EQ(3u, index0); // Shared with second stack map.
363 ASSERT_EQ(6u, index1);
364 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
365 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
366 ASSERT_EQ(Kind::kInFpuRegister, location0.GetKind());
367 ASSERT_EQ(Kind::kInFpuRegisterHigh, location1.GetKind());
368 ASSERT_EQ(Kind::kInFpuRegister, location0.GetInternalKind());
369 ASSERT_EQ(Kind::kInFpuRegisterHigh, location1.GetInternalKind());
370 ASSERT_EQ(3, location0.GetValue());
371 ASSERT_EQ(1, location1.GetValue());
372
David Srbecky052f8ca2018-04-26 15:42:54 +0100373 ASSERT_FALSE(stack_map.HasInlineInfo());
David Brazdild9cb68e2015-08-25 13:52:43 +0100374 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100375}
376
Mathieu Chartier32289082017-02-09 15:57:37 -0800377TEST(StackMapTest, TestDeduplicateInlineInfoDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700378 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100379 ArenaStack arena_stack(&pool);
380 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100381 StackMapStream stream(&allocator, kRuntimeISA);
Mathieu Chartier32289082017-02-09 15:57:37 -0800382 ArtMethod art_method;
383
Vladimir Marko69d310e2017-10-09 14:12:23 +0100384 ArenaBitVector sp_mask1(&allocator, 0, true);
Mathieu Chartier32289082017-02-09 15:57:37 -0800385 sp_mask1.SetBit(2);
386 sp_mask1.SetBit(4);
387 const size_t number_of_dex_registers = 2;
388 const size_t number_of_dex_registers_in_inline_info = 2;
David Srbeckyd775f962018-05-30 18:12:52 +0100389 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask1, number_of_dex_registers, 1);
Mathieu Chartier32289082017-02-09 15:57:37 -0800390 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
391 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
392 stream.BeginInlineInfoEntry(&art_method, 3, number_of_dex_registers_in_inline_info);
393 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
394 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
395 stream.EndInlineInfoEntry();
396 stream.EndStackMapEntry();
397
398 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100399 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Mathieu Chartier32289082017-02-09 15:57:37 -0800400 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700401 stream.FillInCodeInfo(region);
Mathieu Chartier32289082017-02-09 15:57:37 -0800402
403 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100404 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps());
Mathieu Chartier32289082017-02-09 15:57:37 -0800405
David Srbecky052f8ca2018-04-26 15:42:54 +0100406 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
Mathieu Chartier32289082017-02-09 15:57:37 -0800407 ASSERT_EQ(2u, number_of_catalog_entries);
David Srbecky052f8ca2018-04-26 15:42:54 +0100408 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog();
Mathieu Chartier32289082017-02-09 15:57:37 -0800409 // The Dex register location catalog contains:
410 // - one 1-byte short Dex register locations, and
411 // - one 5-byte large Dex register location.
412 const size_t expected_location_catalog_size = 1u + 5u;
413 ASSERT_EQ(expected_location_catalog_size, location_catalog.Size());
414
415 // First stack map.
416 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100417 StackMap stack_map = code_info.GetStackMapAt(0);
418 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100419 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100420 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100421 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100422 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Mathieu Chartier32289082017-02-09 15:57:37 -0800423
David Srbecky052f8ca2018-04-26 15:42:54 +0100424 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask1));
Mathieu Chartier32289082017-02-09 15:57:37 -0800425
David Srbecky052f8ca2018-04-26 15:42:54 +0100426 ASSERT_TRUE(stack_map.HasDexRegisterMap());
427 DexRegisterMap map(code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers));
Mathieu Chartier32289082017-02-09 15:57:37 -0800428 ASSERT_TRUE(map.IsDexRegisterLive(0));
429 ASSERT_TRUE(map.IsDexRegisterLive(1));
430 ASSERT_EQ(2u, map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
431 // The Dex register map contains:
432 // - one 1-byte live bit mask, and
433 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
434 size_t expected_map_size = 1u + 1u;
435 ASSERT_EQ(expected_map_size, map.Size());
436
David Srbecky21d45b42018-05-30 06:35:05 +0100437 ASSERT_EQ(Kind::kInStack, map.GetLocationKind(0));
438 ASSERT_EQ(Kind::kConstant, map.GetLocationKind(1));
439 ASSERT_EQ(Kind::kInStack, map.GetLocationInternalKind(0));
440 ASSERT_EQ(Kind::kConstantLargeValue, map.GetLocationInternalKind(1));
441 ASSERT_EQ(0, map.GetStackOffsetInBytes(0));
442 ASSERT_EQ(-2, map.GetConstant(1));
Mathieu Chartier32289082017-02-09 15:57:37 -0800443
David Srbecky21d45b42018-05-30 06:35:05 +0100444 const size_t index0 = map.GetLocationCatalogEntryIndex(0, number_of_catalog_entries);
445 const size_t index1 = map.GetLocationCatalogEntryIndex(1, number_of_catalog_entries);
Mathieu Chartier32289082017-02-09 15:57:37 -0800446 ASSERT_EQ(0u, index0);
447 ASSERT_EQ(1u, index1);
448 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
449 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
450 ASSERT_EQ(Kind::kInStack, location0.GetKind());
451 ASSERT_EQ(Kind::kConstant, location1.GetKind());
452 ASSERT_EQ(Kind::kInStack, location0.GetInternalKind());
453 ASSERT_EQ(Kind::kConstantLargeValue, location1.GetInternalKind());
454 ASSERT_EQ(0, location0.GetValue());
455 ASSERT_EQ(-2, location1.GetValue());
456
457 // Test that the inline info dex register map deduplicated to the same offset as the stack map
458 // one.
David Srbecky052f8ca2018-04-26 15:42:54 +0100459 ASSERT_TRUE(stack_map.HasInlineInfo());
460 InlineInfo inline_info = code_info.GetInlineInfoOf(stack_map);
461 EXPECT_EQ(inline_info.GetDexRegisterMapOffsetAtDepth(0),
462 stack_map.GetDexRegisterMapOffset());
Mathieu Chartier32289082017-02-09 15:57:37 -0800463 }
464}
465
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000466TEST(StackMapTest, TestNonLiveDexRegisters) {
David Sehr3215fff2018-04-03 17:10:12 -0700467 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100468 ArenaStack arena_stack(&pool);
469 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100470 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000471
Vladimir Marko69d310e2017-10-09 14:12:23 +0100472 ArenaBitVector sp_mask(&allocator, 0, false);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000473 uint32_t number_of_dex_registers = 2;
David Srbeckyd775f962018-05-30 18:12:52 +0100474 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100475 stream.AddDexRegisterEntry(Kind::kNone, 0); // No location.
476 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100477 stream.EndStackMapEntry();
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000478
Calin Juravle4f46ac52015-04-23 18:47:21 +0100479 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100480 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000481 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700482 stream.FillInCodeInfo(region);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000483
484 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100485 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000486
David Srbecky052f8ca2018-04-26 15:42:54 +0100487 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000488 ASSERT_EQ(1u, number_of_catalog_entries);
David Srbecky052f8ca2018-04-26 15:42:54 +0100489 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000490 // The Dex register location catalog contains:
491 // - one 5-byte large Dex register location.
492 size_t expected_location_catalog_size = 5u;
493 ASSERT_EQ(expected_location_catalog_size, location_catalog.Size());
494
David Srbecky052f8ca2018-04-26 15:42:54 +0100495 StackMap stack_map = code_info.GetStackMapAt(0);
496 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100497 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100498 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100499 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100500 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000501
David Srbecky052f8ca2018-04-26 15:42:54 +0100502 ASSERT_TRUE(stack_map.HasDexRegisterMap());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000503 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100504 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000505 ASSERT_FALSE(dex_register_map.IsDexRegisterLive(0));
506 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
507 ASSERT_EQ(1u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
508 // The Dex register map contains:
509 // - one 1-byte live bit mask.
510 // No space is allocated for the sole location catalog entry index, as it is useless.
511 size_t expected_dex_register_map_size = 1u + 0u;
512 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
513
David Srbecky21d45b42018-05-30 06:35:05 +0100514 ASSERT_EQ(Kind::kNone, dex_register_map.GetLocationKind(0));
515 ASSERT_EQ(Kind::kConstant, dex_register_map.GetLocationKind(1));
516 ASSERT_EQ(Kind::kNone, dex_register_map.GetLocationInternalKind(0));
517 ASSERT_EQ(Kind::kConstantLargeValue, dex_register_map.GetLocationInternalKind(1));
518 ASSERT_EQ(-2, dex_register_map.GetConstant(1));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000519
David Srbecky21d45b42018-05-30 06:35:05 +0100520 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(0, number_of_catalog_entries);
521 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(1, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000522 ASSERT_EQ(DexRegisterLocationCatalog::kNoLocationEntryIndex, index0);
523 ASSERT_EQ(0u, index1);
524 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
525 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
526 ASSERT_EQ(Kind::kNone, location0.GetKind());
527 ASSERT_EQ(Kind::kConstant, location1.GetKind());
528 ASSERT_EQ(Kind::kNone, location0.GetInternalKind());
529 ASSERT_EQ(Kind::kConstantLargeValue, location1.GetInternalKind());
530 ASSERT_EQ(0, location0.GetValue());
531 ASSERT_EQ(-2, location1.GetValue());
532
David Srbecky052f8ca2018-04-26 15:42:54 +0100533 ASSERT_FALSE(stack_map.HasInlineInfo());
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000534}
535
536// Generate a stack map whose dex register offset is
537// StackMap::kNoDexRegisterMapSmallEncoding, and ensure we do
538// not treat it as kNoDexRegisterMap.
539TEST(StackMapTest, DexRegisterMapOffsetOverflow) {
David Sehr3215fff2018-04-03 17:10:12 -0700540 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100541 ArenaStack arena_stack(&pool);
542 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100543 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000544
Vladimir Marko69d310e2017-10-09 14:12:23 +0100545 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000546 uint32_t number_of_dex_registers = 1024;
547 // Create the first stack map (and its Dex register map).
David Srbeckyd775f962018-05-30 18:12:52 +0100548 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000549 uint32_t number_of_dex_live_registers_in_dex_register_map_0 = number_of_dex_registers - 8;
550 for (uint32_t i = 0; i < number_of_dex_live_registers_in_dex_register_map_0; ++i) {
551 // Use two different Dex register locations to populate this map,
552 // as using a single value (in the whole CodeInfo object) would
553 // make this Dex register mapping data empty (see
554 // art::DexRegisterMap::SingleEntrySizeInBits).
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100555 stream.AddDexRegisterEntry(Kind::kConstant, i % 2); // Short location.
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000556 }
Calin Juravle4f46ac52015-04-23 18:47:21 +0100557 stream.EndStackMapEntry();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000558 // Create the second stack map (and its Dex register map).
David Srbeckyd775f962018-05-30 18:12:52 +0100559 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000560 for (uint32_t i = 0; i < number_of_dex_registers; ++i) {
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100561 stream.AddDexRegisterEntry(Kind::kConstant, 0); // Short location.
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000562 }
Calin Juravle4f46ac52015-04-23 18:47:21 +0100563 stream.EndStackMapEntry();
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000564
Calin Juravle4f46ac52015-04-23 18:47:21 +0100565 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100566 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000567 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700568 stream.FillInCodeInfo(region);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000569
570 CodeInfo code_info(region);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000571 // The location catalog contains two entries (DexRegisterLocation(kConstant, 0)
572 // and DexRegisterLocation(kConstant, 1)), therefore the location catalog index
573 // has a size of 1 bit.
David Srbecky052f8ca2018-04-26 15:42:54 +0100574 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000575 ASSERT_EQ(2u, number_of_catalog_entries);
576 ASSERT_EQ(1u, DexRegisterMap::SingleEntrySizeInBits(number_of_catalog_entries));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000577
578 // The first Dex register map contains:
579 // - a live register bit mask for 1024 registers (that is, 128 bytes of
580 // data); and
581 // - Dex register mapping information for 1016 1-bit Dex (live) register
582 // locations (that is, 127 bytes of data).
583 // Hence it has a size of 255 bytes, and therefore...
584 ASSERT_EQ(128u, DexRegisterMap::GetLiveBitMaskSize(number_of_dex_registers));
David Srbecky052f8ca2018-04-26 15:42:54 +0100585 StackMap stack_map0 = code_info.GetStackMapAt(0);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000586 DexRegisterMap dex_register_map0 =
David Srbecky052f8ca2018-04-26 15:42:54 +0100587 code_info.GetDexRegisterMapOf(stack_map0, number_of_dex_registers);
David Srbecky21d45b42018-05-30 06:35:05 +0100588 ASSERT_EQ(127u, dex_register_map0.GetLocationMappingDataSize(number_of_catalog_entries));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000589 ASSERT_EQ(255u, dex_register_map0.Size());
590
David Srbecky052f8ca2018-04-26 15:42:54 +0100591 StackMap stack_map1 = code_info.GetStackMapAt(1);
592 ASSERT_TRUE(stack_map1.HasDexRegisterMap());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000593 // ...the offset of the second Dex register map (relative to the
594 // beginning of the Dex register maps region) is 255 (i.e.,
595 // kNoDexRegisterMapSmallEncoding).
David Srbecky052f8ca2018-04-26 15:42:54 +0100596 ASSERT_NE(stack_map1.GetDexRegisterMapOffset(),
597 StackMap::kNoValue);
598 ASSERT_EQ(stack_map1.GetDexRegisterMapOffset(), 0xFFu);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000599}
600
Calin Juravle6ae70962015-03-18 16:31:28 +0000601TEST(StackMapTest, TestShareDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700602 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100603 ArenaStack arena_stack(&pool);
604 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100605 StackMapStream stream(&allocator, kRuntimeISA);
Calin Juravle6ae70962015-03-18 16:31:28 +0000606
Vladimir Marko69d310e2017-10-09 14:12:23 +0100607 ArenaBitVector sp_mask(&allocator, 0, false);
Calin Juravle6ae70962015-03-18 16:31:28 +0000608 uint32_t number_of_dex_registers = 2;
609 // First stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100610 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100611 stream.AddDexRegisterEntry(Kind::kInRegister, 0); // Short location.
612 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100613 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000614 // Second stack map, which should share the same dex register map.
David Srbeckyd775f962018-05-30 18:12:52 +0100615 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100616 stream.AddDexRegisterEntry(Kind::kInRegister, 0); // Short location.
617 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100618 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000619 // Third stack map (doesn't share the dex register map).
David Srbeckyd775f962018-05-30 18:12:52 +0100620 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100621 stream.AddDexRegisterEntry(Kind::kInRegister, 2); // Short location.
622 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100623 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000624
Calin Juravle4f46ac52015-04-23 18:47:21 +0100625 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100626 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Calin Juravle6ae70962015-03-18 16:31:28 +0000627 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700628 stream.FillInCodeInfo(region);
Calin Juravle6ae70962015-03-18 16:31:28 +0000629
630 CodeInfo ci(region);
David Brazdilf677ebf2015-05-29 16:29:43 +0100631
Calin Juravle6ae70962015-03-18 16:31:28 +0000632 // Verify first stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100633 StackMap sm0 = ci.GetStackMapAt(0);
634 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm0, number_of_dex_registers);
David Srbecky21d45b42018-05-30 06:35:05 +0100635 ASSERT_EQ(0, dex_registers0.GetMachineRegister(0));
636 ASSERT_EQ(-2, dex_registers0.GetConstant(1));
Calin Juravle6ae70962015-03-18 16:31:28 +0000637
638 // Verify second stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100639 StackMap sm1 = ci.GetStackMapAt(1);
640 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapOf(sm1, number_of_dex_registers);
David Srbecky21d45b42018-05-30 06:35:05 +0100641 ASSERT_EQ(0, dex_registers1.GetMachineRegister(0));
642 ASSERT_EQ(-2, dex_registers1.GetConstant(1));
Calin Juravle6ae70962015-03-18 16:31:28 +0000643
644 // Verify third stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100645 StackMap sm2 = ci.GetStackMapAt(2);
646 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapOf(sm2, number_of_dex_registers);
David Srbecky21d45b42018-05-30 06:35:05 +0100647 ASSERT_EQ(2, dex_registers2.GetMachineRegister(0));
648 ASSERT_EQ(-2, dex_registers2.GetConstant(1));
Calin Juravle6ae70962015-03-18 16:31:28 +0000649
650 // Verify dex register map offsets.
David Srbecky052f8ca2018-04-26 15:42:54 +0100651 ASSERT_EQ(sm0.GetDexRegisterMapOffset(),
652 sm1.GetDexRegisterMapOffset());
653 ASSERT_NE(sm0.GetDexRegisterMapOffset(),
654 sm2.GetDexRegisterMapOffset());
655 ASSERT_NE(sm1.GetDexRegisterMapOffset(),
656 sm2.GetDexRegisterMapOffset());
Calin Juravle6ae70962015-03-18 16:31:28 +0000657}
658
Roland Levillaina552e1c2015-03-26 15:01:03 +0000659TEST(StackMapTest, TestNoDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700660 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100661 ArenaStack arena_stack(&pool);
662 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100663 StackMapStream stream(&allocator, kRuntimeISA);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000664
Vladimir Marko69d310e2017-10-09 14:12:23 +0100665 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000666 uint32_t number_of_dex_registers = 0;
David Srbeckyd775f962018-05-30 18:12:52 +0100667 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Calin Juravle4f46ac52015-04-23 18:47:21 +0100668 stream.EndStackMapEntry();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000669
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000670 number_of_dex_registers = 1;
David Srbeckyd775f962018-05-30 18:12:52 +0100671 stream.BeginStackMapEntry(1, 68 * kPcAlign, 0x4, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000672 stream.EndStackMapEntry();
673
Calin Juravle4f46ac52015-04-23 18:47:21 +0100674 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100675 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000676 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700677 stream.FillInCodeInfo(region);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000678
679 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100680 ASSERT_EQ(2u, code_info.GetNumberOfStackMaps());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000681
David Srbecky052f8ca2018-04-26 15:42:54 +0100682 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000683 ASSERT_EQ(0u, number_of_catalog_entries);
David Srbecky052f8ca2018-04-26 15:42:54 +0100684 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000685 ASSERT_EQ(0u, location_catalog.Size());
686
David Srbecky052f8ca2018-04-26 15:42:54 +0100687 StackMap stack_map = code_info.GetStackMapAt(0);
688 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100689 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100690 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100691 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100692 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000693
David Srbecky052f8ca2018-04-26 15:42:54 +0100694 ASSERT_FALSE(stack_map.HasDexRegisterMap());
695 ASSERT_FALSE(stack_map.HasInlineInfo());
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000696
David Srbecky052f8ca2018-04-26 15:42:54 +0100697 stack_map = code_info.GetStackMapAt(1);
698 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(1)));
David Srbeckyd775f962018-05-30 18:12:52 +0100699 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(68 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100700 ASSERT_EQ(1u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100701 ASSERT_EQ(68u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100702 ASSERT_EQ(0x4u, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000703
David Srbecky052f8ca2018-04-26 15:42:54 +0100704 ASSERT_FALSE(stack_map.HasDexRegisterMap());
705 ASSERT_FALSE(stack_map.HasInlineInfo());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000706}
707
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100708TEST(StackMapTest, InlineTest) {
David Sehr3215fff2018-04-03 17:10:12 -0700709 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100710 ArenaStack arena_stack(&pool);
711 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100712 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000713 ArtMethod art_method;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100714
Vladimir Marko69d310e2017-10-09 14:12:23 +0100715 ArenaBitVector sp_mask1(&allocator, 0, true);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100716 sp_mask1.SetBit(2);
717 sp_mask1.SetBit(4);
718
719 // First stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100720 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask1, 2, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100721 stream.AddDexRegisterEntry(Kind::kInStack, 0);
722 stream.AddDexRegisterEntry(Kind::kConstant, 4);
723
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000724 stream.BeginInlineInfoEntry(&art_method, 2, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100725 stream.AddDexRegisterEntry(Kind::kInStack, 8);
726 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000727 stream.BeginInlineInfoEntry(&art_method, 3, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100728 stream.AddDexRegisterEntry(Kind::kInStack, 16);
729 stream.AddDexRegisterEntry(Kind::kConstant, 20);
730 stream.AddDexRegisterEntry(Kind::kInRegister, 15);
731 stream.EndInlineInfoEntry();
732
733 stream.EndStackMapEntry();
734
735 // Second stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100736 stream.BeginStackMapEntry(2, 22 * kPcAlign, 0x3, &sp_mask1, 2, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100737 stream.AddDexRegisterEntry(Kind::kInStack, 56);
738 stream.AddDexRegisterEntry(Kind::kConstant, 0);
739
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000740 stream.BeginInlineInfoEntry(&art_method, 2, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100741 stream.AddDexRegisterEntry(Kind::kInStack, 12);
742 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000743 stream.BeginInlineInfoEntry(&art_method, 3, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100744 stream.AddDexRegisterEntry(Kind::kInStack, 80);
745 stream.AddDexRegisterEntry(Kind::kConstant, 10);
746 stream.AddDexRegisterEntry(Kind::kInRegister, 5);
747 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000748 stream.BeginInlineInfoEntry(&art_method, 5, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100749 stream.EndInlineInfoEntry();
750
751 stream.EndStackMapEntry();
752
753 // Third stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100754 stream.BeginStackMapEntry(4, 56 * kPcAlign, 0x3, &sp_mask1, 2, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100755 stream.AddDexRegisterEntry(Kind::kNone, 0);
756 stream.AddDexRegisterEntry(Kind::kConstant, 4);
757 stream.EndStackMapEntry();
758
759 // Fourth stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100760 stream.BeginStackMapEntry(6, 78 * kPcAlign, 0x3, &sp_mask1, 2, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100761 stream.AddDexRegisterEntry(Kind::kInStack, 56);
762 stream.AddDexRegisterEntry(Kind::kConstant, 0);
763
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000764 stream.BeginInlineInfoEntry(&art_method, 2, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100765 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000766 stream.BeginInlineInfoEntry(&art_method, 5, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100767 stream.AddDexRegisterEntry(Kind::kInRegister, 2);
768 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000769 stream.BeginInlineInfoEntry(&art_method, 10, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100770 stream.AddDexRegisterEntry(Kind::kNone, 0);
771 stream.AddDexRegisterEntry(Kind::kInRegister, 3);
772 stream.EndInlineInfoEntry();
773
774 stream.EndStackMapEntry();
775
776 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100777 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100778 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700779 stream.FillInCodeInfo(region);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100780
781 CodeInfo ci(region);
782
783 {
784 // Verify first stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100785 StackMap sm0 = ci.GetStackMapAt(0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100786
David Srbecky052f8ca2018-04-26 15:42:54 +0100787 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm0, 2);
David Srbecky21d45b42018-05-30 06:35:05 +0100788 ASSERT_EQ(0, dex_registers0.GetStackOffsetInBytes(0));
789 ASSERT_EQ(4, dex_registers0.GetConstant(1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100790
David Srbecky052f8ca2018-04-26 15:42:54 +0100791 InlineInfo if0 = ci.GetInlineInfoOf(sm0);
792 ASSERT_EQ(2u, if0.GetDepth());
793 ASSERT_EQ(2u, if0.GetDexPcAtDepth(0));
794 ASSERT_TRUE(if0.EncodesArtMethodAtDepth(0));
795 ASSERT_EQ(3u, if0.GetDexPcAtDepth(1));
796 ASSERT_TRUE(if0.EncodesArtMethodAtDepth(1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100797
David Srbecky052f8ca2018-04-26 15:42:54 +0100798 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(0, if0, 1);
David Srbecky21d45b42018-05-30 06:35:05 +0100799 ASSERT_EQ(8, dex_registers1.GetStackOffsetInBytes(0));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100800
David Srbecky052f8ca2018-04-26 15:42:54 +0100801 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(1, if0, 3);
David Srbecky21d45b42018-05-30 06:35:05 +0100802 ASSERT_EQ(16, dex_registers2.GetStackOffsetInBytes(0));
803 ASSERT_EQ(20, dex_registers2.GetConstant(1));
804 ASSERT_EQ(15, dex_registers2.GetMachineRegister(2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100805 }
806
807 {
808 // Verify second stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100809 StackMap sm1 = ci.GetStackMapAt(1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100810
David Srbecky052f8ca2018-04-26 15:42:54 +0100811 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm1, 2);
David Srbecky21d45b42018-05-30 06:35:05 +0100812 ASSERT_EQ(56, dex_registers0.GetStackOffsetInBytes(0));
813 ASSERT_EQ(0, dex_registers0.GetConstant(1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100814
David Srbecky052f8ca2018-04-26 15:42:54 +0100815 InlineInfo if1 = ci.GetInlineInfoOf(sm1);
816 ASSERT_EQ(3u, if1.GetDepth());
817 ASSERT_EQ(2u, if1.GetDexPcAtDepth(0));
818 ASSERT_TRUE(if1.EncodesArtMethodAtDepth(0));
819 ASSERT_EQ(3u, if1.GetDexPcAtDepth(1));
820 ASSERT_TRUE(if1.EncodesArtMethodAtDepth(1));
821 ASSERT_EQ(5u, if1.GetDexPcAtDepth(2));
822 ASSERT_TRUE(if1.EncodesArtMethodAtDepth(2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100823
David Srbecky052f8ca2018-04-26 15:42:54 +0100824 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(0, if1, 1);
David Srbecky21d45b42018-05-30 06:35:05 +0100825 ASSERT_EQ(12, dex_registers1.GetStackOffsetInBytes(0));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100826
David Srbecky052f8ca2018-04-26 15:42:54 +0100827 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(1, if1, 3);
David Srbecky21d45b42018-05-30 06:35:05 +0100828 ASSERT_EQ(80, dex_registers2.GetStackOffsetInBytes(0));
829 ASSERT_EQ(10, dex_registers2.GetConstant(1));
830 ASSERT_EQ(5, dex_registers2.GetMachineRegister(2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100831
David Srbecky052f8ca2018-04-26 15:42:54 +0100832 ASSERT_FALSE(if1.HasDexRegisterMapAtDepth(2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100833 }
834
835 {
836 // Verify third stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100837 StackMap sm2 = ci.GetStackMapAt(2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100838
David Srbecky052f8ca2018-04-26 15:42:54 +0100839 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm2, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100840 ASSERT_FALSE(dex_registers0.IsDexRegisterLive(0));
David Srbecky21d45b42018-05-30 06:35:05 +0100841 ASSERT_EQ(4, dex_registers0.GetConstant(1));
David Srbecky052f8ca2018-04-26 15:42:54 +0100842 ASSERT_FALSE(sm2.HasInlineInfo());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100843 }
844
845 {
846 // Verify fourth stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100847 StackMap sm3 = ci.GetStackMapAt(3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100848
David Srbecky052f8ca2018-04-26 15:42:54 +0100849 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm3, 2);
David Srbecky21d45b42018-05-30 06:35:05 +0100850 ASSERT_EQ(56, dex_registers0.GetStackOffsetInBytes(0));
851 ASSERT_EQ(0, dex_registers0.GetConstant(1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100852
David Srbecky052f8ca2018-04-26 15:42:54 +0100853 InlineInfo if2 = ci.GetInlineInfoOf(sm3);
854 ASSERT_EQ(3u, if2.GetDepth());
855 ASSERT_EQ(2u, if2.GetDexPcAtDepth(0));
856 ASSERT_TRUE(if2.EncodesArtMethodAtDepth(0));
857 ASSERT_EQ(5u, if2.GetDexPcAtDepth(1));
858 ASSERT_TRUE(if2.EncodesArtMethodAtDepth(1));
859 ASSERT_EQ(10u, if2.GetDexPcAtDepth(2));
860 ASSERT_TRUE(if2.EncodesArtMethodAtDepth(2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100861
David Srbecky052f8ca2018-04-26 15:42:54 +0100862 ASSERT_FALSE(if2.HasDexRegisterMapAtDepth(0));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100863
David Srbecky052f8ca2018-04-26 15:42:54 +0100864 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(1, if2, 1);
David Srbecky21d45b42018-05-30 06:35:05 +0100865 ASSERT_EQ(2, dex_registers1.GetMachineRegister(0));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100866
David Srbecky052f8ca2018-04-26 15:42:54 +0100867 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(2, if2, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100868 ASSERT_FALSE(dex_registers2.IsDexRegisterLive(0));
David Srbecky21d45b42018-05-30 06:35:05 +0100869 ASSERT_EQ(3, dex_registers2.GetMachineRegister(1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100870 }
871}
872
David Srbeckyd02b23f2018-05-29 23:27:22 +0100873TEST(StackMapTest, PackedNativePcTest) {
874 uint32_t packed_thumb2 =
875 StackMap::PackNativePc(kThumb2InstructionAlignment, InstructionSet::kThumb2);
876 uint32_t packed_arm64 =
877 StackMap::PackNativePc(kArm64InstructionAlignment, InstructionSet::kArm64);
878 uint32_t packed_x86 =
879 StackMap::PackNativePc(kX86InstructionAlignment, InstructionSet::kX86);
880 uint32_t packed_x86_64 =
881 StackMap::PackNativePc(kX86_64InstructionAlignment, InstructionSet::kX86_64);
882 uint32_t packed_mips =
883 StackMap::PackNativePc(kMipsInstructionAlignment, InstructionSet::kMips);
884 uint32_t packed_mips64 =
885 StackMap::PackNativePc(kMips64InstructionAlignment, InstructionSet::kMips64);
886 EXPECT_EQ(StackMap::UnpackNativePc(packed_thumb2, InstructionSet::kThumb2),
887 kThumb2InstructionAlignment);
888 EXPECT_EQ(StackMap::UnpackNativePc(packed_arm64, InstructionSet::kArm64),
889 kArm64InstructionAlignment);
890 EXPECT_EQ(StackMap::UnpackNativePc(packed_x86, InstructionSet::kX86),
891 kX86InstructionAlignment);
892 EXPECT_EQ(StackMap::UnpackNativePc(packed_x86_64, InstructionSet::kX86_64),
893 kX86_64InstructionAlignment);
894 EXPECT_EQ(StackMap::UnpackNativePc(packed_mips, InstructionSet::kMips),
895 kMipsInstructionAlignment);
896 EXPECT_EQ(StackMap::UnpackNativePc(packed_mips64, InstructionSet::kMips64),
897 kMips64InstructionAlignment);
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800898}
899
David Srbecky45aa5982016-03-18 02:15:09 +0000900TEST(StackMapTest, TestDeduplicateStackMask) {
David Sehr3215fff2018-04-03 17:10:12 -0700901 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100902 ArenaStack arena_stack(&pool);
903 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100904 StackMapStream stream(&allocator, kRuntimeISA);
David Srbecky45aa5982016-03-18 02:15:09 +0000905
Vladimir Marko69d310e2017-10-09 14:12:23 +0100906 ArenaBitVector sp_mask(&allocator, 0, true);
David Srbecky45aa5982016-03-18 02:15:09 +0000907 sp_mask.SetBit(1);
908 sp_mask.SetBit(4);
David Srbeckyd775f962018-05-30 18:12:52 +0100909 stream.BeginStackMapEntry(0, 4 * kPcAlign, 0x3, &sp_mask, 0, 0);
David Srbecky45aa5982016-03-18 02:15:09 +0000910 stream.EndStackMapEntry();
David Srbeckyd775f962018-05-30 18:12:52 +0100911 stream.BeginStackMapEntry(0, 8 * kPcAlign, 0x3, &sp_mask, 0, 0);
David Srbecky45aa5982016-03-18 02:15:09 +0000912 stream.EndStackMapEntry();
913
914 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100915 void* memory = allocator.Alloc(size, kArenaAllocMisc);
David Srbecky45aa5982016-03-18 02:15:09 +0000916 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700917 stream.FillInCodeInfo(region);
David Srbecky45aa5982016-03-18 02:15:09 +0000918
919 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100920 ASSERT_EQ(2u, code_info.GetNumberOfStackMaps());
David Srbecky45aa5982016-03-18 02:15:09 +0000921
David Srbeckyd775f962018-05-30 18:12:52 +0100922 StackMap stack_map1 = code_info.GetStackMapForNativePcOffset(4 * kPcAlign);
923 StackMap stack_map2 = code_info.GetStackMapForNativePcOffset(8 * kPcAlign);
David Srbecky052f8ca2018-04-26 15:42:54 +0100924 EXPECT_EQ(stack_map1.GetStackMaskIndex(),
925 stack_map2.GetStackMaskIndex());
David Srbecky45aa5982016-03-18 02:15:09 +0000926}
927
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800928TEST(StackMapTest, TestInvokeInfo) {
David Sehr3215fff2018-04-03 17:10:12 -0700929 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100930 ArenaStack arena_stack(&pool);
931 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100932 StackMapStream stream(&allocator, kRuntimeISA);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800933
Vladimir Marko69d310e2017-10-09 14:12:23 +0100934 ArenaBitVector sp_mask(&allocator, 0, true);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800935 sp_mask.SetBit(1);
David Srbeckyd775f962018-05-30 18:12:52 +0100936 stream.BeginStackMapEntry(0, 4 * kPcAlign, 0x3, &sp_mask, 0, 0);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800937 stream.AddInvoke(kSuper, 1);
938 stream.EndStackMapEntry();
David Srbeckyd775f962018-05-30 18:12:52 +0100939 stream.BeginStackMapEntry(0, 8 * kPcAlign, 0x3, &sp_mask, 0, 0);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800940 stream.AddInvoke(kStatic, 3);
941 stream.EndStackMapEntry();
David Srbeckyd775f962018-05-30 18:12:52 +0100942 stream.BeginStackMapEntry(0, 16 * kPcAlign, 0x3, &sp_mask, 0, 0);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800943 stream.AddInvoke(kDirect, 65535);
944 stream.EndStackMapEntry();
945
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700946 const size_t code_info_size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100947 MemoryRegion code_info_region(allocator.Alloc(code_info_size, kArenaAllocMisc), code_info_size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700948 stream.FillInCodeInfo(code_info_region);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800949
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700950 const size_t method_info_size = stream.ComputeMethodInfoSize();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100951 MemoryRegion method_info_region(allocator.Alloc(method_info_size, kArenaAllocMisc),
952 method_info_size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700953 stream.FillInMethodInfo(method_info_region);
954
955 CodeInfo code_info(code_info_region);
956 MethodInfo method_info(method_info_region.begin());
David Srbecky052f8ca2018-04-26 15:42:54 +0100957 ASSERT_EQ(3u, code_info.GetNumberOfStackMaps());
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800958
David Srbeckyd775f962018-05-30 18:12:52 +0100959 InvokeInfo invoke1(code_info.GetInvokeInfoForNativePcOffset(4 * kPcAlign));
960 InvokeInfo invoke2(code_info.GetInvokeInfoForNativePcOffset(8 * kPcAlign));
961 InvokeInfo invoke3(code_info.GetInvokeInfoForNativePcOffset(16 * kPcAlign));
David Srbecky052f8ca2018-04-26 15:42:54 +0100962 InvokeInfo invoke_invalid(code_info.GetInvokeInfoForNativePcOffset(12));
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800963 EXPECT_FALSE(invoke_invalid.IsValid()); // No entry for that index.
964 EXPECT_TRUE(invoke1.IsValid());
965 EXPECT_TRUE(invoke2.IsValid());
966 EXPECT_TRUE(invoke3.IsValid());
David Srbecky052f8ca2018-04-26 15:42:54 +0100967 EXPECT_EQ(invoke1.GetInvokeType(), kSuper);
968 EXPECT_EQ(invoke1.GetMethodIndex(method_info), 1u);
David Srbeckyd775f962018-05-30 18:12:52 +0100969 EXPECT_EQ(invoke1.GetNativePcOffset(kRuntimeISA), 4u * kPcAlign);
David Srbecky052f8ca2018-04-26 15:42:54 +0100970 EXPECT_EQ(invoke2.GetInvokeType(), kStatic);
971 EXPECT_EQ(invoke2.GetMethodIndex(method_info), 3u);
David Srbeckyd775f962018-05-30 18:12:52 +0100972 EXPECT_EQ(invoke2.GetNativePcOffset(kRuntimeISA), 8u * kPcAlign);
David Srbecky052f8ca2018-04-26 15:42:54 +0100973 EXPECT_EQ(invoke3.GetInvokeType(), kDirect);
974 EXPECT_EQ(invoke3.GetMethodIndex(method_info), 65535u);
David Srbeckyd775f962018-05-30 18:12:52 +0100975 EXPECT_EQ(invoke3.GetNativePcOffset(kRuntimeISA), 16u * kPcAlign);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800976}
977
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100978} // namespace art