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 #include "utils/FPUtil/TestHelpers.h" 10 #include "utils/MPFRWrapper/MPFRUtils.h" 11 #include "utils/UnitTest/Test.h" 12 13 #include <math.h> 14 15 namespace mpfr = __llvm_libc::testing::mpfr; 16 17 template <typename T> class FMaxTest : public __llvm_libc::testing::Test { 18 19 DECLARE_SPECIAL_CONSTANTS(T) 20 21 public: 22 typedef T (*FMaxFunc)(T, T); 23 testNaN(FMaxFunc func)24 void testNaN(FMaxFunc func) { 25 EXPECT_FP_EQ(inf, func(aNaN, inf)); 26 EXPECT_FP_EQ(negInf, func(negInf, aNaN)); 27 EXPECT_FP_EQ(0.0, func(aNaN, 0.0)); 28 EXPECT_FP_EQ(-0.0, func(-0.0, aNaN)); 29 EXPECT_FP_EQ(T(-1.2345), func(aNaN, T(-1.2345))); 30 EXPECT_FP_EQ(T(1.2345), func(T(1.2345), aNaN)); 31 EXPECT_FP_EQ(aNaN, func(aNaN, aNaN)); 32 } 33 testInfArg(FMaxFunc func)34 void testInfArg(FMaxFunc func) { 35 EXPECT_FP_EQ(inf, func(negInf, inf)); 36 EXPECT_FP_EQ(inf, func(inf, 0.0)); 37 EXPECT_FP_EQ(inf, func(-0.0, inf)); 38 EXPECT_FP_EQ(inf, func(inf, T(1.2345))); 39 EXPECT_FP_EQ(inf, func(T(-1.2345), inf)); 40 } 41 testNegInfArg(FMaxFunc func)42 void testNegInfArg(FMaxFunc func) { 43 EXPECT_FP_EQ(inf, func(inf, negInf)); 44 EXPECT_FP_EQ(0.0, func(negInf, 0.0)); 45 EXPECT_FP_EQ(-0.0, func(-0.0, negInf)); 46 EXPECT_FP_EQ(T(-1.2345), func(negInf, T(-1.2345))); 47 EXPECT_FP_EQ(T(1.2345), func(T(1.2345), negInf)); 48 } 49 testBothZero(FMaxFunc func)50 void testBothZero(FMaxFunc func) { 51 EXPECT_FP_EQ(0.0, func(0.0, 0.0)); 52 EXPECT_FP_EQ(0.0, func(-0.0, 0.0)); 53 EXPECT_FP_EQ(0.0, func(0.0, -0.0)); 54 EXPECT_FP_EQ(-0.0, func(-0.0, -0.0)); 55 } 56 testRange(FMaxFunc func)57 void testRange(FMaxFunc func) { 58 constexpr UIntType count = 10000001; 59 constexpr UIntType step = UIntType(-1) / count; 60 for (UIntType i = 0, v = 0, w = UIntType(-1); i <= count; 61 ++i, v += step, w -= step) { 62 T x = T(FPBits(v)), y = T(FPBits(w)); 63 if (isnan(x) || isinf(x)) 64 continue; 65 if (isnan(y) || isinf(y)) 66 continue; 67 if ((x == 0) && (y == 0)) 68 continue; 69 70 if (x > y) { 71 EXPECT_FP_EQ(x, func(x, y)); 72 } else { 73 EXPECT_FP_EQ(y, func(x, y)); 74 } 75 } 76 } 77 }; 78 79 #define LIST_FMAX_TESTS(T, func) \ 80 using LlvmLibcFMaxTest = FMaxTest<T>; \ 81 TEST_F(LlvmLibcFMaxTest, NaN) { testNaN(&func); } \ 82 TEST_F(LlvmLibcFMaxTest, InfArg) { testInfArg(&func); } \ 83 TEST_F(LlvmLibcFMaxTest, NegInfArg) { testNegInfArg(&func); } \ 84 TEST_F(LlvmLibcFMaxTest, BothZero) { testBothZero(&func); } \ 85 TEST_F(LlvmLibcFMaxTest, Range) { testRange(&func); } 86