1 //===-- Utility class to test fmin[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_FMINTEST_H 10 #define LLVM_LIBC_TEST_SRC_MATH_SMOKE_FMINTEST_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 FMinTest : public LIBC_NAMESPACE::testing::FEnvSafeTest { 19 20 DECLARE_SPECIAL_CONSTANTS(T) 21 22 public: 23 typedef T (*FMinFunc)(T, T); 24 testNaN(FMinFunc func)25 void testNaN(FMinFunc func) { 26 EXPECT_FP_EQ(inf, func(aNaN, inf)); 27 EXPECT_FP_EQ(neg_inf, func(neg_inf, aNaN)); 28 EXPECT_FP_EQ(zero, func(aNaN, zero)); 29 EXPECT_FP_EQ(neg_zero, func(neg_zero, aNaN)); 30 EXPECT_FP_EQ(T(-1.2345), func(aNaN, T(-1.2345))); 31 EXPECT_FP_EQ(T(1.2345), func(T(1.2345), aNaN)); 32 EXPECT_FP_EQ(aNaN, func(aNaN, aNaN)); 33 } 34 testInfArg(FMinFunc func)35 void testInfArg(FMinFunc 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(FMinFunc func)43 void testNegInfArg(FMinFunc 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(FMinFunc func)51 void testBothZero(FMinFunc 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(FMinFunc func)58 void testRange(FMinFunc 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 83 #define LIST_FMIN_TESTS(T, func) \ 84 using LlvmLibcFMinTest = FMinTest<T>; \ 85 TEST_F(LlvmLibcFMinTest, NaN) { testNaN(&func); } \ 86 TEST_F(LlvmLibcFMinTest, InfArg) { testInfArg(&func); } \ 87 TEST_F(LlvmLibcFMinTest, NegInfArg) { testNegInfArg(&func); } \ 88 TEST_F(LlvmLibcFMinTest, BothZero) { testBothZero(&func); } \ 89 TEST_F(LlvmLibcFMinTest, Range) { testRange(&func); } 90 91 #endif // LLVM_LIBC_TEST_SRC_MATH_SMOKE_FMINTEST_H 92