xref: /plan9/sys/src/libc/power/sqrt.c (revision 7dd7cddf99dd7472612f1413b4da293630e6b1bc)
1*7dd7cddfSDavid du Colombier #include <u.h>
2*7dd7cddfSDavid du Colombier #include <libc.h>
3*7dd7cddfSDavid du Colombier 
4*7dd7cddfSDavid du Colombier static	long	sqtab[64] =
5*7dd7cddfSDavid du Colombier {
6*7dd7cddfSDavid du Colombier 	0x6cdb2, 0x726d4, 0x77ea3, 0x7d52f, 0x82a85, 0x87eb1, 0x8d1c0, 0x923bd,
7*7dd7cddfSDavid du Colombier 	0x974b2, 0x9c4a8, 0xa13a9, 0xa61be, 0xaaeee, 0xafb41, 0xb46bf, 0xb916e,
8*7dd7cddfSDavid du Colombier 	0xbdb55, 0xc247a, 0xc6ce3, 0xcb495, 0xcfb95, 0xd41ea, 0xd8796, 0xdcca0,
9*7dd7cddfSDavid du Colombier 	0xe110c, 0xe54dd, 0xe9818, 0xedac0, 0xf1cd9, 0xf5e67, 0xf9f6e, 0xfdfef,
10*7dd7cddfSDavid du Colombier 	0x01fe0, 0x05ee6, 0x09cfd, 0x0da30, 0x11687, 0x1520c, 0x18cc8, 0x1c6c1,
11*7dd7cddfSDavid du Colombier 	0x20000, 0x2388a, 0x27068, 0x2a79e, 0x2de32, 0x3142b, 0x3498c, 0x37e5b,
12*7dd7cddfSDavid du Colombier 	0x3b29d, 0x3e655, 0x41989, 0x44c3b, 0x47e70, 0x4b02b, 0x4e16f, 0x51241,
13*7dd7cddfSDavid du Colombier 	0x542a2, 0x57296, 0x5a220, 0x5d142, 0x60000, 0x62e5a, 0x65c55, 0x689f2,
14*7dd7cddfSDavid du Colombier };
15*7dd7cddfSDavid du Colombier 
16*7dd7cddfSDavid du Colombier double
sqrt(double arg)17*7dd7cddfSDavid du Colombier sqrt(double arg)
18*7dd7cddfSDavid du Colombier {
19*7dd7cddfSDavid du Colombier 	int e, ms;
20*7dd7cddfSDavid du Colombier 	double a, t;
21*7dd7cddfSDavid du Colombier 	union
22*7dd7cddfSDavid du Colombier 	{
23*7dd7cddfSDavid du Colombier 		double	d;
24*7dd7cddfSDavid du Colombier 		struct
25*7dd7cddfSDavid du Colombier 		{
26*7dd7cddfSDavid du Colombier 			long	ms;
27*7dd7cddfSDavid du Colombier 			long	ls;
28*7dd7cddfSDavid du Colombier 		};
29*7dd7cddfSDavid du Colombier 	} u;
30*7dd7cddfSDavid du Colombier 
31*7dd7cddfSDavid du Colombier 	u.d = arg;
32*7dd7cddfSDavid du Colombier 	ms = u.ms;
33*7dd7cddfSDavid du Colombier 
34*7dd7cddfSDavid du Colombier 	/*
35*7dd7cddfSDavid du Colombier 	 * sign extend the mantissa with
36*7dd7cddfSDavid du Colombier 	 * exponent. result should be > 0 for
37*7dd7cddfSDavid du Colombier 	 * normal case.
38*7dd7cddfSDavid du Colombier 	 */
39*7dd7cddfSDavid du Colombier 	e = ms >> 20;
40*7dd7cddfSDavid du Colombier 	if(e <= 0) {
41*7dd7cddfSDavid du Colombier 		if(e == 0)
42*7dd7cddfSDavid du Colombier 			return 0;
43*7dd7cddfSDavid du Colombier 		return NaN();
44*7dd7cddfSDavid du Colombier 	}
45*7dd7cddfSDavid du Colombier 
46*7dd7cddfSDavid du Colombier 	/*
47*7dd7cddfSDavid du Colombier 	 * pick up arg/4 by adjusting exponent
48*7dd7cddfSDavid du Colombier 	 */
49*7dd7cddfSDavid du Colombier 	u.ms = ms - (2 << 20);
50*7dd7cddfSDavid du Colombier 	a = u.d;
51*7dd7cddfSDavid du Colombier 
52*7dd7cddfSDavid du Colombier 	/*
53*7dd7cddfSDavid du Colombier 	 * use 5 bits of mantissa and 1 bit
54*7dd7cddfSDavid du Colombier 	 * of exponent to form table index.
55*7dd7cddfSDavid du Colombier 	 * insert exponent/2 - 1.
56*7dd7cddfSDavid du Colombier 	 */
57*7dd7cddfSDavid du Colombier 	e = (((e - 1023) >> 1) + 1022) << 20;
58*7dd7cddfSDavid du Colombier 	u.ms = *(long*)((char*)sqtab + ((ms >> 13) & 0xfc)) | e;
59*7dd7cddfSDavid du Colombier 	u.ls = 0;
60*7dd7cddfSDavid du Colombier 
61*7dd7cddfSDavid du Colombier 	/*
62*7dd7cddfSDavid du Colombier 	 * three laps of newton
63*7dd7cddfSDavid du Colombier 	 */
64*7dd7cddfSDavid du Colombier 	e = 1 << 20;
65*7dd7cddfSDavid du Colombier 	t = u.d;
66*7dd7cddfSDavid du Colombier 	u.d = t + a/t;
67*7dd7cddfSDavid du Colombier 	u.ms -= e;		/* u.d /= 2; */
68*7dd7cddfSDavid du Colombier 	t = u.d;
69*7dd7cddfSDavid du Colombier 	u.d = t + a/t;
70*7dd7cddfSDavid du Colombier 	u.ms -= e;		/* u.d /= 2; */
71*7dd7cddfSDavid du Colombier 	t = u.d;
72*7dd7cddfSDavid du Colombier 
73*7dd7cddfSDavid du Colombier 	return t + a/t;
74*7dd7cddfSDavid du Colombier }
75*7dd7cddfSDavid du Colombier 
76*7dd7cddfSDavid du Colombier /*
77*7dd7cddfSDavid du Colombier  * this is the program that generated the table.
78*7dd7cddfSDavid du Colombier  * it calls sqrt by some other means.
79*7dd7cddfSDavid du Colombier  *
80*7dd7cddfSDavid du Colombier  * void
81*7dd7cddfSDavid du Colombier  * main(void)
82*7dd7cddfSDavid du Colombier  * {
83*7dd7cddfSDavid du Colombier  * 	int i;
84*7dd7cddfSDavid du Colombier  * 	union	U
85*7dd7cddfSDavid du Colombier  * 	{
86*7dd7cddfSDavid du Colombier  * 		double	d;
87*7dd7cddfSDavid du Colombier  * 		struct
88*7dd7cddfSDavid du Colombier  * 		{
89*7dd7cddfSDavid du Colombier  * 			long	ms;
90*7dd7cddfSDavid du Colombier  * 			long	ls;
91*7dd7cddfSDavid du Colombier  * 		};
92*7dd7cddfSDavid du Colombier  * 	} u;
93*7dd7cddfSDavid du Colombier  *
94*7dd7cddfSDavid du Colombier  * 	for(i=0; i<64; i++) {
95*7dd7cddfSDavid du Colombier  * 		u.ms = (i<<15) | 0x3fe04000;
96*7dd7cddfSDavid du Colombier  * 		u.ls = 0;
97*7dd7cddfSDavid du Colombier  * 		u.d = sqrt(u.d);
98*7dd7cddfSDavid du Colombier  * 		print(" 0x%.5lux,", u.ms & 0xfffff);
99*7dd7cddfSDavid du Colombier  * 	}
100*7dd7cddfSDavid du Colombier  * 	print("\n");
101*7dd7cddfSDavid du Colombier  * 	exits(0);
102*7dd7cddfSDavid du Colombier  * }
103*7dd7cddfSDavid du Colombier  */
104