tests/test-ldexp-ieee.h

   1 /* Test of ldexp*() function family.
   2    Copyright (C) 2012-2021 Free Software Foundation, Inc.
   3
   4    This program is free software: you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation; either version 3 of the License, or
   7    (at your option) any later version.
   8
   9    This program is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12    GNU General Public License for more details.
  13
  14    You should have received a copy of the GNU General Public License
  15    along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
  16
  17 static void
  18 test_function (void)
  19 {
  20   int exp;
  21
  22   /* [MX] shaded specification in POSIX.  */
  23
  24   /* NaN.  */
  25   for (exp = -100000; exp <= 100000; exp += 100000)
  26     ASSERT (ISNAN (LDEXP (NAN, exp)));
  27
  28   /* Signed zero.  */
  29   for (exp = -100000; exp <= 100000; exp += 100000)
  30     {
  31       DOUBLE z = LDEXP (L_(0.0), exp);
  32       ASSERT (z == L_(0.0));
  33       ASSERT (!signbit (z));
  34     }
  35   for (exp = -100000; exp <= 100000; exp += 100000)
  36     {
  37       DOUBLE z = LDEXP (MINUS_ZERO, exp);
  38       ASSERT (z == L_(0.0));
  39       ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO));
  40     }
  41
  42   /* Infinity.  */
  43   for (exp = -100000; exp <= 100000; exp += 100000)
  44     ASSERT (LDEXP (INFINITY, exp) == INFINITY);
  45   for (exp = -100000; exp <= 100000; exp += 100000)
  46     ASSERT (LDEXP (- INFINITY, exp) == - INFINITY);
  47 }