1+ // ===-- Exhaustive test for atanpif16 -------------------------------------===//
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/math/atanpif16.h"
10+ #include " test/UnitTest/FPMatcher.h"
11+ #include " test/UnitTest/Test.h"
12+ #include " utils/MPFRWrapper/MPFRUtils.h"
13+
14+ using LlvmLibcAtanpif16Test = LIBC_NAMESPACE::testing::FPTest<float16>;
15+
16+ namespace mpfr = LIBC_NAMESPACE::testing::mpfr;
17+
18+ // Range: [0, Inf]
19+ static constexpr uint16_t POS_START = 0x0000U ;
20+ static constexpr uint16_t POS_STOP = 0x7c00U ;
21+
22+ // Range: [-Inf, 0]
23+ static constexpr uint16_t NEG_START = 0x8000U ;
24+ static constexpr uint16_t NEG_STOP = 0xfc00U ;
25+
26+ TEST_F (LlvmLibcAtanpif16Test, PositiveRange) {
27+ for (uint16_t v = POS_START; v <= POS_STOP; ++v) {
28+ float16 x = FPBits (v).get_val ();
29+ EXPECT_MPFR_MATCH_ALL_ROUNDING (mpfr::Operation::Atanpi, x,
30+ LIBC_NAMESPACE::atanpif16 (x), 0.5 );
31+ }
32+ }
33+
34+ TEST_F (LlvmLibcAtanpif16Test, NegativeRange) {
35+ for (uint16_t v = NEG_START; v <= NEG_STOP; ++v) {
36+ float16 x = FPBits (v).get_val ();
37+ EXPECT_MPFR_MATCH_ALL_ROUNDING (mpfr::Operation::Atanpi, x,
38+ LIBC_NAMESPACE::atanpif16 (x), 0.5 );
39+ }
40+ }
0 commit comments