1 2/* 3=============================================================================== 4 5This C header file is part of TestFloat, Release 2a, a package of programs 6for testing the correctness of floating-point arithmetic complying to the 7IEC/IEEE Standard for Floating-Point. 8 9Written by John R. Hauser. More information is available through the Web 10page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'. 11 12THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort 13has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT 14TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO 15PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY 16AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE. 17 18Derivative works are acceptable, even for commercial purposes, so long as 19(1) they include prominent notice that the work is derivative, and (2) they 20include prominent notice akin to these four paragraphs for those parts of 21this code that are retained. 22 23=============================================================================== 24*/ 25 26#include <stdio.h> 27 28void writeHex_flag( flag, FILE * ); 29void writeHex_bits32( bits32, FILE * ); 30#ifdef BITS64 31void writeHex_bits64( bits64, FILE * ); 32#endif 33void writeHex_float32( float32, FILE * ); 34void writeHex_float64( float64, FILE * ); 35#ifdef FLOATX80 36void writeHex_floatx80( floatx80, FILE * ); 37#endif 38#ifdef FLOAT128 39void writeHex_float128( float128, FILE * ); 40#endif 41void writeHex_float_flags( uint8, FILE * ); 42 43