123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491 |
- #ifndef GCC_REAL_H
- #define GCC_REAL_H
- #include "machmode.h"
- #include "signop.h"
- #include "wide-int.h"
- #include "insn-modes.h"
- enum real_value_class {
- rvc_zero,
- rvc_normal,
- rvc_inf,
- rvc_nan
- };
- #define SIGNIFICAND_BITS (128 + HOST_BITS_PER_LONG)
- #define EXP_BITS (32 - 6)
- #define MAX_EXP ((1 << (EXP_BITS - 1)) - 1)
- #define SIGSZ (SIGNIFICAND_BITS / HOST_BITS_PER_LONG)
- #define SIG_MSB ((unsigned long)1 << (HOST_BITS_PER_LONG - 1))
- struct GTY(()) real_value {
-
- unsigned int cl : 2;
- unsigned int decimal : 1;
- unsigned int sign : 1;
- unsigned int signalling : 1;
- unsigned int canonical : 1;
- unsigned int uexp : EXP_BITS;
- unsigned long sig[SIGSZ];
- };
- #define REAL_EXP(REAL) \
- ((int)((REAL)->uexp ^ (unsigned int)(1 << (EXP_BITS - 1))) \
- - (1 << (EXP_BITS - 1)))
- #define SET_REAL_EXP(REAL, EXP) \
- ((REAL)->uexp = ((unsigned int)(EXP) & (unsigned int)((1 << EXP_BITS) - 1)))
- #define REAL_VALUE_TYPE struct real_value
- #define REAL_VALUE_TYPE_SIZE (SIGNIFICAND_BITS + 32)
- #define REAL_WIDTH \
- (REAL_VALUE_TYPE_SIZE/HOST_BITS_PER_WIDE_INT \
- + (REAL_VALUE_TYPE_SIZE%HOST_BITS_PER_WIDE_INT ? 1 : 0))
- extern char test_real_width
- [sizeof (REAL_VALUE_TYPE) <= REAL_WIDTH * sizeof (HOST_WIDE_INT) ? 1 : -1];
- #if REAL_WIDTH == 1
- # define CONST_DOUBLE_FORMAT "ww"
- #else
- # if REAL_WIDTH == 2
- # define CONST_DOUBLE_FORMAT "ww"
- # else
- # if REAL_WIDTH == 3
- # define CONST_DOUBLE_FORMAT "www"
- # else
- # if REAL_WIDTH == 4
- # define CONST_DOUBLE_FORMAT "wwww"
- # else
- # if REAL_WIDTH == 5
- # define CONST_DOUBLE_FORMAT "wwwww"
- # else
- # if REAL_WIDTH == 6
- # define CONST_DOUBLE_FORMAT "wwwwww"
- # else
- #error "REAL_WIDTH > 6 not supported"
- # endif
- # endif
- # endif
- # endif
- # endif
- #endif
- struct real_format
- {
-
- void (*encode) (const struct real_format *, long *,
- const REAL_VALUE_TYPE *);
- void (*decode) (const struct real_format *, REAL_VALUE_TYPE *,
- const long *);
-
- int b;
-
- int p;
-
- int pnan;
-
- int emin;
-
- int emax;
-
- int signbit_ro;
-
- int signbit_rw;
-
- bool round_towards_zero;
- bool has_sign_dependent_rounding;
-
- bool has_nans;
- bool has_inf;
- bool has_denorm;
- bool has_signed_zero;
- bool qnan_msb_set;
- bool canonical_nan_lsbs_set;
- const char *name;
- };
- extern const struct real_format *
- real_format_for_mode[MAX_MODE_FLOAT - MIN_MODE_FLOAT + 1
- + MAX_MODE_DECIMAL_FLOAT - MIN_MODE_DECIMAL_FLOAT + 1];
- #define REAL_MODE_FORMAT(MODE) \
- (real_format_for_mode[DECIMAL_FLOAT_MODE_P (MODE) \
- ? (((MODE) - MIN_MODE_DECIMAL_FLOAT) \
- + (MAX_MODE_FLOAT - MIN_MODE_FLOAT + 1)) \
- : ((MODE) - MIN_MODE_FLOAT)])
- #define FLOAT_MODE_FORMAT(MODE) \
- (REAL_MODE_FORMAT (SCALAR_FLOAT_MODE_P (MODE)? (MODE) \
- : GET_MODE_INNER (MODE)))
- #define MODE_COMPOSITE_P(MODE) \
- (FLOAT_MODE_P (MODE) \
- && FLOAT_MODE_FORMAT (MODE)->pnan < FLOAT_MODE_FORMAT (MODE)->p)
- #define MODE_HAS_NANS(MODE) \
- (FLOAT_MODE_P (MODE) && FLOAT_MODE_FORMAT (MODE)->has_nans)
- #define MODE_HAS_INFINITIES(MODE) \
- (FLOAT_MODE_P (MODE) && FLOAT_MODE_FORMAT (MODE)->has_inf)
- #define MODE_HAS_SIGNED_ZEROS(MODE) \
- (FLOAT_MODE_P (MODE) && FLOAT_MODE_FORMAT (MODE)->has_signed_zero)
- #define MODE_HAS_SIGN_DEPENDENT_ROUNDING(MODE) \
- (FLOAT_MODE_P (MODE) \
- && FLOAT_MODE_FORMAT (MODE)->has_sign_dependent_rounding)
- extern bool HONOR_NANS (machine_mode);
- extern bool HONOR_NANS (const_tree);
- extern bool HONOR_NANS (const_rtx);
- extern bool HONOR_SNANS (machine_mode);
- extern bool HONOR_SNANS (const_tree);
- extern bool HONOR_SNANS (const_rtx);
- extern bool HONOR_INFINITIES (machine_mode);
- extern bool HONOR_INFINITIES (const_tree);
- extern bool HONOR_INFINITIES (const_rtx);
- extern bool HONOR_SIGNED_ZEROS (machine_mode);
- extern bool HONOR_SIGNED_ZEROS (const_tree);
- extern bool HONOR_SIGNED_ZEROS (const_rtx);
- extern bool HONOR_SIGN_DEPENDENT_ROUNDING (machine_mode);
- extern bool HONOR_SIGN_DEPENDENT_ROUNDING (const_tree);
- extern bool HONOR_SIGN_DEPENDENT_ROUNDING (const_rtx);
- extern bool real_arithmetic (REAL_VALUE_TYPE *, int, const REAL_VALUE_TYPE *,
- const REAL_VALUE_TYPE *);
- extern bool real_compare (int, const REAL_VALUE_TYPE *, const REAL_VALUE_TYPE *);
- extern bool real_isinf (const REAL_VALUE_TYPE *);
- extern bool real_isnan (const REAL_VALUE_TYPE *);
- extern bool real_isfinite (const REAL_VALUE_TYPE *);
- extern bool real_isneg (const REAL_VALUE_TYPE *);
- extern bool real_isnegzero (const REAL_VALUE_TYPE *);
- extern bool real_identical (const REAL_VALUE_TYPE *, const REAL_VALUE_TYPE *);
- extern void real_convert (REAL_VALUE_TYPE *, machine_mode,
- const REAL_VALUE_TYPE *);
- extern bool exact_real_truncate (machine_mode, const REAL_VALUE_TYPE *);
- extern void real_to_decimal (char *, const REAL_VALUE_TYPE *, size_t,
- size_t, int);
- extern void real_to_decimal_for_mode (char *, const REAL_VALUE_TYPE *, size_t,
- size_t, int, machine_mode);
- extern void real_to_hexadecimal (char *, const REAL_VALUE_TYPE *,
- size_t, size_t, int);
- extern HOST_WIDE_INT real_to_integer (const REAL_VALUE_TYPE *);
- extern int real_from_string (REAL_VALUE_TYPE *, const char *);
- extern void real_from_string3 (REAL_VALUE_TYPE *, const char *, machine_mode);
- extern long real_to_target_fmt (long *, const REAL_VALUE_TYPE *,
- const struct real_format *);
- extern long real_to_target (long *, const REAL_VALUE_TYPE *, machine_mode);
- extern void real_from_target_fmt (REAL_VALUE_TYPE *, const long *,
- const struct real_format *);
- extern void real_from_target (REAL_VALUE_TYPE *, const long *,
- machine_mode);
- extern void real_inf (REAL_VALUE_TYPE *);
- extern bool real_nan (REAL_VALUE_TYPE *, const char *, int, machine_mode);
- extern void real_maxval (REAL_VALUE_TYPE *, int, machine_mode);
- extern void real_2expN (REAL_VALUE_TYPE *, int, machine_mode);
- extern unsigned int real_hash (const REAL_VALUE_TYPE *);
- extern const struct real_format ieee_single_format;
- extern const struct real_format mips_single_format;
- extern const struct real_format motorola_single_format;
- extern const struct real_format spu_single_format;
- extern const struct real_format ieee_double_format;
- extern const struct real_format mips_double_format;
- extern const struct real_format motorola_double_format;
- extern const struct real_format ieee_extended_motorola_format;
- extern const struct real_format ieee_extended_intel_96_format;
- extern const struct real_format ieee_extended_intel_96_round_53_format;
- extern const struct real_format ieee_extended_intel_128_format;
- extern const struct real_format ibm_extended_format;
- extern const struct real_format mips_extended_format;
- extern const struct real_format ieee_quad_format;
- extern const struct real_format mips_quad_format;
- extern const struct real_format vax_f_format;
- extern const struct real_format vax_d_format;
- extern const struct real_format vax_g_format;
- extern const struct real_format real_internal_format;
- extern const struct real_format decimal_single_format;
- extern const struct real_format decimal_double_format;
- extern const struct real_format decimal_quad_format;
- extern const struct real_format ieee_half_format;
- extern const struct real_format arm_half_format;
- #define REAL_ARITHMETIC(value, code, d1, d2) \
- real_arithmetic (&(value), code, &(d1), &(d2))
- #define REAL_VALUES_IDENTICAL(x, y) real_identical (&(x), &(y))
- #define REAL_VALUES_EQUAL(x, y) real_compare (EQ_EXPR, &(x), &(y))
- #define REAL_VALUES_LESS(x, y) real_compare (LT_EXPR, &(x), &(y))
- #define REAL_VALUE_ISINF(x) real_isinf (&(x))
- #define REAL_VALUE_ISNAN(x) real_isnan (&(x))
- #define REAL_VALUE_NEGATIVE(x) real_isneg (&(x))
- #define REAL_VALUE_MINUS_ZERO(x) real_isnegzero (&(x))
- #define REAL_VALUE_TO_TARGET_LONG_DOUBLE(IN, OUT) \
- real_to_target (OUT, &(IN), \
- mode_for_size (LONG_DOUBLE_TYPE_SIZE, MODE_FLOAT, 0))
- #define REAL_VALUE_TO_TARGET_DOUBLE(IN, OUT) \
- real_to_target (OUT, &(IN), mode_for_size (64, MODE_FLOAT, 0))
- #define REAL_VALUE_TO_TARGET_SINGLE(IN, OUT) \
- ((OUT) = real_to_target (NULL, &(IN), mode_for_size (32, MODE_FLOAT, 0)))
- #define REAL_VALUE_TO_TARGET_DECIMAL128(IN, OUT) \
- real_to_target (OUT, &(IN), mode_for_size (128, MODE_DECIMAL_FLOAT, 0))
- #define REAL_VALUE_TO_TARGET_DECIMAL64(IN, OUT) \
- real_to_target (OUT, &(IN), mode_for_size (64, MODE_DECIMAL_FLOAT, 0))
- #define REAL_VALUE_TO_TARGET_DECIMAL32(IN, OUT) \
- ((OUT) = real_to_target (NULL, &(IN), mode_for_size (32, MODE_DECIMAL_FLOAT, 0)))
- extern REAL_VALUE_TYPE real_value_truncate (machine_mode,
- REAL_VALUE_TYPE);
- extern REAL_VALUE_TYPE real_value_negate (const REAL_VALUE_TYPE *);
- extern REAL_VALUE_TYPE real_value_abs (const REAL_VALUE_TYPE *);
- extern int significand_size (machine_mode);
- extern REAL_VALUE_TYPE real_from_string2 (const char *, machine_mode);
- #define REAL_VALUE_ATOF(s, m) \
- real_from_string2 (s, m)
- #define CONST_DOUBLE_ATOF(s, m) \
- CONST_DOUBLE_FROM_REAL_VALUE (real_from_string2 (s, m), m)
- #define REAL_VALUE_FIX(r) \
- real_to_integer (&(r))
- #define REAL_VALUE_UNSIGNED_FIX(r) \
- real_to_integer (&(r))
- extern int real_exponent (const REAL_VALUE_TYPE *);
- extern void real_ldexp (REAL_VALUE_TYPE *, const REAL_VALUE_TYPE *, int);
- extern REAL_VALUE_TYPE dconst0;
- extern REAL_VALUE_TYPE dconst1;
- extern REAL_VALUE_TYPE dconst2;
- extern REAL_VALUE_TYPE dconstm1;
- extern REAL_VALUE_TYPE dconsthalf;
- #define dconst_e() (*dconst_e_ptr ())
- #define dconst_third() (*dconst_third_ptr ())
- #define dconst_sqrt2() (*dconst_sqrt2_ptr ())
- extern const REAL_VALUE_TYPE * dconst_e_ptr (void);
- extern const REAL_VALUE_TYPE * dconst_third_ptr (void);
- extern const REAL_VALUE_TYPE * dconst_sqrt2_ptr (void);
- REAL_VALUE_TYPE real_value_from_int_cst (const_tree, const_tree);
- #define REAL_VALUE_FROM_CONST_DOUBLE(to, from) \
- ((to) = *CONST_DOUBLE_REAL_VALUE (from))
- #define CONST_DOUBLE_FROM_REAL_VALUE(r, m) \
- const_double_from_real_value (r, m)
- extern rtx const_double_from_real_value (REAL_VALUE_TYPE, machine_mode);
- extern bool exact_real_inverse (machine_mode, REAL_VALUE_TYPE *);
- bool real_can_shorten_arithmetic (machine_mode, machine_mode);
- extern tree build_real (tree, REAL_VALUE_TYPE);
- extern bool real_powi (REAL_VALUE_TYPE *, machine_mode,
- const REAL_VALUE_TYPE *, HOST_WIDE_INT);
- extern void real_trunc (REAL_VALUE_TYPE *, machine_mode,
- const REAL_VALUE_TYPE *);
- extern void real_floor (REAL_VALUE_TYPE *, machine_mode,
- const REAL_VALUE_TYPE *);
- extern void real_ceil (REAL_VALUE_TYPE *, machine_mode,
- const REAL_VALUE_TYPE *);
- extern void real_round (REAL_VALUE_TYPE *, machine_mode,
- const REAL_VALUE_TYPE *);
- extern void real_copysign (REAL_VALUE_TYPE *, const REAL_VALUE_TYPE *);
- extern bool real_isinteger (const REAL_VALUE_TYPE *c, machine_mode mode);
- extern void get_max_float (const struct real_format *, char *, size_t);
- #ifndef GENERATOR_FILE
- extern wide_int real_to_integer (const REAL_VALUE_TYPE *, bool *, int);
- extern void real_from_integer (REAL_VALUE_TYPE *, machine_mode,
- const wide_int_ref &, signop);
- #endif
- #endif
|