gcc/ginclude/float.h

   1 /* Copyright (C) 2002-2021 Free Software Foundation, Inc.
   2
   3 This file is part of GCC.
   4
   5 GCC is free software; you can redistribute it and/or modify
   6 it under the terms of the GNU General Public License as published by
   7 the Free Software Foundation; either version 3, or (at your option)
   8 any later version.
   9
  10 GCC is distributed in the hope that it will be useful,
  11 but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 GNU General Public License for more details.
  14
  15 Under Section 7 of GPL version 3, you are granted additional
  16 permissions described in the GCC Runtime Library Exception, version
  17 3.1, as published by the Free Software Foundation.
  18
  19 You should have received a copy of the GNU General Public License and
  20 a copy of the GCC Runtime Library Exception along with this program;
  21 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  22 <http://www.gnu.org/licenses/>.  */
  23
  24 /*
  25  * ISO C Standard:  5.2.4.2.2  Characteristics of floating types <float.h>
  26  */
  27
  28 #ifndef _FLOAT_H___
  29 #define _FLOAT_H___
  30
  31 /* Radix of exponent representation, b. */
  32 #undef FLT_RADIX
  33 #define FLT_RADIX       __FLT_RADIX__
  34
  35 /* Number of base-FLT_RADIX digits in the significand, p.  */
  36 #undef FLT_MANT_DIG
  37 #undef DBL_MANT_DIG
  38 #undef LDBL_MANT_DIG
  39 #define FLT_MANT_DIG    __FLT_MANT_DIG__
  40 #define DBL_MANT_DIG    __DBL_MANT_DIG__
  41 #define LDBL_MANT_DIG   __LDBL_MANT_DIG__
  42
  43 /* Number of decimal digits, q, such that any floating-point number with q
  44    decimal digits can be rounded into a floating-point number with p radix b
  45    digits and back again without change to the q decimal digits,
  46
  47         p * log10(b)                    if b is a power of 10
  48         floor((p - 1) * log10(b))       otherwise
  49 */
  50 #undef FLT_DIG
  51 #undef DBL_DIG
  52 #undef LDBL_DIG
  53 #define FLT_DIG         __FLT_DIG__
  54 #define DBL_DIG         __DBL_DIG__
  55 #define LDBL_DIG        __LDBL_DIG__
  56
  57 /* Minimum int x such that FLT_RADIX**(x-1) is a normalized float, emin */
  58 #undef FLT_MIN_EXP
  59 #undef DBL_MIN_EXP
  60 #undef LDBL_MIN_EXP
  61 #define FLT_MIN_EXP     __FLT_MIN_EXP__
  62 #define DBL_MIN_EXP     __DBL_MIN_EXP__
  63 #define LDBL_MIN_EXP    __LDBL_MIN_EXP__
  64
  65 /* Minimum negative integer such that 10 raised to that power is in the
  66    range of normalized floating-point numbers,
  67
  68         ceil(log10(b) * (emin - 1))
  69 */
  70 #undef FLT_MIN_10_EXP
  71 #undef DBL_MIN_10_EXP
  72 #undef LDBL_MIN_10_EXP
  73 #define FLT_MIN_10_EXP  __FLT_MIN_10_EXP__
  74 #define DBL_MIN_10_EXP  __DBL_MIN_10_EXP__
  75 #define LDBL_MIN_10_EXP __LDBL_MIN_10_EXP__
  76
  77 /* Maximum int x such that FLT_RADIX**(x-1) is a representable float, emax.  */
  78 #undef FLT_MAX_EXP
  79 #undef DBL_MAX_EXP
  80 #undef LDBL_MAX_EXP
  81 #define FLT_MAX_EXP     __FLT_MAX_EXP__
  82 #define DBL_MAX_EXP     __DBL_MAX_EXP__
  83 #define LDBL_MAX_EXP    __LDBL_MAX_EXP__
  84
  85 /* Maximum integer such that 10 raised to that power is in the range of
  86    representable finite floating-point numbers,
  87
  88         floor(log10((1 - b**-p) * b**emax))
  89 */
  90 #undef FLT_MAX_10_EXP
  91 #undef DBL_MAX_10_EXP
  92 #undef LDBL_MAX_10_EXP
  93 #define FLT_MAX_10_EXP  __FLT_MAX_10_EXP__
  94 #define DBL_MAX_10_EXP  __DBL_MAX_10_EXP__
  95 #define LDBL_MAX_10_EXP __LDBL_MAX_10_EXP__
  96
  97 /* Maximum representable finite floating-point number,
  98
  99         (1 - b**-p) * b**emax
 100 */
 101 #undef FLT_MAX
 102 #undef DBL_MAX
 103 #undef LDBL_MAX
 104 #define FLT_MAX         __FLT_MAX__
 105 #define DBL_MAX         __DBL_MAX__
 106 #define LDBL_MAX        __LDBL_MAX__
 107
 108 /* The difference between 1 and the least value greater than 1 that is
 109    representable in the given floating point type, b**1-p.  */
 110 #undef FLT_EPSILON
 111 #undef DBL_EPSILON
 112 #undef LDBL_EPSILON
 113 #define FLT_EPSILON     __FLT_EPSILON__
 114 #define DBL_EPSILON     __DBL_EPSILON__
 115 #define LDBL_EPSILON    __LDBL_EPSILON__
 116
 117 /* Minimum normalized positive floating-point number, b**(emin - 1).  */
 118 #undef FLT_MIN
 119 #undef DBL_MIN
 120 #undef LDBL_MIN
 121 #define FLT_MIN         __FLT_MIN__
 122 #define DBL_MIN         __DBL_MIN__
 123 #define LDBL_MIN        __LDBL_MIN__
 124
 125 /* Addition rounds to 0: zero, 1: nearest, 2: +inf, 3: -inf, -1: unknown.  */
 126 /* ??? This is supposed to change with calls to fesetround in <fenv.h>.  */
 127 #undef FLT_ROUNDS
 128 #define FLT_ROUNDS 1
 129
 130 #if (defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L) \
 131      || (defined (__cplusplus) && __cplusplus >= 201103L)
 132 /* The floating-point expression evaluation method.  The precise
 133    definitions of these values are generalised to include support for
 134    the interchange and extended types defined in ISO/IEC TS 18661-3.
 135    Prior to this (for C99/C11) the definitions were:
 136
 137         -1  indeterminate
 138          0  evaluate all operations and constants just to the range and
 139             precision of the type
 140          1  evaluate operations and constants of type float and double
 141             to the range and precision of the double type, evaluate
 142             long double operations and constants to the range and
 143             precision of the long double type
 144          2  evaluate all operations and constants to the range and
 145             precision of the long double type
 146
 147    The TS 18661-3 definitions are:
 148
 149         -1  indeterminate
 150          0  evaluate all operations and constants, whose semantic type has
 151             at most the range and precision of float, to the range and
 152             precision of float; evaluate all other operations and constants
 153             to the range and precision of the semantic type.
 154          1  evaluate all operations and constants, whose semantic type has
 155             at most the range and precision of double, to the range and
 156             precision of double; evaluate all other operations and constants
 157             to the range and precision of the semantic type.
 158          2  evaluate all operations and constants, whose semantic type has
 159             at most the range and precision of long double, to the range and
 160             precision of long double; evaluate all other operations and
 161             constants to the range and precision of the semantic type.
 162          N  where _FloatN  is a supported interchange floating type
 163             evaluate all operations and constants, whose semantic type has
 164             at most the range and precision of the _FloatN type, to the
 165             range and precision of the _FloatN type; evaluate all other
 166             operations and constants to the range and precision of the
 167             semantic type.
 168          N + 1, where _FloatNx is a supported extended floating type
 169             evaluate operations and constants, whose semantic type has at
 170             most the range and precision of the _FloatNx type, to the range
 171             and precision of the _FloatNx type; evaluate all other
 172             operations and constants to the range and precision of the
 173             semantic type.
 174
 175    The compiler predefines two macros:
 176
 177       __FLT_EVAL_METHOD__
 178       Which, depending on the value given for
 179       -fpermitted-flt-eval-methods, may be limited to only those values
 180       for FLT_EVAL_METHOD defined in C99/C11.
 181
 182      __FLT_EVAL_METHOD_TS_18661_3__
 183       Which always permits the values for FLT_EVAL_METHOD defined in
 184       ISO/IEC TS 18661-3.
 185
 186      Here we want to use __FLT_EVAL_METHOD__, unless
 187      __STDC_WANT_IEC_60559_TYPES_EXT__ is defined, in which case the user
 188      is specifically asking for the ISO/IEC TS 18661-3 types, so we use
 189      __FLT_EVAL_METHOD_TS_18661_3__.
 190
 191    ??? This ought to change with the setting of the fp control word;
 192    the value provided by the compiler assumes the widest setting.  */
 193 #undef FLT_EVAL_METHOD
 194 #ifdef __STDC_WANT_IEC_60559_TYPES_EXT__
 195 #define FLT_EVAL_METHOD __FLT_EVAL_METHOD_TS_18661_3__
 196 #else
 197 #define FLT_EVAL_METHOD __FLT_EVAL_METHOD__
 198 #endif
 199
 200 /* Number of decimal digits, n, such that any floating-point number in the
 201    widest supported floating type with pmax radix b digits can be rounded
 202    to a floating-point number with n decimal digits and back again without
 203    change to the value,
 204
 205         pmax * log10(b)                 if b is a power of 10
 206         ceil(1 + pmax * log10(b))       otherwise
 207 */
 208 #undef DECIMAL_DIG
 209 #define DECIMAL_DIG     __DECIMAL_DIG__
 210
 211 #endif /* C99 */
 212
 213 #if (defined (__STDC_VERSION__) && __STDC_VERSION__ >= 201112L) \
 214      || (defined (__cplusplus) && __cplusplus >= 201703L)
 215 /* Versions of DECIMAL_DIG for each floating-point type.  */
 216 #undef FLT_DECIMAL_DIG
 217 #undef DBL_DECIMAL_DIG
 218 #undef LDBL_DECIMAL_DIG
 219 #define FLT_DECIMAL_DIG         __FLT_DECIMAL_DIG__
 220 #define DBL_DECIMAL_DIG         __DBL_DECIMAL_DIG__
 221 #define LDBL_DECIMAL_DIG        __LDBL_DECIMAL_DIG__
 222
 223 /* Whether types support subnormal numbers.  */
 224 #undef FLT_HAS_SUBNORM
 225 #undef DBL_HAS_SUBNORM
 226 #undef LDBL_HAS_SUBNORM
 227 #define FLT_HAS_SUBNORM         __FLT_HAS_DENORM__
 228 #define DBL_HAS_SUBNORM         __DBL_HAS_DENORM__
 229 #define LDBL_HAS_SUBNORM        __LDBL_HAS_DENORM__
 230
 231 /* Minimum positive values, including subnormals.  */
 232 #undef FLT_TRUE_MIN
 233 #undef DBL_TRUE_MIN
 234 #undef LDBL_TRUE_MIN
 235 #define FLT_TRUE_MIN    __FLT_DENORM_MIN__
 236 #define DBL_TRUE_MIN    __DBL_DENORM_MIN__
 237 #define LDBL_TRUE_MIN   __LDBL_DENORM_MIN__
 238
 239 #endif /* C11 */
 240
 241 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 242 /* Maximum finite positive value with MANT_DIG digits in the
 243    significand taking their maximum value.  */
 244 #undef FLT_NORM_MAX
 245 #undef DBL_NORM_MAX
 246 #undef LDBL_NORM_MAX
 247 #define FLT_NORM_MAX    __FLT_NORM_MAX__
 248 #define DBL_NORM_MAX    __DBL_NORM_MAX__
 249 #define LDBL_NORM_MAX   __LDBL_NORM_MAX__
 250
 251 /* Whether each type matches an IEC 60559 format (1 for format, 2 for
 252    format and operations).  */
 253 #undef FLT_IS_IEC_60559
 254 #undef DBL_IS_IEC_60559
 255 #undef LDBL_IS_IEC_60559
 256 #define FLT_IS_IEC_60559        __FLT_IS_IEC_60559__
 257 #define DBL_IS_IEC_60559        __DBL_IS_IEC_60559__
 258 #define LDBL_IS_IEC_60559       __LDBL_IS_IEC_60559__
 259
 260 /* Infinity in type float, or overflow if infinity not supported.  */
 261 #undef INFINITY
 262 #define INFINITY        (__builtin_inff ())
 263
 264 /* Quiet NaN, if supported for float.  */
 265 #if __FLT_HAS_QUIET_NAN__
 266 #undef NAN
 267 #define NAN             (__builtin_nanf (""))
 268 #endif
 269
 270 /* Signaling NaN, if supported for each type.  All formats supported
 271    by GCC support either both quiet and signaling NaNs, or neither
 272    kind of NaN.  */
 273 #if __FLT_HAS_QUIET_NAN__
 274 #undef FLT_SNAN
 275 #define FLT_SNAN        (__builtin_nansf (""))
 276 #endif
 277 #if __DBL_HAS_QUIET_NAN__
 278 #undef DBL_SNAN
 279 #define DBL_SNAN        (__builtin_nans (""))
 280 #endif
 281 #if __LDBL_HAS_QUIET_NAN__
 282 #undef LDBL_SNAN
 283 #define LDBL_SNAN       (__builtin_nansl (""))
 284 #endif
 285
 286 #endif /* C2X */
 287
 288 #if (defined __STDC_WANT_IEC_60559_BFP_EXT__ \
 289      || defined __STDC_WANT_IEC_60559_EXT__)
 290 /* Number of decimal digits for which conversions between decimal
 291    character strings and binary formats, in both directions, are
 292    correctly rounded.  */
 293 #define CR_DECIMAL_DIG  __UINTMAX_MAX__
 294 #endif
 295
 296 #ifdef __STDC_WANT_IEC_60559_TYPES_EXT__
 297 /* Constants for _FloatN and _FloatNx types from TS 18661-3.  See
 298    comments above for their semantics.  */
 299
 300 #ifdef __FLT16_MANT_DIG__
 301 #undef FLT16_MANT_DIG
 302 #define FLT16_MANT_DIG          __FLT16_MANT_DIG__
 303 #undef FLT16_DIG
 304 #define FLT16_DIG               __FLT16_DIG__
 305 #undef FLT16_MIN_EXP
 306 #define FLT16_MIN_EXP           __FLT16_MIN_EXP__
 307 #undef FLT16_MIN_10_EXP
 308 #define FLT16_MIN_10_EXP        __FLT16_MIN_10_EXP__
 309 #undef FLT16_MAX_EXP
 310 #define FLT16_MAX_EXP           __FLT16_MAX_EXP__
 311 #undef FLT16_MAX_10_EXP
 312 #define FLT16_MAX_10_EXP        __FLT16_MAX_10_EXP__
 313 #undef FLT16_MAX
 314 #define FLT16_MAX               __FLT16_MAX__
 315 #undef FLT16_EPSILON
 316 #define FLT16_EPSILON           __FLT16_EPSILON__
 317 #undef FLT16_MIN
 318 #define FLT16_MIN               __FLT16_MIN__
 319 #undef FLT16_DECIMAL_DIG
 320 #define FLT16_DECIMAL_DIG       __FLT16_DECIMAL_DIG__
 321 #undef FLT16_TRUE_MIN
 322 #define FLT16_TRUE_MIN          __FLT16_DENORM_MIN__
 323 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 324 #undef FLT16_SNAN
 325 #define FLT16_SNAN      (__builtin_nansf16 (""))
 326 #endif /* C2X */
 327 #endif /* __FLT16_MANT_DIG__.  */
 328
 329 #ifdef __FLT32_MANT_DIG__
 330 #undef FLT32_MANT_DIG
 331 #define FLT32_MANT_DIG          __FLT32_MANT_DIG__
 332 #undef FLT32_DIG
 333 #define FLT32_DIG               __FLT32_DIG__
 334 #undef FLT32_MIN_EXP
 335 #define FLT32_MIN_EXP           __FLT32_MIN_EXP__
 336 #undef FLT32_MIN_10_EXP
 337 #define FLT32_MIN_10_EXP        __FLT32_MIN_10_EXP__
 338 #undef FLT32_MAX_EXP
 339 #define FLT32_MAX_EXP           __FLT32_MAX_EXP__
 340 #undef FLT32_MAX_10_EXP
 341 #define FLT32_MAX_10_EXP        __FLT32_MAX_10_EXP__
 342 #undef FLT32_MAX
 343 #define FLT32_MAX               __FLT32_MAX__
 344 #undef FLT32_EPSILON
 345 #define FLT32_EPSILON           __FLT32_EPSILON__
 346 #undef FLT32_MIN
 347 #define FLT32_MIN               __FLT32_MIN__
 348 #undef FLT32_DECIMAL_DIG
 349 #define FLT32_DECIMAL_DIG       __FLT32_DECIMAL_DIG__
 350 #undef FLT32_TRUE_MIN
 351 #define FLT32_TRUE_MIN          __FLT32_DENORM_MIN__
 352 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 353 #undef FLT32_SNAN
 354 #define FLT32_SNAN      (__builtin_nansf32 (""))
 355 #endif /* C2X */
 356 #endif /* __FLT32_MANT_DIG__.  */
 357
 358 #ifdef __FLT64_MANT_DIG__
 359 #undef FLT64_MANT_DIG
 360 #define FLT64_MANT_DIG          __FLT64_MANT_DIG__
 361 #undef FLT64_DIG
 362 #define FLT64_DIG               __FLT64_DIG__
 363 #undef FLT64_MIN_EXP
 364 #define FLT64_MIN_EXP           __FLT64_MIN_EXP__
 365 #undef FLT64_MIN_10_EXP
 366 #define FLT64_MIN_10_EXP        __FLT64_MIN_10_EXP__
 367 #undef FLT64_MAX_EXP
 368 #define FLT64_MAX_EXP           __FLT64_MAX_EXP__
 369 #undef FLT64_MAX_10_EXP
 370 #define FLT64_MAX_10_EXP        __FLT64_MAX_10_EXP__
 371 #undef FLT64_MAX
 372 #define FLT64_MAX               __FLT64_MAX__
 373 #undef FLT64_EPSILON
 374 #define FLT64_EPSILON           __FLT64_EPSILON__
 375 #undef FLT64_MIN
 376 #define FLT64_MIN               __FLT64_MIN__
 377 #undef FLT64_DECIMAL_DIG
 378 #define FLT64_DECIMAL_DIG       __FLT64_DECIMAL_DIG__
 379 #undef FLT64_TRUE_MIN
 380 #define FLT64_TRUE_MIN          __FLT64_DENORM_MIN__
 381 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 382 #undef FLT64_SNAN
 383 #define FLT64_SNAN      (__builtin_nansf64 (""))
 384 #endif /* C2X */
 385 #endif /* __FLT64_MANT_DIG__.  */
 386
 387 #ifdef __FLT128_MANT_DIG__
 388 #undef FLT128_MANT_DIG
 389 #define FLT128_MANT_DIG         __FLT128_MANT_DIG__
 390 #undef FLT128_DIG
 391 #define FLT128_DIG              __FLT128_DIG__
 392 #undef FLT128_MIN_EXP
 393 #define FLT128_MIN_EXP          __FLT128_MIN_EXP__
 394 #undef FLT128_MIN_10_EXP
 395 #define FLT128_MIN_10_EXP       __FLT128_MIN_10_EXP__
 396 #undef FLT128_MAX_EXP
 397 #define FLT128_MAX_EXP          __FLT128_MAX_EXP__
 398 #undef FLT128_MAX_10_EXP
 399 #define FLT128_MAX_10_EXP       __FLT128_MAX_10_EXP__
 400 #undef FLT128_MAX
 401 #define FLT128_MAX              __FLT128_MAX__
 402 #undef FLT128_EPSILON
 403 #define FLT128_EPSILON          __FLT128_EPSILON__
 404 #undef FLT128_MIN
 405 #define FLT128_MIN              __FLT128_MIN__
 406 #undef FLT128_DECIMAL_DIG
 407 #define FLT128_DECIMAL_DIG      __FLT128_DECIMAL_DIG__
 408 #undef FLT128_TRUE_MIN
 409 #define FLT128_TRUE_MIN         __FLT128_DENORM_MIN__
 410 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 411 #undef FLT128_SNAN
 412 #define FLT128_SNAN     (__builtin_nansf128 (""))
 413 #endif /* C2X */
 414 #endif /* __FLT128_MANT_DIG__.  */
 415
 416 #ifdef __FLT32X_MANT_DIG__
 417 #undef FLT32X_MANT_DIG
 418 #define FLT32X_MANT_DIG         __FLT32X_MANT_DIG__
 419 #undef FLT32X_DIG
 420 #define FLT32X_DIG              __FLT32X_DIG__
 421 #undef FLT32X_MIN_EXP
 422 #define FLT32X_MIN_EXP          __FLT32X_MIN_EXP__
 423 #undef FLT32X_MIN_10_EXP
 424 #define FLT32X_MIN_10_EXP       __FLT32X_MIN_10_EXP__
 425 #undef FLT32X_MAX_EXP
 426 #define FLT32X_MAX_EXP          __FLT32X_MAX_EXP__
 427 #undef FLT32X_MAX_10_EXP
 428 #define FLT32X_MAX_10_EXP       __FLT32X_MAX_10_EXP__
 429 #undef FLT32X_MAX
 430 #define FLT32X_MAX              __FLT32X_MAX__
 431 #undef FLT32X_EPSILON
 432 #define FLT32X_EPSILON          __FLT32X_EPSILON__
 433 #undef FLT32X_MIN
 434 #define FLT32X_MIN              __FLT32X_MIN__
 435 #undef FLT32X_DECIMAL_DIG
 436 #define FLT32X_DECIMAL_DIG      __FLT32X_DECIMAL_DIG__
 437 #undef FLT32X_TRUE_MIN
 438 #define FLT32X_TRUE_MIN         __FLT32X_DENORM_MIN__
 439 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 440 #undef FLT32X_SNAN
 441 #define FLT32X_SNAN     (__builtin_nansf32x (""))
 442 #endif /* C2X */
 443 #endif /* __FLT32X_MANT_DIG__.  */
 444
 445 #ifdef __FLT64X_MANT_DIG__
 446 #undef FLT64X_MANT_DIG
 447 #define FLT64X_MANT_DIG         __FLT64X_MANT_DIG__
 448 #undef FLT64X_DIG
 449 #define FLT64X_DIG              __FLT64X_DIG__
 450 #undef FLT64X_MIN_EXP
 451 #define FLT64X_MIN_EXP          __FLT64X_MIN_EXP__
 452 #undef FLT64X_MIN_10_EXP
 453 #define FLT64X_MIN_10_EXP       __FLT64X_MIN_10_EXP__
 454 #undef FLT64X_MAX_EXP
 455 #define FLT64X_MAX_EXP          __FLT64X_MAX_EXP__
 456 #undef FLT64X_MAX_10_EXP
 457 #define FLT64X_MAX_10_EXP       __FLT64X_MAX_10_EXP__
 458 #undef FLT64X_MAX
 459 #define FLT64X_MAX              __FLT64X_MAX__
 460 #undef FLT64X_EPSILON
 461 #define FLT64X_EPSILON          __FLT64X_EPSILON__
 462 #undef FLT64X_MIN
 463 #define FLT64X_MIN              __FLT64X_MIN__
 464 #undef FLT64X_DECIMAL_DIG
 465 #define FLT64X_DECIMAL_DIG      __FLT64X_DECIMAL_DIG__
 466 #undef FLT64X_TRUE_MIN
 467 #define FLT64X_TRUE_MIN         __FLT64X_DENORM_MIN__
 468 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 469 #undef FLT64X_SNAN
 470 #define FLT64X_SNAN     (__builtin_nansf64x (""))
 471 #endif /* C2X */
 472 #endif /* __FLT64X_MANT_DIG__.  */
 473
 474 #ifdef __FLT128X_MANT_DIG__
 475 #undef FLT128X_MANT_DIG
 476 #define FLT128X_MANT_DIG        __FLT128X_MANT_DIG__
 477 #undef FLT128X_DIG
 478 #define FLT128X_DIG             __FLT128X_DIG__
 479 #undef FLT128X_MIN_EXP
 480 #define FLT128X_MIN_EXP         __FLT128X_MIN_EXP__
 481 #undef FLT128X_MIN_10_EXP
 482 #define FLT128X_MIN_10_EXP      __FLT128X_MIN_10_EXP__
 483 #undef FLT128X_MAX_EXP
 484 #define FLT128X_MAX_EXP         __FLT128X_MAX_EXP__
 485 #undef FLT128X_MAX_10_EXP
 486 #define FLT128X_MAX_10_EXP      __FLT128X_MAX_10_EXP__
 487 #undef FLT128X_MAX
 488 #define FLT128X_MAX             __FLT128X_MAX__
 489 #undef FLT128X_EPSILON
 490 #define FLT128X_EPSILON         __FLT128X_EPSILON__
 491 #undef FLT128X_MIN
 492 #define FLT128X_MIN             __FLT128X_MIN__
 493 #undef FLT128X_DECIMAL_DIG
 494 #define FLT128X_DECIMAL_DIG     __FLT128X_DECIMAL_DIG__
 495 #undef FLT128X_TRUE_MIN
 496 #define FLT128X_TRUE_MIN        __FLT128X_DENORM_MIN__
 497 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 498 #undef FLT128X_SNAN
 499 #define FLT128X_SNAN    (__builtin_nansf128x (""))
 500 #endif /* C2X */
 501 #endif /* __FLT128X_MANT_DIG__.  */
 502
 503 #endif /* __STDC_WANT_IEC_60559_TYPES_EXT__.  */
 504
 505 #ifdef __DEC32_MANT_DIG__
 506 #if (defined __STDC_WANT_DEC_FP__ \
 507      || defined __STDC_WANT_IEC_60559_DFP_EXT__ \
 508      || (defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L))
 509 /* C2X; formerly Technical Report 24732, extension for decimal
 510    floating-point arithmetic: Characteristic of decimal floating types
 511    <float.h>, and TS 18661-2.  */
 512
 513 /* Number of base-FLT_RADIX digits in the significand, p.  */
 514 #undef DEC32_MANT_DIG
 515 #undef DEC64_MANT_DIG
 516 #undef DEC128_MANT_DIG
 517 #define DEC32_MANT_DIG  __DEC32_MANT_DIG__
 518 #define DEC64_MANT_DIG  __DEC64_MANT_DIG__
 519 #define DEC128_MANT_DIG __DEC128_MANT_DIG__
 520
 521 /* Minimum exponent. */
 522 #undef DEC32_MIN_EXP
 523 #undef DEC64_MIN_EXP
 524 #undef DEC128_MIN_EXP
 525 #define DEC32_MIN_EXP   __DEC32_MIN_EXP__
 526 #define DEC64_MIN_EXP   __DEC64_MIN_EXP__
 527 #define DEC128_MIN_EXP  __DEC128_MIN_EXP__
 528
 529 /* Maximum exponent. */
 530 #undef DEC32_MAX_EXP
 531 #undef DEC64_MAX_EXP
 532 #undef DEC128_MAX_EXP
 533 #define DEC32_MAX_EXP   __DEC32_MAX_EXP__
 534 #define DEC64_MAX_EXP   __DEC64_MAX_EXP__
 535 #define DEC128_MAX_EXP  __DEC128_MAX_EXP__
 536
 537 /* Maximum representable finite decimal floating-point number
 538    (there are 6, 15, and 33 9s after the decimal points respectively). */
 539 #undef DEC32_MAX
 540 #undef DEC64_MAX
 541 #undef DEC128_MAX
 542 #define DEC32_MAX   __DEC32_MAX__
 543 #define DEC64_MAX   __DEC64_MAX__
 544 #define DEC128_MAX  __DEC128_MAX__
 545
 546 /* The difference between 1 and the least value greater than 1 that is
 547    representable in the given floating point type. */
 548 #undef DEC32_EPSILON
 549 #undef DEC64_EPSILON
 550 #undef DEC128_EPSILON
 551 #define DEC32_EPSILON   __DEC32_EPSILON__
 552 #define DEC64_EPSILON   __DEC64_EPSILON__
 553 #define DEC128_EPSILON  __DEC128_EPSILON__
 554
 555 /* Minimum normalized positive floating-point number. */
 556 #undef DEC32_MIN
 557 #undef DEC64_MIN
 558 #undef DEC128_MIN
 559 #define DEC32_MIN       __DEC32_MIN__
 560 #define DEC64_MIN       __DEC64_MIN__
 561 #define DEC128_MIN      __DEC128_MIN__
 562
 563 /* The floating-point expression evaluation method.
 564          -1  indeterminate
 565          0  evaluate all operations and constants just to the range and
 566             precision of the type
 567          1  evaluate operations and constants of type _Decimal32
 568             and _Decimal64 to the range and precision of the _Decimal64
 569             type, evaluate _Decimal128 operations and constants to the
 570             range and precision of the _Decimal128 type;
 571          2  evaluate all operations and constants to the range and
 572             precision of the _Decimal128 type.  */
 573
 574 #undef DEC_EVAL_METHOD
 575 #define DEC_EVAL_METHOD __DEC_EVAL_METHOD__
 576
 577 #endif /* __STDC_WANT_DEC_FP__ || __STDC_WANT_IEC_60559_DFP_EXT__ || C2X.  */
 578
 579 #ifdef __STDC_WANT_DEC_FP__
 580
 581 /* Minimum subnormal positive floating-point number. */
 582 #undef DEC32_SUBNORMAL_MIN
 583 #undef DEC64_SUBNORMAL_MIN
 584 #undef DEC128_SUBNORMAL_MIN
 585 #define DEC32_SUBNORMAL_MIN       __DEC32_SUBNORMAL_MIN__
 586 #define DEC64_SUBNORMAL_MIN       __DEC64_SUBNORMAL_MIN__
 587 #define DEC128_SUBNORMAL_MIN      __DEC128_SUBNORMAL_MIN__
 588
 589 #endif /* __STDC_WANT_DEC_FP__.  */
 590
 591 #if (defined __STDC_WANT_IEC_60559_DFP_EXT__ \
 592      || (defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L))
 593
 594 /* Minimum subnormal positive floating-point number. */
 595 #undef DEC32_TRUE_MIN
 596 #undef DEC64_TRUE_MIN
 597 #undef DEC128_TRUE_MIN
 598 #define DEC32_TRUE_MIN       __DEC32_SUBNORMAL_MIN__
 599 #define DEC64_TRUE_MIN       __DEC64_SUBNORMAL_MIN__
 600 #define DEC128_TRUE_MIN      __DEC128_SUBNORMAL_MIN__
 601
 602 #endif /* __STDC_WANT_IEC_60559_DFP_EXT__ || C2X.  */
 603
 604 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 605
 606 /* Infinity in type _Decimal32.  */
 607 #undef DEC_INFINITY
 608 #define DEC_INFINITY    (__builtin_infd32 ())
 609
 610 /* Quiet NaN in type _Decimal32.  */
 611 #undef DEC_NAN
 612 #define DEC_NAN         (__builtin_nand32 (""))
 613
 614 /* Signaling NaN in each decimal floating-point type.  */
 615 #undef DEC32_SNAN
 616 #define DEC32_SNAN      (__builtin_nansd32 (""))
 617 #undef DEC64_SNAN
 618 #define DEC64_SNAN      (__builtin_nansd64 (""))
 619 #undef DEC128_SNAN
 620 #define DEC128_SNAN     (__builtin_nansd128 (""))
 621
 622 #endif /* C2X */
 623
 624 #endif /* __DEC32_MANT_DIG__ */
 625
 626 #endif /* _FLOAT_H___ */