1 //===-- Unittests for supfuncf --------------------------------------------===//
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
7 //===----------------------------------------------------------------------===//
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"
19 using LlvmLibcExplogfTest
= LIBC_NAMESPACE::testing::FPTest
<float>;
20 using FPBits
= LIBC_NAMESPACE::fputil::FPBits
<float>;
22 namespace mpfr
= LIBC_NAMESPACE::testing::mpfr
;
24 constexpr int def_count
= 100003;
25 constexpr float def_prec
= 0.500001f
;
27 auto f_normal
= [](float x
) -> bool {
28 return !(FPBits(x
).is_nan() || FPBits(x
).is_inf() ||
29 LIBC_NAMESPACE::fabs(x
) < 2E-38);
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
);
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));
42 CHECK_DATA(0.0f
, neg_inf
, mpfr::Operation::Exp
, fx
, f_check
, def_count
,
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
);
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
);