1 | //===-- Unittests for log2 ------------------------------------------------===// |
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/log2.h" |
13 | #include "test/UnitTest/FPMatcher.h" |
14 | #include "test/UnitTest/Test.h" |
15 | |
16 | #include <stdint.h> |
17 | |
18 | using LlvmLibcLog2Test = LIBC_NAMESPACE::testing::FPTest<double>; |
19 | |
20 | TEST_F(LlvmLibcLog2Test, SpecialNumbers) { |
21 | EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, LIBC_NAMESPACE::log2(sNaN), FE_INVALID); |
22 | EXPECT_MATH_ERRNO(0); |
23 | |
24 | EXPECT_FP_EQ(aNaN, LIBC_NAMESPACE::log2(aNaN)); |
25 | EXPECT_FP_EQ(inf, LIBC_NAMESPACE::log2(inf)); |
26 | EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::log2(neg_inf), FE_INVALID); |
27 | EXPECT_FP_EQ_WITH_EXCEPTION(neg_inf, LIBC_NAMESPACE::log2(0.0), FE_DIVBYZERO); |
28 | EXPECT_FP_EQ_WITH_EXCEPTION(neg_inf, LIBC_NAMESPACE::log2(-0.0), |
29 | FE_DIVBYZERO); |
30 | EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::log2(-1.0), FE_INVALID); |
31 | EXPECT_FP_EQ_ALL_ROUNDING(zero, LIBC_NAMESPACE::log2(1.0)); |
32 | } |
33 | |
34 | #ifdef LIBC_TEST_FTZ_DAZ |
35 | |
36 | using namespace LIBC_NAMESPACE::testing; |
37 | |
38 | TEST_F(LlvmLibcLog2Test, FTZMode) { |
39 | ModifyMXCSR mxcsr(FTZ); |
40 | |
41 | EXPECT_FP_EQ(-1074.0, LIBC_NAMESPACE::log2(min_denormal)); |
42 | } |
43 | |
44 | TEST_F(LlvmLibcLog2Test, DAZMode) { |
45 | ModifyMXCSR mxcsr(DAZ); |
46 | |
47 | EXPECT_FP_EQ(FPBits::inf(Sign::NEG).get_val(), |
48 | LIBC_NAMESPACE::log2(min_denormal)); |
49 | } |
50 | |
51 | TEST_F(LlvmLibcLog2Test, FTZDAZMode) { |
52 | ModifyMXCSR mxcsr(FTZ | DAZ); |
53 | |
54 | EXPECT_FP_EQ(FPBits::inf(Sign::NEG).get_val(), |
55 | LIBC_NAMESPACE::log2(min_denormal)); |
56 | } |
57 | |
58 | #endif |
59 | |