vfprintf.c revision 1.33 1 1.33 sommerfe /* $NetBSD: vfprintf.c,v 1.33 2000/07/08 14:57:57 sommerfeld Exp $ */
2 1.18 kleink
3 1.1 cgd /*-
4 1.1 cgd * Copyright (c) 1990 The Regents of the University of California.
5 1.1 cgd * All rights reserved.
6 1.1 cgd *
7 1.1 cgd * This code is derived from software contributed to Berkeley by
8 1.1 cgd * Chris Torek.
9 1.1 cgd *
10 1.1 cgd * Redistribution and use in source and binary forms, with or without
11 1.1 cgd * modification, are permitted provided that the following conditions
12 1.1 cgd * are met:
13 1.1 cgd * 1. Redistributions of source code must retain the above copyright
14 1.1 cgd * notice, this list of conditions and the following disclaimer.
15 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 cgd * notice, this list of conditions and the following disclaimer in the
17 1.1 cgd * documentation and/or other materials provided with the distribution.
18 1.1 cgd * 3. All advertising materials mentioning features or use of this software
19 1.1 cgd * must display the following acknowledgement:
20 1.1 cgd * This product includes software developed by the University of
21 1.1 cgd * California, Berkeley and its contributors.
22 1.1 cgd * 4. Neither the name of the University nor the names of its contributors
23 1.1 cgd * may be used to endorse or promote products derived from this software
24 1.1 cgd * without specific prior written permission.
25 1.1 cgd *
26 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
27 1.1 cgd * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28 1.1 cgd * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29 1.1 cgd * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
30 1.1 cgd * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
31 1.1 cgd * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
32 1.1 cgd * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
33 1.1 cgd * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
34 1.1 cgd * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
35 1.1 cgd * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
36 1.1 cgd * SUCH DAMAGE.
37 1.1 cgd */
38 1.1 cgd
39 1.20 christos #include <sys/cdefs.h>
40 1.1 cgd #if defined(LIBC_SCCS) && !defined(lint)
41 1.20 christos #if 0
42 1.20 christos static char *sccsid = "@(#)vfprintf.c 5.50 (Berkeley) 12/16/92";
43 1.20 christos #else
44 1.33 sommerfe __RCSID("$NetBSD: vfprintf.c,v 1.33 2000/07/08 14:57:57 sommerfeld Exp $");
45 1.20 christos #endif
46 1.1 cgd #endif /* LIBC_SCCS and not lint */
47 1.1 cgd
48 1.1 cgd /*
49 1.1 cgd * Actual printf innards.
50 1.1 cgd *
51 1.1 cgd * This code is large and complicated...
52 1.1 cgd */
53 1.1 cgd
54 1.29 kleink #include "namespace.h"
55 1.1 cgd #include <sys/types.h>
56 1.31 lukem
57 1.31 lukem #include <assert.h>
58 1.19 kleink #include <errno.h>
59 1.1 cgd #include <stdio.h>
60 1.4 cgd #include <stdlib.h>
61 1.1 cgd #include <string.h>
62 1.4 cgd
63 1.1 cgd #if __STDC__
64 1.1 cgd #include <stdarg.h>
65 1.1 cgd #else
66 1.1 cgd #include <varargs.h>
67 1.1 cgd #endif
68 1.4 cgd
69 1.1 cgd #include "local.h"
70 1.1 cgd #include "fvwrite.h"
71 1.20 christos #include "extern.h"
72 1.28 kleink #include "reentrant.h"
73 1.20 christos
74 1.20 christos static int __sprint __P((FILE *, struct __suio *));
75 1.33 sommerfe static int __sbprintf __P((FILE *, const char *, va_list))
76 1.33 sommerfe __attribute__((__format__(__printf__, 2, 0)));
77 1.1 cgd
78 1.1 cgd /*
79 1.1 cgd * Flush out all the vectors defined by the given uio,
80 1.1 cgd * then reset it so that it can be reused.
81 1.1 cgd */
82 1.1 cgd static int
83 1.1 cgd __sprint(fp, uio)
84 1.1 cgd FILE *fp;
85 1.23 perry struct __suio *uio;
86 1.1 cgd {
87 1.23 perry int err;
88 1.1 cgd
89 1.31 lukem _DIAGASSERT(fp != NULL);
90 1.31 lukem _DIAGASSERT(uio != NULL);
91 1.31 lukem
92 1.1 cgd if (uio->uio_resid == 0) {
93 1.1 cgd uio->uio_iovcnt = 0;
94 1.1 cgd return (0);
95 1.1 cgd }
96 1.1 cgd err = __sfvwrite(fp, uio);
97 1.1 cgd uio->uio_resid = 0;
98 1.1 cgd uio->uio_iovcnt = 0;
99 1.1 cgd return (err);
100 1.1 cgd }
101 1.1 cgd
102 1.1 cgd /*
103 1.1 cgd * Helper function for `fprintf to unbuffered unix file': creates a
104 1.1 cgd * temporary buffer. We only work on write-only files; this avoids
105 1.1 cgd * worries about ungetc buffers and so forth.
106 1.1 cgd */
107 1.1 cgd static int
108 1.1 cgd __sbprintf(fp, fmt, ap)
109 1.23 perry FILE *fp;
110 1.1 cgd const char *fmt;
111 1.1 cgd va_list ap;
112 1.1 cgd {
113 1.1 cgd int ret;
114 1.1 cgd FILE fake;
115 1.1 cgd unsigned char buf[BUFSIZ];
116 1.1 cgd
117 1.31 lukem _DIAGASSERT(fp != NULL);
118 1.31 lukem _DIAGASSERT(fmt != NULL);
119 1.31 lukem
120 1.1 cgd /* copy the important variables */
121 1.1 cgd fake._flags = fp->_flags & ~__SNBF;
122 1.1 cgd fake._file = fp->_file;
123 1.1 cgd fake._cookie = fp->_cookie;
124 1.1 cgd fake._write = fp->_write;
125 1.1 cgd
126 1.1 cgd /* set up the buffer */
127 1.1 cgd fake._bf._base = fake._p = buf;
128 1.1 cgd fake._bf._size = fake._w = sizeof(buf);
129 1.1 cgd fake._lbfsize = 0; /* not actually used, but Just In Case */
130 1.1 cgd
131 1.1 cgd /* do the work, then copy any error status */
132 1.1 cgd ret = vfprintf(&fake, fmt, ap);
133 1.1 cgd if (ret >= 0 && fflush(&fake))
134 1.22 kleink ret = -1;
135 1.1 cgd if (fake._flags & __SERR)
136 1.1 cgd fp->_flags |= __SERR;
137 1.1 cgd return (ret);
138 1.1 cgd }
139 1.1 cgd
140 1.1 cgd
141 1.1 cgd #ifdef FLOATING_POINT
142 1.9 jtc #include <locale.h>
143 1.4 cgd #include <math.h>
144 1.1 cgd #include "floatio.h"
145 1.1 cgd
146 1.1 cgd #define BUF (MAXEXP+MAXFRACT+1) /* + decimal point */
147 1.1 cgd #define DEFPREC 6
148 1.1 cgd
149 1.4 cgd static char *cvt __P((double, int, int, char *, int *, int, int *));
150 1.4 cgd static int exponent __P((char *, int, int));
151 1.1 cgd
152 1.1 cgd #else /* no FLOATING_POINT */
153 1.1 cgd
154 1.1 cgd #define BUF 40
155 1.1 cgd
156 1.1 cgd #endif /* FLOATING_POINT */
157 1.1 cgd
158 1.30 christos #ifdef lint
159 1.30 christos static __inline void *__UNCONST __P((const void *));
160 1.30 christos static __inline void *
161 1.30 christos __UNCONST(v)
162 1.30 christos const void *v;
163 1.30 christos {
164 1.30 christos /* LINTED */
165 1.30 christos return (void *) v;
166 1.30 christos }
167 1.30 christos #else
168 1.30 christos #define __UNCONST(v) (void *)(v)
169 1.30 christos #endif
170 1.1 cgd
171 1.1 cgd /*
172 1.1 cgd * Macros for converting digits to letters and vice versa
173 1.1 cgd */
174 1.1 cgd #define to_digit(c) ((c) - '0')
175 1.1 cgd #define is_digit(c) ((unsigned)to_digit(c) <= 9)
176 1.30 christos #define to_char(n) ((char)((n) + '0'))
177 1.1 cgd
178 1.1 cgd /*
179 1.1 cgd * Flags used during conversion.
180 1.1 cgd */
181 1.4 cgd #define ALT 0x001 /* alternate form */
182 1.4 cgd #define HEXPREFIX 0x002 /* add 0x or 0X prefix */
183 1.4 cgd #define LADJUST 0x004 /* left adjustment */
184 1.4 cgd #define LONGDBL 0x008 /* long double; unimplemented */
185 1.4 cgd #define LONGINT 0x010 /* long integer */
186 1.4 cgd #define QUADINT 0x020 /* quad integer */
187 1.4 cgd #define SHORTINT 0x040 /* short integer */
188 1.4 cgd #define ZEROPAD 0x080 /* zero (as opposed to blank) pad */
189 1.4 cgd #define FPT 0x100 /* Floating point number */
190 1.1 cgd int
191 1.1 cgd vfprintf(fp, fmt0, ap)
192 1.1 cgd FILE *fp;
193 1.1 cgd const char *fmt0;
194 1.10 cgd _BSD_VA_LIST_ ap;
195 1.1 cgd {
196 1.27 mycroft const char *fmt;/* format string */
197 1.23 perry int ch; /* character from fmt */
198 1.23 perry int n, m; /* handy integers (short term usage) */
199 1.27 mycroft const char *cp; /* handy char pointer (short term usage) */
200 1.27 mycroft char *bp; /* handy char pointer (short term usage) */
201 1.23 perry struct __siov *iovp;/* for PRINT macro */
202 1.23 perry int flags; /* flags as above */
203 1.1 cgd int ret; /* return value accumulator */
204 1.1 cgd int width; /* width from format (%8d), or 0 */
205 1.1 cgd int prec; /* precision from format (%.3d), or -1 */
206 1.1 cgd char sign; /* sign prefix (' ', '+', '-', or \0) */
207 1.17 jtc wchar_t wc;
208 1.1 cgd #ifdef FLOATING_POINT
209 1.12 jtc char *decimal_point = localeconv()->decimal_point;
210 1.1 cgd char softsign; /* temporary negative sign for floats */
211 1.20 christos double _double = 0; /* double precision arguments %[eEfgG] */
212 1.4 cgd int expt; /* integer value of exponent */
213 1.20 christos int expsize = 0; /* character count for expstr */
214 1.4 cgd int ndig; /* actual number of digits returned by cvt */
215 1.4 cgd char expstr[7]; /* buffer for exponent string */
216 1.1 cgd #endif
217 1.4 cgd
218 1.4 cgd #ifdef __GNUC__ /* gcc has builtin quad type (long long) SOS */
219 1.4 cgd #define quad_t long long
220 1.4 cgd #define u_quad_t unsigned long long
221 1.4 cgd #endif
222 1.4 cgd
223 1.4 cgd u_quad_t _uquad; /* integer arguments %[diouxX] */
224 1.1 cgd enum { OCT, DEC, HEX } base;/* base for [diouxX] conversion */
225 1.1 cgd int dprec; /* a copy of prec if [diouxX], 0 otherwise */
226 1.1 cgd int realsz; /* field size expanded by dprec */
227 1.1 cgd int size; /* size of converted field or string */
228 1.20 christos char *xdigs = NULL; /* digits for [xX] conversion */
229 1.1 cgd #define NIOV 8
230 1.1 cgd struct __suio uio; /* output information: summary */
231 1.1 cgd struct __siov iov[NIOV];/* ... and individual io vectors */
232 1.1 cgd char buf[BUF]; /* space for %c, %[diouxX], %[eEfgG] */
233 1.1 cgd char ox[2]; /* space for 0x hex-prefix */
234 1.1 cgd
235 1.1 cgd /*
236 1.4 cgd * Choose PADSIZE to trade efficiency vs. size. If larger printf
237 1.4 cgd * fields occur frequently, increase PADSIZE and make the initialisers
238 1.4 cgd * below longer.
239 1.1 cgd */
240 1.1 cgd #define PADSIZE 16 /* pad chunk size */
241 1.24 mycroft static const char blanks[PADSIZE] =
242 1.1 cgd {' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' '};
243 1.24 mycroft static const char zeroes[PADSIZE] =
244 1.1 cgd {'0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0'};
245 1.2 mycroft
246 1.1 cgd /*
247 1.1 cgd * BEWARE, these `goto error' on error, and PAD uses `n'.
248 1.1 cgd */
249 1.1 cgd #define PRINT(ptr, len) { \
250 1.30 christos iovp->iov_base = __UNCONST(ptr); \
251 1.1 cgd iovp->iov_len = (len); \
252 1.1 cgd uio.uio_resid += (len); \
253 1.1 cgd iovp++; \
254 1.1 cgd if (++uio.uio_iovcnt >= NIOV) { \
255 1.1 cgd if (__sprint(fp, &uio)) \
256 1.1 cgd goto error; \
257 1.1 cgd iovp = iov; \
258 1.1 cgd } \
259 1.1 cgd }
260 1.1 cgd #define PAD(howmany, with) { \
261 1.1 cgd if ((n = (howmany)) > 0) { \
262 1.1 cgd while (n > PADSIZE) { \
263 1.1 cgd PRINT(with, PADSIZE); \
264 1.1 cgd n -= PADSIZE; \
265 1.1 cgd } \
266 1.1 cgd PRINT(with, n); \
267 1.1 cgd } \
268 1.1 cgd }
269 1.1 cgd #define FLUSH() { \
270 1.1 cgd if (uio.uio_resid && __sprint(fp, &uio)) \
271 1.1 cgd goto error; \
272 1.1 cgd uio.uio_iovcnt = 0; \
273 1.1 cgd iovp = iov; \
274 1.1 cgd }
275 1.1 cgd
276 1.1 cgd /*
277 1.1 cgd * To extend shorts properly, we need both signed and unsigned
278 1.1 cgd * argument extraction methods.
279 1.1 cgd */
280 1.1 cgd #define SARG() \
281 1.4 cgd (flags&QUADINT ? va_arg(ap, quad_t) : \
282 1.4 cgd flags&LONGINT ? va_arg(ap, long) : \
283 1.1 cgd flags&SHORTINT ? (long)(short)va_arg(ap, int) : \
284 1.1 cgd (long)va_arg(ap, int))
285 1.1 cgd #define UARG() \
286 1.4 cgd (flags&QUADINT ? va_arg(ap, u_quad_t) : \
287 1.4 cgd flags&LONGINT ? va_arg(ap, u_long) : \
288 1.1 cgd flags&SHORTINT ? (u_long)(u_short)va_arg(ap, int) : \
289 1.1 cgd (u_long)va_arg(ap, u_int))
290 1.1 cgd
291 1.31 lukem _DIAGASSERT(fp != NULL);
292 1.31 lukem _DIAGASSERT(fmt0 != NULL);
293 1.31 lukem
294 1.28 kleink FLOCKFILE(fp);
295 1.28 kleink
296 1.22 kleink /* sorry, fprintf(read_only_file, "") returns -1, not 0 */
297 1.19 kleink if (cantwrite(fp)) {
298 1.19 kleink errno = EBADF;
299 1.28 kleink FUNLOCKFILE(fp);
300 1.22 kleink return (-1);
301 1.19 kleink }
302 1.1 cgd
303 1.1 cgd /* optimise fprintf(stderr) (and other unbuffered Unix files) */
304 1.1 cgd if ((fp->_flags & (__SNBF|__SWR|__SRW)) == (__SNBF|__SWR) &&
305 1.28 kleink fp->_file >= 0) {
306 1.28 kleink ret = __sbprintf(fp, fmt0, ap);
307 1.28 kleink FUNLOCKFILE(fp);
308 1.28 kleink return (ret);
309 1.28 kleink }
310 1.1 cgd
311 1.27 mycroft fmt = fmt0;
312 1.1 cgd uio.uio_iov = iovp = iov;
313 1.1 cgd uio.uio_resid = 0;
314 1.1 cgd uio.uio_iovcnt = 0;
315 1.1 cgd ret = 0;
316 1.1 cgd
317 1.1 cgd /*
318 1.1 cgd * Scan the format for conversions (`%' character).
319 1.1 cgd */
320 1.1 cgd for (;;) {
321 1.17 jtc cp = fmt;
322 1.17 jtc while ((n = mbtowc(&wc, fmt, MB_CUR_MAX)) > 0) {
323 1.17 jtc fmt += n;
324 1.17 jtc if (wc == '%') {
325 1.17 jtc fmt--;
326 1.17 jtc break;
327 1.17 jtc }
328 1.1 cgd }
329 1.17 jtc if ((m = fmt - cp) != 0) {
330 1.17 jtc PRINT(cp, m);
331 1.17 jtc ret += m;
332 1.17 jtc }
333 1.17 jtc if (n <= 0)
334 1.1 cgd goto done;
335 1.1 cgd fmt++; /* skip over '%' */
336 1.1 cgd
337 1.1 cgd flags = 0;
338 1.1 cgd dprec = 0;
339 1.1 cgd width = 0;
340 1.1 cgd prec = -1;
341 1.1 cgd sign = '\0';
342 1.1 cgd
343 1.1 cgd rflag: ch = *fmt++;
344 1.1 cgd reswitch: switch (ch) {
345 1.1 cgd case ' ':
346 1.1 cgd /*
347 1.1 cgd * ``If the space and + flags both appear, the space
348 1.1 cgd * flag will be ignored.''
349 1.1 cgd * -- ANSI X3J11
350 1.1 cgd */
351 1.1 cgd if (!sign)
352 1.1 cgd sign = ' ';
353 1.1 cgd goto rflag;
354 1.1 cgd case '#':
355 1.1 cgd flags |= ALT;
356 1.1 cgd goto rflag;
357 1.1 cgd case '*':
358 1.1 cgd /*
359 1.1 cgd * ``A negative field width argument is taken as a
360 1.1 cgd * - flag followed by a positive field width.''
361 1.1 cgd * -- ANSI X3J11
362 1.1 cgd * They don't exclude field widths read from args.
363 1.1 cgd */
364 1.1 cgd if ((width = va_arg(ap, int)) >= 0)
365 1.1 cgd goto rflag;
366 1.1 cgd width = -width;
367 1.1 cgd /* FALLTHROUGH */
368 1.1 cgd case '-':
369 1.1 cgd flags |= LADJUST;
370 1.1 cgd goto rflag;
371 1.1 cgd case '+':
372 1.1 cgd sign = '+';
373 1.1 cgd goto rflag;
374 1.1 cgd case '.':
375 1.1 cgd if ((ch = *fmt++) == '*') {
376 1.1 cgd n = va_arg(ap, int);
377 1.1 cgd prec = n < 0 ? -1 : n;
378 1.1 cgd goto rflag;
379 1.1 cgd }
380 1.1 cgd n = 0;
381 1.1 cgd while (is_digit(ch)) {
382 1.1 cgd n = 10 * n + to_digit(ch);
383 1.1 cgd ch = *fmt++;
384 1.1 cgd }
385 1.1 cgd prec = n < 0 ? -1 : n;
386 1.1 cgd goto reswitch;
387 1.1 cgd case '0':
388 1.1 cgd /*
389 1.1 cgd * ``Note that 0 is taken as a flag, not as the
390 1.1 cgd * beginning of a field width.''
391 1.1 cgd * -- ANSI X3J11
392 1.1 cgd */
393 1.1 cgd flags |= ZEROPAD;
394 1.1 cgd goto rflag;
395 1.1 cgd case '1': case '2': case '3': case '4':
396 1.1 cgd case '5': case '6': case '7': case '8': case '9':
397 1.1 cgd n = 0;
398 1.1 cgd do {
399 1.1 cgd n = 10 * n + to_digit(ch);
400 1.1 cgd ch = *fmt++;
401 1.1 cgd } while (is_digit(ch));
402 1.1 cgd width = n;
403 1.1 cgd goto reswitch;
404 1.1 cgd #ifdef FLOATING_POINT
405 1.1 cgd case 'L':
406 1.1 cgd flags |= LONGDBL;
407 1.1 cgd goto rflag;
408 1.1 cgd #endif
409 1.1 cgd case 'h':
410 1.1 cgd flags |= SHORTINT;
411 1.1 cgd goto rflag;
412 1.1 cgd case 'l':
413 1.16 jtc if (*fmt == 'l') {
414 1.16 jtc fmt++;
415 1.16 jtc flags |= QUADINT;
416 1.16 jtc } else {
417 1.16 jtc flags |= LONGINT;
418 1.16 jtc }
419 1.1 cgd goto rflag;
420 1.4 cgd case 'q':
421 1.4 cgd flags |= QUADINT;
422 1.4 cgd goto rflag;
423 1.1 cgd case 'c':
424 1.27 mycroft *buf = va_arg(ap, int);
425 1.27 mycroft cp = buf;
426 1.1 cgd size = 1;
427 1.1 cgd sign = '\0';
428 1.1 cgd break;
429 1.1 cgd case 'D':
430 1.1 cgd flags |= LONGINT;
431 1.1 cgd /*FALLTHROUGH*/
432 1.1 cgd case 'd':
433 1.1 cgd case 'i':
434 1.4 cgd _uquad = SARG();
435 1.4 cgd if ((quad_t)_uquad < 0) {
436 1.4 cgd _uquad = -_uquad;
437 1.1 cgd sign = '-';
438 1.1 cgd }
439 1.1 cgd base = DEC;
440 1.1 cgd goto number;
441 1.1 cgd #ifdef FLOATING_POINT
442 1.9 jtc case 'e':
443 1.1 cgd case 'E':
444 1.9 jtc case 'f':
445 1.1 cgd case 'g':
446 1.1 cgd case 'G':
447 1.9 jtc if (prec == -1) {
448 1.4 cgd prec = DEFPREC;
449 1.9 jtc } else if ((ch == 'g' || ch == 'G') && prec == 0) {
450 1.9 jtc prec = 1;
451 1.9 jtc }
452 1.9 jtc
453 1.9 jtc if (flags & LONGDBL) {
454 1.9 jtc _double = (double) va_arg(ap, long double);
455 1.9 jtc } else {
456 1.9 jtc _double = va_arg(ap, double);
457 1.9 jtc }
458 1.9 jtc
459 1.1 cgd /* do this before tricky precision changes */
460 1.1 cgd if (isinf(_double)) {
461 1.1 cgd if (_double < 0)
462 1.1 cgd sign = '-';
463 1.1 cgd cp = "Inf";
464 1.1 cgd size = 3;
465 1.1 cgd break;
466 1.1 cgd }
467 1.1 cgd if (isnan(_double)) {
468 1.1 cgd cp = "NaN";
469 1.1 cgd size = 3;
470 1.1 cgd break;
471 1.1 cgd }
472 1.9 jtc
473 1.4 cgd flags |= FPT;
474 1.4 cgd cp = cvt(_double, prec, flags, &softsign,
475 1.4 cgd &expt, ch, &ndig);
476 1.4 cgd if (ch == 'g' || ch == 'G') {
477 1.4 cgd if (expt <= -4 || expt > prec)
478 1.4 cgd ch = (ch == 'g') ? 'e' : 'E';
479 1.4 cgd else
480 1.4 cgd ch = 'g';
481 1.4 cgd }
482 1.4 cgd if (ch <= 'e') { /* 'e' or 'E' fmt */
483 1.4 cgd --expt;
484 1.4 cgd expsize = exponent(expstr, expt, ch);
485 1.4 cgd size = expsize + ndig;
486 1.4 cgd if (ndig > 1 || flags & ALT)
487 1.4 cgd ++size;
488 1.4 cgd } else if (ch == 'f') { /* f fmt */
489 1.4 cgd if (expt > 0) {
490 1.4 cgd size = expt;
491 1.4 cgd if (prec || flags & ALT)
492 1.4 cgd size += prec + 1;
493 1.4 cgd } else /* "0.X" */
494 1.4 cgd size = prec + 2;
495 1.4 cgd } else if (expt >= ndig) { /* fixed g fmt */
496 1.4 cgd size = expt;
497 1.4 cgd if (flags & ALT)
498 1.4 cgd ++size;
499 1.4 cgd } else
500 1.4 cgd size = ndig + (expt > 0 ?
501 1.4 cgd 1 : 2 - expt);
502 1.4 cgd
503 1.1 cgd if (softsign)
504 1.1 cgd sign = '-';
505 1.1 cgd break;
506 1.1 cgd #endif /* FLOATING_POINT */
507 1.1 cgd case 'n':
508 1.4 cgd if (flags & QUADINT)
509 1.4 cgd *va_arg(ap, quad_t *) = ret;
510 1.4 cgd else if (flags & LONGINT)
511 1.1 cgd *va_arg(ap, long *) = ret;
512 1.1 cgd else if (flags & SHORTINT)
513 1.1 cgd *va_arg(ap, short *) = ret;
514 1.1 cgd else
515 1.1 cgd *va_arg(ap, int *) = ret;
516 1.1 cgd continue; /* no output */
517 1.1 cgd case 'O':
518 1.1 cgd flags |= LONGINT;
519 1.1 cgd /*FALLTHROUGH*/
520 1.1 cgd case 'o':
521 1.4 cgd _uquad = UARG();
522 1.1 cgd base = OCT;
523 1.1 cgd goto nosign;
524 1.1 cgd case 'p':
525 1.1 cgd /*
526 1.1 cgd * ``The argument shall be a pointer to void. The
527 1.1 cgd * value of the pointer is converted to a sequence
528 1.1 cgd * of printable characters, in an implementation-
529 1.1 cgd * defined manner.''
530 1.1 cgd * -- ANSI X3J11
531 1.1 cgd */
532 1.1 cgd /* NOSTRICT */
533 1.15 cgd _uquad = (u_long)va_arg(ap, void *);
534 1.1 cgd base = HEX;
535 1.1 cgd xdigs = "0123456789abcdef";
536 1.1 cgd flags |= HEXPREFIX;
537 1.1 cgd ch = 'x';
538 1.1 cgd goto nosign;
539 1.1 cgd case 's':
540 1.1 cgd if ((cp = va_arg(ap, char *)) == NULL)
541 1.1 cgd cp = "(null)";
542 1.1 cgd if (prec >= 0) {
543 1.1 cgd /*
544 1.1 cgd * can't use strlen; can only look for the
545 1.1 cgd * NUL in the first `prec' characters, and
546 1.1 cgd * strlen() will go further.
547 1.1 cgd */
548 1.30 christos char *p = memchr(cp, 0, (size_t)prec);
549 1.1 cgd
550 1.1 cgd if (p != NULL) {
551 1.1 cgd size = p - cp;
552 1.1 cgd if (size > prec)
553 1.1 cgd size = prec;
554 1.1 cgd } else
555 1.1 cgd size = prec;
556 1.1 cgd } else
557 1.1 cgd size = strlen(cp);
558 1.1 cgd sign = '\0';
559 1.1 cgd break;
560 1.1 cgd case 'U':
561 1.1 cgd flags |= LONGINT;
562 1.1 cgd /*FALLTHROUGH*/
563 1.1 cgd case 'u':
564 1.4 cgd _uquad = UARG();
565 1.1 cgd base = DEC;
566 1.1 cgd goto nosign;
567 1.1 cgd case 'X':
568 1.1 cgd xdigs = "0123456789ABCDEF";
569 1.1 cgd goto hex;
570 1.1 cgd case 'x':
571 1.1 cgd xdigs = "0123456789abcdef";
572 1.4 cgd hex: _uquad = UARG();
573 1.1 cgd base = HEX;
574 1.1 cgd /* leading 0x/X only if non-zero */
575 1.4 cgd if (flags & ALT && _uquad != 0)
576 1.1 cgd flags |= HEXPREFIX;
577 1.1 cgd
578 1.1 cgd /* unsigned conversions */
579 1.1 cgd nosign: sign = '\0';
580 1.1 cgd /*
581 1.1 cgd * ``... diouXx conversions ... if a precision is
582 1.1 cgd * specified, the 0 flag will be ignored.''
583 1.1 cgd * -- ANSI X3J11
584 1.1 cgd */
585 1.1 cgd number: if ((dprec = prec) >= 0)
586 1.1 cgd flags &= ~ZEROPAD;
587 1.1 cgd
588 1.1 cgd /*
589 1.1 cgd * ``The result of converting a zero value with an
590 1.1 cgd * explicit precision of zero is no characters.''
591 1.1 cgd * -- ANSI X3J11
592 1.1 cgd */
593 1.27 mycroft bp = buf + BUF;
594 1.4 cgd if (_uquad != 0 || prec != 0) {
595 1.1 cgd /*
596 1.4 cgd * Unsigned mod is hard, and unsigned mod
597 1.1 cgd * by a constant is easier than that by
598 1.1 cgd * a variable; hence this switch.
599 1.1 cgd */
600 1.1 cgd switch (base) {
601 1.1 cgd case OCT:
602 1.1 cgd do {
603 1.27 mycroft *--bp = to_char(_uquad & 7);
604 1.4 cgd _uquad >>= 3;
605 1.4 cgd } while (_uquad);
606 1.1 cgd /* handle octal leading 0 */
607 1.27 mycroft if (flags & ALT && *bp != '0')
608 1.27 mycroft *--bp = '0';
609 1.1 cgd break;
610 1.1 cgd
611 1.1 cgd case DEC:
612 1.1 cgd /* many numbers are 1 digit */
613 1.4 cgd while (_uquad >= 10) {
614 1.27 mycroft *--bp = to_char(_uquad % 10);
615 1.4 cgd _uquad /= 10;
616 1.1 cgd }
617 1.27 mycroft *--bp = to_char(_uquad);
618 1.1 cgd break;
619 1.1 cgd
620 1.1 cgd case HEX:
621 1.1 cgd do {
622 1.30 christos *--bp = xdigs[(size_t)
623 1.30 christos (_uquad & 15)];
624 1.4 cgd _uquad >>= 4;
625 1.4 cgd } while (_uquad);
626 1.1 cgd break;
627 1.1 cgd
628 1.1 cgd default:
629 1.1 cgd cp = "bug in vfprintf: bad base";
630 1.1 cgd size = strlen(cp);
631 1.1 cgd goto skipsize;
632 1.1 cgd }
633 1.1 cgd }
634 1.27 mycroft cp = bp;
635 1.27 mycroft size = buf + BUF - bp;
636 1.1 cgd skipsize:
637 1.1 cgd break;
638 1.1 cgd default: /* "%?" prints ?, unless ? is NUL */
639 1.1 cgd if (ch == '\0')
640 1.1 cgd goto done;
641 1.1 cgd /* pretend it was %c with argument ch */
642 1.27 mycroft *buf = ch;
643 1.1 cgd cp = buf;
644 1.1 cgd size = 1;
645 1.1 cgd sign = '\0';
646 1.1 cgd break;
647 1.1 cgd }
648 1.1 cgd
649 1.1 cgd /*
650 1.4 cgd * All reasonable formats wind up here. At this point, `cp'
651 1.4 cgd * points to a string which (if not flags&LADJUST) should be
652 1.4 cgd * padded out to `width' places. If flags&ZEROPAD, it should
653 1.4 cgd * first be prefixed by any sign or other prefix; otherwise,
654 1.4 cgd * it should be blank padded before the prefix is emitted.
655 1.4 cgd * After any left-hand padding and prefixing, emit zeroes
656 1.4 cgd * required by a decimal [diouxX] precision, then print the
657 1.4 cgd * string proper, then emit zeroes required by any leftover
658 1.4 cgd * floating precision; finally, if LADJUST, pad with blanks.
659 1.4 cgd *
660 1.4 cgd * Compute actual size, so we know how much to pad.
661 1.14 jtc * size excludes decimal prec; realsz includes it.
662 1.1 cgd */
663 1.14 jtc realsz = dprec > size ? dprec : size;
664 1.1 cgd if (sign)
665 1.14 jtc realsz++;
666 1.1 cgd else if (flags & HEXPREFIX)
667 1.14 jtc realsz+= 2;
668 1.1 cgd
669 1.1 cgd /* right-adjusting blank padding */
670 1.1 cgd if ((flags & (LADJUST|ZEROPAD)) == 0)
671 1.1 cgd PAD(width - realsz, blanks);
672 1.1 cgd
673 1.1 cgd /* prefix */
674 1.1 cgd if (sign) {
675 1.1 cgd PRINT(&sign, 1);
676 1.1 cgd } else if (flags & HEXPREFIX) {
677 1.1 cgd ox[0] = '0';
678 1.1 cgd ox[1] = ch;
679 1.1 cgd PRINT(ox, 2);
680 1.1 cgd }
681 1.1 cgd
682 1.1 cgd /* right-adjusting zero padding */
683 1.1 cgd if ((flags & (LADJUST|ZEROPAD)) == ZEROPAD)
684 1.1 cgd PAD(width - realsz, zeroes);
685 1.1 cgd
686 1.1 cgd /* leading zeroes from decimal precision */
687 1.13 jtc PAD(dprec - size, zeroes);
688 1.1 cgd
689 1.1 cgd /* the string or number proper */
690 1.4 cgd #ifdef FLOATING_POINT
691 1.4 cgd if ((flags & FPT) == 0) {
692 1.4 cgd PRINT(cp, size);
693 1.4 cgd } else { /* glue together f_p fragments */
694 1.4 cgd if (ch >= 'f') { /* 'f' or 'g' */
695 1.4 cgd if (_double == 0) {
696 1.9 jtc /* kludge for __dtoa irregularity */
697 1.12 jtc PRINT("0", 1);
698 1.12 jtc if (expt < ndig || (flags & ALT) != 0) {
699 1.12 jtc PRINT(decimal_point, 1);
700 1.4 cgd PAD(ndig - 1, zeroes);
701 1.4 cgd }
702 1.4 cgd } else if (expt <= 0) {
703 1.12 jtc PRINT("0", 1);
704 1.12 jtc PRINT(decimal_point, 1);
705 1.4 cgd PAD(-expt, zeroes);
706 1.4 cgd PRINT(cp, ndig);
707 1.4 cgd } else if (expt >= ndig) {
708 1.4 cgd PRINT(cp, ndig);
709 1.4 cgd PAD(expt - ndig, zeroes);
710 1.4 cgd if (flags & ALT)
711 1.4 cgd PRINT(".", 1);
712 1.4 cgd } else {
713 1.4 cgd PRINT(cp, expt);
714 1.4 cgd cp += expt;
715 1.4 cgd PRINT(".", 1);
716 1.4 cgd PRINT(cp, ndig-expt);
717 1.4 cgd }
718 1.4 cgd } else { /* 'e' or 'E' */
719 1.4 cgd if (ndig > 1 || flags & ALT) {
720 1.4 cgd ox[0] = *cp++;
721 1.4 cgd ox[1] = '.';
722 1.4 cgd PRINT(ox, 2);
723 1.21 phil if (_double) {
724 1.4 cgd PRINT(cp, ndig-1);
725 1.4 cgd } else /* 0.[0..] */
726 1.4 cgd /* __dtoa irregularity */
727 1.4 cgd PAD(ndig - 1, zeroes);
728 1.4 cgd } else /* XeYYY */
729 1.4 cgd PRINT(cp, 1);
730 1.4 cgd PRINT(expstr, expsize);
731 1.4 cgd }
732 1.4 cgd }
733 1.4 cgd #else
734 1.1 cgd PRINT(cp, size);
735 1.1 cgd #endif
736 1.1 cgd /* left-adjusting padding (always blank) */
737 1.1 cgd if (flags & LADJUST)
738 1.1 cgd PAD(width - realsz, blanks);
739 1.1 cgd
740 1.1 cgd /* finally, adjust ret */
741 1.1 cgd ret += width > realsz ? width : realsz;
742 1.1 cgd
743 1.1 cgd FLUSH(); /* copy out the I/O vectors */
744 1.1 cgd }
745 1.1 cgd done:
746 1.1 cgd FLUSH();
747 1.1 cgd error:
748 1.28 kleink if (__sferror(fp))
749 1.28 kleink ret = -1;
750 1.28 kleink FUNLOCKFILE(fp);
751 1.28 kleink return (ret);
752 1.1 cgd }
753 1.1 cgd
754 1.1 cgd #ifdef FLOATING_POINT
755 1.1 cgd
756 1.4 cgd static char *
757 1.4 cgd cvt(value, ndigits, flags, sign, decpt, ch, length)
758 1.4 cgd double value;
759 1.4 cgd int ndigits, flags, *decpt, ch, *length;
760 1.4 cgd char *sign;
761 1.1 cgd {
762 1.4 cgd int mode, dsgn;
763 1.4 cgd char *digits, *bp, *rve;
764 1.1 cgd
765 1.31 lukem _DIAGASSERT(decpt != NULL);
766 1.31 lukem _DIAGASSERT(length != NULL);
767 1.31 lukem _DIAGASSERT(sign != NULL);
768 1.31 lukem
769 1.9 jtc if (ch == 'f') {
770 1.9 jtc mode = 3; /* ndigits after the decimal point */
771 1.9 jtc } else {
772 1.9 jtc /* To obtain ndigits after the decimal point for the 'e'
773 1.9 jtc * and 'E' formats, round to ndigits + 1 significant
774 1.9 jtc * figures.
775 1.9 jtc */
776 1.9 jtc if (ch == 'e' || ch == 'E') {
777 1.9 jtc ndigits++;
778 1.9 jtc }
779 1.9 jtc mode = 2; /* ndigits significant digits */
780 1.1 cgd }
781 1.9 jtc
782 1.4 cgd if (value < 0) {
783 1.4 cgd value = -value;
784 1.4 cgd *sign = '-';
785 1.4 cgd } else
786 1.4 cgd *sign = '\000';
787 1.4 cgd digits = __dtoa(value, mode, ndigits, decpt, &dsgn, &rve);
788 1.9 jtc if ((ch != 'g' && ch != 'G') || flags & ALT) { /* Print trailing zeros */
789 1.4 cgd bp = digits + ndigits;
790 1.4 cgd if (ch == 'f') {
791 1.4 cgd if (*digits == '0' && value)
792 1.4 cgd *decpt = -ndigits + 1;
793 1.4 cgd bp += *decpt;
794 1.4 cgd }
795 1.4 cgd if (value == 0) /* kludge for __dtoa irregularity */
796 1.4 cgd rve = bp;
797 1.4 cgd while (rve < bp)
798 1.4 cgd *rve++ = '0';
799 1.1 cgd }
800 1.4 cgd *length = rve - digits;
801 1.4 cgd return (digits);
802 1.1 cgd }
803 1.1 cgd
804 1.4 cgd static int
805 1.4 cgd exponent(p0, exp, fmtch)
806 1.4 cgd char *p0;
807 1.4 cgd int exp, fmtch;
808 1.1 cgd {
809 1.23 perry char *p, *t;
810 1.1 cgd char expbuf[MAXEXP];
811 1.31 lukem
812 1.31 lukem _DIAGASSERT(p0 != NULL);
813 1.1 cgd
814 1.4 cgd p = p0;
815 1.1 cgd *p++ = fmtch;
816 1.1 cgd if (exp < 0) {
817 1.1 cgd exp = -exp;
818 1.1 cgd *p++ = '-';
819 1.1 cgd }
820 1.1 cgd else
821 1.1 cgd *p++ = '+';
822 1.1 cgd t = expbuf + MAXEXP;
823 1.1 cgd if (exp > 9) {
824 1.1 cgd do {
825 1.1 cgd *--t = to_char(exp % 10);
826 1.1 cgd } while ((exp /= 10) > 9);
827 1.1 cgd *--t = to_char(exp);
828 1.1 cgd for (; t < expbuf + MAXEXP; *p++ = *t++);
829 1.1 cgd }
830 1.1 cgd else {
831 1.1 cgd *p++ = '0';
832 1.1 cgd *p++ = to_char(exp);
833 1.1 cgd }
834 1.4 cgd return (p - p0);
835 1.1 cgd }
836 1.1 cgd #endif /* FLOATING_POINT */
837