diff options
Diffstat (limited to 'externals/dynarmic/tests/A32/test_thumb_instructions.cpp')
| -rw-r--r-- | externals/dynarmic/tests/A32/test_thumb_instructions.cpp | 254 |
1 files changed, 254 insertions, 0 deletions
diff --git a/externals/dynarmic/tests/A32/test_thumb_instructions.cpp b/externals/dynarmic/tests/A32/test_thumb_instructions.cpp new file mode 100644 index 0000000000..dda0fc46b5 --- /dev/null +++ b/externals/dynarmic/tests/A32/test_thumb_instructions.cpp @@ -0,0 +1,254 @@ +/* This file is part of the dynarmic project. + * Copyright (c) 2016 MerryMage + * SPDX-License-Identifier: 0BSD + */ + +#include <catch2/catch_test_macros.hpp> +#include <mcl/stdint.hpp> + +#include "./testenv.h" +#include "dynarmic/interface/A32/a32.h" + +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 = { + 0x0088, // lsls r0, r1, #2 + 0xE7FE, // b +#0 + }; + + jit.Regs()[0] = 1; + jit.Regs()[1] = 2; + jit.Regs()[15] = 0; // PC = 0 + jit.SetCpsr(0x00000030); // Thumb, User-mode + + 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 = { + 0x07C8, // lsls r0, r1, #31 + 0xE7FE, // b +#0 + }; + + jit.Regs()[0] = 1; + jit.Regs()[1] = 0xFFFFFFFF; + jit.Regs()[15] = 0; // PC = 0 + jit.SetCpsr(0x00000030); // Thumb, User-mode + + test_env.ticks_left = 1; + jit.Run(); + + REQUIRE(jit.Regs()[0] == 0x80000000); + REQUIRE(jit.Regs()[1] == 0xffffffff); + REQUIRE(jit.Regs()[15] == 2); + REQUIRE(jit.Cpsr() == 0xA0000030); // N, C flags, Thumb, User-mode +} + +TEST_CASE("thumb: revsh r4, r3", "[thumb]") { + ThumbTestEnv test_env; + Dynarmic::A32::Jit jit{GetUserConfig(&test_env)}; + test_env.code_mem = { + 0xBADC, // revsh r4, r3 + 0xE7FE, // b +#0 + }; + + jit.Regs()[3] = 0x12345678; + jit.Regs()[15] = 0; // PC = 0 + jit.SetCpsr(0x00000030); // Thumb, User-mode + + test_env.ticks_left = 1; + jit.Run(); + + REQUIRE(jit.Regs()[3] == 0x12345678); + REQUIRE(jit.Regs()[4] == 0x00007856); + REQUIRE(jit.Regs()[15] == 2); + REQUIRE(jit.Cpsr() == 0x00000030); // Thumb, User-mode +} + +TEST_CASE("thumb: ldr r3, [r3, #28]", "[thumb]") { + ThumbTestEnv test_env; + Dynarmic::A32::Jit jit{GetUserConfig(&test_env)}; + test_env.code_mem = { + 0x69DB, // ldr r3, [r3, #28] + 0xE7FE, // b +#0 + }; + + jit.Regs()[3] = 0x12345678; + jit.Regs()[15] = 0; // PC = 0 + jit.SetCpsr(0x00000030); // Thumb, User-mode + + test_env.ticks_left = 1; + jit.Run(); + + REQUIRE(jit.Regs()[3] == 0x97969594); // Memory location 0x12345694 + REQUIRE(jit.Regs()[15] == 2); + REQUIRE(jit.Cpsr() == 0x00000030); // Thumb, User-mode +} + +TEST_CASE("thumb: blx +#67712", "[thumb]") { + ThumbTestEnv test_env; + Dynarmic::A32::Jit jit{GetUserConfig(&test_env)}; + test_env.code_mem = { + 0xF010, 0xEC3E, // blx +#67712 + 0xE7FE // b +#0 + }; + + jit.Regs()[15] = 0; // PC = 0 + jit.SetCpsr(0x00000030); // Thumb, User-mode + + test_env.ticks_left = 1; + jit.Run(); + + REQUIRE(jit.Regs()[14] == (0x4 | 1)); + REQUIRE(jit.Regs()[15] == 0x10880); + REQUIRE(jit.Cpsr() == 0x00000010); // User-mode +} + +TEST_CASE("thumb: bl +#234584", "[thumb]") { + ThumbTestEnv test_env; + Dynarmic::A32::Jit jit{GetUserConfig(&test_env)}; + test_env.code_mem = { + 0xF039, 0xFA2A, // bl +#234584 + 0xE7FE // b +#0 + }; + + jit.Regs()[15] = 0; // PC = 0 + jit.SetCpsr(0x00000030); // Thumb, User-mode + + test_env.ticks_left = 1; + jit.Run(); + + REQUIRE(jit.Regs()[14] == (0x4 | 1)); + REQUIRE(jit.Regs()[15] == 0x39458); + REQUIRE(jit.Cpsr() == 0x00000030); // Thumb, User-mode +} + +TEST_CASE("thumb: bl -#42", "[thumb]") { + ThumbTestEnv test_env; + Dynarmic::A32::Jit jit{GetUserConfig(&test_env)}; + test_env.code_mem = { + 0xF7FF, 0xFFE9, // bl -#42 + 0xE7FE // b +#0 + }; + + jit.Regs()[15] = 0; // PC = 0 + jit.SetCpsr(0x00000030); // Thumb, User-mode + + test_env.ticks_left = 1; + jit.Run(); + + REQUIRE(jit.Regs()[14] == (0x4 | 1)); + REQUIRE(jit.Regs()[15] == 0xFFFFFFD6); + REQUIRE(jit.Cpsr() == 0x00000030); // Thumb, User-mode +} + +TEST_CASE("thumb: Opt Failure: Get/Set Elimination for Flags", "[thumb]") { + // This was a randomized test-case that was failing. + // + // Incorrect IR: + // Block: location={0000000100000000} + // cycles=6, entry_cond=al + // [0000556569455160] %0 = GetRegister r1 (uses: 1) + // [00005565694551c8] %1 = GetRegister r6 (uses: 1) + // [0000556569455230] %2 = Mul32 %1, %0 (uses: 1) + // [0000556569455298] SetRegister r6, %2 (uses: 0) + // [0000556569455300] Void (uses: 0) + // [00005565694553d0] Void (uses: 0) + // [0000556569455438] Void (uses: 0) + // [00005565694554a0] Void (uses: 0) + // [0000556569455508] Void (uses: 0) + // [00005565694555d8] %9 = GetCFlag (uses: 1) + // [0000556569455640] %10 = GetRegister r3 (uses: 2) + // [00005565694556a8] %11 = Identity %10 (uses: 1) + // [0000556569455710] %12 = Add32 %11, %10, %9 (uses: 2) + // [0000556569455778] SetRegister r3, %12 (uses: 0) + // [00005565694557e0] %14 = GetNZCVFromOp %12 (uses: 1) + // [0000556569455848] SetCpsrNZCV %14 (uses: 0) + // [00005565694558b0] %16 = GetRegister sp (uses: 1) + // [0000556569455918] %17 = Add32 %16, #0x2c4, #0 (uses: 1) + // [0000556569455980] %18 = GetRegister r4 (uses: 1) + // [00005565694559e8] WriteMemory32 #0x100000006, %17, %18, <unknown immediate type> (uses: 0) + // [0000556569455a50] %20 = GetRegister r2 (uses: 1) + // [0000556569455ab8] %21 = GetRegister r5 (uses: 1) + // [0000556569455b20] %22 = Add32 %21, %20, #0 (uses: 1) + // [0000556569455b88] SetRegister r5, %22 (uses: 0) + // terminal = LinkBlock{{000000010000000a}} + + ThumbTestEnv test_env; + Dynarmic::A32::Jit jit{GetUserConfig(&test_env)}; + test_env.code_mem = { + 0x434e, // muls r6, r1, r6 + 0x4557, // cmp r7, r10 + 0x415b, // adcs r3, r3 + 0x94b1, // str r4, [sp, #708] + 0x4415, // add r5, r2 + 0xe7fe // b +#0 + }; + + jit.Regs() = {0x2154abb5, 0xdbaa6333, 0xf8a7bc0e, 0x989f6096, 0x19cd7783, 0xe1cf5b7f, 0x9bb1aa6c, 0x6b700f5c, + 0xc04f6cb2, 0xc8df07f0, 0x217d83de, 0xe77fdffa, 0x98bcceaf, 0xbfcab4f7, 0xdb9d5405, 0x00000000}; + jit.SetCpsr(0x000001f0); // Thumb, User-mode + + test_env.ticks_left = 7; + jit.Run(); + + REQUIRE(jit.Regs()[0] == 0x2154abb5); + REQUIRE(jit.Regs()[1] == 0xdbaa6333); + REQUIRE(jit.Regs()[2] == 0xf8a7bc0e); + REQUIRE(jit.Regs()[3] == 0x313ec12d); + REQUIRE(jit.Regs()[4] == 0x19cd7783); + REQUIRE(jit.Regs()[5] == 0xda77178d); + REQUIRE(jit.Regs()[6] == 0x4904b784); + REQUIRE(jit.Regs()[7] == 0x6b700f5c); + REQUIRE(jit.Regs()[8] == 0xc04f6cb2); + REQUIRE(jit.Regs()[9] == 0xc8df07f0); + REQUIRE(jit.Regs()[10] == 0x217d83de); + REQUIRE(jit.Regs()[11] == 0xe77fdffa); + REQUIRE(jit.Regs()[12] == 0x98bcceaf); + REQUIRE(jit.Regs()[13] == 0xbfcab4f7); + REQUIRE(jit.Regs()[14] == 0xdb9d5405); + REQUIRE(jit.Regs()[15] == 0x0000000a); + REQUIRE(jit.Cpsr() == 0x300001f0); +} + +TEST_CASE("thumb: Opt Failure: Get/Set Elimination for Flags 2", "[thumb]") { + // This was a randomized test-case that was failing. + + ThumbTestEnv test_env; + Dynarmic::A32::Jit jit{GetUserConfig(&test_env)}; + test_env.code_mem = { + 0x442a, // add r2, r5 + 0x065d, // lsls r5, r3, #25 + 0xbc64, // pop {r2, r5, r6} + 0x2666, // movs r6, #102 + 0x7471, // strb r1, [r6, #17] + 0xe7fe // b +#0 + }; + + jit.Regs() = {0x954d53b0, 0x4caaad40, 0xa42325b8, 0x0da0cdb6, 0x0f43507e, 0x31d68ae1, 0x9c471808, 0x892a6888, + 0x3b9ffb23, 0x0a92ef93, 0x38dee619, 0xc0e95e81, 0x6a448690, 0xc2d4d6ad, 0xe93600b9, 0x00000000}; + jit.SetCpsr(0x000001f0); // Thumb, User-mode + + test_env.ticks_left = 7; + jit.Run(); + + const std::array<u32, 16> expected = {0x954d53b0, 0x4caaad40, 0xb0afaead, 0x0da0cdb6, 0x0f43507e, 0xb4b3b2b1, 0x00000066, 0x892a6888, + 0x3b9ffb23, 0x0a92ef93, 0x38dee619, 0xc0e95e81, 0x6a448690, 0xc2d4d6b9, 0xe93600b9, 0x0000000a}; + REQUIRE(jit.Regs() == expected); + REQUIRE(jit.Cpsr() == 0x200001f0); +} |