1  /* Test nearbyint functions do not clear exceptions (bug 15491).
       2     Copyright (C) 2015-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  #include <fenv.h>
      20  #include <math.h>
      21  #include <stdbool.h>
      22  #include <stdio.h>
      23  
      24  #include <math-tests.h>
      25  
      26  #ifndef FE_INVALID
      27  # define FE_INVALID 0
      28  #endif
      29  
      30  static bool any_supported = false;
      31  
      32  #define TEST_FUNC(NAME, FLOAT, SUFFIX)					\
      33  static int								\
      34  NAME (void)								\
      35  {									\
      36    int result = 0;							\
      37    if (!EXCEPTION_TESTS (FLOAT))						\
      38      return 0;								\
      39    any_supported = true;							\
      40    volatile FLOAT a, b __attribute__ ((unused));				\
      41    a = 1.0;								\
      42    /* nearbyint must not clear already-raised exceptions.  */		\
      43    feraiseexcept (FE_ALL_EXCEPT);					\
      44    b = nearbyint ## SUFFIX (a);						\
      45    if (fetestexcept (FE_ALL_EXCEPT) == FE_ALL_EXCEPT)			\
      46      puts ("PASS: " #FLOAT);						\
      47    else									\
      48      {									\
      49        puts ("FAIL: " #FLOAT);						\
      50        result = 1;							\
      51      }									\
      52    /* But it mustn't lose exceptions from sNaN arguments.  */		\
      53    if (SNAN_TESTS (FLOAT))						\
      54      {									\
      55        static volatile FLOAT snan = __builtin_nans ## SUFFIX ("");	\
      56        volatile FLOAT c __attribute__ ((unused));			\
      57        feclearexcept (FE_ALL_EXCEPT);					\
      58        c = nearbyint ## SUFFIX (snan);					\
      59        if (fetestexcept (FE_INVALID) == FE_INVALID)			\
      60  	puts ("PASS: " #FLOAT " sNaN");					\
      61        else								\
      62  	{								\
      63  	  puts ("FAIL: " #FLOAT " sNaN");				\
      64  	  result = 1;							\
      65  	}								\
      66      }									\
      67    return result;							\
      68  }
      69  
      70  TEST_FUNC (float_test, float, f)
      71  TEST_FUNC (double_test, double, )
      72  TEST_FUNC (ldouble_test, long double, l)
      73  
      74  static int
      75  do_test (void)
      76  {
      77    int result = float_test ();
      78    result |= double_test ();
      79    result |= ldouble_test ();
      80    if (!any_supported)
      81      return 77;
      82    return result;
      83  }
      84  
      85  #define TEST_FUNCTION do_test ()
      86  #include "../test-skeleton.c"