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