1 //===-- Unittests for coshf16 ---------------------------------------------===//
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/fenv_macros.h"
10 #include "src/__support/FPUtil/cast.h"
11 #include "src/errno/libc_errno.h"
12 #include "src/math/coshf16.h"
13 #include "test/UnitTest/FPMatcher.h"
14 #include "test/UnitTest/Test.h"
15
16 using LlvmLibcCoshf16Test = LIBC_NAMESPACE::testing::FPTest<float16>;
17
TEST_F(LlvmLibcCoshf16Test,SpecialNumbers)18 TEST_F(LlvmLibcCoshf16Test, SpecialNumbers) {
19 LIBC_NAMESPACE::libc_errno = 0;
20
21 EXPECT_FP_EQ_ALL_ROUNDING(aNaN, LIBC_NAMESPACE::coshf16(aNaN));
22 EXPECT_MATH_ERRNO(0);
23
24 EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, LIBC_NAMESPACE::coshf16(sNaN), FE_INVALID);
25 EXPECT_MATH_ERRNO(0);
26
27 EXPECT_FP_EQ_ALL_ROUNDING(inf, LIBC_NAMESPACE::coshf16(inf));
28 EXPECT_MATH_ERRNO(0);
29
30 EXPECT_FP_EQ_ALL_ROUNDING(inf, LIBC_NAMESPACE::coshf16(neg_inf));
31 EXPECT_MATH_ERRNO(0);
32
33 EXPECT_FP_EQ_ALL_ROUNDING(LIBC_NAMESPACE::fputil::cast<float16>(1.0),
34 LIBC_NAMESPACE::coshf16(zero));
35 EXPECT_MATH_ERRNO(0);
36
37 EXPECT_FP_EQ_ALL_ROUNDING(LIBC_NAMESPACE::fputil::cast<float16>(1.0),
38 LIBC_NAMESPACE::coshf16(neg_zero));
39 EXPECT_MATH_ERRNO(0);
40 }
41
TEST_F(LlvmLibcCoshf16Test,Overflow)42 TEST_F(LlvmLibcCoshf16Test, Overflow) {
43 LIBC_NAMESPACE::libc_errno = 0;
44
45 EXPECT_FP_EQ_WITH_EXCEPTION(inf, LIBC_NAMESPACE::coshf16(max_normal),
46 FE_OVERFLOW | FE_INEXACT);
47 EXPECT_MATH_ERRNO(ERANGE);
48
49 EXPECT_FP_EQ_WITH_EXCEPTION(inf, LIBC_NAMESPACE::coshf16(neg_max_normal),
50 FE_OVERFLOW | FE_INEXACT);
51 EXPECT_MATH_ERRNO(ERANGE);
52
53 // round(acosh(2^16), HP, RU);
54 float16 x = LIBC_NAMESPACE::fputil::cast<float16>(0x1.794p+3);
55
56 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_NEAREST(inf, LIBC_NAMESPACE::coshf16(x),
57 FE_OVERFLOW | FE_INEXACT);
58 EXPECT_MATH_ERRNO(ERANGE);
59
60 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_UPWARD(inf, LIBC_NAMESPACE::coshf16(x),
61 FE_OVERFLOW | FE_INEXACT);
62 EXPECT_MATH_ERRNO(ERANGE);
63
64 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_DOWNWARD(
65 max_normal, LIBC_NAMESPACE::coshf16(x), FE_INEXACT);
66 EXPECT_MATH_ERRNO(0);
67
68 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_TOWARD_ZERO(
69 max_normal, LIBC_NAMESPACE::coshf16(x), FE_INEXACT);
70 EXPECT_MATH_ERRNO(0);
71
72 // round(-acosh(2^16), HP, RD);
73 x = LIBC_NAMESPACE::fputil::cast<float16>(-0x1.794p+3);
74
75 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_NEAREST(inf, LIBC_NAMESPACE::coshf16(x),
76 FE_OVERFLOW | FE_INEXACT);
77 EXPECT_MATH_ERRNO(ERANGE);
78
79 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_UPWARD(inf, LIBC_NAMESPACE::coshf16(x),
80 FE_OVERFLOW | FE_INEXACT);
81 EXPECT_MATH_ERRNO(ERANGE);
82
83 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_DOWNWARD(
84 max_normal, LIBC_NAMESPACE::coshf16(x), FE_INEXACT);
85 EXPECT_MATH_ERRNO(0);
86
87 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_TOWARD_ZERO(
88 max_normal, LIBC_NAMESPACE::coshf16(x), FE_INEXACT);
89 EXPECT_MATH_ERRNO(0);
90 }
91