1206917Smarius
2206917Smarius/*
3206917Smarius===============================================================================
4206917Smarius
5206917SmariusThis C header file is part of TestFloat, Release 2a, a package of programs
6206917Smariusfor testing the correctness of floating-point arithmetic complying to the
7206917SmariusIEC/IEEE Standard for Floating-Point.
8206917Smarius
9206917SmariusWritten by John R. Hauser.  More information is available through the Web
10206917Smariuspage `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
11206917Smarius
12206917SmariusTHIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE.  Although reasonable effort
13206917Smariushas been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
14206917SmariusTIMES RESULT IN INCORRECT BEHAVIOR.  USE OF THIS SOFTWARE IS RESTRICTED TO
15206917SmariusPERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
16206917SmariusAND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
17206917Smarius
18206917SmariusDerivative works are acceptable, even for commercial purposes, so long as
19206917Smarius(1) they include prominent notice that the work is derivative, and (2) they
20206917Smariusinclude prominent notice akin to these four paragraphs for those parts of
21206917Smariusthis code that are retained.
22206917Smarius
23206917Smarius===============================================================================
24206917Smarius*/
25206917Smarius
26206917Smarius#include <stdio.h>
27206917Smarius
28206917Smariusvoid writeHex_flag( flag, FILE * );
29206917Smariusvoid writeHex_bits32( bits32, FILE * );
30206917Smarius#ifdef BITS64
31206917Smariusvoid writeHex_bits64( bits64, FILE * );
32206917Smarius#endif
33206917Smariusvoid writeHex_float32( float32, FILE * );
34206917Smariusvoid writeHex_float64( float64, FILE * );
35206917Smarius#ifdef FLOATX80
36206917Smariusvoid writeHex_floatx80( floatx80, FILE * );
37206917Smarius#endif
38206917Smarius#ifdef FLOAT128
39206917Smariusvoid writeHex_float128( float128, FILE * );
40206917Smarius#endif
41206917Smariusvoid writeHex_float_flags( uint8, FILE * );
42206917Smarius
43