diff options
Diffstat (limited to 'source/testLoops.h')
| -rw-r--r-- | source/testLoops.h | 39 |
1 files changed, 20 insertions, 19 deletions
diff --git a/source/testLoops.h b/source/testLoops.h index 77f6e61..66df969 100644 --- a/source/testLoops.h +++ b/source/testLoops.h @@ -1,11 +1,11 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3b, a package of programs for +This C header file is part of TestFloat, Release 3c, 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 The Regents of the University of +Copyright 2011, 2012, 2013, 2014, 2015, 2017 The Regents of the University of California. All rights reserved. Redistribution and use in source and binary forms, with or without @@ -51,7 +51,9 @@ extern uint_fast8_t (*testLoops_subjFlagsFunction)( void ); void test_a_ui32_z_f16( float16_t ( uint32_t ), float16_t ( uint32_t ) ); #endif void test_a_ui32_z_f32( float32_t ( uint32_t ), float32_t ( uint32_t ) ); +#ifdef FLOAT64 void test_a_ui32_z_f64( float64_t ( uint32_t ), float64_t ( uint32_t ) ); +#endif #ifdef EXTFLOAT80 void test_a_ui32_z_extF80( @@ -67,7 +69,9 @@ void void test_a_ui64_z_f16( float16_t ( uint64_t ), float16_t ( uint64_t ) ); #endif void test_a_ui64_z_f32( float32_t ( uint64_t ), float32_t ( uint64_t ) ); +#ifdef FLOAT64 void test_a_ui64_z_f64( float64_t ( uint64_t ), float64_t ( uint64_t ) ); +#endif #ifdef EXTFLOAT80 void test_a_ui64_z_extF80( @@ -82,7 +86,9 @@ void void test_a_i32_z_f16( float16_t ( int32_t ), float16_t ( int32_t ) ); #endif void test_a_i32_z_f32( float32_t ( int32_t ), float32_t ( int32_t ) ); +#ifdef FLOAT64 void test_a_i32_z_f64( float64_t ( int32_t ), float64_t ( int32_t ) ); +#endif #ifdef EXTFLOAT80 void test_a_i32_z_extF80( @@ -97,7 +103,9 @@ void void test_a_i64_z_f16( float16_t ( int64_t ), float16_t ( int64_t ) ); #endif void test_a_i64_z_f32( float32_t ( int64_t ), float32_t ( int64_t ) ); +#ifdef FLOAT64 void test_a_i64_z_f64( float64_t ( int64_t ), float64_t ( int64_t ) ); +#endif #ifdef EXTFLOAT80 void test_a_i64_z_extF80( @@ -157,7 +165,9 @@ void int_fast64_t ( float16_t, bool ), int_fast64_t ( float16_t, bool ), bool ); void test_a_f16_z_f32( float32_t ( float16_t ), float32_t ( float16_t ) ); +#ifdef FLOAT64 void test_a_f16_z_f64( float64_t ( float16_t ), float64_t ( float16_t ) ); +#endif #ifdef EXTFLOAT80 void test_a_f16_z_extF80( @@ -238,7 +248,9 @@ void #ifdef FLOAT16 void test_a_f32_z_f16( float16_t ( float32_t ), float16_t ( float32_t ) ); #endif +#ifdef FLOAT64 void test_a_f32_z_f64( float64_t ( float32_t ), float64_t ( float32_t ) ); +#endif #ifdef EXTFLOAT80 void test_a_f32_z_extF80( @@ -271,6 +283,7 @@ void /*---------------------------------------------------------------------------- *----------------------------------------------------------------------------*/ +#ifdef FLOAT64 void test_a_f64_z_ui32_rx( uint_fast32_t ( float64_t, uint_fast8_t, bool ), @@ -348,6 +361,7 @@ void void test_ab_f64_z_bool( bool ( float64_t, float64_t ), bool ( float64_t, float64_t ) ); +#endif /*---------------------------------------------------------------------------- *----------------------------------------------------------------------------*/ @@ -412,9 +426,11 @@ void void test_a_extF80_z_f32( float32_t ( const extFloat80_t * ), float32_t ( const extFloat80_t * ) ); +#ifdef FLOAT64 void test_a_extF80_z_f64( float64_t ( const extFloat80_t * ), float64_t ( const extFloat80_t * ) ); +#endif #ifdef FLOAT128 void test_a_extF80_z_f128( @@ -440,23 +456,6 @@ void void ( const extFloat80_t *, const extFloat80_t *, extFloat80_t * ) ); void - test_abcz_extF80( - void - ( - const extFloat80_t, - const extFloat80_t, - const extFloat80_t, - extFloat80_t * - ), - void - ( - const extFloat80_t, - const extFloat80_t, - const extFloat80_t, - extFloat80_t * - ) - ); -void test_ab_extF80_z_bool( bool ( const extFloat80_t *, const extFloat80_t * ), bool ( const extFloat80_t *, const extFloat80_t * ) @@ -526,9 +525,11 @@ void void test_a_f128_z_f32( float32_t ( const float128_t * ), float32_t ( const float128_t * ) ); +#ifdef FLOAT64 void test_a_f128_z_f64( float64_t ( const float128_t * ), float64_t ( const float128_t * ) ); +#endif #ifdef EXTFLOAT80 void test_a_f128_z_extF80( |