diff options
Diffstat (limited to 'source/genLoops.h')
-rw-r--r-- | source/genLoops.h | 37 |
1 files changed, 24 insertions, 13 deletions
diff --git a/source/genLoops.h b/source/genLoops.h index 2125a96..0ea24ab 100644 --- a/source/genLoops.h +++ b/source/genLoops.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 @@ -37,9 +37,10 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. #include <stdbool.h> #include <stdint.h> +#include <signal.h> #include "softfloat.h" -extern volatile bool genLoops_stop; +extern volatile sig_atomic_t genLoops_stop; extern bool genLoops_forever; extern bool genLoops_givenCount; @@ -58,9 +59,11 @@ void gen_abc_f16( void ); void gen_a_f32( void ); void gen_ab_f32( void ); void gen_abc_f32( void ); +#ifdef FLOAT64 void gen_a_f64( void ); void gen_ab_f64( void ); void gen_abc_f64( void ); +#endif #ifdef EXTFLOAT80 void gen_a_extF80( void ); void gen_ab_extF80( void ); @@ -76,7 +79,9 @@ void gen_abc_f128( void ); void gen_a_ui32_z_f16( float16_t ( uint32_t ) ); #endif void gen_a_ui32_z_f32( float32_t ( uint32_t ) ); +#ifdef FLOAT64 void gen_a_ui32_z_f64( float64_t ( uint32_t ) ); +#endif #ifdef EXTFLOAT80 void gen_a_ui32_z_extF80( void ( uint32_t, extFloat80_t * ) ); #endif @@ -87,7 +92,9 @@ void gen_a_ui32_z_f128( void ( uint32_t, float128_t * ) ); void gen_a_ui64_z_f16( float16_t ( uint64_t ) ); #endif void gen_a_ui64_z_f32( float32_t ( uint64_t ) ); +#ifdef FLOAT64 void gen_a_ui64_z_f64( float64_t ( uint64_t ) ); +#endif #ifdef EXTFLOAT80 void gen_a_ui64_z_extF80( void ( uint64_t, extFloat80_t * ) ); #endif @@ -98,7 +105,9 @@ void gen_a_ui64_z_f128( void ( uint64_t, float128_t * ) ); void gen_a_i32_z_f16( float16_t ( int32_t ) ); #endif void gen_a_i32_z_f32( float32_t ( int32_t ) ); +#ifdef FLOAT64 void gen_a_i32_z_f64( float64_t ( int32_t ) ); +#endif #ifdef EXTFLOAT80 void gen_a_i32_z_extF80( void ( int32_t, extFloat80_t * ) ); #endif @@ -109,7 +118,9 @@ void gen_a_i32_z_f128( void ( int32_t, float128_t * ) ); void gen_a_i64_z_f16( float16_t ( int64_t ) ); #endif void gen_a_i64_z_f32( float32_t ( int64_t ) ); +#ifdef FLOAT64 void gen_a_i64_z_f64( float64_t ( int64_t ) ); +#endif #ifdef EXTFLOAT80 void gen_a_i64_z_extF80( void ( int64_t, extFloat80_t * ) ); #endif @@ -135,7 +146,9 @@ void gen_a_f16_z_ui64_x( uint_fast64_t ( float16_t, bool ), bool ); void gen_a_f16_z_i32_x( int_fast32_t ( float16_t, bool ), bool ); void gen_a_f16_z_i64_x( int_fast64_t ( float16_t, bool ), bool ); void gen_a_f16_z_f32( float32_t ( float16_t ) ); +#ifdef FLOAT64 void gen_a_f16_z_f64( float64_t ( float16_t ) ); +#endif #ifdef EXTFLOAT80 void gen_a_f16_z_extF80( void ( float16_t, extFloat80_t * ) ); #endif @@ -170,7 +183,9 @@ void gen_a_f32_z_i64_x( int_fast64_t ( float32_t, bool ), bool ); #ifdef FLOAT16 void gen_a_f32_z_f16( float16_t ( float32_t ) ); #endif +#ifdef FLOAT64 void gen_a_f32_z_f64( float64_t ( float32_t ) ); +#endif #ifdef EXTFLOAT80 void gen_a_f32_z_extF80( void ( float32_t, extFloat80_t * ) ); #endif @@ -185,6 +200,7 @@ void gen_abz_f32( float32_t ( float32_t, float32_t ) ); void gen_abcz_f32( float32_t ( float32_t, float32_t, float32_t ) ); void gen_ab_f32_z_bool( bool ( float32_t, float32_t ) ); +#ifdef FLOAT64 void gen_a_f64_z_ui32_rx( uint_fast32_t ( float64_t, uint_fast8_t, bool ), uint_fast8_t, bool ); @@ -218,6 +234,7 @@ void void gen_abz_f64( float64_t ( float64_t, float64_t ) ); void gen_abcz_f64( float64_t ( float64_t, float64_t, float64_t ) ); void gen_ab_f64_z_bool( bool ( float64_t, float64_t ) ); +#endif #ifdef EXTFLOAT80 void @@ -254,7 +271,9 @@ void gen_a_extF80_z_i64_x( int_fast64_t ( const extFloat80_t *, bool ), bool ); void gen_a_extF80_z_f16( float16_t ( const extFloat80_t * ) ); #endif void gen_a_extF80_z_f32( float32_t ( const extFloat80_t * ) ); +#ifdef FLOAT64 void gen_a_extF80_z_f64( float64_t ( const extFloat80_t * ) ); +#endif #ifdef FLOAT128 void gen_a_extF80_z_f128( void ( const extFloat80_t *, float128_t * ) ); #endif @@ -269,16 +288,6 @@ void gen_abz_extF80( void ( const extFloat80_t *, const extFloat80_t *, extFloat80_t * ) ); void - gen_abcz_extF80( - void - ( - const extFloat80_t *, - const extFloat80_t *, - const extFloat80_t *, - extFloat80_t * - ) - ); -void gen_ab_extF80_z_bool( bool ( const extFloat80_t *, const extFloat80_t * ) ); #endif @@ -315,7 +324,9 @@ void gen_a_f128_z_i64_x( int_fast64_t ( const float128_t *, bool ), bool ); void gen_a_f128_z_f16( float16_t ( const float128_t * ) ); #endif void gen_a_f128_z_f32( float32_t ( const float128_t * ) ); +#ifdef FLOAT64 void gen_a_f128_z_f64( float64_t ( const float128_t * ) ); +#endif #ifdef EXTFLOAT80 void gen_a_f128_z_extF80( void ( const float128_t *, extFloat80_t * ) ); #endif |