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