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