1 //===-- Utility class to test different flavors of fdim ---------*- 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 "src/__support/FPUtil/BasicOperations.h" 10 #include "src/__support/FPUtil/FPBits.h" 11 #include "utils/UnitTest/FPMatcher.h" 12 #include "utils/UnitTest/Test.h" 13 #include <math.h> 14 15 template <typename T> 16 class FDimTestTemplate : public __llvm_libc::testing::Test { 17 public: 18 using FuncPtr = T (*)(T, T); 19 using FPBits = __llvm_libc::fputil::FPBits<T>; 20 using UIntType = typename FPBits::UIntType; 21 test_na_n_arg(FuncPtr func)22 void test_na_n_arg(FuncPtr func) { 23 EXPECT_FP_EQ(nan, func(nan, inf)); 24 EXPECT_FP_EQ(nan, func(neg_inf, nan)); 25 EXPECT_FP_EQ(nan, func(nan, zero)); 26 EXPECT_FP_EQ(nan, func(neg_zero, nan)); 27 EXPECT_FP_EQ(nan, func(nan, T(-1.2345))); 28 EXPECT_FP_EQ(nan, func(T(1.2345), nan)); 29 EXPECT_FP_EQ(func(nan, nan), nan); 30 } 31 test_inf_arg(FuncPtr func)32 void test_inf_arg(FuncPtr func) { 33 EXPECT_FP_EQ(zero, func(neg_inf, inf)); 34 EXPECT_FP_EQ(inf, func(inf, zero)); 35 EXPECT_FP_EQ(zero, func(neg_zero, inf)); 36 EXPECT_FP_EQ(inf, func(inf, T(1.2345))); 37 EXPECT_FP_EQ(zero, func(T(-1.2345), inf)); 38 } 39 test_neg_inf_arg(FuncPtr func)40 void test_neg_inf_arg(FuncPtr func) { 41 EXPECT_FP_EQ(inf, func(inf, neg_inf)); 42 EXPECT_FP_EQ(zero, func(neg_inf, zero)); 43 EXPECT_FP_EQ(inf, func(neg_zero, neg_inf)); 44 EXPECT_FP_EQ(zero, func(neg_inf, T(-1.2345))); 45 EXPECT_FP_EQ(inf, func(T(1.2345), neg_inf)); 46 } 47 test_both_zero(FuncPtr func)48 void test_both_zero(FuncPtr func) { 49 EXPECT_FP_EQ(zero, func(zero, zero)); 50 EXPECT_FP_EQ(zero, func(zero, neg_zero)); 51 EXPECT_FP_EQ(zero, func(neg_zero, zero)); 52 EXPECT_FP_EQ(zero, func(neg_zero, neg_zero)); 53 } 54 test_in_range(FuncPtr func)55 void test_in_range(FuncPtr func) { 56 constexpr UIntType COUNT = 10000001; 57 constexpr UIntType STEP = UIntType(-1) / COUNT; 58 for (UIntType i = 0, v = 0, w = UIntType(-1); i <= COUNT; 59 ++i, v += STEP, w -= STEP) { 60 T x = T(FPBits(v)), y = T(FPBits(w)); 61 if (isnan(x) || isinf(x)) 62 continue; 63 if (isnan(y) || isinf(y)) 64 continue; 65 66 if (x > y) { 67 EXPECT_FP_EQ(x - y, func(x, y)); 68 } else { 69 EXPECT_FP_EQ(zero, func(x, y)); 70 } 71 } 72 } 73 74 private: 75 // constexpr does not work on FPBits yet, so we cannot have these constants as 76 // static. 77 const T nan = T(__llvm_libc::fputil::FPBits<T>::build_nan(1)); 78 const T inf = T(__llvm_libc::fputil::FPBits<T>::inf()); 79 const T neg_inf = T(__llvm_libc::fputil::FPBits<T>::neg_inf()); 80 const T zero = T(__llvm_libc::fputil::FPBits<T>::zero()); 81 const T neg_zero = T(__llvm_libc::fputil::FPBits<T>::neg_zero()); 82 }; 83