82 lines · cpp
1//===-- Unittests for log10f ----------------------------------------------===//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/math_macros.h"10#include "hdr/stdint_proxy.h"11#include "src/__support/FPUtil/FPBits.h"12#include "src/__support/macros/optimization.h"13#include "src/math/log10f.h"14#include "test/UnitTest/FPMatcher.h"15#include "test/UnitTest/Test.h"16#include "utils/MPFRWrapper/MPFRUtils.h"17 18#ifdef LIBC_MATH_HAS_SKIP_ACCURATE_PASS19#define TOLERANCE 120#else21#define TOLERANCE 022#endif // LIBC_MATH_HAS_SKIP_ACCURATE_PASS23 24using LlvmLibcLog10fTest = LIBC_NAMESPACE::testing::FPTest<float>;25 26namespace mpfr = LIBC_NAMESPACE::testing::mpfr;27 28TEST_F(LlvmLibcLog10fTest, SpecialNumbers) {29 EXPECT_FP_EQ(aNaN, LIBC_NAMESPACE::log10f(aNaN));30 EXPECT_FP_EQ(inf, LIBC_NAMESPACE::log10f(inf));31 EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::log10f(neg_inf), FE_INVALID);32 EXPECT_FP_EQ_WITH_EXCEPTION(neg_inf, LIBC_NAMESPACE::log10f(0.0f),33 FE_DIVBYZERO);34 EXPECT_FP_EQ_WITH_EXCEPTION(neg_inf, LIBC_NAMESPACE::log10f(-0.0f),35 FE_DIVBYZERO);36 EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::log10f(-1.0f), FE_INVALID);37 EXPECT_FP_EQ_ALL_ROUNDING(zero, LIBC_NAMESPACE::log10f(1.0f));38}39 40TEST_F(LlvmLibcLog10fTest, TrickyInputs) {41 constexpr int N = 21;42 constexpr uint32_t INPUTS[N] = {43 0x3f800000U /*1.0f*/,44 0x41200000U /*10.0f*/,45 0x42c80000U /*100.0f*/,46 0x447a0000U /*1,000.0f*/,47 0x461c4000U /*10,000.0f*/,48 0x47c35000U /*100,000.0f*/,49 0x49742400U /*1,000,000.0f*/,50 0x4b189680U /*10,000,000.0f*/,51 0x4cbebc20U /*100,000,000.0f*/,52 0x4e6e6b28U /*1,000,000,000.0f*/,53 0x501502f9U /*10,000,000,000.0f*/,54 0x4f134f83U /*2471461632.0f*/,55 0x7956ba5eU /*69683218960000541503257137270226944.0f*/,56 0x08ae'a356U /*0x1.5d46acp-110f*/,57 0x1c7d'a337U /*0x1.fb466ep-71f*/,58 0x69c8'c583U /*0x1.918b06p+84f*/,59 0x0efe'ee7aU /*0x1.fddcf4p-98f*/,60 0x3f5f'de1bU /*0x1.bfbc36p-1f*/,61 0x3f80'70d8U /*0x1.00e1bp0f*/,62 0x120b'93dcU /*0x1.1727b8p-91f*/,63 0x13ae'78d3U /*0x1.5cf1a6p-88f*/,64 };65 66 for (int i = 0; i < N; ++i) {67 float x = FPBits(INPUTS[i]).get_val();68 EXPECT_MPFR_MATCH_ALL_ROUNDING(mpfr::Operation::Log10, x,69 LIBC_NAMESPACE::log10f(x), TOLERANCE + 0.5);70 }71}72 73TEST_F(LlvmLibcLog10fTest, InFloatRange) {74 constexpr uint32_t COUNT = 100'000;75 constexpr uint32_t STEP = UINT32_MAX / COUNT;76 for (uint32_t i = 0, v = 0; i <= COUNT; ++i, v += STEP) {77 float x = FPBits(v).get_val();78 ASSERT_MPFR_MATCH_ALL_ROUNDING(mpfr::Operation::Log10, x,79 LIBC_NAMESPACE::log10f(x), 0.5);80 }81}82