tests/test-floorf1.c

   1 /* Test of rounding towards negative infinity.
   2    Copyright (C) 2007-2024 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 /* Written by Bruno Haible <bruno@clisp.org>, 2007.  */
  18
  19 #include <config.h>
  20
  21 #include <math.h>
  22
  23 #include "signature.h"
  24 SIGNATURE_CHECK (floorf, float, (float));
  25
  26 #include "isnanf-nolibm.h"
  27 #include "minus-zero.h"
  28 #include "infinity.h"
  29 #include "nan.h"
  30 #include "macros.h"
  31
  32 /* If IEEE compliance was not requested, the ICC compiler inlines its
  33    own floorf assembly that turns -0.0f to 0.0f; but that is a correct
  34    result when IEEE is not enforced.  To avoid spurious failure, we
  35    have to provide this dummy function in order to outsmart ICC's
  36    inlining, and call our floorf through a function pointer.  */
  37 static float
  38 dummy (float f)
  39 {
  40   return 0;
  41 }
  42
  43 int
  44 main (int argc, _GL_UNUSED char **argv)
  45 {
  46   float (* volatile my_floorf) (float) = argc ? floorf : dummy;
  47
  48   /* Zero.  */
  49   ASSERT (my_floorf (0.0f) == 0.0f);
  50   ASSERT (my_floorf (minus_zerof) == 0.0f);
  51   /* Positive numbers.  */
  52   ASSERT (my_floorf (0.3f) == 0.0f);
  53   ASSERT (my_floorf (0.7f) == 0.0f);
  54   ASSERT (my_floorf (1.0f) == 1.0f);
  55   ASSERT (my_floorf (1.5f) == 1.0f);
  56   ASSERT (my_floorf (1.999f) == 1.0f);
  57   ASSERT (my_floorf (2.0f) == 2.0f);
  58   ASSERT (my_floorf (65535.99f) == 65535.0f);
  59   ASSERT (my_floorf (65536.0f) == 65536.0f);
  60   ASSERT (my_floorf (2.341e31f) == 2.341e31f);
  61   /* Negative numbers.  */
  62   ASSERT (my_floorf (-0.3f) == -1.0f);
  63   ASSERT (my_floorf (-0.7f) == -1.0f);
  64   ASSERT (my_floorf (-1.0f) == -1.0f);
  65   ASSERT (my_floorf (-1.001f) == -2.0f);
  66   ASSERT (my_floorf (-1.5f) == -2.0f);
  67   ASSERT (my_floorf (-1.999f) == -2.0f);
  68   ASSERT (my_floorf (-2.0f) == -2.0f);
  69   ASSERT (my_floorf (-65535.99f) == -65536.0f);
  70   ASSERT (my_floorf (-65536.0f) == -65536.0f);
  71   ASSERT (my_floorf (-2.341e31f) == -2.341e31f);
  72   /* Infinite numbers.  */
  73   ASSERT (my_floorf (Infinityf ()) == Infinityf ());
  74   ASSERT (my_floorf (- Infinityf ()) == - Infinityf ());
  75   /* NaNs.  */
  76   ASSERT (isnanf (my_floorf (NaNf ())));
  77
  78   return test_exit_status;
  79 }