1 //===-- Unittests for atanhf ----------------------------------------------===//
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/atanhf.h"
13 #include "test/UnitTest/FPMatcher.h"
14 #include "test/UnitTest/Test.h"
15
16 #include <errno.h>
17 #include <stdint.h>
18
19 using LlvmLibcAtanhfTest = LIBC_NAMESPACE::testing::FPTest<float>;
20
TEST_F(LlvmLibcAtanhfTest,SpecialNumbers)21 TEST_F(LlvmLibcAtanhfTest, SpecialNumbers) {
22 LIBC_NAMESPACE::libc_errno = 0;
23
24 // TODO: Strengthen errno,exception checks and remove these assert macros
25 // after new matchers/test fixtures are added, see:
26 // https://github.com/llvm/llvm-project/issues/90653
27 LIBC_NAMESPACE::fputil::clear_except(FE_ALL_EXCEPT);
28 EXPECT_FP_EQ_ALL_ROUNDING(aNaN, LIBC_NAMESPACE::atanhf(aNaN));
29 // TODO: Uncomment these checks later, RoundingMode affects running
30 // tests in this way https://github.com/llvm/llvm-project/issues/90653.
31 // EXPECT_FP_EXCEPTION(0);
32 EXPECT_MATH_ERRNO(0);
33
34 LIBC_NAMESPACE::fputil::clear_except(FE_ALL_EXCEPT);
35 EXPECT_FP_EQ_ALL_ROUNDING(0.0f, LIBC_NAMESPACE::atanhf(0.0f));
36 // See above TODO
37 // EXPECT_FP_EXCEPTION(0);
38 EXPECT_MATH_ERRNO(0);
39
40 LIBC_NAMESPACE::fputil::clear_except(FE_ALL_EXCEPT);
41 EXPECT_FP_EQ_ALL_ROUNDING(-0.0f, LIBC_NAMESPACE::atanhf(-0.0f));
42 // See above TODO
43 // EXPECT_FP_EXCEPTION(0);
44 EXPECT_MATH_ERRNO(0);
45
46 EXPECT_FP_EQ_WITH_EXCEPTION(inf, LIBC_NAMESPACE::atanhf(1.0f), FE_DIVBYZERO);
47 EXPECT_MATH_ERRNO(ERANGE);
48
49 EXPECT_FP_EQ_WITH_EXCEPTION(neg_inf, LIBC_NAMESPACE::atanhf(-1.0f),
50 FE_DIVBYZERO);
51 EXPECT_MATH_ERRNO(ERANGE);
52
53 auto bt = FPBits(1.0f);
54 bt.set_uintval(bt.uintval() + 1);
55
56 EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::atanhf(bt.get_val()),
57 FE_INVALID);
58 EXPECT_MATH_ERRNO(EDOM);
59
60 bt.set_sign(Sign::NEG);
61 EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::atanhf(bt.get_val()),
62 FE_INVALID);
63 EXPECT_MATH_ERRNO(EDOM);
64
65 EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::atanhf(2.0f), FE_INVALID);
66 EXPECT_MATH_ERRNO(EDOM);
67
68 EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::atanhf(-2.0f), FE_INVALID);
69 EXPECT_MATH_ERRNO(EDOM);
70
71 EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::atanhf(inf), FE_INVALID);
72 EXPECT_MATH_ERRNO(EDOM);
73
74 bt.set_sign(Sign::NEG);
75 EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::atanhf(neg_inf), FE_INVALID);
76 EXPECT_MATH_ERRNO(EDOM);
77 }
78