xref: /freebsd-src/contrib/gdtoa/g_ddfmt.c (revision 50dad48bb740a8e56d185d9e8c165e0758f46e25)
1cc36ccd1SDavid Schultz /****************************************************************
2cc36ccd1SDavid Schultz 
3cc36ccd1SDavid Schultz The author of this software is David M. Gay.
4cc36ccd1SDavid Schultz 
5cc36ccd1SDavid Schultz Copyright (C) 1998 by Lucent Technologies
6cc36ccd1SDavid Schultz All Rights Reserved
7cc36ccd1SDavid Schultz 
8cc36ccd1SDavid Schultz Permission to use, copy, modify, and distribute this software and
9cc36ccd1SDavid Schultz its documentation for any purpose and without fee is hereby
10cc36ccd1SDavid Schultz granted, provided that the above copyright notice appear in all
11cc36ccd1SDavid Schultz copies and that both that the copyright notice and this
12cc36ccd1SDavid Schultz permission notice and warranty disclaimer appear in supporting
13cc36ccd1SDavid Schultz documentation, and that the name of Lucent or any of its entities
14cc36ccd1SDavid Schultz not be used in advertising or publicity pertaining to
15cc36ccd1SDavid Schultz distribution of the software without specific, written prior
16cc36ccd1SDavid Schultz permission.
17cc36ccd1SDavid Schultz 
18cc36ccd1SDavid Schultz LUCENT DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE,
19cc36ccd1SDavid Schultz INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS.
20cc36ccd1SDavid Schultz IN NO EVENT SHALL LUCENT OR ANY OF ITS ENTITIES BE LIABLE FOR ANY
21cc36ccd1SDavid Schultz SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
22cc36ccd1SDavid Schultz WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER
23cc36ccd1SDavid Schultz IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION,
24cc36ccd1SDavid Schultz ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF
25cc36ccd1SDavid Schultz THIS SOFTWARE.
26cc36ccd1SDavid Schultz 
27cc36ccd1SDavid Schultz ****************************************************************/
28cc36ccd1SDavid Schultz 
29c88250a5SDavid Schultz /* Please send bug reports to David M. Gay (dmg@acm.org). */
30cc36ccd1SDavid Schultz 
31cc36ccd1SDavid Schultz #include "gdtoaimp.h"
32cc36ccd1SDavid Schultz #include <string.h>
33cc36ccd1SDavid Schultz 
34cc36ccd1SDavid Schultz  char *
35cc36ccd1SDavid Schultz #ifdef KR_headers
g_ddfmt(buf,dd0,ndig,bufsize)36*50dad48bSDavid Schultz g_ddfmt(buf, dd0, ndig, bufsize) char *buf; double *dd0; int ndig; size_t bufsize;
37cc36ccd1SDavid Schultz #else
38*50dad48bSDavid Schultz g_ddfmt(char *buf, double *dd0, int ndig, size_t bufsize)
39cc36ccd1SDavid Schultz #endif
40cc36ccd1SDavid Schultz {
41cc36ccd1SDavid Schultz 	FPI fpi;
42cc36ccd1SDavid Schultz 	char *b, *s, *se;
43cc36ccd1SDavid Schultz 	ULong *L, bits0[4], *bits, *zx;
44cc36ccd1SDavid Schultz 	int bx, by, decpt, ex, ey, i, j, mode;
45cc36ccd1SDavid Schultz 	Bigint *x, *y, *z;
46*50dad48bSDavid Schultz 	U *dd, ddx[2];
474848dd08SDavid Schultz #ifdef Honor_FLT_ROUNDS /*{{*/
484848dd08SDavid Schultz 	int Rounding;
494848dd08SDavid Schultz #ifdef Trust_FLT_ROUNDS /*{{ only define this if FLT_ROUNDS really works! */
504848dd08SDavid Schultz 	Rounding = Flt_Rounds;
514848dd08SDavid Schultz #else /*}{*/
524848dd08SDavid Schultz 	Rounding = 1;
534848dd08SDavid Schultz 	switch(fegetround()) {
544848dd08SDavid Schultz 	  case FE_TOWARDZERO:	Rounding = 0; break;
554848dd08SDavid Schultz 	  case FE_UPWARD:	Rounding = 2; break;
564848dd08SDavid Schultz 	  case FE_DOWNWARD:	Rounding = 3;
574848dd08SDavid Schultz 	  }
584848dd08SDavid Schultz #endif /*}}*/
594848dd08SDavid Schultz #else /*}{*/
604848dd08SDavid Schultz #define Rounding FPI_Round_near
614848dd08SDavid Schultz #endif /*}}*/
62cc36ccd1SDavid Schultz 
63cc36ccd1SDavid Schultz 	if (bufsize < 10 || bufsize < ndig + 8)
64cc36ccd1SDavid Schultz 		return 0;
65cc36ccd1SDavid Schultz 
66*50dad48bSDavid Schultz 	dd = (U*)dd0;
67*50dad48bSDavid Schultz 	L = dd->L;
68cc36ccd1SDavid Schultz 	if ((L[_0] & 0x7ff00000L) == 0x7ff00000L) {
69cc36ccd1SDavid Schultz 		/* Infinity or NaN */
70cc36ccd1SDavid Schultz 		if (L[_0] & 0xfffff || L[_1]) {
71cc36ccd1SDavid Schultz  nanret:
72cc36ccd1SDavid Schultz 			return strcp(buf, "NaN");
73cc36ccd1SDavid Schultz 			}
74cc36ccd1SDavid Schultz 		if ((L[2+_0] & 0x7ff00000) == 0x7ff00000) {
75cc36ccd1SDavid Schultz 			if (L[2+_0] & 0xfffff || L[2+_1])
76cc36ccd1SDavid Schultz 				goto nanret;
77cc36ccd1SDavid Schultz 			if ((L[_0] ^ L[2+_0]) & 0x80000000L)
78cc36ccd1SDavid Schultz 				goto nanret;	/* Infinity - Infinity */
79cc36ccd1SDavid Schultz 			}
80cc36ccd1SDavid Schultz  infret:
81cc36ccd1SDavid Schultz 		b = buf;
82cc36ccd1SDavid Schultz 		if (L[_0] & 0x80000000L)
83cc36ccd1SDavid Schultz 			*b++ = '-';
84cc36ccd1SDavid Schultz 		return strcp(b, "Infinity");
85cc36ccd1SDavid Schultz 		}
86cc36ccd1SDavid Schultz 	if ((L[2+_0] & 0x7ff00000) == 0x7ff00000) {
87cc36ccd1SDavid Schultz 		L += 2;
88cc36ccd1SDavid Schultz 		if (L[_0] & 0xfffff || L[_1])
89cc36ccd1SDavid Schultz 			goto nanret;
90cc36ccd1SDavid Schultz 		goto infret;
91cc36ccd1SDavid Schultz 		}
92*50dad48bSDavid Schultz 	if (dval(&dd[0]) + dval(&dd[1]) == 0.) {
93cc36ccd1SDavid Schultz 		b = buf;
94cc36ccd1SDavid Schultz #ifndef IGNORE_ZERO_SIGN
95cc36ccd1SDavid Schultz 		if (L[_0] & L[2+_0] & 0x80000000L)
96cc36ccd1SDavid Schultz 			*b++ = '-';
97cc36ccd1SDavid Schultz #endif
98cc36ccd1SDavid Schultz 		*b++ = '0';
99cc36ccd1SDavid Schultz 		*b = 0;
100cc36ccd1SDavid Schultz 		return b;
101cc36ccd1SDavid Schultz 		}
102cc36ccd1SDavid Schultz 	if ((L[_0] & 0x7ff00000L) < (L[2+_0] & 0x7ff00000L)) {
103*50dad48bSDavid Schultz 		dval(&ddx[1]) = dval(&dd[0]);
104*50dad48bSDavid Schultz 		dval(&ddx[0]) = dval(&dd[1]);
105cc36ccd1SDavid Schultz 		dd = ddx;
106*50dad48bSDavid Schultz 		L = dd->L;
107cc36ccd1SDavid Schultz 		}
108*50dad48bSDavid Schultz 	z = d2b(dval(&dd[0]), &ex, &bx);
109*50dad48bSDavid Schultz 	if (dval(&dd[1]) == 0.)
110cc36ccd1SDavid Schultz 		goto no_y;
111cc36ccd1SDavid Schultz 	x = z;
112*50dad48bSDavid Schultz 	y = d2b(dval(&dd[1]), &ey, &by);
113cc36ccd1SDavid Schultz 	if ( (i = ex - ey) !=0) {
114cc36ccd1SDavid Schultz 		if (i > 0) {
115cc36ccd1SDavid Schultz 			x = lshift(x, i);
116cc36ccd1SDavid Schultz 			ex = ey;
117cc36ccd1SDavid Schultz 			}
118cc36ccd1SDavid Schultz 		else
119cc36ccd1SDavid Schultz 			y = lshift(y, -i);
120cc36ccd1SDavid Schultz 		}
121cc36ccd1SDavid Schultz 	if ((L[_0] ^ L[2+_0]) & 0x80000000L) {
122cc36ccd1SDavid Schultz 		z = diff(x, y);
123cc36ccd1SDavid Schultz 		if (L[_0] & 0x80000000L)
124cc36ccd1SDavid Schultz 			z->sign = 1 - z->sign;
125cc36ccd1SDavid Schultz 		}
126cc36ccd1SDavid Schultz 	else {
127cc36ccd1SDavid Schultz 		z = sum(x, y);
128cc36ccd1SDavid Schultz 		if (L[_0] & 0x80000000L)
129cc36ccd1SDavid Schultz 			z->sign = 1;
130cc36ccd1SDavid Schultz 		}
131cc36ccd1SDavid Schultz 	Bfree(x);
132cc36ccd1SDavid Schultz 	Bfree(y);
133cc36ccd1SDavid Schultz  no_y:
134cc36ccd1SDavid Schultz 	bits = zx = z->x;
135cc36ccd1SDavid Schultz 	for(i = 0; !*zx; zx++)
136cc36ccd1SDavid Schultz 		i += 32;
137cc36ccd1SDavid Schultz 	i += lo0bits(zx);
138cc36ccd1SDavid Schultz 	if (i) {
139cc36ccd1SDavid Schultz 		rshift(z, i);
140cc36ccd1SDavid Schultz 		ex += i;
141cc36ccd1SDavid Schultz 		}
142cc36ccd1SDavid Schultz 	fpi.nbits = z->wds * 32 - hi0bits(z->x[j = z->wds-1]);
143cc36ccd1SDavid Schultz 	if (fpi.nbits < 106) {
144cc36ccd1SDavid Schultz 		fpi.nbits = 106;
145cc36ccd1SDavid Schultz 		if (j < 3) {
146cc36ccd1SDavid Schultz 			for(i = 0; i <= j; i++)
147cc36ccd1SDavid Schultz 				bits0[i] = bits[i];
148cc36ccd1SDavid Schultz 			while(i < 4)
149cc36ccd1SDavid Schultz 				bits0[i++] = 0;
150cc36ccd1SDavid Schultz 			bits = bits0;
151cc36ccd1SDavid Schultz 			}
152cc36ccd1SDavid Schultz 		}
153cc36ccd1SDavid Schultz 	mode = 2;
154cc36ccd1SDavid Schultz 	if (ndig <= 0) {
155cc36ccd1SDavid Schultz 		if (bufsize < (int)(fpi.nbits * .301029995664) + 10) {
156cc36ccd1SDavid Schultz 			Bfree(z);
157cc36ccd1SDavid Schultz 			return 0;
158cc36ccd1SDavid Schultz 			}
159cc36ccd1SDavid Schultz 		mode = 0;
160cc36ccd1SDavid Schultz 		}
161cc36ccd1SDavid Schultz 	fpi.emin = 1-1023-53+1;
162cc36ccd1SDavid Schultz 	fpi.emax = 2046-1023-106+1;
1634848dd08SDavid Schultz 	fpi.rounding = Rounding;
164cc36ccd1SDavid Schultz 	fpi.sudden_underflow = 0;
165cc36ccd1SDavid Schultz 	i = STRTOG_Normal;
166cc36ccd1SDavid Schultz 	s = gdtoa(&fpi, ex, bits, &i, mode, ndig, &decpt, &se);
1674848dd08SDavid Schultz 	b = g__fmt(buf, s, se, decpt, z->sign, bufsize);
168cc36ccd1SDavid Schultz 	Bfree(z);
169cc36ccd1SDavid Schultz 	return b;
170cc36ccd1SDavid Schultz 	}
171