diff options
author | John Hauser <jhauser@eecs.berkeley.edu> | 2018-01-26 12:52:36 -0800 |
---|---|---|
committer | John Hauser <jhauser@eecs.berkeley.edu> | 2018-01-26 12:52:36 -0800 |
commit | 06b20075dd3c1a5d0dd007a93643282832221612 (patch) | |
tree | 5ccf80c275685bccd4f0b4de41c66cf7dbbf34b4 /source/test_a_f32_z_ui32_x.c | |
parent | 0d2862cdb35361d47548020b97dc60b58d53d048 (diff) | |
download | berkeley-testfloat-3-06b20075dd3c1a5d0dd007a93643282832221612.zip berkeley-testfloat-3-06b20075dd3c1a5d0dd007a93643282832221612.tar.gz berkeley-testfloat-3-06b20075dd3c1a5d0dd007a93643282832221612.tar.bz2 |
Release 3e. See "doc/TestFloat-history.html".
Diffstat (limited to 'source/test_a_f32_z_ui32_x.c')
-rw-r--r-- | source/test_a_f32_z_ui32_x.c | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/source/test_a_f32_z_ui32_x.c b/source/test_a_f32_z_ui32_x.c index 209efab..91589c4 100644 --- a/source/test_a_f32_z_ui32_x.c +++ b/source/test_a_f32_z_ui32_x.c @@ -1,12 +1,12 @@ /*============================================================================ -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 The Regents of the University of California. -All rights reserved. +Copyright 2011, 2012, 2013, 2014, 2018 The Regents of the University of +California. All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: @@ -79,15 +79,10 @@ void } if ( (trueZ != subjZ) || (trueFlags != subjFlags) ) { if ( - ! verCases_checkNaNs && f32_isSignalingNaN( genCases_f32_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 ); |