From 06b20075dd3c1a5d0dd007a93643282832221612 Mon Sep 17 00:00:00 2001 From: John Hauser Date: Fri, 26 Jan 2018 12:52:36 -0800 Subject: Release 3e. See "doc/TestFloat-history.html". --- source/test_a_f16_z_i64_rx.c | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) (limited to 'source/test_a_f16_z_i64_rx.c') diff --git a/source/test_a_f16_z_i64_rx.c b/source/test_a_f16_z_i64_rx.c index ac04f80..0ffdd63 100644 --- a/source/test_a_f16_z_i64_rx.c +++ b/source/test_a_f16_z_i64_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, 2015, 2016, 2017 The Regents of the +Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018 The Regents of the University of California. All rights reserved. Redistribution and use in source and binary forms, with or without @@ -82,16 +82,12 @@ void } if ( (trueZ != subjZ) || (trueFlags != subjFlags) ) { if ( - ! verCases_checkNaNs && f16_isSignalingNaN( genCases_f16_a ) - ) { - trueFlags |= softfloat_flag_invalid; - } - if ( - (trueZ != INT64_C( 0x7FFFFFFFFFFFFFFF )) - || ((subjZ != INT64_C( 0x7FFFFFFFFFFFFFFF )) - && (subjZ != -INT64_C( 0x7FFFFFFFFFFFFFFF ) - 1)) + verCases_checkInvInts || (trueFlags != softfloat_flag_invalid) || (subjFlags != softfloat_flag_invalid) + || ((subjZ != INT64_C( 0x7FFFFFFFFFFFFFFF )) + && (subjZ != -INT64_C( 0x7FFFFFFFFFFFFFFF ) - 1) + && (! f16_isNaN( genCases_f16_a ) || (subjZ != 0))) ) { ++verCases_errorCount; verCases_writeErrorFound( 10000 - count ); -- cgit v1.1