Subversion Repositories Kolibri OS

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
6515 serge 1
/* Header file for fp-bit.c.  */
2
/* Copyright (C) 2000-2015 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
.  */
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
#if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
132
#define FLOAT_BIT_ORDER_MISMATCH
133
#endif
134
 
135
#if __BYTE_ORDER__ != __FLOAT_WORD_ORDER__
136
#define FLOAT_WORD_ORDER_MISMATCH
137
#endif
138
 
139
#ifdef TFLOAT
140
# ifndef TMODES
141
#  error "TFLOAT requires long double to have 113 bits of mantissa"
142
# endif
143
 
144
#	define PREFIXFPDP tp
145
#	define PREFIXSFDF tf
146
#	define NGARDS 10L /* Is this right? */
147
#	define GARDROUND 0x1ff
148
#	define GARDMASK  0x3ff
149
#	define GARDMSB   0x200
150
#	define FRAC_NBITS 128
151
 
152
# if __LDBL_MANT_DIG__ == 113 /* IEEE quad */
153
#	define EXPBITS 15
154
#	define EXPBIAS 16383
155
#	define EXPMAX (0x7fff)
156
#	define QUIET_NAN ((TItype)0x8 << 108)
157
#	define FRACHIGH  ((TItype)0x8 << 124)
158
#	define FRACHIGH2 ((TItype)0xc << 124)
159
#	define FRACBITS 112
160
# endif
161
 
162
# if __LDBL_MANT_DIG__ == 106 /* IBM extended (double+double) */
163
#	define EXPBITS 11
164
#	define EXPBIAS 1023
165
#	define EXPMAX (0x7ff)
166
#	define QUIET_NAN ((TItype)0x8 << (48 + 64))
167
#	define FRACHIGH  ((TItype)0x8 << 124)
168
#	define FRACHIGH2 ((TItype)0xc << 124)
169
#	define FRACBITS 105
170
#	define HALFFRACBITS 52
171
#	define HALFSHIFT 64
172
# endif
173
 
174
#	define pack_d __pack_t
175
#	define unpack_d __unpack_t
176
#	define __fpcmp_parts __fpcmp_parts_t
177
	typedef UTItype fractype;
178
	typedef UDItype halffractype;
179
	typedef USItype qrtrfractype;
180
#define qrtrfractype qrtrfractype
181
	typedef TFtype FLO_type;
182
	typedef TItype intfrac;
183
#elif defined FLOAT
184
#	define NGARDS    7L
185
#	define GARDROUND 0x3f
186
#	define GARDMASK  0x7f
187
#	define GARDMSB   0x40
188
#	define EXPBITS 8
189
#	define EXPBIAS 127
190
#	define FRACBITS 23
191
#	define EXPMAX (0xff)
192
#	define QUIET_NAN 0x400000L
193
#	define FRAC_NBITS 32
194
#	define FRACHIGH  0x80000000L
195
#	define FRACHIGH2 0xc0000000L
196
#	define pack_d __pack_f
197
#	define unpack_d __unpack_f
198
#	define __fpcmp_parts __fpcmp_parts_f
199
	typedef USItype fractype;
200
	typedef UHItype halffractype;
201
	typedef SFtype FLO_type;
202
	typedef SItype intfrac;
203
 
204
#else
205
#	define PREFIXFPDP dp
206
#	define PREFIXSFDF df
207
#	define NGARDS 8L
208
#	define GARDROUND 0x7f
209
#	define GARDMASK  0xff
210
#	define GARDMSB   0x80
211
#	define EXPBITS 11
212
#	define EXPBIAS 1023
213
#	define FRACBITS 52
214
#	define EXPMAX (0x7ff)
215
#	define QUIET_NAN 0x8000000000000LL
216
#	define FRAC_NBITS 64
217
#	define FRACHIGH  0x8000000000000000LL
218
#	define FRACHIGH2 0xc000000000000000LL
219
#	define pack_d __pack_d
220
#	define unpack_d __unpack_d
221
#	define __fpcmp_parts __fpcmp_parts_d
222
	typedef UDItype fractype;
223
	typedef USItype halffractype;
224
	typedef DFtype FLO_type;
225
	typedef DItype intfrac;
226
#endif /* FLOAT */
227
 
