1*71db0c75SAndroid Build Coastguard Worker //===-- Utility class to test different flavors of nearbyint ----*- C++ -*-===// 2*71db0c75SAndroid Build Coastguard Worker // 3*71db0c75SAndroid Build Coastguard Worker // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*71db0c75SAndroid Build Coastguard Worker // See https://llvm.org/LICENSE.txt for license information. 5*71db0c75SAndroid Build Coastguard Worker // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*71db0c75SAndroid Build Coastguard Worker // 7*71db0c75SAndroid Build Coastguard Worker //===----------------------------------------------------------------------===// 8*71db0c75SAndroid Build Coastguard Worker 9*71db0c75SAndroid Build Coastguard Worker #ifndef LLVM_LIBC_TEST_SRC_MATH_NEARBYINTTEST_H 10*71db0c75SAndroid Build Coastguard Worker #define LLVM_LIBC_TEST_SRC_MATH_NEARBYINTTEST_H 11*71db0c75SAndroid Build Coastguard Worker 12*71db0c75SAndroid Build Coastguard Worker #include "src/__support/CPP/algorithm.h" 13*71db0c75SAndroid Build Coastguard Worker #include "src/__support/CPP/array.h" 14*71db0c75SAndroid Build Coastguard Worker #include "test/UnitTest/FEnvSafeTest.h" 15*71db0c75SAndroid Build Coastguard Worker #include "test/UnitTest/FPMatcher.h" 16*71db0c75SAndroid Build Coastguard Worker #include "test/UnitTest/Test.h" 17*71db0c75SAndroid Build Coastguard Worker #include "utils/MPFRWrapper/MPFRUtils.h" 18*71db0c75SAndroid Build Coastguard Worker 19*71db0c75SAndroid Build Coastguard Worker using namespace LIBC_NAMESPACE::fputil::testing; 20*71db0c75SAndroid Build Coastguard Worker 21*71db0c75SAndroid Build Coastguard Worker namespace mpfr = LIBC_NAMESPACE::testing::mpfr; 22*71db0c75SAndroid Build Coastguard Worker 23*71db0c75SAndroid Build Coastguard Worker template <typename T> 24*71db0c75SAndroid Build Coastguard Worker class NearbyIntTestTemplate : public LIBC_NAMESPACE::testing::FEnvSafeTest { 25*71db0c75SAndroid Build Coastguard Worker 26*71db0c75SAndroid Build Coastguard Worker DECLARE_SPECIAL_CONSTANTS(T) 27*71db0c75SAndroid Build Coastguard Worker 28*71db0c75SAndroid Build Coastguard Worker static constexpr LIBC_NAMESPACE::cpp::array<RoundingMode, 4> ROUNDING_MODES = 29*71db0c75SAndroid Build Coastguard Worker { 30*71db0c75SAndroid Build Coastguard Worker RoundingMode::Upward, 31*71db0c75SAndroid Build Coastguard Worker RoundingMode::Downward, 32*71db0c75SAndroid Build Coastguard Worker RoundingMode::TowardZero, 33*71db0c75SAndroid Build Coastguard Worker RoundingMode::Nearest, 34*71db0c75SAndroid Build Coastguard Worker }; 35*71db0c75SAndroid Build Coastguard Worker 36*71db0c75SAndroid Build Coastguard Worker static constexpr StorageType MIN_SUBNORMAL = 37*71db0c75SAndroid Build Coastguard Worker FPBits::min_subnormal().uintval(); 38*71db0c75SAndroid Build Coastguard Worker static constexpr StorageType MAX_SUBNORMAL = 39*71db0c75SAndroid Build Coastguard Worker FPBits::max_subnormal().uintval(); 40*71db0c75SAndroid Build Coastguard Worker static constexpr StorageType MIN_NORMAL = FPBits::min_normal().uintval(); 41*71db0c75SAndroid Build Coastguard Worker static constexpr StorageType MAX_NORMAL = FPBits::max_normal().uintval(); 42*71db0c75SAndroid Build Coastguard Worker 43*71db0c75SAndroid Build Coastguard Worker public: 44*71db0c75SAndroid Build Coastguard Worker using NearbyIntFunc = T (*)(T); 45*71db0c75SAndroid Build Coastguard Worker test_round_numbers(NearbyIntFunc func)46*71db0c75SAndroid Build Coastguard Worker void test_round_numbers(NearbyIntFunc func) { 47*71db0c75SAndroid Build Coastguard Worker for (RoundingMode mode : ROUNDING_MODES) { 48*71db0c75SAndroid Build Coastguard Worker if (ForceRoundingMode r(mode); r.success) { 49*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(1.0)), mpfr::round(T(1.0), mode)); 50*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(-1.0)), mpfr::round(T(-1.0), mode)); 51*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(10.0)), mpfr::round(T(10.0), mode)); 52*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(-10.0)), mpfr::round(T(-10.0), mode)); 53*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(1234.0)), mpfr::round(T(1234.0), mode)); 54*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(-1234.0)), mpfr::round(T(-1234.0), mode)); 55*71db0c75SAndroid Build Coastguard Worker } 56*71db0c75SAndroid Build Coastguard Worker } 57*71db0c75SAndroid Build Coastguard Worker } 58*71db0c75SAndroid Build Coastguard Worker test_fractions(NearbyIntFunc func)59*71db0c75SAndroid Build Coastguard Worker void test_fractions(NearbyIntFunc func) { 60*71db0c75SAndroid Build Coastguard Worker for (RoundingMode mode : ROUNDING_MODES) { 61*71db0c75SAndroid Build Coastguard Worker if (ForceRoundingMode r(mode); r.success) { 62*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(0.5)), mpfr::round(T(0.5), mode)); 63*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(-0.5)), mpfr::round(T(-0.5), mode)); 64*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(0.115)), mpfr::round(T(0.115), mode)); 65*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(-0.115)), mpfr::round(T(-0.115), mode)); 66*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(0.715)), mpfr::round(T(0.715), mode)); 67*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(T(-0.715)), mpfr::round(T(-0.715), mode)); 68*71db0c75SAndroid Build Coastguard Worker } 69*71db0c75SAndroid Build Coastguard Worker } 70*71db0c75SAndroid Build Coastguard Worker } 71*71db0c75SAndroid Build Coastguard Worker test_subnormal_range(NearbyIntFunc func)72*71db0c75SAndroid Build Coastguard Worker void test_subnormal_range(NearbyIntFunc func) { 73*71db0c75SAndroid Build Coastguard Worker constexpr int COUNT = 100'001; 74*71db0c75SAndroid Build Coastguard Worker const StorageType STEP = LIBC_NAMESPACE::cpp::max( 75*71db0c75SAndroid Build Coastguard Worker static_cast<StorageType>((MAX_SUBNORMAL - MIN_SUBNORMAL) / COUNT), 76*71db0c75SAndroid Build Coastguard Worker StorageType(1)); 77*71db0c75SAndroid Build Coastguard Worker for (StorageType i = MIN_SUBNORMAL; i <= MAX_SUBNORMAL; i += STEP) { 78*71db0c75SAndroid Build Coastguard Worker T x = FPBits(i).get_val(); 79*71db0c75SAndroid Build Coastguard Worker for (RoundingMode mode : ROUNDING_MODES) { 80*71db0c75SAndroid Build Coastguard Worker if (ForceRoundingMode r(mode); r.success) { 81*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(x), mpfr::round(x, mode)); 82*71db0c75SAndroid Build Coastguard Worker } 83*71db0c75SAndroid Build Coastguard Worker } 84*71db0c75SAndroid Build Coastguard Worker } 85*71db0c75SAndroid Build Coastguard Worker } 86*71db0c75SAndroid Build Coastguard Worker 87*71db0c75SAndroid Build Coastguard Worker void test_normal_range(NearbyIntFunc func) { 88*71db0c75SAndroid Build Coastguard Worker constexpr int COUNT = 100'001; 89*71db0c75SAndroid Build Coastguard Worker const StorageType STEP = LIBC_NAMESPACE::cpp::max( 90*71db0c75SAndroid Build Coastguard Worker static_cast<StorageType>((MAX_NORMAL - MIN_NORMAL) / COUNT), 91*71db0c75SAndroid Build Coastguard Worker StorageType(1)); 92*71db0c75SAndroid Build Coastguard Worker for (StorageType i = MIN_NORMAL; i <= MAX_NORMAL; i += STEP) { 93*71db0c75SAndroid Build Coastguard Worker FPBits xbits(i); 94*71db0c75SAndroid Build Coastguard Worker T x = xbits.get_val(); 95*71db0c75SAndroid Build Coastguard Worker // In normal range on x86 platforms, the long double implicit 1 bit can be 96*71db0c75SAndroid Build Coastguard Worker // zero making the numbers NaN. We will skip them. 97*71db0c75SAndroid Build Coastguard Worker if (xbits.is_nan()) 98*71db0c75SAndroid Build Coastguard Worker continue; 99*71db0c75SAndroid Build Coastguard Worker 100*71db0c75SAndroid Build Coastguard Worker for (RoundingMode mode : ROUNDING_MODES) { 101*71db0c75SAndroid Build Coastguard Worker if (ForceRoundingMode r(mode); r.success) { 102*71db0c75SAndroid Build Coastguard Worker EXPECT_FP_EQ(func(x), mpfr::round(x, mode)); 103*71db0c75SAndroid Build Coastguard Worker } 104*71db0c75SAndroid Build Coastguard Worker } 105*71db0c75SAndroid Build Coastguard Worker } 106*71db0c75SAndroid Build Coastguard Worker } 107*71db0c75SAndroid Build Coastguard Worker }; 108*71db0c75SAndroid Build Coastguard Worker 109*71db0c75SAndroid Build Coastguard Worker #define LIST_NEARBYINT_TESTS(F, func) \ 110*71db0c75SAndroid Build Coastguard Worker using LlvmLibcNearbyIntTest = NearbyIntTestTemplate<F>; \ 111*71db0c75SAndroid Build Coastguard Worker TEST_F(LlvmLibcNearbyIntTest, RoundNumbers) { test_round_numbers(&func); } \ 112*71db0c75SAndroid Build Coastguard Worker TEST_F(LlvmLibcNearbyIntTest, Fractions) { test_fractions(&func); } \ 113*71db0c75SAndroid Build Coastguard Worker TEST_F(LlvmLibcNearbyIntTest, SubnormalRange) { \ 114*71db0c75SAndroid Build Coastguard Worker test_subnormal_range(&func); \ 115*71db0c75SAndroid Build Coastguard Worker } \ 116*71db0c75SAndroid Build Coastguard Worker TEST_F(LlvmLibcNearbyIntTest, NormalRange) { test_normal_range(&func); } 117*71db0c75SAndroid Build Coastguard Worker 118*71db0c75SAndroid Build Coastguard Worker #endif // LLVM_LIBC_TEST_SRC_MATH_NEARBYINTTEST_H 119