lib/remainderf.c

   1 /* Remainder.
   2    Copyright (C) 2012 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 <http://www.gnu.org/licenses/>.  */
  16
  17 #include <config.h>
  18
  19 /* Specification.  */
  20 #include <math.h>
  21
  22 float
  23 remainderf (float x, float y)
  24 {
  25 #if HAVE_REMAINDER
  26   return (float) remainder ((double) x, (double) y);
  27 #else
  28   float q = - roundf (x / y);
  29   float r = fmaf (q, y, x); /* = x + q * y, computed in one step */
  30   /* Correct possible rounding errors in the quotient x / y.  */
  31   float half_y = 0.5L * y;
  32   if (y >= 0)
  33     {
  34       /* Expect -y/2 <= r <= y/2.  */
  35       if (r > half_y)
  36         q -= 1, r = fmaf (q, y, x);
  37       else if (r < - half_y)
  38         q += 1, r = fmaf (q, y, x);
  39     }
  40   else
  41     {
  42       /* Expect y/2 <= r <= -y/2.  */
  43       if (r > - half_y)
  44         q += 1, r = fmaf (q, y, x);
  45       else if (r < half_y)
  46         q -= 1, r = fmaf (q, y, x);
  47     }
  48   return r;
  49 #endif
  50 }