gcc/config/fp-bit.h

   1 /* Header file for fp-bit.c.  */
   2 /* Copyright (C) 2000
   3    Free Software Foundation, Inc.
   4
   5 This file is part of GNU CC.
   6
   7 GNU CC is free software; you can redistribute it and/or modify
   8 it under the terms of the GNU General Public License as published by
   9 the Free Software Foundation; either version 2, or (at your option)
  10 any later version.
  11
  12 GNU CC is distributed in the hope that it will be useful,
  13 but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 GNU General Public License for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GNU CC; see the file COPYING.  If not, write to
  19 the Free Software Foundation, 59 Temple Place - Suite 330,
  20 Boston, MA 02111-1307, USA.  */
  21
  22 /* As a special exception, if you link this library with other files,
  23    some of which are compiled with GCC, to produce an executable,
  24    this library does not by itself cause the resulting executable
  25    to be covered by the GNU General Public License.
  26    This exception does not however invalidate any other reasons why
  27    the executable file might be covered by the GNU General Public License.  */
  28
  29 #ifndef GCC_FP_BIT_H
  30 #define GCC_FP_BIT_H
  31
  32 /* Defining FINE_GRAINED_LIBRARIES allows one to select which routines
  33    from this file are compiled via additional -D options.
  34
  35    This avoids the need to pull in the entire fp emulation library
  36    when only a small number of functions are needed.
  37
  38    If FINE_GRAINED_LIBRARIES is not defined, then compile every
  39    suitable routine.  */
  40 #ifndef FINE_GRAINED_LIBRARIES
  41 #define L_pack_df
  42 #define L_unpack_df
  43 #define L_pack_sf
  44 #define L_unpack_sf
  45 #define L_addsub_sf
  46 #define L_addsub_df
  47 #define L_mul_sf
  48 #define L_mul_df
  49 #define L_div_sf
  50 #define L_div_df
  51 #define L_fpcmp_parts_sf
  52 #define L_fpcmp_parts_df
  53 #define L_compare_sf
  54 #define L_compare_df
  55 #define L_eq_sf
  56 #define L_eq_df
  57 #define L_ne_sf
  58 #define L_ne_df
  59 #define L_gt_sf
  60 #define L_gt_df
  61 #define L_ge_sf
  62 #define L_ge_df
  63 #define L_lt_sf
  64 #define L_lt_df
  65 #define L_le_sf
  66 #define L_le_df
  67 #define L_unord_sf
  68 #define L_unord_df
  69 #define L_usi_to_sf
  70 #define L_usi_to_df
  71 #define L_si_to_sf
  72 #define L_si_to_df
  73 #define L_sf_to_si
  74 #define L_df_to_si
  75 #define L_f_to_usi
  76 #define L_df_to_usi
  77 #define L_negate_sf
  78 #define L_negate_df
  79 #define L_make_sf
  80 #define L_make_df
  81 #define L_sf_to_df
  82 #define L_df_to_sf
  83 #ifdef FLOAT
  84 #define L_thenan_sf
  85 #else
  86 #define L_thenan_df
  87 #endif
  88 #endif /* ! FINE_GRAINED_LIBRARIES */
  89
  90 typedef float SFtype __attribute__ ((mode (SF)));
  91 typedef float DFtype __attribute__ ((mode (DF)));
  92
  93 typedef int HItype __attribute__ ((mode (HI)));
  94 typedef int SItype __attribute__ ((mode (SI)));
  95 typedef int DItype __attribute__ ((mode (DI)));
  96
  97 /* The type of the result of a fp compare */
  98 #ifndef CMPtype
  99 #define CMPtype SItype
 100 #endif
 101
 102 typedef unsigned int UHItype __attribute__ ((mode (HI)));
 103 typedef unsigned int USItype __attribute__ ((mode (SI)));
 104 typedef unsigned int UDItype __attribute__ ((mode (DI)));
 105
 106 #define MAX_USI_INT  (~(USItype)0)
 107 #define MAX_SI_INT   ((SItype) (MAX_USI_INT >> 1))
 108 #define BITS_PER_SI  (4 * BITS_PER_UNIT)
 109
 110 #ifdef FLOAT_ONLY
 111 #define NO_DI_MODE
 112 #endif
 113
 114 #ifdef FLOAT
 115 #       define NGARDS    7L
 116 #       define GARDROUND 0x3f
 117 #       define GARDMASK  0x7f
 118 #       define GARDMSB   0x40
 119 #       define EXPBITS 8
 120 #       define EXPBIAS 127
 121 #       define FRACBITS 23
 122 #       define EXPMAX (0xff)
 123 #       define QUIET_NAN 0x100000L
 124 #       define FRAC_NBITS 32
 125 #       define FRACHIGH  0x80000000L
 126 #       define FRACHIGH2 0xc0000000L
 127 #       define pack_d __pack_f
 128 #       define unpack_d __unpack_f
 129 #       define __fpcmp_parts __fpcmp_parts_f
 130         typedef USItype fractype;
 131         typedef UHItype halffractype;
 132         typedef SFtype FLO_type;
 133         typedef SItype intfrac;
 134
 135 #else
 136 #       define PREFIXFPDP dp
 137 #       define PREFIXSFDF df
 138 #       define NGARDS 8L
 139 #       define GARDROUND 0x7f
 140 #       define GARDMASK  0xff
 141 #       define GARDMSB   0x80
 142 #       define EXPBITS 11
 143 #       define EXPBIAS 1023
 144 #       define FRACBITS 52
 145 #       define EXPMAX (0x7ff)
 146 #       define QUIET_NAN 0x8000000000000LL
 147 #       define FRAC_NBITS 64
 148 #       define FRACHIGH  0x8000000000000000LL
 149 #       define FRACHIGH2 0xc000000000000000LL
 150 #       define pack_d __pack_d
 151 #       define unpack_d __unpack_d
 152 #       define __fpcmp_parts __fpcmp_parts_d
 153         typedef UDItype fractype;
 154         typedef USItype halffractype;
 155         typedef DFtype FLO_type;
 156         typedef DItype intfrac;
 157 #endif /* FLOAT */
 158
 159 #ifdef US_SOFTWARE_GOFAST
 160 #       ifdef FLOAT
 161 #               define add              fpadd
 162 #               define sub              fpsub
 163 #               define multiply         fpmul
 164 #               define divide           fpdiv
 165 #               define compare          fpcmp
 166 #               define _unord_f2        __unordsf2
 167 #               define usi_to_float     __floatunsisf
 168 #               define si_to_float      sitofp
 169 #               define float_to_si      fptosi
 170 #               define float_to_usi     fptoui
 171 #               define negate           __negsf2
 172 #               define sf_to_df         fptodp
 173 #               define dptofp           dptofp
 174 #else
 175 #               define add              dpadd
 176 #               define sub              dpsub
 177 #               define multiply         dpmul
 178 #               define divide           dpdiv
 179 #               define compare          dpcmp
 180 #               define _unord_f2        __unorddf2
 181 #               define usi_to_float     __floatunsidf
 182 #               define si_to_float      litodp
 183 #               define float_to_si      dptoli
 184 #               define float_to_usi     dptoul
 185 #               define negate           __negdf2
 186 #               define df_to_sf         dptofp
 187 #       endif /* FLOAT */
 188 #else
 189 #       ifdef FLOAT
 190 #               define add              __addsf3
 191 #               define sub              __subsf3
 192 #               define multiply         __mulsf3
 193 #               define divide           __divsf3
 194 #               define compare          __cmpsf2
 195 #               define _eq_f2           __eqsf2
 196 #               define _ne_f2           __nesf2
 197 #               define _gt_f2           __gtsf2
 198 #               define _ge_f2           __gesf2
 199 #               define _lt_f2           __ltsf2
 200 #               define _le_f2           __lesf2
 201 #               define _unord_f2        __unordsf2
 202 #               define usi_to_float     __floatunsisf
 203 #               define si_to_float      __floatsisf
 204 #               define float_to_si      __fixsfsi
 205 #               define float_to_usi     __fixunssfsi
 206 #               define negate           __negsf2
 207 #               define sf_to_df         __extendsfdf2
 208 #else
 209 #               define add              __adddf3
 210 #               define sub              __subdf3
 211 #               define multiply         __muldf3
 212 #               define divide           __divdf3
 213 #               define compare          __cmpdf2
 214 #               define _eq_f2           __eqdf2
 215 #               define _ne_f2           __nedf2
 216 #               define _gt_f2           __gtdf2
 217 #               define _ge_f2           __gedf2
 218 #               define _lt_f2           __ltdf2
 219 #               define _le_f2           __ledf2
 220 #               define _unord_f2        __unorddf2
 221 #               define usi_to_float     __floatunsidf
 222 #               define si_to_float      __floatsidf
 223 #               define float_to_si      __fixdfsi
 224 #               define float_to_usi     __fixunsdfsi
 225 #               define negate           __negdf2
 226 #               define df_to_sf         __truncdfsf2
 227 #       endif /* FLOAT */
 228 #endif /* US_SOFTWARE_GOFAST */
 229
 230 #ifndef INLINE
 231 #define INLINE __inline__
 232 #endif
 233
 234 /* Preserve the sticky-bit when shifting fractions to the right.  */
 235 #define LSHIFT(a) { a = (a & 1) | (a >> 1); }
 236
 237 /* numeric parameters */
 238 /* F_D_BITOFF is the number of bits offset between the MSB of the mantissa
 239    of a float and of a double. Assumes there are only two float types.
 240    (double::FRAC_BITS+double::NGARDS-(float::FRAC_BITS-float::NGARDS))
 241  */
 242 #define F_D_BITOFF (52+8-(23+7))
 243
 244
 245 #define NORMAL_EXPMIN (-(EXPBIAS)+1)
 246 #define IMPLICIT_1 (1LL<<(FRACBITS+NGARDS))
 247 #define IMPLICIT_2 (1LL<<(FRACBITS+1+NGARDS))
 248
 249 /* common types */
 250
 251 typedef enum
 252 {
 253   CLASS_SNAN,
 254   CLASS_QNAN,
 255   CLASS_ZERO,
 256   CLASS_NUMBER,
 257   CLASS_INFINITY
 258 } fp_class_type;
 259
 260 typedef struct
 261 {
 262 #ifdef SMALL_MACHINE
 263   char class;
 264   unsigned char sign;
 265   short normal_exp;
 266 #else
 267   fp_class_type class;
 268   unsigned int sign;
 269   int normal_exp;
 270 #endif
 271
 272   union
 273     {
 274       fractype ll;
 275       halffractype l[2];
 276     } fraction;
 277 } fp_number_type;
 278
 279 typedef union
 280 {
 281   FLO_type value;
 282   fractype value_raw;
 283
 284 #ifndef FLOAT
 285   halffractype words[2];
 286 #endif
 287
 288 #ifdef FLOAT_BIT_ORDER_MISMATCH
 289   struct
 290     {
 291       fractype fraction:FRACBITS __attribute__ ((packed));
 292       unsigned int exp:EXPBITS __attribute__ ((packed));
 293       unsigned int sign:1 __attribute__ ((packed));
 294     }
 295   bits;
 296 #endif
 297
 298 #ifdef _DEBUG_BITFLOAT
 299   struct
 300     {
 301       unsigned int sign:1 __attribute__ ((packed));
 302       unsigned int exp:EXPBITS __attribute__ ((packed));
 303       fractype fraction:FRACBITS __attribute__ ((packed));
 304     }
 305   bits_big_endian;
 306
 307   struct
 308     {
 309       fractype fraction:FRACBITS __attribute__ ((packed));
 310       unsigned int exp:EXPBITS __attribute__ ((packed));
 311       unsigned int sign:1 __attribute__ ((packed));
 312     }
 313   bits_little_endian;
 314 #endif
 315 }
 316 FLO_union_type;
 317
 318 /* Prototypes */
 319
 320 #if defined(L_pack_df) || defined(L_pack_sf)
 321 extern FLO_type pack_d (fp_number_type *);
 322 #endif
 323
 324 extern void unpack_d (FLO_union_type *, fp_number_type *);
 325
 326 #if defined(L_addsub_sf) || defined(L_addsub_df)
 327 extern FLO_type add (FLO_type, FLO_type);
 328 extern FLO_type sub (FLO_type, FLO_type);
 329 #endif
 330
 331 #if defined(L_mul_sf) || defined(L_mul_df)
 332 extern FLO_type multiply (FLO_type, FLO_type);
 333 #endif
 334
 335 #if defined(L_div_sf) || defined(L_div_df)
 336 extern FLO_type divide (FLO_type, FLO_type);
 337 #endif
 338
 339 extern int __fpcmp_parts (fp_number_type *, fp_number_type *);
 340
 341 #if defined(L_compare_sf) || defined(L_compare_df)
 342 extern CMPtype compare (FLO_type, FLO_type);
 343 #endif
 344
 345 #ifndef US_SOFTWARE_GOFAST
 346
 347 #if defined(L_eq_sf) || defined(L_eq_df)
 348 extern CMPtype _eq_f2 (FLO_type, FLO_type);
 349 #endif
 350
 351 #if defined(L_ne_sf) || defined(L_ne_df)
 352 extern CMPtype _ne_f2 (FLO_type, FLO_type);
 353 #endif
 354
 355 #if defined(L_gt_sf) || defined(L_gt_df)
 356 extern CMPtype _gt_f2 (FLO_type, FLO_type);
 357 #endif
 358
 359 #if defined(L_ge_sf) || defined(L_ge_df)
 360 extern CMPtype _ge_f2 (FLO_type, FLO_type);
 361 #endif
 362
 363 #if defined(L_lt_sf) || defined(L_lt_df)
 364 extern CMPtype _lt_f2 (FLO_type, FLO_type);
 365 #endif
 366
 367 #if defined(L_le_sf) || defined(L_le_df)
 368 extern CMPtype _le_f2 (FLO_type, FLO_type);
 369 #endif
 370
 371 #if defined(L_unord_sf) || defined(L_unord_df)
 372 extern CMPtype _unord_f2 (FLO_type, FLO_type);
 373 #endif
 374
 375 #endif /* ! US_SOFTWARE_GOFAST */
 376
 377 #if defined(L_si_to_sf) || defined(L_si_to_df)
 378 extern FLO_type si_to_float (SItype);
 379 #endif
 380
 381 #if defined(L_sf_to_si) || defined(L_df_to_si)
 382 extern SItype float_to_si (FLO_type);
 383 #endif
 384
 385 #if defined(L_sf_to_usi) || defined(L_df_to_usi)
 386 #ifdef US_SOFTWARE_GOFAST
 387 extern USItype float_to_usi (FLO_type);
 388 #endif
 389 #endif
 390
 391 #if defined(L_usi_to_sf) || defined(L_usi_to_df)
 392 extern FLO_type usi_to_float (USItype);
 393 #endif
 394
 395 #if defined(L_negate_sf) || defined(L_negate_df)
 396 extern FLO_type negate (FLO_type);
 397 #endif
 398
 399 #ifdef FLOAT
 400 #if defined(L_make_sf)
 401 extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
 402 #endif
 403 #ifndef FLOAT_ONLY
 404 extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
 405 #if defined(L_sf_to_df)
 406 extern DFtype sf_to_df (SFtype);
 407 #endif
 408 #endif /* ! FLOAT_ONLY */
 409 #endif /* FLOAT */
 410
 411 #ifndef FLOAT
 412 extern SFtype __make_fp (fp_class_type, unsigned int, int, USItype);
 413 #if defined(L_make_df)
 414 extern DFtype __make_dp (fp_class_type, unsigned int, int, UDItype);
 415 #endif
 416 #if defined(L_df_to_sf)
 417 extern SFtype df_to_sf (DFtype);
 418 #endif
 419 #endif /* ! FLOAT */
 420
 421 #endif /* ! GCC_FP_BIT_H */