xref: /openbmc/linux/arch/m68k/math-emu/fp_log.c (revision e5451c8f8330e03ad3cfa16048b4daf961af434f)
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