sysdeps/ieee754/ldbl-96/test-canonical-ldbl-96.c

   1 /* Test iscanonical and canonicalizel for ldbl-96.
   2    Copyright (C) 2016-2018 Free Software Foundation, Inc.
   3    This file is part of the GNU C Library.
   4
   5    The GNU C Library is free software; you can redistribute it and/or
   6    modify it under the terms of the GNU Lesser General Public
   7    License as published by the Free Software Foundation; either
   8    version 2.1 of the License, or (at your option) any later version.
   9
  10    The GNU C Library is distributed in the hope that it will be useful,
  11    but WITHOUT ANY WARRANTY; without even the implied warranty of
  12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13    Lesser General Public License for more details.
  14
  15    You should have received a copy of the GNU Lesser General Public
  16    License along with the GNU C Library; if not, see
  17    <http://www.gnu.org/licenses/>.  */
  18
  19 #include <float.h>
  20 #include <math.h>
  21 #include <math_ldbl.h>
  22 #include <stdbool.h>
  23 #include <stdint.h>
  24 #include <stdio.h>
  25
  26 struct test
  27 {
  28   bool sign;
  29   uint16_t exponent;
  30   bool high;
  31   uint64_t mantissa;
  32   bool canonical;
  33 };
  34
  35 #define M68K_VARIANT (LDBL_MIN_EXP == -16382)
  36
  37 static const struct test tests[] =
  38   {
  39     { false, 0, true, 0, M68K_VARIANT },
  40     { true, 0, true, 0, M68K_VARIANT },
  41     { false, 0, true, 1, M68K_VARIANT },
  42     { true, 0, true, 1, M68K_VARIANT },
  43     { false, 0, true, 0x100000000ULL, M68K_VARIANT },
  44     { true, 0, true, 0x100000000ULL, M68K_VARIANT },
  45     { false, 0, false, 0, true },
  46     { true, 0, false, 0, true },
  47     { false, 0, false, 1, true },
  48     { true, 0, false, 1, true },
  49     { false, 0, false, 0x100000000ULL, true },
  50     { true, 0, false, 0x100000000ULL, true },
  51     { false, 1, true, 0, true },
  52     { true, 1, true, 0, true },
  53     { false, 1, true, 1, true },
  54     { true, 1, true, 1, true },
  55     { false, 1, true, 0x100000000ULL, true },
  56     { true, 1, true, 0x100000000ULL, true },
  57     { false, 1, false, 0, false },
  58     { true, 1, false, 0, false },
  59     { false, 1, false, 1, false },
  60     { true, 1, false, 1, false },
  61     { false, 1, false, 0x100000000ULL, false },
  62     { true, 1, false, 0x100000000ULL, false },
  63     { false, 0x7ffe, true, 0, true },
  64     { true, 0x7ffe, true, 0, true },
  65     { false, 0x7ffe, true, 1, true },
  66     { true, 0x7ffe, true, 1, true },
  67     { false, 0x7ffe, true, 0x100000000ULL, true },
  68     { true, 0x7ffe, true, 0x100000000ULL, true },
  69     { false, 0x7ffe, false, 0, false },
  70     { true, 0x7ffe, false, 0, false },
  71     { false, 0x7ffe, false, 1, false },
  72     { true, 0x7ffe, false, 1, false },
  73     { false, 0x7ffe, false, 0x100000000ULL, false },
  74     { true, 0x7ffe, false, 0x100000000ULL, false },
  75     { false, 0x7fff, true, 0, true },
  76     { true, 0x7fff, true, 0, true },
  77     { false, 0x7fff, true, 1, true },
  78     { true, 0x7fff, true, 1, true },
  79     { false, 0x7fff, true, 0x100000000ULL, true },
  80     { true, 0x7fff, true, 0x100000000ULL, true },
  81     { false, 0x7fff, false, 0, M68K_VARIANT },
  82     { true, 0x7fff, false, 0, M68K_VARIANT },
  83     { false, 0x7fff, false, 1, M68K_VARIANT },
  84     { true, 0x7fff, false, 1, M68K_VARIANT },
  85     { false, 0x7fff, false, 0x100000000ULL, M68K_VARIANT },
  86     { true, 0x7fff, false, 0x100000000ULL, M68K_VARIANT },
  87   };
  88
  89 static int
  90 do_test (void)
  91 {
  92   int result = 0;
  93
  94   for (size_t i = 0; i < sizeof (tests) / sizeof (tests[0]); i++)
  95     {
  96       long double ld;
  97       SET_LDOUBLE_WORDS (ld, tests[i].exponent | (tests[i].sign << 15),
  98                          (tests[i].mantissa >> 32) | (tests[i].high << 31),
  99                          tests[i].mantissa & 0xffffffffULL);
 100       bool canonical = iscanonical (ld);
 101       if (canonical == tests[i].canonical)
 102         {
 103           printf ("PASS: iscanonical test %zu\n", i);
 104           long double ldc = 12345.0L;
 105           bool canonicalize_ret = canonicalizel (&ldc, &ld);
 106           if (canonicalize_ret == !canonical)
 107             {
 108               printf ("PASS: canonicalizel test %zu\n", i);
 109               bool canon_ok;
 110               if (!canonical)
 111                 canon_ok = ldc == 12345.0L;
 112               else if (isnan (ld))
 113                 canon_ok = isnan (ldc) && !issignaling (ldc);
 114               else
 115                 canon_ok = ldc == ld;
 116               if (canon_ok)
 117                 printf ("PASS: canonicalized value test %zu\n", i);
 118               else
 119                 {
 120                   printf ("FAIL: canonicalized value test %zu\n", i);
 121                   result = 1;
 122                 }
 123             }
 124           else
 125             {
 126               printf ("FAIL: canonicalizel test %zu\n", i);
 127               result = 1;
 128             }
 129         }
 130       else
 131         {
 132           printf ("FAIL: iscanonical test %zu\n", i);
 133           result = 1;
 134         }
 135     }
 136
 137   return result;
 138 }
 139
 140 #define TEST_FUNCTION do_test ()
 141 #include "../test-skeleton.c"