| //===-- Utility class to test different flavors of ufromfpx -----*- C++ -*-===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef LIBC_TEST_SRC_MATH_SMOKE_UFROMFPXTEST_H |
| #define LIBC_TEST_SRC_MATH_SMOKE_UFROMFPXTEST_H |
| |
| #include "test/UnitTest/FEnvSafeTest.h" |
| #include "test/UnitTest/FPMatcher.h" |
| #include "test/UnitTest/Test.h" |
| |
| template <typename T> |
| class UfromfpxTestTemplate : public LIBC_NAMESPACE::testing::FEnvSafeTest { |
| |
| DECLARE_SPECIAL_CONSTANTS(T) |
| |
| public: |
| typedef T (*UfromfpxFunc)(T, int, unsigned int); |
| |
| void testSpecialNumbersNonzeroWidth(UfromfpxFunc func) { |
| for (int rnd : MATH_ROUNDING_DIRECTIONS_INCLUDING_UNKNOWN) { |
| EXPECT_FP_EQ(zero, func(zero, rnd, 32U)); |
| EXPECT_FP_EQ(neg_zero, func(neg_zero, rnd, 32U)); |
| |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(inf, rnd, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(neg_inf, rnd, 32U), FE_INVALID); |
| |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(aNaN, rnd, 32U), FE_INVALID); |
| } |
| } |
| |
| void testSpecialNumbersZeroWidth(UfromfpxFunc func) { |
| for (int rnd : MATH_ROUNDING_DIRECTIONS_INCLUDING_UNKNOWN) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(zero, rnd, 0U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(neg_zero, rnd, 0U), FE_INVALID); |
| |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(inf, rnd, 0U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(neg_inf, rnd, 0U), FE_INVALID); |
| |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(aNaN, rnd, 0U), FE_INVALID); |
| } |
| } |
| |
| void testRoundedNumbersWithinRange(UfromfpxFunc func) { |
| for (int rnd : MATH_ROUNDING_DIRECTIONS_INCLUDING_UNKNOWN) { |
| EXPECT_FP_EQ(T(1.0), func(T(1.0), rnd, 1U)); |
| EXPECT_FP_EQ(T(10.0), func(T(10.0), rnd, 4U)); |
| EXPECT_FP_EQ(T(1234.0), func(T(1234.0), rnd, 11U)); |
| EXPECT_FP_EQ(T(1234.0), func(T(1234.0), rnd, 64U)); |
| } |
| } |
| |
| void testRoundedNumbersOutsideRange(UfromfpxFunc func) { |
| for (int rnd : MATH_ROUNDING_DIRECTIONS_INCLUDING_UNKNOWN) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.0), rnd, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(10.0), rnd, 3U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-10.0), rnd, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1234.0), rnd, 10U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1234.0), rnd, 32U), FE_INVALID); |
| } |
| } |
| |
| void testFractionsUpwardWithinRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(0.5), FP_INT_UPWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(-0.0), func(T(-0.5), FP_INT_UPWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(0.115), FP_INT_UPWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(-0.0), func(T(-0.115), FP_INT_UPWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(0.715), FP_INT_UPWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(-0.0), func(T(-0.715), FP_INT_UPWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(2.0), func(T(1.3), FP_INT_UPWARD, 2U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(2.0), func(T(1.5), FP_INT_UPWARD, 2U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(2.0), func(T(1.75), FP_INT_UPWARD, 2U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(11.0), func(T(10.32), FP_INT_UPWARD, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(11.0), func(T(10.65), FP_INT_UPWARD, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1235.0), func(T(1234.38), FP_INT_UPWARD, 11U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1235.0), func(T(1234.96), FP_INT_UPWARD, 11U), |
| FE_INEXACT); |
| } |
| |
| void testFractionsUpwardOutsideRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1.3), FP_INT_UPWARD, 1U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.3), FP_INT_UPWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1.5), FP_INT_UPWARD, 1U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.5), FP_INT_UPWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1.75), FP_INT_UPWARD, 1U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.75), FP_INT_UPWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(10.32), FP_INT_UPWARD, 3U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-10.32), FP_INT_UPWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(10.65), FP_INT_UPWARD, 3U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-10.65), FP_INT_UPWARD, 3U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1234.38), FP_INT_UPWARD, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1234.38), FP_INT_UPWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1234.96), FP_INT_UPWARD, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1234.96), FP_INT_UPWARD, 32U), |
| FE_INVALID); |
| } |
| |
| void testFractionsDownwardWithinRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(0.0), func(T(0.5), FP_INT_DOWNWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(0.0), func(T(0.115), FP_INT_DOWNWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(0.0), func(T(0.715), FP_INT_DOWNWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(1.3), FP_INT_DOWNWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(1.5), FP_INT_DOWNWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(1.75), FP_INT_DOWNWARD, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(10.0), func(T(10.32), FP_INT_DOWNWARD, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(10.0), func(T(10.65), FP_INT_DOWNWARD, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1234.0), func(T(1234.38), FP_INT_DOWNWARD, 11U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1234.0), func(T(1234.96), FP_INT_DOWNWARD, 11U), FE_INEXACT); |
| } |
| |
| void testFractionsDownwardOutsideRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-0.5), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-0.115), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-0.715), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.3), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.5), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.75), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(10.32), FP_INT_DOWNWARD, 3U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-10.32), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(10.65), FP_INT_DOWNWARD, 3U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-10.65), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1234.38), FP_INT_DOWNWARD, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1234.38), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1234.96), FP_INT_DOWNWARD, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1234.96), FP_INT_DOWNWARD, 32U), |
| FE_INVALID); |
| } |
| |
| void testFractionsTowardZeroWithinRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(0.0), func(T(0.5), FP_INT_TOWARDZERO, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(-0.0), func(T(-0.5), FP_INT_TOWARDZERO, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(0.0), func(T(0.115), FP_INT_TOWARDZERO, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(-0.0), func(T(-0.115), FP_INT_TOWARDZERO, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(0.0), func(T(0.715), FP_INT_TOWARDZERO, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(-0.0), func(T(-0.715), FP_INT_TOWARDZERO, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(1.3), FP_INT_TOWARDZERO, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(1.5), FP_INT_TOWARDZERO, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(1.75), FP_INT_TOWARDZERO, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(10.0), func(T(10.32), FP_INT_TOWARDZERO, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(10.0), func(T(10.65), FP_INT_TOWARDZERO, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1234.0), func(T(1234.38), FP_INT_TOWARDZERO, 11U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1234.0), func(T(1234.96), FP_INT_TOWARDZERO, 11U), FE_INEXACT); |
| } |
| |
| void testFractionsTowardZeroOutsideRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.3), FP_INT_TOWARDZERO, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.5), FP_INT_TOWARDZERO, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.75), FP_INT_TOWARDZERO, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(10.32), FP_INT_TOWARDZERO, 3U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-10.32), FP_INT_TOWARDZERO, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(10.65), FP_INT_TOWARDZERO, 3U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-10.65), FP_INT_TOWARDZERO, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1234.38), FP_INT_TOWARDZERO, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1234.38), FP_INT_TOWARDZERO, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1234.96), FP_INT_TOWARDZERO, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1234.96), FP_INT_TOWARDZERO, 32U), |
| FE_INVALID); |
| } |
| |
| void testFractionsToNearestFromZeroWithinRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1.0), func(T(0.5), FP_INT_TONEARESTFROMZERO, 1U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(0.0), func(T(0.115), FP_INT_TONEARESTFROMZERO, 1U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(-0.0), func(T(-0.115), FP_INT_TONEARESTFROMZERO, 1U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1.0), func(T(0.715), FP_INT_TONEARESTFROMZERO, 1U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1.0), func(T(1.3), FP_INT_TONEARESTFROMZERO, 1U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(2.0), func(T(1.5), FP_INT_TONEARESTFROMZERO, 2U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(2.0), func(T(1.75), FP_INT_TONEARESTFROMZERO, 2U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(10.0), func(T(10.32), FP_INT_TONEARESTFROMZERO, 4U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(11.0), func(T(10.65), FP_INT_TONEARESTFROMZERO, 4U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1234.0), func(T(1234.38), FP_INT_TONEARESTFROMZERO, 11U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1235.0), func(T(1234.96), FP_INT_TONEARESTFROMZERO, 11U), FE_INEXACT); |
| } |
| |
| void testFractionsToNearestFromZeroOutsideRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-0.5), FP_INT_TONEARESTFROMZERO, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-0.715), FP_INT_TONEARESTFROMZERO, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1.3), FP_INT_TONEARESTFROMZERO, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(1.5), FP_INT_TONEARESTFROMZERO, 1U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1.5), FP_INT_TONEARESTFROMZERO, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(1.75), FP_INT_TONEARESTFROMZERO, 1U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1.75), FP_INT_TONEARESTFROMZERO, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(10.32), FP_INT_TONEARESTFROMZERO, 3U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-10.32), FP_INT_TONEARESTFROMZERO, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(10.65), FP_INT_TONEARESTFROMZERO, 3U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-10.65), FP_INT_TONEARESTFROMZERO, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(1234.38), FP_INT_TONEARESTFROMZERO, 10U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1234.38), FP_INT_TONEARESTFROMZERO, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(1234.96), FP_INT_TONEARESTFROMZERO, 10U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1234.96), FP_INT_TONEARESTFROMZERO, 32U), FE_INVALID); |
| } |
| |
| void testFractionsToNearestWithinRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(0.0), func(T(0.5), FP_INT_TONEAREST, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(-0.0), func(T(-0.5), FP_INT_TONEAREST, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(0.0), func(T(0.115), FP_INT_TONEAREST, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(-0.0), func(T(-0.115), FP_INT_TONEAREST, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(0.715), FP_INT_TONEAREST, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(1.0), func(T(1.3), FP_INT_TONEAREST, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(2.0), func(T(1.5), FP_INT_TONEAREST, 2U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(2.0), func(T(1.75), FP_INT_TONEAREST, 2U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(10.0), func(T(10.32), FP_INT_TONEAREST, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(11.0), func(T(10.65), FP_INT_TONEAREST, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1234.0), func(T(1234.38), FP_INT_TONEAREST, 11U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1235.0), func(T(1234.96), FP_INT_TONEAREST, 11U), FE_INEXACT); |
| |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(2.0), func(T(2.3), FP_INT_TONEAREST, 2U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(2.0), func(T(2.5), FP_INT_TONEAREST, 2U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(3.0), func(T(2.75), FP_INT_TONEAREST, 2U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(5.0), func(T(5.3), FP_INT_TONEAREST, 3U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(6.0), func(T(5.5), FP_INT_TONEAREST, 3U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION(T(6.0), func(T(5.75), FP_INT_TONEAREST, 3U), |
| FE_INEXACT); |
| } |
| |
| void testFractionsToNearestOutsideRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-0.715), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.3), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1.5), FP_INT_TONEAREST, 1U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.5), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1.75), FP_INT_TONEAREST, 1U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1.75), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(10.32), FP_INT_TONEAREST, 3U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-10.32), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(10.65), FP_INT_TONEAREST, 3U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-10.65), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1234.38), FP_INT_TONEAREST, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1234.38), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(1234.96), FP_INT_TONEAREST, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-1234.96), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(2.3), FP_INT_TONEAREST, 1U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-2.3), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(2.5), FP_INT_TONEAREST, 1U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-2.5), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(2.75), FP_INT_TONEAREST, 1U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-2.75), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(5.3), FP_INT_TONEAREST, 2U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-5.3), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(5.5), FP_INT_TONEAREST, 2U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-5.5), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(5.75), FP_INT_TONEAREST, 2U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, func(T(-5.75), FP_INT_TONEAREST, 32U), |
| FE_INVALID); |
| } |
| |
| void testFractionsToNearestFallbackWithinRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(0.0), func(T(0.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(-0.0), func(T(-0.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(0.0), func(T(0.115), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(-0.0), func(T(-0.115), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1.0), func(T(0.715), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1.0), func(T(1.3), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(2.0), func(T(1.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 2U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(2.0), func(T(1.75), UNKNOWN_MATH_ROUNDING_DIRECTION, 2U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(10.0), func(T(10.32), UNKNOWN_MATH_ROUNDING_DIRECTION, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(11.0), func(T(10.65), UNKNOWN_MATH_ROUNDING_DIRECTION, 4U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1234.0), func(T(1234.38), UNKNOWN_MATH_ROUNDING_DIRECTION, 11U), |
| FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(1235.0), func(T(1234.96), UNKNOWN_MATH_ROUNDING_DIRECTION, 11U), |
| FE_INEXACT); |
| |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(2.0), func(T(2.3), UNKNOWN_MATH_ROUNDING_DIRECTION, 2U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(2.0), func(T(2.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 2U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(3.0), func(T(2.75), UNKNOWN_MATH_ROUNDING_DIRECTION, 2U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(5.0), func(T(5.3), UNKNOWN_MATH_ROUNDING_DIRECTION, 3U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(6.0), func(T(5.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 3U), FE_INEXACT); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| T(6.0), func(T(5.75), UNKNOWN_MATH_ROUNDING_DIRECTION, 3U), FE_INEXACT); |
| } |
| |
| void testFractionsToNearestFallbackOutsideRange(UfromfpxFunc func) { |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-0.715), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1.3), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(1.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(1.75), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1.75), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(10.32), UNKNOWN_MATH_ROUNDING_DIRECTION, 3U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-10.32), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(10.65), UNKNOWN_MATH_ROUNDING_DIRECTION, 3U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-10.65), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(1234.38), UNKNOWN_MATH_ROUNDING_DIRECTION, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1234.38), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(1234.96), UNKNOWN_MATH_ROUNDING_DIRECTION, 10U), |
| FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-1234.96), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), |
| FE_INVALID); |
| |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(2.3), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-2.3), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(2.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-2.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(2.75), UNKNOWN_MATH_ROUNDING_DIRECTION, 1U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-2.75), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(5.3), UNKNOWN_MATH_ROUNDING_DIRECTION, 2U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-5.3), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(5.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 2U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-5.5), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(5.75), UNKNOWN_MATH_ROUNDING_DIRECTION, 2U), FE_INVALID); |
| EXPECT_FP_EQ_WITH_EXCEPTION( |
| aNaN, func(T(-5.75), UNKNOWN_MATH_ROUNDING_DIRECTION, 32U), FE_INVALID); |
| } |
| }; |
| |
| #define LIST_UFROMFPX_TESTS(T, func) \ |
| using LlvmLibcUfromfpxTest = UfromfpxTestTemplate<T>; \ |
| TEST_F(LlvmLibcUfromfpxTest, SpecialNumbersNonzeroWidth) { \ |
| testSpecialNumbersNonzeroWidth(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, SpecialNumbersZeroWidth) { \ |
| testSpecialNumbersZeroWidth(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, RoundedNumbersWithinRange) { \ |
| testRoundedNumbersWithinRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, RoundedNumbersOutsideRange) { \ |
| testRoundedNumbersOutsideRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsUpwardWithinRange) { \ |
| testFractionsUpwardWithinRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsUpwardOutsideRange) { \ |
| testFractionsUpwardOutsideRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsDownwardWithinRange) { \ |
| testFractionsDownwardWithinRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsDownwardOutsideRange) { \ |
| testFractionsDownwardOutsideRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsTowardZeroWithinRange) { \ |
| testFractionsTowardZeroWithinRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsTowardZeroOutsideRange) { \ |
| testFractionsTowardZeroOutsideRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsToNearestFromZeroWithinRange) { \ |
| testFractionsToNearestFromZeroWithinRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsToNearestFromZeroOutsideRange) { \ |
| testFractionsToNearestFromZeroOutsideRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsToNearestWithinRange) { \ |
| testFractionsToNearestWithinRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsToNearestOutsideRange) { \ |
| testFractionsToNearestOutsideRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsToNearestFallbackWithinRange) { \ |
| testFractionsToNearestFallbackWithinRange(&func); \ |
| } \ |
| TEST_F(LlvmLibcUfromfpxTest, FractionsToNearestFallbackOutsideRange) { \ |
| testFractionsToNearestFallbackOutsideRange(&func); \ |
| } |
| |
| #endif // LIBC_TEST_SRC_MATH_SMOKE_UFROMFPXTEST_H |