blob: e36c59266221ca35032ed860f33be6617a51196d [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,
32 const CodeInfoEncoding& encoding,
David Srbecky09ed0982016-02-12 21:58:43 +000033 const StackMap& stack_map,
David Srbecky09ed0982016-02-12 21:58:43 +000034 const BitVector& bit_vector) {
David Srbecky45aa5982016-03-18 02:15:09 +000035 BitMemoryRegion stack_mask = code_info.GetStackMaskOf(encoding, stack_map);
Mathieu Chartier575d3e62017-02-06 11:00:40 -080036 if (bit_vector.GetNumberOfBits() > encoding.stack_mask.encoding.BitSize()) {
David Srbecky09ed0982016-02-12 21:58:43 +000037 return false;
38 }
Mathieu Chartier575d3e62017-02-06 11:00:40 -080039 for (size_t i = 0; i < encoding.stack_mask.encoding.BitSize(); ++i) {
David Srbecky45aa5982016-03-18 02:15:09 +000040 if (stack_mask.LoadBit(i) != bit_vector.IsBitSet(i)) {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010041 return false;
42 }
43 }
44 return true;
45}
46
Roland Levillaina552e1c2015-03-26 15:01:03 +000047using Kind = DexRegisterLocation::Kind;
48
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010049TEST(StackMapTest, Test1) {
David Sehr3215fff2018-04-03 17:10:12 -070050 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +010051 ArenaStack arena_stack(&pool);
52 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +010053 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010054
Vladimir Marko69d310e2017-10-09 14:12:23 +010055 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillain12baf472015-03-05 12:41:42 +000056 size_t number_of_dex_registers = 2;
Calin Juravle4f46ac52015-04-23 18:47:21 +010057 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010058 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
59 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Short location.
Calin Juravle4f46ac52015-04-23 18:47:21 +010060 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010061
Calin Juravle4f46ac52015-04-23 18:47:21 +010062 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +010063 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010064 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -070065 stream.FillInCodeInfo(region);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010066
Nicolas Geoffray39468442014-09-02 15:17:15 +010067 CodeInfo code_info(region);
David Srbecky09ed0982016-02-12 21:58:43 +000068 CodeInfoEncoding encoding = code_info.ExtractEncoding();
69 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps(encoding));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010070
David Srbecky09ed0982016-02-12 21:58:43 +000071 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries(encoding);
72 ASSERT_EQ(2u, number_of_catalog_entries);
David Brazdilf677ebf2015-05-29 16:29:43 +010073 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog(encoding);
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 Brazdilf677ebf2015-05-29 16:29:43 +010080 StackMap stack_map = code_info.GetStackMapAt(0, encoding);
81 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0, encoding)));
82 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64, encoding)));
Mathieu Chartier575d3e62017-02-06 11:00:40 -080083 ASSERT_EQ(0u, stack_map.GetDexPc(encoding.stack_map.encoding));
84 ASSERT_EQ(64u, stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA));
Mathieu Chartier1a20b682017-01-31 14:25:16 -080085 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(encoding, stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010086
David Srbecky45aa5982016-03-18 02:15:09 +000087 ASSERT_TRUE(CheckStackMask(code_info, encoding, stack_map, sp_mask));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010088
Mathieu Chartier575d3e62017-02-06 11:00:40 -080089 ASSERT_TRUE(stack_map.HasDexRegisterMap(encoding.stack_map.encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +000090 DexRegisterMap dex_register_map =
David Brazdilf677ebf2015-05-29 16:29:43 +010091 code_info.GetDexRegisterMapOf(stack_map, encoding, 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 Brazdilf677ebf2015-05-29 16:29:43 +0100101 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationKind(
102 0, number_of_dex_registers, code_info, encoding));
103 ASSERT_EQ(Kind::kConstant, dex_register_map.GetLocationKind(
104 1, number_of_dex_registers, code_info, encoding));
105 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationInternalKind(
106 0, number_of_dex_registers, code_info, encoding));
107 ASSERT_EQ(Kind::kConstantLargeValue, dex_register_map.GetLocationInternalKind(
108 1, number_of_dex_registers, code_info, encoding));
109 ASSERT_EQ(0, dex_register_map.GetStackOffsetInBytes(
110 0, number_of_dex_registers, code_info, encoding));
111 ASSERT_EQ(-2, dex_register_map.GetConstant(1, number_of_dex_registers, code_info, encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000112
113 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000114 0, number_of_dex_registers, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000115 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000116 1, number_of_dex_registers, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000117 ASSERT_EQ(0u, index0);
118 ASSERT_EQ(1u, index1);
119 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
120 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
121 ASSERT_EQ(Kind::kInStack, location0.GetKind());
122 ASSERT_EQ(Kind::kConstant, location1.GetKind());
123 ASSERT_EQ(Kind::kInStack, location0.GetInternalKind());
124 ASSERT_EQ(Kind::kConstantLargeValue, location1.GetInternalKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000125 ASSERT_EQ(0, location0.GetValue());
126 ASSERT_EQ(-2, location1.GetValue());
Roland Levillain12baf472015-03-05 12:41:42 +0000127
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800128 ASSERT_FALSE(stack_map.HasInlineInfo(encoding.stack_map.encoding));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100129}
130
131TEST(StackMapTest, Test2) {
David Sehr3215fff2018-04-03 17:10:12 -0700132 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100133 ArenaStack arena_stack(&pool);
134 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100135 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000136 ArtMethod art_method;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100137
Vladimir Marko69d310e2017-10-09 14:12:23 +0100138 ArenaBitVector sp_mask1(&allocator, 0, true);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100139 sp_mask1.SetBit(2);
140 sp_mask1.SetBit(4);
Roland Levillain12baf472015-03-05 12:41:42 +0000141 size_t number_of_dex_registers = 2;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100142 size_t number_of_dex_registers_in_inline_info = 0;
Calin Juravle4f46ac52015-04-23 18:47:21 +0100143 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask1, number_of_dex_registers, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100144 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
145 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000146 stream.BeginInlineInfoEntry(&art_method, 3, number_of_dex_registers_in_inline_info);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100147 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000148 stream.BeginInlineInfoEntry(&art_method, 2, number_of_dex_registers_in_inline_info);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100149 stream.EndInlineInfoEntry();
Calin Juravle4f46ac52015-04-23 18:47:21 +0100150 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100151
Vladimir Marko69d310e2017-10-09 14:12:23 +0100152 ArenaBitVector sp_mask2(&allocator, 0, true);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100153 sp_mask2.SetBit(3);
David Brazdilf10a25f2015-06-02 14:29:52 +0100154 sp_mask2.SetBit(8);
Calin Juravle4f46ac52015-04-23 18:47:21 +0100155 stream.BeginStackMapEntry(1, 128, 0xFF, &sp_mask2, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100156 stream.AddDexRegisterEntry(Kind::kInRegister, 18); // Short location.
157 stream.AddDexRegisterEntry(Kind::kInFpuRegister, 3); // Short location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100158 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100159
Vladimir Marko69d310e2017-10-09 14:12:23 +0100160 ArenaBitVector sp_mask3(&allocator, 0, true);
David Brazdild9cb68e2015-08-25 13:52:43 +0100161 sp_mask3.SetBit(1);
162 sp_mask3.SetBit(5);
163 stream.BeginStackMapEntry(2, 192, 0xAB, &sp_mask3, number_of_dex_registers, 0);
164 stream.AddDexRegisterEntry(Kind::kInRegister, 6); // Short location.
165 stream.AddDexRegisterEntry(Kind::kInRegisterHigh, 8); // Short location.
166 stream.EndStackMapEntry();
167
Vladimir Marko69d310e2017-10-09 14:12:23 +0100168 ArenaBitVector sp_mask4(&allocator, 0, true);
David Brazdild9cb68e2015-08-25 13:52:43 +0100169 sp_mask4.SetBit(6);
170 sp_mask4.SetBit(7);
171 stream.BeginStackMapEntry(3, 256, 0xCD, &sp_mask4, number_of_dex_registers, 0);
172 stream.AddDexRegisterEntry(Kind::kInFpuRegister, 3); // Short location, same in stack map 2.
173 stream.AddDexRegisterEntry(Kind::kInFpuRegisterHigh, 1); // Short location.
174 stream.EndStackMapEntry();
175
Calin Juravle4f46ac52015-04-23 18:47:21 +0100176 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100177 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100178 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700179 stream.FillInCodeInfo(region);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100180
Nicolas Geoffray39468442014-09-02 15:17:15 +0100181 CodeInfo code_info(region);
David Srbecky09ed0982016-02-12 21:58:43 +0000182 CodeInfoEncoding encoding = code_info.ExtractEncoding();
183 ASSERT_EQ(4u, code_info.GetNumberOfStackMaps(encoding));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100184
David Srbecky09ed0982016-02-12 21:58:43 +0000185 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries(encoding);
186 ASSERT_EQ(7u, number_of_catalog_entries);
David Brazdilf677ebf2015-05-29 16:29:43 +0100187 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog(encoding);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000188 // The Dex register location catalog contains:
David Brazdild9cb68e2015-08-25 13:52:43 +0100189 // - six 1-byte short Dex register locations, and
Roland Levillaina552e1c2015-03-26 15:01:03 +0000190 // - one 5-byte large Dex register location.
David Brazdild9cb68e2015-08-25 13:52:43 +0100191 size_t expected_location_catalog_size = 6u * 1u + 5u;
Roland Levillaina552e1c2015-03-26 15:01:03 +0000192 ASSERT_EQ(expected_location_catalog_size, location_catalog.Size());
193
Roland Levillain12baf472015-03-05 12:41:42 +0000194 // First stack map.
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000195 {
David Brazdilf677ebf2015-05-29 16:29:43 +0100196 StackMap stack_map = code_info.GetStackMapAt(0, encoding);
197 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0, encoding)));
198 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64, encoding)));
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800199 ASSERT_EQ(0u, stack_map.GetDexPc(encoding.stack_map.encoding));
200 ASSERT_EQ(64u, stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA));
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800201 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(encoding, stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100202
David Srbecky45aa5982016-03-18 02:15:09 +0000203 ASSERT_TRUE(CheckStackMask(code_info, encoding, stack_map, sp_mask1));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100204
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800205 ASSERT_TRUE(stack_map.HasDexRegisterMap(encoding.stack_map.encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000206 DexRegisterMap dex_register_map =
David Brazdilf677ebf2015-05-29 16:29:43 +0100207 code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000208 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
209 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
210 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
211 // The Dex register map contains:
212 // - one 1-byte live bit mask, and
213 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
214 size_t expected_dex_register_map_size = 1u + 1u;
215 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
216
David Brazdilf677ebf2015-05-29 16:29:43 +0100217 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationKind(
218 0, number_of_dex_registers, code_info, encoding));
219 ASSERT_EQ(Kind::kConstant, dex_register_map.GetLocationKind(
220 1, number_of_dex_registers, code_info, encoding));
221 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationInternalKind(
222 0, number_of_dex_registers, code_info, encoding));
223 ASSERT_EQ(Kind::kConstantLargeValue, dex_register_map.GetLocationInternalKind(
224 1, number_of_dex_registers, code_info, encoding));
225 ASSERT_EQ(0, dex_register_map.GetStackOffsetInBytes(
226 0, number_of_dex_registers, code_info, encoding));
227 ASSERT_EQ(-2, dex_register_map.GetConstant(1, number_of_dex_registers, code_info, encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000228
229 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000230 0, number_of_dex_registers, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000231 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000232 1, number_of_dex_registers, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000233 ASSERT_EQ(0u, index0);
234 ASSERT_EQ(1u, index1);
235 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
236 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
237 ASSERT_EQ(Kind::kInStack, location0.GetKind());
238 ASSERT_EQ(Kind::kConstant, location1.GetKind());
239 ASSERT_EQ(Kind::kInStack, location0.GetInternalKind());
240 ASSERT_EQ(Kind::kConstantLargeValue, location1.GetInternalKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000241 ASSERT_EQ(0, location0.GetValue());
242 ASSERT_EQ(-2, location1.GetValue());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100243
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800244 ASSERT_TRUE(stack_map.HasInlineInfo(encoding.stack_map.encoding));
David Brazdilf677ebf2015-05-29 16:29:43 +0100245 InlineInfo inline_info = code_info.GetInlineInfoOf(stack_map, encoding);
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800246 ASSERT_EQ(2u, inline_info.GetDepth(encoding.inline_info.encoding));
247 ASSERT_EQ(3u, inline_info.GetDexPcAtDepth(encoding.inline_info.encoding, 0));
248 ASSERT_EQ(2u, inline_info.GetDexPcAtDepth(encoding.inline_info.encoding, 1));
249 ASSERT_TRUE(inline_info.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 0));
250 ASSERT_TRUE(inline_info.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 1));
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000251 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100252
Roland Levillain12baf472015-03-05 12:41:42 +0000253 // Second stack map.
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000254 {
David Brazdilf677ebf2015-05-29 16:29:43 +0100255 StackMap stack_map = code_info.GetStackMapAt(1, encoding);
256 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(1u, encoding)));
257 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(128u, encoding)));
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800258 ASSERT_EQ(1u, stack_map.GetDexPc(encoding.stack_map.encoding));
259 ASSERT_EQ(128u, stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA));
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800260 ASSERT_EQ(0xFFu, code_info.GetRegisterMaskOf(encoding, stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100261
David Srbecky45aa5982016-03-18 02:15:09 +0000262 ASSERT_TRUE(CheckStackMask(code_info, encoding, stack_map, sp_mask2));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100263
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800264 ASSERT_TRUE(stack_map.HasDexRegisterMap(encoding.stack_map.encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000265 DexRegisterMap dex_register_map =
David Brazdilf677ebf2015-05-29 16:29:43 +0100266 code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000267 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
268 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
269 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
270 // The Dex register map contains:
271 // - one 1-byte live bit mask, and
272 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
273 size_t expected_dex_register_map_size = 1u + 1u;
274 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
275
David Brazdilf677ebf2015-05-29 16:29:43 +0100276 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationKind(
277 0, number_of_dex_registers, code_info, encoding));
278 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationKind(
279 1, number_of_dex_registers, code_info, encoding));
280 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationInternalKind(
281 0, number_of_dex_registers, code_info, encoding));
282 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationInternalKind(
283 1, number_of_dex_registers, code_info, encoding));
284 ASSERT_EQ(18, dex_register_map.GetMachineRegister(
285 0, number_of_dex_registers, code_info, encoding));
286 ASSERT_EQ(3, dex_register_map.GetMachineRegister(
287 1, number_of_dex_registers, code_info, encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000288
289 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000290 0, number_of_dex_registers, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000291 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000292 1, number_of_dex_registers, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000293 ASSERT_EQ(2u, index0);
294 ASSERT_EQ(3u, index1);
295 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
296 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
297 ASSERT_EQ(Kind::kInRegister, location0.GetKind());
298 ASSERT_EQ(Kind::kInFpuRegister, location1.GetKind());
299 ASSERT_EQ(Kind::kInRegister, location0.GetInternalKind());
300 ASSERT_EQ(Kind::kInFpuRegister, location1.GetInternalKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000301 ASSERT_EQ(18, location0.GetValue());
302 ASSERT_EQ(3, location1.GetValue());
Roland Levillain12baf472015-03-05 12:41:42 +0000303
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800304 ASSERT_FALSE(stack_map.HasInlineInfo(encoding.stack_map.encoding));
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000305 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100306
307 // Third stack map.
308 {
309 StackMap stack_map = code_info.GetStackMapAt(2, encoding);
310 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(2u, encoding)));
311 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(192u, encoding)));
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800312 ASSERT_EQ(2u, stack_map.GetDexPc(encoding.stack_map.encoding));
313 ASSERT_EQ(192u, stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA));
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800314 ASSERT_EQ(0xABu, code_info.GetRegisterMaskOf(encoding, stack_map));
David Brazdild9cb68e2015-08-25 13:52:43 +0100315
David Srbecky45aa5982016-03-18 02:15:09 +0000316 ASSERT_TRUE(CheckStackMask(code_info, encoding, stack_map, sp_mask3));
David Brazdild9cb68e2015-08-25 13:52:43 +0100317
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800318 ASSERT_TRUE(stack_map.HasDexRegisterMap(encoding.stack_map.encoding));
David Brazdild9cb68e2015-08-25 13:52:43 +0100319 DexRegisterMap dex_register_map =
320 code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_dex_registers);
321 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
322 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
323 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
324 // The Dex register map contains:
325 // - one 1-byte live bit mask, and
326 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
327 size_t expected_dex_register_map_size = 1u + 1u;
328 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
329
330 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationKind(
331 0, number_of_dex_registers, code_info, encoding));
332 ASSERT_EQ(Kind::kInRegisterHigh, dex_register_map.GetLocationKind(
333 1, number_of_dex_registers, code_info, encoding));
334 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationInternalKind(
335 0, number_of_dex_registers, code_info, encoding));
336 ASSERT_EQ(Kind::kInRegisterHigh, dex_register_map.GetLocationInternalKind(
337 1, number_of_dex_registers, code_info, encoding));
338 ASSERT_EQ(6, dex_register_map.GetMachineRegister(
339 0, number_of_dex_registers, code_info, encoding));
340 ASSERT_EQ(8, dex_register_map.GetMachineRegister(
341 1, number_of_dex_registers, code_info, encoding));
342
343 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000344 0, number_of_dex_registers, number_of_catalog_entries);
David Brazdild9cb68e2015-08-25 13:52:43 +0100345 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000346 1, number_of_dex_registers, number_of_catalog_entries);
David Brazdild9cb68e2015-08-25 13:52:43 +0100347 ASSERT_EQ(4u, index0);
348 ASSERT_EQ(5u, index1);
349 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
350 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
351 ASSERT_EQ(Kind::kInRegister, location0.GetKind());
352 ASSERT_EQ(Kind::kInRegisterHigh, location1.GetKind());
353 ASSERT_EQ(Kind::kInRegister, location0.GetInternalKind());
354 ASSERT_EQ(Kind::kInRegisterHigh, location1.GetInternalKind());
355 ASSERT_EQ(6, location0.GetValue());
356 ASSERT_EQ(8, location1.GetValue());
357
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800358 ASSERT_FALSE(stack_map.HasInlineInfo(encoding.stack_map.encoding));
David Brazdild9cb68e2015-08-25 13:52:43 +0100359 }
360
361 // Fourth stack map.
362 {
363 StackMap stack_map = code_info.GetStackMapAt(3, encoding);
364 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(3u, encoding)));
365 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(256u, encoding)));
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800366 ASSERT_EQ(3u, stack_map.GetDexPc(encoding.stack_map.encoding));
367 ASSERT_EQ(256u, stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA));
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800368 ASSERT_EQ(0xCDu, code_info.GetRegisterMaskOf(encoding, stack_map));
David Brazdild9cb68e2015-08-25 13:52:43 +0100369
David Srbecky45aa5982016-03-18 02:15:09 +0000370 ASSERT_TRUE(CheckStackMask(code_info, encoding, stack_map, sp_mask4));
David Brazdild9cb68e2015-08-25 13:52:43 +0100371
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800372 ASSERT_TRUE(stack_map.HasDexRegisterMap(encoding.stack_map.encoding));
David Brazdild9cb68e2015-08-25 13:52:43 +0100373 DexRegisterMap dex_register_map =
374 code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_dex_registers);
375 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
376 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
377 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
378 // The Dex register map contains:
379 // - one 1-byte live bit mask, and
380 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
381 size_t expected_dex_register_map_size = 1u + 1u;
382 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
383
384 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationKind(
385 0, number_of_dex_registers, code_info, encoding));
386 ASSERT_EQ(Kind::kInFpuRegisterHigh, dex_register_map.GetLocationKind(
387 1, number_of_dex_registers, code_info, encoding));
388 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationInternalKind(
389 0, number_of_dex_registers, code_info, encoding));
390 ASSERT_EQ(Kind::kInFpuRegisterHigh, dex_register_map.GetLocationInternalKind(
391 1, number_of_dex_registers, code_info, encoding));
392 ASSERT_EQ(3, dex_register_map.GetMachineRegister(
393 0, number_of_dex_registers, code_info, encoding));
394 ASSERT_EQ(1, dex_register_map.GetMachineRegister(
395 1, number_of_dex_registers, code_info, encoding));
396
397 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000398 0, number_of_dex_registers, number_of_catalog_entries);
David Brazdild9cb68e2015-08-25 13:52:43 +0100399 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000400 1, number_of_dex_registers, number_of_catalog_entries);
David Brazdild9cb68e2015-08-25 13:52:43 +0100401 ASSERT_EQ(3u, index0); // Shared with second stack map.
402 ASSERT_EQ(6u, index1);
403 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
404 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
405 ASSERT_EQ(Kind::kInFpuRegister, location0.GetKind());
406 ASSERT_EQ(Kind::kInFpuRegisterHigh, location1.GetKind());
407 ASSERT_EQ(Kind::kInFpuRegister, location0.GetInternalKind());
408 ASSERT_EQ(Kind::kInFpuRegisterHigh, location1.GetInternalKind());
409 ASSERT_EQ(3, location0.GetValue());
410 ASSERT_EQ(1, location1.GetValue());
411
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800412 ASSERT_FALSE(stack_map.HasInlineInfo(encoding.stack_map.encoding));
David Brazdild9cb68e2015-08-25 13:52:43 +0100413 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100414}
415
Mathieu Chartier32289082017-02-09 15:57:37 -0800416TEST(StackMapTest, TestDeduplicateInlineInfoDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700417 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100418 ArenaStack arena_stack(&pool);
419 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100420 StackMapStream stream(&allocator, kRuntimeISA);
Mathieu Chartier32289082017-02-09 15:57:37 -0800421 ArtMethod art_method;
422
Vladimir Marko69d310e2017-10-09 14:12:23 +0100423 ArenaBitVector sp_mask1(&allocator, 0, true);
Mathieu Chartier32289082017-02-09 15:57:37 -0800424 sp_mask1.SetBit(2);
425 sp_mask1.SetBit(4);
426 const size_t number_of_dex_registers = 2;
427 const size_t number_of_dex_registers_in_inline_info = 2;
428 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask1, number_of_dex_registers, 1);
429 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
430 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
431 stream.BeginInlineInfoEntry(&art_method, 3, number_of_dex_registers_in_inline_info);
432 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
433 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
434 stream.EndInlineInfoEntry();
435 stream.EndStackMapEntry();
436
437 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100438 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Mathieu Chartier32289082017-02-09 15:57:37 -0800439 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700440 stream.FillInCodeInfo(region);
Mathieu Chartier32289082017-02-09 15:57:37 -0800441
442 CodeInfo code_info(region);
443 CodeInfoEncoding encoding = code_info.ExtractEncoding();
444 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps(encoding));
445
446 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries(encoding);
447 ASSERT_EQ(2u, number_of_catalog_entries);
448 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog(encoding);
449 // The Dex register location catalog contains:
450 // - one 1-byte short Dex register locations, and
451 // - one 5-byte large Dex register location.
452 const size_t expected_location_catalog_size = 1u + 5u;
453 ASSERT_EQ(expected_location_catalog_size, location_catalog.Size());
454
455 // First stack map.
456 {
457 StackMap stack_map = code_info.GetStackMapAt(0, encoding);
458 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0, encoding)));
459 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64, encoding)));
460 ASSERT_EQ(0u, stack_map.GetDexPc(encoding.stack_map.encoding));
461 ASSERT_EQ(64u, stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA));
462 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(encoding, stack_map));
463
464 ASSERT_TRUE(CheckStackMask(code_info, encoding, stack_map, sp_mask1));
465
466 ASSERT_TRUE(stack_map.HasDexRegisterMap(encoding.stack_map.encoding));
467 DexRegisterMap map(code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_dex_registers));
468 ASSERT_TRUE(map.IsDexRegisterLive(0));
469 ASSERT_TRUE(map.IsDexRegisterLive(1));
470 ASSERT_EQ(2u, map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
471 // The Dex register map contains:
472 // - one 1-byte live bit mask, and
473 // - one 1-byte set of location catalog entry indices composed of two 2-bit values.
474 size_t expected_map_size = 1u + 1u;
475 ASSERT_EQ(expected_map_size, map.Size());
476
477 ASSERT_EQ(Kind::kInStack, map.GetLocationKind(0, number_of_dex_registers, code_info, encoding));
478 ASSERT_EQ(Kind::kConstant,
479 map.GetLocationKind(1, number_of_dex_registers, code_info, encoding));
480 ASSERT_EQ(Kind::kInStack,
481 map.GetLocationInternalKind(0, number_of_dex_registers, code_info, encoding));
482 ASSERT_EQ(Kind::kConstantLargeValue,
483 map.GetLocationInternalKind(1, number_of_dex_registers, code_info, encoding));
484 ASSERT_EQ(0, map.GetStackOffsetInBytes(0, number_of_dex_registers, code_info, encoding));
485 ASSERT_EQ(-2, map.GetConstant(1, number_of_dex_registers, code_info, encoding));
486
487 const size_t index0 =
488 map.GetLocationCatalogEntryIndex(0, number_of_dex_registers, number_of_catalog_entries);
489 const size_t index1 =
490 map.GetLocationCatalogEntryIndex(1, number_of_dex_registers, number_of_catalog_entries);
491 ASSERT_EQ(0u, index0);
492 ASSERT_EQ(1u, index1);
493 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
494 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
495 ASSERT_EQ(Kind::kInStack, location0.GetKind());
496 ASSERT_EQ(Kind::kConstant, location1.GetKind());
497 ASSERT_EQ(Kind::kInStack, location0.GetInternalKind());
498 ASSERT_EQ(Kind::kConstantLargeValue, location1.GetInternalKind());
499 ASSERT_EQ(0, location0.GetValue());
500 ASSERT_EQ(-2, location1.GetValue());
501
502 // Test that the inline info dex register map deduplicated to the same offset as the stack map
503 // one.
504 ASSERT_TRUE(stack_map.HasInlineInfo(encoding.stack_map.encoding));
505 InlineInfo inline_info = code_info.GetInlineInfoOf(stack_map, encoding);
506 EXPECT_EQ(inline_info.GetDexRegisterMapOffsetAtDepth(encoding.inline_info.encoding, 0),
507 stack_map.GetDexRegisterMapOffset(encoding.stack_map.encoding));
508 }
509}
510
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000511TEST(StackMapTest, TestNonLiveDexRegisters) {
David Sehr3215fff2018-04-03 17:10:12 -0700512 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100513 ArenaStack arena_stack(&pool);
514 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100515 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000516
Vladimir Marko69d310e2017-10-09 14:12:23 +0100517 ArenaBitVector sp_mask(&allocator, 0, false);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000518 uint32_t number_of_dex_registers = 2;
Calin Juravle4f46ac52015-04-23 18:47:21 +0100519 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100520 stream.AddDexRegisterEntry(Kind::kNone, 0); // No location.
521 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100522 stream.EndStackMapEntry();
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000523
Calin Juravle4f46ac52015-04-23 18:47:21 +0100524 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100525 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000526 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700527 stream.FillInCodeInfo(region);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000528
529 CodeInfo code_info(region);
David Srbecky09ed0982016-02-12 21:58:43 +0000530 CodeInfoEncoding encoding = code_info.ExtractEncoding();
531 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps(encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000532
David Srbecky09ed0982016-02-12 21:58:43 +0000533 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries(encoding);
534 ASSERT_EQ(1u, number_of_catalog_entries);
David Brazdilf677ebf2015-05-29 16:29:43 +0100535 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog(encoding);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000536 // The Dex register location catalog contains:
537 // - one 5-byte large Dex register location.
538 size_t expected_location_catalog_size = 5u;
539 ASSERT_EQ(expected_location_catalog_size, location_catalog.Size());
540
David Brazdilf677ebf2015-05-29 16:29:43 +0100541 StackMap stack_map = code_info.GetStackMapAt(0, encoding);
542 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0, encoding)));
543 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64, encoding)));
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800544 ASSERT_EQ(0u, stack_map.GetDexPc(encoding.stack_map.encoding));
545 ASSERT_EQ(64u, stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA));
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800546 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(encoding, stack_map));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000547
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800548 ASSERT_TRUE(stack_map.HasDexRegisterMap(encoding.stack_map.encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000549 DexRegisterMap dex_register_map =
David Brazdilf677ebf2015-05-29 16:29:43 +0100550 code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000551 ASSERT_FALSE(dex_register_map.IsDexRegisterLive(0));
552 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
553 ASSERT_EQ(1u, dex_register_map.GetNumberOfLiveDexRegisters(number_of_dex_registers));
554 // The Dex register map contains:
555 // - one 1-byte live bit mask.
556 // No space is allocated for the sole location catalog entry index, as it is useless.
557 size_t expected_dex_register_map_size = 1u + 0u;
558 ASSERT_EQ(expected_dex_register_map_size, dex_register_map.Size());
559
David Brazdilf677ebf2015-05-29 16:29:43 +0100560 ASSERT_EQ(Kind::kNone, dex_register_map.GetLocationKind(
561 0, number_of_dex_registers, code_info, encoding));
562 ASSERT_EQ(Kind::kConstant, dex_register_map.GetLocationKind(
563 1, number_of_dex_registers, code_info, encoding));
564 ASSERT_EQ(Kind::kNone, dex_register_map.GetLocationInternalKind(
565 0, number_of_dex_registers, code_info, encoding));
566 ASSERT_EQ(Kind::kConstantLargeValue, dex_register_map.GetLocationInternalKind(
567 1, number_of_dex_registers, code_info, encoding));
568 ASSERT_EQ(-2, dex_register_map.GetConstant(1, number_of_dex_registers, code_info, encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000569
570 size_t index0 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000571 0, number_of_dex_registers, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000572 size_t index1 = dex_register_map.GetLocationCatalogEntryIndex(
David Srbecky09ed0982016-02-12 21:58:43 +0000573 1, number_of_dex_registers, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000574 ASSERT_EQ(DexRegisterLocationCatalog::kNoLocationEntryIndex, index0);
575 ASSERT_EQ(0u, index1);
576 DexRegisterLocation location0 = location_catalog.GetDexRegisterLocation(index0);
577 DexRegisterLocation location1 = location_catalog.GetDexRegisterLocation(index1);
578 ASSERT_EQ(Kind::kNone, location0.GetKind());
579 ASSERT_EQ(Kind::kConstant, location1.GetKind());
580 ASSERT_EQ(Kind::kNone, location0.GetInternalKind());
581 ASSERT_EQ(Kind::kConstantLargeValue, location1.GetInternalKind());
582 ASSERT_EQ(0, location0.GetValue());
583 ASSERT_EQ(-2, location1.GetValue());
584
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800585 ASSERT_FALSE(stack_map.HasInlineInfo(encoding.stack_map.encoding));
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000586}
587
588// Generate a stack map whose dex register offset is
589// StackMap::kNoDexRegisterMapSmallEncoding, and ensure we do
590// not treat it as kNoDexRegisterMap.
591TEST(StackMapTest, DexRegisterMapOffsetOverflow) {
David Sehr3215fff2018-04-03 17:10:12 -0700592 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100593 ArenaStack arena_stack(&pool);
594 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100595 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000596
Vladimir Marko69d310e2017-10-09 14:12:23 +0100597 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000598 uint32_t number_of_dex_registers = 1024;
599 // Create the first stack map (and its Dex register map).
Calin Juravle4f46ac52015-04-23 18:47:21 +0100600 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask, number_of_dex_registers, 0);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000601 uint32_t number_of_dex_live_registers_in_dex_register_map_0 = number_of_dex_registers - 8;
602 for (uint32_t i = 0; i < number_of_dex_live_registers_in_dex_register_map_0; ++i) {
603 // Use two different Dex register locations to populate this map,
604 // as using a single value (in the whole CodeInfo object) would
605 // make this Dex register mapping data empty (see
606 // art::DexRegisterMap::SingleEntrySizeInBits).
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100607 stream.AddDexRegisterEntry(Kind::kConstant, i % 2); // Short location.
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000608 }
Calin Juravle4f46ac52015-04-23 18:47:21 +0100609 stream.EndStackMapEntry();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000610 // Create the second stack map (and its Dex register map).
Calin Juravle4f46ac52015-04-23 18:47:21 +0100611 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000612 for (uint32_t i = 0; i < number_of_dex_registers; ++i) {
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100613 stream.AddDexRegisterEntry(Kind::kConstant, 0); // Short location.
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000614 }
Calin Juravle4f46ac52015-04-23 18:47:21 +0100615 stream.EndStackMapEntry();
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000616
Calin Juravle4f46ac52015-04-23 18:47:21 +0100617 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100618 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000619 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700620 stream.FillInCodeInfo(region);
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000621
622 CodeInfo code_info(region);
David Srbecky09ed0982016-02-12 21:58:43 +0000623 CodeInfoEncoding encoding = code_info.ExtractEncoding();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000624 // The location catalog contains two entries (DexRegisterLocation(kConstant, 0)
625 // and DexRegisterLocation(kConstant, 1)), therefore the location catalog index
626 // has a size of 1 bit.
David Srbecky09ed0982016-02-12 21:58:43 +0000627 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries(encoding);
628 ASSERT_EQ(2u, number_of_catalog_entries);
629 ASSERT_EQ(1u, DexRegisterMap::SingleEntrySizeInBits(number_of_catalog_entries));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000630
631 // The first Dex register map contains:
632 // - a live register bit mask for 1024 registers (that is, 128 bytes of
633 // data); and
634 // - Dex register mapping information for 1016 1-bit Dex (live) register
635 // locations (that is, 127 bytes of data).
636 // Hence it has a size of 255 bytes, and therefore...
637 ASSERT_EQ(128u, DexRegisterMap::GetLiveBitMaskSize(number_of_dex_registers));
David Brazdilf677ebf2015-05-29 16:29:43 +0100638 StackMap stack_map0 = code_info.GetStackMapAt(0, encoding);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000639 DexRegisterMap dex_register_map0 =
David Brazdilf677ebf2015-05-29 16:29:43 +0100640 code_info.GetDexRegisterMapOf(stack_map0, encoding, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000641 ASSERT_EQ(127u, dex_register_map0.GetLocationMappingDataSize(number_of_dex_registers,
David Srbecky09ed0982016-02-12 21:58:43 +0000642 number_of_catalog_entries));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000643 ASSERT_EQ(255u, dex_register_map0.Size());
644
David Brazdilf677ebf2015-05-29 16:29:43 +0100645 StackMap stack_map1 = code_info.GetStackMapAt(1, encoding);
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800646 ASSERT_TRUE(stack_map1.HasDexRegisterMap(encoding.stack_map.encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000647 // ...the offset of the second Dex register map (relative to the
648 // beginning of the Dex register maps region) is 255 (i.e.,
649 // kNoDexRegisterMapSmallEncoding).
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800650 ASSERT_NE(stack_map1.GetDexRegisterMapOffset(encoding.stack_map.encoding),
David Srbecky09ed0982016-02-12 21:58:43 +0000651 StackMap::kNoDexRegisterMap);
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800652 ASSERT_EQ(stack_map1.GetDexRegisterMapOffset(encoding.stack_map.encoding), 0xFFu);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000653}
654
Calin Juravle6ae70962015-03-18 16:31:28 +0000655TEST(StackMapTest, TestShareDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700656 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100657 ArenaStack arena_stack(&pool);
658 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100659 StackMapStream stream(&allocator, kRuntimeISA);
Calin Juravle6ae70962015-03-18 16:31:28 +0000660
Vladimir Marko69d310e2017-10-09 14:12:23 +0100661 ArenaBitVector sp_mask(&allocator, 0, false);
Calin Juravle6ae70962015-03-18 16:31:28 +0000662 uint32_t number_of_dex_registers = 2;
663 // First stack map.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100664 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100665 stream.AddDexRegisterEntry(Kind::kInRegister, 0); // Short location.
666 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100667 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000668 // Second stack map, which should share the same dex register map.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100669 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100670 stream.AddDexRegisterEntry(Kind::kInRegister, 0); // Short location.
671 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100672 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000673 // Third stack map (doesn't share the dex register map).
Calin Juravle4f46ac52015-04-23 18:47:21 +0100674 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100675 stream.AddDexRegisterEntry(Kind::kInRegister, 2); // Short location.
676 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100677 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000678
Calin Juravle4f46ac52015-04-23 18:47:21 +0100679 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100680 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Calin Juravle6ae70962015-03-18 16:31:28 +0000681 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700682 stream.FillInCodeInfo(region);
Calin Juravle6ae70962015-03-18 16:31:28 +0000683
684 CodeInfo ci(region);
David Srbecky09ed0982016-02-12 21:58:43 +0000685 CodeInfoEncoding encoding = ci.ExtractEncoding();
David Brazdilf677ebf2015-05-29 16:29:43 +0100686
Calin Juravle6ae70962015-03-18 16:31:28 +0000687 // Verify first stack map.
David Brazdilf677ebf2015-05-29 16:29:43 +0100688 StackMap sm0 = ci.GetStackMapAt(0, encoding);
689 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm0, encoding, number_of_dex_registers);
690 ASSERT_EQ(0, dex_registers0.GetMachineRegister(0, number_of_dex_registers, ci, encoding));
691 ASSERT_EQ(-2, dex_registers0.GetConstant(1, number_of_dex_registers, ci, encoding));
Calin Juravle6ae70962015-03-18 16:31:28 +0000692
693 // Verify second stack map.
David Brazdilf677ebf2015-05-29 16:29:43 +0100694 StackMap sm1 = ci.GetStackMapAt(1, encoding);
695 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapOf(sm1, encoding, number_of_dex_registers);
696 ASSERT_EQ(0, dex_registers1.GetMachineRegister(0, number_of_dex_registers, ci, encoding));
697 ASSERT_EQ(-2, dex_registers1.GetConstant(1, number_of_dex_registers, ci, encoding));
Calin Juravle6ae70962015-03-18 16:31:28 +0000698
699 // Verify third stack map.
David Brazdilf677ebf2015-05-29 16:29:43 +0100700 StackMap sm2 = ci.GetStackMapAt(2, encoding);
701 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapOf(sm2, encoding, number_of_dex_registers);
702 ASSERT_EQ(2, dex_registers2.GetMachineRegister(0, number_of_dex_registers, ci, encoding));
703 ASSERT_EQ(-2, dex_registers2.GetConstant(1, number_of_dex_registers, ci, encoding));
Calin Juravle6ae70962015-03-18 16:31:28 +0000704
705 // Verify dex register map offsets.
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800706 ASSERT_EQ(sm0.GetDexRegisterMapOffset(encoding.stack_map.encoding),
707 sm1.GetDexRegisterMapOffset(encoding.stack_map.encoding));
708 ASSERT_NE(sm0.GetDexRegisterMapOffset(encoding.stack_map.encoding),
709 sm2.GetDexRegisterMapOffset(encoding.stack_map.encoding));
710 ASSERT_NE(sm1.GetDexRegisterMapOffset(encoding.stack_map.encoding),
711 sm2.GetDexRegisterMapOffset(encoding.stack_map.encoding));
Calin Juravle6ae70962015-03-18 16:31:28 +0000712}
713
Roland Levillaina552e1c2015-03-26 15:01:03 +0000714TEST(StackMapTest, TestNoDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700715 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100716 ArenaStack arena_stack(&pool);
717 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100718 StackMapStream stream(&allocator, kRuntimeISA);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000719
Vladimir Marko69d310e2017-10-09 14:12:23 +0100720 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000721 uint32_t number_of_dex_registers = 0;
Calin Juravle4f46ac52015-04-23 18:47:21 +0100722 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask, number_of_dex_registers, 0);
723 stream.EndStackMapEntry();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000724
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000725 number_of_dex_registers = 1;
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800726 stream.BeginStackMapEntry(1, 68, 0x4, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000727 stream.EndStackMapEntry();
728
Calin Juravle4f46ac52015-04-23 18:47:21 +0100729 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100730 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000731 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700732 stream.FillInCodeInfo(region);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000733
734 CodeInfo code_info(region);
David Srbecky09ed0982016-02-12 21:58:43 +0000735 CodeInfoEncoding encoding = code_info.ExtractEncoding();
736 ASSERT_EQ(2u, code_info.GetNumberOfStackMaps(encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000737
David Srbecky09ed0982016-02-12 21:58:43 +0000738 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries(encoding);
739 ASSERT_EQ(0u, number_of_catalog_entries);
David Brazdilf677ebf2015-05-29 16:29:43 +0100740 DexRegisterLocationCatalog location_catalog = code_info.GetDexRegisterLocationCatalog(encoding);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000741 ASSERT_EQ(0u, location_catalog.Size());
742
David Brazdilf677ebf2015-05-29 16:29:43 +0100743 StackMap stack_map = code_info.GetStackMapAt(0, encoding);
744 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0, encoding)));
745 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64, encoding)));
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800746 ASSERT_EQ(0u, stack_map.GetDexPc(encoding.stack_map.encoding));
747 ASSERT_EQ(64u, stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA));
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800748 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(encoding, stack_map));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000749
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800750 ASSERT_FALSE(stack_map.HasDexRegisterMap(encoding.stack_map.encoding));
751 ASSERT_FALSE(stack_map.HasInlineInfo(encoding.stack_map.encoding));
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000752
753 stack_map = code_info.GetStackMapAt(1, encoding);
754 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(1, encoding)));
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800755 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(68, encoding)));
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800756 ASSERT_EQ(1u, stack_map.GetDexPc(encoding.stack_map.encoding));
757 ASSERT_EQ(68u, stack_map.GetNativePcOffset(encoding.stack_map.encoding, kRuntimeISA));
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800758 ASSERT_EQ(0x4u, code_info.GetRegisterMaskOf(encoding, stack_map));
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000759
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800760 ASSERT_FALSE(stack_map.HasDexRegisterMap(encoding.stack_map.encoding));
761 ASSERT_FALSE(stack_map.HasInlineInfo(encoding.stack_map.encoding));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000762}
763
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100764TEST(StackMapTest, InlineTest) {
David Sehr3215fff2018-04-03 17:10:12 -0700765 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100766 ArenaStack arena_stack(&pool);
767 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100768 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000769 ArtMethod art_method;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100770
Vladimir Marko69d310e2017-10-09 14:12:23 +0100771 ArenaBitVector sp_mask1(&allocator, 0, true);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100772 sp_mask1.SetBit(2);
773 sp_mask1.SetBit(4);
774
775 // First stack map.
776 stream.BeginStackMapEntry(0, 64, 0x3, &sp_mask1, 2, 2);
777 stream.AddDexRegisterEntry(Kind::kInStack, 0);
778 stream.AddDexRegisterEntry(Kind::kConstant, 4);
779
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000780 stream.BeginInlineInfoEntry(&art_method, 2, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100781 stream.AddDexRegisterEntry(Kind::kInStack, 8);
782 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000783 stream.BeginInlineInfoEntry(&art_method, 3, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100784 stream.AddDexRegisterEntry(Kind::kInStack, 16);
785 stream.AddDexRegisterEntry(Kind::kConstant, 20);
786 stream.AddDexRegisterEntry(Kind::kInRegister, 15);
787 stream.EndInlineInfoEntry();
788
789 stream.EndStackMapEntry();
790
791 // Second stack map.
792 stream.BeginStackMapEntry(2, 22, 0x3, &sp_mask1, 2, 3);
793 stream.AddDexRegisterEntry(Kind::kInStack, 56);
794 stream.AddDexRegisterEntry(Kind::kConstant, 0);
795
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000796 stream.BeginInlineInfoEntry(&art_method, 2, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100797 stream.AddDexRegisterEntry(Kind::kInStack, 12);
798 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000799 stream.BeginInlineInfoEntry(&art_method, 3, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100800 stream.AddDexRegisterEntry(Kind::kInStack, 80);
801 stream.AddDexRegisterEntry(Kind::kConstant, 10);
802 stream.AddDexRegisterEntry(Kind::kInRegister, 5);
803 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000804 stream.BeginInlineInfoEntry(&art_method, 5, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100805 stream.EndInlineInfoEntry();
806
807 stream.EndStackMapEntry();
808
809 // Third stack map.
810 stream.BeginStackMapEntry(4, 56, 0x3, &sp_mask1, 2, 0);
811 stream.AddDexRegisterEntry(Kind::kNone, 0);
812 stream.AddDexRegisterEntry(Kind::kConstant, 4);
813 stream.EndStackMapEntry();
814
815 // Fourth stack map.
816 stream.BeginStackMapEntry(6, 78, 0x3, &sp_mask1, 2, 3);
817 stream.AddDexRegisterEntry(Kind::kInStack, 56);
818 stream.AddDexRegisterEntry(Kind::kConstant, 0);
819
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000820 stream.BeginInlineInfoEntry(&art_method, 2, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100821 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000822 stream.BeginInlineInfoEntry(&art_method, 5, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100823 stream.AddDexRegisterEntry(Kind::kInRegister, 2);
824 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000825 stream.BeginInlineInfoEntry(&art_method, 10, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100826 stream.AddDexRegisterEntry(Kind::kNone, 0);
827 stream.AddDexRegisterEntry(Kind::kInRegister, 3);
828 stream.EndInlineInfoEntry();
829
830 stream.EndStackMapEntry();
831
832 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100833 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100834 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700835 stream.FillInCodeInfo(region);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100836
837 CodeInfo ci(region);
David Srbecky09ed0982016-02-12 21:58:43 +0000838 CodeInfoEncoding encoding = ci.ExtractEncoding();
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100839
840 {
841 // Verify first stack map.
David Brazdilf677ebf2015-05-29 16:29:43 +0100842 StackMap sm0 = ci.GetStackMapAt(0, encoding);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100843
David Brazdilf677ebf2015-05-29 16:29:43 +0100844 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm0, encoding, 2);
845 ASSERT_EQ(0, dex_registers0.GetStackOffsetInBytes(0, 2, ci, encoding));
846 ASSERT_EQ(4, dex_registers0.GetConstant(1, 2, ci, encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100847
David Brazdilf677ebf2015-05-29 16:29:43 +0100848 InlineInfo if0 = ci.GetInlineInfoOf(sm0, encoding);
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800849 ASSERT_EQ(2u, if0.GetDepth(encoding.inline_info.encoding));
850 ASSERT_EQ(2u, if0.GetDexPcAtDepth(encoding.inline_info.encoding, 0));
851 ASSERT_TRUE(if0.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 0));
852 ASSERT_EQ(3u, if0.GetDexPcAtDepth(encoding.inline_info.encoding, 1));
853 ASSERT_TRUE(if0.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100854
David Brazdilf677ebf2015-05-29 16:29:43 +0100855 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(0, if0, encoding, 1);
856 ASSERT_EQ(8, dex_registers1.GetStackOffsetInBytes(0, 1, ci, encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100857
David Brazdilf677ebf2015-05-29 16:29:43 +0100858 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(1, if0, encoding, 3);
859 ASSERT_EQ(16, dex_registers2.GetStackOffsetInBytes(0, 3, ci, encoding));
860 ASSERT_EQ(20, dex_registers2.GetConstant(1, 3, ci, encoding));
861 ASSERT_EQ(15, dex_registers2.GetMachineRegister(2, 3, ci, encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100862 }
863
864 {
865 // Verify second stack map.
David Brazdilf677ebf2015-05-29 16:29:43 +0100866 StackMap sm1 = ci.GetStackMapAt(1, encoding);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100867
David Brazdilf677ebf2015-05-29 16:29:43 +0100868 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm1, encoding, 2);
869 ASSERT_EQ(56, dex_registers0.GetStackOffsetInBytes(0, 2, ci, encoding));
870 ASSERT_EQ(0, dex_registers0.GetConstant(1, 2, ci, encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100871
David Brazdilf677ebf2015-05-29 16:29:43 +0100872 InlineInfo if1 = ci.GetInlineInfoOf(sm1, encoding);
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800873 ASSERT_EQ(3u, if1.GetDepth(encoding.inline_info.encoding));
874 ASSERT_EQ(2u, if1.GetDexPcAtDepth(encoding.inline_info.encoding, 0));
875 ASSERT_TRUE(if1.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 0));
876 ASSERT_EQ(3u, if1.GetDexPcAtDepth(encoding.inline_info.encoding, 1));
877 ASSERT_TRUE(if1.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 1));
878 ASSERT_EQ(5u, if1.GetDexPcAtDepth(encoding.inline_info.encoding, 2));
879 ASSERT_TRUE(if1.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100880
David Brazdilf677ebf2015-05-29 16:29:43 +0100881 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(0, if1, encoding, 1);
882 ASSERT_EQ(12, dex_registers1.GetStackOffsetInBytes(0, 1, ci, encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100883
David Brazdilf677ebf2015-05-29 16:29:43 +0100884 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(1, if1, encoding, 3);
885 ASSERT_EQ(80, dex_registers2.GetStackOffsetInBytes(0, 3, ci, encoding));
886 ASSERT_EQ(10, dex_registers2.GetConstant(1, 3, ci, encoding));
887 ASSERT_EQ(5, dex_registers2.GetMachineRegister(2, 3, ci, encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100888
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800889 ASSERT_FALSE(if1.HasDexRegisterMapAtDepth(encoding.inline_info.encoding, 2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100890 }
891
892 {
893 // Verify third stack map.
David Brazdilf677ebf2015-05-29 16:29:43 +0100894 StackMap sm2 = ci.GetStackMapAt(2, encoding);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100895
David Brazdilf677ebf2015-05-29 16:29:43 +0100896 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm2, encoding, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100897 ASSERT_FALSE(dex_registers0.IsDexRegisterLive(0));
David Brazdilf677ebf2015-05-29 16:29:43 +0100898 ASSERT_EQ(4, dex_registers0.GetConstant(1, 2, ci, encoding));
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800899 ASSERT_FALSE(sm2.HasInlineInfo(encoding.stack_map.encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100900 }
901
902 {
903 // Verify fourth stack map.
David Brazdilf677ebf2015-05-29 16:29:43 +0100904 StackMap sm3 = ci.GetStackMapAt(3, encoding);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100905
David Brazdilf677ebf2015-05-29 16:29:43 +0100906 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm3, encoding, 2);
907 ASSERT_EQ(56, dex_registers0.GetStackOffsetInBytes(0, 2, ci, encoding));
908 ASSERT_EQ(0, dex_registers0.GetConstant(1, 2, ci, encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100909
David Brazdilf677ebf2015-05-29 16:29:43 +0100910 InlineInfo if2 = ci.GetInlineInfoOf(sm3, encoding);
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800911 ASSERT_EQ(3u, if2.GetDepth(encoding.inline_info.encoding));
912 ASSERT_EQ(2u, if2.GetDexPcAtDepth(encoding.inline_info.encoding, 0));
913 ASSERT_TRUE(if2.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 0));
914 ASSERT_EQ(5u, if2.GetDexPcAtDepth(encoding.inline_info.encoding, 1));
915 ASSERT_TRUE(if2.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 1));
916 ASSERT_EQ(10u, if2.GetDexPcAtDepth(encoding.inline_info.encoding, 2));
917 ASSERT_TRUE(if2.EncodesArtMethodAtDepth(encoding.inline_info.encoding, 2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100918
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800919 ASSERT_FALSE(if2.HasDexRegisterMapAtDepth(encoding.inline_info.encoding, 0));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100920
David Brazdilf677ebf2015-05-29 16:29:43 +0100921 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(1, if2, encoding, 1);
922 ASSERT_EQ(2, dex_registers1.GetMachineRegister(0, 1, ci, encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100923
David Brazdilf677ebf2015-05-29 16:29:43 +0100924 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(2, if2, encoding, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100925 ASSERT_FALSE(dex_registers2.IsDexRegisterLive(0));
David Brazdilf677ebf2015-05-29 16:29:43 +0100926 ASSERT_EQ(3, dex_registers2.GetMachineRegister(1, 2, ci, encoding));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100927 }
928}
929
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800930TEST(StackMapTest, CodeOffsetTest) {
931 // Test minimum alignments, encoding, and decoding.
Vladimir Marko33bff252017-11-01 14:35:42 +0000932 CodeOffset offset_thumb2 =
933 CodeOffset::FromOffset(kThumb2InstructionAlignment, InstructionSet::kThumb2);
934 CodeOffset offset_arm64 =
935 CodeOffset::FromOffset(kArm64InstructionAlignment, InstructionSet::kArm64);
936 CodeOffset offset_x86 =
937 CodeOffset::FromOffset(kX86InstructionAlignment, InstructionSet::kX86);
938 CodeOffset offset_x86_64 =
939 CodeOffset::FromOffset(kX86_64InstructionAlignment, InstructionSet::kX86_64);
940 CodeOffset offset_mips =
941 CodeOffset::FromOffset(kMipsInstructionAlignment, InstructionSet::kMips);
942 CodeOffset offset_mips64 =
943 CodeOffset::FromOffset(kMips64InstructionAlignment, InstructionSet::kMips64);
944 EXPECT_EQ(offset_thumb2.Uint32Value(InstructionSet::kThumb2), kThumb2InstructionAlignment);
945 EXPECT_EQ(offset_arm64.Uint32Value(InstructionSet::kArm64), kArm64InstructionAlignment);
946 EXPECT_EQ(offset_x86.Uint32Value(InstructionSet::kX86), kX86InstructionAlignment);
947 EXPECT_EQ(offset_x86_64.Uint32Value(InstructionSet::kX86_64), kX86_64InstructionAlignment);
948 EXPECT_EQ(offset_mips.Uint32Value(InstructionSet::kMips), kMipsInstructionAlignment);
949 EXPECT_EQ(offset_mips64.Uint32Value(InstructionSet::kMips64), kMips64InstructionAlignment);
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800950}
951
David Srbecky45aa5982016-03-18 02:15:09 +0000952TEST(StackMapTest, TestDeduplicateStackMask) {
David Sehr3215fff2018-04-03 17:10:12 -0700953 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100954 ArenaStack arena_stack(&pool);
955 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100956 StackMapStream stream(&allocator, kRuntimeISA);
David Srbecky45aa5982016-03-18 02:15:09 +0000957
Vladimir Marko69d310e2017-10-09 14:12:23 +0100958 ArenaBitVector sp_mask(&allocator, 0, true);
David Srbecky45aa5982016-03-18 02:15:09 +0000959 sp_mask.SetBit(1);
960 sp_mask.SetBit(4);
961 stream.BeginStackMapEntry(0, 4, 0x3, &sp_mask, 0, 0);
962 stream.EndStackMapEntry();
963 stream.BeginStackMapEntry(0, 8, 0x3, &sp_mask, 0, 0);
964 stream.EndStackMapEntry();
965
966 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100967 void* memory = allocator.Alloc(size, kArenaAllocMisc);
David Srbecky45aa5982016-03-18 02:15:09 +0000968 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700969 stream.FillInCodeInfo(region);
David Srbecky45aa5982016-03-18 02:15:09 +0000970
971 CodeInfo code_info(region);
972 CodeInfoEncoding encoding = code_info.ExtractEncoding();
973 ASSERT_EQ(2u, code_info.GetNumberOfStackMaps(encoding));
974
975 StackMap stack_map1 = code_info.GetStackMapForNativePcOffset(4, encoding);
976 StackMap stack_map2 = code_info.GetStackMapForNativePcOffset(8, encoding);
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800977 EXPECT_EQ(stack_map1.GetStackMaskIndex(encoding.stack_map.encoding),
978 stack_map2.GetStackMaskIndex(encoding.stack_map.encoding));
David Srbecky45aa5982016-03-18 02:15:09 +0000979}
980
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800981TEST(StackMapTest, TestInvokeInfo) {
David Sehr3215fff2018-04-03 17:10:12 -0700982 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100983 ArenaStack arena_stack(&pool);
984 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100985 StackMapStream stream(&allocator, kRuntimeISA);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800986
Vladimir Marko69d310e2017-10-09 14:12:23 +0100987 ArenaBitVector sp_mask(&allocator, 0, true);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800988 sp_mask.SetBit(1);
989 stream.BeginStackMapEntry(0, 4, 0x3, &sp_mask, 0, 0);
990 stream.AddInvoke(kSuper, 1);
991 stream.EndStackMapEntry();
992 stream.BeginStackMapEntry(0, 8, 0x3, &sp_mask, 0, 0);
993 stream.AddInvoke(kStatic, 3);
994 stream.EndStackMapEntry();
995 stream.BeginStackMapEntry(0, 16, 0x3, &sp_mask, 0, 0);
996 stream.AddInvoke(kDirect, 65535);
997 stream.EndStackMapEntry();
998
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700999 const size_t code_info_size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +01001000 MemoryRegion code_info_region(allocator.Alloc(code_info_size, kArenaAllocMisc), code_info_size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001001 stream.FillInCodeInfo(code_info_region);
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001002
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001003 const size_t method_info_size = stream.ComputeMethodInfoSize();
Vladimir Marko69d310e2017-10-09 14:12:23 +01001004 MemoryRegion method_info_region(allocator.Alloc(method_info_size, kArenaAllocMisc),
1005 method_info_size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001006 stream.FillInMethodInfo(method_info_region);
1007
1008 CodeInfo code_info(code_info_region);
1009 MethodInfo method_info(method_info_region.begin());
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001010 CodeInfoEncoding encoding = code_info.ExtractEncoding();
1011 ASSERT_EQ(3u, code_info.GetNumberOfStackMaps(encoding));
1012
1013 InvokeInfo invoke1(code_info.GetInvokeInfoForNativePcOffset(4, encoding));
1014 InvokeInfo invoke2(code_info.GetInvokeInfoForNativePcOffset(8, encoding));
1015 InvokeInfo invoke3(code_info.GetInvokeInfoForNativePcOffset(16, encoding));
1016 InvokeInfo invoke_invalid(code_info.GetInvokeInfoForNativePcOffset(12, encoding));
1017 EXPECT_FALSE(invoke_invalid.IsValid()); // No entry for that index.
1018 EXPECT_TRUE(invoke1.IsValid());
1019 EXPECT_TRUE(invoke2.IsValid());
1020 EXPECT_TRUE(invoke3.IsValid());
1021 EXPECT_EQ(invoke1.GetInvokeType(encoding.invoke_info.encoding), kSuper);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001022 EXPECT_EQ(invoke1.GetMethodIndex(encoding.invoke_info.encoding, method_info), 1u);
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001023 EXPECT_EQ(invoke1.GetNativePcOffset(encoding.invoke_info.encoding, kRuntimeISA), 4u);
1024 EXPECT_EQ(invoke2.GetInvokeType(encoding.invoke_info.encoding), kStatic);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001025 EXPECT_EQ(invoke2.GetMethodIndex(encoding.invoke_info.encoding, method_info), 3u);
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001026 EXPECT_EQ(invoke2.GetNativePcOffset(encoding.invoke_info.encoding, kRuntimeISA), 8u);
1027 EXPECT_EQ(invoke3.GetInvokeType(encoding.invoke_info.encoding), kDirect);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -07001028 EXPECT_EQ(invoke3.GetMethodIndex(encoding.invoke_info.encoding, method_info), 65535u);
Mathieu Chartierd776ff02017-01-17 09:32:18 -08001029 EXPECT_EQ(invoke3.GetNativePcOffset(encoding.invoke_info.encoding, kRuntimeISA), 16u);
1030}
1031
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001032} // namespace art