[llvm] r184714 - [APFloat] Added a large unittest for APFloat.add that checks that special values are computed correctly.
Michael Gottesman
mgottesman at apple.com
Wed Jun 26 10:57:07 PDT 2013
You are right. I actually meant to remove that printf before commit (it was for debugging). = /
On Jun 26, 2013, at 1:00 AM, Patrik Hägglund H <patrik.h.hagglund at ericsson.com> wrote:
> Note that the conversion specifier %a is a C++11 (C99) feature. I get the following warning (and I always use -Werror) when compiling with gcc:
>
> /var/tmp/hudson/workspace/llvm-master/unittests/ADT/APFloatTest.cpp: In member function 'virtual void {anonymous}::APFloatTest_add_Test::TestBody()':
> /var/tmp/hudson/workspace/llvm-master/unittests/ADT/APFloatTest.cpp:1783:55: error: ISO C++ does not support the '%a' gnu_printf format [-Werror=format]
> /var/tmp/hudson/workspace/llvm-master/unittests/ADT/APFloatTest.cpp:1783:55: error: ISO C++ does not support the '%a' gnu_printf format [-Werror=format]
> /var/tmp/hudson/workspace/llvm-master/unittests/ADT/APFloatTest.cpp:1783:55: error: ISO C++ does not support the '%a' gnu_printf format [-Werror=format]
> /var/tmp/hudson/workspace/llvm-master/unittests/ADT/APFloatTest.cpp:1783:55: error: ISO C++ does not support the '%a' gnu_printf format [-Werror=format]
>
> /Patrik Hägglund
>
> -----Original Message-----
> From: llvm-commits-bounces at cs.uiuc.edu [mailto:llvm-commits-bounces at cs.uiuc.edu] On Behalf Of Michael Gottesman
> Sent: den 24 juni 2013 11:58
> To: llvm-commits at cs.uiuc.edu
> Subject: [llvm] r184714 - [APFloat] Added a large unittest for APFloat.add that checks that special values are computed correctly.
>
> Author: mgottesman
> Date: Mon Jun 24 04:58:07 2013
> New Revision: 184714
>
> URL: http://llvm.org/viewvc/llvm-project?rev=184714&view=rev
> Log:
> [APFloat] Added a large unittest for APFloat.add that checks that special values are computed correctly.
>
> Modified:
> llvm/trunk/unittests/ADT/APFloatTest.cpp
>
> Modified: llvm/trunk/unittests/ADT/APFloatTest.cpp
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/unittests/ADT/APFloatTest.cpp?rev=184714&r1=184713&r2=184714&view=diff
> ==============================================================================
> --- llvm/trunk/unittests/ADT/APFloatTest.cpp (original)
> +++ llvm/trunk/unittests/ADT/APFloatTest.cpp Mon Jun 24 04:58:07 2013
> @@ -1486,4 +1486,306 @@ TEST(APFloatTest, isFiniteNonZero) {
> EXPECT_FALSE(APFloat::getSNaN(APFloat::IEEEsingle, true).isFiniteNonZero());
> }
>
> +TEST(APFloatTest, add) {
> + // Test Special Cases against each other and normal values.
> +
> + // TODOS/NOTES:
> + // 1. Since we perform only default exception handling all operations with
> + // signaling NaNs should have a result that is a quiet NaN. Currently they
> + // return sNaN.
> + // 2. It seems that add(-x, NaN) = -NaN but add(NaN, -x) = NaN. This is an
> + // inconsistency that should be looked into. IEEE-754R specifies that the
> + // interpretation of the sign of NaN is unspecified. We should always have NaN
> + // be positive since that is one less thing for the compiler to deal with.
> +
> + APFloat PInf = APFloat::getInf(APFloat::IEEEsingle, false);
> + APFloat MInf = APFloat::getInf(APFloat::IEEEsingle, true);
> + APFloat PZero = APFloat::getZero(APFloat::IEEEsingle, false);
> + APFloat MZero = APFloat::getZero(APFloat::IEEEsingle, true);
> + APFloat QNaN = APFloat::getNaN(APFloat::IEEEsingle, false);
> + APFloat SNaN = APFloat::getSNaN(APFloat::IEEEsingle, false);
> + APFloat PNormalValue = APFloat(APFloat::IEEEsingle, "0x1p+0");
> + APFloat MNormalValue = APFloat(APFloat::IEEEsingle, "-0x1p+0");
> + APFloat PLargestValue = APFloat::getLargest(APFloat::IEEEsingle, false);
> + APFloat MLargestValue = APFloat::getLargest(APFloat::IEEEsingle, true);
> + APFloat PSmallestValue = APFloat::getSmallest(APFloat::IEEEsingle, false);
> + APFloat MSmallestValue = APFloat::getSmallest(APFloat::IEEEsingle, true);
> + APFloat PSmallestNormalized =
> + APFloat::getSmallestNormalized(APFloat::IEEEsingle, false);
> + APFloat MSmallestNormalized =
> + APFloat::getSmallestNormalized(APFloat::IEEEsingle, true);
> +
> + const int OverflowStatus = APFloat::opOverflow | APFloat::opInexact;
> +
> + const unsigned NumTests = 169;
> + struct {
> + APFloat x;
> + APFloat y;
> + const char *result;
> + int status;
> + int category;
> + } SpecialCaseTests[NumTests] = {
> + { PInf, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, MInf, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { PInf, PZero, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, MZero, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, QNaN, "nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { PInf, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { PInf, PNormalValue, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, MNormalValue, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, PLargestValue, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, MLargestValue, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, PSmallestValue, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, MSmallestValue, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, PSmallestNormalized, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PInf, MSmallestNormalized, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, PInf, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { MInf, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, PZero, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, MZero, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + // See Note 2.
> + { MInf, QNaN, "-nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { MInf, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { MInf, PNormalValue, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, MNormalValue, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, PLargestValue, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, MLargestValue, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, PSmallestValue, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, MSmallestValue, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, PSmallestNormalized, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MInf, MSmallestNormalized, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { PZero, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PZero, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { PZero, PZero, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { PZero, MZero, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { PZero, QNaN, "nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { PZero, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { PZero, PNormalValue, "0x1p+0", APFloat::opOK, APFloat::fcNormal },
> + { PZero, MNormalValue, "-0x1p+0", APFloat::opOK, APFloat::fcNormal },
> + { PZero, PLargestValue, "0x1.fffffep+127", APFloat::opOK, APFloat::fcNormal },
> + { PZero, MLargestValue, "-0x1.fffffep+127", APFloat::opOK, APFloat::fcNormal },
> + { PZero, PSmallestValue, "0x1p-149", APFloat::opOK, APFloat::fcNormal },
> + { PZero, MSmallestValue, "-0x1p-149", APFloat::opOK, APFloat::fcNormal },
> + { PZero, PSmallestNormalized, "0x1p-126", APFloat::opOK, APFloat::fcNormal },
> + { PZero, MSmallestNormalized, "-0x1p-126", APFloat::opOK, APFloat::fcNormal },
> + { MZero, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { MZero, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MZero, PZero, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { MZero, MZero, "-0x0p+0", APFloat::opOK, APFloat::fcZero },
> + // See Note 2.
> + { MZero, QNaN, "-nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { MZero, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { MZero, PNormalValue, "0x1p+0", APFloat::opOK, APFloat::fcNormal },
> + { MZero, MNormalValue, "-0x1p+0", APFloat::opOK, APFloat::fcNormal },
> + { MZero, PLargestValue, "0x1.fffffep+127", APFloat::opOK, APFloat::fcNormal },
> + { MZero, MLargestValue, "-0x1.fffffep+127", APFloat::opOK, APFloat::fcNormal },
> + { MZero, PSmallestValue, "0x1p-149", APFloat::opOK, APFloat::fcNormal },
> + { MZero, MSmallestValue, "-0x1p-149", APFloat::opOK, APFloat::fcNormal },
> + { MZero, PSmallestNormalized, "0x1p-126", APFloat::opOK, APFloat::fcNormal },
> + { MZero, MSmallestNormalized, "-0x1p-126", APFloat::opOK, APFloat::fcNormal },
> + { QNaN, PInf, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, MInf, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, PZero, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, MZero, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, QNaN, "nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { QNaN, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { QNaN, PNormalValue, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, MNormalValue, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, PLargestValue, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, MLargestValue, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, PSmallestValue, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, MSmallestValue, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, PSmallestNormalized, "nan", APFloat::opOK, APFloat::fcNaN },
> + { QNaN, MSmallestNormalized, "nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { SNaN, PInf, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, MInf, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, PZero, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, MZero, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, QNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, PNormalValue, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, MNormalValue, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, PLargestValue, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, MLargestValue, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, PSmallestValue, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, MSmallestValue, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, PSmallestNormalized, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> + { SNaN, MSmallestNormalized, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { PNormalValue, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PNormalValue, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { PNormalValue, PZero, "0x1p+0", APFloat::opOK, APFloat::fcNormal },
> + { PNormalValue, MZero, "0x1p+0", APFloat::opOK, APFloat::fcNormal },
> + { PNormalValue, QNaN, "nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { PNormalValue, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { PNormalValue, PNormalValue, "0x1p+1", APFloat::opOK, APFloat::fcNormal },
> + { PNormalValue, MNormalValue, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { PNormalValue, PLargestValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PNormalValue, MLargestValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PNormalValue, PSmallestValue, "0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { PNormalValue, MSmallestValue, "0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { PNormalValue, PSmallestNormalized, "0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { PNormalValue, MSmallestNormalized, "0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { MNormalValue, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { MNormalValue, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MNormalValue, PZero, "-0x1p+0", APFloat::opOK, APFloat::fcNormal },
> + { MNormalValue, MZero, "-0x1p+0", APFloat::opOK, APFloat::fcNormal },
> + // See Note 2.
> + { MNormalValue, QNaN, "-nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { MNormalValue, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { MNormalValue, PNormalValue, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { MNormalValue, MNormalValue, "-0x1p+1", APFloat::opOK, APFloat::fcNormal },
> + { MNormalValue, PLargestValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MNormalValue, MLargestValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MNormalValue, PSmallestValue, "-0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { MNormalValue, MSmallestValue, "-0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { MNormalValue, PSmallestNormalized, "-0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { MNormalValue, MSmallestNormalized, "-0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { PLargestValue, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PLargestValue, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { PLargestValue, PZero, "0x1.fffffep+127", APFloat::opOK, APFloat::fcNormal },
> + { PLargestValue, MZero, "0x1.fffffep+127", APFloat::opOK, APFloat::fcNormal },
> + { PLargestValue, QNaN, "nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { PLargestValue, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { PLargestValue, PNormalValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PLargestValue, MNormalValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PLargestValue, PLargestValue, "inf", OverflowStatus, APFloat::fcInfinity },
> + { PLargestValue, MLargestValue, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { PLargestValue, PSmallestValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PLargestValue, MSmallestValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PLargestValue, PSmallestNormalized, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PLargestValue, MSmallestNormalized, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MLargestValue, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { MLargestValue, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MLargestValue, PZero, "-0x1.fffffep+127", APFloat::opOK, APFloat::fcNormal },
> + { MLargestValue, MZero, "-0x1.fffffep+127", APFloat::opOK, APFloat::fcNormal },
> + // See Note 2.
> + { MLargestValue, QNaN, "-nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { MLargestValue, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { MLargestValue, PNormalValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MLargestValue, MNormalValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MLargestValue, PLargestValue, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { MLargestValue, MLargestValue, "-inf", OverflowStatus, APFloat::fcInfinity },
> + { MLargestValue, PSmallestValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MLargestValue, MSmallestValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MLargestValue, PSmallestNormalized, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MLargestValue, MSmallestNormalized, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PSmallestValue, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PSmallestValue, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { PSmallestValue, PZero, "0x1p-149", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestValue, MZero, "0x1p-149", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestValue, QNaN, "nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { PSmallestValue, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { PSmallestValue, PNormalValue, "0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { PSmallestValue, MNormalValue, "-0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { PSmallestValue, PLargestValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PSmallestValue, MLargestValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PSmallestValue, PSmallestValue, "0x1p-148", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestValue, MSmallestValue, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { PSmallestValue, PSmallestNormalized, "0x1.000002p-126", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestValue, MSmallestNormalized, "-0x1.fffffcp-127", APFloat::opOK, APFloat::fcNormal },
> + { MSmallestValue, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { MSmallestValue, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MSmallestValue, PZero, "-0x1p-149", APFloat::opOK, APFloat::fcNormal },
> + { MSmallestValue, MZero, "-0x1p-149", APFloat::opOK, APFloat::fcNormal },
> + // See Note 2.
> + { MSmallestValue, QNaN, "-nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { MSmallestValue, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { MSmallestValue, PNormalValue, "0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { MSmallestValue, MNormalValue, "-0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { MSmallestValue, PLargestValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MSmallestValue, MLargestValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MSmallestValue, PSmallestValue, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { MSmallestValue, MSmallestValue, "-0x1p-148", APFloat::opOK, APFloat::fcNormal },
> + { MSmallestValue, PSmallestNormalized, "0x1.fffffcp-127", APFloat::opOK, APFloat::fcNormal },
> + { MSmallestValue, MSmallestNormalized, "-0x1.000002p-126", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestNormalized, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { PSmallestNormalized, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { PSmallestNormalized, PZero, "0x1p-126", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestNormalized, MZero, "0x1p-126", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestNormalized, QNaN, "nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> +// See Note 1.
> + { PSmallestNormalized, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { PSmallestNormalized, PNormalValue, "0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { PSmallestNormalized, MNormalValue, "-0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { PSmallestNormalized, PLargestValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PSmallestNormalized, MLargestValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { PSmallestNormalized, PSmallestValue, "0x1.000002p-126", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestNormalized, MSmallestValue, "0x1.fffffcp-127", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestNormalized, PSmallestNormalized, "0x1p-125", APFloat::opOK, APFloat::fcNormal },
> + { PSmallestNormalized, MSmallestNormalized, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { MSmallestNormalized, PInf, "inf", APFloat::opOK, APFloat::fcInfinity },
> + { MSmallestNormalized, MInf, "-inf", APFloat::opOK, APFloat::fcInfinity },
> + { MSmallestNormalized, PZero, "-0x1p-126", APFloat::opOK, APFloat::fcNormal },
> + { MSmallestNormalized, MZero, "-0x1p-126", APFloat::opOK, APFloat::fcNormal },
> + // See Note 2.
> + { MSmallestNormalized, QNaN, "-nan", APFloat::opOK, APFloat::fcNaN },
> +#if 0
> + // See Note 1.
> + { MSmallestNormalized, SNaN, "nan", APFloat::opInvalidOp, APFloat::fcNaN },
> +#endif
> + { MSmallestNormalized, PNormalValue, "0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { MSmallestNormalized, MNormalValue, "-0x1p+0", APFloat::opInexact, APFloat::fcNormal },
> + { MSmallestNormalized, PLargestValue, "0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MSmallestNormalized, MLargestValue, "-0x1.fffffep+127", APFloat::opInexact, APFloat::fcNormal },
> + { MSmallestNormalized, PSmallestValue, "-0x1.fffffcp-127", APFloat::opOK, APFloat::fcNormal },
> + { MSmallestNormalized, MSmallestValue, "-0x1.000002p-126", APFloat::opOK, APFloat::fcNormal },
> + { MSmallestNormalized, PSmallestNormalized, "0x0p+0", APFloat::opOK, APFloat::fcZero },
> + { MSmallestNormalized, MSmallestNormalized, "-0x1p-125", APFloat::opOK, APFloat::fcNormal }
> + };
> +
> + for (size_t i = 0; i < NumTests; ++i) {
> + APFloat x(SpecialCaseTests[i].x);
> + APFloat y(SpecialCaseTests[i].y);
> + APFloat::opStatus status = x.add(y, APFloat::rmNearestTiesToEven);
> +
> + APFloat result(APFloat::IEEEsingle, SpecialCaseTests[i].result);
> +
> + printf("%a, %a, %a, %a\n", SpecialCaseTests[i].x.convertToFloat(),
> + SpecialCaseTests[i].y.convertToFloat(),
> + x.convertToFloat(), result.convertToFloat());
> +
> + EXPECT_TRUE(result.bitwiseIsEqual(x));
> + EXPECT_TRUE((int)status == SpecialCaseTests[i].status);
> + EXPECT_TRUE((int)x.getCategory() == SpecialCaseTests[i].category);
> + }
> +}
> +
> }
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130626/bb6d05ac/attachment.html>
More information about the llvm-commits
mailing list