OSDN Git Service

3638cc53f8ffb7bb3924d0deeace9659bfac812a
[pf3gnuchains/gcc-fork.git] / gcc / config / fp-bit.h
1 /* Header file for fp-bit.c.  */
2 /* Copyright (C) 2000, 2002, 2003, 2006, 2009 Free Software Foundation, Inc.
3
4 This file is part of GCC.
5
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 3, or (at your option) any later
9 version.
10
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14 for more details.
15
16 Under Section 7 of GPL version 3, you are granted additional
17 permissions described in the GCC Runtime Library Exception, version
18 3.1, as published by the Free Software Foundation.
19
20 You should have received a copy of the GNU General Public License and
21 a copy of the GCC Runtime Library Exception along with this program;
22 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23 <http://www.gnu.org/licenses/>.  */
24
25 #ifndef GCC_FP_BIT_H
26 #define GCC_FP_BIT_H
27
28 /* Defining FINE_GRAINED_LIBRARIES allows one to select which routines
29    from this file are compiled via additional -D options.
30
31    This avoids the need to pull in the entire fp emulation library
32    when only a small number of functions are needed.
33
34    If FINE_GRAINED_LIBRARIES is not defined, then compile every
35    suitable routine.  */
36 #ifndef FINE_GRAINED_LIBRARIES
37 #define L_pack_df
38 #define L_unpack_df
39 #define L_pack_sf
40 #define L_unpack_sf
41 #define L_addsub_sf
42 #define L_addsub_df
43 #define L_mul_sf
44 #define L_mul_df
45 #define L_div_sf
46 #define L_div_df
47 #define L_fpcmp_parts_sf
48 #define L_fpcmp_parts_df
49 #define L_compare_sf
50 #define L_compare_df
51 #define L_eq_sf
52 #define L_eq_df
53 #define L_ne_sf
54 #define L_ne_df
55 #define L_gt_sf
56 #define L_gt_df
57 #define L_ge_sf
58 #define L_ge_df
59 #define L_lt_sf
60 #define L_lt_df
61 #define L_le_sf
62 #define L_le_df
63 #define L_unord_sf
64 #define L_unord_df
65 #define L_usi_to_sf
66 #define L_usi_to_df
67 #define L_si_to_sf
68 #define L_si_to_df
69 #define L_sf_to_si
70 #define L_df_to_si
71 #define L_f_to_usi
72 #define L_df_to_usi
73 #define L_negate_sf
74 #define L_negate_df
75 #define L_make_sf
76 #define L_make_df
77 #define L_sf_to_df
78 #define L_df_to_sf
79 #ifdef FLOAT
80 #define L_thenan_sf
81 #else
82 #define L_thenan_df
83 #endif
84 #endif /* ! FINE_GRAINED_LIBRARIES */
85
86 #if __LDBL_MANT_DIG__ == 113 || __LDBL_MANT_DIG__ == 106
87 # if defined(TFLOAT) || defined(L_sf_to_tf) || defined(L_df_to_tf)
88 #  define TMODES
89 # endif
90 #endif
91
92 typedef float SFtype __attribute__ ((mode (SF)));
93 typedef float DFtype __attribute__ ((mode (DF)));
94 #ifdef TMODES
95 typedef float TFtype __attribute__ ((mode (TF)));
96 #endif
97
98 typedef int HItype __attribute__ ((mode (HI)));
99 typedef int SItype __attribute__ ((mode (SI)));
100 typedef int DItype __attribute__ ((mode (DI)));
101 #ifdef TMODES
102 typedef int TItype __attribute__ ((mode (TI)));
103 #endif
104
105 /* The type of the result of a floating point comparison.  This must
106    match `__libgcc_cmp_return__' in GCC for the target.  */
107 #ifndef CMPtype
108 typedef int CMPtype __attribute__ ((mode (__libgcc_cmp_return__)));
109 #endif
110
111 typedef unsigned int UHItype __attribute__ ((mode (HI)));
112 typedef unsigned int USItype __attribute__ ((mode (SI)));
113 typedef unsigned int UDItype __attribute__ ((mode (DI)));
114 #ifdef TMODES
115 typedef unsigned int UTItype __attribute__ ((mode (TI)));
116 #endif
117
118 #define MAX_USI_INT  (~(USItype)0)
119 #define MAX_SI_INT   ((SItype) (MAX_USI_INT >> 1))
120 #define BITS_PER_SI  (4 * BITS_PER_UNIT)
121 #ifdef TMODES
122 #define MAX_UDI_INT  (~(UDItype)0)
123 #define MAX_DI_INT   ((DItype) (MAX_UDI_INT >> 1))
124 #define BITS_PER_DI  (8 * BITS_PER_UNIT)
125 #endif
126
127 #ifdef FLOAT_ONLY
128 #define NO_DI_MODE
129 #endif
130
131 #ifdef TFLOAT
132 # ifndef TMODES
133 #  error "TFLOAT requires long double to have 113 bits of mantissa"
134 # endif
135
136 #       define PREFIXFPDP tp
137 #       define PREFIXSFDF tf
138 #       define NGARDS 10L /* Is this right? */
139 #       define GARDROUND 0x1ff
140 #       define GARDMASK  0x3ff
141 #       define GARDMSB   0x200
142 #       define FRAC_NBITS 128
143
144 # if __LDBL_MANT_DIG__ == 113 /* IEEE quad */
145 #       define EXPBITS 15
146 #       define EXPBIAS 16383
147 #       define EXPMAX (0x7fff)
148 #       define QUIET_NAN ((TItype)0x8 << 108)
149 #       define FRACHIGH  ((TItype)0x8 << 124)
150 #       define FRACHIGH2 ((TItype)0xc << 124)
151 #       define FRACBITS 112
152 # endif
153
154 # if __LDBL_MANT_DIG__ == 106 /* IBM extended (double+double) */
155 #       define EXPBITS 11
156 #       define EXPBIAS 1023
157 #       define EXPMAX (0x7ff)
158 #       define QUIET_NAN ((TItype)0x8 << (48 + 64))
159 #       define FRACHIGH  ((TItype)0x8 << 124)
160 #       define FRACHIGH2 ((TItype)0xc << 124)
161 #       define FRACBITS 105
162 #       define HALFFRACBITS 52
163 #       define HALFSHIFT 64
164 # endif
165
166 #       define pack_d __pack_t
167 #       define unpack_d __unpack_t
168 #       define __fpcmp_parts __fpcmp_parts_t
169         typedef UTItype fractype;
170         typedef UDItype halffractype;
171         typedef USItype qrtrfractype;
172 #define qrtrfractype qrtrfractype
173         typedef TFtype FLO_type;
174         typedef TItype intfrac;
175 #elif defined FLOAT
176 #       define NGARDS    7L
177 #       define GARDROUND 0x3f
178 #       define GARDMASK  0x7f
179 #       define GARDMSB   0x40
180 #       define EXPBITS 8
181 #       define EXPBIAS 127
182 #       define FRACBITS 23
183 #       define EXPMAX (0xff)
184 #       define QUIET_NAN 0x100000L
185 #       define FRAC_NBITS 32
186 #       define FRACHIGH  0x80000000L
187 #       define FRACHIGH2 0xc0000000L
188 #       define pack_d __pack_f
189 #       define unpack_d __unpack_f
190 #       define __fpcmp_parts __fpcmp_parts_f
191         typedef USItype fractype;
192         typedef UHItype halffractype;
193         typedef SFtype FLO_type;
194         typedef SItype intfrac;
195
196 #else
197 #       define PREFIXFPDP dp
198 #       define PREFIXSFDF df
199 #       define NGARDS 8L
200 #       define GARDROUND 0x7f
201 #       define GARDMASK  0xff
202 #       define GARDMSB   0x80
203 #       define EXPBITS 11
204 #       define EXPBIAS 1023
205 #       define FRACBITS 52
206 #       define EXPMAX (0x7ff)
207 #       define QUIET_NAN 0x8000000000000LL
208 #       define FRAC_NBITS 64
209 #       define FRACHIGH  0x8000000000000000LL
210 #       define FRACHIGH2 0xc000000000000000LL
211 #       define pack_d __pack_d
212 #       define unpack_d __unpack_d
213 #       define __fpcmp_parts __fpcmp_parts_d
214         typedef UDItype fractype;
215         typedef USItype halffractype;
216         typedef DFtype FLO_type;
217         typedef DItype intfrac;
218 #endif /* FLOAT */
219
220 #ifdef US_SOFTWARE_GOFAST
221 #       ifdef TFLOAT
222 #               error "GOFAST TFmode not supported"
223 #       elif defined FLOAT
224 #               define add              fpadd
225 #               define sub              fpsub
226 #               define multiply         fpmul
227 #               define divide           fpdiv
228 #               define compare          fpcmp
229 #               define _unord_f2        __unordsf2
230 #               define usi_to_float     __floatunsisf
231 #               define si_to_float      sitofp
232 #               define float_to_si      fptosi
233 #               define float_to_usi     fptoui
234 #               define negate           __negsf2
235 #               define sf_to_df         fptodp
236 #               define sf_to_tf         __extendsftf2
237 #       else
238 #               define add              dpadd
239 #               define sub              dpsub
240 #               define multiply         dpmul
241 #               define divide           dpdiv
242 #               define compare          dpcmp
243 #               define _unord_f2        __unorddf2
244 #               define usi_to_float     __floatunsidf
245 #               define si_to_float      litodp
246 #               define float_to_si      dptoli
247 #               define float_to_usi     dptoul
248 #               define negate           __negdf2
249 #               define df_to_sf         dptofp
250 #               define df_to_tf         __extenddftf2
251 #       endif /* FLOAT */
252 #else
253 #       ifdef TFLOAT
254 #               define add              __addtf3
255 #               define sub              __subtf3
256 #               define multiply         __multf3
257 #               define divide           __divtf3
258 #               define compare          __cmptf2
259 #               define _eq_f2           __eqtf2
260 #               define _ne_f2           __netf2
261 #               define _gt_f2           __gttf2
262 #               define _ge_f2           __getf2
263 #               define _lt_f2           __lttf2
264 #               define _le_f2           __letf2
265 #               define _unord_f2        __unordtf2
266 #               define usi_to_float     __floatunsitf
267 #               define si_to_float      __floatsitf
268 #               define float_to_si      __fixtfsi
269 #               define float_to_usi     __fixunstfsi
270 #               define negate           __negtf2
271 #               define tf_to_sf         __trunctfsf2
272 #               define tf_to_df         __trunctfdf2
273 #       elif defined FLOAT
274 #               define add              __addsf3
275 #               define sub              __subsf3
276 #               define multiply         __mulsf3
277 #               define divide           __divsf3
278 #               define compare          __cmpsf2
279 #               define _eq_f2           __eqsf2
280 #               define _ne_f2           __nesf2
281 #               define _gt_f2           __gtsf2
282 #               define _ge_f2           __gesf2
283 #               define _lt_f2           __ltsf2
284 #               define _le_f2           __lesf2
285 #               define _unord_f2        __unordsf2
286 #               define usi_to_float     __floatunsisf
287 #               define si_to_float      __floatsisf
288 #               define float_to_si      __fixsfsi
289 #               define float_to_usi     __fixunssfsi
290 #               define negate           __negsf2
291 #               define sf_to_df         __extendsfdf2
292 #               define sf_to_tf         __extendsftf2
293 #       else
294 #               define add              __adddf3
295 #               define sub              __subdf3
296 #               define multiply         __muldf3
297 #               define divide           __divdf3
298 #               define compare          __cmpdf2
299 #               define _eq_f2           __eqdf2
300 #               define _ne_f2           __nedf2
301 #               define _gt_f2           __gtdf2
302 #               define _ge_f2           __gedf2
303 #               define _lt_f2           __ltdf2
304 #               define _le_f2           __ledf2
305 #               define _unord_f2        __unorddf2
306 #               define usi_to_float     __floatunsidf
307 #               define si_to_float      __floatsidf
308 #               define float_to_si      __fixdfsi
309 #               define float_to_usi     __fixunsdfsi
310 #               define negate           __negdf2
311 #               define df_to_sf         __truncdfsf2
312 #               define df_to_tf         __extenddftf2
313 #       endif /* FLOAT */
314 #endif /* US_SOFTWARE_GOFAST */
315
316 #ifndef INLINE
317 #define INLINE __inline__
318 #endif
319
320 /* Preserve the sticky-bit when shifting fractions to the right.  */
321 #define LSHIFT(a, s) { a = (a >> s) | !!(a & (((fractype) 1 << s) - 1)); }
322
323 /* numeric parameters */
324 /* F_D_BITOFF is the number of bits offset between the MSB of the mantissa
325    of a float and of a double. Assumes there are only two float types.
326    (double::FRAC_BITS+double::NGARDS-(float::FRAC_BITS-float::NGARDS))
327  */
328 #define F_D_BITOFF (52+8-(23+7))
329
330 #ifdef TMODES
331 # define F_T_BITOFF (__LDBL_MANT_DIG__-1+10-(23+7))
332 # define D_T_BITOFF (__LDBL_MANT_DIG__-1+10-(52+8))
333 #endif
334
335
336 #define NORMAL_EXPMIN (-(EXPBIAS)+1)
337 #define IMPLICIT_1 ((fractype)1<<(FRACBITS+NGARDS))
338 #define IMPLICIT_2 ((fractype)1<<(FRACBITS+1+NGARDS))
339
340 /* common types */
341
342 typedef enum
343 {
344   CLASS_SNAN,
345   CLASS_QNAN,
346   CLASS_ZERO,
347   CLASS_NUMBER,
348   CLASS_INFINITY
349 } fp_class_type;
350
351 typedef struct
352 {
353 #ifdef SMALL_MACHINE
354   char class;
355   unsigned char sign;
356   short normal_exp;
357 #else
358   fp_class_type class;
359   unsigned int sign;
360   int normal_exp;
361 #endif
362
363   union
364     {
365       fractype ll;
366       halffractype l[2];
367     } fraction;
368 } fp_number_type;
369
370 typedef union
371 {
372   FLO_type value;
373   fractype value_raw;
374
375 #ifndef FLOAT
376 # ifdef qrtrfractype
377   qrtrfractype qwords[4];
378 # else
379   halffractype words[2];
380 # endif
381 #endif
382
383 #ifdef FLOAT_BIT_ORDER_MISMATCH
384   struct
385     {
386       fractype fraction:FRACBITS __attribute__ ((packed));
387       unsigned int exp:EXPBITS __attribute__ ((packed));
388       unsigned int sign:1 __attribute__ ((packed));
389     }
390   bits;
391 #endif
392
393 #ifdef _DEBUG_BITFLOAT
394   struct
395     {
396       unsigned int sign:1 __attribute__ ((packed));
397       unsigned int exp:EXPBITS __attribute__ ((packed));
398       fractype fraction:FRACBITS __attribute__ ((packed));
399     }
400   bits_big_endian;
401
402   struct
403     {
404       fractype fraction:FRACBITS __attribute__ ((packed));
405       unsigned int exp:EXPBITS __attribute__ ((packed));
406       unsigned int sign:1 __attribute__ ((packed));
407     }
408   bits_little_endian;
409 #endif
410 }
411 FLO_union_type;
412
413 /* Prototypes.  */
414
415 #if defined(L_pack_df) || defined(L_pack_sf) || defined(L_pack_tf)
416 extern FLO_type pack_d (const fp_number_type *);
417 #endif
418
419 extern void unpack_d (FLO_union_type *, fp_number_type *);
420
421 #if defined(L_addsub_sf) || defined(L_addsub_df) || defined(L_addsub_tf)
422 extern FLO_type add (FLO_type, FLO_type);
423 extern FLO_type sub (FLO_type, FLO_type);
424 #endif
425
426 #if defined(L_mul_sf) || defined(L_mul_df) || defined(L_mul_tf)
427 extern FLO_type multiply (FLO_type, FLO_type);
428 #endif
429
430 #if defined(L_div_sf) || defined(L_div_df) || defined(L_div_tf)
431 extern FLO_type divide (FLO_type, FLO_type);
432 #endif
433
434 extern int __fpcmp_parts (fp_number_type *, fp_number_type *);
435
436 #if defined(L_compare_sf) || defined(L_compare_df) || defined(L_compare_tf)
437 extern CMPtype compare (FLO_type, FLO_type);
438 #endif
439
440 #ifndef US_SOFTWARE_GOFAST
441
442 #if defined(L_eq_sf) || defined(L_eq_df) || defined(L_eq_tf)
443 extern CMPtype _eq_f2 (FLO_type, FLO_type);
444 #endif
445
446 #if defined(L_ne_sf) || defined(L_ne_df) || defined(L_ne_tf)
447 extern CMPtype _ne_f2 (FLO_type, FLO_type);
448 #endif
449
450 #if defined(L_gt_sf) || defined(L_gt_df) || defined(L_gt_tf)
451 extern CMPtype _gt_f2 (FLO_type, FLO_type);
452 #endif
453
454 #if defined(L_ge_sf) || defined(L_ge_df) || defined(L_ge_tf)
455 extern CMPtype _ge_f2 (FLO_type, FLO_type);
456 #endif
457
458 #if defined(L_lt_sf) || defined(L_lt_df) || defined(L_lt_tf)
459 extern CMPtype _lt_f2 (FLO_type, FLO_type);
460 #endif
461
462 #if defined(L_le_sf) || defined(L_le_df) || defined(L_le_tf)
463 extern CMPtype _le_f2 (FLO_type, FLO_type);
464 #endif
465
466 #if defined(L_unord_sf) || defined(L_unord_df) || defined(L_unord_tf)
467 extern CMPtype _unord_f2 (FLO_type, FLO_type);
468 #endif
469
470 #endif /* ! US_SOFTWARE_GOFAST */
471
472 #if defined(L_si_to_sf) || defined(L_si_to_df) || defined(L_si_to_tf)
473 extern FLO_type si_to_float (SItype);
474 #endif
475
476 #if defined(L_sf_to_si) || defined(L_df_to_si) || defined(L_tf_to_si)
477 extern SItype float_to_si (FLO_type);
478 #endif
479
480 #if defined(L_sf_to_usi) || defined(L_df_to_usi) || defined(L_tf_to_usi)
481 #if defined(US_SOFTWARE_GOFAST) || defined(L_tf_to_usi)
482 extern USItype float_to_usi (FLO_type);
483 #endif
484 #endif
485
486 #if defined(L_usi_to_sf) || defined(L_usi_to_df) || defined(L_usi_to_tf)
487 extern FLO_type usi_to_float (USItype);
488 #endif
489
490 #if defined(L_negate_sf) || defined(L_negate_df) || defined(L_negate_tf)
491 extern FLO_type negate (FLO_type);
492 #endif
493
494 #ifdef FLOAT
495 #if defined(L_make_sf)
496 extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
497 #endif
498 #ifndef FLOAT_ONLY
499 extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
500 #if defined(L_sf_to_df)
501 extern DFtype sf_to_df (SFtype);
502 #endif
503 #if defined(L_sf_to_tf) && defined(TMODES)
504 extern TFtype sf_to_tf (SFtype);
505 #endif
506 #endif /* ! FLOAT_ONLY */
507 #endif /* FLOAT */
508
509 #ifndef FLOAT
510 extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
511 #if defined(L_make_df)
512 extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
513 #endif
514 #if defined(L_df_to_sf)
515 extern SFtype df_to_sf (DFtype);
516 #endif
517 #if defined(L_df_to_tf) && defined(TMODES)
518 extern TFtype df_to_tf (DFtype);
519 #endif
520 #endif /* ! FLOAT */
521
522 #ifdef TMODES
523 extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
524 extern TFtype __make_tp (fp_class_type, unsigned int, int, UTItype);
525 #ifdef TFLOAT
526 #if defined(L_tf_to_sf)
527 extern SFtype tf_to_sf (TFtype);
528 #endif
529 #if defined(L_tf_to_df)
530 extern DFtype tf_to_df (TFtype);
531 #endif
532 #if defined(L_di_to_tf)
533 extern TFtype di_to_df (DItype);
534 #endif
535 #endif /* TFLOAT */
536 #endif /* TMODES */
537
538 #endif /* ! GCC_FP_BIT_H */