1 //===-- Utility class to test fminimum[f|l] ---------------------*- C++ -*-===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #ifndef LLVM_LIBC_TEST_SRC_MATH_SMOKE_FMINIMUMTEST_H 10 #define LLVM_LIBC_TEST_SRC_MATH_SMOKE_FMINIMUMTEST_H 11 12 #include "src/__support/CPP/algorithm.h" 13 #include "test/UnitTest/FEnvSafeTest.h" 14 #include "test/UnitTest/FPMatcher.h" 15 #include "test/UnitTest/Test.h" 16 17 template <typename T> 18 class FMinimumTest : public LIBC_NAMESPACE::testing::FEnvSafeTest { 19 20 DECLARE_SPECIAL_CONSTANTS(T) 21 22 public: 23 typedef T (*FMinimumFunc)(T, T); 24 testNaN(FMinimumFunc func)25 void testNaN(FMinimumFunc func) { 26 EXPECT_FP_EQ(aNaN, func(aNaN, inf)); 27 EXPECT_FP_EQ(aNaN, func(neg_inf, aNaN)); 28 EXPECT_FP_EQ(aNaN, func(aNaN, zero)); 29 EXPECT_FP_EQ(aNaN, func(neg_zero, aNaN)); 30 EXPECT_FP_EQ(aNaN, func(aNaN, T(-1.2345))); 31 EXPECT_FP_EQ(aNaN, func(T(1.2345), aNaN)); 32 EXPECT_FP_EQ(aNaN, func(aNaN, aNaN)); 33 } 34 testInfArg(FMinimumFunc func)35 void testInfArg(FMinimumFunc func) { 36 EXPECT_FP_EQ(neg_inf, func(neg_inf, inf)); 37 EXPECT_FP_EQ(zero, func(inf, zero)); 38 EXPECT_FP_EQ(neg_zero, func(neg_zero, inf)); 39 EXPECT_FP_EQ(T(1.2345), func(inf, T(1.2345))); 40 EXPECT_FP_EQ(T(1.2345), func(T(1.2345), inf)); 41 } 42 testNegInfArg(FMinimumFunc func)43 void testNegInfArg(FMinimumFunc func) { 44 EXPECT_FP_EQ(neg_inf, func(inf, neg_inf)); 45 EXPECT_FP_EQ(neg_inf, func(neg_inf, zero)); 46 EXPECT_FP_EQ(neg_inf, func(neg_zero, neg_inf)); 47 EXPECT_FP_EQ(neg_inf, func(neg_inf, T(-1.2345))); 48 EXPECT_FP_EQ(neg_inf, func(T(1.2345), neg_inf)); 49 } 50 testBothZero(FMinimumFunc func)51 void testBothZero(FMinimumFunc func) { 52 EXPECT_FP_EQ(zero, func(zero, zero)); 53 EXPECT_FP_EQ(neg_zero, func(neg_zero, zero)); 54 EXPECT_FP_EQ(neg_zero, func(zero, neg_zero)); 55 EXPECT_FP_EQ(neg_zero, func(neg_zero, neg_zero)); 56 } 57 testRange(FMinimumFunc func)58 void testRange(FMinimumFunc func) { 59 constexpr int COUNT = 100'001; 60 constexpr StorageType STEP = LIBC_NAMESPACE::cpp::max( 61 static_cast<StorageType>(STORAGE_MAX / COUNT), StorageType(1)); 62 StorageType v = 0, w = STORAGE_MAX; 63 for (int i = 0; i <= COUNT; ++i, v += STEP, w -= STEP) { 64 FPBits xbits(v), ybits(w); 65 if (xbits.is_inf_or_nan()) 66 continue; 67 if (ybits.is_inf_or_nan()) 68 continue; 69 T x = xbits.get_val(); 70 T y = ybits.get_val(); 71 if ((x == 0) && (y == 0)) 72 continue; 73 74 if (x > y) 75 EXPECT_FP_EQ(y, func(x, y)); 76 else 77 EXPECT_FP_EQ(x, func(x, y)); 78 } 79 } 80 }; 81 82 #define LIST_FMINIMUM_TESTS(T, func) \ 83 using LlvmLibcFMinimumTest = FMinimumTest<T>; \ 84 TEST_F(LlvmLibcFMinimumTest, NaN) { testNaN(&func); } \ 85 TEST_F(LlvmLibcFMinimumTest, InfArg) { testInfArg(&func); } \ 86 TEST_F(LlvmLibcFMinimumTest, NegInfArg) { testNegInfArg(&func); } \ 87 TEST_F(LlvmLibcFMinimumTest, BothZero) { testBothZero(&func); } \ 88 TEST_F(LlvmLibcFMinimumTest, Range) { testRange(&func); } 89 90 #endif // LLVM_LIBC_TEST_SRC_MATH_SMOKE_FMINIMUMTEST_H 91