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  * $DragonFly: src/lib/libm/common_source/Attic/fmod.c,v 1.3 2004/10/25 19:38:45 drhodus Exp $
  35  */
  36
  37 /* fmod.c
  38  *
  39  * SYNOPSIS
  40  *
  41  *    #include <math.h>
  42  *    double fmod(double x, double y)
  43  *
  44  * DESCRIPTION
  45  *
  46  *    The fmod function computes the floating-point remainder of x/y.
  47  *
  48  * RETURNS
  49  *
  50  *    The fmod function returns the value x-i*y, for some integer i
  51  * such that, if y is nonzero, the result has the same sign as x and
  52  * magnitude less than the magnitude of y.
  53  *
  54  * On a VAX or CCI,
  55  *
  56  *    fmod(x,0) traps/faults on floating-point divided-by-zero.
  57  *
  58  * On IEEE-754 conforming machines with "isnan()" primitive,
  59  *
  60  *    fmod(x,0), fmod(INF,y) are invalid operations and NaN is returned.
  61  *
  62  */
  63 #if !defined(vax) && !defined(tahoe)
  64 extern int isnan(),finite();
  65 #endif  /* !defined(vax) && !defined(tahoe) */
  66 extern double frexp(),ldexp(),fabs();
  67
  68 #ifdef TEST_FMOD
  69 static double
  70 _fmod(x,y)
  71 #else   /* TEST_FMOD */
  72 double
  73 fmod(x,y)
  74 #endif  /* TEST_FMOD */
  75 double x,y;
  76 {
  77         int ir,iy;
  78         double r,w;
  79
  80         if (y == (double)0
  81 #if !defined(vax) && !defined(tahoe)    /* per "fmod" manual entry, SunOS 4.0 */
  82                 || isnan(y) || !finite(x)
  83 #endif  /* !defined(vax) && !defined(tahoe) */
  84             )
  85             return (x*y)/(x*y);
  86
  87         r = fabs(x);
  88         y = fabs(y);
  89         (void)frexp(y,&iy);
  90         while (r >= y) {
  91                 (void)frexp(r,&ir);
  92                 w = ldexp(y,ir-iy);
  93                 r -= w <= r ? w : w*(double)0.5;
  94         }
  95         return x >= (double)0 ? r : -r;
  96 }
  97
  98 #ifdef TEST_FMOD
  99 extern long random();
 100 extern double fmod();
 101
 102 #define NTEST   10000
 103 #define NCASES  3
 104
 105 static int nfail = 0;
 106
 107 static void
 108 doit(x,y)
 109 double x,y;
 110 {
 111         double ro = fmod(x,y),rn = _fmod(x,y);
 112         if (ro != rn) {
 113                 (void)printf(" x    = 0x%08.8x %08.8x (%24.16e)\n",x,x);
 114                 (void)printf(" y    = 0x%08.8x %08.8x (%24.16e)\n",y,y);
 115                 (void)printf(" fmod = 0x%08.8x %08.8x (%24.16e)\n",ro,ro);
 116                 (void)printf("_fmod = 0x%08.8x %08.8x (%24.16e)\n",rn,rn);
 117                 (void)printf("\n");
 118         }
 119 }
 120
 121 main()
 122 {
 123         int i,cases;
 124         double x,y;
 125
 126         srandom(12345);
 127         for (i = 0; i < NTEST; i++) {
 128                 x = (double)random();
 129                 y = (double)random();
 130                 for (cases = 0; cases < NCASES; cases++) {
 131                         switch (cases) {
 132                         case 0:
 133                                 break;
 134                         case 1:
 135                                 y = (double)1/y; break;
 136                         case 2:
 137                                 x = (double)1/x; break;
 138                         default:
 139                                 abort(); break;
 140                         }
 141                         doit(x,y);
 142                         doit(x,-y);
 143                         doit(-x,y);
 144                         doit(-x,-y);
 145                 }
 146         }
 147         if (nfail)
 148                 (void)printf("Number of failures: %d (out of a total of %d)\n",
 149                         nfail,NTEST*NCASES*4);
 150         else
 151                 (void)printf("No discrepancies were found\n");
 152         exit(0);
 153 }
 154 #endif  /* TEST_FMOD */