blob: 6241e0c25a1e122db5832c03712bd3888f3313b6 [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);
David Srbeckyf6ba5b32018-06-23 22:05:49 +010055 stream.BeginMethod(32, 0, 0, 2);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010056
Vladimir Marko69d310e2017-10-09 14:12:23 +010057 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillain12baf472015-03-05 12:41:42 +000058 size_t number_of_dex_registers = 2;
David Srbeckyf6ba5b32018-06-23 22:05:49 +010059 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010060 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
61 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Short location.
Calin Juravle4f46ac52015-04-23 18:47:21 +010062 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010063
David Srbeckyf6ba5b32018-06-23 22:05:49 +010064 stream.EndMethod();
Calin Juravle4f46ac52015-04-23 18:47:21 +010065 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +010066 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010067 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -070068 stream.FillInCodeInfo(region);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010069
Nicolas Geoffray39468442014-09-02 15:17:15 +010070 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +010071 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010072
David Srbecky052f8ca2018-04-26 15:42:54 +010073 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +000074 ASSERT_EQ(2u, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +000075
David Srbecky052f8ca2018-04-26 15:42:54 +010076 StackMap stack_map = code_info.GetStackMapAt(0);
77 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +010078 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +010079 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +010080 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +010081 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010082
David Srbecky052f8ca2018-04-26 15:42:54 +010083 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010084
David Srbecky052f8ca2018-04-26 15:42:54 +010085 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Srbeckyfd89b072018-06-03 12:00:22 +010086 DexRegisterMap dex_register_map = code_info.GetDexRegisterMapOf(stack_map);
87 ASSERT_EQ(number_of_dex_registers, dex_register_map.size());
David Srbeckye1402122018-06-13 18:20:45 +010088 ASSERT_TRUE(dex_register_map[0].IsLive());
89 ASSERT_TRUE(dex_register_map[1].IsLive());
David Srbecky71ec1cc2018-05-18 15:57:25 +010090 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
Roland Levillaina552e1c2015-03-26 15:01:03 +000091
David Srbeckye1402122018-06-13 18:20:45 +010092 ASSERT_EQ(Kind::kInStack, dex_register_map[0].GetKind());
93 ASSERT_EQ(Kind::kConstant, dex_register_map[1].GetKind());
94 ASSERT_EQ(0, dex_register_map[0].GetStackOffsetInBytes());
95 ASSERT_EQ(-2, dex_register_map[1].GetConstant());
Roland Levillaina552e1c2015-03-26 15:01:03 +000096
David Srbecky71ec1cc2018-05-18 15:57:25 +010097 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(0);
98 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(1);
Roland Levillaina552e1c2015-03-26 15:01:03 +000099 ASSERT_EQ(Kind::kInStack, location0.GetKind());
100 ASSERT_EQ(Kind::kConstant, location1.GetKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000101 ASSERT_EQ(0, location0.GetValue());
102 ASSERT_EQ(-2, location1.GetValue());
Roland Levillain12baf472015-03-05 12:41:42 +0000103
David Srbecky052f8ca2018-04-26 15:42:54 +0100104 ASSERT_FALSE(stack_map.HasInlineInfo());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100105}
106
107TEST(StackMapTest, Test2) {
David Sehr3215fff2018-04-03 17:10:12 -0700108 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100109 ArenaStack arena_stack(&pool);
110 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100111 StackMapStream stream(&allocator, kRuntimeISA);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100112 stream.BeginMethod(32, 0, 0, 2);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000113 ArtMethod art_method;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100114
Vladimir Marko69d310e2017-10-09 14:12:23 +0100115 ArenaBitVector sp_mask1(&allocator, 0, true);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100116 sp_mask1.SetBit(2);
117 sp_mask1.SetBit(4);
Roland Levillain12baf472015-03-05 12:41:42 +0000118 size_t number_of_dex_registers = 2;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100119 size_t number_of_dex_registers_in_inline_info = 0;
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100120 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100121 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
122 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000123 stream.BeginInlineInfoEntry(&art_method, 3, number_of_dex_registers_in_inline_info);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100124 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000125 stream.BeginInlineInfoEntry(&art_method, 2, number_of_dex_registers_in_inline_info);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100126 stream.EndInlineInfoEntry();
Calin Juravle4f46ac52015-04-23 18:47:21 +0100127 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100128
Vladimir Marko69d310e2017-10-09 14:12:23 +0100129 ArenaBitVector sp_mask2(&allocator, 0, true);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100130 sp_mask2.SetBit(3);
David Brazdilf10a25f2015-06-02 14:29:52 +0100131 sp_mask2.SetBit(8);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100132 stream.BeginStackMapEntry(1, 128 * kPcAlign, 0xFF, &sp_mask2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100133 stream.AddDexRegisterEntry(Kind::kInRegister, 18); // Short location.
134 stream.AddDexRegisterEntry(Kind::kInFpuRegister, 3); // Short location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100135 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100136
Vladimir Marko69d310e2017-10-09 14:12:23 +0100137 ArenaBitVector sp_mask3(&allocator, 0, true);
David Brazdild9cb68e2015-08-25 13:52:43 +0100138 sp_mask3.SetBit(1);
139 sp_mask3.SetBit(5);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100140 stream.BeginStackMapEntry(2, 192 * kPcAlign, 0xAB, &sp_mask3);
David Brazdild9cb68e2015-08-25 13:52:43 +0100141 stream.AddDexRegisterEntry(Kind::kInRegister, 6); // Short location.
142 stream.AddDexRegisterEntry(Kind::kInRegisterHigh, 8); // Short location.
143 stream.EndStackMapEntry();
144
Vladimir Marko69d310e2017-10-09 14:12:23 +0100145 ArenaBitVector sp_mask4(&allocator, 0, true);
David Brazdild9cb68e2015-08-25 13:52:43 +0100146 sp_mask4.SetBit(6);
147 sp_mask4.SetBit(7);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100148 stream.BeginStackMapEntry(3, 256 * kPcAlign, 0xCD, &sp_mask4);
David Brazdild9cb68e2015-08-25 13:52:43 +0100149 stream.AddDexRegisterEntry(Kind::kInFpuRegister, 3); // Short location, same in stack map 2.
150 stream.AddDexRegisterEntry(Kind::kInFpuRegisterHigh, 1); // Short location.
151 stream.EndStackMapEntry();
152
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100153 stream.EndMethod();
Calin Juravle4f46ac52015-04-23 18:47:21 +0100154 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100155 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100156 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700157 stream.FillInCodeInfo(region);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100158
Nicolas Geoffray39468442014-09-02 15:17:15 +0100159 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100160 ASSERT_EQ(4u, code_info.GetNumberOfStackMaps());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100161
David Srbecky052f8ca2018-04-26 15:42:54 +0100162 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000163 ASSERT_EQ(7u, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000164
Roland Levillain12baf472015-03-05 12:41:42 +0000165 // First stack map.
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000166 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100167 StackMap stack_map = code_info.GetStackMapAt(0);
168 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100169 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100170 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100171 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100172 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100173
David Srbecky052f8ca2018-04-26 15:42:54 +0100174 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask1));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100175
David Srbecky052f8ca2018-04-26 15:42:54 +0100176 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Srbeckyfd89b072018-06-03 12:00:22 +0100177 DexRegisterMap dex_register_map = code_info.GetDexRegisterMapOf(stack_map);
178 ASSERT_EQ(number_of_dex_registers, dex_register_map.size());
David Srbeckye1402122018-06-13 18:20:45 +0100179 ASSERT_TRUE(dex_register_map[0].IsLive());
180 ASSERT_TRUE(dex_register_map[1].IsLive());
David Srbecky71ec1cc2018-05-18 15:57:25 +0100181 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000182
David Srbeckye1402122018-06-13 18:20:45 +0100183 ASSERT_EQ(Kind::kInStack, dex_register_map[0].GetKind());
184 ASSERT_EQ(Kind::kConstant, dex_register_map[1].GetKind());
185 ASSERT_EQ(0, dex_register_map[0].GetStackOffsetInBytes());
186 ASSERT_EQ(-2, dex_register_map[1].GetConstant());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000187
David Srbecky71ec1cc2018-05-18 15:57:25 +0100188 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(0);
189 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(1);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000190 ASSERT_EQ(Kind::kInStack, location0.GetKind());
191 ASSERT_EQ(Kind::kConstant, location1.GetKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000192 ASSERT_EQ(0, location0.GetValue());
193 ASSERT_EQ(-2, location1.GetValue());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100194
David Srbecky052f8ca2018-04-26 15:42:54 +0100195 ASSERT_TRUE(stack_map.HasInlineInfo());
David Srbecky6e69e522018-06-03 12:00:14 +0100196 InlineInfo inline_info0 = code_info.GetInlineInfoAtDepth(stack_map, 0);
197 InlineInfo inline_info1 = code_info.GetInlineInfoAtDepth(stack_map, 1);
198 ASSERT_EQ(2u, code_info.GetInlineDepthOf(stack_map));
199 ASSERT_EQ(3u, inline_info0.GetDexPc());
200 ASSERT_EQ(2u, inline_info1.GetDexPc());
201 ASSERT_TRUE(inline_info0.EncodesArtMethod());
202 ASSERT_TRUE(inline_info1.EncodesArtMethod());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000203 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100204
Roland Levillain12baf472015-03-05 12:41:42 +0000205 // Second stack map.
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000206 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100207 StackMap stack_map = code_info.GetStackMapAt(1);
208 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(1u)));
David Srbeckyd775f962018-05-30 18:12:52 +0100209 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(128u * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100210 ASSERT_EQ(1u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100211 ASSERT_EQ(128u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100212 ASSERT_EQ(0xFFu, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100213
David Srbecky052f8ca2018-04-26 15:42:54 +0100214 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask2));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100215
David Srbecky052f8ca2018-04-26 15:42:54 +0100216 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Srbeckyfd89b072018-06-03 12:00:22 +0100217 DexRegisterMap dex_register_map = code_info.GetDexRegisterMapOf(stack_map);
218 ASSERT_EQ(number_of_dex_registers, dex_register_map.size());
David Srbeckye1402122018-06-13 18:20:45 +0100219 ASSERT_TRUE(dex_register_map[0].IsLive());
220 ASSERT_TRUE(dex_register_map[1].IsLive());
David Srbecky71ec1cc2018-05-18 15:57:25 +0100221 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000222
David Srbeckye1402122018-06-13 18:20:45 +0100223 ASSERT_EQ(Kind::kInRegister, dex_register_map[0].GetKind());
224 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map[1].GetKind());
225 ASSERT_EQ(18, dex_register_map[0].GetMachineRegister());
226 ASSERT_EQ(3, dex_register_map[1].GetMachineRegister());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000227
David Srbecky71ec1cc2018-05-18 15:57:25 +0100228 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(2);
229 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(3);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000230 ASSERT_EQ(Kind::kInRegister, location0.GetKind());
231 ASSERT_EQ(Kind::kInFpuRegister, location1.GetKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000232 ASSERT_EQ(18, location0.GetValue());
233 ASSERT_EQ(3, location1.GetValue());
Roland Levillain12baf472015-03-05 12:41:42 +0000234
David Srbecky052f8ca2018-04-26 15:42:54 +0100235 ASSERT_FALSE(stack_map.HasInlineInfo());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000236 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100237
238 // Third stack map.
239 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100240 StackMap stack_map = code_info.GetStackMapAt(2);
241 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(2u)));
David Srbeckyd775f962018-05-30 18:12:52 +0100242 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(192u * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100243 ASSERT_EQ(2u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100244 ASSERT_EQ(192u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100245 ASSERT_EQ(0xABu, code_info.GetRegisterMaskOf(stack_map));
David Brazdild9cb68e2015-08-25 13:52:43 +0100246
David Srbecky052f8ca2018-04-26 15:42:54 +0100247 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask3));
David Brazdild9cb68e2015-08-25 13:52:43 +0100248
David Srbecky052f8ca2018-04-26 15:42:54 +0100249 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Srbeckyfd89b072018-06-03 12:00:22 +0100250 DexRegisterMap dex_register_map = code_info.GetDexRegisterMapOf(stack_map);
251 ASSERT_EQ(number_of_dex_registers, dex_register_map.size());
David Srbeckye1402122018-06-13 18:20:45 +0100252 ASSERT_TRUE(dex_register_map[0].IsLive());
253 ASSERT_TRUE(dex_register_map[1].IsLive());
David Srbecky71ec1cc2018-05-18 15:57:25 +0100254 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
David Brazdild9cb68e2015-08-25 13:52:43 +0100255
David Srbeckye1402122018-06-13 18:20:45 +0100256 ASSERT_EQ(Kind::kInRegister, dex_register_map[0].GetKind());
257 ASSERT_EQ(Kind::kInRegisterHigh, dex_register_map[1].GetKind());
258 ASSERT_EQ(6, dex_register_map[0].GetMachineRegister());
259 ASSERT_EQ(8, dex_register_map[1].GetMachineRegister());
David Brazdild9cb68e2015-08-25 13:52:43 +0100260
David Srbecky71ec1cc2018-05-18 15:57:25 +0100261 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(4);
262 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(5);
David Brazdild9cb68e2015-08-25 13:52:43 +0100263 ASSERT_EQ(Kind::kInRegister, location0.GetKind());
264 ASSERT_EQ(Kind::kInRegisterHigh, location1.GetKind());
David Brazdild9cb68e2015-08-25 13:52:43 +0100265 ASSERT_EQ(6, location0.GetValue());
266 ASSERT_EQ(8, location1.GetValue());
267
David Srbecky052f8ca2018-04-26 15:42:54 +0100268 ASSERT_FALSE(stack_map.HasInlineInfo());
David Brazdild9cb68e2015-08-25 13:52:43 +0100269 }
270
271 // Fourth stack map.
272 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100273 StackMap stack_map = code_info.GetStackMapAt(3);
274 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(3u)));
David Srbeckyd775f962018-05-30 18:12:52 +0100275 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(256u * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100276 ASSERT_EQ(3u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100277 ASSERT_EQ(256u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100278 ASSERT_EQ(0xCDu, code_info.GetRegisterMaskOf(stack_map));
David Brazdild9cb68e2015-08-25 13:52:43 +0100279
David Srbecky052f8ca2018-04-26 15:42:54 +0100280 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask4));
David Brazdild9cb68e2015-08-25 13:52:43 +0100281
David Srbecky052f8ca2018-04-26 15:42:54 +0100282 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Srbeckyfd89b072018-06-03 12:00:22 +0100283 DexRegisterMap dex_register_map = code_info.GetDexRegisterMapOf(stack_map);
284 ASSERT_EQ(number_of_dex_registers, dex_register_map.size());
David Srbeckye1402122018-06-13 18:20:45 +0100285 ASSERT_TRUE(dex_register_map[0].IsLive());
286 ASSERT_TRUE(dex_register_map[1].IsLive());
David Srbecky71ec1cc2018-05-18 15:57:25 +0100287 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
David Brazdild9cb68e2015-08-25 13:52:43 +0100288
David Srbeckye1402122018-06-13 18:20:45 +0100289 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map[0].GetKind());
290 ASSERT_EQ(Kind::kInFpuRegisterHigh, dex_register_map[1].GetKind());
291 ASSERT_EQ(3, dex_register_map[0].GetMachineRegister());
292 ASSERT_EQ(1, dex_register_map[1].GetMachineRegister());
David Brazdild9cb68e2015-08-25 13:52:43 +0100293
David Srbecky71ec1cc2018-05-18 15:57:25 +0100294 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(3);
295 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(6);
David Brazdild9cb68e2015-08-25 13:52:43 +0100296 ASSERT_EQ(Kind::kInFpuRegister, location0.GetKind());
297 ASSERT_EQ(Kind::kInFpuRegisterHigh, location1.GetKind());
David Brazdild9cb68e2015-08-25 13:52:43 +0100298 ASSERT_EQ(3, location0.GetValue());
299 ASSERT_EQ(1, location1.GetValue());
300
David Srbecky052f8ca2018-04-26 15:42:54 +0100301 ASSERT_FALSE(stack_map.HasInlineInfo());
David Brazdild9cb68e2015-08-25 13:52:43 +0100302 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100303}
304
Mathieu Chartier32289082017-02-09 15:57:37 -0800305TEST(StackMapTest, TestDeduplicateInlineInfoDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700306 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100307 ArenaStack arena_stack(&pool);
308 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100309 StackMapStream stream(&allocator, kRuntimeISA);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100310 stream.BeginMethod(32, 0, 0, 2);
Mathieu Chartier32289082017-02-09 15:57:37 -0800311 ArtMethod art_method;
312
Vladimir Marko69d310e2017-10-09 14:12:23 +0100313 ArenaBitVector sp_mask1(&allocator, 0, true);
Mathieu Chartier32289082017-02-09 15:57:37 -0800314 sp_mask1.SetBit(2);
315 sp_mask1.SetBit(4);
316 const size_t number_of_dex_registers = 2;
317 const size_t number_of_dex_registers_in_inline_info = 2;
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100318 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask1);
Mathieu Chartier32289082017-02-09 15:57:37 -0800319 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
320 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
321 stream.BeginInlineInfoEntry(&art_method, 3, number_of_dex_registers_in_inline_info);
322 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
323 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
324 stream.EndInlineInfoEntry();
325 stream.EndStackMapEntry();
326
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100327 stream.EndMethod();
Mathieu Chartier32289082017-02-09 15:57:37 -0800328 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100329 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Mathieu Chartier32289082017-02-09 15:57:37 -0800330 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700331 stream.FillInCodeInfo(region);
Mathieu Chartier32289082017-02-09 15:57:37 -0800332
333 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100334 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps());
Mathieu Chartier32289082017-02-09 15:57:37 -0800335
David Srbecky052f8ca2018-04-26 15:42:54 +0100336 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
Mathieu Chartier32289082017-02-09 15:57:37 -0800337 ASSERT_EQ(2u, number_of_catalog_entries);
Mathieu Chartier32289082017-02-09 15:57:37 -0800338
339 // First stack map.
340 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100341 StackMap stack_map = code_info.GetStackMapAt(0);
342 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100343 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100344 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100345 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100346 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Mathieu Chartier32289082017-02-09 15:57:37 -0800347
David Srbecky052f8ca2018-04-26 15:42:54 +0100348 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask1));
Mathieu Chartier32289082017-02-09 15:57:37 -0800349
David Srbecky052f8ca2018-04-26 15:42:54 +0100350 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Srbeckyfd89b072018-06-03 12:00:22 +0100351 DexRegisterMap map(code_info.GetDexRegisterMapOf(stack_map));
352 ASSERT_EQ(number_of_dex_registers, map.size());
David Srbeckye1402122018-06-13 18:20:45 +0100353 ASSERT_TRUE(map[0].IsLive());
354 ASSERT_TRUE(map[1].IsLive());
David Srbecky71ec1cc2018-05-18 15:57:25 +0100355 ASSERT_EQ(2u, map.GetNumberOfLiveDexRegisters());
Mathieu Chartier32289082017-02-09 15:57:37 -0800356
David Srbeckye1402122018-06-13 18:20:45 +0100357 ASSERT_EQ(Kind::kInStack, map[0].GetKind());
358 ASSERT_EQ(Kind::kConstant, map[1].GetKind());
359 ASSERT_EQ(0, map[0].GetStackOffsetInBytes());
360 ASSERT_EQ(-2, map[1].GetConstant());
Mathieu Chartier32289082017-02-09 15:57:37 -0800361
David Srbecky71ec1cc2018-05-18 15:57:25 +0100362 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(0);
363 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(1);
Mathieu Chartier32289082017-02-09 15:57:37 -0800364 ASSERT_EQ(Kind::kInStack, location0.GetKind());
365 ASSERT_EQ(Kind::kConstant, location1.GetKind());
Mathieu Chartier32289082017-02-09 15:57:37 -0800366 ASSERT_EQ(0, location0.GetValue());
367 ASSERT_EQ(-2, location1.GetValue());
Mathieu Chartier32289082017-02-09 15:57:37 -0800368 }
369}
370
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000371TEST(StackMapTest, TestNonLiveDexRegisters) {
David Sehr3215fff2018-04-03 17:10:12 -0700372 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100373 ArenaStack arena_stack(&pool);
374 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100375 StackMapStream stream(&allocator, kRuntimeISA);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100376 stream.BeginMethod(32, 0, 0, 2);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000377
Vladimir Marko69d310e2017-10-09 14:12:23 +0100378 ArenaBitVector sp_mask(&allocator, 0, false);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000379 uint32_t number_of_dex_registers = 2;
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100380 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100381 stream.AddDexRegisterEntry(Kind::kNone, 0); // No location.
382 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100383 stream.EndStackMapEntry();
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000384
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100385 stream.EndMethod();
Calin Juravle4f46ac52015-04-23 18:47:21 +0100386 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100387 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000388 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700389 stream.FillInCodeInfo(region);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000390
391 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100392 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000393
David Srbecky052f8ca2018-04-26 15:42:54 +0100394 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000395 ASSERT_EQ(1u, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000396
David Srbecky052f8ca2018-04-26 15:42:54 +0100397 StackMap stack_map = code_info.GetStackMapAt(0);
398 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100399 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100400 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100401 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100402 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000403
David Srbecky052f8ca2018-04-26 15:42:54 +0100404 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Srbeckyfd89b072018-06-03 12:00:22 +0100405 DexRegisterMap dex_register_map = code_info.GetDexRegisterMapOf(stack_map);
406 ASSERT_EQ(number_of_dex_registers, dex_register_map.size());
David Srbeckye1402122018-06-13 18:20:45 +0100407 ASSERT_FALSE(dex_register_map[0].IsLive());
408 ASSERT_TRUE(dex_register_map[1].IsLive());
David Srbecky71ec1cc2018-05-18 15:57:25 +0100409 ASSERT_EQ(1u, dex_register_map.GetNumberOfLiveDexRegisters());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000410
David Srbeckye1402122018-06-13 18:20:45 +0100411 ASSERT_EQ(Kind::kNone, dex_register_map[0].GetKind());
412 ASSERT_EQ(Kind::kConstant, dex_register_map[1].GetKind());
413 ASSERT_EQ(-2, dex_register_map[1].GetConstant());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000414
David Srbecky71ec1cc2018-05-18 15:57:25 +0100415 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(0);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000416 ASSERT_EQ(Kind::kConstant, location1.GetKind());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000417 ASSERT_EQ(-2, location1.GetValue());
418
David Srbecky052f8ca2018-04-26 15:42:54 +0100419 ASSERT_FALSE(stack_map.HasInlineInfo());
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000420}
421
Calin Juravle6ae70962015-03-18 16:31:28 +0000422TEST(StackMapTest, TestShareDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700423 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100424 ArenaStack arena_stack(&pool);
425 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100426 StackMapStream stream(&allocator, kRuntimeISA);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100427 stream.BeginMethod(32, 0, 0, 2);
Calin Juravle6ae70962015-03-18 16:31:28 +0000428
Vladimir Marko69d310e2017-10-09 14:12:23 +0100429 ArenaBitVector sp_mask(&allocator, 0, false);
Calin Juravle6ae70962015-03-18 16:31:28 +0000430 uint32_t number_of_dex_registers = 2;
431 // First stack map.
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100432 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100433 stream.AddDexRegisterEntry(Kind::kInRegister, 0); // Short location.
434 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100435 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000436 // Second stack map, which should share the same dex register map.
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100437 stream.BeginStackMapEntry(0, 65 * kPcAlign, 0x3, &sp_mask);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100438 stream.AddDexRegisterEntry(Kind::kInRegister, 0); // Short location.
439 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100440 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000441 // Third stack map (doesn't share the dex register map).
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100442 stream.BeginStackMapEntry(0, 66 * kPcAlign, 0x3, &sp_mask);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100443 stream.AddDexRegisterEntry(Kind::kInRegister, 2); // Short location.
444 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100445 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000446
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100447 stream.EndMethod();
Calin Juravle4f46ac52015-04-23 18:47:21 +0100448 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100449 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Calin Juravle6ae70962015-03-18 16:31:28 +0000450 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700451 stream.FillInCodeInfo(region);
Calin Juravle6ae70962015-03-18 16:31:28 +0000452
453 CodeInfo ci(region);
David Brazdilf677ebf2015-05-29 16:29:43 +0100454
Calin Juravle6ae70962015-03-18 16:31:28 +0000455 // Verify first stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100456 StackMap sm0 = ci.GetStackMapAt(0);
David Srbeckyfd89b072018-06-03 12:00:22 +0100457 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm0);
458 ASSERT_EQ(number_of_dex_registers, dex_registers0.size());
David Srbeckye1402122018-06-13 18:20:45 +0100459 ASSERT_EQ(0, dex_registers0[0].GetMachineRegister());
460 ASSERT_EQ(-2, dex_registers0[1].GetConstant());
Calin Juravle6ae70962015-03-18 16:31:28 +0000461
462 // Verify second stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100463 StackMap sm1 = ci.GetStackMapAt(1);
David Srbeckyfd89b072018-06-03 12:00:22 +0100464 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapOf(sm1);
465 ASSERT_EQ(number_of_dex_registers, dex_registers1.size());
David Srbeckye1402122018-06-13 18:20:45 +0100466 ASSERT_EQ(0, dex_registers1[0].GetMachineRegister());
467 ASSERT_EQ(-2, dex_registers1[1].GetConstant());
Calin Juravle6ae70962015-03-18 16:31:28 +0000468
469 // Verify third stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100470 StackMap sm2 = ci.GetStackMapAt(2);
David Srbeckyfd89b072018-06-03 12:00:22 +0100471 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapOf(sm2);
472 ASSERT_EQ(number_of_dex_registers, dex_registers2.size());
David Srbeckye1402122018-06-13 18:20:45 +0100473 ASSERT_EQ(2, dex_registers2[0].GetMachineRegister());
474 ASSERT_EQ(-2, dex_registers2[1].GetConstant());
Calin Juravle6ae70962015-03-18 16:31:28 +0000475
David Srbecky6de88332018-06-03 12:00:11 +0100476 // Verify dex register mask offsets.
477 ASSERT_FALSE(sm1.HasDexRegisterMaskIndex()); // No delta.
478 ASSERT_TRUE(sm2.HasDexRegisterMaskIndex()); // Has delta.
Calin Juravle6ae70962015-03-18 16:31:28 +0000479}
480
Roland Levillaina552e1c2015-03-26 15:01:03 +0000481TEST(StackMapTest, TestNoDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700482 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100483 ArenaStack arena_stack(&pool);
484 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100485 StackMapStream stream(&allocator, kRuntimeISA);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100486 stream.BeginMethod(32, 0, 0, 1);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000487
Vladimir Marko69d310e2017-10-09 14:12:23 +0100488 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000489 uint32_t number_of_dex_registers = 0;
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100490 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask);
Calin Juravle4f46ac52015-04-23 18:47:21 +0100491 stream.EndStackMapEntry();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000492
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000493 number_of_dex_registers = 1;
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100494 stream.BeginStackMapEntry(1, 68 * kPcAlign, 0x4, &sp_mask);
David Srbecky71ec1cc2018-05-18 15:57:25 +0100495 stream.AddDexRegisterEntry(Kind::kNone, 0);
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000496 stream.EndStackMapEntry();
497
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100498 stream.EndMethod();
Calin Juravle4f46ac52015-04-23 18:47:21 +0100499 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100500 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000501 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700502 stream.FillInCodeInfo(region);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000503
504 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100505 ASSERT_EQ(2u, code_info.GetNumberOfStackMaps());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000506
David Srbecky052f8ca2018-04-26 15:42:54 +0100507 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000508 ASSERT_EQ(0u, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000509
David Srbecky052f8ca2018-04-26 15:42:54 +0100510 StackMap stack_map = code_info.GetStackMapAt(0);
511 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100512 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100513 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100514 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100515 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000516
David Srbecky052f8ca2018-04-26 15:42:54 +0100517 ASSERT_FALSE(stack_map.HasDexRegisterMap());
518 ASSERT_FALSE(stack_map.HasInlineInfo());
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000519
David Srbecky052f8ca2018-04-26 15:42:54 +0100520 stack_map = code_info.GetStackMapAt(1);
521 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(1)));
David Srbeckyd775f962018-05-30 18:12:52 +0100522 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(68 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100523 ASSERT_EQ(1u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100524 ASSERT_EQ(68u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100525 ASSERT_EQ(0x4u, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000526
David Srbecky71ec1cc2018-05-18 15:57:25 +0100527 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Srbecky052f8ca2018-04-26 15:42:54 +0100528 ASSERT_FALSE(stack_map.HasInlineInfo());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000529}
530
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100531TEST(StackMapTest, InlineTest) {
David Sehr3215fff2018-04-03 17:10:12 -0700532 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100533 ArenaStack arena_stack(&pool);
534 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100535 StackMapStream stream(&allocator, kRuntimeISA);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100536 stream.BeginMethod(32, 0, 0, 2);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000537 ArtMethod art_method;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100538
Vladimir Marko69d310e2017-10-09 14:12:23 +0100539 ArenaBitVector sp_mask1(&allocator, 0, true);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100540 sp_mask1.SetBit(2);
541 sp_mask1.SetBit(4);
542
543 // First stack map.
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100544 stream.BeginStackMapEntry(0, 10 * kPcAlign, 0x3, &sp_mask1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100545 stream.AddDexRegisterEntry(Kind::kInStack, 0);
546 stream.AddDexRegisterEntry(Kind::kConstant, 4);
547
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000548 stream.BeginInlineInfoEntry(&art_method, 2, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100549 stream.AddDexRegisterEntry(Kind::kInStack, 8);
550 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000551 stream.BeginInlineInfoEntry(&art_method, 3, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100552 stream.AddDexRegisterEntry(Kind::kInStack, 16);
553 stream.AddDexRegisterEntry(Kind::kConstant, 20);
554 stream.AddDexRegisterEntry(Kind::kInRegister, 15);
555 stream.EndInlineInfoEntry();
556
557 stream.EndStackMapEntry();
558
559 // Second stack map.
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100560 stream.BeginStackMapEntry(2, 22 * kPcAlign, 0x3, &sp_mask1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100561 stream.AddDexRegisterEntry(Kind::kInStack, 56);
562 stream.AddDexRegisterEntry(Kind::kConstant, 0);
563
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000564 stream.BeginInlineInfoEntry(&art_method, 2, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100565 stream.AddDexRegisterEntry(Kind::kInStack, 12);
566 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000567 stream.BeginInlineInfoEntry(&art_method, 3, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100568 stream.AddDexRegisterEntry(Kind::kInStack, 80);
569 stream.AddDexRegisterEntry(Kind::kConstant, 10);
570 stream.AddDexRegisterEntry(Kind::kInRegister, 5);
571 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000572 stream.BeginInlineInfoEntry(&art_method, 5, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100573 stream.EndInlineInfoEntry();
574
575 stream.EndStackMapEntry();
576
577 // Third stack map.
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100578 stream.BeginStackMapEntry(4, 56 * kPcAlign, 0x3, &sp_mask1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100579 stream.AddDexRegisterEntry(Kind::kNone, 0);
580 stream.AddDexRegisterEntry(Kind::kConstant, 4);
581 stream.EndStackMapEntry();
582
583 // Fourth stack map.
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100584 stream.BeginStackMapEntry(6, 78 * kPcAlign, 0x3, &sp_mask1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100585 stream.AddDexRegisterEntry(Kind::kInStack, 56);
586 stream.AddDexRegisterEntry(Kind::kConstant, 0);
587
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000588 stream.BeginInlineInfoEntry(&art_method, 2, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100589 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000590 stream.BeginInlineInfoEntry(&art_method, 5, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100591 stream.AddDexRegisterEntry(Kind::kInRegister, 2);
592 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000593 stream.BeginInlineInfoEntry(&art_method, 10, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100594 stream.AddDexRegisterEntry(Kind::kNone, 0);
595 stream.AddDexRegisterEntry(Kind::kInRegister, 3);
596 stream.EndInlineInfoEntry();
597
598 stream.EndStackMapEntry();
599
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100600 stream.EndMethod();
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100601 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100602 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100603 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700604 stream.FillInCodeInfo(region);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100605
606 CodeInfo ci(region);
607
608 {
609 // Verify first stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100610 StackMap sm0 = ci.GetStackMapAt(0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100611
David Srbeckyfd89b072018-06-03 12:00:22 +0100612 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm0);
613 ASSERT_EQ(2u, dex_registers0.size());
David Srbeckye1402122018-06-13 18:20:45 +0100614 ASSERT_EQ(0, dex_registers0[0].GetStackOffsetInBytes());
615 ASSERT_EQ(4, dex_registers0[1].GetConstant());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100616
David Srbecky6e69e522018-06-03 12:00:14 +0100617 InlineInfo if0_0 = ci.GetInlineInfoAtDepth(sm0, 0);
618 InlineInfo if0_1 = ci.GetInlineInfoAtDepth(sm0, 1);
619 ASSERT_EQ(2u, ci.GetInlineDepthOf(sm0));
620 ASSERT_EQ(2u, if0_0.GetDexPc());
621 ASSERT_TRUE(if0_0.EncodesArtMethod());
622 ASSERT_EQ(3u, if0_1.GetDexPc());
623 ASSERT_TRUE(if0_1.EncodesArtMethod());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100624
David Srbeckyfd89b072018-06-03 12:00:22 +0100625 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(0, sm0);
626 ASSERT_EQ(1u, dex_registers1.size());
David Srbeckye1402122018-06-13 18:20:45 +0100627 ASSERT_EQ(8, dex_registers1[0].GetStackOffsetInBytes());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100628
David Srbeckyfd89b072018-06-03 12:00:22 +0100629 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(1, sm0);
630 ASSERT_EQ(3u, dex_registers2.size());
David Srbeckye1402122018-06-13 18:20:45 +0100631 ASSERT_EQ(16, dex_registers2[0].GetStackOffsetInBytes());
632 ASSERT_EQ(20, dex_registers2[1].GetConstant());
633 ASSERT_EQ(15, dex_registers2[2].GetMachineRegister());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100634 }
635
636 {
637 // Verify second stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100638 StackMap sm1 = ci.GetStackMapAt(1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100639
David Srbeckyfd89b072018-06-03 12:00:22 +0100640 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm1);
641 ASSERT_EQ(2u, dex_registers0.size());
David Srbeckye1402122018-06-13 18:20:45 +0100642 ASSERT_EQ(56, dex_registers0[0].GetStackOffsetInBytes());
643 ASSERT_EQ(0, dex_registers0[1].GetConstant());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100644
David Srbecky6e69e522018-06-03 12:00:14 +0100645 InlineInfo if1_0 = ci.GetInlineInfoAtDepth(sm1, 0);
646 InlineInfo if1_1 = ci.GetInlineInfoAtDepth(sm1, 1);
647 InlineInfo if1_2 = ci.GetInlineInfoAtDepth(sm1, 2);
648 ASSERT_EQ(3u, ci.GetInlineDepthOf(sm1));
649 ASSERT_EQ(2u, if1_0.GetDexPc());
650 ASSERT_TRUE(if1_0.EncodesArtMethod());
651 ASSERT_EQ(3u, if1_1.GetDexPc());
652 ASSERT_TRUE(if1_1.EncodesArtMethod());
653 ASSERT_EQ(5u, if1_2.GetDexPc());
654 ASSERT_TRUE(if1_2.EncodesArtMethod());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100655
David Srbeckyfd89b072018-06-03 12:00:22 +0100656 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(0, sm1);
657 ASSERT_EQ(1u, dex_registers1.size());
David Srbeckye1402122018-06-13 18:20:45 +0100658 ASSERT_EQ(12, dex_registers1[0].GetStackOffsetInBytes());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100659
David Srbeckyfd89b072018-06-03 12:00:22 +0100660 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(1, sm1);
661 ASSERT_EQ(3u, dex_registers2.size());
David Srbeckye1402122018-06-13 18:20:45 +0100662 ASSERT_EQ(80, dex_registers2[0].GetStackOffsetInBytes());
663 ASSERT_EQ(10, dex_registers2[1].GetConstant());
664 ASSERT_EQ(5, dex_registers2[2].GetMachineRegister());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100665 }
666
667 {
668 // Verify third stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100669 StackMap sm2 = ci.GetStackMapAt(2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100670
David Srbeckyfd89b072018-06-03 12:00:22 +0100671 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm2);
672 ASSERT_EQ(2u, dex_registers0.size());
David Srbeckye1402122018-06-13 18:20:45 +0100673 ASSERT_FALSE(dex_registers0[0].IsLive());
674 ASSERT_EQ(4, dex_registers0[1].GetConstant());
David Srbecky052f8ca2018-04-26 15:42:54 +0100675 ASSERT_FALSE(sm2.HasInlineInfo());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100676 }
677
678 {
679 // Verify fourth stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100680 StackMap sm3 = ci.GetStackMapAt(3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100681
David Srbeckyfd89b072018-06-03 12:00:22 +0100682 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm3);
683 ASSERT_EQ(2u, dex_registers0.size());
David Srbeckye1402122018-06-13 18:20:45 +0100684 ASSERT_EQ(56, dex_registers0[0].GetStackOffsetInBytes());
685 ASSERT_EQ(0, dex_registers0[1].GetConstant());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100686
David Srbecky6e69e522018-06-03 12:00:14 +0100687 InlineInfo if2_0 = ci.GetInlineInfoAtDepth(sm3, 0);
688 InlineInfo if2_1 = ci.GetInlineInfoAtDepth(sm3, 1);
689 InlineInfo if2_2 = ci.GetInlineInfoAtDepth(sm3, 2);
690 ASSERT_EQ(3u, ci.GetInlineDepthOf(sm3));
691 ASSERT_EQ(2u, if2_0.GetDexPc());
692 ASSERT_TRUE(if2_0.EncodesArtMethod());
693 ASSERT_EQ(5u, if2_1.GetDexPc());
694 ASSERT_TRUE(if2_1.EncodesArtMethod());
695 ASSERT_EQ(10u, if2_2.GetDexPc());
696 ASSERT_TRUE(if2_2.EncodesArtMethod());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100697
David Srbeckyfd89b072018-06-03 12:00:22 +0100698 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(1, sm3);
699 ASSERT_EQ(1u, dex_registers1.size());
David Srbeckye1402122018-06-13 18:20:45 +0100700 ASSERT_EQ(2, dex_registers1[0].GetMachineRegister());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100701
David Srbeckyfd89b072018-06-03 12:00:22 +0100702 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(2, sm3);
703 ASSERT_EQ(2u, dex_registers2.size());
David Srbeckye1402122018-06-13 18:20:45 +0100704 ASSERT_FALSE(dex_registers2[0].IsLive());
705 ASSERT_EQ(3, dex_registers2[1].GetMachineRegister());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100706 }
707}
708
David Srbeckyd02b23f2018-05-29 23:27:22 +0100709TEST(StackMapTest, PackedNativePcTest) {
David Srbecky71ec1cc2018-05-18 15:57:25 +0100710 // Test minimum alignments, and decoding.
David Srbeckyd02b23f2018-05-29 23:27:22 +0100711 uint32_t packed_thumb2 =
712 StackMap::PackNativePc(kThumb2InstructionAlignment, InstructionSet::kThumb2);
713 uint32_t packed_arm64 =
714 StackMap::PackNativePc(kArm64InstructionAlignment, InstructionSet::kArm64);
715 uint32_t packed_x86 =
716 StackMap::PackNativePc(kX86InstructionAlignment, InstructionSet::kX86);
717 uint32_t packed_x86_64 =
718 StackMap::PackNativePc(kX86_64InstructionAlignment, InstructionSet::kX86_64);
719 uint32_t packed_mips =
720 StackMap::PackNativePc(kMipsInstructionAlignment, InstructionSet::kMips);
721 uint32_t packed_mips64 =
722 StackMap::PackNativePc(kMips64InstructionAlignment, InstructionSet::kMips64);
723 EXPECT_EQ(StackMap::UnpackNativePc(packed_thumb2, InstructionSet::kThumb2),
724 kThumb2InstructionAlignment);
725 EXPECT_EQ(StackMap::UnpackNativePc(packed_arm64, InstructionSet::kArm64),
726 kArm64InstructionAlignment);
727 EXPECT_EQ(StackMap::UnpackNativePc(packed_x86, InstructionSet::kX86),
728 kX86InstructionAlignment);
729 EXPECT_EQ(StackMap::UnpackNativePc(packed_x86_64, InstructionSet::kX86_64),
730 kX86_64InstructionAlignment);
731 EXPECT_EQ(StackMap::UnpackNativePc(packed_mips, InstructionSet::kMips),
732 kMipsInstructionAlignment);
733 EXPECT_EQ(StackMap::UnpackNativePc(packed_mips64, InstructionSet::kMips64),
734 kMips64InstructionAlignment);
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800735}
736
David Srbecky45aa5982016-03-18 02:15:09 +0000737TEST(StackMapTest, TestDeduplicateStackMask) {
David Sehr3215fff2018-04-03 17:10:12 -0700738 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100739 ArenaStack arena_stack(&pool);
740 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100741 StackMapStream stream(&allocator, kRuntimeISA);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100742 stream.BeginMethod(32, 0, 0, 0);
David Srbecky45aa5982016-03-18 02:15:09 +0000743
Vladimir Marko69d310e2017-10-09 14:12:23 +0100744 ArenaBitVector sp_mask(&allocator, 0, true);
David Srbecky45aa5982016-03-18 02:15:09 +0000745 sp_mask.SetBit(1);
746 sp_mask.SetBit(4);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100747 stream.BeginStackMapEntry(0, 4 * kPcAlign, 0x3, &sp_mask);
David Srbecky45aa5982016-03-18 02:15:09 +0000748 stream.EndStackMapEntry();
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100749 stream.BeginStackMapEntry(0, 8 * kPcAlign, 0x3, &sp_mask);
David Srbecky45aa5982016-03-18 02:15:09 +0000750 stream.EndStackMapEntry();
751
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100752 stream.EndMethod();
David Srbecky45aa5982016-03-18 02:15:09 +0000753 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100754 void* memory = allocator.Alloc(size, kArenaAllocMisc);
David Srbecky45aa5982016-03-18 02:15:09 +0000755 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700756 stream.FillInCodeInfo(region);
David Srbecky45aa5982016-03-18 02:15:09 +0000757
758 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100759 ASSERT_EQ(2u, code_info.GetNumberOfStackMaps());
David Srbecky45aa5982016-03-18 02:15:09 +0000760
David Srbeckyd775f962018-05-30 18:12:52 +0100761 StackMap stack_map1 = code_info.GetStackMapForNativePcOffset(4 * kPcAlign);
762 StackMap stack_map2 = code_info.GetStackMapForNativePcOffset(8 * kPcAlign);
David Srbecky052f8ca2018-04-26 15:42:54 +0100763 EXPECT_EQ(stack_map1.GetStackMaskIndex(),
764 stack_map2.GetStackMaskIndex());
David Srbecky45aa5982016-03-18 02:15:09 +0000765}
766
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800767TEST(StackMapTest, TestInvokeInfo) {
David Sehr3215fff2018-04-03 17:10:12 -0700768 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100769 ArenaStack arena_stack(&pool);
770 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100771 StackMapStream stream(&allocator, kRuntimeISA);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100772 stream.BeginMethod(32, 0, 0, 0);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800773
Vladimir Marko69d310e2017-10-09 14:12:23 +0100774 ArenaBitVector sp_mask(&allocator, 0, true);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800775 sp_mask.SetBit(1);
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100776 stream.BeginStackMapEntry(0, 4 * kPcAlign, 0x3, &sp_mask);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800777 stream.AddInvoke(kSuper, 1);
778 stream.EndStackMapEntry();
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100779 stream.BeginStackMapEntry(0, 8 * kPcAlign, 0x3, &sp_mask);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800780 stream.AddInvoke(kStatic, 3);
781 stream.EndStackMapEntry();
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100782 stream.BeginStackMapEntry(0, 16 * kPcAlign, 0x3, &sp_mask);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800783 stream.AddInvoke(kDirect, 65535);
784 stream.EndStackMapEntry();
785
David Srbeckyf6ba5b32018-06-23 22:05:49 +0100786 stream.EndMethod();
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700787 const size_t code_info_size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100788 MemoryRegion code_info_region(allocator.Alloc(code_info_size, kArenaAllocMisc), code_info_size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700789 stream.FillInCodeInfo(code_info_region);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800790
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700791 const size_t method_info_size = stream.ComputeMethodInfoSize();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100792 MemoryRegion method_info_region(allocator.Alloc(method_info_size, kArenaAllocMisc),
793 method_info_size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700794 stream.FillInMethodInfo(method_info_region);
795
796 CodeInfo code_info(code_info_region);
797 MethodInfo method_info(method_info_region.begin());
David Srbecky052f8ca2018-04-26 15:42:54 +0100798 ASSERT_EQ(3u, code_info.GetNumberOfStackMaps());
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800799
David Srbeckyd775f962018-05-30 18:12:52 +0100800 InvokeInfo invoke1(code_info.GetInvokeInfoForNativePcOffset(4 * kPcAlign));
801 InvokeInfo invoke2(code_info.GetInvokeInfoForNativePcOffset(8 * kPcAlign));
802 InvokeInfo invoke3(code_info.GetInvokeInfoForNativePcOffset(16 * kPcAlign));
David Srbecky052f8ca2018-04-26 15:42:54 +0100803 InvokeInfo invoke_invalid(code_info.GetInvokeInfoForNativePcOffset(12));
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800804 EXPECT_FALSE(invoke_invalid.IsValid()); // No entry for that index.
805 EXPECT_TRUE(invoke1.IsValid());
806 EXPECT_TRUE(invoke2.IsValid());
807 EXPECT_TRUE(invoke3.IsValid());
David Srbecky052f8ca2018-04-26 15:42:54 +0100808 EXPECT_EQ(invoke1.GetInvokeType(), kSuper);
809 EXPECT_EQ(invoke1.GetMethodIndex(method_info), 1u);
David Srbeckyd775f962018-05-30 18:12:52 +0100810 EXPECT_EQ(invoke1.GetNativePcOffset(kRuntimeISA), 4u * kPcAlign);
David Srbecky052f8ca2018-04-26 15:42:54 +0100811 EXPECT_EQ(invoke2.GetInvokeType(), kStatic);
812 EXPECT_EQ(invoke2.GetMethodIndex(method_info), 3u);
David Srbeckyd775f962018-05-30 18:12:52 +0100813 EXPECT_EQ(invoke2.GetNativePcOffset(kRuntimeISA), 8u * kPcAlign);
David Srbecky052f8ca2018-04-26 15:42:54 +0100814 EXPECT_EQ(invoke3.GetInvokeType(), kDirect);
815 EXPECT_EQ(invoke3.GetMethodIndex(method_info), 65535u);
David Srbeckyd775f962018-05-30 18:12:52 +0100816 EXPECT_EQ(invoke3.GetNativePcOffset(kRuntimeISA), 16u * kPcAlign);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800817}
818
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100819} // namespace art