1 //===-- Unittests for supfuncf --------------------------------------------===// 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 "hdr/math_macros.h" 10 #include "in_float_range_test_helper.h" 11 #include "src/__support/FPUtil/FPBits.h" 12 #include "src/math/fabs.h" 13 #include "src/math/fabsf.h" 14 #include "src/math/generic/explogxf.h" 15 #include "test/UnitTest/FPMatcher.h" 16 #include "test/UnitTest/Test.h" 17 #include "utils/MPFRWrapper/MPFRUtils.h" 18 19 using LlvmLibcExplogfTest = LIBC_NAMESPACE::testing::FPTest<float>; 20 using FPBits = LIBC_NAMESPACE::fputil::FPBits<float>; 21 22 namespace mpfr = LIBC_NAMESPACE::testing::mpfr; 23 24 constexpr int def_count = 100003; 25 constexpr float def_prec = 0.500001f; 26 27 auto f_normal = [](float x) -> bool { 28 return !(FPBits(x).is_nan() || FPBits(x).is_inf() || 29 LIBC_NAMESPACE::fabs(x) < 2E-38); 30 }; 31 32 TEST_F(LlvmLibcExplogfTest, ExpInFloatRange) { 33 auto fx = [](float x) -> float { 34 auto result = LIBC_NAMESPACE::exp_b_range_reduc<LIBC_NAMESPACE::ExpBase>(x); 35 double r = LIBC_NAMESPACE::ExpBase::powb_lo(result.lo); 36 return static_cast<float>(result.mh * r); 37 }; 38 auto f_check = [](float x) -> bool { 39 return !((FPBits(x).is_nan() || FPBits(x).is_inf() || x < -70 || x > 70 || 40 LIBC_NAMESPACE::fabsf(x) < 0x1.0p-10)); 41 }; 42 CHECK_DATA(0.0f, neg_inf, mpfr::Operation::Exp, fx, f_check, def_count, 43 def_prec); 44 } 45 46 TEST_F(LlvmLibcExplogfTest, Log2InFloatRange) { 47 CHECK_DATA(0.0f, inf, mpfr::Operation::Log2, LIBC_NAMESPACE::log2_eval, 48 f_normal, def_count, def_prec); 49 } 50 51 TEST_F(LlvmLibcExplogfTest, LogInFloatRange) { 52 CHECK_DATA(0.0f, inf, mpfr::Operation::Log, LIBC_NAMESPACE::log_eval, 53 f_normal, def_count, def_prec); 54 } 55