12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758 |
- /* This file is part of the dynarmic project.
- * Copyright (c) 2018 MerryMage
- * SPDX-License-Identifier: 0BSD
- */
- #include <tuple>
- #include <vector>
- #include <catch2/catch_test_macros.hpp>
- #include <mcl/stdint.hpp>
- #include "../rand_int.h"
- #include "dynarmic/common/fp/fpcr.h"
- #include "dynarmic/common/fp/fpsr.h"
- #include "dynarmic/common/fp/op.h"
- #include "dynarmic/common/fp/rounding_mode.h"
- using namespace Dynarmic;
- using namespace Dynarmic::FP;
- TEST_CASE("FPToFixed", "[fp]") {
- const std::vector<std::tuple<u32, size_t, u64, u32>> test_cases{
- {0x447A0000, 64, 0x000003E8, 0x00},
- {0xC47A0000, 32, 0xFFFFFC18, 0x00},
- {0x4479E000, 64, 0x000003E8, 0x10},
- {0x50800000, 32, 0x7FFFFFFF, 0x01},
- {0xD0800000, 32, 0x80000000, 0x01},
- {0xCF000000, 32, 0x80000000, 0x00},
- {0x80002B94, 64, 0x00000000, 0x10},
- {0x80636D24, 64, 0x00000000, 0x10},
- };
- const FPCR fpcr;
- for (auto [input, ibits, expected_output, expected_fpsr] : test_cases) {
- FPSR fpsr;
- const u64 output = FPToFixed<u32>(ibits, input, 0, false, fpcr, RoundingMode::ToNearest_TieEven, fpsr);
- REQUIRE(output == expected_output);
- REQUIRE(fpsr.Value() == expected_fpsr);
- }
- }
- TEST_CASE("FPToFixed edge cases", "[fp]") {
- const std::vector<std::tuple<u64, u64, bool, FP::RoundingMode>> test_cases{
- {0x41dffffffffffffe, 0x7fffffff, false, FP::RoundingMode::ToNearest_TieEven},
- {0x41dffffffffffffe, 0x7fffffff, false, FP::RoundingMode::TowardsPlusInfinity},
- {0x41dffffffffffffe, 0x7fffffff, false, FP::RoundingMode::TowardsMinusInfinity},
- {0x41dffffffffffffe, 0x7fffffff, false, FP::RoundingMode::TowardsZero},
- {0x41dffffffffffffe, 0x7fffffff, false, FP::RoundingMode::ToNearest_TieAwayFromZero},
- };
- const FPCR fpcr;
- FPSR fpsr;
- for (auto [input, expected_output, unsigned_, rounding_mode] : test_cases) {
- const u64 output = FPToFixed<u64>(32, input, 0, unsigned_, fpcr, rounding_mode, fpsr);
- REQUIRE(output == expected_output);
- }
- }
|