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 | |
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 | |
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 | |
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 | |
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 | |
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 | |