floatn-common.h (10325B) - Raw
1 /* Macros to control TS 18661-3 glibc features where the same 2 definitions are appropriate for all platforms. 3 Copyright (C) 2017-2025 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 */