systfloat.h revision 285830 
1104001Stjr
237487Speter/*
337487Speter===============================================================================
437487Speter
537487SpeterThis C header file is part of TestFloat, Release 2a, a package of programs
615931Speterfor testing the correctness of floating-point arithmetic complying to the
715931SpeterIEC/IEEE Standard for Floating-Point.
815931Speter
915931SpeterWritten by John R. Hauser.  More information is available through the Web
1015931Speterpage `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
1115931Speter
1215931SpeterTHIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE.  Although reasonable effort
1315931Speterhas been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
1415931SpeterTIMES RESULT IN INCORRECT BEHAVIOR.  USE OF THIS SOFTWARE IS RESTRICTED TO
1537487SpeterPERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
1637487SpeterAND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
1715931Speter
1837487SpeterDerivative works are acceptable, even for commercial purposes, so long as
1937487Speter(1) they include prominent notice that the work is derivative, and (2) they
2037487Speterinclude prominent notice akin to these four paragraphs for those parts of
2137487Speterthis code that are retained.
2237487Speter
2337487Speter===============================================================================
2437487Speter*/
2537487Speter
2637487Speter/* $FreeBSD: releng/10.2/tools/test/testfloat/sparc64/systfloat.h 207151 2010-04-24 12:11:41Z marius $ */
2737487Speter
2815931Speter#include "softfloat.h"
2915931Speter#include "milieu.h"
3092986Sobrien
3192986Sobrien/*
3215931Speter-------------------------------------------------------------------------------
3315931SpeterThe following macros are defined to indicate that the corresponding
3415931Speterfunctions exist.
3537487Speter-------------------------------------------------------------------------------
3671579Sdeischen*/
3715931Speter#define SYST_INT32_TO_FLOAT32
3815931Speter#define SYST_INT32_TO_FLOAT64
39206217Sobrien#define SYST_INT32_TO_FLOAT128
4015931Speter#define SYST_INT64_TO_FLOAT32
41206217Sobrien#define SYST_INT64_TO_FLOAT64
4215931Speter#define SYST_INT64_TO_FLOAT128
4315931Speter#define SYST_FLOAT32_TO_INT32_ROUND_TO_ZERO
4437487Speter#define SYST_FLOAT32_TO_INT64_ROUND_TO_ZERO
45206217Sobrien#define SYST_FLOAT32_TO_FLOAT64
46104001Stjr#define SYST_FLOAT32_TO_FLOAT128
47104001Stjr#define SYST_FLOAT32_ADD
48104001Stjr#define SYST_FLOAT32_SUB
49104001Stjr#define SYST_FLOAT32_MUL
50104001Stjr#define SYST_FLOAT32_DIV
51102085Sjmallett#define SYST_FLOAT32_SQRT
5271579Sdeischen#define SYST_FLOAT32_EQ
53104001Stjr#define SYST_FLOAT32_LE
54104001Stjr#define SYST_FLOAT32_LT
55104001Stjr#define SYST_FLOAT32_EQ_SIGNALING
56104001Stjr#define SYST_FLOAT32_LE_QUIET
57104001Stjr#define SYST_FLOAT32_LT_QUIET
58104001Stjr#define SYST_FLOAT64_TO_INT32_ROUND_TO_ZERO
5937487Speter#define SYST_FLOAT64_TO_INT64_ROUND_TO_ZERO
60104001Stjr#define SYST_FLOAT64_TO_FLOAT32
61103996Stjr#define SYST_FLOAT64_TO_FLOAT128
6215931Speter#define SYST_FLOAT64_ADD
63#define SYST_FLOAT64_SUB
64#define SYST_FLOAT64_MUL
65#define SYST_FLOAT64_DIV
66#define SYST_FLOAT64_SQRT
67#define SYST_FLOAT64_EQ
68#define SYST_FLOAT64_LE
69#define SYST_FLOAT64_LT
70#define SYST_FLOAT64_EQ_SIGNALING
71#define SYST_FLOAT64_LE_QUIET
72#define SYST_FLOAT64_LT_QUIET
73#define SYST_FLOAT128_TO_INT32_ROUND_TO_ZERO
74#define SYST_FLOAT128_TO_INT64_ROUND_TO_ZERO
75#define SYST_FLOAT128_TO_FLOAT32
76#define SYST_FLOAT128_TO_FLOAT64
77#define SYST_FLOAT128_ADD
78#define SYST_FLOAT128_SUB
79#define SYST_FLOAT128_MUL
80#define SYST_FLOAT128_DIV
81#define SYST_FLOAT128_SQRT
82#define SYST_FLOAT128_EQ
83#define SYST_FLOAT128_LE
84#define SYST_FLOAT128_LT
85#define SYST_FLOAT128_EQ_SIGNALING
86#define SYST_FLOAT128_LE_QUIET
87#define SYST_FLOAT128_LT_QUIET
88
89/*
90-------------------------------------------------------------------------------
91System function declarations.  (Some of these functions may not exist.)
92-------------------------------------------------------------------------------
93*/
94float32 syst_int32_to_float32( int32 );
95float64 syst_int32_to_float64( int32 );
96#ifdef FLOATX80
97floatx80 syst_int32_to_floatx80( int32 );
98#endif
99#ifdef FLOAT128
100float128 syst_int32_to_float128( int32 );
101#endif
102#ifdef BITS64
103float32 syst_int64_to_float32( int64 );
104float64 syst_int64_to_float64( int64 );
105#ifdef FLOATX80
106floatx80 syst_int64_to_floatx80( int64 );
107#endif
108#ifdef FLOAT128
109float128 syst_int64_to_float128( int64 );
110#endif
111#endif
112int32 syst_float32_to_int32( float32 );
113int32 syst_float32_to_int32_round_to_zero( float32 );
114#ifdef BITS64
115int64 syst_float32_to_int64( float32 );
116int64 syst_float32_to_int64_round_to_zero( float32 );
117#endif
118float64 syst_float32_to_float64( float32 );
119#ifdef FLOATX80
120floatx80 syst_float32_to_floatx80( float32 );
121#endif
122#ifdef FLOAT128
123float128 syst_float32_to_float128( float32 );
124#endif
125float32 syst_float32_round_to_int( float32 );
126float32 syst_float32_add( float32, float32 );
127float32 syst_float32_sub( float32, float32 );
128float32 syst_float32_mul( float32, float32 );
129float32 syst_float32_div( float32, float32 );
130float32 syst_float32_rem( float32, float32 );
131float32 syst_float32_sqrt( float32 );
132flag syst_float32_eq( float32, float32 );
133flag syst_float32_le( float32, float32 );
134flag syst_float32_lt( float32, float32 );
135flag syst_float32_eq_signaling( float32, float32 );
136flag syst_float32_le_quiet( float32, float32 );
137flag syst_float32_lt_quiet( float32, float32 );
138int32 syst_float64_to_int32( float64 );
139int32 syst_float64_to_int32_round_to_zero( float64 );
140#ifdef BITS64
141int64 syst_float64_to_int64( float64 );
142int64 syst_float64_to_int64_round_to_zero( float64 );
143#endif
144float32 syst_float64_to_float32( float64 );
145#ifdef FLOATX80
146floatx80 syst_float64_to_floatx80( float64 );
147#endif
148#ifdef FLOAT128
149float128 syst_float64_to_float128( float64 );
150#endif
151float64 syst_float64_round_to_int( float64 );
152float64 syst_float64_add( float64, float64 );
153float64 syst_float64_sub( float64, float64 );
154float64 syst_float64_mul( float64, float64 );
155float64 syst_float64_div( float64, float64 );
156float64 syst_float64_rem( float64, float64 );
157float64 syst_float64_sqrt( float64 );
158flag syst_float64_eq( float64, float64 );
159flag syst_float64_le( float64, float64 );
160flag syst_float64_lt( float64, float64 );
161flag syst_float64_eq_signaling( float64, float64 );
162flag syst_float64_le_quiet( float64, float64 );
163flag syst_float64_lt_quiet( float64, float64 );
164#ifdef FLOATX80
165int32 syst_floatx80_to_int32( floatx80 );
166int32 syst_floatx80_to_int32_round_to_zero( floatx80 );
167#ifdef BITS64
168int64 syst_floatx80_to_int64( floatx80 );
169int64 syst_floatx80_to_int64_round_to_zero( floatx80 );
170#endif
171float32 syst_floatx80_to_float32( floatx80 );
172float64 syst_floatx80_to_float64( floatx80 );
173#ifdef FLOAT128
174float128 syst_floatx80_to_float128( floatx80 );
175#endif
176floatx80 syst_floatx80_round_to_int( floatx80 );
177floatx80 syst_floatx80_add( floatx80, floatx80 );
178floatx80 syst_floatx80_sub( floatx80, floatx80 );
179floatx80 syst_floatx80_mul( floatx80, floatx80 );
180floatx80 syst_floatx80_div( floatx80, floatx80 );
181floatx80 syst_floatx80_rem( floatx80, floatx80 );
182floatx80 syst_floatx80_sqrt( floatx80 );
183flag syst_floatx80_eq( floatx80, floatx80 );
184flag syst_floatx80_le( floatx80, floatx80 );
185flag syst_floatx80_lt( floatx80, floatx80 );
186flag syst_floatx80_eq_signaling( floatx80, floatx80 );
187flag syst_floatx80_le_quiet( floatx80, floatx80 );
188flag syst_floatx80_lt_quiet( floatx80, floatx80 );
189#endif
190#ifdef FLOAT128
191int32 syst_float128_to_int32( float128 );
192int32 syst_float128_to_int32_round_to_zero( float128 );
193#ifdef BITS64
194int64 syst_float128_to_int64( float128 );
195int64 syst_float128_to_int64_round_to_zero( float128 );
196#endif
197float32 syst_float128_to_float32( float128 );
198float64 syst_float128_to_float64( float128 );
199#ifdef FLOATX80
200floatx80 syst_float128_to_floatx80( float128 );
201#endif
202float128 syst_float128_round_to_int( float128 );
203float128 syst_float128_add( float128, float128 );
204float128 syst_float128_sub( float128, float128 );
205float128 syst_float128_mul( float128, float128 );
206float128 syst_float128_div( float128, float128 );
207float128 syst_float128_rem( float128, float128 );
208float128 syst_float128_sqrt( float128 );
209flag syst_float128_eq( float128, float128 );
210flag syst_float128_le( float128, float128 );
211flag syst_float128_lt( float128, float128 );
212flag syst_float128_eq_signaling( float128, float128 );
213flag syst_float128_le_quiet( float128, float128 );
214flag syst_float128_lt_quiet( float128, float128 );
215#endif
216
217