bits/floatn-common.h

   1 /* Macros to control TS 18661-3 glibc features where the same
   2    definitions are appropriate for all platforms.
   3    Copyright (C) 2017-2023 Free Software Foundation, Inc.
   4    This file is part of the GNU C Library.
   5
   6    The GNU C Library is free software; you can redistribute it and/or
   7    modify it under the terms of the GNU Lesser General Public
   8    License as published by the Free Software Foundation; either
   9    version 2.1 of the License, or (at your option) any later version.
  10
  11    The GNU C Library is distributed in the hope that it will be useful,
  12    but WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14    Lesser General Public License for more details.
  15
  16    You should have received a copy of the GNU Lesser General Public
  17    License along with the GNU C Library; if not, see
  18    <https://www.gnu.org/licenses/>.  */
  19
  20 #ifndef _BITS_FLOATN_COMMON_H
  21 #define _BITS_FLOATN_COMMON_H
  22
  23 #include <features.h>
  24 #include <bits/long-double.h>
  25
  26 /* This header should be included at the bottom of each bits/floatn.h.
  27    It defines the following macros for each _FloatN and _FloatNx type,
  28    where the same definitions, or definitions based only on the macros
  29    in bits/floatn.h, are appropriate for all glibc configurations.  */
  30
  31 /* Defined to 1 if the current compiler invocation provides a
  32    floating-point type with the right format for this type, and this
  33    glibc includes corresponding *fN or *fNx interfaces for it.  */
  34 #define __HAVE_FLOAT16 0
  35 #define __HAVE_FLOAT32 1
  36 #define __HAVE_FLOAT64 1
  37 #define __HAVE_FLOAT32X 1
  38 #define __HAVE_FLOAT128X 0
  39
  40 /* Defined to 1 if the corresponding __HAVE_<type> macro is 1 and the
  41    type is the first with its format in the sequence of (the default
  42    choices for) float, double, long double, _Float16, _Float32,
  43    _Float64, _Float128, _Float32x, _Float64x, _Float128x for this
  44    glibc; that is, if functions present once per floating-point format
  45    rather than once per type are present for this type.
  46
  47    All configurations supported by glibc have _Float32 the same format
  48    as float, _Float64 and _Float32x the same format as double, the
  49    _Float64x the same format as either long double or _Float128.  No
  50    configurations support _Float128x or, as of GCC 7, have compiler
  51    support for a type meeting the requirements for _Float128x.  */
  52 #define __HAVE_DISTINCT_FLOAT16 __HAVE_FLOAT16
  53 #define __HAVE_DISTINCT_FLOAT32 0
  54 #define __HAVE_DISTINCT_FLOAT64 0
  55 #define __HAVE_DISTINCT_FLOAT32X 0
  56 #define __HAVE_DISTINCT_FLOAT64X 0
  57 #define __HAVE_DISTINCT_FLOAT128X __HAVE_FLOAT128X
  58
  59 /* Defined to 1 if the corresponding _FloatN type is not binary compatible
  60    with the corresponding ISO C type in the current compilation unit as
  61    opposed to __HAVE_DISTINCT_FLOATN, which indicates the default types built
  62    in glibc.  */
  63 #define __HAVE_FLOAT128_UNLIKE_LDBL (__HAVE_DISTINCT_FLOAT128   \
  64                                      && __LDBL_MANT_DIG__ != 113)
  65
  66 /* Defined to 1 if any _FloatN or _FloatNx types that are not
  67    ABI-distinct are however distinct types at the C language level (so
  68    for the purposes of __builtin_types_compatible_p and _Generic).  */
  69 #if __GNUC_PREREQ (7, 0) && !defined __cplusplus
  70 # define __HAVE_FLOATN_NOT_TYPEDEF 1
  71 #else
  72 # define __HAVE_FLOATN_NOT_TYPEDEF 0
  73 #endif
  74
  75 #ifndef __ASSEMBLER__
  76
  77 /* Defined to concatenate the literal suffix to be used with _FloatN
  78    or _FloatNx types, if __HAVE_<type> is 1.  The corresponding
  79    literal suffixes exist since GCC 7, for C only.  */
  80 # if __HAVE_FLOAT16
  81 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
  82 /* No corresponding suffix available for this type.  */
  83 #   define __f16(x) ((_Float16) x##f)
  84 #  else
  85 #   define __f16(x) x##f16
  86 #  endif
  87 # endif
  88
  89 # if __HAVE_FLOAT32
  90 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
  91 #   define __f32(x) x##f
  92 #  else
  93 #   define __f32(x) x##f32
  94 #  endif
  95 # endif
  96
  97 # if __HAVE_FLOAT64
  98 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
  99 #   ifdef __NO_LONG_DOUBLE_MATH
 100 #    define __f64(x) x##l
 101 #   else
 102 #    define __f64(x) x
 103 #   endif
 104 #  else
 105 #   define __f64(x) x##f64
 106 #  endif
 107 # endif
 108
 109 # if __HAVE_FLOAT32X
 110 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 111 #   define __f32x(x) x
 112 #  else
 113 #   define __f32x(x) x##f32x
 114 #  endif
 115 # endif
 116
 117 # if __HAVE_FLOAT64X
 118 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 119 #   if __HAVE_FLOAT64X_LONG_DOUBLE
 120 #    define __f64x(x) x##l
 121 #   else
 122 #    define __f64x(x) __f128 (x)
 123 #   endif
 124 #  else
 125 #   define __f64x(x) x##f64x
 126 #  endif
 127 # endif
 128
 129 # if __HAVE_FLOAT128X
 130 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 131 #   error "_Float128X supported but no constant suffix"
 132 #  else
 133 #   define __f128x(x) x##f128x
 134 #  endif
 135 # endif
 136
 137 /* Defined to a complex type if __HAVE_<type> is 1.  */
 138 # if __HAVE_FLOAT16
 139 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 140 typedef _Complex float __cfloat16 __attribute__ ((__mode__ (__HC__)));
 141 #   define __CFLOAT16 __cfloat16
 142 #  else
 143 #   define __CFLOAT16 _Complex _Float16
 144 #  endif
 145 # endif
 146
 147 # if __HAVE_FLOAT32
 148 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 149 #   define __CFLOAT32 _Complex float
 150 #  else
 151 #   define __CFLOAT32 _Complex _Float32
 152 #  endif
 153 # endif
 154
 155 # if __HAVE_FLOAT64
 156 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 157 #   ifdef __NO_LONG_DOUBLE_MATH
 158 #    define __CFLOAT64 _Complex long double
 159 #   else
 160 #    define __CFLOAT64 _Complex double
 161 #   endif
 162 #  else
 163 #   define __CFLOAT64 _Complex _Float64
 164 #  endif
 165 # endif
 166
 167 # if __HAVE_FLOAT32X
 168 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 169 #   define __CFLOAT32X _Complex double
 170 #  else
 171 #   define __CFLOAT32X _Complex _Float32x
 172 #  endif
 173 # endif
 174
 175 # if __HAVE_FLOAT64X
 176 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 177 #   if __HAVE_FLOAT64X_LONG_DOUBLE
 178 #    define __CFLOAT64X _Complex long double
 179 #   else
 180 #    define __CFLOAT64X __CFLOAT128
 181 #   endif
 182 #  else
 183 #   define __CFLOAT64X _Complex _Float64x
 184 #  endif
 185 # endif
 186
 187 # if __HAVE_FLOAT128X
 188 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 189 #   error "_Float128X supported but no complex type"
 190 #  else
 191 #   define __CFLOAT128X _Complex _Float128x
 192 #  endif
 193 # endif
 194
 195 /* The remaining of this file provides support for older compilers.  */
 196 # if __HAVE_FLOAT16
 197
 198 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 199 typedef float _Float16 __attribute__ ((__mode__ (__HF__)));
 200 #  endif
 201
 202 #  if !__GNUC_PREREQ (7, 0)
 203 #   define __builtin_huge_valf16() ((_Float16) __builtin_huge_val ())
 204 #   define __builtin_inff16() ((_Float16) __builtin_inf ())
 205 #   define __builtin_nanf16(x) ((_Float16) __builtin_nan (x))
 206 #   define __builtin_nansf16(x) ((_Float16) __builtin_nans (x))
 207 #  endif
 208
 209 # endif
 210
 211 # if __HAVE_FLOAT32
 212
 213 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 214 typedef float _Float32;
 215 #  endif
 216
 217 #  if !__GNUC_PREREQ (7, 0)
 218 #   define __builtin_huge_valf32() (__builtin_huge_valf ())
 219 #   define __builtin_inff32() (__builtin_inff ())
 220 #   define __builtin_nanf32(x) (__builtin_nanf (x))
 221 #   define __builtin_nansf32(x) (__builtin_nansf (x))
 222 #  endif
 223
 224 # endif
 225
 226 # if __HAVE_FLOAT64
 227
 228 /* If double, long double and _Float64 all have the same set of
 229    values, TS 18661-3 requires the usual arithmetic conversions on
 230    long double and _Float64 to produce _Float64.  For this to be the
 231    case when building with a compiler without a distinct _Float64
 232    type, _Float64 must be a typedef for long double, not for
 233    double.  */
 234
 235 #  ifdef __NO_LONG_DOUBLE_MATH
 236
 237 #   if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 238 typedef long double _Float64;
 239 #   endif
 240
 241 #   if !__GNUC_PREREQ (7, 0)
 242 #    define __builtin_huge_valf64() (__builtin_huge_vall ())
 243 #    define __builtin_inff64() (__builtin_infl ())
 244 #    define __builtin_nanf64(x) (__builtin_nanl (x))
 245 #    define __builtin_nansf64(x) (__builtin_nansl (x))
 246 #   endif
 247
 248 #  else
 249
 250 #   if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 251 typedef double _Float64;
 252 #   endif
 253
 254 #   if !__GNUC_PREREQ (7, 0)
 255 #    define __builtin_huge_valf64() (__builtin_huge_val ())
 256 #    define __builtin_inff64() (__builtin_inf ())
 257 #    define __builtin_nanf64(x) (__builtin_nan (x))
 258 #    define __builtin_nansf64(x) (__builtin_nans (x))
 259 #   endif
 260
 261 #  endif
 262
 263 # endif
 264
 265 # if __HAVE_FLOAT32X
 266
 267 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 268 typedef double _Float32x;
 269 #  endif
 270
 271 #  if !__GNUC_PREREQ (7, 0)
 272 #   define __builtin_huge_valf32x() (__builtin_huge_val ())
 273 #   define __builtin_inff32x() (__builtin_inf ())
 274 #   define __builtin_nanf32x(x) (__builtin_nan (x))
 275 #   define __builtin_nansf32x(x) (__builtin_nans (x))
 276 #  endif
 277
 278 # endif
 279
 280 # if __HAVE_FLOAT64X
 281
 282 #  if __HAVE_FLOAT64X_LONG_DOUBLE
 283
 284 #   if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 285 typedef long double _Float64x;
 286 #   endif
 287
 288 #   if !__GNUC_PREREQ (7, 0)
 289 #    define __builtin_huge_valf64x() (__builtin_huge_vall ())
 290 #    define __builtin_inff64x() (__builtin_infl ())
 291 #    define __builtin_nanf64x(x) (__builtin_nanl (x))
 292 #    define __builtin_nansf64x(x) (__builtin_nansl (x))
 293 #   endif
 294
 295 #  else
 296
 297 #   if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 298 typedef _Float128 _Float64x;
 299 #   endif
 300
 301 #   if !__GNUC_PREREQ (7, 0)
 302 #    define __builtin_huge_valf64x() (__builtin_huge_valf128 ())
 303 #    define __builtin_inff64x() (__builtin_inff128 ())
 304 #    define __builtin_nanf64x(x) (__builtin_nanf128 (x))
 305 #    define __builtin_nansf64x(x) (__builtin_nansf128 (x))
 306 #   endif
 307
 308 #  endif
 309
 310 # endif
 311
 312 # if __HAVE_FLOAT128X
 313
 314 #  if !__GNUC_PREREQ (7, 0) || (defined __cplusplus && !__GNUC_PREREQ (13, 0))
 315 #   error "_Float128x supported but no type"
 316 #  endif
 317
 318 #  if !__GNUC_PREREQ (7, 0)
 319 #   define __builtin_huge_valf128x() ((_Float128x) __builtin_huge_val ())
 320 #   define __builtin_inff128x() ((_Float128x) __builtin_inf ())
 321 #   define __builtin_nanf128x(x) ((_Float128x) __builtin_nan (x))
 322 #   define __builtin_nansf128x(x) ((_Float128x) __builtin_nans (x))
 323 #  endif
 324
 325 # endif
 326
 327 #endif /* !__ASSEMBLER__.  */
 328
 329 #endif /* _BITS_FLOATN_COMMON_H */