Blame math/test-fetestexceptflag.c

Packit 6c4009
/* Test fetestexceptflag.
Packit 6c4009
   Copyright (C) 2016-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 <stdio.h>
Packit 6c4009
#include <math-tests.h>
Packit 6c4009
Packit 6c4009
static int
Packit 6c4009
test_one (int exc_test, int exc_set, int exc_save)
Packit 6c4009
{
Packit 6c4009
  int result = 0;
Packit 6c4009
Packit 6c4009
  printf ("Individual test: %x %x %x\n", (unsigned int) exc_test,
Packit 6c4009
	  (unsigned int) exc_set, (unsigned int) exc_save);
Packit 6c4009
Packit 6c4009
  feclearexcept (FE_ALL_EXCEPT);
Packit 6c4009
  int ret = fesetexcept (exc_set);
Packit 6c4009
  if (ret != 0)
Packit 6c4009
    {
Packit 6c4009
      puts ("fesetexcept failed");
Packit 6c4009
      if (exc_set == 0 || EXCEPTION_TESTS (float))
Packit 6c4009
	{
Packit 6c4009
	  puts ("failure of fesetexcept was unexpected");
Packit 6c4009
	  result = 1;
Packit 6c4009
	}
Packit 6c4009
      else
Packit 6c4009
	puts ("failure of fesetexcept OK, skipping further tests");
Packit 6c4009
      return result;
Packit 6c4009
    }
Packit 6c4009
  fexcept_t saved;
Packit 6c4009
  ret = fegetexceptflag (&saved, exc_save);
Packit 6c4009
  if (ret == 0)
Packit 6c4009
    puts ("fegetexceptflag succeeded");
Packit 6c4009
  else
Packit 6c4009
    {
Packit 6c4009
      puts ("fegetexceptflag failed");
Packit 6c4009
      result = 1;
Packit 6c4009
      return result;
Packit 6c4009
    }
Packit 6c4009
  ret = fetestexceptflag (&saved, exc_test);
Packit 6c4009
  if (ret == (exc_set & exc_test))
Packit 6c4009
    puts ("fetestexceptflag result correct");
Packit 6c4009
  else
Packit 6c4009
    {
Packit 6c4009
      printf ("fetestexceptflag returned %x, expected %x\n", ret,
Packit 6c4009
	      exc_set & exc_test);
Packit 6c4009
      result = 1;
Packit 6c4009
    }
Packit 6c4009
  if (exc_save == FE_ALL_EXCEPT)
Packit 6c4009
    {
Packit 6c4009
      /* Also test fetestexceptflag testing all exceptions but
Packit 6c4009
	 possibly with only some set.  */
Packit 6c4009
      ret = fetestexceptflag (&saved, FE_ALL_EXCEPT);
Packit 6c4009
      if (ret == exc_set)
Packit 6c4009
	puts ("fetestexceptflag (FE_ALL_EXCEPT) result correct");
Packit 6c4009
      else
Packit 6c4009
	{
Packit 6c4009
	  printf ("fetestexceptflag (FE_ALL_EXCEPT) returned %x, expected %x\n",
Packit 6c4009
		  ret, exc_set);
Packit 6c4009
	  result = 1;
Packit 6c4009
	}
Packit 6c4009
    }
Packit 6c4009
  return result;
Packit 6c4009
}
Packit 6c4009
Packit 6c4009
static int
Packit 6c4009
test_fetestexceptflag (int exc, const char *exc_name)
Packit 6c4009
{
Packit 6c4009
  int result = 0;
Packit 6c4009
Packit 6c4009
  printf ("Testing %s\n", exc_name);
Packit 6c4009
Packit 6c4009
  /* Test each case of: whether this exception is set or clear;
Packit 6c4009
     whether other exceptions are set or clear; whether the whole
Packit 6c4009
     state is saved or just the state for this exception.  */
Packit 6c4009
  result |= test_one (exc, 0, exc);
Packit 6c4009
  result |= test_one (exc, 0, FE_ALL_EXCEPT);
Packit 6c4009
  result |= test_one (exc, exc, exc);
Packit 6c4009
  result |= test_one (exc, exc, FE_ALL_EXCEPT);
Packit 6c4009
  result |= test_one (exc, FE_ALL_EXCEPT & ~exc, exc);
Packit 6c4009
  result |= test_one (exc, FE_ALL_EXCEPT & ~exc, FE_ALL_EXCEPT);
Packit 6c4009
  result |= test_one (exc, FE_ALL_EXCEPT, exc);
Packit 6c4009
  result |= test_one (exc, FE_ALL_EXCEPT, FE_ALL_EXCEPT);
Packit 6c4009
Packit 6c4009
  return result;
Packit 6c4009
}
Packit 6c4009
Packit 6c4009
static int
Packit 6c4009
do_test (void)
Packit 6c4009
{
Packit 6c4009
  int result = 0;
Packit 6c4009
Packit 6c4009
  result |= test_fetestexceptflag (0, "0");
Packit 6c4009
  result |= test_fetestexceptflag (FE_ALL_EXCEPT, "FE_ALL_EXCEPT");
Packit 6c4009
#ifdef FE_DIVBYZERO
Packit 6c4009
  result |= test_fetestexceptflag (FE_DIVBYZERO, "FE_DIVBYZERO");
Packit 6c4009
#endif
Packit 6c4009
#ifdef FE_INEXACT
Packit 6c4009
  result |= test_fetestexceptflag (FE_INEXACT, "FE_INEXACT");
Packit 6c4009
#endif
Packit 6c4009
#ifdef FE_INVALID
Packit 6c4009
  result |= test_fetestexceptflag (FE_INVALID, "FE_INVALID");
Packit 6c4009
#endif
Packit 6c4009
#ifdef FE_OVERFLOW
Packit 6c4009
  result |= test_fetestexceptflag (FE_OVERFLOW, "FE_OVERFLOW");
Packit 6c4009
#endif
Packit 6c4009
#ifdef FE_UNDERFLOW
Packit 6c4009
  result |= test_fetestexceptflag (FE_UNDERFLOW, "FE_UNDERFLOW");
Packit 6c4009
#endif
Packit 6c4009
Packit 6c4009
  return result;
Packit 6c4009
}
Packit 6c4009
Packit 6c4009
#define TEST_FUNCTION do_test ()
Packit 6c4009
#include "../test-skeleton.c"