xref: /llvm-project/libc/test/src/math/smoke/FMaximumMagTest.h (revision 88f0dc48d6f46e1677dc679ae649e9b291140b13)
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