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/__support/libc_errno.h"
12#include "src/math/exp2m1f16.h"
13#include "test/UnitTest/FPMatcher.h"
14#include "test/UnitTest/Test.h"
15
16using LlvmLibcExp2m1f16Test = LIBC_NAMESPACE::testing::FPTest<float16>;
17
18TEST_F(LlvmLibcExp2m1f16Test, SpecialNumbers) {
19 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
41TEST_F(LlvmLibcExp2m1f16Test, Overflow) {
42 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
67TEST_F(LlvmLibcExp2m1f16Test, ResultNearNegOne) {
68 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

source code of libc/test/src/math/smoke/exp2m1f16_test.cpp