71 lines · cpp
1//===-- Unittests for e^x - 1 ---------------------------------------------===//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-exception6//7//===----------------------------------------------------------------------===//8 9#include "hdr/errno_macros.h"10#include "hdr/math_macros.h"11#include "hdr/stdint_proxy.h"12#include "src/__support/FPUtil/FPBits.h"13#include "src/math/expm1.h"14#include "test/UnitTest/FPMatcher.h"15#include "test/UnitTest/Test.h"16 17using LlvmLibcExpm1Test = LIBC_NAMESPACE::testing::FPTest<double>;18 19TEST_F(LlvmLibcExpm1Test, SpecialNumbers) {20 EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, LIBC_NAMESPACE::expm1(sNaN), FE_INVALID);21 EXPECT_MATH_ERRNO(0);22 23 EXPECT_FP_EQ(aNaN, LIBC_NAMESPACE::expm1(aNaN));24 EXPECT_MATH_ERRNO(0);25 EXPECT_FP_EQ(inf, LIBC_NAMESPACE::expm1(inf));26 EXPECT_MATH_ERRNO(0);27 EXPECT_FP_EQ_ALL_ROUNDING(-1.0, LIBC_NAMESPACE::expm1(neg_inf));28 EXPECT_MATH_ERRNO(0);29 30 EXPECT_FP_EQ_WITH_EXCEPTION(inf, LIBC_NAMESPACE::expm1(0x1.0p20),31 FE_OVERFLOW);32 EXPECT_MATH_ERRNO(ERANGE);33 34 EXPECT_FP_EQ_ALL_ROUNDING(zero, LIBC_NAMESPACE::expm1(zero));35 EXPECT_FP_EQ_ALL_ROUNDING(neg_zero, LIBC_NAMESPACE::expm1(neg_zero));36 // |x| < 2^-53, expm1(x) = x37 EXPECT_FP_EQ(-0x1.23456789abcdep-55,38 LIBC_NAMESPACE::expm1(-0x1.23456789abcdep-55));39 EXPECT_FP_EQ(0x1.23456789abcdep-55,40 LIBC_NAMESPACE::expm1(0x1.23456789abcdep-55));41 // log(2^-54)42 EXPECT_FP_EQ(-1.0, LIBC_NAMESPACE::expm1(-0x1.2b708872320e2p5));43}44 45#ifdef LIBC_TEST_FTZ_DAZ46 47using namespace LIBC_NAMESPACE::testing;48 49TEST_F(LlvmLibcExpm1Test, FTZMode) {50 ModifyMXCSR mxcsr(FTZ);51 52 EXPECT_FP_EQ(0.0, LIBC_NAMESPACE::expm1(min_denormal));53 EXPECT_FP_EQ(0.0, LIBC_NAMESPACE::expm1(max_denormal));54}55 56TEST_F(LlvmLibcExpm1Test, DAZMode) {57 ModifyMXCSR mxcsr(DAZ);58 59 EXPECT_FP_EQ(0.0, LIBC_NAMESPACE::expm1(min_denormal));60 EXPECT_FP_EQ(0.0, LIBC_NAMESPACE::expm1(max_denormal));61}62 63TEST_F(LlvmLibcExpm1Test, FTZDAZMode) {64 ModifyMXCSR mxcsr(FTZ | DAZ);65 66 EXPECT_FP_EQ(0.0, LIBC_NAMESPACE::expm1(min_denormal));67 EXPECT_FP_EQ(0.0, LIBC_NAMESPACE::expm1(max_denormal));68}69 70#endif71