Blame math/test-nearbyint-except.c

Packit 6c4009
/* Test nearbyint functions do not clear exceptions (bug 15491).
Packit 6c4009
   Copyright (C) 2015-2018 Free Software Foundation, Inc.
Packit 6c4009
   This file is part of the GNU C Library.
Packit 6c4009
Packit 6c4009
   The GNU C Library is free software; you can redistribute it and/or
Packit 6c4009
   modify it under the terms of the GNU Lesser General Public
Packit 6c4009
   License as published by the Free Software Foundation; either
Packit 6c4009
   version 2.1 of the License, or (at your option) any later version.
Packit 6c4009
Packit 6c4009
   The GNU C Library is distributed in the hope that it will be useful,
Packit 6c4009
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 6c4009
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit 6c4009
   Lesser General Public License for more details.
Packit 6c4009
Packit 6c4009
   You should have received a copy of the GNU Lesser General Public
Packit 6c4009
   License along with the GNU C Library; if not, see
Packit 6c4009
   <http://www.gnu.org/licenses/>.  */
Packit 6c4009
Packit 6c4009
#include <fenv.h>
Packit 6c4009
#include <math.h>
Packit 6c4009
#include <stdbool.h>
Packit 6c4009
#include <stdio.h>
Packit 6c4009
Packit 6c4009
#include <math-tests.h>
Packit 6c4009
Packit 6c4009
#ifndef FE_INVALID
Packit 6c4009
# define FE_INVALID 0
Packit 6c4009
#endif
Packit 6c4009
Packit 6c4009
static bool any_supported = false;
Packit 6c4009
Packit 6c4009
#define TEST_FUNC(NAME, FLOAT, SUFFIX)					\
Packit 6c4009
static int								\
Packit 6c4009
NAME (void)								\
Packit 6c4009
{									\
Packit 6c4009
  int result = 0;							\
Packit 6c4009
  if (!EXCEPTION_TESTS (FLOAT))						\
Packit 6c4009
    return 0;								\
Packit 6c4009
  any_supported = true;							\
Packit 6c4009
  volatile FLOAT a, b __attribute__ ((unused));				\
Packit 6c4009
  a = 1.0;								\
Packit 6c4009
  /* nearbyint must not clear already-raised exceptions.  */		\
Packit 6c4009
  feraiseexcept (FE_ALL_EXCEPT);					\
Packit 6c4009
  b = nearbyint ## SUFFIX (a);						\
Packit 6c4009
  if (fetestexcept (FE_ALL_EXCEPT) == FE_ALL_EXCEPT)			\
Packit 6c4009
    puts ("PASS: " #FLOAT);						\
Packit 6c4009
  else									\
Packit 6c4009
    {									\
Packit 6c4009
      puts ("FAIL: " #FLOAT);						\
Packit 6c4009
      result = 1;							\
Packit 6c4009
    }									\
Packit 6c4009
  /* But it mustn't lose exceptions from sNaN arguments.  */		\
Packit 6c4009
  if (SNAN_TESTS (FLOAT))						\
Packit 6c4009
    {									\
Packit 6c4009
      static volatile FLOAT snan = __builtin_nans ## SUFFIX ("");	\
Packit 6c4009
      volatile FLOAT c __attribute__ ((unused));			\
Packit 6c4009
      feclearexcept (FE_ALL_EXCEPT);					\
Packit 6c4009
      c = nearbyint ## SUFFIX (snan);					\
Packit 6c4009
      if (fetestexcept (FE_INVALID) == FE_INVALID)			\
Packit 6c4009
	puts ("PASS: " #FLOAT " sNaN");					\
Packit 6c4009
      else								\
Packit 6c4009
	{								\
Packit 6c4009
	  puts ("FAIL: " #FLOAT " sNaN");				\
Packit 6c4009
	  result = 1;							\
Packit 6c4009
	}								\
Packit 6c4009
    }									\
Packit 6c4009
  return result;							\
Packit 6c4009
}
Packit 6c4009
Packit 6c4009
TEST_FUNC (float_test, float, f)
Packit 6c4009
TEST_FUNC (double_test, double, )
Packit 6c4009
TEST_FUNC (ldouble_test, long double, l)
Packit 6c4009
Packit 6c4009
static int
Packit 6c4009
do_test (void)
Packit 6c4009
{
Packit 6c4009
  int result = float_test ();
Packit 6c4009
  result |= double_test ();
Packit 6c4009
  result |= ldouble_test ();
Packit 6c4009
  if (!any_supported)
Packit 6c4009
    return 77;
Packit 6c4009
  return result;
Packit 6c4009
}
Packit 6c4009
Packit 6c4009
#define TEST_FUNCTION do_test ()
Packit 6c4009
#include "../test-skeleton.c"