kc3-lang/gnulib/tests/test-snan-1.c

• Show log

  Commit

• Hash : a747e037
  Author :
  Date : 2025-05-07T11:34:47
  

  Add syntax-check rule against CPU predef misspellings.
  
  * lib/getloadavg.c: Test __alpha, not __alpha__.
  * tests/test-snan-2.c: Likewise.
  * m4/exponentd.m4: Test __arm__, not __arm.
  * lib/utimensat.c: Test __hppa, not __hppa__.
  * tests/qemu.h: Likewise.
  * lib/fma.c: Test __sparc, not __sparc__.
  * tests/qemu.h: Likewise.
  * tests/test-exp2.h: Likewise.
  * tests/test-nonblocking-pipe.h: Likewise.
  * tests/test-snan-1.c: Likewise.
  * tests/test-snan-2.c: Likewise.
  

Download

• tests/test-snan-1.c

• /* Tests of signalling not-a-number.
     Copyright (C) 2023-2025 Free Software Foundation, Inc.
  
     This program is free software: you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
     the Free Software Foundation, either version 3 of the License, or
     (at your option) any later version.
  
     This program is distributed in the hope that it will be useful,
     but WITHOUT ANY WARRANTY; without even the implied warranty of
     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     GNU General Public License for more details.
  
     You should have received a copy of the GNU General Public License
     along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
  
  /* Written by Bruno Haible <bruno@clisp.org>, 2023.  */
  
  #include <config.h>
  
  /* Specification.  */
  #include "snan.h"
  
  #if defined __GLIBC__ && defined __arm__ && defined __SOFTFP__
  
  # include <stdio.h>
  
  /* The arm software floating-point emulation (used e.g. on armv5) does not set
     the floating-point exception bits.  */
  
  int
  main ()
  {
    fputs ("Skipping test: software floating-point emulation\n", stderr);
    return 77;
  }
  
  #else
  
  # include <fenv.h>
  
  # include "macros.h"
  
  float volatile resultf;
  double volatile resultd;
  long double volatile resultl;
  
  int
  main ()
  {
    /* Fetch the NaN values before we start watching out for FE_INVALID
       exceptions, because the division 0.0 / 0.0 itself also raises an
       FE_INVALID exception.
       The use of 'volatile' prevents the compiler from doing constant-folding
       optimizations on these values.  An alternative, for GCC only, would be
       the command-line option '-fsignaling-nans'.  */
    _GL_UNUSED float volatile nanf = SNaNf ();
    _GL_UNUSED double volatile nand = SNaNd ();
    _GL_UNUSED long double volatile nanl = SNaNl ();
  
    /* Check that the values are really signalling.  */
    /* These tests do not work on 32-bit x86 processors, as well as
       on x86_64 processors with CC="gcc -mfpmath=387", because loading SNaNf()
       or SNaNd() into a 387 FPU register already converted it to a quiet NaN.
       See <https://lists.gnu.org/archive/html/bug-gnulib/2023-10/msg00060.html>
       for details.  */
    #if !((defined __i386 || defined _M_IX86) \
          || ((defined __x86_64__ || defined _M_X64) && __FLT_EVAL_METHOD__ == 2))
    /* This test does not work on AIX 7.1 with the xlc compiler, even with
       the compiler options -qfloat=fenv -qfloat=nans -qfloat=spnans.  */
    #if !(defined _AIX && defined __xlC__)
    {
      feclearexcept (FE_INVALID);
      resultf = nanf + 42.0f;
      ASSERT (fetestexcept (FE_INVALID));
    }
    #endif
    {
      feclearexcept (FE_INVALID);
      resultd = nand + 42.0;
      ASSERT (fetestexcept (FE_INVALID));
    }
    #endif
    /* This test does not work on eglibc 2.13/mips64
       (bug in libc function __addtf3).
       This test does not work on FreeBSD/arm64 and OpenBSD/mips64
       (bug in libc function __addtf3).
       This test does not work on FreeBSD/sparc64 and NetBSD/sparc64
       (bug in libc function _Qp_add).
       This test does not work on MSVC/i386, because of the general IA-32
       problem (see above) and 'long double' == 'double'.  */
    #if !((((__GLIBC__ == 2 && __GLIBC_MINOR__ < 19 && defined __mips64) \
            || ((defined __FreeBSD__ || defined __NetBSD__ || defined __OpenBSD__) && (defined __aarch64__ || defined __mips64__ || defined __sparc))) \
           && !HAVE_SAME_LONG_DOUBLE_AS_DOUBLE) \
          || ((defined __i386 || defined _M_IX86) && HAVE_SAME_LONG_DOUBLE_AS_DOUBLE))
    {
      feclearexcept (FE_INVALID);
      resultl = nanl + 42.0L;
      ASSERT (fetestexcept (FE_INVALID));
    }
    #endif
  
    return test_exit_status;
  }
  
  #endif
  

Download