home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 22 gnu / 22-gnu.zip / gmp202.zip / extract-double.c < prev    next >
C/C++ Source or Header  |  1996-06-04  |  3KB  |  161 lines
  1. /* __gmp_extract_double -- convert from double to array of mp_limb_t.
  2.  
  3. Copyright (C) 1996 Free Software Foundation, Inc.
  4.  
  5. This file is part of the GNU MP Library.
  6.  
  7. The GNU MP Library is free software; you can redistribute it and/or modify
  8. it under the terms of the GNU Library General Public License as published by
  9. the Free Software Foundation; either version 2 of the License, or (at your
  10. option) any later version.
  11.  
  12. The GNU MP Library is distributed in the hope that it will be useful, but
  13. WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  14. or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Library General Public
  15. License for more details.
  16.  
  17. You should have received a copy of the GNU Library General Public License
  18. along with the GNU MP Library; see the file COPYING.LIB.  If not, write to
  19. the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  20. MA 02111-1307, USA. */
  21.  
  22. #include "gmp.h"
  23. #include "gmp-impl.h"
  24.  
  25. #ifdef XDEBUG
  26. #undef _GMP_IEEE_FLOATS
  27. #endif
  28.  
  29. #ifndef _GMP_IEEE_FLOATS
  30. #define _GMP_IEEE_FLOATS 0
  31. #endif
  32.  
  33. #define MP_BASE_AS_DOUBLE (2.0 * ((mp_limb_t) 1 << (BITS_PER_MP_LIMB - 1)))
  34.  
  35. /* Extract a non-negative double in d.  */
  36.  
  37. int
  38. #if __STDC__
  39. __gmp_extract_double (mp_ptr rp, double d)
  40. #else
  41. __gmp_extract_double (rp, d)
  42.      mp_ptr rp;
  43.      double d;
  44. #endif
  45. {
  46.   long exp;
  47.   unsigned sc;
  48.   mp_limb_t manh, manl;
  49.  
  50.   /* BUGS
  51.  
  52.      1. Should handle Inf and NaN in IEEE specific code.
  53.      2. Handle Inf and NaN also in default code, to avoid hangs.
  54.      3. Generalize to handle all BITS_PER_MP_LIMB >= 32.
  55.      4. This lits is incomplete and misspelled.
  56.    */
  57.  
  58.   if (d == 0.0)
  59.     {
  60.       rp[0] = 0;
  61.       rp[1] = 0;
  62. #if BITS_PER_MP_LIMB == 32
  63.       rp[2] = 0;
  64. #endif
  65.       return 0;
  66.     }
  67.  
  68. #if _GMP_IEEE_FLOATS
  69.   {
  70.     union ieee_double_extract x;
  71.     x.d = d;
  72.  
  73.     exp = x.s.exp;
  74.     sc = (unsigned) (exp + 2) % BITS_PER_MP_LIMB;
  75. #if BITS_PER_MP_LIMB == 64
  76.     manl = (((mp_limb_t) 1 << 63)
  77.         | ((mp_limb_t) x.s.manh << 43) | ((mp_limb_t) x.s.manl << 11));
  78. #else
  79.     manh = ((mp_limb_t) 1 << 31) | (x.s.manh << 11) | (x.s.manl >> 21);
  80.     manl = x.s.manl << 11;
  81. #endif
  82.   }
  83. #else
  84.   {
  85.     /* Unknown (or known to be non-IEEE) double format.  */
  86.     exp = 0;
  87.     if (d >= 1.0)
  88.       {
  89.     if (d * 0.5 == d)
  90.       abort ();
  91.  
  92.     while (d >= 32768.0)
  93.       {
  94.         d *= (1.0 / 65536.0);
  95.         exp += 16;
  96.       }
  97.     while (d >= 1.0)
  98.       {
  99.         d *= 0.5;
  100.         exp += 1;
  101.       }
  102.       }
  103.     else if (d < 0.5)
  104.       {
  105.     while (d < (1.0 / 65536.0))
  106.       {
  107.         d *=  65536.0;
  108.         exp -= 16;
  109.       }
  110.     while (d < 0.5)
  111.       {
  112.         d *= 2.0;
  113.         exp -= 1;
  114.       }
  115.       }
  116.  
  117.     sc = (unsigned) exp % BITS_PER_MP_LIMB;
  118.  
  119.     d *= MP_BASE_AS_DOUBLE;
  120. #if BITS_PER_MP_LIMB == 64
  121.     manl = d;
  122. #else
  123.     manh = d;
  124.     manl = (d - manh) * MP_BASE_AS_DOUBLE;
  125. #endif
  126.  
  127.     exp += 1022;
  128.   }
  129. #endif
  130.  
  131.   exp = (unsigned) (exp + 1) / BITS_PER_MP_LIMB - 1024 / BITS_PER_MP_LIMB + 1;
  132.  
  133. #if BITS_PER_MP_LIMB == 64
  134.   if (sc != 0)
  135.     {
  136.       rp[1] = manl >> (BITS_PER_MP_LIMB - sc);
  137.       rp[0] = manl << sc;
  138.     }
  139.   else
  140.     {
  141.       rp[1] = manl;
  142.       rp[0] = 0;
  143.     }
  144. #else
  145.   if (sc != 0)
  146.     {
  147.       rp[2] = manh >> (BITS_PER_MP_LIMB - sc);
  148.       rp[1] = (manl >> (BITS_PER_MP_LIMB - sc)) | (manh << sc);
  149.       rp[0] = manl << sc;
  150.     }
  151.   else
  152.     {
  153.       rp[2] = manh;
  154.       rp[1] = manl;
  155.       rp[0] = 0;
  156.     }
  157. #endif
  158.  
  159.   return exp;
  160. }
  161.