2006-07-26 Maarten Brock <sourceforge.brock AT dse.nl>
+ * device/lib/pic/libsdcc/fsdiv.c,
+ * device/lib/pic/libsdcc/fsmul.c,
+ * device/lib/pic16/libsdcc/float/fsdiv.c,
+ * device/lib/pic16/libsdcc/float/fsmul.c,
* device/lib/_fsdiv.c,
* device/lib/_fsmul.c: bugfix, handle too large and too small numbers
* support/regression/tests/bug1520966.c: added
-/*
-** libgcc support for software floating point.
-** Copyright (C) 1991 by Pipeline Associates, Inc. All rights reserved.
-** Permission is granted to do *anything* you want with this file,
-** commercial or otherwise, provided this message remains intact. So there!
-** I would appreciate receiving any updates/patches/changes that anyone
-** makes, and am willing to be the repository for said changes (am I
-** making a big mistake?).
-**
-** Pat Wood
-** Pipeline Associates, Inc.
-** pipeline!phw@motown.com or
-** sun!pipeline!phw or
-** uunet!motown!pipeline!phw
-*/
-
-/*
-** $Id: fsdiv.c 3513 2004-10-01 14:49:51Z vrokas $
-*/
-
-/* (c)2000/2001: hacked a little by johan.knol@iduna.nl for sdcc */
-
-#include <float.h>
-
-union float_long
- {
- float f;
- long l;
- };
-
-/* divide two floats */
-float __fsdiv (float a1, float a2) _FS_REENTRANT
-{
- FS_STATIC volatile union float_long fl1, fl2;
- long result;
- unsigned long mask;
- long mant1, mant2;
- int exp ;
- char sign;
-
- fl1.f = a1;
- fl2.f = a2;
-
- /* subtract exponents */
- exp = EXP (fl1.l) ;
- exp -= EXP (fl2.l);
- exp += EXCESS;
-
- /* compute sign */
- sign = SIGN (fl1.l) ^ SIGN (fl2.l);
-
- /* divide by zero??? */
- if (!fl2.l)
- /* return NaN or -NaN */
- return (-1.0);
-
- /* numerator zero??? */
- if (!fl1.l)
- return (0);
-
- /* now get mantissas */
- mant1 = MANT (fl1.l);
- mant2 = MANT (fl2.l);
-
- /* this assures we have 25 bits of precision in the end */
- if (mant1 < mant2)
- {
- mant1 <<= 1;
- exp--;
- }
-
- /* now we perform repeated subtraction of fl2.l from fl1.l */
- mask = 0x1000000;
- result = 0;
- while (mask)
- {
- if (mant1 >= mant2)
- {
- result |= mask;
- mant1 -= mant2;
- }
- mant1 <<= 1;
- mask >>= 1;
- }
-
- /* round */
- result += 1;
-
- /* normalize down */
- exp++;
- result >>= 1;
-
- result &= ~HIDDEN;
-
- /* pack up and go home */
- fl1.l = PACK (sign ? 1ul<<31 : 0, (unsigned long) exp, result);
- return (fl1.f);
-}
-
+/*\r
+** libgcc support for software floating point.\r
+** Copyright (C) 1991 by Pipeline Associates, Inc. All rights reserved.\r
+** Permission is granted to do *anything* you want with this file,\r
+** commercial or otherwise, provided this message remains intact. So there!\r
+** I would appreciate receiving any updates/patches/changes that anyone\r
+** makes, and am willing to be the repository for said changes (am I\r
+** making a big mistake?).\r
+**\r
+** Pat Wood\r
+** Pipeline Associates, Inc.\r
+** pipeline!phw@motown.com or\r
+** sun!pipeline!phw or\r
+** uunet!motown!pipeline!phw\r
+*/\r
+\r
+/*\r
+** $Id: fsdiv.c 3513 2004-10-01 14:49:51Z vrokas $\r
+*/\r
+\r
+/* (c)2000/2001: hacked a little by johan.knol@iduna.nl for sdcc */\r
+\r
+#include <float.h>\r
+\r
+union float_long\r
+ {\r
+ float f;\r
+ long l;\r
+ };\r
+\r
+/* divide two floats */\r
+float __fsdiv (float a1, float a2) _FS_REENTRANT\r
+{\r
+ FS_STATIC volatile union float_long fl1, fl2;\r
+ long result;\r
+ unsigned long mask;\r
+ long mant1, mant2;\r
+ int exp ;\r
+ char sign;\r
+\r
+ fl1.f = a1;\r
+ fl2.f = a2;\r
+\r
+ /* subtract exponents */\r
+ exp = EXP (fl1.l) ;\r
+ exp -= EXP (fl2.l);\r
+ exp += EXCESS;\r
+\r
+ /* compute sign */\r
+ sign = SIGN (fl1.l) ^ SIGN (fl2.l);\r
+\r
+ /* divide by zero??? */\r
+ if (!fl2.l)\r
+ {/* return NaN or -NaN */\r
+ fl2.l = 0x7FC00000;\r
+ return (fl2.f);\r
+ }\r
+\r
+ /* numerator zero??? */\r
+ if (!fl1.l)\r
+ return (0);\r
+\r
+ /* now get mantissas */\r
+ mant1 = MANT (fl1.l);\r
+ mant2 = MANT (fl2.l);\r
+\r
+ /* this assures we have 25 bits of precision in the end */\r
+ if (mant1 < mant2)\r
+ {\r
+ mant1 <<= 1;\r
+ exp--;\r
+ }\r
+\r
+ /* now we perform repeated subtraction of fl2.l from fl1.l */\r
+ mask = 0x1000000;\r
+ result = 0;\r
+ while (mask)\r
+ {\r
+ if (mant1 >= mant2)\r
+ {\r
+ result |= mask;\r
+ mant1 -= mant2;\r
+ }\r
+ mant1 <<= 1;\r
+ mask >>= 1;\r
+ }\r
+\r
+ /* round */\r
+ result += 1;\r
+\r
+ /* normalize down */\r
+ exp++;\r
+ result >>= 1;\r
+\r
+ result &= ~HIDDEN;\r
+\r
+ /* pack up and go home */\r
+ if (exp >= 0x100)\r
+ fl1.l = (sign ? SIGNBIT : 0) | 0x7F800000;\r
+ else if (exp < 0)\r
+ fl1.l = 0;\r
+ else\r
+ fl1.l = PACK (sign ? SIGNBIT : 0 , exp, result);\r
+ return (fl1.f);\r
+}\r
+\r
-/*
-** libgcc support for software floating point.
-** Copyright (C) 1991 by Pipeline Associates, Inc. All rights reserved.
-** Permission is granted to do *anything* you want with this file,
-** commercial or otherwise, provided this message remains intact. So there!
-** I would appreciate receiving any updates/patches/changes that anyone
-** makes, and am willing to be the repository for said changes (am I
-** making a big mistake?).
-**
-** Pat Wood
-** Pipeline Associates, Inc.
-** pipeline!phw@motown.com or
-** sun!pipeline!phw or
-** uunet!motown!pipeline!phw
-*/
-
-/*
-** $Id: fsmul.c 3513 2004-10-01 14:49:51Z vrokas $
-*/
-
-/* (c)2000/2001: hacked a little by johan.knol@iduna.nl for sdcc */
-
-#include <float.h>
-
-union float_long
- {
- float f;
- unsigned long l;
- };
-
-/* multiply two floats */
-float __fsmul (float a1, float a2) _FS_REENTRANT
-{
- FS_STATIC volatile union float_long fl1, fl2;
- unsigned long result;
- int exp;
- char sign;
-
- fl1.f = a1;
- fl2.f = a2;
-
- if (!fl1.l || !fl2.l)
- return (0);
-
- /* compute sign and exponent */
- sign = SIGN (fl1.l) ^ SIGN (fl2.l);
- exp = EXP (fl1.l) - EXCESS;
- exp += EXP (fl2.l);
-
- fl1.l = MANT (fl1.l);
- fl2.l = MANT (fl2.l);
-
- /* the multiply is done as one 16x16 multiply and two 16x8 multiples */
- result = (fl1.l >> 8) * (fl2.l >> 8);
- result += ((fl1.l & (unsigned long) 0xFF) * (fl2.l >> 8)) >> 8;
- result += ((fl2.l & (unsigned long) 0xFF) * (fl1.l >> 8)) >> 8;
-
- if (0 != (result & SIGNBIT))
- {
- /* round */
- result += 0x80;
- result >>= 8;
- }
- else
- {
- /* round */
- result += 0x40;
- result >>= 7;
- exp--;
- }
-
- result &= ~HIDDEN;
-
- /* pack up and go home */
- fl1.l = PACK (sign ? SIGNBIT : 0 , (unsigned long)exp, result);
- return (fl1.f);
-}
-
-
-
-
+/*\r
+** libgcc support for software floating point.\r
+** Copyright (C) 1991 by Pipeline Associates, Inc. All rights reserved.\r
+** Permission is granted to do *anything* you want with this file,\r
+** commercial or otherwise, provided this message remains intact. So there!\r
+** I would appreciate receiving any updates/patches/changes that anyone\r
+** makes, and am willing to be the repository for said changes (am I\r
+** making a big mistake?).\r
+**\r
+** Pat Wood\r
+** Pipeline Associates, Inc.\r
+** pipeline!phw@motown.com or\r
+** sun!pipeline!phw or\r
+** uunet!motown!pipeline!phw\r
+*/\r
+\r
+/*\r
+** $Id: fsmul.c 3513 2004-10-01 14:49:51Z vrokas $\r
+*/\r
+\r
+/* (c)2000/2001: hacked a little by johan.knol@iduna.nl for sdcc */\r
+\r
+#include <float.h>\r
+\r
+union float_long\r
+ {\r
+ float f;\r
+ unsigned long l;\r
+ };\r
+\r
+/* multiply two floats */\r
+float __fsmul (float a1, float a2) _FS_REENTRANT\r
+{\r
+ FS_STATIC volatile union float_long fl1, fl2;\r
+ unsigned long result;\r
+ int exp;\r
+ char sign;\r
+ \r
+ fl1.f = a1;\r
+ fl2.f = a2;\r
+\r
+ if (!fl1.l || !fl2.l)\r
+ return (0);\r
+\r
+ /* compute sign and exponent */\r
+ sign = SIGN (fl1.l) ^ SIGN (fl2.l);\r
+ exp = EXP (fl1.l) - EXCESS;\r
+ exp += EXP (fl2.l);\r
+\r
+ fl1.l = MANT (fl1.l);\r
+ fl2.l = MANT (fl2.l);\r
+\r
+ /* the multiply is done as one 16x16 multiply and two 16x8 multiples */\r
+ result = (fl1.l >> 8) * (fl2.l >> 8);\r
+ result += ((fl1.l & (unsigned long) 0xFF) * (fl2.l >> 8)) >> 8;\r
+ result += ((fl2.l & (unsigned long) 0xFF) * (fl1.l >> 8)) >> 8;\r
+\r
+ if (0 != (result & SIGNBIT))\r
+ {\r
+ /* round */\r
+ result += 0x80;\r
+ result >>= 8;\r
+ }\r
+ else\r
+ {\r
+ /* round */\r
+ result += 0x40;\r
+ result >>= 7;\r
+ exp--;\r
+ }\r
+\r
+ result &= ~HIDDEN;\r
+\r
+ /* pack up and go home */\r
+ if (exp >= 0x100)\r
+ fl1.l = (sign ? SIGNBIT : 0) | 0x7F800000;\r
+ else if (exp < 0)\r
+ fl1.l = 0;\r
+ else\r
+ fl1.l = PACK (sign ? SIGNBIT : 0 , exp, result);\r
+ return (fl1.f);\r
+}\r
+\r
+\r
+\r
+\r
volatile long result;
volatile unsigned long mask;
volatile long mant1, mant2;
- volatile int exp ;
+ volatile int exp;
char sign;
fl1.f = a1;
/* divide by zero??? */
if (!fl2.l)
- /* return NaN or -NaN */
- return (-1.0);
+ {/* return NaN or -NaN */
+ fl2.l = 0x7FC00000;
+ return (fl2.f);
+ }
/* numerator zero??? */
if (!fl1.l)
result &= ~HIDDEN;
/* pack up and go home */
- fl1.l = PACK (sign ? 1ul<<31 : 0, (unsigned long) exp, result);
+ if (exp >= 0x100)
+ fl1.l = (sign ? SIGNBIT : 0) | 0x7F800000;
+ else if (exp < 0)
+ fl1.l = 0;
+ else
+ fl1.l = PACK (sign ? SIGNBIT : 0 , exp, result);
return (fl1.f);
}
result &= ~HIDDEN;
/* pack up and go home */
- fl1.l = PACK (sign ? SIGNBIT : 0 , (unsigned long)exp, result);
+ if (exp >= 0x100)
+ fl1.l = (sign ? SIGNBIT : 0) | 0x7F800000;
+ else if (exp < 0)
+ fl1.l = 0;
+ else
+ fl1.l = PACK (sign ? SIGNBIT : 0 , exp, result);
return (fl1.f);
}