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