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