123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869 |
- /* Test that tininess.h is correct for this architecture.
- Copyright (C) 2012-2019 Free Software Foundation, Inc.
- This file is part of the GNU C Library.
- The GNU C Library is free software; you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public
- License as published by the Free Software Foundation; either
- version 2.1 of the License, or (at your option) any later version.
- The GNU C Library 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
- Lesser General Public License for more details.
- You should have received a copy of the GNU Lesser General Public
- License along with the GNU C Library; if not, see
- <http://www.gnu.org/licenses/>. */
- #include <fenv.h>
- #include <float.h>
- #include <stdio.h>
- #include <tininess.h>
- volatile float a = 0x1.fffp-126;
- volatile float b = 0x1.0008p-1;
- volatile float c;
- volatile float m = FLT_MIN;
- volatile float mm;
- static int
- do_test (void)
- {
- int result = 0;
- #ifdef FE_UNDERFLOW
- feclearexcept (FE_ALL_EXCEPT);
- mm = m * m;
- if (!fetestexcept (FE_UNDERFLOW))
- {
- puts ("underflow exception not supported at runtime, cannot test");
- return 0;
- }
- feclearexcept (FE_ALL_EXCEPT);
- c = a * b;
- if (fetestexcept (FE_UNDERFLOW))
- {
- if (TININESS_AFTER_ROUNDING)
- {
- puts ("tininess.h says after rounding, "
- "but detected before rounding");
- result = 1;
- }
- }
- else
- {
- if (!TININESS_AFTER_ROUNDING)
- {
- puts ("tininess.h says before rounding, "
- "but detected after rounding");
- result = 1;
- }
- }
- #else
- puts ("underflow exception not supported at compile time, cannot test");
- #endif
- return result;
- }
- #define TEST_FUNCTION do_test ()
- #include "../test-skeleton.c"
|