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