]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/config/fp-bit.h
Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception.
[thirdparty/gcc.git] / gcc / config / fp-bit.h
CommitLineData
cb4b535d 1/* Header file for fp-bit.c. */
66647d44 2/* Copyright (C) 2000, 2002, 2003, 2006, 2009 Free Software Foundation, Inc.
cb4b535d 3
7ec022b2 4This file is part of GCC.
cb4b535d 5
9c3b204a
BE
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
748086b7 8Software Foundation; either version 3, or (at your option) any later
9c3b204a
BE
9version.
10
9c3b204a
BE
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
cb4b535d 15
748086b7
JJ
16Under Section 7 of GPL version 3, you are granted additional
17permissions described in the GCC Runtime Library Exception, version
183.1, as published by the Free Software Foundation.
19
20You should have received a copy of the GNU General Public License and
21a copy of the GCC Runtime Library Exception along with this program;
22see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23<http://www.gnu.org/licenses/>. */
cb4b535d 24
88657302
RH
25#ifndef GCC_FP_BIT_H
26#define GCC_FP_BIT_H
cb4b535d
KG
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
c894819c 34 If FINE_GRAINED_LIBRARIES is not defined, then compile every
cb4b535d
KG
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
dfaf3cdb
SC
65#define L_usi_to_sf
66#define L_usi_to_df
cb4b535d
KG
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
b44cf3d9 86#if __LDBL_MANT_DIG__ == 113 || __LDBL_MANT_DIG__ == 106
602ea4d3
JJ
87# if defined(TFLOAT) || defined(L_sf_to_tf) || defined(L_df_to_tf)
88# define TMODES
89# endif
ea976606
AO
90#endif
91
cb4b535d
KG
92typedef float SFtype __attribute__ ((mode (SF)));
93typedef float DFtype __attribute__ ((mode (DF)));
ea976606
AO
94#ifdef TMODES
95typedef float TFtype __attribute__ ((mode (TF)));
96#endif
cb4b535d
KG
97
98typedef int HItype __attribute__ ((mode (HI)));
99typedef int SItype __attribute__ ((mode (SI)));
100typedef int DItype __attribute__ ((mode (DI)));
ea976606
AO
101#ifdef TMODES
102typedef int TItype __attribute__ ((mode (TI)));
103#endif
cb4b535d 104
c18f0c26 105/* The type of the result of a floating point comparison. This must
7fecf2c7 106 match `__libgcc_cmp_return__' in GCC for the target. */
cb4b535d 107#ifndef CMPtype
7fecf2c7 108typedef int CMPtype __attribute__ ((mode (__libgcc_cmp_return__)));
cb4b535d
KG
109#endif
110
111typedef unsigned int UHItype __attribute__ ((mode (HI)));
112typedef unsigned int USItype __attribute__ ((mode (SI)));
113typedef unsigned int UDItype __attribute__ ((mode (DI)));
ea976606
AO
114#ifdef TMODES
115typedef unsigned int UTItype __attribute__ ((mode (TI)));
116#endif
cb4b535d 117
483b9fd0
AO
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)
ea976606
AO
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
cb4b535d
KG
126
127#ifdef FLOAT_ONLY
128#define NO_DI_MODE
129#endif
130
ea976606
AO
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
b44cf3d9
AO
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
ea976606
AO
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
cb4b535d
KG
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
ea976606
AO
221# ifdef TFLOAT
222# error "GOFAST TFmode not supported"
223# elif defined FLOAT
cb4b535d
KG
224# define add fpadd
225# define sub fpsub
226# define multiply fpmul
227# define divide fpdiv
228# define compare fpcmp
c894819c 229# define _unord_f2 __unordsf2
86724f7f 230# define usi_to_float __floatunsisf
cb4b535d
KG
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
ea976606
AO
236# define sf_to_tf __extendsftf2
237# else
cb4b535d
KG
238# define add dpadd
239# define sub dpsub
240# define multiply dpmul
241# define divide dpdiv
242# define compare dpcmp
c894819c 243# define _unord_f2 __unorddf2
86724f7f 244# define usi_to_float __floatunsidf
cb4b535d
KG
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
ea976606 250# define df_to_tf __extenddftf2
cb4b535d
KG
251# endif /* FLOAT */
252#else
ea976606
AO
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
cb4b535d
KG
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
dfaf3cdb 286# define usi_to_float __floatunsisf
cb4b535d
KG
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
ea976606
AO
292# define sf_to_tf __extendsftf2
293# else
cb4b535d
KG
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
dfaf3cdb 306# define usi_to_float __floatunsidf
cb4b535d
KG
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
ea976606 312# define df_to_tf __extenddftf2
cb4b535d
KG
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. */
e13dd54f 321#define LSHIFT(a, s) { a = (a >> s) | !!(a & (((fractype) 1 << s) - 1)); }
cb4b535d
KG
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
ea976606
AO
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
cb4b535d
KG
335
336#define NORMAL_EXPMIN (-(EXPBIAS)+1)
ea976606
AO
337#define IMPLICIT_1 ((fractype)1<<(FRACBITS+NGARDS))
338#define IMPLICIT_2 ((fractype)1<<(FRACBITS+1+NGARDS))
cb4b535d
KG
339
340/* common types */
341
342typedef enum
343{
344 CLASS_SNAN,
345 CLASS_QNAN,
346 CLASS_ZERO,
347 CLASS_NUMBER,
348 CLASS_INFINITY
349} fp_class_type;
350
351typedef 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
370typedef union
371{
372 FLO_type value;
373 fractype value_raw;
374
375#ifndef FLOAT
ea976606
AO
376# ifdef qrtrfractype
377 qrtrfractype qwords[4];
378# else
cb4b535d 379 halffractype words[2];
ea976606 380# endif
cb4b535d
KG
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}
411FLO_union_type;
412
7a7d8fab 413/* Prototypes. */
cb4b535d 414
ea976606 415#if defined(L_pack_df) || defined(L_pack_sf) || defined(L_pack_tf)
7a7d8fab 416extern FLO_type pack_d (const fp_number_type *);
cb4b535d
KG
417#endif
418
419extern void unpack_d (FLO_union_type *, fp_number_type *);
420
ea976606 421#if defined(L_addsub_sf) || defined(L_addsub_df) || defined(L_addsub_tf)
cb4b535d
KG
422extern FLO_type add (FLO_type, FLO_type);
423extern FLO_type sub (FLO_type, FLO_type);
424#endif
425
ea976606 426#if defined(L_mul_sf) || defined(L_mul_df) || defined(L_mul_tf)
cb4b535d
KG
427extern FLO_type multiply (FLO_type, FLO_type);
428#endif
429
ea976606 430#if defined(L_div_sf) || defined(L_div_df) || defined(L_div_tf)
cb4b535d
KG
431extern FLO_type divide (FLO_type, FLO_type);
432#endif
433
434extern int __fpcmp_parts (fp_number_type *, fp_number_type *);
435
ea976606 436#if defined(L_compare_sf) || defined(L_compare_df) || defined(L_compare_tf)
cb4b535d
KG
437extern CMPtype compare (FLO_type, FLO_type);
438#endif
439
440#ifndef US_SOFTWARE_GOFAST
441
ea976606 442#if defined(L_eq_sf) || defined(L_eq_df) || defined(L_eq_tf)
cb4b535d
KG
443extern CMPtype _eq_f2 (FLO_type, FLO_type);
444#endif
445
ea976606 446#if defined(L_ne_sf) || defined(L_ne_df) || defined(L_ne_tf)
cb4b535d
KG
447extern CMPtype _ne_f2 (FLO_type, FLO_type);
448#endif
449
ea976606 450#if defined(L_gt_sf) || defined(L_gt_df) || defined(L_gt_tf)
cb4b535d
KG
451extern CMPtype _gt_f2 (FLO_type, FLO_type);
452#endif
453
ea976606 454#if defined(L_ge_sf) || defined(L_ge_df) || defined(L_ge_tf)
cb4b535d
KG
455extern CMPtype _ge_f2 (FLO_type, FLO_type);
456#endif
457
ea976606 458#if defined(L_lt_sf) || defined(L_lt_df) || defined(L_lt_tf)
cb4b535d
KG
459extern CMPtype _lt_f2 (FLO_type, FLO_type);
460#endif
461
ea976606 462#if defined(L_le_sf) || defined(L_le_df) || defined(L_le_tf)
cb4b535d
KG
463extern CMPtype _le_f2 (FLO_type, FLO_type);
464#endif
465
ea976606 466#if defined(L_unord_sf) || defined(L_unord_df) || defined(L_unord_tf)
cb4b535d
KG
467extern CMPtype _unord_f2 (FLO_type, FLO_type);
468#endif
469
470#endif /* ! US_SOFTWARE_GOFAST */
471
ea976606 472#if defined(L_si_to_sf) || defined(L_si_to_df) || defined(L_si_to_tf)
cb4b535d
KG
473extern FLO_type si_to_float (SItype);
474#endif
475
ea976606 476#if defined(L_sf_to_si) || defined(L_df_to_si) || defined(L_tf_to_si)
cb4b535d
KG
477extern SItype float_to_si (FLO_type);
478#endif
479
ea976606 480#if defined(L_sf_to_usi) || defined(L_df_to_usi) || defined(L_tf_to_usi)
29efb633 481#if defined(US_SOFTWARE_GOFAST) || defined(L_tf_to_usi)
cb4b535d
KG
482extern USItype float_to_usi (FLO_type);
483#endif
484#endif
485
ea976606 486#if defined(L_usi_to_sf) || defined(L_usi_to_df) || defined(L_usi_to_tf)
fc608b03
KG
487extern FLO_type usi_to_float (USItype);
488#endif
489
ea976606 490#if defined(L_negate_sf) || defined(L_negate_df) || defined(L_negate_tf)
cb4b535d
KG
491extern FLO_type negate (FLO_type);
492#endif
493
494#ifdef FLOAT
495#if defined(L_make_sf)
496extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
497#endif
498#ifndef FLOAT_ONLY
499extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
500#if defined(L_sf_to_df)
501extern DFtype sf_to_df (SFtype);
502#endif
ea976606
AO
503#if defined(L_sf_to_tf) && defined(TMODES)
504extern TFtype sf_to_tf (SFtype);
505#endif
cb4b535d
KG
506#endif /* ! FLOAT_ONLY */
507#endif /* FLOAT */
508
509#ifndef FLOAT
510extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
511#if defined(L_make_df)
512extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
513#endif
514#if defined(L_df_to_sf)
515extern SFtype df_to_sf (DFtype);
516#endif
ea976606
AO
517#if defined(L_df_to_tf) && defined(TMODES)
518extern TFtype df_to_tf (DFtype);
519#endif
cb4b535d
KG
520#endif /* ! FLOAT */
521
ea976606 522#ifdef TMODES
266a9ef1 523extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
ea976606
AO
524extern TFtype __make_tp (fp_class_type, unsigned int, int, UTItype);
525#ifdef TFLOAT
526#if defined(L_tf_to_sf)
527extern SFtype tf_to_sf (TFtype);
528#endif
529#if defined(L_tf_to_df)
530extern DFtype tf_to_df (TFtype);
531#endif
532#if defined(L_di_to_tf)
533extern TFtype di_to_df (DItype);
534#endif
535#endif /* TFLOAT */
536#endif /* TMODES */
537
88657302 538#endif /* ! GCC_FP_BIT_H */