void test_abcz_f32( float32_t trueFunction( float32_t, float32_t, float32_t ), float32_t subjFunction( float32_t, float32_t, float32_t ) ) { int count; float32_t trueZ; uint_fast8_t trueFlags; float32_t subjZ; uint_fast8_t subjFlags; genCases_f32_abc_init(); genCases_writeTestsTotal( testLoops_forever ); verCases_errorCount = 0; verCases_tenThousandsCount = 0; count = 10000; while ( ! genCases_done || testLoops_forever ) { genCases_f32_abc_next(); *testLoops_trueFlagsPtr = 0; trueZ = trueFunction( genCases_f32_a, genCases_f32_b, genCases_f32_c ); trueFlags = *testLoops_trueFlagsPtr; testLoops_subjFlagsFunction(); subjZ = subjFunction( genCases_f32_a, genCases_f32_b, genCases_f32_c ); subjFlags = testLoops_subjFlagsFunction(); --count; if ( ! count ) { verCases_perTenThousand(); count = 10000; } if ( ! f32_same( trueZ, subjZ ) || (trueFlags != subjFlags) ) { if ( ! verCases_checkNaNs && ( f32_isSignalingNaN( genCases_f32_a ) || f32_isSignalingNaN( genCases_f32_b ) || f32_isSignalingNaN( genCases_f32_c ) ) ) { trueFlags |= softfloat_flag_invalid; } if ( verCases_checkNaNs || ! f32_isNaN( trueZ ) || ! f32_isNaN( subjZ ) || f32_isSignalingNaN( subjZ ) || (trueFlags != subjFlags) ) { ++verCases_errorCount; verCases_writeErrorFound( 10000 - count ); writeCase_abc_f32( genCases_f32_a, genCases_f32_b, genCases_f32_c, "\n\t" ); writeCase_z_f32( trueZ, trueFlags, subjZ, subjFlags ); if ( verCases_errorCount == verCases_maxErrorCount ) break; } } } verCases_writeTestsPerformed( 10000 - count ); }
void test_a_f32_z_ui64_rx( uint_fast64_t trueFunction( float32_t, uint_fast8_t, bool ), uint_fast64_t subjFunction( float32_t, uint_fast8_t, bool ), uint_fast8_t roundingMode, bool exact ) { int count; uint_fast64_t trueZ; uint_fast8_t trueFlags; uint_fast64_t subjZ; uint_fast8_t subjFlags; genCases_f32_a_init(); genCases_writeTestsTotal( testLoops_forever ); verCases_errorCount = 0; verCases_tenThousandsCount = 0; count = 10000; while ( ! genCases_done || testLoops_forever ) { genCases_f32_a_next(); *testLoops_trueFlagsPtr = 0; trueZ = trueFunction( genCases_f32_a, roundingMode, exact ); trueFlags = *testLoops_trueFlagsPtr; testLoops_subjFlagsFunction(); subjZ = subjFunction( genCases_f32_a, roundingMode, exact ); subjFlags = testLoops_subjFlagsFunction(); --count; if ( ! count ) { verCases_perTenThousand(); count = 10000; } if ( (trueZ != subjZ) || (trueFlags != subjFlags) ) { if ( ! verCases_checkNaNs && f32_isSignalingNaN( genCases_f32_a ) ) { trueFlags |= softfloat_flag_invalid; } if ( (trueZ != UINT64_C( 0xFFFFFFFFFFFFFFFF )) || (subjZ != UINT64_C( 0xFFFFFFFFFFFFFFFF )) || (trueFlags != softfloat_flag_invalid) || (subjFlags != softfloat_flag_invalid) ) { ++verCases_errorCount; verCases_writeErrorFound( 10000 - count ); writeCase_a_f32( genCases_f32_a, " " ); writeCase_z_ui64( trueZ, trueFlags, subjZ, subjFlags ); if ( verCases_errorCount == verCases_maxErrorCount ) break; } } } verCases_writeTestsPerformed( 10000 - count ); }
void test_a_f32_z_i32_x( int_fast32_t trueFunction( float32_t, bool ), int_fast32_t testFunction( float32_t, bool ), bool exact ) { int count; int_fast32_t trueZ; int_fast8_t trueFlags; int_fast32_t testZ; int_fast8_t testFlags; genCases_f32_a_init(); genCases_writeTestsTotal( testLoops_forever ); verCases_errorCount = 0; verCases_tenThousandsCount = 0; count = 10000; while ( ! genCases_done || testLoops_forever ) { genCases_f32_a_next(); *testLoops_trueFlagsPtr = 0; trueZ = trueFunction( genCases_f32_a, exact ); trueFlags = *testLoops_trueFlagsPtr; testLoops_testFlagsFunction(); testZ = testFunction( genCases_f32_a, exact ); testFlags = testLoops_testFlagsFunction(); --count; if ( ! count ) { verCases_perTenThousand(); count = 10000; } if ( ( trueZ != testZ ) || ( trueFlags != testFlags ) ) { if ( ! verCases_checkNaNs && f32_isSignalingNaN( genCases_f32_a ) ) { trueFlags |= softfloat_flag_invalid; } if ( ( trueZ != 0x7FFFFFFF ) || ( ( testZ != 0x7FFFFFFF ) && ( testZ != -0x7FFFFFFF - 1 ) ) || ( trueFlags != softfloat_flag_invalid ) || ( testFlags != softfloat_flag_invalid ) ) { ++verCases_errorCount; verCases_writeErrorFound( 10000 - count ); writeCase_a_f32( genCases_f32_a, " " ); writeCase_z_i32( trueZ, trueFlags, testZ, testFlags ); if ( verCases_errorCount == verCases_maxErrorCount ) break; } } } verCases_writeTestsPerformed( 10000 - count ); }
void test_a_i32_z_f32( float32_t trueFunction( int_fast32_t ), float32_t testFunction( int_fast32_t ) ) { int count; float32_t trueZ; int_fast8_t trueFlags; float32_t testZ; int_fast8_t testFlags; genCases_i32_a_init(); genCases_writeTestsTotal( testLoops_forever ); verCases_errorCount = 0; verCases_tenThousandsCount = 0; count = 10000; while ( ! genCases_done || testLoops_forever ) { genCases_i32_a_next(); *testLoops_trueFlagsPtr = 0; trueZ = trueFunction( genCases_i32_a ); trueFlags = *testLoops_trueFlagsPtr; testLoops_testFlagsFunction(); testZ = testFunction( genCases_i32_a ); testFlags = testLoops_testFlagsFunction(); --count; if ( ! count ) { verCases_perTenThousand(); count = 10000; } if ( ! f32_same( trueZ, testZ ) || ( trueFlags != testFlags ) ) { if ( verCases_checkNaNs || ! f32_isNaN( trueZ ) || ! f32_isNaN( testZ ) || f32_isSignalingNaN( testZ ) || ( trueFlags != testFlags ) ) { ++verCases_errorCount; verCases_writeErrorFound( 10000 - count ); writeCase_a_i32( genCases_i32_a, " " ); writeCase_z_f32( trueZ, trueFlags, testZ, testFlags ); if ( verCases_errorCount == verCases_maxErrorCount ) break; } } } verCases_writeTestsPerformed( 10000 - count ); }