1 /* Define iscanonical macro. ldbl-128ibm version.
2 Copyright (C) 2016-2022 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
9
10 The GNU C Library 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 GNU
13 Lesser General Public License for more details.
14
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 <https://www.gnu.org/licenses/>. */
18
19 #ifndef _MATH_H
20 # error "Never use <bits/iscanonical.h> directly; include <math.h> instead."
21 #endif
22
23 #if defined (__NO_LONG_DOUBLE_MATH) || __LDOUBLE_REDIRECTS_TO_FLOAT128_ABI == 1
24 # define iscanonical(x) ((void) (__typeof (x)) (x), 1)
25 #else
26 extern int __iscanonicall (long double __x)
27 __THROW __attribute__ ((__const__));
28 # define __iscanonicalf(x) ((void) (__typeof (x)) (x), 1)
29 # define __iscanonical(x) ((void) (__typeof (x)) (x), 1)
30 # if __HAVE_DISTINCT_FLOAT128
31 # define __iscanonicalf128(x) ((void) (__typeof (x)) (x), 1)
32 # endif
33
34 /* Return nonzero value if X is canonical. In IEEE interchange binary
35 formats, all values are canonical, but the argument must still be
36 converted to its semantic type for any exceptions arising from the
37 conversion, before being discarded; in IBM long double, there are
38 encodings that are not consistently handled as corresponding to any
39 particular value of the type, and we return 0 for those. */
40 # ifndef __cplusplus
41 # define iscanonical(x) __MATH_TG ((x), __iscanonical, (x))
42 # else
43 /* In C++ mode, __MATH_TG cannot be used, because it relies on
44 __builtin_types_compatible_p, which is a C-only builtin. On the
45 other hand, overloading provides the means to distinguish between
46 the floating-point types. The overloading resolution will match
47 the correct parameter (regardless of type qualifiers (i.e.: const
48 and volatile)). */
49 extern "C++" {
iscanonical(float __val)50 inline int iscanonical (float __val) { return __iscanonicalf (__val); }
iscanonical(double __val)51 inline int iscanonical (double __val) { return __iscanonical (__val); }
iscanonical(long double __val)52 inline int iscanonical (long double __val) { return __iscanonicall (__val); }
53 # if __HAVE_DISTINCT_FLOAT128
iscanonical(_Float128 __val)54 inline int iscanonical (_Float128 __val) { return __iscanonicalf128 (__val); }
55 # endif
56 }
57 # endif /* __cplusplus */
58 #endif /* __NO_LONG_DOUBLE_MATH */
59