11da177e4SLinus Torvalds /*
21da177e4SLinus Torvalds
31da177e4SLinus Torvalds fp_trig.c: floating-point math routines for the Linux-m68k
41da177e4SLinus Torvalds floating point emulator.
51da177e4SLinus Torvalds
61da177e4SLinus Torvalds Copyright (c) 1998-1999 David Huggins-Daines / Roman Zippel.
71da177e4SLinus Torvalds
81da177e4SLinus Torvalds I hereby give permission, free of charge, to copy, modify, and
91da177e4SLinus Torvalds redistribute this software, in source or binary form, provided that
101da177e4SLinus Torvalds the above copyright notice and the following disclaimer are included
111da177e4SLinus Torvalds in all such copies.
121da177e4SLinus Torvalds
131da177e4SLinus Torvalds THIS SOFTWARE IS PROVIDED "AS IS", WITH ABSOLUTELY NO WARRANTY, REAL
141da177e4SLinus Torvalds OR IMPLIED.
151da177e4SLinus Torvalds
161da177e4SLinus Torvalds */
171da177e4SLinus Torvalds
181da177e4SLinus Torvalds #include "fp_emu.h"
191da177e4SLinus Torvalds
201da177e4SLinus Torvalds static const struct fp_ext fp_one =
211da177e4SLinus Torvalds {
221da177e4SLinus Torvalds .exp = 0x3fff,
231da177e4SLinus Torvalds };
241da177e4SLinus Torvalds
251da177e4SLinus Torvalds extern struct fp_ext *fp_fadd(struct fp_ext *dest, const struct fp_ext *src);
261da177e4SLinus Torvalds extern struct fp_ext *fp_fdiv(struct fp_ext *dest, const struct fp_ext *src);
271da177e4SLinus Torvalds
281da177e4SLinus Torvalds struct fp_ext *
fp_fsqrt(struct fp_ext * dest,struct fp_ext * src)291da177e4SLinus Torvalds fp_fsqrt(struct fp_ext *dest, struct fp_ext *src)
301da177e4SLinus Torvalds {
311da177e4SLinus Torvalds struct fp_ext tmp, src2;
321da177e4SLinus Torvalds int i, exp;
331da177e4SLinus Torvalds
341da177e4SLinus Torvalds dprint(PINSTR, "fsqrt\n");
351da177e4SLinus Torvalds
361da177e4SLinus Torvalds fp_monadic_check(dest, src);
371da177e4SLinus Torvalds
381da177e4SLinus Torvalds if (IS_ZERO(dest))
391da177e4SLinus Torvalds return dest;
401da177e4SLinus Torvalds
411da177e4SLinus Torvalds if (dest->sign) {
421da177e4SLinus Torvalds fp_set_nan(dest);
431da177e4SLinus Torvalds return dest;
441da177e4SLinus Torvalds }
451da177e4SLinus Torvalds if (IS_INF(dest))
461da177e4SLinus Torvalds return dest;
471da177e4SLinus Torvalds
481da177e4SLinus Torvalds /*
491da177e4SLinus Torvalds * sqrt(m) * 2^(p) , if e = 2*p
501da177e4SLinus Torvalds * sqrt(m*2^e) =
511da177e4SLinus Torvalds * sqrt(2*m) * 2^(p) , if e = 2*p + 1
521da177e4SLinus Torvalds *
53*48fc7f7eSAdam Buchbinder * So we use the last bit of the exponent to decide whether to
541da177e4SLinus Torvalds * use the m or 2*m.
551da177e4SLinus Torvalds *
561da177e4SLinus Torvalds * Since only the fractional part of the mantissa is stored and
571da177e4SLinus Torvalds * the integer part is assumed to be one, we place a 1 or 2 into
581da177e4SLinus Torvalds * the fixed point representation.
591da177e4SLinus Torvalds */
601da177e4SLinus Torvalds exp = dest->exp;
611da177e4SLinus Torvalds dest->exp = 0x3FFF;
621da177e4SLinus Torvalds if (!(exp & 1)) /* lowest bit of exponent is set */
631da177e4SLinus Torvalds dest->exp++;
641da177e4SLinus Torvalds fp_copy_ext(&src2, dest);
651da177e4SLinus Torvalds
661da177e4SLinus Torvalds /*
670c79cf6aSSimon Arlott * The taylor row around a for sqrt(x) is:
681da177e4SLinus Torvalds * sqrt(x) = sqrt(a) + 1/(2*sqrt(a))*(x-a) + R
691da177e4SLinus Torvalds * With a=1 this gives:
701da177e4SLinus Torvalds * sqrt(x) = 1 + 1/2*(x-1)
711da177e4SLinus Torvalds * = 1/2*(1+x)
721da177e4SLinus Torvalds */
731da177e4SLinus Torvalds fp_fadd(dest, &fp_one);
741da177e4SLinus Torvalds dest->exp--; /* * 1/2 */
751da177e4SLinus Torvalds
761da177e4SLinus Torvalds /*
771da177e4SLinus Torvalds * We now apply the newton rule to the function
781da177e4SLinus Torvalds * f(x) := x^2 - r
791da177e4SLinus Torvalds * which has a null point on x = sqrt(r).
801da177e4SLinus Torvalds *
811da177e4SLinus Torvalds * It gives:
821da177e4SLinus Torvalds * x' := x - f(x)/f'(x)
831da177e4SLinus Torvalds * = x - (x^2 -r)/(2*x)
841da177e4SLinus Torvalds * = x - (x - r/x)/2
851da177e4SLinus Torvalds * = (2*x - x + r/x)/2
861da177e4SLinus Torvalds * = (x + r/x)/2
871da177e4SLinus Torvalds */
881da177e4SLinus Torvalds for (i = 0; i < 9; i++) {
891da177e4SLinus Torvalds fp_copy_ext(&tmp, &src2);
901da177e4SLinus Torvalds
911da177e4SLinus Torvalds fp_fdiv(&tmp, dest);
921da177e4SLinus Torvalds fp_fadd(dest, &tmp);
931da177e4SLinus Torvalds dest->exp--;
941da177e4SLinus Torvalds }
951da177e4SLinus Torvalds
961da177e4SLinus Torvalds dest->exp += (exp - 0x3FFF) / 2;
971da177e4SLinus Torvalds
981da177e4SLinus Torvalds return dest;
991da177e4SLinus Torvalds }
1001da177e4SLinus Torvalds
1011da177e4SLinus Torvalds struct fp_ext *
fp_fetoxm1(struct fp_ext * dest,struct fp_ext * src)1021da177e4SLinus Torvalds fp_fetoxm1(struct fp_ext *dest, struct fp_ext *src)
1031da177e4SLinus Torvalds {
1041da177e4SLinus Torvalds uprint("fetoxm1\n");
1051da177e4SLinus Torvalds
1061da177e4SLinus Torvalds fp_monadic_check(dest, src);
1071da177e4SLinus Torvalds
1081da177e4SLinus Torvalds return dest;
1091da177e4SLinus Torvalds }
1101da177e4SLinus Torvalds
1111da177e4SLinus Torvalds struct fp_ext *
fp_fetox(struct fp_ext * dest,struct fp_ext * src)1121da177e4SLinus Torvalds fp_fetox(struct fp_ext *dest, struct fp_ext *src)
1131da177e4SLinus Torvalds {
1141da177e4SLinus Torvalds uprint("fetox\n");
1151da177e4SLinus Torvalds
1161da177e4SLinus Torvalds fp_monadic_check(dest, src);
1171da177e4SLinus Torvalds
1181da177e4SLinus Torvalds return dest;
1191da177e4SLinus Torvalds }
1201da177e4SLinus Torvalds
1211da177e4SLinus Torvalds struct fp_ext *
fp_ftwotox(struct fp_ext * dest,struct fp_ext * src)1221da177e4SLinus Torvalds fp_ftwotox(struct fp_ext *dest, struct fp_ext *src)
1231da177e4SLinus Torvalds {
1241da177e4SLinus Torvalds uprint("ftwotox\n");
1251da177e4SLinus Torvalds
1261da177e4SLinus Torvalds fp_monadic_check(dest, src);
1271da177e4SLinus Torvalds
1281da177e4SLinus Torvalds return dest;
1291da177e4SLinus Torvalds }
1301da177e4SLinus Torvalds
1311da177e4SLinus Torvalds struct fp_ext *
fp_ftentox(struct fp_ext * dest,struct fp_ext * src)1321da177e4SLinus Torvalds fp_ftentox(struct fp_ext *dest, struct fp_ext *src)
1331da177e4SLinus Torvalds {
1341da177e4SLinus Torvalds uprint("ftentox\n");
1351da177e4SLinus Torvalds
1361da177e4SLinus Torvalds fp_monadic_check(dest, src);
1371da177e4SLinus Torvalds
1381da177e4SLinus Torvalds return dest;
1391da177e4SLinus Torvalds }
1401da177e4SLinus Torvalds
1411da177e4SLinus Torvalds struct fp_ext *
fp_flogn(struct fp_ext * dest,struct fp_ext * src)1421da177e4SLinus Torvalds fp_flogn(struct fp_ext *dest, struct fp_ext *src)
1431da177e4SLinus Torvalds {
1441da177e4SLinus Torvalds uprint("flogn\n");
1451da177e4SLinus Torvalds
1461da177e4SLinus Torvalds fp_monadic_check(dest, src);
1471da177e4SLinus Torvalds
1481da177e4SLinus Torvalds return dest;
1491da177e4SLinus Torvalds }
1501da177e4SLinus Torvalds
1511da177e4SLinus Torvalds struct fp_ext *
fp_flognp1(struct fp_ext * dest,struct fp_ext * src)1521da177e4SLinus Torvalds fp_flognp1(struct fp_ext *dest, struct fp_ext *src)
1531da177e4SLinus Torvalds {
1541da177e4SLinus Torvalds uprint("flognp1\n");
1551da177e4SLinus Torvalds
1561da177e4SLinus Torvalds fp_monadic_check(dest, src);
1571da177e4SLinus Torvalds
1581da177e4SLinus Torvalds return dest;
1591da177e4SLinus Torvalds }
1601da177e4SLinus Torvalds
1611da177e4SLinus Torvalds struct fp_ext *
fp_flog10(struct fp_ext * dest,struct fp_ext * src)1621da177e4SLinus Torvalds fp_flog10(struct fp_ext *dest, struct fp_ext *src)
1631da177e4SLinus Torvalds {
1641da177e4SLinus Torvalds uprint("flog10\n");
1651da177e4SLinus Torvalds
1661da177e4SLinus Torvalds fp_monadic_check(dest, src);
1671da177e4SLinus Torvalds
1681da177e4SLinus Torvalds return dest;
1691da177e4SLinus Torvalds }
1701da177e4SLinus Torvalds
1711da177e4SLinus Torvalds struct fp_ext *
fp_flog2(struct fp_ext * dest,struct fp_ext * src)1721da177e4SLinus Torvalds fp_flog2(struct fp_ext *dest, struct fp_ext *src)
1731da177e4SLinus Torvalds {
1741da177e4SLinus Torvalds uprint("flog2\n");
1751da177e4SLinus Torvalds
1761da177e4SLinus Torvalds fp_monadic_check(dest, src);
1771da177e4SLinus Torvalds
1781da177e4SLinus Torvalds return dest;
1791da177e4SLinus Torvalds }
1801da177e4SLinus Torvalds
1811da177e4SLinus Torvalds struct fp_ext *
fp_fgetexp(struct fp_ext * dest,struct fp_ext * src)1821da177e4SLinus Torvalds fp_fgetexp(struct fp_ext *dest, struct fp_ext *src)
1831da177e4SLinus Torvalds {
1841da177e4SLinus Torvalds dprint(PINSTR, "fgetexp\n");
1851da177e4SLinus Torvalds
1861da177e4SLinus Torvalds fp_monadic_check(dest, src);
1871da177e4SLinus Torvalds
1881da177e4SLinus Torvalds if (IS_INF(dest)) {
1891da177e4SLinus Torvalds fp_set_nan(dest);
1901da177e4SLinus Torvalds return dest;
1911da177e4SLinus Torvalds }
1921da177e4SLinus Torvalds if (IS_ZERO(dest))
1931da177e4SLinus Torvalds return dest;
1941da177e4SLinus Torvalds
1951da177e4SLinus Torvalds fp_conv_long2ext(dest, (int)dest->exp - 0x3FFF);
1961da177e4SLinus Torvalds
1971da177e4SLinus Torvalds fp_normalize_ext(dest);
1981da177e4SLinus Torvalds
1991da177e4SLinus Torvalds return dest;
2001da177e4SLinus Torvalds }
2011da177e4SLinus Torvalds
2021da177e4SLinus Torvalds struct fp_ext *
fp_fgetman(struct fp_ext * dest,struct fp_ext * src)2031da177e4SLinus Torvalds fp_fgetman(struct fp_ext *dest, struct fp_ext *src)
2041da177e4SLinus Torvalds {
2051da177e4SLinus Torvalds dprint(PINSTR, "fgetman\n");
2061da177e4SLinus Torvalds
2071da177e4SLinus Torvalds fp_monadic_check(dest, src);
2081da177e4SLinus Torvalds
2091da177e4SLinus Torvalds if (IS_ZERO(dest))
2101da177e4SLinus Torvalds return dest;
2111da177e4SLinus Torvalds
2121da177e4SLinus Torvalds if (IS_INF(dest))
2131da177e4SLinus Torvalds return dest;
2141da177e4SLinus Torvalds
2151da177e4SLinus Torvalds dest->exp = 0x3FFF;
2161da177e4SLinus Torvalds
2171da177e4SLinus Torvalds return dest;
2181da177e4SLinus Torvalds }
2191da177e4SLinus Torvalds
220