blob: 77aa3ef96515c6b9f088ffbc5bda62c456ddad6f [file] [log] [blame]
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +01001/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "stack_map.h"
Mathieu Chartiere5d80f82015-10-15 17:47:48 -070018
Nicolas Geoffray5d37c152017-01-12 13:25:19 +000019#include "art_method.h"
Mathieu Chartiere5d80f82015-10-15 17:47:48 -070020#include "base/arena_bit_vector.h"
David Sehr3215fff2018-04-03 17:10:12 -070021#include "base/malloc_arena_pool.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010022#include "stack_map_stream.h"
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010023
24#include "gtest/gtest.h"
25
26namespace art {
27
David Srbecky09ed0982016-02-12 21:58:43 +000028// Check that the stack mask of given stack map is identical
29// to the given bit vector. Returns true if they are same.
30static bool CheckStackMask(
David Srbecky45aa5982016-03-18 02:15:09 +000031 const CodeInfo& code_info,
David Srbecky09ed0982016-02-12 21:58:43 +000032 const StackMap& stack_map,
David Srbecky09ed0982016-02-12 21:58:43 +000033 const BitVector& bit_vector) {
David Srbecky052f8ca2018-04-26 15:42:54 +010034 BitMemoryRegion stack_mask = code_info.GetStackMaskOf(stack_map);
David Srbecky4b59d102018-05-29 21:46:10 +000035 if (bit_vector.GetNumberOfBits() > stack_mask.size_in_bits()) {
David Srbecky09ed0982016-02-12 21:58:43 +000036 return false;
37 }
David Srbecky4b59d102018-05-29 21:46:10 +000038 for (size_t i = 0; i < stack_mask.size_in_bits(); ++i) {
David Srbecky45aa5982016-03-18 02:15:09 +000039 if (stack_mask.LoadBit(i) != bit_vector.IsBitSet(i)) {
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010040 return false;
41 }
42 }
43 return true;
44}
45
Roland Levillaina552e1c2015-03-26 15:01:03 +000046using Kind = DexRegisterLocation::Kind;
47
David Srbeckyd775f962018-05-30 18:12:52 +010048constexpr static uint32_t kPcAlign = GetInstructionSetInstructionAlignment(kRuntimeISA);
49
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010050TEST(StackMapTest, Test1) {
David Sehr3215fff2018-04-03 17:10:12 -070051 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +010052 ArenaStack arena_stack(&pool);
53 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +010054 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010055
Vladimir Marko69d310e2017-10-09 14:12:23 +010056 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillain12baf472015-03-05 12:41:42 +000057 size_t number_of_dex_registers = 2;
David Srbeckyd775f962018-05-30 18:12:52 +010058 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +010059 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
60 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Short location.
Calin Juravle4f46ac52015-04-23 18:47:21 +010061 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010062
Calin Juravle4f46ac52015-04-23 18:47:21 +010063 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +010064 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010065 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -070066 stream.FillInCodeInfo(region);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010067
Nicolas Geoffray39468442014-09-02 15:17:15 +010068 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +010069 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010070
David Srbecky052f8ca2018-04-26 15:42:54 +010071 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +000072 ASSERT_EQ(2u, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +000073
David Srbecky052f8ca2018-04-26 15:42:54 +010074 StackMap stack_map = code_info.GetStackMapAt(0);
75 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +010076 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +010077 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +010078 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +010079 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010080
David Srbecky052f8ca2018-04-26 15:42:54 +010081 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010082
David Srbecky052f8ca2018-04-26 15:42:54 +010083 ASSERT_TRUE(stack_map.HasDexRegisterMap());
Roland Levillaina552e1c2015-03-26 15:01:03 +000084 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +010085 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +000086 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
87 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
David Srbecky71ec1cc2018-05-18 15:57:25 +010088 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
Roland Levillaina552e1c2015-03-26 15:01:03 +000089
David Srbecky21d45b42018-05-30 06:35:05 +010090 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationKind(0));
91 ASSERT_EQ(Kind::kConstant, dex_register_map.GetLocationKind(1));
David Srbecky21d45b42018-05-30 06:35:05 +010092 ASSERT_EQ(0, dex_register_map.GetStackOffsetInBytes(0));
93 ASSERT_EQ(-2, dex_register_map.GetConstant(1));
Roland Levillaina552e1c2015-03-26 15:01:03 +000094
David Srbecky71ec1cc2018-05-18 15:57:25 +010095 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(0);
96 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(1);
Roland Levillaina552e1c2015-03-26 15:01:03 +000097 ASSERT_EQ(Kind::kInStack, location0.GetKind());
98 ASSERT_EQ(Kind::kConstant, location1.GetKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +000099 ASSERT_EQ(0, location0.GetValue());
100 ASSERT_EQ(-2, location1.GetValue());
Roland Levillain12baf472015-03-05 12:41:42 +0000101
David Srbecky052f8ca2018-04-26 15:42:54 +0100102 ASSERT_FALSE(stack_map.HasInlineInfo());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100103}
104
105TEST(StackMapTest, Test2) {
David Sehr3215fff2018-04-03 17:10:12 -0700106 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100107 ArenaStack arena_stack(&pool);
108 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100109 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000110 ArtMethod art_method;
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100111
Vladimir Marko69d310e2017-10-09 14:12:23 +0100112 ArenaBitVector sp_mask1(&allocator, 0, true);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100113 sp_mask1.SetBit(2);
114 sp_mask1.SetBit(4);
Roland Levillain12baf472015-03-05 12:41:42 +0000115 size_t number_of_dex_registers = 2;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100116 size_t number_of_dex_registers_in_inline_info = 0;
David Srbeckyd775f962018-05-30 18:12:52 +0100117 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask1, number_of_dex_registers, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100118 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
119 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000120 stream.BeginInlineInfoEntry(&art_method, 3, number_of_dex_registers_in_inline_info);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100121 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000122 stream.BeginInlineInfoEntry(&art_method, 2, number_of_dex_registers_in_inline_info);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100123 stream.EndInlineInfoEntry();
Calin Juravle4f46ac52015-04-23 18:47:21 +0100124 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100125
Vladimir Marko69d310e2017-10-09 14:12:23 +0100126 ArenaBitVector sp_mask2(&allocator, 0, true);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100127 sp_mask2.SetBit(3);
David Brazdilf10a25f2015-06-02 14:29:52 +0100128 sp_mask2.SetBit(8);
David Srbeckyd775f962018-05-30 18:12:52 +0100129 stream.BeginStackMapEntry(1, 128 * kPcAlign, 0xFF, &sp_mask2, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100130 stream.AddDexRegisterEntry(Kind::kInRegister, 18); // Short location.
131 stream.AddDexRegisterEntry(Kind::kInFpuRegister, 3); // Short location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100132 stream.EndStackMapEntry();
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100133
Vladimir Marko69d310e2017-10-09 14:12:23 +0100134 ArenaBitVector sp_mask3(&allocator, 0, true);
David Brazdild9cb68e2015-08-25 13:52:43 +0100135 sp_mask3.SetBit(1);
136 sp_mask3.SetBit(5);
David Srbeckyd775f962018-05-30 18:12:52 +0100137 stream.BeginStackMapEntry(2, 192 * kPcAlign, 0xAB, &sp_mask3, number_of_dex_registers, 0);
David Brazdild9cb68e2015-08-25 13:52:43 +0100138 stream.AddDexRegisterEntry(Kind::kInRegister, 6); // Short location.
139 stream.AddDexRegisterEntry(Kind::kInRegisterHigh, 8); // Short location.
140 stream.EndStackMapEntry();
141
Vladimir Marko69d310e2017-10-09 14:12:23 +0100142 ArenaBitVector sp_mask4(&allocator, 0, true);
David Brazdild9cb68e2015-08-25 13:52:43 +0100143 sp_mask4.SetBit(6);
144 sp_mask4.SetBit(7);
David Srbeckyd775f962018-05-30 18:12:52 +0100145 stream.BeginStackMapEntry(3, 256 * kPcAlign, 0xCD, &sp_mask4, number_of_dex_registers, 0);
David Brazdild9cb68e2015-08-25 13:52:43 +0100146 stream.AddDexRegisterEntry(Kind::kInFpuRegister, 3); // Short location, same in stack map 2.
147 stream.AddDexRegisterEntry(Kind::kInFpuRegisterHigh, 1); // Short location.
148 stream.EndStackMapEntry();
149
Calin Juravle4f46ac52015-04-23 18:47:21 +0100150 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100151 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100152 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700153 stream.FillInCodeInfo(region);
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100154
Nicolas Geoffray39468442014-09-02 15:17:15 +0100155 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100156 ASSERT_EQ(4u, code_info.GetNumberOfStackMaps());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100157
David Srbecky052f8ca2018-04-26 15:42:54 +0100158 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000159 ASSERT_EQ(7u, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000160
Roland Levillain12baf472015-03-05 12:41:42 +0000161 // First stack map.
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000162 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100163 StackMap stack_map = code_info.GetStackMapAt(0);
164 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100165 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100166 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100167 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100168 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100169
David Srbecky052f8ca2018-04-26 15:42:54 +0100170 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask1));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100171
David Srbecky052f8ca2018-04-26 15:42:54 +0100172 ASSERT_TRUE(stack_map.HasDexRegisterMap());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000173 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100174 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000175 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
176 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
David Srbecky71ec1cc2018-05-18 15:57:25 +0100177 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000178
David Srbecky21d45b42018-05-30 06:35:05 +0100179 ASSERT_EQ(Kind::kInStack, dex_register_map.GetLocationKind(0));
180 ASSERT_EQ(Kind::kConstant, dex_register_map.GetLocationKind(1));
David Srbecky21d45b42018-05-30 06:35:05 +0100181 ASSERT_EQ(0, dex_register_map.GetStackOffsetInBytes(0));
182 ASSERT_EQ(-2, dex_register_map.GetConstant(1));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000183
David Srbecky71ec1cc2018-05-18 15:57:25 +0100184 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(0);
185 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(1);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000186 ASSERT_EQ(Kind::kInStack, location0.GetKind());
187 ASSERT_EQ(Kind::kConstant, location1.GetKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000188 ASSERT_EQ(0, location0.GetValue());
189 ASSERT_EQ(-2, location1.GetValue());
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100190
David Srbecky052f8ca2018-04-26 15:42:54 +0100191 ASSERT_TRUE(stack_map.HasInlineInfo());
David Srbecky6e69e522018-06-03 12:00:14 +0100192 InlineInfo inline_info0 = code_info.GetInlineInfoAtDepth(stack_map, 0);
193 InlineInfo inline_info1 = code_info.GetInlineInfoAtDepth(stack_map, 1);
194 ASSERT_EQ(2u, code_info.GetInlineDepthOf(stack_map));
195 ASSERT_EQ(3u, inline_info0.GetDexPc());
196 ASSERT_EQ(2u, inline_info1.GetDexPc());
197 ASSERT_TRUE(inline_info0.EncodesArtMethod());
198 ASSERT_TRUE(inline_info1.EncodesArtMethod());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000199 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100200
Roland Levillain12baf472015-03-05 12:41:42 +0000201 // Second stack map.
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000202 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100203 StackMap stack_map = code_info.GetStackMapAt(1);
204 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(1u)));
David Srbeckyd775f962018-05-30 18:12:52 +0100205 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(128u * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100206 ASSERT_EQ(1u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100207 ASSERT_EQ(128u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100208 ASSERT_EQ(0xFFu, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100209
David Srbecky052f8ca2018-04-26 15:42:54 +0100210 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask2));
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100211
David Srbecky052f8ca2018-04-26 15:42:54 +0100212 ASSERT_TRUE(stack_map.HasDexRegisterMap());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000213 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100214 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000215 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
216 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
David Srbecky71ec1cc2018-05-18 15:57:25 +0100217 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000218
David Srbecky21d45b42018-05-30 06:35:05 +0100219 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationKind(0));
220 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationKind(1));
David Srbecky21d45b42018-05-30 06:35:05 +0100221 ASSERT_EQ(18, dex_register_map.GetMachineRegister(0));
222 ASSERT_EQ(3, dex_register_map.GetMachineRegister(1));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000223
David Srbecky71ec1cc2018-05-18 15:57:25 +0100224 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(2);
225 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(3);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000226 ASSERT_EQ(Kind::kInRegister, location0.GetKind());
227 ASSERT_EQ(Kind::kInFpuRegister, location1.GetKind());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000228 ASSERT_EQ(18, location0.GetValue());
229 ASSERT_EQ(3, location1.GetValue());
Roland Levillain12baf472015-03-05 12:41:42 +0000230
David Srbecky052f8ca2018-04-26 15:42:54 +0100231 ASSERT_FALSE(stack_map.HasInlineInfo());
Roland Levillaina2d8ec62015-03-12 15:25:29 +0000232 }
David Brazdild9cb68e2015-08-25 13:52:43 +0100233
234 // Third stack map.
235 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100236 StackMap stack_map = code_info.GetStackMapAt(2);
237 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(2u)));
David Srbeckyd775f962018-05-30 18:12:52 +0100238 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(192u * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100239 ASSERT_EQ(2u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100240 ASSERT_EQ(192u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100241 ASSERT_EQ(0xABu, code_info.GetRegisterMaskOf(stack_map));
David Brazdild9cb68e2015-08-25 13:52:43 +0100242
David Srbecky052f8ca2018-04-26 15:42:54 +0100243 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask3));
David Brazdild9cb68e2015-08-25 13:52:43 +0100244
David Srbecky052f8ca2018-04-26 15:42:54 +0100245 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Brazdild9cb68e2015-08-25 13:52:43 +0100246 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100247 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
David Brazdild9cb68e2015-08-25 13:52:43 +0100248 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
249 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
David Srbecky71ec1cc2018-05-18 15:57:25 +0100250 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
David Brazdild9cb68e2015-08-25 13:52:43 +0100251
David Srbecky21d45b42018-05-30 06:35:05 +0100252 ASSERT_EQ(Kind::kInRegister, dex_register_map.GetLocationKind(0));
253 ASSERT_EQ(Kind::kInRegisterHigh, dex_register_map.GetLocationKind(1));
David Srbecky21d45b42018-05-30 06:35:05 +0100254 ASSERT_EQ(6, dex_register_map.GetMachineRegister(0));
255 ASSERT_EQ(8, dex_register_map.GetMachineRegister(1));
David Brazdild9cb68e2015-08-25 13:52:43 +0100256
David Srbecky71ec1cc2018-05-18 15:57:25 +0100257 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(4);
258 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(5);
David Brazdild9cb68e2015-08-25 13:52:43 +0100259 ASSERT_EQ(Kind::kInRegister, location0.GetKind());
260 ASSERT_EQ(Kind::kInRegisterHigh, location1.GetKind());
David Brazdild9cb68e2015-08-25 13:52:43 +0100261 ASSERT_EQ(6, location0.GetValue());
262 ASSERT_EQ(8, location1.GetValue());
263
David Srbecky052f8ca2018-04-26 15:42:54 +0100264 ASSERT_FALSE(stack_map.HasInlineInfo());
David Brazdild9cb68e2015-08-25 13:52:43 +0100265 }
266
267 // Fourth stack map.
268 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100269 StackMap stack_map = code_info.GetStackMapAt(3);
270 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(3u)));
David Srbeckyd775f962018-05-30 18:12:52 +0100271 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(256u * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100272 ASSERT_EQ(3u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100273 ASSERT_EQ(256u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100274 ASSERT_EQ(0xCDu, code_info.GetRegisterMaskOf(stack_map));
David Brazdild9cb68e2015-08-25 13:52:43 +0100275
David Srbecky052f8ca2018-04-26 15:42:54 +0100276 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask4));
David Brazdild9cb68e2015-08-25 13:52:43 +0100277
David Srbecky052f8ca2018-04-26 15:42:54 +0100278 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Brazdild9cb68e2015-08-25 13:52:43 +0100279 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100280 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
David Brazdild9cb68e2015-08-25 13:52:43 +0100281 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(0));
282 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
David Srbecky71ec1cc2018-05-18 15:57:25 +0100283 ASSERT_EQ(2u, dex_register_map.GetNumberOfLiveDexRegisters());
David Brazdild9cb68e2015-08-25 13:52:43 +0100284
David Srbecky21d45b42018-05-30 06:35:05 +0100285 ASSERT_EQ(Kind::kInFpuRegister, dex_register_map.GetLocationKind(0));
286 ASSERT_EQ(Kind::kInFpuRegisterHigh, dex_register_map.GetLocationKind(1));
David Srbecky21d45b42018-05-30 06:35:05 +0100287 ASSERT_EQ(3, dex_register_map.GetMachineRegister(0));
288 ASSERT_EQ(1, dex_register_map.GetMachineRegister(1));
David Brazdild9cb68e2015-08-25 13:52:43 +0100289
David Srbecky71ec1cc2018-05-18 15:57:25 +0100290 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(3);
291 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(6);
David Brazdild9cb68e2015-08-25 13:52:43 +0100292 ASSERT_EQ(Kind::kInFpuRegister, location0.GetKind());
293 ASSERT_EQ(Kind::kInFpuRegisterHigh, location1.GetKind());
David Brazdild9cb68e2015-08-25 13:52:43 +0100294 ASSERT_EQ(3, location0.GetValue());
295 ASSERT_EQ(1, location1.GetValue());
296
David Srbecky052f8ca2018-04-26 15:42:54 +0100297 ASSERT_FALSE(stack_map.HasInlineInfo());
David Brazdild9cb68e2015-08-25 13:52:43 +0100298 }
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100299}
300
Mathieu Chartier32289082017-02-09 15:57:37 -0800301TEST(StackMapTest, TestDeduplicateInlineInfoDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700302 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100303 ArenaStack arena_stack(&pool);
304 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100305 StackMapStream stream(&allocator, kRuntimeISA);
Mathieu Chartier32289082017-02-09 15:57:37 -0800306 ArtMethod art_method;
307
Vladimir Marko69d310e2017-10-09 14:12:23 +0100308 ArenaBitVector sp_mask1(&allocator, 0, true);
Mathieu Chartier32289082017-02-09 15:57:37 -0800309 sp_mask1.SetBit(2);
310 sp_mask1.SetBit(4);
311 const size_t number_of_dex_registers = 2;
312 const size_t number_of_dex_registers_in_inline_info = 2;
David Srbeckyd775f962018-05-30 18:12:52 +0100313 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask1, number_of_dex_registers, 1);
Mathieu Chartier32289082017-02-09 15:57:37 -0800314 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
315 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
316 stream.BeginInlineInfoEntry(&art_method, 3, number_of_dex_registers_in_inline_info);
317 stream.AddDexRegisterEntry(Kind::kInStack, 0); // Short location.
318 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
319 stream.EndInlineInfoEntry();
320 stream.EndStackMapEntry();
321
322 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100323 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Mathieu Chartier32289082017-02-09 15:57:37 -0800324 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700325 stream.FillInCodeInfo(region);
Mathieu Chartier32289082017-02-09 15:57:37 -0800326
327 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100328 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps());
Mathieu Chartier32289082017-02-09 15:57:37 -0800329
David Srbecky052f8ca2018-04-26 15:42:54 +0100330 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
Mathieu Chartier32289082017-02-09 15:57:37 -0800331 ASSERT_EQ(2u, number_of_catalog_entries);
Mathieu Chartier32289082017-02-09 15:57:37 -0800332
333 // First stack map.
334 {
David Srbecky052f8ca2018-04-26 15:42:54 +0100335 StackMap stack_map = code_info.GetStackMapAt(0);
336 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100337 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100338 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100339 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100340 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Mathieu Chartier32289082017-02-09 15:57:37 -0800341
David Srbecky052f8ca2018-04-26 15:42:54 +0100342 ASSERT_TRUE(CheckStackMask(code_info, stack_map, sp_mask1));
Mathieu Chartier32289082017-02-09 15:57:37 -0800343
David Srbecky052f8ca2018-04-26 15:42:54 +0100344 ASSERT_TRUE(stack_map.HasDexRegisterMap());
345 DexRegisterMap map(code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers));
Mathieu Chartier32289082017-02-09 15:57:37 -0800346 ASSERT_TRUE(map.IsDexRegisterLive(0));
347 ASSERT_TRUE(map.IsDexRegisterLive(1));
David Srbecky71ec1cc2018-05-18 15:57:25 +0100348 ASSERT_EQ(2u, map.GetNumberOfLiveDexRegisters());
Mathieu Chartier32289082017-02-09 15:57:37 -0800349
David Srbecky21d45b42018-05-30 06:35:05 +0100350 ASSERT_EQ(Kind::kInStack, map.GetLocationKind(0));
351 ASSERT_EQ(Kind::kConstant, map.GetLocationKind(1));
David Srbecky21d45b42018-05-30 06:35:05 +0100352 ASSERT_EQ(0, map.GetStackOffsetInBytes(0));
353 ASSERT_EQ(-2, map.GetConstant(1));
Mathieu Chartier32289082017-02-09 15:57:37 -0800354
David Srbecky71ec1cc2018-05-18 15:57:25 +0100355 DexRegisterLocation location0 = code_info.GetDexRegisterCatalogEntry(0);
356 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(1);
Mathieu Chartier32289082017-02-09 15:57:37 -0800357 ASSERT_EQ(Kind::kInStack, location0.GetKind());
358 ASSERT_EQ(Kind::kConstant, location1.GetKind());
Mathieu Chartier32289082017-02-09 15:57:37 -0800359 ASSERT_EQ(0, location0.GetValue());
360 ASSERT_EQ(-2, location1.GetValue());
361
362 // Test that the inline info dex register map deduplicated to the same offset as the stack map
363 // one.
David Srbecky052f8ca2018-04-26 15:42:54 +0100364 ASSERT_TRUE(stack_map.HasInlineInfo());
David Srbecky6e69e522018-06-03 12:00:14 +0100365 InlineInfo inline_info = code_info.GetInlineInfoAtDepth(stack_map, 0);
366 EXPECT_EQ(inline_info.GetDexRegisterMapIndex(),
David Srbecky71ec1cc2018-05-18 15:57:25 +0100367 stack_map.GetDexRegisterMapIndex());
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);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000376
Vladimir Marko69d310e2017-10-09 14:12:23 +0100377 ArenaBitVector sp_mask(&allocator, 0, false);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000378 uint32_t number_of_dex_registers = 2;
David Srbeckyd775f962018-05-30 18:12:52 +0100379 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100380 stream.AddDexRegisterEntry(Kind::kNone, 0); // No location.
381 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100382 stream.EndStackMapEntry();
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000383
Calin Juravle4f46ac52015-04-23 18:47:21 +0100384 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100385 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000386 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700387 stream.FillInCodeInfo(region);
Nicolas Geoffrayfead4e42015-03-13 14:39:40 +0000388
389 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100390 ASSERT_EQ(1u, code_info.GetNumberOfStackMaps());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000391
David Srbecky052f8ca2018-04-26 15:42:54 +0100392 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000393 ASSERT_EQ(1u, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000394
David Srbecky052f8ca2018-04-26 15:42:54 +0100395 StackMap stack_map = code_info.GetStackMapAt(0);
396 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100397 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100398 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100399 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100400 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000401
David Srbecky052f8ca2018-04-26 15:42:54 +0100402 ASSERT_TRUE(stack_map.HasDexRegisterMap());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000403 DexRegisterMap dex_register_map =
David Srbecky052f8ca2018-04-26 15:42:54 +0100404 code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000405 ASSERT_FALSE(dex_register_map.IsDexRegisterLive(0));
406 ASSERT_TRUE(dex_register_map.IsDexRegisterLive(1));
David Srbecky71ec1cc2018-05-18 15:57:25 +0100407 ASSERT_EQ(1u, dex_register_map.GetNumberOfLiveDexRegisters());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000408
David Srbecky21d45b42018-05-30 06:35:05 +0100409 ASSERT_EQ(Kind::kNone, dex_register_map.GetLocationKind(0));
410 ASSERT_EQ(Kind::kConstant, dex_register_map.GetLocationKind(1));
David Srbecky21d45b42018-05-30 06:35:05 +0100411 ASSERT_EQ(-2, dex_register_map.GetConstant(1));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000412
David Srbecky71ec1cc2018-05-18 15:57:25 +0100413 DexRegisterLocation location1 = code_info.GetDexRegisterCatalogEntry(0);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000414 ASSERT_EQ(Kind::kConstant, location1.GetKind());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000415 ASSERT_EQ(-2, location1.GetValue());
416
David Srbecky052f8ca2018-04-26 15:42:54 +0100417 ASSERT_FALSE(stack_map.HasInlineInfo());
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000418}
419
Calin Juravle6ae70962015-03-18 16:31:28 +0000420TEST(StackMapTest, TestShareDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700421 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100422 ArenaStack arena_stack(&pool);
423 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100424 StackMapStream stream(&allocator, kRuntimeISA);
Calin Juravle6ae70962015-03-18 16:31:28 +0000425
Vladimir Marko69d310e2017-10-09 14:12:23 +0100426 ArenaBitVector sp_mask(&allocator, 0, false);
Calin Juravle6ae70962015-03-18 16:31:28 +0000427 uint32_t number_of_dex_registers = 2;
428 // First stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100429 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100430 stream.AddDexRegisterEntry(Kind::kInRegister, 0); // Short location.
431 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100432 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000433 // Second stack map, which should share the same dex register map.
David Srbeckyd775f962018-05-30 18:12:52 +0100434 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100435 stream.AddDexRegisterEntry(Kind::kInRegister, 0); // Short location.
436 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100437 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000438 // Third stack map (doesn't share the dex register map).
David Srbeckyd775f962018-05-30 18:12:52 +0100439 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100440 stream.AddDexRegisterEntry(Kind::kInRegister, 2); // Short location.
441 stream.AddDexRegisterEntry(Kind::kConstant, -2); // Large location.
Calin Juravle4f46ac52015-04-23 18:47:21 +0100442 stream.EndStackMapEntry();
Calin Juravle6ae70962015-03-18 16:31:28 +0000443
Calin Juravle4f46ac52015-04-23 18:47:21 +0100444 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100445 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Calin Juravle6ae70962015-03-18 16:31:28 +0000446 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700447 stream.FillInCodeInfo(region);
Calin Juravle6ae70962015-03-18 16:31:28 +0000448
449 CodeInfo ci(region);
David Brazdilf677ebf2015-05-29 16:29:43 +0100450
Calin Juravle6ae70962015-03-18 16:31:28 +0000451 // Verify first stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100452 StackMap sm0 = ci.GetStackMapAt(0);
453 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm0, number_of_dex_registers);
David Srbecky21d45b42018-05-30 06:35:05 +0100454 ASSERT_EQ(0, dex_registers0.GetMachineRegister(0));
455 ASSERT_EQ(-2, dex_registers0.GetConstant(1));
Calin Juravle6ae70962015-03-18 16:31:28 +0000456
457 // Verify second stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100458 StackMap sm1 = ci.GetStackMapAt(1);
459 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapOf(sm1, number_of_dex_registers);
David Srbecky21d45b42018-05-30 06:35:05 +0100460 ASSERT_EQ(0, dex_registers1.GetMachineRegister(0));
461 ASSERT_EQ(-2, dex_registers1.GetConstant(1));
Calin Juravle6ae70962015-03-18 16:31:28 +0000462
463 // Verify third stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100464 StackMap sm2 = ci.GetStackMapAt(2);
465 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapOf(sm2, number_of_dex_registers);
David Srbecky21d45b42018-05-30 06:35:05 +0100466 ASSERT_EQ(2, dex_registers2.GetMachineRegister(0));
467 ASSERT_EQ(-2, dex_registers2.GetConstant(1));
Calin Juravle6ae70962015-03-18 16:31:28 +0000468
469 // Verify dex register map offsets.
David Srbecky71ec1cc2018-05-18 15:57:25 +0100470 ASSERT_EQ(sm0.GetDexRegisterMapIndex(),
471 sm1.GetDexRegisterMapIndex());
472 ASSERT_NE(sm0.GetDexRegisterMapIndex(),
473 sm2.GetDexRegisterMapIndex());
474 ASSERT_NE(sm1.GetDexRegisterMapIndex(),
475 sm2.GetDexRegisterMapIndex());
Calin Juravle6ae70962015-03-18 16:31:28 +0000476}
477
Roland Levillaina552e1c2015-03-26 15:01:03 +0000478TEST(StackMapTest, TestNoDexRegisterMap) {
David Sehr3215fff2018-04-03 17:10:12 -0700479 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100480 ArenaStack arena_stack(&pool);
481 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100482 StackMapStream stream(&allocator, kRuntimeISA);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000483
Vladimir Marko69d310e2017-10-09 14:12:23 +0100484 ArenaBitVector sp_mask(&allocator, 0, false);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000485 uint32_t number_of_dex_registers = 0;
David Srbeckyd775f962018-05-30 18:12:52 +0100486 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask, number_of_dex_registers, 0);
Calin Juravle4f46ac52015-04-23 18:47:21 +0100487 stream.EndStackMapEntry();
Roland Levillaina552e1c2015-03-26 15:01:03 +0000488
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000489 number_of_dex_registers = 1;
David Srbeckyd775f962018-05-30 18:12:52 +0100490 stream.BeginStackMapEntry(1, 68 * kPcAlign, 0x4, &sp_mask, number_of_dex_registers, 0);
David Srbecky71ec1cc2018-05-18 15:57:25 +0100491 stream.AddDexRegisterEntry(Kind::kNone, 0);
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000492 stream.EndStackMapEntry();
493
Calin Juravle4f46ac52015-04-23 18:47:21 +0100494 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100495 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000496 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700497 stream.FillInCodeInfo(region);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000498
499 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100500 ASSERT_EQ(2u, code_info.GetNumberOfStackMaps());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000501
David Srbecky052f8ca2018-04-26 15:42:54 +0100502 uint32_t number_of_catalog_entries = code_info.GetNumberOfLocationCatalogEntries();
David Srbecky09ed0982016-02-12 21:58:43 +0000503 ASSERT_EQ(0u, number_of_catalog_entries);
Roland Levillaina552e1c2015-03-26 15:01:03 +0000504
David Srbecky052f8ca2018-04-26 15:42:54 +0100505 StackMap stack_map = code_info.GetStackMapAt(0);
506 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(0)));
David Srbeckyd775f962018-05-30 18:12:52 +0100507 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(64 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100508 ASSERT_EQ(0u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100509 ASSERT_EQ(64u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100510 ASSERT_EQ(0x3u, code_info.GetRegisterMaskOf(stack_map));
Roland Levillaina552e1c2015-03-26 15:01:03 +0000511
David Srbecky052f8ca2018-04-26 15:42:54 +0100512 ASSERT_FALSE(stack_map.HasDexRegisterMap());
513 ASSERT_FALSE(stack_map.HasInlineInfo());
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000514
David Srbecky052f8ca2018-04-26 15:42:54 +0100515 stack_map = code_info.GetStackMapAt(1);
516 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForDexPc(1)));
David Srbeckyd775f962018-05-30 18:12:52 +0100517 ASSERT_TRUE(stack_map.Equals(code_info.GetStackMapForNativePcOffset(68 * kPcAlign)));
David Srbecky052f8ca2018-04-26 15:42:54 +0100518 ASSERT_EQ(1u, stack_map.GetDexPc());
David Srbeckyd775f962018-05-30 18:12:52 +0100519 ASSERT_EQ(68u * kPcAlign, stack_map.GetNativePcOffset(kRuntimeISA));
David Srbecky052f8ca2018-04-26 15:42:54 +0100520 ASSERT_EQ(0x4u, code_info.GetRegisterMaskOf(stack_map));
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000521
David Srbecky71ec1cc2018-05-18 15:57:25 +0100522 ASSERT_TRUE(stack_map.HasDexRegisterMap());
David Srbecky052f8ca2018-04-26 15:42:54 +0100523 ASSERT_FALSE(stack_map.HasInlineInfo());
Roland Levillaina552e1c2015-03-26 15:01:03 +0000524}
525
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100526TEST(StackMapTest, InlineTest) {
David Sehr3215fff2018-04-03 17:10:12 -0700527 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100528 ArenaStack arena_stack(&pool);
529 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100530 StackMapStream stream(&allocator, kRuntimeISA);
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000531 ArtMethod art_method;
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100532
Vladimir Marko69d310e2017-10-09 14:12:23 +0100533 ArenaBitVector sp_mask1(&allocator, 0, true);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100534 sp_mask1.SetBit(2);
535 sp_mask1.SetBit(4);
536
537 // First stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100538 stream.BeginStackMapEntry(0, 64 * kPcAlign, 0x3, &sp_mask1, 2, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100539 stream.AddDexRegisterEntry(Kind::kInStack, 0);
540 stream.AddDexRegisterEntry(Kind::kConstant, 4);
541
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000542 stream.BeginInlineInfoEntry(&art_method, 2, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100543 stream.AddDexRegisterEntry(Kind::kInStack, 8);
544 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000545 stream.BeginInlineInfoEntry(&art_method, 3, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100546 stream.AddDexRegisterEntry(Kind::kInStack, 16);
547 stream.AddDexRegisterEntry(Kind::kConstant, 20);
548 stream.AddDexRegisterEntry(Kind::kInRegister, 15);
549 stream.EndInlineInfoEntry();
550
551 stream.EndStackMapEntry();
552
553 // Second stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100554 stream.BeginStackMapEntry(2, 22 * kPcAlign, 0x3, &sp_mask1, 2, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100555 stream.AddDexRegisterEntry(Kind::kInStack, 56);
556 stream.AddDexRegisterEntry(Kind::kConstant, 0);
557
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000558 stream.BeginInlineInfoEntry(&art_method, 2, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100559 stream.AddDexRegisterEntry(Kind::kInStack, 12);
560 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000561 stream.BeginInlineInfoEntry(&art_method, 3, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100562 stream.AddDexRegisterEntry(Kind::kInStack, 80);
563 stream.AddDexRegisterEntry(Kind::kConstant, 10);
564 stream.AddDexRegisterEntry(Kind::kInRegister, 5);
565 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000566 stream.BeginInlineInfoEntry(&art_method, 5, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100567 stream.EndInlineInfoEntry();
568
569 stream.EndStackMapEntry();
570
571 // Third stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100572 stream.BeginStackMapEntry(4, 56 * kPcAlign, 0x3, &sp_mask1, 2, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100573 stream.AddDexRegisterEntry(Kind::kNone, 0);
574 stream.AddDexRegisterEntry(Kind::kConstant, 4);
575 stream.EndStackMapEntry();
576
577 // Fourth stack map.
David Srbeckyd775f962018-05-30 18:12:52 +0100578 stream.BeginStackMapEntry(6, 78 * kPcAlign, 0x3, &sp_mask1, 2, 3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100579 stream.AddDexRegisterEntry(Kind::kInStack, 56);
580 stream.AddDexRegisterEntry(Kind::kConstant, 0);
581
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000582 stream.BeginInlineInfoEntry(&art_method, 2, 0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100583 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000584 stream.BeginInlineInfoEntry(&art_method, 5, 1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100585 stream.AddDexRegisterEntry(Kind::kInRegister, 2);
586 stream.EndInlineInfoEntry();
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000587 stream.BeginInlineInfoEntry(&art_method, 10, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100588 stream.AddDexRegisterEntry(Kind::kNone, 0);
589 stream.AddDexRegisterEntry(Kind::kInRegister, 3);
590 stream.EndInlineInfoEntry();
591
592 stream.EndStackMapEntry();
593
594 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100595 void* memory = allocator.Alloc(size, kArenaAllocMisc);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100596 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700597 stream.FillInCodeInfo(region);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100598
599 CodeInfo ci(region);
600
601 {
602 // Verify first stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100603 StackMap sm0 = ci.GetStackMapAt(0);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100604
David Srbecky052f8ca2018-04-26 15:42:54 +0100605 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm0, 2);
David Srbecky21d45b42018-05-30 06:35:05 +0100606 ASSERT_EQ(0, dex_registers0.GetStackOffsetInBytes(0));
607 ASSERT_EQ(4, dex_registers0.GetConstant(1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100608
David Srbecky6e69e522018-06-03 12:00:14 +0100609 InlineInfo if0_0 = ci.GetInlineInfoAtDepth(sm0, 0);
610 InlineInfo if0_1 = ci.GetInlineInfoAtDepth(sm0, 1);
611 ASSERT_EQ(2u, ci.GetInlineDepthOf(sm0));
612 ASSERT_EQ(2u, if0_0.GetDexPc());
613 ASSERT_TRUE(if0_0.EncodesArtMethod());
614 ASSERT_EQ(3u, if0_1.GetDexPc());
615 ASSERT_TRUE(if0_1.EncodesArtMethod());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100616
David Srbecky6e69e522018-06-03 12:00:14 +0100617 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(0, sm0, 1);
David Srbecky21d45b42018-05-30 06:35:05 +0100618 ASSERT_EQ(8, dex_registers1.GetStackOffsetInBytes(0));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100619
David Srbecky6e69e522018-06-03 12:00:14 +0100620 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(1, sm0, 3);
David Srbecky21d45b42018-05-30 06:35:05 +0100621 ASSERT_EQ(16, dex_registers2.GetStackOffsetInBytes(0));
622 ASSERT_EQ(20, dex_registers2.GetConstant(1));
623 ASSERT_EQ(15, dex_registers2.GetMachineRegister(2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100624 }
625
626 {
627 // Verify second stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100628 StackMap sm1 = ci.GetStackMapAt(1);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100629
David Srbecky052f8ca2018-04-26 15:42:54 +0100630 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm1, 2);
David Srbecky21d45b42018-05-30 06:35:05 +0100631 ASSERT_EQ(56, dex_registers0.GetStackOffsetInBytes(0));
632 ASSERT_EQ(0, dex_registers0.GetConstant(1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100633
David Srbecky6e69e522018-06-03 12:00:14 +0100634 InlineInfo if1_0 = ci.GetInlineInfoAtDepth(sm1, 0);
635 InlineInfo if1_1 = ci.GetInlineInfoAtDepth(sm1, 1);
636 InlineInfo if1_2 = ci.GetInlineInfoAtDepth(sm1, 2);
637 ASSERT_EQ(3u, ci.GetInlineDepthOf(sm1));
638 ASSERT_EQ(2u, if1_0.GetDexPc());
639 ASSERT_TRUE(if1_0.EncodesArtMethod());
640 ASSERT_EQ(3u, if1_1.GetDexPc());
641 ASSERT_TRUE(if1_1.EncodesArtMethod());
642 ASSERT_EQ(5u, if1_2.GetDexPc());
643 ASSERT_TRUE(if1_2.EncodesArtMethod());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100644
David Srbecky6e69e522018-06-03 12:00:14 +0100645 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(0, sm1, 1);
David Srbecky21d45b42018-05-30 06:35:05 +0100646 ASSERT_EQ(12, dex_registers1.GetStackOffsetInBytes(0));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100647
David Srbecky6e69e522018-06-03 12:00:14 +0100648 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(1, sm1, 3);
David Srbecky21d45b42018-05-30 06:35:05 +0100649 ASSERT_EQ(80, dex_registers2.GetStackOffsetInBytes(0));
650 ASSERT_EQ(10, dex_registers2.GetConstant(1));
651 ASSERT_EQ(5, dex_registers2.GetMachineRegister(2));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100652
David Srbecky6e69e522018-06-03 12:00:14 +0100653 ASSERT_FALSE(if1_2.HasDexRegisterMap());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100654 }
655
656 {
657 // Verify third stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100658 StackMap sm2 = ci.GetStackMapAt(2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100659
David Srbecky052f8ca2018-04-26 15:42:54 +0100660 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm2, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100661 ASSERT_FALSE(dex_registers0.IsDexRegisterLive(0));
David Srbecky21d45b42018-05-30 06:35:05 +0100662 ASSERT_EQ(4, dex_registers0.GetConstant(1));
David Srbecky052f8ca2018-04-26 15:42:54 +0100663 ASSERT_FALSE(sm2.HasInlineInfo());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100664 }
665
666 {
667 // Verify fourth stack map.
David Srbecky052f8ca2018-04-26 15:42:54 +0100668 StackMap sm3 = ci.GetStackMapAt(3);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100669
David Srbecky052f8ca2018-04-26 15:42:54 +0100670 DexRegisterMap dex_registers0 = ci.GetDexRegisterMapOf(sm3, 2);
David Srbecky21d45b42018-05-30 06:35:05 +0100671 ASSERT_EQ(56, dex_registers0.GetStackOffsetInBytes(0));
672 ASSERT_EQ(0, dex_registers0.GetConstant(1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100673
David Srbecky6e69e522018-06-03 12:00:14 +0100674 InlineInfo if2_0 = ci.GetInlineInfoAtDepth(sm3, 0);
675 InlineInfo if2_1 = ci.GetInlineInfoAtDepth(sm3, 1);
676 InlineInfo if2_2 = ci.GetInlineInfoAtDepth(sm3, 2);
677 ASSERT_EQ(3u, ci.GetInlineDepthOf(sm3));
678 ASSERT_EQ(2u, if2_0.GetDexPc());
679 ASSERT_TRUE(if2_0.EncodesArtMethod());
680 ASSERT_EQ(5u, if2_1.GetDexPc());
681 ASSERT_TRUE(if2_1.EncodesArtMethod());
682 ASSERT_EQ(10u, if2_2.GetDexPc());
683 ASSERT_TRUE(if2_2.EncodesArtMethod());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100684
David Srbecky6e69e522018-06-03 12:00:14 +0100685 ASSERT_FALSE(if2_0.HasDexRegisterMap());
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100686
David Srbecky6e69e522018-06-03 12:00:14 +0100687 DexRegisterMap dex_registers1 = ci.GetDexRegisterMapAtDepth(1, sm3, 1);
David Srbecky21d45b42018-05-30 06:35:05 +0100688 ASSERT_EQ(2, dex_registers1.GetMachineRegister(0));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100689
David Srbecky6e69e522018-06-03 12:00:14 +0100690 DexRegisterMap dex_registers2 = ci.GetDexRegisterMapAtDepth(2, sm3, 2);
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100691 ASSERT_FALSE(dex_registers2.IsDexRegisterLive(0));
David Srbecky21d45b42018-05-30 06:35:05 +0100692 ASSERT_EQ(3, dex_registers2.GetMachineRegister(1));
Nicolas Geoffrayb1d0f3f2015-05-14 12:41:51 +0100693 }
694}
695
David Srbeckyd02b23f2018-05-29 23:27:22 +0100696TEST(StackMapTest, PackedNativePcTest) {
David Srbecky71ec1cc2018-05-18 15:57:25 +0100697 // Test minimum alignments, and decoding.
David Srbeckyd02b23f2018-05-29 23:27:22 +0100698 uint32_t packed_thumb2 =
699 StackMap::PackNativePc(kThumb2InstructionAlignment, InstructionSet::kThumb2);
700 uint32_t packed_arm64 =
701 StackMap::PackNativePc(kArm64InstructionAlignment, InstructionSet::kArm64);
702 uint32_t packed_x86 =
703 StackMap::PackNativePc(kX86InstructionAlignment, InstructionSet::kX86);
704 uint32_t packed_x86_64 =
705 StackMap::PackNativePc(kX86_64InstructionAlignment, InstructionSet::kX86_64);
706 uint32_t packed_mips =
707 StackMap::PackNativePc(kMipsInstructionAlignment, InstructionSet::kMips);
708 uint32_t packed_mips64 =
709 StackMap::PackNativePc(kMips64InstructionAlignment, InstructionSet::kMips64);
710 EXPECT_EQ(StackMap::UnpackNativePc(packed_thumb2, InstructionSet::kThumb2),
711 kThumb2InstructionAlignment);
712 EXPECT_EQ(StackMap::UnpackNativePc(packed_arm64, InstructionSet::kArm64),
713 kArm64InstructionAlignment);
714 EXPECT_EQ(StackMap::UnpackNativePc(packed_x86, InstructionSet::kX86),
715 kX86InstructionAlignment);
716 EXPECT_EQ(StackMap::UnpackNativePc(packed_x86_64, InstructionSet::kX86_64),
717 kX86_64InstructionAlignment);
718 EXPECT_EQ(StackMap::UnpackNativePc(packed_mips, InstructionSet::kMips),
719 kMipsInstructionAlignment);
720 EXPECT_EQ(StackMap::UnpackNativePc(packed_mips64, InstructionSet::kMips64),
721 kMips64InstructionAlignment);
Mathieu Chartiera2f526f2017-01-19 14:48:48 -0800722}
723
David Srbecky45aa5982016-03-18 02:15:09 +0000724TEST(StackMapTest, TestDeduplicateStackMask) {
David Sehr3215fff2018-04-03 17:10:12 -0700725 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100726 ArenaStack arena_stack(&pool);
727 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100728 StackMapStream stream(&allocator, kRuntimeISA);
David Srbecky45aa5982016-03-18 02:15:09 +0000729
Vladimir Marko69d310e2017-10-09 14:12:23 +0100730 ArenaBitVector sp_mask(&allocator, 0, true);
David Srbecky45aa5982016-03-18 02:15:09 +0000731 sp_mask.SetBit(1);
732 sp_mask.SetBit(4);
David Srbeckyd775f962018-05-30 18:12:52 +0100733 stream.BeginStackMapEntry(0, 4 * kPcAlign, 0x3, &sp_mask, 0, 0);
David Srbecky45aa5982016-03-18 02:15:09 +0000734 stream.EndStackMapEntry();
David Srbeckyd775f962018-05-30 18:12:52 +0100735 stream.BeginStackMapEntry(0, 8 * kPcAlign, 0x3, &sp_mask, 0, 0);
David Srbecky45aa5982016-03-18 02:15:09 +0000736 stream.EndStackMapEntry();
737
738 size_t size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100739 void* memory = allocator.Alloc(size, kArenaAllocMisc);
David Srbecky45aa5982016-03-18 02:15:09 +0000740 MemoryRegion region(memory, size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700741 stream.FillInCodeInfo(region);
David Srbecky45aa5982016-03-18 02:15:09 +0000742
743 CodeInfo code_info(region);
David Srbecky052f8ca2018-04-26 15:42:54 +0100744 ASSERT_EQ(2u, code_info.GetNumberOfStackMaps());
David Srbecky45aa5982016-03-18 02:15:09 +0000745
David Srbeckyd775f962018-05-30 18:12:52 +0100746 StackMap stack_map1 = code_info.GetStackMapForNativePcOffset(4 * kPcAlign);
747 StackMap stack_map2 = code_info.GetStackMapForNativePcOffset(8 * kPcAlign);
David Srbecky052f8ca2018-04-26 15:42:54 +0100748 EXPECT_EQ(stack_map1.GetStackMaskIndex(),
749 stack_map2.GetStackMaskIndex());
David Srbecky45aa5982016-03-18 02:15:09 +0000750}
751
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800752TEST(StackMapTest, TestInvokeInfo) {
David Sehr3215fff2018-04-03 17:10:12 -0700753 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +0100754 ArenaStack arena_stack(&pool);
755 ScopedArenaAllocator allocator(&arena_stack);
Vladimir Marko69d310e2017-10-09 14:12:23 +0100756 StackMapStream stream(&allocator, kRuntimeISA);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800757
Vladimir Marko69d310e2017-10-09 14:12:23 +0100758 ArenaBitVector sp_mask(&allocator, 0, true);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800759 sp_mask.SetBit(1);
David Srbeckyd775f962018-05-30 18:12:52 +0100760 stream.BeginStackMapEntry(0, 4 * kPcAlign, 0x3, &sp_mask, 0, 0);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800761 stream.AddInvoke(kSuper, 1);
762 stream.EndStackMapEntry();
David Srbeckyd775f962018-05-30 18:12:52 +0100763 stream.BeginStackMapEntry(0, 8 * kPcAlign, 0x3, &sp_mask, 0, 0);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800764 stream.AddInvoke(kStatic, 3);
765 stream.EndStackMapEntry();
David Srbeckyd775f962018-05-30 18:12:52 +0100766 stream.BeginStackMapEntry(0, 16 * kPcAlign, 0x3, &sp_mask, 0, 0);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800767 stream.AddInvoke(kDirect, 65535);
768 stream.EndStackMapEntry();
769
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700770 const size_t code_info_size = stream.PrepareForFillIn();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100771 MemoryRegion code_info_region(allocator.Alloc(code_info_size, kArenaAllocMisc), code_info_size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700772 stream.FillInCodeInfo(code_info_region);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800773
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700774 const size_t method_info_size = stream.ComputeMethodInfoSize();
Vladimir Marko69d310e2017-10-09 14:12:23 +0100775 MemoryRegion method_info_region(allocator.Alloc(method_info_size, kArenaAllocMisc),
776 method_info_size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700777 stream.FillInMethodInfo(method_info_region);
778
779 CodeInfo code_info(code_info_region);
780 MethodInfo method_info(method_info_region.begin());
David Srbecky052f8ca2018-04-26 15:42:54 +0100781 ASSERT_EQ(3u, code_info.GetNumberOfStackMaps());
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800782
David Srbeckyd775f962018-05-30 18:12:52 +0100783 InvokeInfo invoke1(code_info.GetInvokeInfoForNativePcOffset(4 * kPcAlign));
784 InvokeInfo invoke2(code_info.GetInvokeInfoForNativePcOffset(8 * kPcAlign));
785 InvokeInfo invoke3(code_info.GetInvokeInfoForNativePcOffset(16 * kPcAlign));
David Srbecky052f8ca2018-04-26 15:42:54 +0100786 InvokeInfo invoke_invalid(code_info.GetInvokeInfoForNativePcOffset(12));
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800787 EXPECT_FALSE(invoke_invalid.IsValid()); // No entry for that index.
788 EXPECT_TRUE(invoke1.IsValid());
789 EXPECT_TRUE(invoke2.IsValid());
790 EXPECT_TRUE(invoke3.IsValid());
David Srbecky052f8ca2018-04-26 15:42:54 +0100791 EXPECT_EQ(invoke1.GetInvokeType(), kSuper);
792 EXPECT_EQ(invoke1.GetMethodIndex(method_info), 1u);
David Srbeckyd775f962018-05-30 18:12:52 +0100793 EXPECT_EQ(invoke1.GetNativePcOffset(kRuntimeISA), 4u * kPcAlign);
David Srbecky052f8ca2018-04-26 15:42:54 +0100794 EXPECT_EQ(invoke2.GetInvokeType(), kStatic);
795 EXPECT_EQ(invoke2.GetMethodIndex(method_info), 3u);
David Srbeckyd775f962018-05-30 18:12:52 +0100796 EXPECT_EQ(invoke2.GetNativePcOffset(kRuntimeISA), 8u * kPcAlign);
David Srbecky052f8ca2018-04-26 15:42:54 +0100797 EXPECT_EQ(invoke3.GetInvokeType(), kDirect);
798 EXPECT_EQ(invoke3.GetMethodIndex(method_info), 65535u);
David Srbeckyd775f962018-05-30 18:12:52 +0100799 EXPECT_EQ(invoke3.GetNativePcOffset(kRuntimeISA), 16u * kPcAlign);
Mathieu Chartierd776ff02017-01-17 09:32:18 -0800800}
801
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +0100802} // namespace art