void
test_a_extF80_z_ui32_rx(
uint_fast32_t trueFunction( const extFloat80_t *, uint_fast8_t, bool ),
uint_fast32_t subjFunction( const extFloat80_t *, uint_fast8_t, bool ),
uint_fast8_t roundingMode,
bool exact
)
{
int count;
uint_fast32_t trueZ;
uint_fast8_t trueFlags;
uint_fast32_t subjZ;
uint_fast8_t subjFlags;
genCases_extF80_a_init();
genCases_writeTestsTotal( testLoops_forever );
verCases_errorCount = 0;
verCases_tenThousandsCount = 0;
count = 10000;
while ( ! genCases_done || testLoops_forever ) {
genCases_extF80_a_next();
*testLoops_trueFlagsPtr = 0;
trueZ = trueFunction( &genCases_extF80_a, roundingMode, exact );
trueFlags = *testLoops_trueFlagsPtr;
testLoops_subjFlagsFunction();
subjZ = subjFunction( &genCases_extF80_a, roundingMode, exact );
subjFlags = testLoops_subjFlagsFunction();
--count;
if ( ! count ) {
verCases_perTenThousand();
count = 10000;
}
if ( (trueZ != subjZ) || (trueFlags != subjFlags) ) {
if (
! verCases_checkNaNs
&& extF80M_isSignalingNaN( &genCases_extF80_a )
) {
trueFlags |= softfloat_flag_invalid;
}
if (
(trueZ != 0xFFFFFFFF)
|| (subjZ != 0xFFFFFFFF)
|| (trueFlags != softfloat_flag_invalid)
|| (subjFlags != softfloat_flag_invalid)
) {
++verCases_errorCount;
verCases_writeErrorFound( 10000 - count );
writeCase_a_extF80M( &genCases_extF80_a, " " );
writeCase_z_ui32( trueZ, trueFlags, subjZ, subjFlags );
if ( verCases_errorCount == verCases_maxErrorCount ) break;
}
}
}
verCases_writeTestsPerformed( 10000 - count );
}
void
test_a_f64_z_ui32_x(
uint_fast32_t trueFunction( float64_t, bool ),
uint_fast32_t testFunction( float64_t, bool ),
bool exact
)
{
int count;
uint_fast32_t trueZ;
int_fast8_t trueFlags;
uint_fast32_t testZ;
int_fast8_t testFlags;
genCases_f64_a_init();
genCases_writeTestsTotal( testLoops_forever );
verCases_errorCount = 0;
verCases_tenThousandsCount = 0;
count = 10000;
while ( ! genCases_done || testLoops_forever ) {
genCases_f64_a_next();
*testLoops_trueFlagsPtr = 0;
trueZ = trueFunction( genCases_f64_a, exact );
trueFlags = *testLoops_trueFlagsPtr;
testLoops_testFlagsFunction();
testZ = testFunction( genCases_f64_a, exact );
testFlags = testLoops_testFlagsFunction();
--count;
if ( ! count ) {
verCases_perTenThousand();
count = 10000;
}
if ( ( trueZ != testZ ) || ( trueFlags != testFlags ) ) {
if (
! verCases_checkNaNs && f64_isSignalingNaN( genCases_f64_a )
) {
trueFlags |= softfloat_flag_invalid;
}
if (
( trueZ != 0xFFFFFFFF )
|| ( testZ != 0xFFFFFFFF )
|| ( trueFlags != softfloat_flag_invalid )
|| ( testFlags != softfloat_flag_invalid )
) {
++verCases_errorCount;
verCases_writeErrorFound( 10000 - count );
writeCase_a_f64( genCases_f64_a, " " );
writeCase_z_ui32( trueZ, trueFlags, testZ, testFlags );
if ( verCases_errorCount == verCases_maxErrorCount ) break;
}
}
}
verCases_writeTestsPerformed( 10000 - count );
}
void
test_a_f16_z_ui32_rx(
uint_fast32_t trueFunction( float16_t, uint_fast8_t, bool ),
uint_fast32_t subjFunction( float16_t, uint_fast8_t, bool ),
uint_fast8_t roundingMode,
bool exact
)
{
int count;
uint_fast32_t trueZ;
uint_fast8_t trueFlags;
uint_fast32_t subjZ;
uint_fast8_t subjFlags;
genCases_f16_a_init();
genCases_writeTestsTotal( testLoops_forever );
verCases_errorCount = 0;
verCases_tenThousandsCount = 0;
count = 10000;
while ( ! genCases_done || testLoops_forever ) {
genCases_f16_a_next();
*testLoops_trueFlagsPtr = 0;
trueZ = trueFunction( genCases_f16_a, roundingMode, exact );
trueFlags = *testLoops_trueFlagsPtr;
testLoops_subjFlagsFunction();
subjZ = subjFunction( genCases_f16_a, roundingMode, exact );
subjFlags = testLoops_subjFlagsFunction();
--count;
if ( ! count ) {
verCases_perTenThousand();
count = 10000;
}
if ( (trueZ != subjZ) || (trueFlags != subjFlags) ) {
if (
verCases_checkInvInts
|| (trueFlags != softfloat_flag_invalid)
|| (subjFlags != softfloat_flag_invalid)
|| ((subjZ != 0xFFFFFFFF) && (subjZ != 0))
) {
++verCases_errorCount;
verCases_writeErrorFound( 10000 - count );
writeCase_a_f16( genCases_f16_a );
writeCase_z_ui32( trueZ, trueFlags, subjZ, subjFlags );
if ( verCases_errorCount == verCases_maxErrorCount ) break;
}
}
}
verCases_writeTestsPerformed( 10000 - count );
}