sysdeps/libm-ieee754/s_remquo.c

   1 /* Compute remainder and a congruent to the quotient.
   2    Copyright (C) 1997 Free Software Foundation, Inc.
   3    This file is part of the GNU C Library.
   4    Contributed by Ulrich Drepper <drepper@cygnus.com>, 1997.
   5
   6    The GNU C Library is free software; you can redistribute it and/or
   7    modify it under the terms of the GNU Library General Public License as
   8    published by the Free Software Foundation; either version 2 of the
   9    License, or (at your option) any later version.
  10
  11    The GNU C Library is distributed in the hope that it will be useful,
  12    but WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14    Library General Public License for more details.
  15
  16    You should have received a copy of the GNU Library General Public
  17    License along with the GNU C Library; see the file COPYING.LIB.  If not,
  18    write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  19    Boston, MA 02111-1307, USA.  */
  20
  21 #include <math.h>
  22
  23 #include "math_private.h"
  24
  25
  26 static const double zero = 0.0;
  27
  28
  29 double
  30 __remquo (double x, double y, int *quo)
  31 {
  32   int32_t hx,hy;
  33   u_int32_t sx,lx,ly;
  34   int cquo, qs;
  35
  36   EXTRACT_WORDS (hx, lx, x);
  37   EXTRACT_WORDS (hy, ly, y);
  38   sx = hx & 0x80000000;
  39   qs = sx ^ (hy & 0x80000000);
  40   hy &= 0x7fffffff;
  41   hx &= 0x7fffffff;
  42
  43   /* Purge off exception values.  */
  44   if ((hy | ly) == 0)
  45     return (x * y) / (x * y);                   /* y = 0 */
  46   if ((hx >= 0x7ff00000)                        /* x not finite */
  47       || ((hy >= 0x7ff00000)                    /* p is NaN */
  48           && (((hy - 0x7ff00000) | ly) != 0)))
  49     return (x * y) / (x * y);
  50
  51   if (hy <= 0x7fbfffff)
  52     x = __ieee754_fmod (x, 8 * y);              /* now x < 8y */
  53
  54   if (((hx - hy) | (lx - ly)) == 0)
  55     {
  56       *quo = qs ? -1 : 1;
  57       return zero * x;
  58     }
  59
  60   x  = fabs (x);
  61   y  = fabs (y);
  62   cquo = 0;
  63
  64   if (x >= 4 * y)
  65     {
  66       x -= 4 * y;
  67       cquo += 4;
  68     }
  69   if (x >= 2 * y)
  70     {
  71       x -= 2 * y;
  72       cquo += 2;
  73     }
  74   if (x >= y)
  75     {
  76       x -= y;
  77       ++cquo;
  78     }
  79
  80   if (hy < 0x00200000)
  81     {
  82       if (x + x > y)
  83         {
  84           x -= y;
  85           if (x + x >= y)
  86             {
  87               x -= y;
  88               ++cquo;
  89             }
  90         }
  91     }
  92   else
  93     {
  94       double y_half = 0.5 * y;
  95       if (x > y_half)
  96         {
  97           x -= y;
  98           if (x >= y_half)
  99             {
 100               x -= y;
 101               ++cquo;
 102             }
 103         }
 104     }
 105
 106   *quo = qs ? -cquo : cquo;
 107
 108   if (sx)
 109     x = -x;
 110   return x;
 111 }
 112 weak_alias (__remquo, remquo)