1 | //===-- Unittests for exp2m1f ---------------------------------------------===// |
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 "src/__support/libc_errno.h" |
10 | #include "src/math/exp2m1f.h" |
11 | #include "test/UnitTest/FPMatcher.h" |
12 | #include "test/UnitTest/Test.h" |
13 | |
14 | using LlvmLibcExp2m1fTest = LIBC_NAMESPACE::testing::FPTest<float>; |
15 | using LIBC_NAMESPACE::fputil::testing::ForceRoundingMode; |
16 | using LIBC_NAMESPACE::fputil::testing::RoundingMode; |
17 | |
18 | TEST_F(LlvmLibcExp2m1fTest, SpecialNumbers) { |
19 | libc_errno = 0; |
20 | |
21 | EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, LIBC_NAMESPACE::exp2m1f(sNaN), FE_INVALID); |
22 | EXPECT_MATH_ERRNO(0); |
23 | |
24 | EXPECT_FP_EQ_ALL_ROUNDING(aNaN, LIBC_NAMESPACE::exp2m1f(aNaN)); |
25 | EXPECT_FP_EQ_ALL_ROUNDING(inf, LIBC_NAMESPACE::exp2m1f(inf)); |
26 | EXPECT_FP_EQ_ALL_ROUNDING(-1.0f, LIBC_NAMESPACE::exp2m1f(neg_inf)); |
27 | EXPECT_FP_EQ_ALL_ROUNDING(0.0f, LIBC_NAMESPACE::exp2m1f(0.0f)); |
28 | EXPECT_FP_EQ_ALL_ROUNDING(-0.0f, LIBC_NAMESPACE::exp2m1f(-0.0f)); |
29 | |
30 | EXPECT_FP_EQ_ALL_ROUNDING(1.0f, LIBC_NAMESPACE::exp2m1f(1.0f)); |
31 | EXPECT_FP_EQ_ALL_ROUNDING(-0.5f, LIBC_NAMESPACE::exp2m1f(-1.0f)); |
32 | EXPECT_FP_EQ_ALL_ROUNDING(3.0f, LIBC_NAMESPACE::exp2m1f(2.0f)); |
33 | EXPECT_FP_EQ_ALL_ROUNDING(-0.75f, LIBC_NAMESPACE::exp2m1f(-2.0f)); |
34 | } |
35 | |
36 | TEST_F(LlvmLibcExp2m1fTest, Overflow) { |
37 | libc_errno = 0; |
38 | |
39 | EXPECT_FP_EQ_WITH_EXCEPTION(inf, LIBC_NAMESPACE::exp2m1f(0x1.fffffep+127), |
40 | FE_OVERFLOW); |
41 | EXPECT_MATH_ERRNO(ERANGE); |
42 | |
43 | EXPECT_FP_EQ_WITH_EXCEPTION(inf, LIBC_NAMESPACE::exp2m1f(128.0f), |
44 | FE_OVERFLOW); |
45 | EXPECT_MATH_ERRNO(ERANGE); |
46 | |
47 | EXPECT_FP_EQ_WITH_EXCEPTION(inf, LIBC_NAMESPACE::exp2m1f(0x1.000002p+7), |
48 | FE_OVERFLOW); |
49 | EXPECT_MATH_ERRNO(ERANGE); |
50 | } |
51 | |
52 | TEST_F(LlvmLibcExp2m1fTest, Underflow) { |
53 | libc_errno = 0; |
54 | |
55 | EXPECT_FP_EQ_WITH_EXCEPTION(-1.0f, LIBC_NAMESPACE::exp2m1f(-0x1.fffffep+127), |
56 | FE_UNDERFLOW); |
57 | EXPECT_MATH_ERRNO(ERANGE); |
58 | |
59 | EXPECT_FP_EQ_WITH_EXCEPTION(-1.0f, LIBC_NAMESPACE::exp2m1f(-25.0f), |
60 | FE_UNDERFLOW); |
61 | EXPECT_MATH_ERRNO(ERANGE); |
62 | |
63 | EXPECT_FP_EQ_WITH_EXCEPTION(-1.0f, LIBC_NAMESPACE::exp2m1f(-0x1.900002p4), |
64 | FE_UNDERFLOW); |
65 | EXPECT_MATH_ERRNO(ERANGE); |
66 | } |
67 | |
68 | #ifdef LIBC_TEST_FTZ_DAZ |
69 | |
70 | using namespace LIBC_NAMESPACE::testing; |
71 | |
72 | TEST_F(LlvmLibcExp2m1fTest, FTZMode) { |
73 | ModifyMXCSR mxcsr(FTZ); |
74 | |
75 | EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::exp2m1f(min_denormal)); |
76 | EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::exp2m1f(max_denormal)); |
77 | } |
78 | |
79 | TEST_F(LlvmLibcExp2m1fTest, DAZMode) { |
80 | ModifyMXCSR mxcsr(DAZ); |
81 | |
82 | EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::exp2m1f(min_denormal)); |
83 | EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::exp2m1f(max_denormal)); |
84 | } |
85 | |
86 | TEST_F(LlvmLibcExp2m1fTest, FTZDAZMode) { |
87 | ModifyMXCSR mxcsr(FTZ | DAZ); |
88 | |
89 | EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::exp2m1f(min_denormal)); |
90 | EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::exp2m1f(max_denormal)); |
91 | } |
92 | |
93 | #endif |
94 | |