104 lines · c
1//===-- Utility class to test flavors of setpayloadsig ----------*- 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#ifndef LIBC_TEST_SRC_MATH_SMOKE_SETPAYLOADSIGTEST_H10#define LIBC_TEST_SRC_MATH_SMOKE_SETPAYLOADSIGTEST_H11 12#include "test/UnitTest/FEnvSafeTest.h"13#include "test/UnitTest/FPMatcher.h"14#include "test/UnitTest/Test.h"15 16using LIBC_NAMESPACE::Sign;17 18template <typename T>19class SetPayloadSigTestTemplate : public LIBC_NAMESPACE::testing::FEnvSafeTest {20 21 DECLARE_SPECIAL_CONSTANTS(T)22 23public:24 typedef int (*SetPayloadSigFunc)(T *, T);25 26 void testInvalidPayloads(SetPayloadSigFunc func) {27 T res;28 29 EXPECT_EQ(1, func(&res, T(aNaN)));30 EXPECT_EQ(1, func(&res, T(neg_aNaN)));31 EXPECT_EQ(1, func(&res, T(inf)));32 EXPECT_EQ(1, func(&res, T(neg_inf)));33 EXPECT_EQ(1, func(&res, T(0.0)));34 EXPECT_EQ(1, func(&res, T(-0.0)));35 EXPECT_EQ(1, func(&res, T(0.1)));36 EXPECT_EQ(1, func(&res, T(-0.1)));37 EXPECT_EQ(1, func(&res, T(-1.0)));38 EXPECT_EQ(1, func(&res, T(0x42.1p+0)));39 EXPECT_EQ(1, func(&res, T(-0x42.1p+0)));40 41 FPBits default_snan_payload_bits = FPBits::one();42 default_snan_payload_bits.set_biased_exponent(FPBits::FRACTION_LEN - 1 +43 FPBits::EXP_BIAS);44 T default_snan_payload = default_snan_payload_bits.get_val();45 46 EXPECT_EQ(1, func(&res, default_snan_payload));47 }48 49 void testValidPayloads(SetPayloadSigFunc func) {50 T res;51 52 EXPECT_EQ(0, func(&res, T(1.0)));53 EXPECT_TRUE(FPBits(res).is_signaling_nan());54 EXPECT_EQ(FPBits::signaling_nan(Sign::POS, 1).uintval(),55 FPBits(res).uintval());56 57 if constexpr (FPBits::FRACTION_LEN - 1 >= 6) {58 EXPECT_EQ(0, func(&res, T(0x31.0p+0)));59 EXPECT_TRUE(FPBits(res).is_signaling_nan());60 EXPECT_EQ(FPBits::signaling_nan(Sign::POS, 0x31).uintval(),61 FPBits(res).uintval());62 63 EXPECT_EQ(0, func(&res, T(0x15.0p+0)));64 EXPECT_TRUE(FPBits(res).is_signaling_nan());65 EXPECT_EQ(FPBits::signaling_nan(Sign::POS, 0x15).uintval(),66 FPBits(res).uintval());67 }68 69 if constexpr (FPBits::FRACTION_LEN - 1 >= 7) {70 EXPECT_EQ(0, func(&res, T(0x42.0p+0)));71 EXPECT_TRUE(FPBits(res).is_signaling_nan());72 EXPECT_EQ(FPBits::signaling_nan(Sign::POS, 0x42).uintval(),73 FPBits(res).uintval());74 }75 76 if constexpr (FPBits::FRACTION_LEN - 1 >= 9) {77 EXPECT_EQ(0, func(&res, T(0x123.0p+0)));78 EXPECT_TRUE(FPBits(res).is_signaling_nan());79 EXPECT_EQ(FPBits::signaling_nan(Sign::POS, 0x123).uintval(),80 FPBits(res).uintval());81 }82 83 FPBits nan_payload_bits = FPBits::one();84 nan_payload_bits.set_biased_exponent(FPBits::FRACTION_LEN - 2 +85 FPBits::EXP_BIAS);86 nan_payload_bits.set_mantissa(FPBits::SIG_MASK - 3);87 T nan_payload = nan_payload_bits.get_val();88 EXPECT_EQ(0, func(&res, nan_payload));89 EXPECT_TRUE(FPBits(res).is_signaling_nan());90 EXPECT_EQ(91 FPBits::signaling_nan(Sign::POS, FPBits::FRACTION_MASK >> 1).uintval(),92 FPBits(res).uintval());93 }94};95 96#define LIST_SETPAYLOADSIG_TESTS(T, func) \97 using LlvmLibcSetPayloadSigTest = SetPayloadSigTestTemplate<T>; \98 TEST_F(LlvmLibcSetPayloadSigTest, InvalidPayloads) { \99 testInvalidPayloads(&func); \100 } \101 TEST_F(LlvmLibcSetPayloadSigTest, ValidPayloads) { testValidPayloads(&func); }102 103#endif // LIBC_TEST_SRC_MATH_SMOKE_SETPAYLOADSIGTEST_H104