blob: dde42de8e3d777c7d5bd34fc1abf13430654254a [file] [log] [blame]
Christopher Ferris723cf9b2017-01-19 20:08:48 -08001/*
2 * Copyright (C) 2017 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 <stdint.h>
18
19#include <gtest/gtest.h>
20
Christopher Ferris3958f802017-02-01 15:44:40 -080021#include "Elf.h"
22#include "ElfInterface.h"
23#include "MapInfo.h"
Christopher Ferris723cf9b2017-01-19 20:08:48 -080024#include "Regs.h"
25
Christopher Ferris3958f802017-02-01 15:44:40 -080026#include "MemoryFake.h"
Christopher Ferris723cf9b2017-01-19 20:08:48 -080027
Christopher Ferris3958f802017-02-01 15:44:40 -080028class ElfFake : public Elf {
29 public:
30 ElfFake(Memory* memory) : Elf(memory) { valid_ = true; }
31 virtual ~ElfFake() = default;
Christopher Ferris723cf9b2017-01-19 20:08:48 -080032
Christopher Ferris3958f802017-02-01 15:44:40 -080033 void set_elf_interface(ElfInterface* interface) { interface_.reset(interface); }
34};
Christopher Ferris723cf9b2017-01-19 20:08:48 -080035
Christopher Ferris3958f802017-02-01 15:44:40 -080036class ElfInterfaceFake : public ElfInterface {
37 public:
38 ElfInterfaceFake(Memory* memory) : ElfInterface(memory) {}
39 virtual ~ElfInterfaceFake() = default;
40
41 void set_load_bias(uint64_t load_bias) { load_bias_ = load_bias; }
42
43 bool Init() override { return false; }
44 void InitHeaders() override {}
45 bool GetSoname(std::string*) override { return false; }
46 bool GetFunctionName(uint64_t, std::string*, uint64_t*) override { return false; }
47 bool Step(uint64_t, Regs*, Memory*) override { return false; }
48};
49
50template <typename TypeParam>
Christopher Ferris7b8e4672017-06-01 17:55:25 -070051class RegsTestImpl : public RegsImpl<TypeParam> {
Christopher Ferris3958f802017-02-01 15:44:40 -080052 public:
Christopher Ferris7b8e4672017-06-01 17:55:25 -070053 RegsTestImpl(uint16_t total_regs, uint16_t regs_sp)
54 : RegsImpl<TypeParam>(total_regs, regs_sp, Regs::Location(Regs::LOCATION_UNKNOWN, 0)) {}
55 RegsTestImpl(uint16_t total_regs, uint16_t regs_sp, Regs::Location return_loc)
56 : RegsImpl<TypeParam>(total_regs, regs_sp, return_loc) {}
57 virtual ~RegsTestImpl() = default;
Christopher Ferris3958f802017-02-01 15:44:40 -080058
Christopher Ferris2a25c4a2017-07-07 16:35:48 -070059 uint64_t GetAdjustedPc(uint64_t, Elf*) override { return 0; }
60 void SetFromRaw() override {}
Christopher Ferris3958f802017-02-01 15:44:40 -080061};
62
63class RegsTest : public ::testing::Test {
64 protected:
65 void SetUp() override {
66 memory_ = new MemoryFake;
67 elf_.reset(new ElfFake(memory_));
68 elf_interface_ = new ElfInterfaceFake(elf_->memory());
69 elf_->set_elf_interface(elf_interface_);
Christopher Ferris723cf9b2017-01-19 20:08:48 -080070 }
71
Christopher Ferris3958f802017-02-01 15:44:40 -080072 template <typename AddressType>
73 void regs_rel_pc();
Christopher Ferris723cf9b2017-01-19 20:08:48 -080074
Christopher Ferris3958f802017-02-01 15:44:40 -080075 template <typename AddressType>
76 void regs_return_address_register();
Christopher Ferris723cf9b2017-01-19 20:08:48 -080077
Christopher Ferris3958f802017-02-01 15:44:40 -080078 ElfInterfaceFake* elf_interface_;
79 MemoryFake* memory_;
80 std::unique_ptr<ElfFake> elf_;
81};
82
83TEST_F(RegsTest, regs32) {
Christopher Ferris7b8e4672017-06-01 17:55:25 -070084 RegsTestImpl<uint32_t> regs32(50, 10);
Christopher Ferris3958f802017-02-01 15:44:40 -080085 ASSERT_EQ(50U, regs32.total_regs());
86 ASSERT_EQ(10U, regs32.sp_reg());
87
88 uint32_t* raw = reinterpret_cast<uint32_t*>(regs32.RawData());
89 for (size_t i = 0; i < 50; i++) {
90 raw[i] = 0xf0000000 + i;
91 }
92 regs32.set_pc(0xf0120340);
93 regs32.set_sp(0xa0ab0cd0);
94
95 for (size_t i = 0; i < 50; i++) {
96 ASSERT_EQ(0xf0000000U + i, regs32[i]) << "Failed comparing register " << i;
97 }
98
99 ASSERT_EQ(0xf0120340U, regs32.pc());
100 ASSERT_EQ(0xa0ab0cd0U, regs32.sp());
101
102 regs32[32] = 10;
103 ASSERT_EQ(10U, regs32[32]);
Christopher Ferris723cf9b2017-01-19 20:08:48 -0800104}
105
106TEST_F(RegsTest, regs64) {
Christopher Ferris7b8e4672017-06-01 17:55:25 -0700107 RegsTestImpl<uint64_t> regs64(30, 12);
Christopher Ferris723cf9b2017-01-19 20:08:48 -0800108 ASSERT_EQ(30U, regs64.total_regs());
Christopher Ferris3958f802017-02-01 15:44:40 -0800109 ASSERT_EQ(12U, regs64.sp_reg());
Christopher Ferris723cf9b2017-01-19 20:08:48 -0800110
Christopher Ferris3958f802017-02-01 15:44:40 -0800111 uint64_t* raw = reinterpret_cast<uint64_t*>(regs64.RawData());
Christopher Ferris723cf9b2017-01-19 20:08:48 -0800112 for (size_t i = 0; i < 30; i++) {
113 raw[i] = 0xf123456780000000UL + i;
114 }
Christopher Ferris3958f802017-02-01 15:44:40 -0800115 regs64.set_pc(0xf123456780102030UL);
116 regs64.set_sp(0xa123456780a0b0c0UL);
Christopher Ferris723cf9b2017-01-19 20:08:48 -0800117
Christopher Ferris3958f802017-02-01 15:44:40 -0800118 for (size_t i = 0; i < 30; i++) {
119 ASSERT_EQ(0xf123456780000000U + i, regs64[i]) << "Failed reading register " << i;
120 }
Christopher Ferris723cf9b2017-01-19 20:08:48 -0800121
Christopher Ferris3958f802017-02-01 15:44:40 -0800122 ASSERT_EQ(0xf123456780102030UL, regs64.pc());
123 ASSERT_EQ(0xa123456780a0b0c0UL, regs64.sp());
124
Christopher Ferris723cf9b2017-01-19 20:08:48 -0800125 regs64[8] = 10;
126 ASSERT_EQ(10U, regs64[8]);
Christopher Ferris3958f802017-02-01 15:44:40 -0800127}
Christopher Ferris723cf9b2017-01-19 20:08:48 -0800128
Christopher Ferris3958f802017-02-01 15:44:40 -0800129template <typename AddressType>
130void RegsTest::regs_rel_pc() {
Christopher Ferris7b8e4672017-06-01 17:55:25 -0700131 RegsTestImpl<AddressType> regs(30, 12);
Christopher Ferris3958f802017-02-01 15:44:40 -0800132
133 elf_interface_->set_load_bias(0);
134 MapInfo map_info{.start = 0x1000, .end = 0x2000};
135 regs.set_pc(0x1101);
136 ASSERT_EQ(0x101U, regs.GetRelPc(elf_.get(), &map_info));
137 elf_interface_->set_load_bias(0x3000);
138 ASSERT_EQ(0x3101U, regs.GetRelPc(elf_.get(), &map_info));
139}
140
141TEST_F(RegsTest, regs32_rel_pc) {
142 regs_rel_pc<uint32_t>();
143}
144
145TEST_F(RegsTest, regs64_rel_pc) {
146 regs_rel_pc<uint64_t>();
147}
148
149template <typename AddressType>
150void RegsTest::regs_return_address_register() {
Christopher Ferris7b8e4672017-06-01 17:55:25 -0700151 RegsTestImpl<AddressType> regs(20, 10, Regs::Location(Regs::LOCATION_REGISTER, 5));
Christopher Ferris3958f802017-02-01 15:44:40 -0800152
153 regs[5] = 0x12345;
154 uint64_t value;
155 ASSERT_TRUE(regs.GetReturnAddressFromDefault(memory_, &value));
156 ASSERT_EQ(0x12345U, value);
157}
158
159TEST_F(RegsTest, regs32_return_address_register) {
160 regs_return_address_register<uint32_t>();
161}
162
163TEST_F(RegsTest, regs64_return_address_register) {
164 regs_return_address_register<uint64_t>();
165}
166
167TEST_F(RegsTest, regs32_return_address_sp_offset) {
Christopher Ferris7b8e4672017-06-01 17:55:25 -0700168 RegsTestImpl<uint32_t> regs(20, 10, Regs::Location(Regs::LOCATION_SP_OFFSET, -2));
Christopher Ferris3958f802017-02-01 15:44:40 -0800169
170 regs.set_sp(0x2002);
171 memory_->SetData32(0x2000, 0x12345678);
172 uint64_t value;
173 ASSERT_TRUE(regs.GetReturnAddressFromDefault(memory_, &value));
174 ASSERT_EQ(0x12345678U, value);
175}
176
177TEST_F(RegsTest, regs64_return_address_sp_offset) {
Christopher Ferris7b8e4672017-06-01 17:55:25 -0700178 RegsTestImpl<uint64_t> regs(20, 10, Regs::Location(Regs::LOCATION_SP_OFFSET, -8));
Christopher Ferris3958f802017-02-01 15:44:40 -0800179
180 regs.set_sp(0x2008);
181 memory_->SetData64(0x2000, 0x12345678aabbccddULL);
182 uint64_t value;
183 ASSERT_TRUE(regs.GetReturnAddressFromDefault(memory_, &value));
184 ASSERT_EQ(0x12345678aabbccddULL, value);
185}
186
187TEST_F(RegsTest, rel_pc) {
188 RegsArm64 arm64;
189 ASSERT_EQ(0xcU, arm64.GetAdjustedPc(0x10, elf_.get()));
190 ASSERT_EQ(0x0U, arm64.GetAdjustedPc(0x4, elf_.get()));
191 ASSERT_EQ(0x3U, arm64.GetAdjustedPc(0x3, elf_.get()));
192 ASSERT_EQ(0x2U, arm64.GetAdjustedPc(0x2, elf_.get()));
193 ASSERT_EQ(0x1U, arm64.GetAdjustedPc(0x1, elf_.get()));
194 ASSERT_EQ(0x0U, arm64.GetAdjustedPc(0x0, elf_.get()));
195
196 RegsX86 x86;
197 ASSERT_EQ(0xffU, x86.GetAdjustedPc(0x100, elf_.get()));
198 ASSERT_EQ(0x1U, x86.GetAdjustedPc(0x2, elf_.get()));
199 ASSERT_EQ(0x0U, x86.GetAdjustedPc(0x1, elf_.get()));
200 ASSERT_EQ(0x0U, x86.GetAdjustedPc(0x0, elf_.get()));
201
202 RegsX86_64 x86_64;
203 ASSERT_EQ(0xffU, x86_64.GetAdjustedPc(0x100, elf_.get()));
204 ASSERT_EQ(0x1U, x86_64.GetAdjustedPc(0x2, elf_.get()));
205 ASSERT_EQ(0x0U, x86_64.GetAdjustedPc(0x1, elf_.get()));
206 ASSERT_EQ(0x0U, x86_64.GetAdjustedPc(0x0, elf_.get()));
207}
208
209TEST_F(RegsTest, rel_pc_arm) {
210 RegsArm arm;
211
212 // Check fence posts.
213 elf_interface_->set_load_bias(0);
214 ASSERT_EQ(3U, arm.GetAdjustedPc(0x5, elf_.get()));
215 ASSERT_EQ(4U, arm.GetAdjustedPc(0x4, elf_.get()));
216 ASSERT_EQ(3U, arm.GetAdjustedPc(0x3, elf_.get()));
217 ASSERT_EQ(2U, arm.GetAdjustedPc(0x2, elf_.get()));
218 ASSERT_EQ(1U, arm.GetAdjustedPc(0x1, elf_.get()));
219 ASSERT_EQ(0U, arm.GetAdjustedPc(0x0, elf_.get()));
220
221 elf_interface_->set_load_bias(0x100);
222 ASSERT_EQ(0xffU, arm.GetAdjustedPc(0xff, elf_.get()));
223 ASSERT_EQ(0x103U, arm.GetAdjustedPc(0x105, elf_.get()));
224 ASSERT_EQ(0x104U, arm.GetAdjustedPc(0x104, elf_.get()));
225 ASSERT_EQ(0x103U, arm.GetAdjustedPc(0x103, elf_.get()));
226 ASSERT_EQ(0x102U, arm.GetAdjustedPc(0x102, elf_.get()));
227 ASSERT_EQ(0x101U, arm.GetAdjustedPc(0x101, elf_.get()));
228 ASSERT_EQ(0x100U, arm.GetAdjustedPc(0x100, elf_.get()));
229
230 // Check thumb instructions handling.
231 elf_interface_->set_load_bias(0);
232 memory_->SetData32(0x2000, 0);
233 ASSERT_EQ(0x2003U, arm.GetAdjustedPc(0x2005, elf_.get()));
234 memory_->SetData32(0x2000, 0xe000f000);
235 ASSERT_EQ(0x2001U, arm.GetAdjustedPc(0x2005, elf_.get()));
236
237 elf_interface_->set_load_bias(0x400);
238 memory_->SetData32(0x2100, 0);
239 ASSERT_EQ(0x2503U, arm.GetAdjustedPc(0x2505, elf_.get()));
240 memory_->SetData32(0x2100, 0xf111f111);
241 ASSERT_EQ(0x2501U, arm.GetAdjustedPc(0x2505, elf_.get()));
242}
243
244TEST_F(RegsTest, elf_invalid) {
245 Elf invalid_elf(new MemoryFake);
246 RegsArm regs_arm;
247 RegsArm64 regs_arm64;
248 RegsX86 regs_x86;
249 RegsX86_64 regs_x86_64;
250 MapInfo map_info{.start = 0x1000, .end = 0x2000};
251
252 regs_arm.set_pc(0x1500);
253 ASSERT_EQ(0x500U, regs_arm.GetRelPc(&invalid_elf, &map_info));
254 ASSERT_EQ(0x500U, regs_arm.GetAdjustedPc(0x500U, &invalid_elf));
255
256 regs_arm64.set_pc(0x1600);
257 ASSERT_EQ(0x600U, regs_arm64.GetRelPc(&invalid_elf, &map_info));
258 ASSERT_EQ(0x600U, regs_arm64.GetAdjustedPc(0x600U, &invalid_elf));
259
260 regs_x86.set_pc(0x1700);
261 ASSERT_EQ(0x700U, regs_x86.GetRelPc(&invalid_elf, &map_info));
262 ASSERT_EQ(0x700U, regs_x86.GetAdjustedPc(0x700U, &invalid_elf));
263
264 regs_x86_64.set_pc(0x1800);
265 ASSERT_EQ(0x800U, regs_x86_64.GetRelPc(&invalid_elf, &map_info));
266 ASSERT_EQ(0x800U, regs_x86_64.GetAdjustedPc(0x800U, &invalid_elf));
Christopher Ferris723cf9b2017-01-19 20:08:48 -0800267}
Christopher Ferris2a25c4a2017-07-07 16:35:48 -0700268
269TEST_F(RegsTest, arm_set_from_raw) {
270 RegsArm arm;
271 uint32_t* regs = reinterpret_cast<uint32_t*>(arm.RawData());
272 regs[13] = 0x100;
273 regs[15] = 0x200;
274 arm.SetFromRaw();
275 EXPECT_EQ(0x100U, arm.sp());
276 EXPECT_EQ(0x200U, arm.pc());
277}
278
279TEST_F(RegsTest, arm64_set_from_raw) {
280 RegsArm64 arm64;
281 uint64_t* regs = reinterpret_cast<uint64_t*>(arm64.RawData());
282 regs[31] = 0xb100000000ULL;
283 regs[32] = 0xc200000000ULL;
284 arm64.SetFromRaw();
285 EXPECT_EQ(0xb100000000U, arm64.sp());
286 EXPECT_EQ(0xc200000000U, arm64.pc());
287}
288
289TEST_F(RegsTest, x86_set_from_raw) {
290 RegsX86 x86;
291 uint32_t* regs = reinterpret_cast<uint32_t*>(x86.RawData());
292 regs[4] = 0x23450000;
293 regs[8] = 0xabcd0000;
294 x86.SetFromRaw();
295 EXPECT_EQ(0x23450000U, x86.sp());
296 EXPECT_EQ(0xabcd0000U, x86.pc());
297}
298
299TEST_F(RegsTest, x86_64_set_from_raw) {
300 RegsX86_64 x86_64;
301 uint64_t* regs = reinterpret_cast<uint64_t*>(x86_64.RawData());
302 regs[7] = 0x1200000000ULL;
303 regs[16] = 0x4900000000ULL;
304 x86_64.SetFromRaw();
305 EXPECT_EQ(0x1200000000U, x86_64.sp());
306 EXPECT_EQ(0x4900000000U, x86_64.pc());
307}