1 /* Header file for fp-bit.c. */
2 /* Copyright (C) 2000, 2002, 2003, 2006 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 2, or (at your option) any later
11 In addition to the permissions in the GNU General Public License, the
12 Free Software Foundation gives you unlimited permission to link the
13 compiled version of this file into combinations with other programs,
14 and to distribute those combinations without any restriction coming
15 from the use of this file. (The General Public License restrictions
16 do apply in other respects; for example, they cover modification of
17 the file, and distribution when not linked into a combine
20 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
21 WARRANTY; without even the implied warranty of MERCHANTABILITY or
22 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
25 You should have received a copy of the GNU General Public License
26 along with GCC; see the file COPYING. If not, write to the Free
27 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
33 /* Defining FINE_GRAINED_LIBRARIES allows one to select which routines
34 from this file are compiled via additional -D options.
36 This avoids the need to pull in the entire fp emulation library
37 when only a small number of functions are needed.
39 If FINE_GRAINED_LIBRARIES is not defined, then compile every
41 #ifndef FINE_GRAINED_LIBRARIES
52 #define L_fpcmp_parts_sf
53 #define L_fpcmp_parts_df
89 #endif /* ! FINE_GRAINED_LIBRARIES */
91 #if __LDBL_MANT_DIG__ == 113 || __LDBL_MANT_DIG__ == 106
92 # if defined(TFLOAT) || defined(L_sf_to_tf) || defined(L_df_to_tf)
97 typedef float SFtype __attribute__ ((mode (SF)));
98 typedef float DFtype __attribute__ ((mode (DF)));
100 typedef float TFtype __attribute__ ((mode (TF)));
103 typedef int HItype __attribute__ ((mode (HI)));
104 typedef int SItype __attribute__ ((mode (SI)));
105 typedef int DItype __attribute__ ((mode (DI)));
107 typedef int TItype __attribute__ ((mode (TI)));
110 /* The type of the result of a fp compare */
112 #define CMPtype SItype
115 typedef unsigned int UHItype __attribute__ ((mode (HI)));
116 typedef unsigned int USItype __attribute__ ((mode (SI)));
117 typedef unsigned int UDItype __attribute__ ((mode (DI)));
119 typedef unsigned int UTItype __attribute__ ((mode (TI)));
122 #define MAX_USI_INT (~(USItype)0)
123 #define MAX_SI_INT ((SItype) (MAX_USI_INT >> 1))
124 #define BITS_PER_SI (4 * BITS_PER_UNIT)
126 #define MAX_UDI_INT (~(UDItype)0)
127 #define MAX_DI_INT ((DItype) (MAX_UDI_INT >> 1))
128 #define BITS_PER_DI (8 * BITS_PER_UNIT)
137 # error "TFLOAT requires long double to have 113 bits of mantissa"
140 # define PREFIXFPDP tp
141 # define PREFIXSFDF tf
142 # define NGARDS 10L /* Is this right? */
143 # define GARDROUND 0x1ff
144 # define GARDMASK 0x3ff
145 # define GARDMSB 0x200
146 # define FRAC_NBITS 128
148 # if __LDBL_MANT_DIG__ == 113 /* IEEE quad */
150 # define EXPBIAS 16383
151 # define EXPMAX (0x7fff)
152 # define QUIET_NAN ((TItype)0x8 << 108)
153 # define FRACHIGH ((TItype)0x8 << 124)
154 # define FRACHIGH2 ((TItype)0xc << 124)
155 # define FRACBITS 112
158 # if __LDBL_MANT_DIG__ == 106 /* IBM extended (double+double) */
160 # define EXPBIAS 1023
161 # define EXPMAX (0x7ff)
162 # define QUIET_NAN ((TItype)0x8 << (48 + 64))
163 # define FRACHIGH ((TItype)0x8 << 124)
164 # define FRACHIGH2 ((TItype)0xc << 124)
165 # define FRACBITS 105
166 # define HALFFRACBITS 52
167 # define HALFSHIFT 64
170 # define pack_d __pack_t
171 # define unpack_d __unpack_t
172 # define __fpcmp_parts __fpcmp_parts_t
173 typedef UTItype fractype;
174 typedef UDItype halffractype;
175 typedef USItype qrtrfractype;
176 #define qrtrfractype qrtrfractype
177 typedef TFtype FLO_type;
178 typedef TItype intfrac;
181 # define GARDROUND 0x3f
182 # define GARDMASK 0x7f
183 # define GARDMSB 0x40
187 # define EXPMAX (0xff)
188 # define QUIET_NAN 0x100000L
189 # define FRAC_NBITS 32
190 # define FRACHIGH 0x80000000L
191 # define FRACHIGH2 0xc0000000L
192 # define pack_d __pack_f
193 # define unpack_d __unpack_f
194 # define __fpcmp_parts __fpcmp_parts_f
195 typedef USItype fractype;
196 typedef UHItype halffractype;
197 typedef SFtype FLO_type;
198 typedef SItype intfrac;
201 # define PREFIXFPDP dp
202 # define PREFIXSFDF df
204 # define GARDROUND 0x7f
205 # define GARDMASK 0xff
206 # define GARDMSB 0x80
208 # define EXPBIAS 1023
210 # define EXPMAX (0x7ff)
211 # define QUIET_NAN 0x8000000000000LL
212 # define FRAC_NBITS 64
213 # define FRACHIGH 0x8000000000000000LL
214 # define FRACHIGH2 0xc000000000000000LL
215 # define pack_d __pack_d
216 # define unpack_d __unpack_d
217 # define __fpcmp_parts __fpcmp_parts_d
218 typedef UDItype fractype;
219 typedef USItype halffractype;
220 typedef DFtype FLO_type;
221 typedef DItype intfrac;
224 #ifdef US_SOFTWARE_GOFAST
226 # error "GOFAST TFmode not supported"
230 # define multiply fpmul
231 # define divide fpdiv
232 # define compare fpcmp
233 # define _unord_f2 __unordsf2
234 # define usi_to_float __floatunsisf
235 # define si_to_float sitofp
236 # define float_to_si fptosi
237 # define float_to_usi fptoui
238 # define negate __negsf2
239 # define sf_to_df fptodp
240 # define sf_to_tf __extendsftf2
244 # define multiply dpmul
245 # define divide dpdiv
246 # define compare dpcmp
247 # define _unord_f2 __unorddf2
248 # define usi_to_float __floatunsidf
249 # define si_to_float litodp
250 # define float_to_si dptoli
251 # define float_to_usi dptoul
252 # define negate __negdf2
253 # define df_to_sf dptofp
254 # define df_to_tf __extenddftf2
258 # define add __addtf3
259 # define sub __subtf3
260 # define multiply __multf3
261 # define divide __divtf3
262 # define compare __cmptf2
263 # define _eq_f2 __eqtf2
264 # define _ne_f2 __netf2
265 # define _gt_f2 __gttf2
266 # define _ge_f2 __getf2
267 # define _lt_f2 __lttf2
268 # define _le_f2 __letf2
269 # define _unord_f2 __unordtf2
270 # define usi_to_float __floatunsitf
271 # define si_to_float __floatsitf
272 # define float_to_si __fixtfsi
273 # define float_to_usi __fixunstfsi
274 # define negate __negtf2
275 # define tf_to_sf __trunctfsf2
276 # define tf_to_df __trunctfdf2
278 # define add __addsf3
279 # define sub __subsf3
280 # define multiply __mulsf3
281 # define divide __divsf3
282 # define compare __cmpsf2
283 # define _eq_f2 __eqsf2
284 # define _ne_f2 __nesf2
285 # define _gt_f2 __gtsf2
286 # define _ge_f2 __gesf2
287 # define _lt_f2 __ltsf2
288 # define _le_f2 __lesf2
289 # define _unord_f2 __unordsf2
290 # define usi_to_float __floatunsisf
291 # define si_to_float __floatsisf
292 # define float_to_si __fixsfsi
293 # define float_to_usi __fixunssfsi
294 # define negate __negsf2
295 # define sf_to_df __extendsfdf2
296 # define sf_to_tf __extendsftf2
298 # define add __adddf3
299 # define sub __subdf3
300 # define multiply __muldf3
301 # define divide __divdf3
302 # define compare __cmpdf2
303 # define _eq_f2 __eqdf2
304 # define _ne_f2 __nedf2
305 # define _gt_f2 __gtdf2
306 # define _ge_f2 __gedf2
307 # define _lt_f2 __ltdf2
308 # define _le_f2 __ledf2
309 # define _unord_f2 __unorddf2
310 # define usi_to_float __floatunsidf
311 # define si_to_float __floatsidf
312 # define float_to_si __fixdfsi
313 # define float_to_usi __fixunsdfsi
314 # define negate __negdf2
315 # define df_to_sf __truncdfsf2
316 # define df_to_tf __extenddftf2
318 #endif /* US_SOFTWARE_GOFAST */
321 #define INLINE __inline__
324 /* Preserve the sticky-bit when shifting fractions to the right. */
325 #define LSHIFT(a, s) { a = (a >> s) | !!(a & (((fractype) 1 << s) - 1)); }
327 /* numeric parameters */
328 /* F_D_BITOFF is the number of bits offset between the MSB of the mantissa
329 of a float and of a double. Assumes there are only two float types.
330 (double::FRAC_BITS+double::NGARDS-(float::FRAC_BITS-float::NGARDS))
332 #define F_D_BITOFF (52+8-(23+7))
335 # define F_T_BITOFF (__LDBL_MANT_DIG__-1+10-(23+7))
336 # define D_T_BITOFF (__LDBL_MANT_DIG__-1+10-(52+8))
340 #define NORMAL_EXPMIN (-(EXPBIAS)+1)
341 #define IMPLICIT_1 ((fractype)1<<(FRACBITS+NGARDS))
342 #define IMPLICIT_2 ((fractype)1<<(FRACBITS+1+NGARDS))
381 qrtrfractype qwords[4];
383 halffractype words[2];
387 #ifdef FLOAT_BIT_ORDER_MISMATCH
390 fractype fraction:FRACBITS __attribute__ ((packed));
391 unsigned int exp:EXPBITS __attribute__ ((packed));
392 unsigned int sign:1 __attribute__ ((packed));
397 #ifdef _DEBUG_BITFLOAT
400 unsigned int sign:1 __attribute__ ((packed));
401 unsigned int exp:EXPBITS __attribute__ ((packed));
402 fractype fraction:FRACBITS __attribute__ ((packed));
408 fractype fraction:FRACBITS __attribute__ ((packed));
409 unsigned int exp:EXPBITS __attribute__ ((packed));
410 unsigned int sign:1 __attribute__ ((packed));
419 #if defined(L_pack_df) || defined(L_pack_sf) || defined(L_pack_tf)
420 extern FLO_type pack_d (fp_number_type *);
423 extern void unpack_d (FLO_union_type *, fp_number_type *);
425 #if defined(L_addsub_sf) || defined(L_addsub_df) || defined(L_addsub_tf)
426 extern FLO_type add (FLO_type, FLO_type);
427 extern FLO_type sub (FLO_type, FLO_type);
430 #if defined(L_mul_sf) || defined(L_mul_df) || defined(L_mul_tf)
431 extern FLO_type multiply (FLO_type, FLO_type);
434 #if defined(L_div_sf) || defined(L_div_df) || defined(L_div_tf)
435 extern FLO_type divide (FLO_type, FLO_type);
438 extern int __fpcmp_parts (fp_number_type *, fp_number_type *);
440 #if defined(L_compare_sf) || defined(L_compare_df) || defined(L_compare_tf)
441 extern CMPtype compare (FLO_type, FLO_type);
444 #ifndef US_SOFTWARE_GOFAST
446 #if defined(L_eq_sf) || defined(L_eq_df) || defined(L_eq_tf)
447 extern CMPtype _eq_f2 (FLO_type, FLO_type);
450 #if defined(L_ne_sf) || defined(L_ne_df) || defined(L_ne_tf)
451 extern CMPtype _ne_f2 (FLO_type, FLO_type);
454 #if defined(L_gt_sf) || defined(L_gt_df) || defined(L_gt_tf)
455 extern CMPtype _gt_f2 (FLO_type, FLO_type);
458 #if defined(L_ge_sf) || defined(L_ge_df) || defined(L_ge_tf)
459 extern CMPtype _ge_f2 (FLO_type, FLO_type);
462 #if defined(L_lt_sf) || defined(L_lt_df) || defined(L_lt_tf)
463 extern CMPtype _lt_f2 (FLO_type, FLO_type);
466 #if defined(L_le_sf) || defined(L_le_df) || defined(L_le_tf)
467 extern CMPtype _le_f2 (FLO_type, FLO_type);
470 #if defined(L_unord_sf) || defined(L_unord_df) || defined(L_unord_tf)
471 extern CMPtype _unord_f2 (FLO_type, FLO_type);
474 #endif /* ! US_SOFTWARE_GOFAST */
476 #if defined(L_si_to_sf) || defined(L_si_to_df) || defined(L_si_to_tf)
477 extern FLO_type si_to_float (SItype);
480 #if defined(L_sf_to_si) || defined(L_df_to_si) || defined(L_tf_to_si)
481 extern SItype float_to_si (FLO_type);
484 #if defined(L_sf_to_usi) || defined(L_df_to_usi) || defined(L_tf_to_usi)
485 #if defined(US_SOFTWARE_GOFAST) || defined(L_tf_to_usi)
486 extern USItype float_to_usi (FLO_type);
490 #if defined(L_usi_to_sf) || defined(L_usi_to_df) || defined(L_usi_to_tf)
491 extern FLO_type usi_to_float (USItype);
494 #if defined(L_negate_sf) || defined(L_negate_df) || defined(L_negate_tf)
495 extern FLO_type negate (FLO_type);
499 #if defined(L_make_sf)
500 extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
503 extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
504 #if defined(L_sf_to_df)
505 extern DFtype sf_to_df (SFtype);
507 #if defined(L_sf_to_tf) && defined(TMODES)
508 extern TFtype sf_to_tf (SFtype);
510 #endif /* ! FLOAT_ONLY */
514 extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
515 #if defined(L_make_df)
516 extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
518 #if defined(L_df_to_sf)
519 extern SFtype df_to_sf (DFtype);
521 #if defined(L_df_to_tf) && defined(TMODES)
522 extern TFtype df_to_tf (DFtype);
527 extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
528 extern TFtype __make_tp (fp_class_type, unsigned int, int, UTItype);
530 #if defined(L_tf_to_sf)
531 extern SFtype tf_to_sf (TFtype);
533 #if defined(L_tf_to_df)
534 extern DFtype tf_to_df (TFtype);
536 #if defined(L_di_to_tf)
537 extern TFtype di_to_df (DItype);
542 #endif /* ! GCC_FP_BIT_H */