nsz Git - musl/blob - src/math/fmodl.c

   1 #include "libm.h"
   2
   3 #if LDBL_MANT_DIG == 53 && LDBL_MAX_EXP == 1024
   4 long double fmodl(long double x, long double y)
   5 {
   6         return fmod(x, y);
   7 }
   8 #elif (LDBL_MANT_DIG == 64 || LDBL_MANT_DIG == 113) && LDBL_MAX_EXP == 16384
   9 long double fmodl(long double x, long double y)
  10 {
  11         union ldshape ux = {x}, uy = {y};
  12         int ex = ux.i.se & 0x7fff;
  13         int ey = uy.i.se & 0x7fff;
  14         int sx = ux.i.se & 0x8000;
  15
  16         if (y == 0 || isnan(y) || ex == 0x7fff)
  17                 return (x*y)/(x*y);
  18         ux.i.se = ex;
  19         uy.i.se = ey;
  20         if (ux.f <= uy.f) {
  21                 if (ux.f == uy.f)
  22                         return 0*x;
  23                 return x;
  24         }
  25
  26         /* normalize x and y */
  27         if (!ex) {
  28                 ux.f *= 0x1p120f;
  29                 ex = ux.i.se - 120;
  30         }
  31         if (!ey) {
  32                 uy.f *= 0x1p120f;
  33                 ey = uy.i.se - 120;
  34         }
  35
  36         /* x mod y */
  37 #if LDBL_MANT_DIG == 64
  38         uint64_t i, mx, my;
  39         mx = ux.i.m;
  40         my = uy.i.m;
  41         for (; ex > ey; ex--) {
  42                 i = mx - my;
  43                 if (mx >= my) {
  44                         if (i == 0)
  45                                 return 0*x;
  46                         mx = 2*i;
  47                 } else if (2*mx < mx) {
  48                         mx = 2*mx - my;
  49                 } else {
  50                         mx = 2*mx;
  51                 }
  52         }
  53         i = mx - my;
  54         if (mx >= my) {
  55                 if (i == 0)
  56                         return 0*x;
  57                 mx = i;
  58         }
  59         for (; mx >> 63 == 0; mx *= 2, ex--);
  60         ux.i.m = mx;
  61 #elif LDBL_MANT_DIG == 113
  62         uint64_t hi, lo, xhi, xlo, yhi, ylo;
  63         xhi = (ux.i2.hi & -1ULL>>16) | 1ULL<<48;
  64         yhi = (uy.i2.hi & -1ULL>>16) | 1ULL<<48;
  65         xlo = ux.i2.lo;
  66         ylo = uy.i2.lo;
  67         for (; ex > ey; ex--) {
  68                 hi = xhi - yhi;
  69                 lo = xlo - ylo;
  70                 if (xlo < ylo)
  71                         hi -= 1;
  72                 if (hi >> 63 == 0) {
  73                         if ((hi|lo) == 0)
  74                                 return 0*x;
  75                         xhi = 2*hi + (lo>>63);
  76                         xlo = 2*lo;
  77                 } else {
  78                         xhi = 2*xhi + (xlo>>63);
  79                         xlo = 2*xlo;
  80                 }
  81         }
  82         hi = xhi - yhi;
  83         lo = xlo - ylo;
  84         if (xlo < ylo)
  85                 hi -= 1;
  86         if (hi >> 63 == 0) {
  87                 if ((hi|lo) == 0)
  88                         return 0*x;
  89                 xhi = hi;
  90                 xlo = lo;
  91         }
  92         for (; xhi >> 48 == 0; xhi = 2*xhi + (xlo>>63), xlo = 2*xlo, ex--);
  93         ux.i2.hi = xhi;
  94         ux.i2.lo = xlo;
  95 #endif
  96
  97         /* scale result */
  98         if (ex <= 0) {
  99                 ux.i.se = (ex+120)|sx;
 100                 ux.f *= 0x1p-120f;
 101         } else
 102                 ux.i.se = ex|sx;
 103         return ux.f;
 104 }
 105 #endif