1 | //===-- Unittests for asinhf ----------------------------------------------===// |
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 "src/__support/FPUtil/FPBits.h" |
11 | #include "src/errno/libc_errno.h" |
12 | #include "src/math/asinhf.h" |
13 | #include "test/UnitTest/FPMatcher.h" |
14 | #include "test/UnitTest/Test.h" |
15 | #include "utils/MPFRWrapper/MPFRUtils.h" |
16 | |
17 | #include <errno.h> |
18 | #include <stdint.h> |
19 | |
20 | using LlvmLibcAsinhfTest = LIBC_NAMESPACE::testing::FPTest<float>; |
21 | |
22 | namespace mpfr = LIBC_NAMESPACE::testing::mpfr; |
23 | |
24 | TEST_F(LlvmLibcAsinhfTest, SpecialNumbers) { |
25 | LIBC_NAMESPACE::libc_errno = 0; |
26 | |
27 | EXPECT_FP_EQ_ALL_ROUNDING(aNaN, LIBC_NAMESPACE::asinhf(aNaN)); |
28 | EXPECT_MATH_ERRNO(0); |
29 | |
30 | EXPECT_FP_EQ_ALL_ROUNDING(0.0f, LIBC_NAMESPACE::asinhf(0.0f)); |
31 | EXPECT_MATH_ERRNO(0); |
32 | |
33 | EXPECT_FP_EQ_ALL_ROUNDING(-0.0f, LIBC_NAMESPACE::asinhf(-0.0f)); |
34 | EXPECT_MATH_ERRNO(0); |
35 | |
36 | EXPECT_FP_EQ_ALL_ROUNDING(inf, LIBC_NAMESPACE::asinhf(inf)); |
37 | EXPECT_MATH_ERRNO(0); |
38 | |
39 | EXPECT_FP_EQ_ALL_ROUNDING(neg_inf, LIBC_NAMESPACE::asinhf(neg_inf)); |
40 | EXPECT_MATH_ERRNO(0); |
41 | } |
42 | |
43 | TEST_F(LlvmLibcAsinhfTest, InFloatRange) { |
44 | constexpr uint32_t COUNT = 1'001; |
45 | constexpr uint32_t STEP = UINT32_MAX / COUNT; |
46 | for (uint32_t i = 0, v = 0; i <= COUNT; ++i, v += STEP) { |
47 | float x = FPBits(v).get_val(); |
48 | if (isnan(x: x) || isinf(x: x)) |
49 | continue; |
50 | ASSERT_MPFR_MATCH_ALL_ROUNDING(mpfr::Operation::Asinh, x, |
51 | LIBC_NAMESPACE::asinhf(x), 0.5); |
52 | ASSERT_MPFR_MATCH_ALL_ROUNDING(mpfr::Operation::Asinh, -x, |
53 | LIBC_NAMESPACE::asinhf(-x), 0.5); |
54 | } |
55 | } |
56 | |
57 | TEST_F(LlvmLibcAsinhfTest, SpecificBitPatterns) { |
58 | constexpr int N = 11; |
59 | constexpr uint32_t INPUTS[N] = { |
60 | 0x45abaf26, // |x| = 0x1.575e4cp12f |
61 | 0x49d29048, // |x| = 0x1.a5209p20f |
62 | 0x4bdd65a5, // |x| = 0x1.bacb4ap24f |
63 | 0x4c803f2c, // |x| = 0x1.007e58p26f |
64 | 0x4f8ffb03, // |x| = 0x1.1ff606p32f |
65 | 0x5c569e88, // |x| = 0x1.ad3d1p57f |
66 | 0x5e68984e, // |x| = 0x1.d1309cp61f |
67 | 0x655890d3, // |x| = 0x1.b121a6p75f |
68 | 0x65de7ca6, // |x| = 0x1.bcf94cp76f |
69 | 0x6eb1a8ec, // |x| = 0x1.6351d8p94f |
70 | 0x7997f30a, // |x| = 0x1.2fe614p116f |
71 | }; |
72 | |
73 | for (int i = 0; i < N; ++i) { |
74 | float x = FPBits(INPUTS[i]).get_val(); |
75 | EXPECT_MPFR_MATCH_ALL_ROUNDING(mpfr::Operation::Asinh, x, |
76 | LIBC_NAMESPACE::asinhf(x), 0.5); |
77 | EXPECT_MPFR_MATCH_ALL_ROUNDING(mpfr::Operation::Asinh, -x, |
78 | LIBC_NAMESPACE::asinhf(-x), 0.5); |
79 | } |
80 | } |
81 | |