1 //===-- Exhaustive test for hypotf ----------------------------------------===//
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 "exhaustive_test.h"
10 #include "src/__support/FPUtil/FPBits.h"
11 #include "src/__support/FPUtil/Hypot.h"
12 #include "src/math/hypotf.h"
13 #include "utils/MPFRWrapper/MPFRUtils.h"
14 #include "utils/UnitTest/FPMatcher.h"
15 
16 using FPBits = __llvm_libc::fputil::FPBits<float>;
17 
18 namespace mpfr = __llvm_libc::testing::mpfr;
19 
20 struct LlvmLibcHypotfExhaustiveTest : public LlvmLibcExhaustiveTest<uint32_t> {
21   bool check(uint32_t start, uint32_t stop,
22              mpfr::RoundingMode rounding) override {
23     // Range of the second input: [2^37, 2^48).
24     constexpr uint32_t Y_START = (37U + 127U) << 23;
25     constexpr uint32_t Y_STOP = (48U + 127U) << 23;
26 
27     mpfr::ForceRoundingMode r(rounding);
28     uint32_t xbits = start;
29     bool result = true;
30     do {
31       float x = float(FPBits(xbits));
32       uint32_t ybits = Y_START;
33       do {
34         float y = float(FPBits(ybits));
35         result &= EXPECT_FP_EQ(__llvm_libc::fputil::hypot(x, y),
36                                __llvm_libc::hypotf(x, y));
37         // Using MPFR will be much slower.
38         // mpfr::BinaryInput<float> input{x, y};
39         // EXPECT_MPFR_MATCH(mpfr::Operation::Hypot, input,
40         // __llvm_libc::hypotf(x, y), 0.5,
41         //                   rounding);
42       } while (ybits++ < Y_STOP);
43     } while (xbits++ < stop);
44     return result;
45   }
46 };
47 
48 // Range of the first input: [2^23, 2^24);
49 static constexpr uint32_t START = (23U + 127U) << 23;
50 static constexpr uint32_t STOP = ((23U + 127U) << 23) + 1;
51 static constexpr int NUM_THREADS = 1;
52 
53 TEST_F(LlvmLibcHypotfExhaustiveTest, RoundNearestTieToEven) {
54   test_full_range(START, STOP, NUM_THREADS, mpfr::RoundingMode::Nearest);
55 }
56 
57 TEST_F(LlvmLibcHypotfExhaustiveTest, RoundUp) {
58   test_full_range(START, STOP, NUM_THREADS, mpfr::RoundingMode::Upward);
59 }
60 
61 TEST_F(LlvmLibcHypotfExhaustiveTest, RoundDown) {
62   test_full_range(START, STOP, NUM_THREADS, mpfr::RoundingMode::Downward);
63 }
64 
65 TEST_F(LlvmLibcHypotfExhaustiveTest, RoundTowardZero) {
66   test_full_range(START, STOP, NUM_THREADS, mpfr::RoundingMode::TowardZero);
67 }
68