Update the NaN tests to deal with non-conformance better

ICC apparently optimises 0 * anything directly to zero, even when it
should be doing a multiplication to conform to IEEE requirements. GCC in
fast-math mode does the same, but that also makes the rest of the
function unreliable, so we try to turn off fast-math mode if we can.

Task-number: QTBUG-22340

Change-Id: I0e3c5f4927b0a6bcb3189bb156c18843fc4b29b9
Reviewed-by: Caroline Chao <caroline.chao@digia.com>
This commit is contained in:
Thiago Macieira 2012-09-27 15:39:20 +02:00 committed by The Qt Project
parent a152157998
commit 928fc8d939

View File

@ -87,24 +87,19 @@ void tst_QNumeric::fuzzyCompare()
QCOMPARE(::qFuzzyCompare(-val2, -val1), isEqual); QCOMPARE(::qFuzzyCompare(-val2, -val1), isEqual);
} }
#if defined __FAST_MATH__ && (__GNUC__ * 100 + __GNUC_MINOR__ >= 404)
// turn -ffast-math off
# pragma GCC optimize "no-fast-math"
#endif
void tst_QNumeric::qNan() void tst_QNumeric::qNan()
{ {
double nan = qQNaN(); #if defined __FAST_MATH__ && (__GNUC__ * 100 + __GNUC_MINOR__ < 404)
#if defined( __INTEL_COMPILER) QSKIP("Non-conformant fast math mode is enabled, cannot run test");
QCOMPARE((0 > nan), false);
QCOMPARE((0 < nan), false);
QSKIP("This fails due to a bug in the Intel Compiler");
#else
if (0 > nan)
QFAIL("compiler thinks 0 > nan");
# if defined(Q_CC_DIAB)
QWARN("!(0 < nan) would fail due to a bug in dcc");
# else
if (0 < nan)
QFAIL("compiler thinks 0 < nan");
# endif
#endif #endif
double nan = qQNaN();
QVERIFY(!(0 > nan));
QVERIFY(!(0 < nan));
QVERIFY(qIsNaN(nan)); QVERIFY(qIsNaN(nan));
QVERIFY(qIsNaN(nan + 1)); QVERIFY(qIsNaN(nan + 1));
QVERIFY(qIsNaN(-nan)); QVERIFY(qIsNaN(-nan));
@ -115,7 +110,13 @@ void tst_QNumeric::qNan()
QVERIFY(qIsInf(-inf)); QVERIFY(qIsInf(-inf));
QVERIFY(qIsInf(2*inf)); QVERIFY(qIsInf(2*inf));
QCOMPARE(1/inf, 0.0); QCOMPARE(1/inf, 0.0);
#ifdef Q_CC_INTEL
QEXPECT_FAIL("", "ICC optimizes zero * anything to zero", Continue);
#endif
QVERIFY(qIsNaN(0*nan)); QVERIFY(qIsNaN(0*nan));
#ifdef Q_CC_INTEL
QEXPECT_FAIL("", "ICC optimizes zero * anything to zero", Continue);
#endif
QVERIFY(qIsNaN(0*inf)); QVERIFY(qIsNaN(0*inf));
QVERIFY(qFuzzyCompare(1/inf, 0.0)); QVERIFY(qFuzzyCompare(1/inf, 0.0));
} }