228
#ifdef TFLOAT
229
#	define add 		__addtf3
230
#	define sub 		__subtf3
231
#	define multiply 	__multf3
232
#	define divide 		__divtf3
233
#	define compare 		__cmptf2
234
#	define _eq_f2 		__eqtf2
235
#	define _ne_f2 		__netf2
236
#	define _gt_f2 		__gttf2
237
#	define _ge_f2 		__getf2
238
#	define _lt_f2 		__lttf2
239
#	define _le_f2 		__letf2
240
#	define _unord_f2	__unordtf2
241
#	define usi_to_float 	__floatunsitf
242
#	define si_to_float 	__floatsitf
243
#	define float_to_si 	__fixtfsi
244
#	define float_to_usi 	__fixunstfsi
245
#	define negate 		__negtf2
246
#	define tf_to_sf		__trunctfsf2
247
#	define tf_to_df		__trunctfdf2
248
#elif defined FLOAT
249
#	define add 		__addsf3
250
#	define sub 		__subsf3
251
#	define multiply 	__mulsf3
252
#	define divide 		__divsf3
253
#	define compare 		__cmpsf2
254
#	define _eq_f2 		__eqsf2
255
#	define _ne_f2 		__nesf2
256
#	define _gt_f2 		__gtsf2
257
#	define _ge_f2 		__gesf2
258
#	define _lt_f2 		__ltsf2
259
#	define _le_f2 		__lesf2
260
#	define _unord_f2	__unordsf2
261
#	define usi_to_float 	__floatunsisf
262
#	define si_to_float 	__floatsisf
263
#	define float_to_si 	__fixsfsi
264
#	define float_to_usi 	__fixunssfsi
265
#	define negate 		__negsf2
266
#	define sf_to_df		__extendsfdf2
267
#	define sf_to_tf		__extendsftf2
268
#else
269
#	define add 		__adddf3
270
#	define sub 		__subdf3
271
#	define multiply 	__muldf3
272
#	define divide 		__divdf3
273
#	define compare 		__cmpdf2
274
#	define _eq_f2 		__eqdf2
275
#	define _ne_f2 		__nedf2
276
#	define _gt_f2 		__gtdf2
277
#	define _ge_f2 		__gedf2
278
#	define _lt_f2 		__ltdf2
279
#	define _le_f2 		__ledf2
280
#	define _unord_f2	__unorddf2
281
#	define usi_to_float 	__floatunsidf
282
#	define si_to_float 	__floatsidf
283
#	define float_to_si 	__fixdfsi
284
#	define float_to_usi 	__fixunsdfsi
285
#	define negate 		__negdf2
286
#	define df_to_sf		__truncdfsf2
287
#	define df_to_tf		__extenddftf2
288
#endif /* FLOAT */
289
 
290
#ifndef INLINE
291
#define INLINE __inline__
292
#endif
293
 
294
/* Preserve the sticky-bit when shifting fractions to the right.  */
295
#define LSHIFT(a, s) { a = (a >> s) | !!(a & (((fractype) 1 << s) - 1)); }
296
 
297
/* numeric parameters */
298
/* F_D_BITOFF is the number of bits offset between the MSB of the mantissa
299
   of a float and of a double. Assumes there are only two float types.
300
   (double::FRAC_BITS+double::NGARDS-(float::FRAC_BITS+float::NGARDS))
301
 */
302
#define F_D_BITOFF (52+8-(23+7))
303
 
304
#ifdef TMODES
305
# define F_T_BITOFF (__LDBL_MANT_DIG__-1+10-(23+7))
306
# define D_T_BITOFF (__LDBL_MANT_DIG__-1+10-(52+8))
307
#endif
308
 
309
 
310
#define NORMAL_EXPMIN (-(EXPBIAS)+1)
311
#define IMPLICIT_1 ((fractype)1<<(FRACBITS+NGARDS))
312
#define IMPLICIT_2 ((fractype)1<<(FRACBITS+1+NGARDS))
313
 
314
/* common types */
315
 
316
typedef enum
317
{
318
  CLASS_SNAN,
319
  CLASS_QNAN,
320
  CLASS_ZERO,
321
  CLASS_NUMBER,
322
  CLASS_INFINITY
323
} fp_class_type;
324
 
325
typedef struct
326
{
327
#ifdef SMALL_MACHINE
328
  char class;
329
  unsigned char sign;
330
  short normal_exp;
331
#else
332
  fp_class_type class;
333
  unsigned int sign;
334
  int normal_exp;
335
#endif
336
 
337
  union
338
    {
339
      fractype ll;
340
      halffractype l[2];
341
    } fraction;
342
} fp_number_type;
343
 
344
typedef union
345
{
346
  FLO_type value;
347
  fractype value_raw;
348
 
349
#ifndef FLOAT
350
# ifdef qrtrfractype
351
  qrtrfractype qwords[4];
352
# else
353
  halffractype words[2];
354
# endif
355
#endif
356
 
357
#ifdef FLOAT_BIT_ORDER_MISMATCH
358
  struct
359
    {
360
      fractype fraction:FRACBITS __attribute__ ((packed));
361
      unsigned int exp:EXPBITS __attribute__ ((packed));
362
      unsigned int sign:1 __attribute__ ((packed));
363
    }
364
  bits;
365
#endif
366
 
367
#ifdef _DEBUG_BITFLOAT
368
  struct
369
    {
370
      unsigned int sign:1 __attribute__ ((packed));
371
      unsigned int exp:EXPBITS __attribute__ ((packed));
372
      fractype fraction:FRACBITS __attribute__ ((packed));
373
    }
374
  bits_big_endian;
375
 
376
  struct
377
    {
378
      fractype fraction:FRACBITS __attribute__ ((packed));
379
      unsigned int exp:EXPBITS __attribute__ ((packed));
380
      unsigned int sign:1 __attribute__ ((packed));
381
    }
382
  bits_little_endian;
383
#endif
384
}
385
FLO_union_type;
386
 
