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