aboutsummaryrefslogtreecommitdiff
path: root/source/test_a_f64_z_ui32_rx.c
diff options
context:
space:
mode:
Diffstat (limited to 'source/test_a_f64_z_ui32_rx.c')
-rw-r--r--source/test_a_f64_z_ui32_rx.c13
1 files changed, 4 insertions, 9 deletions
diff --git a/source/test_a_f64_z_ui32_rx.c b/source/test_a_f64_z_ui32_rx.c
index 5b29c98..a797467 100644
--- a/source/test_a_f64_z_ui32_rx.c
+++ b/source/test_a_f64_z_ui32_rx.c
@@ -1,11 +1,11 @@
/*============================================================================
-This C source file is part of TestFloat, Release 3d, a package of programs for
+This C source file is part of TestFloat, Release 3e, a package of programs for
testing the correctness of floating-point arithmetic complying with the IEEE
Standard for Floating-Point, by John R. Hauser.
-Copyright 2011, 2012, 2013, 2014, 2017 The Regents of the University of
+Copyright 2011, 2012, 2013, 2014, 2017, 2018 The Regents of the University of
California. All rights reserved.
Redistribution and use in source and binary forms, with or without
@@ -82,15 +82,10 @@ void
}
if ( (trueZ != subjZ) || (trueFlags != subjFlags) ) {
if (
- ! verCases_checkNaNs && f64_isSignalingNaN( genCases_f64_a )
- ) {
- trueFlags |= softfloat_flag_invalid;
- }
- if (
- (trueZ != 0xFFFFFFFF)
- || (subjZ != 0xFFFFFFFF)
+ verCases_checkInvInts
|| (trueFlags != softfloat_flag_invalid)
|| (subjFlags != softfloat_flag_invalid)
+ || ((subjZ != 0xFFFFFFFF) && (subjZ != 0))
) {
++verCases_errorCount;
verCases_writeErrorFound( 10000 - count );