mirrors/dynarmic
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
dynarmic/tests/A64/a64.cpp

883 lines
31 KiB
C++
Raw Normal View History

A64: Backend framework
2018-01-06 21:15:25 +00:00
/* This file is part of the dynarmic project.
A64: Implement ADD_shifted
2018-01-07 00:11:57 +00:00
* Copyright (c) 2018 MerryMage
Relicense to 0BSD
2020-04-23 15:25:11 +01:00
* SPDX-License-Identifier: 0BSD
A64: Backend framework
2018-01-06 21:15:25 +00:00
*/
#include <catch.hpp>
Consolidate all source files into src/ directory
2021-05-19 17:28:35 +01:00
#include "./testenv.h"
#include "dynarmic/common/fp/fpsr.h"
#include "dynarmic/interface/exclusive_monitor.h"
A64: Backend framework
2018-01-06 21:15:25 +00:00
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
using namespace Dynarmic;
simd_two_register_misc: FNEG (vector) with Q == 0 had dirty upper
2018-09-09 19:55:37 +01:00
A64: Implement ADD_shifted
2018-01-07 00:11:57 +00:00
TEST_CASE("A64: ADD", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
A64: Implement ADD_shifted
2018-01-07 00:11:57 +00:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x8b020020); // ADD X0, X1, X2
env.code_mem.emplace_back(0x14000000); // B .
A64: Implement ADD_shifted
2018-01-07 00:11:57 +00:00
jit.SetRegister(0, 0);
jit.SetRegister(1, 1);
jit.SetRegister(2, 2);
jit.SetPC(0);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetRegister(0) == 3);
REQUIRE(jit.GetRegister(1) == 1);
REQUIRE(jit.GetRegister(2) == 2);
REQUIRE(jit.GetPC() == 4);
}
A64: Implement logical
2018-01-07 12:52:12 +00:00
tests/A64: Add VQADD/VQSUB unit tests
2021-05-21 22:45:22 +01:00
TEST_CASE("A64: VQADD", "[a64]") {
A64TestEnv env;
A64::Jit jit{A64::UserConfig{&env}};
env.code_mem.emplace_back(0x6e210c02); // UQADD v2.16b, v0.16b, v1.16b
env.code_mem.emplace_back(0x4e210c03); // SQADD v3.16b, v0.16b, v1.16b
env.code_mem.emplace_back(0x6e610c04); // UQADD v4.8h, v0.8h, v1.8h
env.code_mem.emplace_back(0x4e610c05); // SQADD v5.8h, v0.8h, v1.8h
env.code_mem.emplace_back(0x6ea10c06); // UQADD v6.4s, v0.4s, v1.4s
env.code_mem.emplace_back(0x4ea10c07); // SQADD v7.4s, v0.4s, v1.4s
env.code_mem.emplace_back(0x6ee10c08); // UQADD v8.2d, v0.2d, v1.2d
env.code_mem.emplace_back(0x4ee10c09); // SQADD v9.2d, v0.2d, v1.2d
env.code_mem.emplace_back(0x14000000); // B .
jit.SetVector(0, {0x7F7F7F7F7F7F7F7F, 0x7FFFFFFF7FFF7FFF});
jit.SetVector(1, {0x8010FF00807F0000, 0x8000000080008000});
jit.SetPC(0);
env.ticks_left = 9;
jit.Run();
REQUIRE(jit.GetVector(2) == Vector{0xff8fff7ffffe7f7f, 0xffffffffffffffff});
REQUIRE(jit.GetVector(3) == Vector{0xff7f7e7fff7f7f7f, 0xffffffffffffffff});
REQUIRE(jit.GetVector(4) == Vector{0xff8ffffffffe7f7f, 0xffffffffffffffff});
REQUIRE(jit.GetVector(5) == Vector{0xff8f7e7ffffe7f7f, 0xffffffffffffffff});
REQUIRE(jit.GetVector(6) == Vector{0xff907e7ffffe7f7f, 0xffffffffffffffff});
REQUIRE(jit.GetVector(7) == Vector{0xff907e7ffffe7f7f, 0xffffffffffffffff});
REQUIRE(jit.GetVector(8) == Vector{0xff907e7ffffe7f7f, 0xffffffffffffffff});
REQUIRE(jit.GetVector(9) == Vector{0xff907e7ffffe7f7f, 0xffffffffffffffff});
}
TEST_CASE("A64: VQSUB", "[a64]") {
A64TestEnv env;
A64::Jit jit{A64::UserConfig{&env}};
env.code_mem.emplace_back(0x6e212c02); // UQSUB v2.16b, v0.16b, v1.16b
env.code_mem.emplace_back(0x4e212c03); // SQSUB v3.16b, v0.16b, v1.16b
env.code_mem.emplace_back(0x6e612c04); // UQSUB v4.8h, v0.8h, v1.8h
env.code_mem.emplace_back(0x4e612c05); // SQSUB v5.8h, v0.8h, v1.8h
env.code_mem.emplace_back(0x6ea12c06); // UQSUB v6.4s, v0.4s, v1.4s
env.code_mem.emplace_back(0x4ea12c07); // SQSUB v7.4s, v0.4s, v1.4s
env.code_mem.emplace_back(0x6ee12c08); // UQSUB v8.2d, v0.2d, v1.2d
env.code_mem.emplace_back(0x4ee12c09); // SQSUB v9.2d, v0.2d, v1.2d
env.code_mem.emplace_back(0x14000000); // B .
jit.SetVector(0, {0x8010FF00807F0000, 0x8000000080008000});
jit.SetVector(1, {0x7F7F7F7F7F7F7F7F, 0x7FFFFFFF7FFF7FFF});
jit.SetPC(0);
env.ticks_left = 9;
jit.Run();
REQUIRE(jit.GetVector(2) == Vector{0x0100800001000000, 0x0100000001000100});
REQUIRE(jit.GetVector(3) == Vector{0x8091808180008181, 0x8001010180018001});
REQUIRE(jit.GetVector(4) == Vector{0x00917f8101000000, 0x0001000000010001});
REQUIRE(jit.GetVector(5) == Vector{0x8000800080008081, 0x8000000180008000});
REQUIRE(jit.GetVector(6) == Vector{0x00917f8100ff8081, 0x0000000100010001});
REQUIRE(jit.GetVector(7) == Vector{0x8000000080000000, 0x8000000080000000});
REQUIRE(jit.GetVector(8) == Vector{0x00917f8100ff8081, 0x0000000100010001});
REQUIRE(jit.GetVector(9) == Vector{0x8000000000000000, 0x8000000000000000});
}
A64: Implement REV, REV32, and REV16 (#126)
2018-01-21 12:17:47 +00:00
TEST_CASE("A64: REV", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
A64: Implement REV, REV32, and REV16 (#126)
2018-01-21 12:17:47 +00:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0xdac00c00); // REV X0, X0
env.code_mem.emplace_back(0x5ac00821); // REV W1, W1
env.code_mem.emplace_back(0x14000000); // B .
A64: Implement REV, REV32, and REV16 (#126)
2018-01-21 12:17:47 +00:00
jit.SetRegister(0, 0xaabbccddeeff1100);
jit.SetRegister(1, 0xaabbccdd);
jit.SetPC(0);
env.ticks_left = 3;
jit.Run();
REQUIRE(jit.GetRegister(0) == 0x11ffeeddccbbaa);
REQUIRE(jit.GetRegister(1) == 0xddccbbaa);
REQUIRE(jit.GetPC() == 8);
}
TEST_CASE("A64: REV32", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
A64: Implement REV, REV32, and REV16 (#126)
2018-01-21 12:17:47 +00:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0xdac00800); // REV32 X0, X0
env.code_mem.emplace_back(0x14000000); // B .
A64: Implement REV, REV32, and REV16 (#126)
2018-01-21 12:17:47 +00:00
jit.SetRegister(0, 0xaabbccddeeff1100);
jit.SetPC(0);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetRegister(0) == 0xddccbbaa0011ffee);
REQUIRE(jit.GetPC() == 4);
}
TEST_CASE("A64: REV16", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
A64: Implement REV, REV32, and REV16 (#126)
2018-01-21 12:17:47 +00:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0xdac00400); // REV16 X0, X0
env.code_mem.emplace_back(0x5ac00421); // REV16 W1, W1
env.code_mem.emplace_back(0x14000000); // B .
A64: Implement REV, REV32, and REV16 (#126)
2018-01-21 12:17:47 +00:00
jit.SetRegister(0, 0xaabbccddeeff1100);
jit.SetRegister(1, 0xaabbccdd);
jit.SetPC(0);
env.ticks_left = 3;
jit.Run();
REQUIRE(jit.GetRegister(0) == 0xbbaaddccffee0011);
REQUIRE(jit.GetRegister(1) == 0xbbaaddcc);
REQUIRE(jit.GetPC() == 8);
}
emit_x64_vector: AVX512 Implementation of EmitVectorNarrow{32,64} Includes a new test case with the XTN instruction to verify the implementation
2021-05-14 06:30:29 +01:00
TEST_CASE("A64: XTN", "[a64]") {
A64TestEnv env;
A64::Jit jit{A64::UserConfig{&env}};
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x0e212803); // XTN v3.8b, v0.8h
env.code_mem.emplace_back(0x0e612824); // XTN v4.4h, v1.4s
env.code_mem.emplace_back(0x0ea12845); // XTN v5.2s, v2.2d
env.code_mem.emplace_back(0x14000000); // B .
emit_x64_vector: AVX512 Implementation of EmitVectorNarrow{32,64} Includes a new test case with the XTN instruction to verify the implementation
2021-05-14 06:30:29 +01:00
jit.SetPC(0);
jit.SetVector(0, {0x3333222211110000, 0x7777666655554444});
jit.SetVector(1, {0x1111111100000000, 0x3333333322222222});
jit.SetVector(2, {0x0000000000000000, 0x1111111111111111});
env.ticks_left = 4;
jit.Run();
REQUIRE(jit.GetVector(3) == Vector{0x7766554433221100, 0x0000000000000000});
REQUIRE(jit.GetVector(4) == Vector{0x3333222211110000, 0x0000000000000000});
REQUIRE(jit.GetVector(5) == Vector{0x1111111100000000, 0x0000000000000000});
}
tests/A64: Add TBL/TBX instruction unit tests Tests the TBL instruction with implementation with {1-4} register lookups and the handling of out-of-bound indices. Intended to target the implementation of VectorTableLookup128
2021-05-15 05:24:00 +01:00
TEST_CASE("A64: TBL", "[a64]") {
A64TestEnv env;
A64::Jit jit{A64::UserConfig{&env}};
emit_x64_vector: AVX512VBMI implementation of EmitVectorTableLookup128 Also adds AVX512VBMI detection to host_feature
2021-05-16 05:54:33 +01:00
env.code_mem.emplace_back(0x0e000100); // TBL v0.8b, { v8.16b }, v0.8b
env.code_mem.emplace_back(0x4e010101); // TBL v1.16b, { v8.16b }, v1.16b
env.code_mem.emplace_back(0x0e022102); // TBL v2.8b, { v8.16b, v9.16b }, v2.8b
env.code_mem.emplace_back(0x4e032103); // TBL v3.16b, { v8.16b, v9.16b }, v3.16b
env.code_mem.emplace_back(0x0e044104); // TBL v4.8b, { v8.16b, v9.16b, v10.16b }, v4.8b
env.code_mem.emplace_back(0x4e054105); // TBL v5.16b, { v8.16b, v9.16b, v10.16b }, v5.16b
env.code_mem.emplace_back(0x0e066106); // TBL v6.8b, { v8.16b, v9.16b, v10.16b, v11.16b }, v6.8b
env.code_mem.emplace_back(0x4e076107); // TBL v7.16b, { v8.16b, v9.16b, v10.16b, v11.16b }, v7.16b
env.code_mem.emplace_back(0x14000000); // B .
tests/A64: Add TBL/TBX instruction unit tests Tests the TBL instruction with implementation with {1-4} register lookups and the handling of out-of-bound indices. Intended to target the implementation of VectorTableLookup128
2021-05-15 05:24:00 +01:00
// Indices
// 'FF' intended to test out-of-index
emit_x64_vector: AVX512VBMI implementation of EmitVectorTableLookup128 Also adds AVX512VBMI detection to host_feature
2021-05-16 05:54:33 +01:00
jit.SetVector(0, {0x000102030405'FF'07, 0x08090a0b0c0d0e0f});
jit.SetVector(1, {0x000102030405'FF'07, 0x08090a0b0c0d0e0f});
jit.SetVector(2, {0x100011011202'FF'03, 0x1404150516061707});
jit.SetVector(3, {0x100011011202'FF'03, 0x1404150516061707});
jit.SetVector(4, {0x201000211101'FF'12, 0x0233231303241404});
jit.SetVector(5, {0x201000211101'FF'12, 0x0233231303241404});
jit.SetVector(6, {0x403010004131'FF'01, 0x4232120243332303});
jit.SetVector(7, {0x403010004131'FF'01, 0x4232120243332303});
tests/A64: Add TBL/TBX instruction unit tests Tests the TBL instruction with implementation with {1-4} register lookups and the handling of out-of-bound indices. Intended to target the implementation of VectorTableLookup128
2021-05-15 05:24:00 +01:00
// Table
emit_x64_vector: AVX512VBMI implementation of EmitVectorTableLookup128 Also adds AVX512VBMI detection to host_feature
2021-05-16 05:54:33 +01:00
jit.SetVector(8, {0x7766554433221100, 0xffeeddccbbaa9988});
jit.SetVector(9, {0xffffffffffffffff, 0xffffffffffffffff});
tests/A64: Add TBL/TBX instruction unit tests Tests the TBL instruction with implementation with {1-4} register lookups and the handling of out-of-bound indices. Intended to target the implementation of VectorTableLookup128
2021-05-15 05:24:00 +01:00
jit.SetVector(10, {0xeeeeeeeeeeeeeeee, 0xeeeeeeeeeeeeeeee});
jit.SetVector(11, {0xdddddddddddddddd, 0xdddddddddddddddd});
jit.SetPC(0);
env.ticks_left = 9;
jit.Run();
REQUIRE(jit.GetVector(0) == Vector{0x001122334455'00'77, 0x0000000000000000});
REQUIRE(jit.GetVector(1) == Vector{0x001122334455'00'77, 0x8899aabbccddeeff});
REQUIRE(jit.GetVector(2) == Vector{0xff00ff11ff22'00'33, 0x0000000000000000});
REQUIRE(jit.GetVector(3) == Vector{0xff00ff11ff22'00'33, 0xff44ff55ff66ff77});
REQUIRE(jit.GetVector(4) == Vector{0xeeff00eeff11'00'ff, 0x0000000000000000});
REQUIRE(jit.GetVector(5) == Vector{0xeeff00eeff11'00'ff, 0x2200eeff33eeff44});
REQUIRE(jit.GetVector(6) == Vector{0x00ddff0000dd'00'11, 0x0000000000000000});
REQUIRE(jit.GetVector(7) == Vector{0x00ddff0000dd'00'11, 0x00ddff2200ddee33});
}
TEST_CASE("A64: TBX", "[a64]") {
A64TestEnv env;
A64::Jit jit{A64::UserConfig{&env}};
emit_x64_vector: AVX512VBMI implementation of EmitVectorTableLookup128 Also adds AVX512VBMI detection to host_feature
2021-05-16 05:54:33 +01:00
env.code_mem.emplace_back(0x0e001100); // TBX v0.8b, { v8.16b }, v0.8b
env.code_mem.emplace_back(0x4e011101); // TBX v1.16b, { v8.16b }, v1.16b
env.code_mem.emplace_back(0x0e023102); // TBX v2.8b, { v8.16b, v9.16b }, v2.8b
env.code_mem.emplace_back(0x4e033103); // TBX v3.16b, { v8.16b, v9.16b }, v3.16b
env.code_mem.emplace_back(0x0e045104); // TBX v4.8b, { v8.16b, v9.16b, v10.16b }, v4.8b
env.code_mem.emplace_back(0x4e055105); // TBX v5.16b, { v8.16b, v9.16b, v10.16b }, v5.16b
env.code_mem.emplace_back(0x0e067106); // TBX v6.8b, { v8.16b, v9.16b, v10.16b, v11.16b }, v6.8b
env.code_mem.emplace_back(0x4e077107); // TBX v7.16b, { v8.16b, v9.16b, v10.16b, v11.16b }, v7.16b
env.code_mem.emplace_back(0x14000000); // B .
tests/A64: Add TBL/TBX instruction unit tests Tests the TBL instruction with implementation with {1-4} register lookups and the handling of out-of-bound indices. Intended to target the implementation of VectorTableLookup128
2021-05-15 05:24:00 +01:00
// Indices
// 'FF' intended to test out-of-index
emit_x64_vector: AVX512VBMI implementation of EmitVectorTableLookup128 Also adds AVX512VBMI detection to host_feature
2021-05-16 05:54:33 +01:00
jit.SetVector(0, {0x000102030405'FF'07, 0x08090a0b0c0d0e0f});
jit.SetVector(1, {0x000102030405'FF'07, 0x08090a0b0c0d0e0f});
jit.SetVector(2, {0x100011011202'FF'03, 0x1404150516061707});
jit.SetVector(3, {0x100011011202'FF'03, 0x1404150516061707});
jit.SetVector(4, {0x201000211101'FF'12, 0x0233231303241404});
jit.SetVector(5, {0x201000211101'FF'12, 0x0233231303241404});
jit.SetVector(6, {0x403010004131'FF'01, 0x4232120243332303});
jit.SetVector(7, {0x403010004131'FF'01, 0x4232120243332303});
tests/A64: Add TBL/TBX instruction unit tests Tests the TBL instruction with implementation with {1-4} register lookups and the handling of out-of-bound indices. Intended to target the implementation of VectorTableLookup128
2021-05-15 05:24:00 +01:00
// Table
emit_x64_vector: AVX512VBMI implementation of EmitVectorTableLookup128 Also adds AVX512VBMI detection to host_feature
2021-05-16 05:54:33 +01:00
jit.SetVector(8, {0x7766554433221100, 0xffeeddccbbaa9988});
jit.SetVector(9, {0xffffffffffffffff, 0xffffffffffffffff});
tests/A64: Add TBL/TBX instruction unit tests Tests the TBL instruction with implementation with {1-4} register lookups and the handling of out-of-bound indices. Intended to target the implementation of VectorTableLookup128
2021-05-15 05:24:00 +01:00
jit.SetVector(10, {0xeeeeeeeeeeeeeeee, 0xeeeeeeeeeeeeeeee});
jit.SetVector(11, {0xdddddddddddddddd, 0xdddddddddddddddd});
jit.SetPC(0);
env.ticks_left = 9;
jit.Run();
REQUIRE(jit.GetVector(0) == Vector{0x001122334455'FF'77, 0x0000000000000000});
REQUIRE(jit.GetVector(1) == Vector{0x001122334455'FF'77, 0x8899aabbccddeeff});
REQUIRE(jit.GetVector(2) == Vector{0xff00ff11ff22'FF'33, 0x0000000000000000});
REQUIRE(jit.GetVector(3) == Vector{0xff00ff11ff22'FF'33, 0xff44ff55ff66ff77});
REQUIRE(jit.GetVector(4) == Vector{0xeeff00eeff11'FF'ff, 0x0000000000000000});
REQUIRE(jit.GetVector(5) == Vector{0xeeff00eeff11'FF'ff, 0x2233eeff33eeff44});
REQUIRE(jit.GetVector(6) == Vector{0x40ddff0041dd'FF'11, 0x0000000000000000});
REQUIRE(jit.GetVector(7) == Vector{0x40ddff0041dd'FF'11, 0x42ddff2243ddee33});
}
A64: Implement logical
2018-01-07 12:52:12 +00:00
TEST_CASE("A64: AND", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
A64: Implement logical
2018-01-07 12:52:12 +00:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x8a020020); // AND X0, X1, X2
env.code_mem.emplace_back(0x14000000); // B .
A64: Implement logical
2018-01-07 12:52:12 +00:00
jit.SetRegister(0, 0);
jit.SetRegister(1, 1);
jit.SetRegister(2, 3);
jit.SetPC(0);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetRegister(0) == 1);
REQUIRE(jit.GetRegister(1) == 1);
REQUIRE(jit.GetRegister(2) == 3);
REQUIRE(jit.GetPC() == 4);
}
TEST_CASE("A64: Bitmasks", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
A64: Implement logical
2018-01-07 12:52:12 +00:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x3200c3e0); // ORR W0, WZR, #0x01010101
env.code_mem.emplace_back(0x320c8fe1); // ORR W1, WZR, #0x00F000F0
env.code_mem.emplace_back(0x320003e2); // ORR W2, WZR, #1
env.code_mem.emplace_back(0x14000000); // B .
A64: Implement logical
2018-01-07 12:52:12 +00:00
jit.SetPC(0);
env.ticks_left = 4;
jit.Run();
REQUIRE(jit.GetRegister(0) == 0x01010101);
REQUIRE(jit.GetRegister(1) == 0x00F000F0);
REQUIRE(jit.GetRegister(2) == 1);
REQUIRE(jit.GetPC() == 12);
}
A64: PSTATE access and tests
2018-01-07 14:46:35 +00:00
TEST_CASE("A64: ANDS NZCV", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
A64: PSTATE access and tests
2018-01-07 14:46:35 +00:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x6a020020); // ANDS W0, W1, W2
env.code_mem.emplace_back(0x14000000); // B .
A64: PSTATE access and tests
2018-01-07 14:46:35 +00:00
SECTION("N=1, Z=0") {
jit.SetRegister(0, 0);
jit.SetRegister(1, 0xFFFFFFFF);
jit.SetRegister(2, 0xFFFFFFFF);
jit.SetPC(0);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetRegister(0) == 0xFFFFFFFF);
REQUIRE(jit.GetRegister(1) == 0xFFFFFFFF);
REQUIRE(jit.GetRegister(2) == 0xFFFFFFFF);
REQUIRE(jit.GetPC() == 4);
REQUIRE((jit.GetPstate() & 0xF0000000) == 0x80000000);
}
SECTION("N=0, Z=1") {
jit.SetRegister(0, 0);
jit.SetRegister(1, 0xFFFFFFFF);
jit.SetRegister(2, 0x00000000);
jit.SetPC(0);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetRegister(0) == 0x00000000);
REQUIRE(jit.GetRegister(1) == 0xFFFFFFFF);
REQUIRE(jit.GetRegister(2) == 0x00000000);
REQUIRE(jit.GetPC() == 4);
REQUIRE((jit.GetPstate() & 0xF0000000) == 0x40000000);
}
SECTION("N=0, Z=0") {
jit.SetRegister(0, 0);
jit.SetRegister(1, 0x12345678);
jit.SetRegister(2, 0x7324a993);
jit.SetPC(0);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetRegister(0) == 0x12240010);
REQUIRE(jit.GetRegister(1) == 0x12345678);
REQUIRE(jit.GetRegister(2) == 0x7324a993);
REQUIRE(jit.GetPC() == 4);
REQUIRE((jit.GetPstate() & 0xF0000000) == 0x00000000);
}
}
A64: Implement compare and branch
2018-01-07 16:33:02 +00:00
TEST_CASE("A64: CBZ", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
A64: Implement compare and branch
2018-01-07 16:33:02 +00:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x34000060); // 0x00 : CBZ X0, label
env.code_mem.emplace_back(0x320003e2); // 0x04 : MOV X2, 1
env.code_mem.emplace_back(0x14000000); // 0x08 : B.
env.code_mem.emplace_back(0x321f03e2); // 0x0C : label: MOV X2, 2
env.code_mem.emplace_back(0x14000000); // 0x10 : B .
A64: Implement compare and branch
2018-01-07 16:33:02 +00:00
SECTION("no branch") {
jit.SetPC(0);
jit.SetRegister(0, 1);
env.ticks_left = 4;
jit.Run();
REQUIRE(jit.GetRegister(2) == 1);
REQUIRE(jit.GetPC() == 8);
}
SECTION("branch") {
jit.SetPC(0);
jit.SetRegister(0, 0);
env.ticks_left = 4;
jit.Run();
REQUIRE(jit.GetRegister(2) == 2);
REQUIRE(jit.GetPC() == 16);
}
}
TEST_CASE("A64: TBZ", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
A64: Implement compare and branch
2018-01-07 16:33:02 +00:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x36180060); // 0x00 : TBZ X0, 3, label
env.code_mem.emplace_back(0x320003e2); // 0x04 : MOV X2, 1
env.code_mem.emplace_back(0x14000000); // 0x08 : B .
env.code_mem.emplace_back(0x321f03e2); // 0x0C : label: MOV X2, 2
env.code_mem.emplace_back(0x14000000); // 0x10 : B .
A64: Implement compare and branch
2018-01-07 16:33:02 +00:00
SECTION("no branch") {
jit.SetPC(0);
jit.SetRegister(0, 0xFF);
env.ticks_left = 4;
jit.Run();
REQUIRE(jit.GetRegister(2) == 1);
REQUIRE(jit.GetPC() == 8);
}
SECTION("branch with zero") {
jit.SetPC(0);
jit.SetRegister(0, 0);
env.ticks_left = 4;
jit.Run();
REQUIRE(jit.GetRegister(2) == 2);
REQUIRE(jit.GetPC() == 16);
}
SECTION("branch with non-zero") {
jit.SetPC(0);
jit.SetRegister(0, 1);
env.ticks_left = 4;
jit.Run();
REQUIRE(jit.GetRegister(2) == 2);
REQUIRE(jit.GetPC() == 16);
}
}
tests: Add FABD test
2018-07-16 16:55:26 +01:00
TEST_CASE("A64: FABD", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
tests: Add FABD test
2018-07-16 16:55:26 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x6eb5d556); // FABD.4S V22, V10, V21
env.code_mem.emplace_back(0x14000000); // B .
tests: Add FABD test
2018-07-16 16:55:26 +01:00
jit.SetPC(0);
jit.SetVector(10, {0xb4858ac77ff39a87, 0x9fce5e14c4873176});
jit.SetVector(21, {0x56d3f085ff890e2b, 0x6e4b0a41801a2d00});
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(22) == Vector{0x56d3f0857fc90e2b, 0x6e4b0a4144873176});
}
a64_emit_x64: Fix stack misalignment on Windows for 128-bit exclusive writes Discovered by @Subv. Includes a test to ensure this codepath is exercised on Windows.
2018-07-22 15:05:53 +01:00
TEST_CASE("A64: 128-bit exclusive read/write", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
ExclusiveMonitor monitor{1};
a64_emit_x64: Fix stack misalignment on Windows for 128-bit exclusive writes Discovered by @Subv. Includes a test to ensure this codepath is exercised on Windows.
2018-07-22 15:05:53 +01:00
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::UserConfig conf;
a64_emit_x64: Fix stack misalignment on Windows for 128-bit exclusive writes Discovered by @Subv. Includes a test to ensure this codepath is exercised on Windows.
2018-07-22 15:05:53 +01:00
conf.callbacks = &env;
conf.processor_id = 0;
SECTION("Global Monitor") {
conf.global_monitor = &monitor;
}
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{conf};
a64_emit_x64: Fix stack misalignment on Windows for 128-bit exclusive writes Discovered by @Subv. Includes a test to ensure this codepath is exercised on Windows.
2018-07-22 15:05:53 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0xc87f0861); // LDXP X1, X2, [X3]
env.code_mem.emplace_back(0xc8241865); // STXP W4, X5, X6, [X3]
env.code_mem.emplace_back(0x14000000); // B .
a64_emit_x64: Fix stack misalignment on Windows for 128-bit exclusive writes Discovered by @Subv. Includes a test to ensure this codepath is exercised on Windows.
2018-07-22 15:05:53 +01:00
jit.SetPC(0);
jit.SetRegister(3, 0x1234567812345678);
jit.SetRegister(4, 0xbaadbaadbaadbaad);
jit.SetRegister(5, 0xaf00d1e5badcafe0);
jit.SetRegister(6, 0xd0d0cacad0d0caca);
env.ticks_left = 3;
jit.Run();
REQUIRE(jit.GetRegister(1) == 0x7f7e7d7c7b7a7978);
REQUIRE(jit.GetRegister(2) == 0x8786858483828180);
REQUIRE(jit.GetRegister(4) == 0);
REQUIRE(env.MemoryRead64(0x1234567812345678) == 0xaf00d1e5badcafe0);
REQUIRE(env.MemoryRead64(0x1234567812345680) == 0xd0d0cacad0d0caca);
}
a64_emit_x64: Ensure host has updated ticks in EmitA64GetCNTPCT Discovered by @Subv. Fixes incomplete fix begun in 5a91c94dca47c9702dee20fbd5ae1f4c07eef9df. That fix fails to take into account that LinkBlock doesn't update ticks until there are no remaining ticks to be executed. Test added to confirm fix.
2018-07-22 16:16:26 +01:00
TEST_CASE("A64: CNTPCT_EL0", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
a64_emit_x64: Ensure host has updated ticks in EmitA64GetCNTPCT Discovered by @Subv. Fixes incomplete fix begun in 5a91c94dca47c9702dee20fbd5ae1f4c07eef9df. That fix fails to take into account that LinkBlock doesn't update ticks until there are no remaining ticks to be executed. Test added to confirm fix.
2018-07-22 16:16:26 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0xd53be021); // MRS X1, CNTPCT_EL0
env.code_mem.emplace_back(0xd503201f); // NOP
env.code_mem.emplace_back(0xd503201f); // NOP
env.code_mem.emplace_back(0xd503201f); // NOP
env.code_mem.emplace_back(0xd503201f); // NOP
env.code_mem.emplace_back(0xd503201f); // NOP
env.code_mem.emplace_back(0xd503201f); // NOP
env.code_mem.emplace_back(0xd53be022); // MRS X2, CNTPCT_EL0
env.code_mem.emplace_back(0xcb010043); // SUB X3, X2, X1
env.code_mem.emplace_back(0x14000000); // B .
a64_emit_x64: Ensure host has updated ticks in EmitA64GetCNTPCT Discovered by @Subv. Fixes incomplete fix begun in 5a91c94dca47c9702dee20fbd5ae1f4c07eef9df. That fix fails to take into account that LinkBlock doesn't update ticks until there are no remaining ticks to be executed. Test added to confirm fix.
2018-07-22 16:16:26 +01:00
env.ticks_left = 10;
jit.Run();
REQUIRE(jit.GetRegister(3) == 7);
}
emit_x64_floating_point: Implement accurate fallback for FPMulAdd{32,64}
2018-07-23 16:23:05 +01:00
TEST_CASE("A64: FNMSUB 1", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
emit_x64_floating_point: Implement accurate fallback for FPMulAdd{32,64}
2018-07-23 16:23:05 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x1f618a9c); // FNMSUB D28, D20, D1, D2
env.code_mem.emplace_back(0x14000000); // B .
emit_x64_floating_point: Implement accurate fallback for FPMulAdd{32,64}
2018-07-23 16:23:05 +01:00
jit.SetPC(0);
jit.SetVector(20, {0xe73a51346164bd6c, 0x8080000000002b94});
jit.SetVector(1, {0xbf8000007fffffff, 0xffffffff00002b94});
jit.SetVector(2, {0x0000000000000000, 0xc79b271e3f000000});
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(28) == Vector{0x66ca513533ee6076, 0x0000000000000000});
}
TEST_CASE("A64: FNMSUB 2", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
emit_x64_floating_point: Implement accurate fallback for FPMulAdd{32,64}
2018-07-23 16:23:05 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x1f2ab88e); // FNMSUB S14, S4, S10, S14
env.code_mem.emplace_back(0x14000000); // B .
emit_x64_floating_point: Implement accurate fallback for FPMulAdd{32,64}
2018-07-23 16:23:05 +01:00
jit.SetPC(0);
jit.SetVector(4, {0x3c9623b101398437, 0x7ff0abcd0ba98d27});
jit.SetVector(10, {0xffbfffff3eaaaaab, 0x3f0000003f8147ae});
jit.SetVector(14, {0x80000000007fffff, 0xe73a513400000000});
jit.SetFpcr(0x00400000);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(14) == Vector{0x0000000080045284, 0x0000000000000000});
}
u128: StickyLogicalShiftRight requires special-casing for amount == 64 In this case (128 - amount) == 64, and this invokes undefined behaviour
2018-07-23 20:21:33 +01:00
TEST_CASE("A64: FMADD", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
u128: StickyLogicalShiftRight requires special-casing for amount == 64 In this case (128 - amount) == 64, and this invokes undefined behaviour
2018-07-23 20:21:33 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x1f5e0e4a); // FMADD D10, D18, D30, D3
env.code_mem.emplace_back(0x14000000); // B .
u128: StickyLogicalShiftRight requires special-casing for amount == 64 In this case (128 - amount) == 64, and this invokes undefined behaviour
2018-07-23 20:21:33 +01:00
jit.SetPC(0);
jit.SetVector(18, {0x8000007600800000, 0x7ff812347f800000});
jit.SetVector(30, {0xff984a3700000000, 0xe73a513480800000});
jit.SetVector(3, {0x3f000000ff7fffff, 0x8139843780000000});
jit.SetFpcr(0x00400000);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(10) == Vector{0x3f059921bf0dbfff, 0x0000000000000000});
}
backend_x64: Fix FPVectorMulAdd and FPMulAdd NaN handling with denormals Denormals should be treated as zero in NaN handler
2018-07-31 16:07:46 +01:00
TEST_CASE("A64: FMLA.4S (denormal)", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
backend_x64: Fix FPVectorMulAdd and FPMulAdd NaN handling with denormals Denormals should be treated as zero in NaN handler
2018-07-31 16:07:46 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x4e2fcccc); // FMLA.4S V12, V6, V15
env.code_mem.emplace_back(0x14000000); // B .
backend_x64: Fix FPVectorMulAdd and FPMulAdd NaN handling with denormals Denormals should be treated as zero in NaN handler
2018-07-31 16:07:46 +01:00
jit.SetPC(0);
jit.SetVector(12, {0x3c9623b17ff80000, 0xbff0000080000076});
jit.SetVector(6, {0x7ff80000ff800000, 0x09503366c1200000});
jit.SetVector(15, {0x3ff0000080636d24, 0xbf800000e73a5134});
jit.SetFpcr(0x01000000);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(12) == Vector{0x7ff800007fc00000, 0xbff0000068e8e581});
}
emit_x64_vector_floating_point: Correct FMA in FTZ mode x64 rounds before flushing to zero AArch64 rounds after flushing to zero This difference of behaviour is noticable if something would round to a smallest normalized number
2018-07-31 18:12:39 +01:00
TEST_CASE("A64: FMLA.4S (0x80800000)", "[a64]") {
tests: Refactor unicorn_emu to allow for A32 unicorn
2018-08-11 11:39:53 +01:00
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
emit_x64_vector_floating_point: Correct FMA in FTZ mode x64 rounds before flushing to zero AArch64 rounds after flushing to zero This difference of behaviour is noticable if something would round to a smallest normalized number
2018-07-31 18:12:39 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x4e38cc2b); // FMLA.4S V11, V1, V24
env.code_mem.emplace_back(0x14000000); // B .
emit_x64_vector_floating_point: Correct FMA in FTZ mode x64 rounds before flushing to zero AArch64 rounds after flushing to zero This difference of behaviour is noticable if something would round to a smallest normalized number
2018-07-31 18:12:39 +01:00
jit.SetPC(0);
jit.SetVector(11, {0xc79b271efff05678, 0xffc0000080800000});
jit.SetVector(1, {0x00636d2400800000, 0x0966320bb26bddee});
jit.SetVector(24, {0x460e8c84fff00000, 0x8ba98d2780800002});
jit.SetFpcr(0x03000000);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(11) == Vector{0xc79b271e7fc00000, 0x7fc0000080000000});
}
emit_x64_floating_point: Fix smallest normal check in EmitFPMulAdd
2018-08-18 13:49:02 +01:00
// x64 has different rounding behaviour to AArch64.
// AArch64 performs rounding after flushing-to-zero.
// x64 performs rounding before flushing-to-zero.
TEST_CASE("A64: FMADD (0x80800000)", "[a64]") {
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
emit_x64_floating_point: Fix smallest normal check in EmitFPMulAdd
2018-08-18 13:49:02 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x1f0f7319); // FMADD S25, S24, S15, S28
env.code_mem.emplace_back(0x14000000); // B .
emit_x64_floating_point: Fix smallest normal check in EmitFPMulAdd
2018-08-18 13:49:02 +01:00
jit.SetPC(0);
jit.SetVector(24, {0x00800000, 0});
jit.SetVector(15, {0x0ba98d27, 0});
jit.SetVector(28, {0x80800000, 0});
jit.SetFpcr(0x01000000);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(25) == Vector{0x80000000, 0});
}
simd_two_register_misc: FNEG (vector) with Q == 0 had dirty upper
2018-09-09 19:55:37 +01:00
TEST_CASE("A64: FNEG failed to zero upper", "[a64]") {
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
simd_two_register_misc: FNEG (vector) with Q == 0 had dirty upper
2018-09-09 19:55:37 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x2ea0fb50); // FNEG.2S V16, V26
env.code_mem.emplace_back(0x2e207a1c); // SQNEG.8B V28, V16
env.code_mem.emplace_back(0x14000000); // B .
simd_two_register_misc: FNEG (vector) with Q == 0 had dirty upper
2018-09-09 19:55:37 +01:00
jit.SetPC(0);
jit.SetVector(26, {0x071286fde8f34a90, 0x837cffa8be382f60});
jit.SetFpcr(0x01000000);
env.ticks_left = 6;
jit.Run();
REQUIRE(jit.GetVector(28) == Vector{0x79ee7a03980db670, 0});
REQUIRE(FP::FPSR{jit.GetFpsr()}.QC() == false);
}
emit_x64_floating_point: Hardware FMA implementation of FPRSqrtStepFused
2018-09-12 16:10:18 +01:00
TEST_CASE("A64: FRSQRTS", "[a64]") {
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
emit_x64_floating_point: Hardware FMA implementation of FPRSqrtStepFused
2018-09-12 16:10:18 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x5eb8fcad); // FRSQRTS S13, S5, S24
env.code_mem.emplace_back(0x14000000); // B .
emit_x64_floating_point: Hardware FMA implementation of FPRSqrtStepFused
2018-09-12 16:10:18 +01:00
// These particular values result in an intermediate value during
// the calculation that is close to infinity. We want to verify
// that this special case is handled appropriately.
jit.SetPC(0);
jit.SetVector(5, {0xfc6a0206, 0});
jit.SetVector(24, {0xfc6a0206, 0});
jit.SetFpcr(0x00400000);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(13) == Vector{0xff7fffff, 0});
}
emit_x64_vector: Changes to VectorSignedSaturatedDoublingMultiply * Return both the upper and lower parts of the multiply if required * SSE2 does not support the pmuldq instruction, do sign correction to an unsigned result instead * Improve port utilisation where possible (punpck instructions were a bottleneck)
2018-09-15 09:04:19 +01:00
TEST_CASE("A64: SQDMULH.8H (saturate)", "[a64]") {
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
emit_x64_vector: Changes to VectorSignedSaturatedDoublingMultiply * Return both the upper and lower parts of the multiply if required * SSE2 does not support the pmuldq instruction, do sign correction to an unsigned result instead * Improve port utilisation where possible (punpck instructions were a bottleneck)
2018-09-15 09:04:19 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x4e62b420); // SQDMULH.8H V0, V1, V2
env.code_mem.emplace_back(0x14000000); // B .
emit_x64_vector: Changes to VectorSignedSaturatedDoublingMultiply * Return both the upper and lower parts of the multiply if required * SSE2 does not support the pmuldq instruction, do sign correction to an unsigned result instead * Improve port utilisation where possible (punpck instructions were a bottleneck)
2018-09-15 09:04:19 +01:00
// Make sure that saturating values are tested
jit.SetPC(0);
jit.SetVector(1, {0x7fff80007ffe8001, 0x7fff80007ffe8001});
jit.SetVector(2, {0x7fff80007ffe8001, 0x80007fff80017ffe});
jit.SetFpsr(0);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(0) == Vector{0x7ffe7fff7ffc7ffe, 0x8001800180028002});
REQUIRE(FP::FPSR{jit.GetFpsr()}.QC() == true);
}
TEST_CASE("A64: SQDMULH.4S (saturate)", "[a64]") {
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
emit_x64_vector: Changes to VectorSignedSaturatedDoublingMultiply * Return both the upper and lower parts of the multiply if required * SSE2 does not support the pmuldq instruction, do sign correction to an unsigned result instead * Improve port utilisation where possible (punpck instructions were a bottleneck)
2018-09-15 09:04:19 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0x4ea2b420); // SQDMULH.4S V0, V1, V2
env.code_mem.emplace_back(0x14000000); // B .
emit_x64_vector: Changes to VectorSignedSaturatedDoublingMultiply * Return both the upper and lower parts of the multiply if required * SSE2 does not support the pmuldq instruction, do sign correction to an unsigned result instead * Improve port utilisation where possible (punpck instructions were a bottleneck)
2018-09-15 09:04:19 +01:00
// Make sure that saturating values are tested
jit.SetPC(0);
jit.SetVector(1, {0x7fffffff80000000, 0x7fffffff80000000});
jit.SetVector(2, {0x7fffffff80000000, 0x800000007fffffff});
jit.SetFpsr(0);
env.ticks_left = 2;
jit.Run();
REQUIRE(jit.GetVector(0) == Vector{0x7ffffffe7fffffff, 0x8000000180000001});
REQUIRE(FP::FPSR{jit.GetFpsr()}.QC() == true);
}
tests/a64: Reminder about hidden infinite loops
2020-04-23 18:11:45 +01:00
TEST_CASE("A64: This is an infinite loop if fast dispatch is enabled", "[a64]") {
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::UserConfig conf{&env};
conf.optimizations &= ~OptimizationFlag::FastDispatch;
A64::Jit jit{conf};
tests/a64: Reminder about hidden infinite loops
2020-04-23 18:11:45 +01:00
env.code_mem.emplace_back(0x2ef998fa);
env.code_mem.emplace_back(0x2ef41c11);
env.code_mem.emplace_back(0x0f07fdd8);
env.code_mem.emplace_back(0x9ac90d09);
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0xd63f0120); // BLR X9
env.code_mem.emplace_back(0x14000000); // B .
tests/a64: Reminder about hidden infinite loops
2020-04-23 18:11:45 +01:00
env.ticks_left = 6;
jit.Run();
}
constant_propagation_pass: Don't fold add if we nee flags Results in incorrect flags
2020-04-29 15:33:12 +01:00
TEST_CASE("A64: Optimization failure when folding ADD", "[a64]") {
A64TestEnv env;
Add optimization flags to disable specific optimizations
2020-06-28 21:39:26 +01:00
A64::Jit jit{A64::UserConfig{&env}};
constant_propagation_pass: Don't fold add if we nee flags Results in incorrect flags
2020-04-29 15:33:12 +01:00
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0xbc4f84be); // LDR S30, [X5], #248
env.code_mem.emplace_back(0x9a0c00ea); // ADC X10, X7, X12
env.code_mem.emplace_back(0x5a1a0079); // SBC W25, W3, W26
env.code_mem.emplace_back(0x9b0e2be9); // MADD X9, XZR, X14, X10
env.code_mem.emplace_back(0xfa5fe8a9); // CCMP X5, #31, #9, AL
env.code_mem.emplace_back(0x14000000); // B .
constant_propagation_pass: Don't fold add if we nee flags Results in incorrect flags
2020-04-29 15:33:12 +01:00
jit.SetPC(0);
jit.SetRegister(0, 0x46e15845dba57924);
jit.SetRegister(1, 0x6f60d04350581fea);
jit.SetRegister(2, 0x85cface50edcfc03);
jit.SetRegister(3, 0x47e1e8906e10ec5a);
jit.SetRegister(4, 0x70717c9450b6b707);
jit.SetRegister(5, 0x300d83205baeaff4);
jit.SetRegister(6, 0xb7890de7c6fee082);
jit.SetRegister(7, 0xa89fb6d6f1b42f4a);
jit.SetRegister(8, 0x04e36b8aada91d4f);
jit.SetRegister(9, 0xa03bf6bde71c6ac5);
jit.SetRegister(10, 0x319374d14baa83b0);
jit.SetRegister(11, 0x5a78fc0fffca7c5f);
jit.SetRegister(12, 0xc012b5063f43b8ad);
jit.SetRegister(13, 0x821ade159d39fea1);
jit.SetRegister(14, 0x41f97b2f5525c25e);
jit.SetRegister(15, 0xab0cd3653cb93738);
jit.SetRegister(16, 0x50dfcb55a4ebd554);
jit.SetRegister(17, 0x30dd7d18ae52df03);
jit.SetRegister(18, 0x4e53b20d252bf085);
jit.SetRegister(19, 0x013582d71f5fd42a);
jit.SetRegister(20, 0x97a151539dad44e7);
jit.SetRegister(21, 0xa6fcc6bb220a2ad3);
jit.SetRegister(22, 0x4c84d3c84a6c5c5c);
jit.SetRegister(23, 0x1a7596a5ef930dff);
jit.SetRegister(24, 0x06248d96a02ff210);
jit.SetRegister(25, 0xfcb8772aec4b1dfd);
jit.SetRegister(26, 0x63619787b6a17665);
jit.SetRegister(27, 0xbd50c3352d001e40);
jit.SetRegister(28, 0x4e186aae63c81553);
jit.SetRegister(29, 0x57462b7163bd6508);
jit.SetRegister(30, 0xa977c850d16d562c);
jit.SetSP(0x000000da9b761d8c);
jit.SetFpsr(0x03480000);
jit.SetPstate(0x30000000);
env.ticks_left = 6;
jit.Run();
REQUIRE(jit.GetRegister(0) == 0x46e15845dba57924);
REQUIRE(jit.GetRegister(1) == 0x6f60d04350581fea);
REQUIRE(jit.GetRegister(2) == 0x85cface50edcfc03);
REQUIRE(jit.GetRegister(3) == 0x47e1e8906e10ec5a);
REQUIRE(jit.GetRegister(4) == 0x70717c9450b6b707);
REQUIRE(jit.GetRegister(5) == 0x300d83205baeb0ec);
REQUIRE(jit.GetRegister(6) == 0xb7890de7c6fee082);
REQUIRE(jit.GetRegister(7) == 0xa89fb6d6f1b42f4a);
REQUIRE(jit.GetRegister(8) == 0x04e36b8aada91d4f);
REQUIRE(jit.GetRegister(9) == 0x68b26bdd30f7e7f8);
REQUIRE(jit.GetRegister(10) == 0x68b26bdd30f7e7f8);
REQUIRE(jit.GetRegister(11) == 0x5a78fc0fffca7c5f);
REQUIRE(jit.GetRegister(12) == 0xc012b5063f43b8ad);
REQUIRE(jit.GetRegister(13) == 0x821ade159d39fea1);
REQUIRE(jit.GetRegister(14) == 0x41f97b2f5525c25e);
REQUIRE(jit.GetRegister(15) == 0xab0cd3653cb93738);
REQUIRE(jit.GetRegister(16) == 0x50dfcb55a4ebd554);
REQUIRE(jit.GetRegister(17) == 0x30dd7d18ae52df03);
REQUIRE(jit.GetRegister(18) == 0x4e53b20d252bf085);
REQUIRE(jit.GetRegister(19) == 0x013582d71f5fd42a);
REQUIRE(jit.GetRegister(20) == 0x97a151539dad44e7);
REQUIRE(jit.GetRegister(21) == 0xa6fcc6bb220a2ad3);
REQUIRE(jit.GetRegister(22) == 0x4c84d3c84a6c5c5c);
REQUIRE(jit.GetRegister(23) == 0x1a7596a5ef930dff);
REQUIRE(jit.GetRegister(24) == 0x06248d96a02ff210);
REQUIRE(jit.GetRegister(25) == 0x00000000b76f75f5);
REQUIRE(jit.GetRegister(26) == 0x63619787b6a17665);
REQUIRE(jit.GetRegister(27) == 0xbd50c3352d001e40);
REQUIRE(jit.GetRegister(28) == 0x4e186aae63c81553);
REQUIRE(jit.GetRegister(29) == 0x57462b7163bd6508);
REQUIRE(jit.GetRegister(30) == 0xa977c850d16d562c);
REQUIRE(jit.GetPstate() == 0x20000000);
REQUIRE(jit.GetVector(30) == Vector{0xf7f6f5f4, 0});
}
fixed data + instruction cache callbacks (w/ tests)
2020-11-12 16:15:33 +00:00
TEST_CASE("A64: Cache Maintenance Instructions", "[a64]") {
class CacheMaintenanceTestEnv final : public A64TestEnv {
void InstructionCacheOperationRaised(A64::InstructionCacheOperation op, VAddr value) override {
REQUIRE(op == A64::InstructionCacheOperation::InvalidateByVAToPoU);
REQUIRE(value == 0xcafed00d);
}
void DataCacheOperationRaised(A64::DataCacheOperation op, VAddr value) override {
REQUIRE(op == A64::DataCacheOperation::InvalidateByVAToPoC);
REQUIRE(value == 0xcafebabe);
}
};
CacheMaintenanceTestEnv env;
A64::UserConfig conf{&env};
conf.hook_data_cache_operations = true;
A64::Jit jit{conf};
jit.SetRegister(0, 0xcafed00d);
jit.SetRegister(1, 0xcafebabe);
Add .clang-format file Using clang-format version 12.0.0
2021-05-22 14:51:20 +01:00
env.code_mem.emplace_back(0xd50b7520); // ic ivau, x0
env.code_mem.emplace_back(0xd5087621); // dc ivac, x1
env.code_mem.emplace_back(0x14000000); // B .
fixed data + instruction cache callbacks (w/ tests)
2020-11-12 16:15:33 +00:00
env.ticks_left = 3;
jit.Run();
}
unit tests & various fixes
2020-06-21 18:29:55 +01:00
TEST_CASE("A64: Memory access (fastmem)", "[a64]") {
constexpr size_t address_width = 12;
constexpr size_t memory_size = 1ull << address_width; // 4K
constexpr size_t page_size = 4 * 1024;
constexpr size_t buffer_size = 2 * page_size;
char buffer[buffer_size];
void* buffer_ptr = reinterpret_cast<void*>(buffer);
size_t buffer_size_nconst = buffer_size;
char* backing_memory = reinterpret_cast<char*>(std::align(page_size, memory_size, buffer_ptr, buffer_size_nconst));
A64FastmemTestEnv env{backing_memory};
Dynarmic::A64::UserConfig config{&env};
config.fastmem_pointer = backing_memory;
config.page_table_address_space_bits = address_width;
config.recompile_on_fastmem_failure = false;
config.silently_mirror_page_table = true;
config.processor_id = 0;
Dynarmic::A64::Jit jit{config};
memset(backing_memory, 0, memory_size);
memcpy(backing_memory + 0x100, "Lorem ipsum dolor sit amet, consectetur adipiscing elit.", 57);
env.MemoryWrite32(0, 0xA9401404); // LDP X4, X5, [X0]
env.MemoryWrite32(4, 0xF9400046); // LDR X6, [X2]
env.MemoryWrite32(8, 0xA9001424); // STP X4, X5, [X1]
env.MemoryWrite32(12, 0xF9000066); // STR X6, [X3]
env.MemoryWrite32(16, 0x14000000); // B .
jit.SetRegister(0, 0x100);
jit.SetRegister(1, 0x1F0);
jit.SetRegister(2, 0x10F);
jit.SetRegister(3, 0x1FF);
jit.SetPC(0);
jit.SetSP(memory_size - 1);
jit.SetFpsr(0x03480000);
jit.SetPstate(0x30000000);
env.ticks_left = 5;
jit.Run();
REQUIRE(strncmp(backing_memory + 0x100, backing_memory + 0x1F0, 23) == 0);
}
Reference in a new issue Copy permalink