105 lines · c
1//===-- Utility class to test frexp[f|l] ------------------------*- C++ -*-===//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 "test/UnitTest/FEnvSafeTest.h"10#include "test/UnitTest/FPMatcher.h"11#include "test/UnitTest/Test.h"12 13template <typename T>14class FrexpTest : public LIBC_NAMESPACE::testing::FEnvSafeTest {15 16 DECLARE_SPECIAL_CONSTANTS(T)17 18public:19 typedef T (*FrexpFunc)(T, int *);20 21 void testSpecialNumbers(FrexpFunc func) {22 int exponent;23 EXPECT_FP_EQ_ALL_ROUNDING(aNaN, func(aNaN, &exponent));24#ifdef LIBC_FREXP_INF_NAN_EXPONENT25 EXPECT_EQ(LIBC_FREXP_INF_NAN_EXPONENT, exponent);26#endif // LIBC_FREXP_INF_NAN_EXPONENT27 28 EXPECT_FP_EQ_ALL_ROUNDING(inf, func(inf, &exponent));29#ifdef LIBC_FREXP_INF_NAN_EXPONENT30 EXPECT_EQ(LIBC_FREXP_INF_NAN_EXPONENT, exponent);31#endif // LIBC_FREXP_INF_NAN_EXPONENT32 33 EXPECT_FP_EQ_ALL_ROUNDING(neg_inf, func(neg_inf, &exponent));34#ifdef LIBC_FREXP_INF_NAN_EXPONENT35 EXPECT_EQ(LIBC_FREXP_INF_NAN_EXPONENT, exponent);36#endif // LIBC_FREXP_INF_NAN_EXPONENT37 38 EXPECT_FP_EQ_ALL_ROUNDING(zero, func(zero, &exponent));39 EXPECT_EQ(exponent, 0);40 41 EXPECT_FP_EQ_ALL_ROUNDING(-zero, func(-zero, &exponent));42 EXPECT_EQ(exponent, 0);43 }44 45 void testPowersOfTwo(FrexpFunc func) {46 int exponent;47 48 EXPECT_FP_EQ_ALL_ROUNDING(T(0.5), func(T(1.0), &exponent));49 EXPECT_EQ(exponent, 1);50 EXPECT_FP_EQ_ALL_ROUNDING(T(-0.5), func(T(-1.0), &exponent));51 EXPECT_EQ(exponent, 1);52 53 EXPECT_FP_EQ_ALL_ROUNDING(T(0.5), func(T(2.0), &exponent));54 EXPECT_EQ(exponent, 2);55 EXPECT_FP_EQ_ALL_ROUNDING(T(-0.5), func(T(-2.0), &exponent));56 EXPECT_EQ(exponent, 2);57 58 EXPECT_FP_EQ_ALL_ROUNDING(T(0.5), func(T(4.0), &exponent));59 EXPECT_EQ(exponent, 3);60 EXPECT_FP_EQ_ALL_ROUNDING(T(-0.5), func(T(-4.0), &exponent));61 EXPECT_EQ(exponent, 3);62 63 EXPECT_FP_EQ_ALL_ROUNDING(T(0.5), func(T(8.0), &exponent));64 EXPECT_EQ(exponent, 4);65 EXPECT_FP_EQ_ALL_ROUNDING(T(-0.5), func(T(-8.0), &exponent));66 EXPECT_EQ(exponent, 4);67 68 EXPECT_FP_EQ_ALL_ROUNDING(T(0.5), func(T(16.0), &exponent));69 EXPECT_EQ(exponent, 5);70 EXPECT_FP_EQ_ALL_ROUNDING(T(-0.5), func(T(-16.0), &exponent));71 EXPECT_EQ(exponent, 5);72 73 EXPECT_FP_EQ_ALL_ROUNDING(T(0.5), func(T(32.0), &exponent));74 EXPECT_EQ(exponent, 6);75 EXPECT_FP_EQ_ALL_ROUNDING(T(-0.5), func(T(-32.0), &exponent));76 EXPECT_EQ(exponent, 6);77 }78 79 void testSomeIntegers(FrexpFunc func) {80 int exponent;81 82 EXPECT_FP_EQ_ALL_ROUNDING(T(0.75), func(T(24.0), &exponent));83 EXPECT_EQ(exponent, 5);84 EXPECT_FP_EQ_ALL_ROUNDING(T(-0.75), func(T(-24.0), &exponent));85 EXPECT_EQ(exponent, 5);86 87 EXPECT_FP_EQ_ALL_ROUNDING(T(0.625), func(T(40.0), &exponent));88 EXPECT_EQ(exponent, 6);89 EXPECT_FP_EQ_ALL_ROUNDING(T(-0.625), func(T(-40.0), &exponent));90 EXPECT_EQ(exponent, 6);91 92 EXPECT_FP_EQ_ALL_ROUNDING(T(0.78125), func(T(800.0), &exponent));93 EXPECT_EQ(exponent, 10);94 EXPECT_FP_EQ_ALL_ROUNDING(T(-0.78125), func(T(-800.0), &exponent));95 EXPECT_EQ(exponent, 10);96 }97};98 99#define LIST_FREXP_TESTS(T, func) \100 using LlvmLibcFrexpTest = FrexpTest<T>; \101 TEST_F(LlvmLibcFrexpTest, SpecialNumbers) { testSpecialNumbers(&func); } \102 TEST_F(LlvmLibcFrexpTest, PowersOfTwo) { testPowersOfTwo(&func); } \103 TEST_F(LlvmLibcFrexpTest, SomeIntegers) { testSomeIntegers(&func); } \104 static_assert(true, "Require semicolon.")105