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