gcc/ginclude/float.h

   1 /* Copyright (C) 2002-2023 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.  */
 252 #undef FLT_IS_IEC_60559
 253 #undef DBL_IS_IEC_60559
 254 #undef LDBL_IS_IEC_60559
 255 #define FLT_IS_IEC_60559        __FLT_IS_IEC_60559__
 256 #define DBL_IS_IEC_60559        __DBL_IS_IEC_60559__
 257 #define LDBL_IS_IEC_60559       __LDBL_IS_IEC_60559__
 258
 259 /* Infinity in type float; not defined if infinity not supported.  */
 260 #if __FLT_HAS_INFINITY__
 261 #undef INFINITY
 262 #define INFINITY        (__builtin_inff ())
 263 #endif
 264
 265 /* Quiet NaN, if supported for float.  */
 266 #if __FLT_HAS_QUIET_NAN__
 267 #undef NAN
 268 #define NAN             (__builtin_nanf (""))
 269 #endif
 270
 271 /* Signaling NaN, if supported for each type.  All formats supported
 272    by GCC support either both quiet and signaling NaNs, or neither
 273    kind of NaN.  */
 274 #if __FLT_HAS_QUIET_NAN__
 275 #undef FLT_SNAN
 276 #define FLT_SNAN        (__builtin_nansf (""))
 277 #endif
 278 #if __DBL_HAS_QUIET_NAN__
 279 #undef DBL_SNAN
 280 #define DBL_SNAN        (__builtin_nans (""))
 281 #endif
 282 #if __LDBL_HAS_QUIET_NAN__
 283 #undef LDBL_SNAN
 284 #define LDBL_SNAN       (__builtin_nansl (""))
 285 #endif
 286
 287 #endif /* C23 */
 288
 289 #if (defined __STDC_WANT_IEC_60559_BFP_EXT__ \
 290      || defined __STDC_WANT_IEC_60559_EXT__)
 291 /* Number of decimal digits for which conversions between decimal
 292    character strings and binary formats, in both directions, are
 293    correctly rounded.  */
 294 #define CR_DECIMAL_DIG  __UINTMAX_MAX__
 295 #endif
 296
 297 #ifdef __STDC_WANT_IEC_60559_TYPES_EXT__
 298 /* Constants for _FloatN and _FloatNx types from TS 18661-3.  See
 299    comments above for their semantics.  */
 300
 301 #ifdef __FLT16_MANT_DIG__
 302 #undef FLT16_MANT_DIG
 303 #define FLT16_MANT_DIG          __FLT16_MANT_DIG__
 304 #undef FLT16_DIG
 305 #define FLT16_DIG               __FLT16_DIG__
 306 #undef FLT16_MIN_EXP
 307 #define FLT16_MIN_EXP           __FLT16_MIN_EXP__
 308 #undef FLT16_MIN_10_EXP
 309 #define FLT16_MIN_10_EXP        __FLT16_MIN_10_EXP__
 310 #undef FLT16_MAX_EXP
 311 #define FLT16_MAX_EXP           __FLT16_MAX_EXP__
 312 #undef FLT16_MAX_10_EXP
 313 #define FLT16_MAX_10_EXP        __FLT16_MAX_10_EXP__
 314 #undef FLT16_MAX
 315 #define FLT16_MAX               __FLT16_MAX__
 316 #undef FLT16_EPSILON
 317 #define FLT16_EPSILON           __FLT16_EPSILON__
 318 #undef FLT16_MIN
 319 #define FLT16_MIN               __FLT16_MIN__
 320 #undef FLT16_DECIMAL_DIG
 321 #define FLT16_DECIMAL_DIG       __FLT16_DECIMAL_DIG__
 322 #undef FLT16_TRUE_MIN
 323 #define FLT16_TRUE_MIN          __FLT16_DENORM_MIN__
 324 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 325 #undef FLT16_SNAN
 326 #define FLT16_SNAN      (__builtin_nansf16 (""))
 327 #endif /* C23 */
 328 #endif /* __FLT16_MANT_DIG__.  */
 329
 330 #ifdef __FLT32_MANT_DIG__
 331 #undef FLT32_MANT_DIG
 332 #define FLT32_MANT_DIG          __FLT32_MANT_DIG__
 333 #undef FLT32_DIG
 334 #define FLT32_DIG               __FLT32_DIG__
 335 #undef FLT32_MIN_EXP
 336 #define FLT32_MIN_EXP           __FLT32_MIN_EXP__
 337 #undef FLT32_MIN_10_EXP
 338 #define FLT32_MIN_10_EXP        __FLT32_MIN_10_EXP__
 339 #undef FLT32_MAX_EXP
 340 #define FLT32_MAX_EXP           __FLT32_MAX_EXP__
 341 #undef FLT32_MAX_10_EXP
 342 #define FLT32_MAX_10_EXP        __FLT32_MAX_10_EXP__
 343 #undef FLT32_MAX
 344 #define FLT32_MAX               __FLT32_MAX__
 345 #undef FLT32_EPSILON
 346 #define FLT32_EPSILON           __FLT32_EPSILON__
 347 #undef FLT32_MIN
 348 #define FLT32_MIN               __FLT32_MIN__
 349 #undef FLT32_DECIMAL_DIG
 350 #define FLT32_DECIMAL_DIG       __FLT32_DECIMAL_DIG__
 351 #undef FLT32_TRUE_MIN
 352 #define FLT32_TRUE_MIN          __FLT32_DENORM_MIN__
 353 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 354 #undef FLT32_SNAN
 355 #define FLT32_SNAN      (__builtin_nansf32 (""))
 356 #endif /* C23 */
 357 #endif /* __FLT32_MANT_DIG__.  */
 358
 359 #ifdef __FLT64_MANT_DIG__
 360 #undef FLT64_MANT_DIG
 361 #define FLT64_MANT_DIG          __FLT64_MANT_DIG__
 362 #undef FLT64_DIG
 363 #define FLT64_DIG               __FLT64_DIG__
 364 #undef FLT64_MIN_EXP
 365 #define FLT64_MIN_EXP           __FLT64_MIN_EXP__
 366 #undef FLT64_MIN_10_EXP
 367 #define FLT64_MIN_10_EXP        __FLT64_MIN_10_EXP__
 368 #undef FLT64_MAX_EXP
 369 #define FLT64_MAX_EXP           __FLT64_MAX_EXP__
 370 #undef FLT64_MAX_10_EXP
 371 #define FLT64_MAX_10_EXP        __FLT64_MAX_10_EXP__
 372 #undef FLT64_MAX
 373 #define FLT64_MAX               __FLT64_MAX__
 374 #undef FLT64_EPSILON
 375 #define FLT64_EPSILON           __FLT64_EPSILON__
 376 #undef FLT64_MIN
 377 #define FLT64_MIN               __FLT64_MIN__
 378 #undef FLT64_DECIMAL_DIG
 379 #define FLT64_DECIMAL_DIG       __FLT64_DECIMAL_DIG__
 380 #undef FLT64_TRUE_MIN
 381 #define FLT64_TRUE_MIN          __FLT64_DENORM_MIN__
 382 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 383 #undef FLT64_SNAN
 384 #define FLT64_SNAN      (__builtin_nansf64 (""))
 385 #endif /* C23 */
 386 #endif /* __FLT64_MANT_DIG__.  */
 387
 388 #ifdef __FLT128_MANT_DIG__
 389 #undef FLT128_MANT_DIG
 390 #define FLT128_MANT_DIG         __FLT128_MANT_DIG__
 391 #undef FLT128_DIG
 392 #define FLT128_DIG              __FLT128_DIG__
 393 #undef FLT128_MIN_EXP
 394 #define FLT128_MIN_EXP          __FLT128_MIN_EXP__
 395 #undef FLT128_MIN_10_EXP
 396 #define FLT128_MIN_10_EXP       __FLT128_MIN_10_EXP__
 397 #undef FLT128_MAX_EXP
 398 #define FLT128_MAX_EXP          __FLT128_MAX_EXP__
 399 #undef FLT128_MAX_10_EXP
 400 #define FLT128_MAX_10_EXP       __FLT128_MAX_10_EXP__
 401 #undef FLT128_MAX
 402 #define FLT128_MAX              __FLT128_MAX__
 403 #undef FLT128_EPSILON
 404 #define FLT128_EPSILON          __FLT128_EPSILON__
 405 #undef FLT128_MIN
 406 #define FLT128_MIN              __FLT128_MIN__
 407 #undef FLT128_DECIMAL_DIG
 408 #define FLT128_DECIMAL_DIG      __FLT128_DECIMAL_DIG__
 409 #undef FLT128_TRUE_MIN
 410 #define FLT128_TRUE_MIN         __FLT128_DENORM_MIN__
 411 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 412 #undef FLT128_SNAN
 413 #define FLT128_SNAN     (__builtin_nansf128 (""))
 414 #endif /* C23 */
 415 #endif /* __FLT128_MANT_DIG__.  */
 416
 417 #ifdef __FLT32X_MANT_DIG__
 418 #undef FLT32X_MANT_DIG
 419 #define FLT32X_MANT_DIG         __FLT32X_MANT_DIG__
 420 #undef FLT32X_DIG
 421 #define FLT32X_DIG              __FLT32X_DIG__
 422 #undef FLT32X_MIN_EXP
 423 #define FLT32X_MIN_EXP          __FLT32X_MIN_EXP__
 424 #undef FLT32X_MIN_10_EXP
 425 #define FLT32X_MIN_10_EXP       __FLT32X_MIN_10_EXP__
 426 #undef FLT32X_MAX_EXP
 427 #define FLT32X_MAX_EXP          __FLT32X_MAX_EXP__
 428 #undef FLT32X_MAX_10_EXP
 429 #define FLT32X_MAX_10_EXP       __FLT32X_MAX_10_EXP__
 430 #undef FLT32X_MAX
 431 #define FLT32X_MAX              __FLT32X_MAX__
 432 #undef FLT32X_EPSILON
 433 #define FLT32X_EPSILON          __FLT32X_EPSILON__
 434 #undef FLT32X_MIN
 435 #define FLT32X_MIN              __FLT32X_MIN__
 436 #undef FLT32X_DECIMAL_DIG
 437 #define FLT32X_DECIMAL_DIG      __FLT32X_DECIMAL_DIG__
 438 #undef FLT32X_TRUE_MIN
 439 #define FLT32X_TRUE_MIN         __FLT32X_DENORM_MIN__
 440 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 441 #undef FLT32X_SNAN
 442 #define FLT32X_SNAN     (__builtin_nansf32x (""))
 443 #endif /* C23 */
 444 #endif /* __FLT32X_MANT_DIG__.  */
 445
 446 #ifdef __FLT64X_MANT_DIG__
 447 #undef FLT64X_MANT_DIG
 448 #define FLT64X_MANT_DIG         __FLT64X_MANT_DIG__
 449 #undef FLT64X_DIG
 450 #define FLT64X_DIG              __FLT64X_DIG__
 451 #undef FLT64X_MIN_EXP
 452 #define FLT64X_MIN_EXP          __FLT64X_MIN_EXP__
 453 #undef FLT64X_MIN_10_EXP
 454 #define FLT64X_MIN_10_EXP       __FLT64X_MIN_10_EXP__
 455 #undef FLT64X_MAX_EXP
 456 #define FLT64X_MAX_EXP          __FLT64X_MAX_EXP__
 457 #undef FLT64X_MAX_10_EXP
 458 #define FLT64X_MAX_10_EXP       __FLT64X_MAX_10_EXP__
 459 #undef FLT64X_MAX
 460 #define FLT64X_MAX              __FLT64X_MAX__
 461 #undef FLT64X_EPSILON
 462 #define FLT64X_EPSILON          __FLT64X_EPSILON__
 463 #undef FLT64X_MIN
 464 #define FLT64X_MIN              __FLT64X_MIN__
 465 #undef FLT64X_DECIMAL_DIG
 466 #define FLT64X_DECIMAL_DIG      __FLT64X_DECIMAL_DIG__
 467 #undef FLT64X_TRUE_MIN
 468 #define FLT64X_TRUE_MIN         __FLT64X_DENORM_MIN__
 469 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 470 #undef FLT64X_SNAN
 471 #define FLT64X_SNAN     (__builtin_nansf64x (""))
 472 #endif /* C23 */
 473 #endif /* __FLT64X_MANT_DIG__.  */
 474
 475 #ifdef __FLT128X_MANT_DIG__
 476 #undef FLT128X_MANT_DIG
 477 #define FLT128X_MANT_DIG        __FLT128X_MANT_DIG__
 478 #undef FLT128X_DIG
 479 #define FLT128X_DIG             __FLT128X_DIG__
 480 #undef FLT128X_MIN_EXP
 481 #define FLT128X_MIN_EXP         __FLT128X_MIN_EXP__
 482 #undef FLT128X_MIN_10_EXP
 483 #define FLT128X_MIN_10_EXP      __FLT128X_MIN_10_EXP__
 484 #undef FLT128X_MAX_EXP
 485 #define FLT128X_MAX_EXP         __FLT128X_MAX_EXP__
 486 #undef FLT128X_MAX_10_EXP
 487 #define FLT128X_MAX_10_EXP      __FLT128X_MAX_10_EXP__
 488 #undef FLT128X_MAX
 489 #define FLT128X_MAX             __FLT128X_MAX__
 490 #undef FLT128X_EPSILON
 491 #define FLT128X_EPSILON         __FLT128X_EPSILON__
 492 #undef FLT128X_MIN
 493 #define FLT128X_MIN             __FLT128X_MIN__
 494 #undef FLT128X_DECIMAL_DIG
 495 #define FLT128X_DECIMAL_DIG     __FLT128X_DECIMAL_DIG__
 496 #undef FLT128X_TRUE_MIN
 497 #define FLT128X_TRUE_MIN        __FLT128X_DENORM_MIN__
 498 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 499 #undef FLT128X_SNAN
 500 #define FLT128X_SNAN    (__builtin_nansf128x (""))
 501 #endif /* C23 */
 502 #endif /* __FLT128X_MANT_DIG__.  */
 503
 504 #endif /* __STDC_WANT_IEC_60559_TYPES_EXT__.  */
 505
 506 #ifdef __DEC32_MANT_DIG__
 507 #if (defined __STDC_WANT_DEC_FP__ \
 508      || defined __STDC_WANT_IEC_60559_DFP_EXT__ \
 509      || (defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L))
 510 /* C23; formerly Technical Report 24732, extension for decimal
 511    floating-point arithmetic: Characteristic of decimal floating types
 512    <float.h>, and TS 18661-2.  */
 513
 514 /* Number of base-FLT_RADIX digits in the significand, p.  */
 515 #undef DEC32_MANT_DIG
 516 #undef DEC64_MANT_DIG
 517 #undef DEC128_MANT_DIG
 518 #define DEC32_MANT_DIG  __DEC32_MANT_DIG__
 519 #define DEC64_MANT_DIG  __DEC64_MANT_DIG__
 520 #define DEC128_MANT_DIG __DEC128_MANT_DIG__
 521
 522 /* Minimum exponent. */
 523 #undef DEC32_MIN_EXP
 524 #undef DEC64_MIN_EXP
 525 #undef DEC128_MIN_EXP
 526 #define DEC32_MIN_EXP   __DEC32_MIN_EXP__
 527 #define DEC64_MIN_EXP   __DEC64_MIN_EXP__
 528 #define DEC128_MIN_EXP  __DEC128_MIN_EXP__
 529
 530 /* Maximum exponent. */
 531 #undef DEC32_MAX_EXP
 532 #undef DEC64_MAX_EXP
 533 #undef DEC128_MAX_EXP
 534 #define DEC32_MAX_EXP   __DEC32_MAX_EXP__
 535 #define DEC64_MAX_EXP   __DEC64_MAX_EXP__
 536 #define DEC128_MAX_EXP  __DEC128_MAX_EXP__
 537
 538 /* Maximum representable finite decimal floating-point number
 539    (there are 6, 15, and 33 9s after the decimal points respectively). */
 540 #undef DEC32_MAX
 541 #undef DEC64_MAX
 542 #undef DEC128_MAX
 543 #define DEC32_MAX   __DEC32_MAX__
 544 #define DEC64_MAX   __DEC64_MAX__
 545 #define DEC128_MAX  __DEC128_MAX__
 546
 547 /* The difference between 1 and the least value greater than 1 that is
 548    representable in the given floating point type. */
 549 #undef DEC32_EPSILON
 550 #undef DEC64_EPSILON
 551 #undef DEC128_EPSILON
 552 #define DEC32_EPSILON   __DEC32_EPSILON__
 553 #define DEC64_EPSILON   __DEC64_EPSILON__
 554 #define DEC128_EPSILON  __DEC128_EPSILON__
 555
 556 /* Minimum normalized positive floating-point number. */
 557 #undef DEC32_MIN
 558 #undef DEC64_MIN
 559 #undef DEC128_MIN
 560 #define DEC32_MIN       __DEC32_MIN__
 561 #define DEC64_MIN       __DEC64_MIN__
 562 #define DEC128_MIN      __DEC128_MIN__
 563
 564 /* The floating-point expression evaluation method.
 565          -1  indeterminate
 566          0  evaluate all operations and constants just to the range and
 567             precision of the type
 568          1  evaluate operations and constants of type _Decimal32
 569             and _Decimal64 to the range and precision of the _Decimal64
 570             type, evaluate _Decimal128 operations and constants to the
 571             range and precision of the _Decimal128 type;
 572          2  evaluate all operations and constants to the range and
 573             precision of the _Decimal128 type.  */
 574
 575 #undef DEC_EVAL_METHOD
 576 #define DEC_EVAL_METHOD __DEC_EVAL_METHOD__
 577
 578 #endif /* __STDC_WANT_DEC_FP__ || __STDC_WANT_IEC_60559_DFP_EXT__ || C23.  */
 579
 580 #ifdef __STDC_WANT_DEC_FP__
 581
 582 /* Minimum subnormal positive floating-point number. */
 583 #undef DEC32_SUBNORMAL_MIN
 584 #undef DEC64_SUBNORMAL_MIN
 585 #undef DEC128_SUBNORMAL_MIN
 586 #define DEC32_SUBNORMAL_MIN       __DEC32_SUBNORMAL_MIN__
 587 #define DEC64_SUBNORMAL_MIN       __DEC64_SUBNORMAL_MIN__
 588 #define DEC128_SUBNORMAL_MIN      __DEC128_SUBNORMAL_MIN__
 589
 590 #endif /* __STDC_WANT_DEC_FP__.  */
 591
 592 #if (defined __STDC_WANT_IEC_60559_DFP_EXT__ \
 593      || (defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L))
 594
 595 /* Minimum subnormal positive floating-point number. */
 596 #undef DEC32_TRUE_MIN
 597 #undef DEC64_TRUE_MIN
 598 #undef DEC128_TRUE_MIN
 599 #define DEC32_TRUE_MIN       __DEC32_SUBNORMAL_MIN__
 600 #define DEC64_TRUE_MIN       __DEC64_SUBNORMAL_MIN__
 601 #define DEC128_TRUE_MIN      __DEC128_SUBNORMAL_MIN__
 602
 603 #endif /* __STDC_WANT_IEC_60559_DFP_EXT__ || C23.  */
 604
 605 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 606
 607 /* Infinity in type _Decimal32.  */
 608 #undef DEC_INFINITY
 609 #define DEC_INFINITY    (__builtin_infd32 ())
 610
 611 /* Quiet NaN in type _Decimal32.  */
 612 #undef DEC_NAN
 613 #define DEC_NAN         (__builtin_nand32 (""))
 614
 615 /* Signaling NaN in each decimal floating-point type.  */
 616 #undef DEC32_SNAN
 617 #define DEC32_SNAN      (__builtin_nansd32 (""))
 618 #undef DEC64_SNAN
 619 #define DEC64_SNAN      (__builtin_nansd64 (""))
 620 #undef DEC128_SNAN
 621 #define DEC128_SNAN     (__builtin_nansd128 (""))
 622
 623 #endif /* C23 */
 624
 625 #endif /* __DEC32_MANT_DIG__ */
 626
 627 #if defined __STDC_VERSION__ && __STDC_VERSION__ > 201710L
 628 #define __STDC_VERSION_FLOAT_H__        202311L
 629 #endif
 630
 631 #endif /* _FLOAT_H___ */