106 lines · cpp
1//===-- Unittests for expm1f16 --------------------------------------------===//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/fenv_macros.h"11#include "src/__support/FPUtil/cast.h"12#include "src/math/expm1f16.h"13#include "test/UnitTest/FPMatcher.h"14#include "test/UnitTest/Test.h"15 16using LlvmLibcExpm1f16Test = LIBC_NAMESPACE::testing::FPTest<float16>;17 18TEST_F(LlvmLibcExpm1f16Test, SpecialNumbers) {19 EXPECT_FP_EQ_ALL_ROUNDING(aNaN, LIBC_NAMESPACE::expm1f16(aNaN));20 EXPECT_MATH_ERRNO(0);21 22 EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, LIBC_NAMESPACE::expm1f16(sNaN), FE_INVALID);23 EXPECT_MATH_ERRNO(0);24 25 EXPECT_FP_EQ_ALL_ROUNDING(inf, LIBC_NAMESPACE::expm1f16(inf));26 EXPECT_MATH_ERRNO(0);27 28 EXPECT_FP_EQ_ALL_ROUNDING(LIBC_NAMESPACE::fputil::cast<float16>(-1.0),29 LIBC_NAMESPACE::expm1f16(neg_inf));30 EXPECT_MATH_ERRNO(0);31 32 EXPECT_FP_EQ_ALL_ROUNDING(zero, LIBC_NAMESPACE::expm1f16(zero));33 EXPECT_MATH_ERRNO(0);34 35 EXPECT_FP_EQ_ALL_ROUNDING(neg_zero, LIBC_NAMESPACE::expm1f16(neg_zero));36 EXPECT_MATH_ERRNO(0);37}38 39TEST_F(LlvmLibcExpm1f16Test, Overflow) {40 EXPECT_FP_EQ_WITH_EXCEPTION(inf, LIBC_NAMESPACE::expm1f16(max_normal),41 FE_OVERFLOW | FE_INEXACT);42 EXPECT_MATH_ERRNO(ERANGE);43 44 // round(16 * log(2), HP, RN);45 float16 x = LIBC_NAMESPACE::fputil::cast<float16>(0x1.63p+3);46 47 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_NEAREST(inf, LIBC_NAMESPACE::expm1f16(x),48 FE_OVERFLOW | FE_INEXACT);49 EXPECT_MATH_ERRNO(ERANGE);50 51 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_UPWARD(inf, LIBC_NAMESPACE::expm1f16(x),52 FE_OVERFLOW | FE_INEXACT);53 EXPECT_MATH_ERRNO(ERANGE);54 55 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_DOWNWARD(56 max_normal, LIBC_NAMESPACE::expm1f16(x), FE_INEXACT);57 EXPECT_MATH_ERRNO(0);58 59 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_TOWARD_ZERO(60 max_normal, LIBC_NAMESPACE::expm1f16(x), FE_INEXACT);61 EXPECT_MATH_ERRNO(0);62}63 64TEST_F(LlvmLibcExpm1f16Test, ResultNearNegOne) {65 EXPECT_FP_EQ_WITH_EXCEPTION(LIBC_NAMESPACE::fputil::cast<float16>(-1.0),66 LIBC_NAMESPACE::expm1f16(neg_max_normal),67 FE_INEXACT);68 69 // round(-11 * log(2), HP, RN);70 float16 x = LIBC_NAMESPACE::fputil::cast<float16>(-0x1.e8p+2);71 72 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_NEAREST(73 LIBC_NAMESPACE::fputil::cast<float16>(-0x1.ffcp-1),74 LIBC_NAMESPACE::expm1f16(x), FE_INEXACT);75 76 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_UPWARD(77 LIBC_NAMESPACE::fputil::cast<float16>(-0x1.ffcp-1),78 LIBC_NAMESPACE::expm1f16(x), FE_INEXACT);79 80 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_DOWNWARD(81 LIBC_NAMESPACE::fputil::cast<float16>(-1.0), LIBC_NAMESPACE::expm1f16(x),82 FE_INEXACT);83 84 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_TOWARD_ZERO(85 LIBC_NAMESPACE::fputil::cast<float16>(-0x1.ffcp-1),86 LIBC_NAMESPACE::expm1f16(x), FE_INEXACT);87 88 x = LIBC_NAMESPACE::fputil::cast<float16>(-0x1.0a4p+3);89 90 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_NEAREST(91 LIBC_NAMESPACE::fputil::cast<float16>(-1.0), LIBC_NAMESPACE::expm1f16(x),92 FE_INEXACT);93 94 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_UPWARD(95 LIBC_NAMESPACE::fputil::cast<float16>(-0x1.ffcp-1),96 LIBC_NAMESPACE::expm1f16(x), FE_INEXACT);97 98 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_DOWNWARD(99 LIBC_NAMESPACE::fputil::cast<float16>(-1.0), LIBC_NAMESPACE::expm1f16(x),100 FE_INEXACT);101 102 EXPECT_FP_EQ_WITH_EXCEPTION_ROUNDING_TOWARD_ZERO(103 LIBC_NAMESPACE::fputil::cast<float16>(-0x1.ffcp-1),104 LIBC_NAMESPACE::expm1f16(x), FE_INEXACT);105}106