Hash :
48a7fb40
Author :
Date :
2024-01-19T22:04:33
fenv-*: Avoid test failures on FreeBSD/powerpc64 and NetBSD/powerpc. On these platforms, FE_ALL_EXCEPT contains additional bits. * tests/test-fenv-except-tracking-1.c (FE_VXSOFT, FE_VXZDZ): Define fallbacks. (main): Allow fetestexcept(FE_ALL_EXCEPT) to contain FE_VXSOFT or FE_VXZDZ in addition to FE_INVALID. * tests/test-fenv-except-tracking-4.c (FE_VXSOFT): Define fallback. (main): Allow fetestexcept(FE_ALL_EXCEPT) to contain FE_VXSOFT in addition to FE_INVALID. * tests/test-fenv-env-2.c: Likewise. * tests/test-fenv-env-3.c: Likewise. * tests/test-fenv-env-4.c: Likewise. * tests/test-fenv-env-5.c: Likewise.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99
/* Test of tracking of floating-point exceptions.
Copyright (C) 2023-2024 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 <fenv.h>
#include "macros.h"
/* Check that fesetexcept() works. */
/* On *BSD/powerpc systems, raising FE_INVALID also sets FE_VXSOFT. */
#ifndef FE_VXSOFT
# define FE_VXSOFT 0
#endif
int
main ()
{
/* Test setting all exception flags. */
if (feraiseexcept (FE_ALL_EXCEPT) != 0)
{
fputs ("Skipping test: floating-point exceptions are not supported on this machine.\n", stderr);
return 77;
}
/* Clear all exception flags. */
ASSERT (feclearexcept (FE_ALL_EXCEPT) == 0);
/* Test setting just one exception flag: FE_INVALID. */
ASSERT (feclearexcept (FE_ALL_EXCEPT) == 0);
ASSERT (fesetexcept (FE_INVALID) == 0);
ASSERT ((fetestexcept (FE_ALL_EXCEPT) & ~FE_VXSOFT) == FE_INVALID);
ASSERT (fetestexcept (FE_INVALID) == FE_INVALID);
ASSERT (fetestexcept (FE_DIVBYZERO) == 0);
ASSERT (fetestexcept (FE_OVERFLOW) == 0);
ASSERT (fetestexcept (FE_UNDERFLOW) == 0);
ASSERT (fetestexcept (FE_INEXACT) == 0);
/* Test setting just one exception flag: FE_DIVBYZERO. */
ASSERT (feclearexcept (FE_ALL_EXCEPT) == 0);
ASSERT (fesetexcept (FE_DIVBYZERO) == 0);
ASSERT (fetestexcept (FE_ALL_EXCEPT) == FE_DIVBYZERO);
ASSERT (fetestexcept (FE_INVALID) == 0);
ASSERT (fetestexcept (FE_DIVBYZERO) == FE_DIVBYZERO);
ASSERT (fetestexcept (FE_OVERFLOW) == 0);
ASSERT (fetestexcept (FE_UNDERFLOW) == 0);
ASSERT (fetestexcept (FE_INEXACT) == 0);
/* Test setting just one exception flag: FE_OVERFLOW. */
ASSERT (feclearexcept (FE_ALL_EXCEPT) == 0);
ASSERT (fesetexcept (FE_OVERFLOW) == 0);
ASSERT (fetestexcept (FE_ALL_EXCEPT) == FE_OVERFLOW);
ASSERT (fetestexcept (FE_INVALID) == 0);
ASSERT (fetestexcept (FE_DIVBYZERO) == 0);
ASSERT (fetestexcept (FE_OVERFLOW) == FE_OVERFLOW);
ASSERT (fetestexcept (FE_UNDERFLOW) == 0);
ASSERT (fetestexcept (FE_INEXACT) == 0);
/* Test setting just one exception flag: FE_UNDERFLOW. */
ASSERT (feclearexcept (FE_ALL_EXCEPT) == 0);
ASSERT (fesetexcept (FE_UNDERFLOW) == 0);
ASSERT (fetestexcept (FE_ALL_EXCEPT) == FE_UNDERFLOW);
ASSERT (fetestexcept (FE_INVALID) == 0);
ASSERT (fetestexcept (FE_DIVBYZERO) == 0);
ASSERT (fetestexcept (FE_OVERFLOW) == 0);
ASSERT (fetestexcept (FE_UNDERFLOW) == FE_UNDERFLOW);
ASSERT (fetestexcept (FE_INEXACT) == 0);
/* Test setting just one exception flag: FE_INEXACT. */
ASSERT (feclearexcept (FE_ALL_EXCEPT) == 0);
ASSERT (fesetexcept (FE_INEXACT) == 0);
ASSERT (fetestexcept (FE_ALL_EXCEPT) == FE_INEXACT);
ASSERT (fetestexcept (FE_INVALID) == 0);
ASSERT (fetestexcept (FE_DIVBYZERO) == 0);
ASSERT (fetestexcept (FE_OVERFLOW) == 0);
ASSERT (fetestexcept (FE_UNDERFLOW) == 0);
ASSERT (fetestexcept (FE_INEXACT) == FE_INEXACT);
return 0;
}