1//===-- Unittests for 2^x -------------------------------------------------===//
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/math_macros.h"
10#include "src/__support/FPUtil/FPBits.h"
11#include "src/__support/libc_errno.h"
12#include "src/math/exp2.h"
13#include "test/UnitTest/FPMatcher.h"
14#include "test/UnitTest/Test.h"
15
16#include <stdint.h>
17
18using LlvmLibcExp2Test = LIBC_NAMESPACE::testing::FPTest<double>;
19
20TEST_F(LlvmLibcExp2Test, SpecialNumbers) {
21 EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, LIBC_NAMESPACE::exp2(sNaN), FE_INVALID);
22 EXPECT_MATH_ERRNO(0);
23
24 EXPECT_FP_EQ(aNaN, LIBC_NAMESPACE::exp2(aNaN));
25 EXPECT_FP_EQ(inf, LIBC_NAMESPACE::exp2(inf));
26 EXPECT_FP_EQ_ALL_ROUNDING(zero, LIBC_NAMESPACE::exp2(neg_inf));
27 EXPECT_FP_EQ_WITH_EXCEPTION(zero, LIBC_NAMESPACE::exp2(-0x1.0p20),
28 FE_UNDERFLOW);
29 EXPECT_FP_EQ_WITH_EXCEPTION(inf, LIBC_NAMESPACE::exp2(0x1.0p20), FE_OVERFLOW);
30 EXPECT_FP_EQ_ALL_ROUNDING(1.0, LIBC_NAMESPACE::exp2(0.0));
31 EXPECT_FP_EQ_ALL_ROUNDING(1.0, LIBC_NAMESPACE::exp2(-0.0));
32 EXPECT_FP_EQ_ALL_ROUNDING(2.0, LIBC_NAMESPACE::exp2(1.0));
33 EXPECT_FP_EQ_ALL_ROUNDING(0.5, LIBC_NAMESPACE::exp2(-1.0));
34 EXPECT_FP_EQ_ALL_ROUNDING(4.0, LIBC_NAMESPACE::exp2(2.0));
35 EXPECT_FP_EQ_ALL_ROUNDING(0.25, LIBC_NAMESPACE::exp2(-2.0));
36}
37
38#ifdef LIBC_TEST_FTZ_DAZ
39
40using namespace LIBC_NAMESPACE::testing;
41
42TEST_F(LlvmLibcExp2Test, FTZMode) {
43 ModifyMXCSR mxcsr(FTZ);
44
45 EXPECT_FP_EQ(1.0, LIBC_NAMESPACE::exp2(min_denormal));
46 EXPECT_FP_EQ(1.0, LIBC_NAMESPACE::exp2(max_denormal));
47}
48
49TEST_F(LlvmLibcExp2Test, DAZMode) {
50 ModifyMXCSR mxcsr(DAZ);
51
52 EXPECT_FP_EQ(1.0, LIBC_NAMESPACE::exp2(min_denormal));
53 EXPECT_FP_EQ(1.0, LIBC_NAMESPACE::exp2(max_denormal));
54}
55
56TEST_F(LlvmLibcExp2Test, FTZDAZMode) {
57 ModifyMXCSR mxcsr(FTZ | DAZ);
58
59 EXPECT_FP_EQ(1.0, LIBC_NAMESPACE::exp2(min_denormal));
60 EXPECT_FP_EQ(1.0, LIBC_NAMESPACE::exp2(max_denormal));
61}
62
63#endif
64

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