1/* Define iscanonical macro.  ldbl-128ibm version.
 2   Copyright (C) 2016-2025 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
26extern 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)).  */
49extern "C++" {
50inline int iscanonical (float __val) { return __iscanonicalf (__val); }
51inline int iscanonical (double __val) { return __iscanonical (__val); }
52inline int iscanonical (long double __val) { return __iscanonicall (__val); }
53#  if __HAVE_DISTINCT_FLOAT128
54inline int iscanonical (_Float128 __val) { return __iscanonicalf128 (__val); }
55#  endif
56}
57# endif /* __cplusplus */
58#endif /* __NO_LONG_DOUBLE_MATH */