git.gag.com Git - fw/sdcc/blob - device/lib/pic/libsdcc/fsdiv.c

   1 /*
   2 ** libgcc support for software floating point.
   3 ** Copyright (C) 1991 by Pipeline Associates, Inc.  All rights reserved.
   4 ** Permission is granted to do *anything* you want with this file,
   5 ** commercial or otherwise, provided this message remains intact.  So there!
   6 ** I would appreciate receiving any updates/patches/changes that anyone
   7 ** makes, and am willing to be the repository for said changes (am I
   8 ** making a big mistake?).
   9 **
  10 ** Pat Wood
  11 ** Pipeline Associates, Inc.
  12 ** pipeline!phw@motown.com or
  13 ** sun!pipeline!phw or
  14 ** uunet!motown!pipeline!phw
  15 */
  16
  17 /*
  18 ** $Id: fsdiv.c 3513 2004-10-01 14:49:51Z vrokas $
  19 */
  20
  21 /* (c)2000/2001: hacked a little by johan.knol@iduna.nl for sdcc */
  22
  23 #include <float.h>
  24
  25 union float_long
  26   {
  27     float f;
  28     long l;
  29   };
  30
  31 /* divide two floats */
  32 float __fsdiv (float a1, float a2) _FS_REENTRANT
  33 {
  34   FS_STATIC volatile union float_long fl1, fl2;
  35   long result;
  36   unsigned long mask;
  37   long mant1, mant2;
  38   int exp ;
  39   char sign;
  40
  41   fl1.f = a1;
  42   fl2.f = a2;
  43
  44   /* subtract exponents */
  45   exp = EXP (fl1.l) ;
  46   exp -= EXP (fl2.l);
  47   exp += EXCESS;
  48
  49   /* compute sign */
  50   sign = SIGN (fl1.l) ^ SIGN (fl2.l);
  51
  52   /* divide by zero??? */
  53   if (!fl2.l)
  54     /* return NaN or -NaN */
  55     return (-1.0);
  56
  57   /* numerator zero??? */
  58   if (!fl1.l)
  59     return (0);
  60
  61   /* now get mantissas */
  62   mant1 = MANT (fl1.l);
  63   mant2 = MANT (fl2.l);
  64
  65   /* this assures we have 25 bits of precision in the end */
  66   if (mant1 < mant2)
  67     {
  68       mant1 <<= 1;
  69       exp--;
  70     }
  71
  72   /* now we perform repeated subtraction of fl2.l from fl1.l */
  73   mask = 0x1000000;
  74   result = 0;
  75   while (mask)
  76     {
  77       if (mant1 >= mant2)
  78         {
  79           result |= mask;
  80           mant1 -= mant2;
  81         }
  82       mant1 <<= 1;
  83       mask >>= 1;
  84     }
  85
  86   /* round */
  87   result += 1;
  88
  89   /* normalize down */
  90   exp++;
  91   result >>= 1;
  92
  93   result &= ~HIDDEN;
  94
  95   /* pack up and go home */
  96   fl1.l = PACK (sign ? 1ul<<31 : 0, (unsigned long) exp, result);
  97   return (fl1.f);
  98 }
  99