|
Packit |
6c4009 |
/* Test that setjmp/longjmp do not save and restore floating-point
|
|
Packit |
6c4009 |
exceptions and rounding modes.
|
|
Packit |
6c4009 |
Copyright (C) 2013-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 <setjmp.h>
|
|
Packit |
6c4009 |
#include <stdio.h>
|
|
Packit |
6c4009 |
#include <stdlib.h>
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
static jmp_buf __attribute__ ((unused)) env;
|
|
Packit |
6c4009 |
static int result = 0;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
#if defined FE_TONEAREST && defined FE_TOWARDZERO
|
|
Packit |
6c4009 |
static int expected_rounding_mode = FE_TONEAREST;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
static void
|
|
Packit |
6c4009 |
change_rounding_mode (void)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if (fesetround (FE_TOWARDZERO) == 0)
|
|
Packit |
6c4009 |
expected_rounding_mode = FE_TOWARDZERO;
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
puts ("fesetround (FE_TOWARDZERO) failed, continuing test");
|
|
Packit |
6c4009 |
longjmp (env, 1);
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
#ifdef FE_INVALID
|
|
Packit |
6c4009 |
static int expected_exceptions = 0;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
static void
|
|
Packit |
6c4009 |
raise_exception (void)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if (feraiseexcept (FE_INVALID) == 0)
|
|
Packit |
6c4009 |
expected_exceptions = FE_INVALID;
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
puts ("feraiseexcept (FE_INVALID) failed, continuing test");
|
|
Packit |
6c4009 |
longjmp (env, 1);
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
static int
|
|
Packit |
6c4009 |
do_test (void)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
#if defined FE_TONEAREST && defined FE_TOWARDZERO
|
|
Packit |
6c4009 |
if (fesetround (FE_TONEAREST) == 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if (setjmp (env) == 0)
|
|
Packit |
6c4009 |
change_rounding_mode ();
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if (fegetround () == expected_rounding_mode)
|
|
Packit |
6c4009 |
puts ("PASS: longjmp preserved rounding mode");
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
puts ("FAIL: longjmp changed rounding mode");
|
|
Packit |
6c4009 |
result = 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
puts ("fesetround (FE_TONEAREST) failed, not testing rounding modes");
|
|
Packit |
6c4009 |
#else
|
|
Packit |
6c4009 |
puts ("rounding mode test not supported");
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
#ifdef FE_INVALID
|
|
Packit |
6c4009 |
if (feclearexcept (FE_ALL_EXCEPT) == 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if (setjmp (env) == 0)
|
|
Packit |
6c4009 |
raise_exception ();
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if (fetestexcept (FE_INVALID) == expected_exceptions)
|
|
Packit |
6c4009 |
puts ("PASS: longjmp preserved exceptions");
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
puts ("FAIL: longjmp changed exceptions");
|
|
Packit |
6c4009 |
result = 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
puts ("feclearexcept (FE_ALL_EXCEPT) failed, not testing exceptions");
|
|
Packit |
6c4009 |
#else
|
|
Packit |
6c4009 |
puts ("exception test not supported");
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
return result;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
#define TEST_FUNCTION do_test ()
|
|
Packit |
6c4009 |
#include "../test-skeleton.c"
|