387
/* Prototypes.  */
388
 
389
#if defined(L_pack_df) || defined(L_pack_sf) || defined(L_pack_tf)
390
extern FLO_type pack_d (const fp_number_type *);
391
#endif
392
 
393
extern void unpack_d (FLO_union_type *, fp_number_type *);
394
 
395
#if defined(L_addsub_sf) || defined(L_addsub_df) || defined(L_addsub_tf)
396
extern FLO_type add (FLO_type, FLO_type);
397
extern FLO_type sub (FLO_type, FLO_type);
398
#endif
399
 
400
#if defined(L_mul_sf) || defined(L_mul_df) || defined(L_mul_tf)
401
extern FLO_type multiply (FLO_type, FLO_type);
402
#endif
403
 
404
#if defined(L_div_sf) || defined(L_div_df) || defined(L_div_tf)
405
extern FLO_type divide (FLO_type, FLO_type);
406
#endif
407
 
408
extern int __fpcmp_parts (fp_number_type *, fp_number_type *);
409
 
410
#if defined(L_compare_sf) || defined(L_compare_df) || defined(L_compare_tf)
411
extern CMPtype compare (FLO_type, FLO_type);
412
#endif
413
 
414
#if defined(L_eq_sf) || defined(L_eq_df) || defined(L_eq_tf)
415
extern CMPtype _eq_f2 (FLO_type, FLO_type);
416
#endif
417
 
418
#if defined(L_ne_sf) || defined(L_ne_df) || defined(L_ne_tf)
419
extern CMPtype _ne_f2 (FLO_type, FLO_type);
420
#endif
421
 
422
#if defined(L_gt_sf) || defined(L_gt_df) || defined(L_gt_tf)
423
extern CMPtype _gt_f2 (FLO_type, FLO_type);
424
#endif
425
 
426
#if defined(L_ge_sf) || defined(L_ge_df) || defined(L_ge_tf)
427
extern CMPtype _ge_f2 (FLO_type, FLO_type);
428
#endif
429
 
430
#if defined(L_lt_sf) || defined(L_lt_df) || defined(L_lt_tf)
431
extern CMPtype _lt_f2 (FLO_type, FLO_type);
432
#endif
433
 
434
#if defined(L_le_sf) || defined(L_le_df) || defined(L_le_tf)
435
extern CMPtype _le_f2 (FLO_type, FLO_type);
436
#endif
437
 
438
#if defined(L_unord_sf) || defined(L_unord_df) || defined(L_unord_tf)
439
extern CMPtype _unord_f2 (FLO_type, FLO_type);
440
#endif
441
 
442
#if defined(L_si_to_sf) || defined(L_si_to_df) || defined(L_si_to_tf)
443
extern FLO_type si_to_float (SItype);
444
#endif
445
 
446
#if defined(L_sf_to_si) || defined(L_df_to_si) || defined(L_tf_to_si)
447
extern SItype float_to_si (FLO_type);
448
#endif
449
 
450
#if defined(L_tf_to_usi)
451
extern USItype float_to_usi (FLO_type);
452
#endif
453
 
454
#if defined(L_usi_to_sf) || defined(L_usi_to_df) || defined(L_usi_to_tf)
455
extern FLO_type usi_to_float (USItype);
456
#endif
457
 
458
#if defined(L_negate_sf) || defined(L_negate_df) || defined(L_negate_tf)
459
extern FLO_type negate (FLO_type);
460
#endif
461
 
462
#ifdef FLOAT
463
#if defined(L_make_sf)
464
extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
465
#endif
466
#ifndef FLOAT_ONLY
467
extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
468
#if defined(L_sf_to_df)
469
extern DFtype sf_to_df (SFtype);
470
#endif
471
#if defined(L_sf_to_tf) && defined(TMODES)
472
extern TFtype sf_to_tf (SFtype);
473
#endif
474
#endif /* ! FLOAT_ONLY */
475
#endif /* FLOAT */
476
 
477
#ifndef FLOAT
478
extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
479
#if defined(L_make_df)
480
extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
481
#endif
482
#if defined(L_df_to_sf)
483
extern SFtype df_to_sf (DFtype);
484
#endif
485
#if defined(L_df_to_tf) && defined(TMODES)
486
extern TFtype df_to_tf (DFtype);
487
#endif
488
#endif /* ! FLOAT */
489
 
490
#ifdef TMODES
491
extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
492
extern TFtype __make_tp (fp_class_type, unsigned int, int, UTItype);
493
#ifdef TFLOAT
494
#if defined(L_tf_to_sf)
495
extern SFtype tf_to_sf (TFtype);
496
#endif
497
#if defined(L_tf_to_df)
498
extern DFtype tf_to_df (TFtype);
499
#endif
500
#if defined(L_di_to_tf)
501
extern TFtype di_to_df (DItype);
502
#endif
503
#endif /* TFLOAT */
504
#endif /* TMODES */
505
 
506
#endif /* ! GCC_FP_BIT_H */