13e3f0c31SJob Henandez Lara //===-- Utility class to test fmaximum_mag[f|l] -----------------*- C++ -*-===// 23e3f0c31SJob Henandez Lara // 33e3f0c31SJob Henandez Lara // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 43e3f0c31SJob Henandez Lara // See https://llvm.org/LICENSE.txt for license information. 53e3f0c31SJob Henandez Lara // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 63e3f0c31SJob Henandez Lara // 73e3f0c31SJob Henandez Lara //===----------------------------------------------------------------------===// 83e3f0c31SJob Henandez Lara 93e3f0c31SJob Henandez Lara #ifndef LLVM_LIBC_TEST_SRC_MATH_SMOKE_FMAXIMUM_MAGTEST_H 103e3f0c31SJob Henandez Lara #define LLVM_LIBC_TEST_SRC_MATH_SMOKE_FMAXIMUM_MAGTEST_H 113e3f0c31SJob Henandez Lara 12dd1cd02aSOverMighty #include "src/__support/CPP/algorithm.h" 133e3f0c31SJob Henandez Lara #include "src/__support/FPUtil/BasicOperations.h" 14837dab96SRoland McGrath #include "test/UnitTest/FEnvSafeTest.h" 153e3f0c31SJob Henandez Lara #include "test/UnitTest/FPMatcher.h" 163e3f0c31SJob Henandez Lara #include "test/UnitTest/Test.h" 173e3f0c31SJob Henandez Lara 183e3f0c31SJob Henandez Lara template <typename T> 19837dab96SRoland McGrath class FMaximumMagTest : public LIBC_NAMESPACE::testing::FEnvSafeTest { 203e3f0c31SJob Henandez Lara 213e3f0c31SJob Henandez Lara DECLARE_SPECIAL_CONSTANTS(T) 223e3f0c31SJob Henandez Lara 233e3f0c31SJob Henandez Lara public: 243e3f0c31SJob Henandez Lara typedef T (*FMaximumMagFunc)(T, T); 253e3f0c31SJob Henandez Lara 263e3f0c31SJob Henandez Lara void testNaN(FMaximumMagFunc func) { 273e3f0c31SJob Henandez Lara EXPECT_FP_EQ(aNaN, func(aNaN, inf)); 283e3f0c31SJob Henandez Lara EXPECT_FP_EQ(aNaN, func(neg_inf, aNaN)); 29*88f0dc48SOverMighty EXPECT_FP_EQ(aNaN, func(aNaN, zero)); 30*88f0dc48SOverMighty EXPECT_FP_EQ(aNaN, func(neg_zero, aNaN)); 313e3f0c31SJob Henandez Lara EXPECT_FP_EQ(aNaN, func(aNaN, T(-1.2345))); 323e3f0c31SJob Henandez Lara EXPECT_FP_EQ(aNaN, func(T(1.2345), aNaN)); 333e3f0c31SJob Henandez Lara EXPECT_FP_EQ(aNaN, func(aNaN, aNaN)); 343e3f0c31SJob Henandez Lara } 353e3f0c31SJob Henandez Lara 363e3f0c31SJob Henandez Lara void testInfArg(FMaximumMagFunc func) { 373e3f0c31SJob Henandez Lara EXPECT_FP_EQ(inf, func(neg_inf, inf)); 38*88f0dc48SOverMighty EXPECT_FP_EQ(inf, func(inf, zero)); 39*88f0dc48SOverMighty EXPECT_FP_EQ(inf, func(neg_zero, inf)); 403e3f0c31SJob Henandez Lara EXPECT_FP_EQ(inf, func(inf, T(1.2345))); 413e3f0c31SJob Henandez Lara EXPECT_FP_EQ(inf, func(T(-1.2345), inf)); 423e3f0c31SJob Henandez Lara } 433e3f0c31SJob Henandez Lara 443e3f0c31SJob Henandez Lara void testNegInfArg(FMaximumMagFunc func) { 453e3f0c31SJob Henandez Lara EXPECT_FP_EQ(inf, func(inf, neg_inf)); 46*88f0dc48SOverMighty EXPECT_FP_EQ(neg_inf, func(neg_inf, zero)); 47*88f0dc48SOverMighty EXPECT_FP_EQ(neg_inf, func(neg_zero, neg_inf)); 483e3f0c31SJob Henandez Lara EXPECT_FP_EQ(neg_inf, func(neg_inf, T(-1.2345))); 493e3f0c31SJob Henandez Lara EXPECT_FP_EQ(neg_inf, func(T(1.2345), neg_inf)); 503e3f0c31SJob Henandez Lara } 513e3f0c31SJob Henandez Lara 523e3f0c31SJob Henandez Lara void testBothZero(FMaximumMagFunc func) { 53*88f0dc48SOverMighty EXPECT_FP_EQ(zero, func(zero, zero)); 54*88f0dc48SOverMighty EXPECT_FP_EQ(zero, func(neg_zero, zero)); 55*88f0dc48SOverMighty EXPECT_FP_EQ(zero, func(zero, neg_zero)); 56*88f0dc48SOverMighty EXPECT_FP_EQ(neg_zero, func(neg_zero, neg_zero)); 573e3f0c31SJob Henandez Lara } 583e3f0c31SJob Henandez Lara 593e3f0c31SJob Henandez Lara void testRange(FMaximumMagFunc func) { 60dd1cd02aSOverMighty constexpr int COUNT = 100'001; 61dd1cd02aSOverMighty constexpr StorageType STEP = LIBC_NAMESPACE::cpp::max( 62dd1cd02aSOverMighty static_cast<StorageType>(STORAGE_MAX / COUNT), StorageType(1)); 63dd1cd02aSOverMighty StorageType v = 0, w = STORAGE_MAX; 64dd1cd02aSOverMighty for (int i = 0; i <= COUNT; ++i, v += STEP, w -= STEP) { 653e3f0c31SJob Henandez Lara FPBits xbits(v), ybits(w); 663e3f0c31SJob Henandez Lara if (xbits.is_inf_or_nan()) 673e3f0c31SJob Henandez Lara continue; 683e3f0c31SJob Henandez Lara if (ybits.is_inf_or_nan()) 693e3f0c31SJob Henandez Lara continue; 703e3f0c31SJob Henandez Lara T x = xbits.get_val(); 713e3f0c31SJob Henandez Lara T y = ybits.get_val(); 723e3f0c31SJob Henandez Lara if ((x == 0) && (y == 0)) 733e3f0c31SJob Henandez Lara continue; 743e3f0c31SJob Henandez Lara 75dd1cd02aSOverMighty if (LIBC_NAMESPACE::fputil::abs(x) > LIBC_NAMESPACE::fputil::abs(y)) 763e3f0c31SJob Henandez Lara EXPECT_FP_EQ(x, func(x, y)); 77dd1cd02aSOverMighty else 783e3f0c31SJob Henandez Lara EXPECT_FP_EQ(y, func(x, y)); 793e3f0c31SJob Henandez Lara } 803e3f0c31SJob Henandez Lara } 813e3f0c31SJob Henandez Lara }; 823e3f0c31SJob Henandez Lara 833e3f0c31SJob Henandez Lara #define LIST_FMAXIMUM_MAG_TESTS(T, func) \ 843e3f0c31SJob Henandez Lara using LlvmLibcFMaximumMagTest = FMaximumMagTest<T>; \ 853e3f0c31SJob Henandez Lara TEST_F(LlvmLibcFMaximumMagTest, NaN) { testNaN(&func); } \ 863e3f0c31SJob Henandez Lara TEST_F(LlvmLibcFMaximumMagTest, InfArg) { testInfArg(&func); } \ 873e3f0c31SJob Henandez Lara TEST_F(LlvmLibcFMaximumMagTest, NegInfArg) { testNegInfArg(&func); } \ 883e3f0c31SJob Henandez Lara TEST_F(LlvmLibcFMaximumMagTest, BothZero) { testBothZero(&func); } \ 893e3f0c31SJob Henandez Lara TEST_F(LlvmLibcFMaximumMagTest, Range) { testRange(&func); } 903e3f0c31SJob Henandez Lara 913e3f0c31SJob Henandez Lara #endif // LLVM_LIBC_TEST_SRC_MATH_SMOKE_FMAXIMUM_MAGTEST_H 92