xref: /aosp_15_r20/external/llvm-libc/test/src/math/smoke/coshf16_test.cpp (revision 71db0c75aadcf003ffe3238005f61d7618a3fead)
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