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