pineapple/externals/dynarmic/tests/A32/test_thumb_instructions.cpp

159 lines
4.1 KiB
C++
Raw Normal View History

2020-12-28 16:15:37 +01:00
/* This file is part of the dynarmic project.
* Copyright (c) 2016 MerryMage
* SPDX-License-Identifier: 0BSD
*/
2021-08-16 13:42:12 +02:00
#include <catch2/catch.hpp>
2022-04-20 01:28:43 +02:00
#include <mcl/stdint.hpp>
2020-12-28 16:15:37 +01:00
2021-05-30 08:36:49 +02:00
#include "./testenv.h"
#include "dynarmic/interface/A32/a32.h"
2020-12-28 16:15:37 +01:00
static Dynarmic::A32::UserConfig GetUserConfig(ThumbTestEnv* testenv) {
Dynarmic::A32::UserConfig user_config;
user_config.callbacks = testenv;
return user_config;
}
TEST_CASE("thumb: lsls r0, r1, #2", "[thumb]") {
ThumbTestEnv test_env;
Dynarmic::A32::Jit jit{GetUserConfig(&test_env)};
test_env.code_mem = {
2021-05-30 08:36:49 +02:00
0x0088, // lsls r0, r1, #2
0xE7FE, // b +#0
2020-12-28 16:15:37 +01:00
};
jit.Regs()[0] = 1;
jit.Regs()[1] = 2;
2021-05-30 08:36:49 +02:00
jit.Regs()[15] = 0; // PC = 0
jit.SetCpsr(0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
test_env.ticks_left = 1;
jit.Run();
REQUIRE(jit.Regs()[0] == 8);
REQUIRE(jit.Regs()[1] == 2);
REQUIRE(jit.Regs()[15] == 2);
REQUIRE(jit.Cpsr() == 0x00000030);
}
TEST_CASE("thumb: lsls r0, r1, #31", "[thumb]") {
ThumbTestEnv test_env;
Dynarmic::A32::Jit jit{GetUserConfig(&test_env)};
test_env.code_mem = {
2021-05-30 08:36:49 +02:00
0x07C8, // lsls r0, r1, #31
0xE7FE, // b +#0
2020-12-28 16:15:37 +01:00
};
jit.Regs()[0] = 1;
jit.Regs()[1] = 0xFFFFFFFF;
2021-05-30 08:36:49 +02:00
jit.Regs()[15] = 0; // PC = 0
jit.SetCpsr(0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
test_env.ticks_left = 1;
jit.Run();
REQUIRE(jit.Regs()[0] == 0x80000000);
REQUIRE(jit.Regs()[1] == 0xffffffff);
REQUIRE(jit.Regs()[15] == 2);
2021-05-30 08:36:49 +02:00
REQUIRE(jit.Cpsr() == 0xA0000030); // N, C flags, Thumb, User-mode
2020-12-28 16:15:37 +01:00
}
TEST_CASE("thumb: revsh r4, r3", "[thumb]") {
ThumbTestEnv test_env;
Dynarmic::A32::Jit jit{GetUserConfig(&test_env)};
test_env.code_mem = {
2021-05-30 08:36:49 +02:00
0xBADC, // revsh r4, r3
0xE7FE, // b +#0
2020-12-28 16:15:37 +01:00
};
jit.Regs()[3] = 0x12345678;
2021-05-30 08:36:49 +02:00
jit.Regs()[15] = 0; // PC = 0
jit.SetCpsr(0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
test_env.ticks_left = 1;
jit.Run();
REQUIRE(jit.Regs()[3] == 0x12345678);
REQUIRE(jit.Regs()[4] == 0x00007856);
REQUIRE(jit.Regs()[15] == 2);
2021-05-30 08:36:49 +02:00
REQUIRE(jit.Cpsr() == 0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
}
TEST_CASE("thumb: ldr r3, [r3, #28]", "[thumb]") {
ThumbTestEnv test_env;
Dynarmic::A32::Jit jit{GetUserConfig(&test_env)};
test_env.code_mem = {
2021-05-30 08:36:49 +02:00
0x69DB, // ldr r3, [r3, #28]
0xE7FE, // b +#0
2020-12-28 16:15:37 +01:00
};
jit.Regs()[3] = 0x12345678;
2021-05-30 08:36:49 +02:00
jit.Regs()[15] = 0; // PC = 0
jit.SetCpsr(0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
test_env.ticks_left = 1;
jit.Run();
2021-05-30 08:36:49 +02:00
REQUIRE(jit.Regs()[3] == 0x97969594); // Memory location 0x12345694
2020-12-28 16:15:37 +01:00
REQUIRE(jit.Regs()[15] == 2);
2021-05-30 08:36:49 +02:00
REQUIRE(jit.Cpsr() == 0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
}
TEST_CASE("thumb: blx +#67712", "[thumb]") {
ThumbTestEnv test_env;
Dynarmic::A32::Jit jit{GetUserConfig(&test_env)};
test_env.code_mem = {
2021-05-30 08:36:49 +02:00
0xF010, 0xEC3E, // blx +#67712
0xE7FE // b +#0
2020-12-28 16:15:37 +01:00
};
2021-05-30 08:36:49 +02:00
jit.Regs()[15] = 0; // PC = 0
jit.SetCpsr(0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
test_env.ticks_left = 1;
jit.Run();
REQUIRE(jit.Regs()[14] == (0x4 | 1));
REQUIRE(jit.Regs()[15] == 0x10880);
2021-05-30 08:36:49 +02:00
REQUIRE(jit.Cpsr() == 0x00000010); // User-mode
2020-12-28 16:15:37 +01:00
}
TEST_CASE("thumb: bl +#234584", "[thumb]") {
ThumbTestEnv test_env;
Dynarmic::A32::Jit jit{GetUserConfig(&test_env)};
test_env.code_mem = {
2021-05-30 08:36:49 +02:00
0xF039, 0xFA2A, // bl +#234584
0xE7FE // b +#0
2020-12-28 16:15:37 +01:00
};
2021-05-30 08:36:49 +02:00
jit.Regs()[15] = 0; // PC = 0
jit.SetCpsr(0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
test_env.ticks_left = 1;
jit.Run();
REQUIRE(jit.Regs()[14] == (0x4 | 1));
REQUIRE(jit.Regs()[15] == 0x39458);
2021-05-30 08:36:49 +02:00
REQUIRE(jit.Cpsr() == 0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
}
TEST_CASE("thumb: bl -#42", "[thumb]") {
ThumbTestEnv test_env;
Dynarmic::A32::Jit jit{GetUserConfig(&test_env)};
test_env.code_mem = {
2021-05-30 08:36:49 +02:00
0xF7FF, 0xFFE9, // bl -#42
0xE7FE // b +#0
2020-12-28 16:15:37 +01:00
};
2021-05-30 08:36:49 +02:00
jit.Regs()[15] = 0; // PC = 0
jit.SetCpsr(0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
test_env.ticks_left = 1;
jit.Run();
REQUIRE(jit.Regs()[14] == (0x4 | 1));
REQUIRE(jit.Regs()[15] == 0xFFFFFFD6);
2021-05-30 08:36:49 +02:00
REQUIRE(jit.Cpsr() == 0x00000030); // Thumb, User-mode
2020-12-28 16:15:37 +01:00
}