lib/libm/common_source/fmod.c

   1 /*
   2  * Copyright (c) 1989, 1993
   3  *      The Regents of the University of California.  All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  * 1. Redistributions of source code must retain the above copyright
   9  *    notice, this list of conditions and the following disclaimer.
  10  * 2. Redistributions in binary form must reproduce the above copyright
  11  *    notice, this list of conditions and the following disclaimer in the
  12  *    documentation and/or other materials provided with the distribution.
  13  * 3. All advertising materials mentioning features or use of this software
  14  *    must display the following acknowledgement:
  15  *      This product includes software developed by the University of
  16  *      California, Berkeley and its contributors.
  17  * 4. Neither the name of the University nor the names of its contributors
  18  *    may be used to endorse or promote products derived from this software
  19  *    without specific prior written permission.
  20  *
  21  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
  22  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  23  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  24  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
  25  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  26  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  27  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  28  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  29  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  30  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  31  * SUCH DAMAGE.
  32  *
  33  * @(#)fmod.c   8.1 (Berkeley) 6/4/93
  34  */
  35
  36 /* fmod.c
  37  *
  38  * SYNOPSIS
  39  *
  40  *    #include <math.h>
  41  *    double fmod(double x, double y)
  42  *
  43  * DESCRIPTION
  44  *
  45  *    The fmod function computes the floating-point remainder of x/y.
  46  *
  47  * RETURNS
  48  *
  49  *    The fmod function returns the value x-i*y, for some integer i
  50  * such that, if y is nonzero, the result has the same sign as x and
  51  * magnitude less than the magnitude of y.
  52  *
  53  * On a VAX or CCI,
  54  *
  55  *    fmod(x,0) traps/faults on floating-point divided-by-zero.
  56  *
  57  * On IEEE-754 conforming machines with "isnan()" primitive,
  58  *
  59  *    fmod(x,0), fmod(INF,y) are invalid operations and NaN is returned.
  60  *
  61  */
  62 #if !defined(vax) && !defined(tahoe)
  63 extern int isnan(),finite();
  64 #endif  /* !defined(vax) && !defined(tahoe) */
  65 extern double frexp(),ldexp(),fabs();
  66
  67 #ifdef TEST_FMOD
  68 static double
  69 _fmod(x,y)
  70 #else   /* TEST_FMOD */
  71 double
  72 fmod(x,y)
  73 #endif  /* TEST_FMOD */
  74 double x,y;
  75 {
  76         int ir,iy;
  77         double r,w;
  78
  79         if (y == (double)0
  80 #if !defined(vax) && !defined(tahoe)    /* per "fmod" manual entry, SunOS 4.0 */
  81                 || isnan(y) || !finite(x)
  82 #endif  /* !defined(vax) && !defined(tahoe) */
  83             )
  84             return (x*y)/(x*y);
  85
  86         r = fabs(x);
  87         y = fabs(y);
  88         (void)frexp(y,&iy);
  89         while (r >= y) {
  90                 (void)frexp(r,&ir);
  91                 w = ldexp(y,ir-iy);
  92                 r -= w <= r ? w : w*(double)0.5;
  93         }
  94         return x >= (double)0 ? r : -r;
  95 }
  96
  97 #ifdef TEST_FMOD
  98 extern long random();
  99 extern double fmod();
 100
 101 #define NTEST   10000
 102 #define NCASES  3
 103
 104 static int nfail = 0;
 105
 106 static void
 107 doit(x,y)
 108 double x,y;
 109 {
 110         double ro = fmod(x,y),rn = _fmod(x,y);
 111         if (ro != rn) {
 112                 (void)printf(" x    = 0x%08.8x %08.8x (%24.16e)\n",x,x);
 113                 (void)printf(" y    = 0x%08.8x %08.8x (%24.16e)\n",y,y);
 114                 (void)printf(" fmod = 0x%08.8x %08.8x (%24.16e)\n",ro,ro);
 115                 (void)printf("_fmod = 0x%08.8x %08.8x (%24.16e)\n",rn,rn);
 116                 (void)printf("\n");
 117         }
 118 }
 119
 120 main()
 121 {
 122         register int i,cases;
 123         double x,y;
 124
 125         srandom(12345);
 126         for (i = 0; i < NTEST; i++) {
 127                 x = (double)random();
 128                 y = (double)random();
 129                 for (cases = 0; cases < NCASES; cases++) {
 130                         switch (cases) {
 131                         case 0:
 132                                 break;
 133                         case 1:
 134                                 y = (double)1/y; break;
 135                         case 2:
 136                                 x = (double)1/x; break;
 137                         default:
 138                                 abort(); break;
 139                         }
 140                         doit(x,y);
 141                         doit(x,-y);
 142                         doit(-x,y);
 143                         doit(-x,-y);
 144                 }
 145         }
 146         if (nfail)
 147                 (void)printf("Number of failures: %d (out of a total of %d)\n",
 148                         nfail,NTEST*NCASES*4);
 149         else
 150                 (void)printf("No discrepancies were found\n");
 151         exit(0);
 152 }
 153 #endif  /* TEST_FMOD */