vfprintf.c revision 1.32.8.1 1 1.32.8.1 he /* $NetBSD: vfprintf.c,v 1.32.8.1 2001/12/09 19:25:52 he 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.32.8.1 he __RCSID("$NetBSD: vfprintf.c,v 1.32.8.1 2001/12/09 19:25:52 he 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
293 1.28 kleink FLOCKFILE(fp);
294 1.28 kleink
295 1.22 kleink /* sorry, fprintf(read_only_file, "") returns -1, not 0 */
296 1.19 kleink if (cantwrite(fp)) {
297 1.19 kleink errno = EBADF;
298 1.28 kleink FUNLOCKFILE(fp);
299 1.22 kleink return (-1);
300 1.19 kleink }
301 1.1 cgd
302 1.1 cgd /* optimise fprintf(stderr) (and other unbuffered Unix files) */
303 1.1 cgd if ((fp->_flags & (__SNBF|__SWR|__SRW)) == (__SNBF|__SWR) &&
304 1.28 kleink fp->_file >= 0) {
305 1.28 kleink ret = __sbprintf(fp, fmt0, ap);
306 1.28 kleink FUNLOCKFILE(fp);
307 1.28 kleink return (ret);
308 1.28 kleink }
309 1.1 cgd
310 1.27 mycroft fmt = fmt0;
311 1.1 cgd uio.uio_iov = iovp = iov;
312 1.1 cgd uio.uio_resid = 0;
313 1.1 cgd uio.uio_iovcnt = 0;
314 1.1 cgd ret = 0;
315 1.1 cgd
316 1.1 cgd /*
317 1.1 cgd * Scan the format for conversions (`%' character).
318 1.1 cgd */
319 1.1 cgd for (;;) {
320 1.17 jtc cp = fmt;
321 1.17 jtc while ((n = mbtowc(&wc, fmt, MB_CUR_MAX)) > 0) {
322 1.17 jtc fmt += n;
323 1.17 jtc if (wc == '%') {
324 1.17 jtc fmt--;
325 1.17 jtc break;
326 1.17 jtc }
327 1.1 cgd }
328 1.17 jtc if ((m = fmt - cp) != 0) {
329 1.17 jtc PRINT(cp, m);
330 1.17 jtc ret += m;
331 1.17 jtc }
332 1.17 jtc if (n <= 0)
333 1.1 cgd goto done;
334 1.1 cgd fmt++; /* skip over '%' */
335 1.1 cgd
336 1.1 cgd flags = 0;
337 1.1 cgd dprec = 0;
338 1.1 cgd width = 0;
339 1.1 cgd prec = -1;
340 1.1 cgd sign = '\0';
341 1.1 cgd
342 1.1 cgd rflag: ch = *fmt++;
343 1.1 cgd reswitch: switch (ch) {
344 1.1 cgd case ' ':
345 1.1 cgd /*
346 1.1 cgd * ``If the space and + flags both appear, the space
347 1.1 cgd * flag will be ignored.''
348 1.1 cgd * -- ANSI X3J11
349 1.1 cgd */
350 1.1 cgd if (!sign)
351 1.1 cgd sign = ' ';
352 1.1 cgd goto rflag;
353 1.1 cgd case '#':
354 1.1 cgd flags |= ALT;
355 1.1 cgd goto rflag;
356 1.1 cgd case '*':
357 1.1 cgd /*
358 1.1 cgd * ``A negative field width argument is taken as a
359 1.1 cgd * - flag followed by a positive field width.''
360 1.1 cgd * -- ANSI X3J11
361 1.1 cgd * They don't exclude field widths read from args.
362 1.1 cgd */
363 1.1 cgd if ((width = va_arg(ap, int)) >= 0)
364 1.1 cgd goto rflag;
365 1.1 cgd width = -width;
366 1.1 cgd /* FALLTHROUGH */
367 1.1 cgd case '-':
368 1.1 cgd flags |= LADJUST;
369 1.1 cgd goto rflag;
370 1.1 cgd case '+':
371 1.1 cgd sign = '+';
372 1.1 cgd goto rflag;
373 1.1 cgd case '.':
374 1.1 cgd if ((ch = *fmt++) == '*') {
375 1.1 cgd n = va_arg(ap, int);
376 1.1 cgd prec = n < 0 ? -1 : n;
377 1.1 cgd goto rflag;
378 1.1 cgd }
379 1.1 cgd n = 0;
380 1.1 cgd while (is_digit(ch)) {
381 1.1 cgd n = 10 * n + to_digit(ch);
382 1.1 cgd ch = *fmt++;
383 1.1 cgd }
384 1.1 cgd prec = n < 0 ? -1 : n;
385 1.1 cgd goto reswitch;
386 1.1 cgd case '0':
387 1.1 cgd /*
388 1.1 cgd * ``Note that 0 is taken as a flag, not as the
389 1.1 cgd * beginning of a field width.''
390 1.1 cgd * -- ANSI X3J11
391 1.1 cgd */
392 1.1 cgd flags |= ZEROPAD;
393 1.1 cgd goto rflag;
394 1.1 cgd case '1': case '2': case '3': case '4':
395 1.1 cgd case '5': case '6': case '7': case '8': case '9':
396 1.1 cgd n = 0;
397 1.1 cgd do {
398 1.1 cgd n = 10 * n + to_digit(ch);
399 1.1 cgd ch = *fmt++;
400 1.1 cgd } while (is_digit(ch));
401 1.1 cgd width = n;
402 1.1 cgd goto reswitch;
403 1.1 cgd #ifdef FLOATING_POINT
404 1.1 cgd case 'L':
405 1.1 cgd flags |= LONGDBL;
406 1.1 cgd goto rflag;
407 1.1 cgd #endif
408 1.1 cgd case 'h':
409 1.1 cgd flags |= SHORTINT;
410 1.1 cgd goto rflag;
411 1.1 cgd case 'l':
412 1.16 jtc if (*fmt == 'l') {
413 1.16 jtc fmt++;
414 1.16 jtc flags |= QUADINT;
415 1.16 jtc } else {
416 1.16 jtc flags |= LONGINT;
417 1.16 jtc }
418 1.1 cgd goto rflag;
419 1.4 cgd case 'q':
420 1.4 cgd flags |= QUADINT;
421 1.4 cgd goto rflag;
422 1.1 cgd case 'c':
423 1.27 mycroft *buf = va_arg(ap, int);
424 1.27 mycroft cp = buf;
425 1.1 cgd size = 1;
426 1.1 cgd sign = '\0';
427 1.1 cgd break;
428 1.1 cgd case 'D':
429 1.1 cgd flags |= LONGINT;
430 1.1 cgd /*FALLTHROUGH*/
431 1.1 cgd case 'd':
432 1.1 cgd case 'i':
433 1.4 cgd _uquad = SARG();
434 1.4 cgd if ((quad_t)_uquad < 0) {
435 1.4 cgd _uquad = -_uquad;
436 1.1 cgd sign = '-';
437 1.1 cgd }
438 1.1 cgd base = DEC;
439 1.1 cgd goto number;
440 1.1 cgd #ifdef FLOATING_POINT
441 1.9 jtc case 'e':
442 1.1 cgd case 'E':
443 1.9 jtc case 'f':
444 1.1 cgd case 'g':
445 1.1 cgd case 'G':
446 1.9 jtc if (prec == -1) {
447 1.4 cgd prec = DEFPREC;
448 1.9 jtc } else if ((ch == 'g' || ch == 'G') && prec == 0) {
449 1.9 jtc prec = 1;
450 1.9 jtc }
451 1.9 jtc
452 1.9 jtc if (flags & LONGDBL) {
453 1.9 jtc _double = (double) va_arg(ap, long double);
454 1.9 jtc } else {
455 1.9 jtc _double = va_arg(ap, double);
456 1.9 jtc }
457 1.9 jtc
458 1.1 cgd /* do this before tricky precision changes */
459 1.1 cgd if (isinf(_double)) {
460 1.1 cgd if (_double < 0)
461 1.1 cgd sign = '-';
462 1.1 cgd cp = "Inf";
463 1.1 cgd size = 3;
464 1.1 cgd break;
465 1.1 cgd }
466 1.1 cgd if (isnan(_double)) {
467 1.1 cgd cp = "NaN";
468 1.1 cgd size = 3;
469 1.1 cgd break;
470 1.1 cgd }
471 1.9 jtc
472 1.4 cgd flags |= FPT;
473 1.4 cgd cp = cvt(_double, prec, flags, &softsign,
474 1.4 cgd &expt, ch, &ndig);
475 1.4 cgd if (ch == 'g' || ch == 'G') {
476 1.4 cgd if (expt <= -4 || expt > prec)
477 1.4 cgd ch = (ch == 'g') ? 'e' : 'E';
478 1.4 cgd else
479 1.4 cgd ch = 'g';
480 1.4 cgd }
481 1.4 cgd if (ch <= 'e') { /* 'e' or 'E' fmt */
482 1.4 cgd --expt;
483 1.4 cgd expsize = exponent(expstr, expt, ch);
484 1.4 cgd size = expsize + ndig;
485 1.4 cgd if (ndig > 1 || flags & ALT)
486 1.4 cgd ++size;
487 1.4 cgd } else if (ch == 'f') { /* f fmt */
488 1.4 cgd if (expt > 0) {
489 1.4 cgd size = expt;
490 1.4 cgd if (prec || flags & ALT)
491 1.4 cgd size += prec + 1;
492 1.4 cgd } else /* "0.X" */
493 1.4 cgd size = prec + 2;
494 1.4 cgd } else if (expt >= ndig) { /* fixed g fmt */
495 1.4 cgd size = expt;
496 1.4 cgd if (flags & ALT)
497 1.4 cgd ++size;
498 1.4 cgd } else
499 1.4 cgd size = ndig + (expt > 0 ?
500 1.4 cgd 1 : 2 - expt);
501 1.4 cgd
502 1.1 cgd if (softsign)
503 1.1 cgd sign = '-';
504 1.1 cgd break;
505 1.1 cgd #endif /* FLOATING_POINT */
506 1.1 cgd case 'n':
507 1.4 cgd if (flags & QUADINT)
508 1.4 cgd *va_arg(ap, quad_t *) = ret;
509 1.4 cgd else if (flags & LONGINT)
510 1.1 cgd *va_arg(ap, long *) = ret;
511 1.1 cgd else if (flags & SHORTINT)
512 1.1 cgd *va_arg(ap, short *) = ret;
513 1.1 cgd else
514 1.1 cgd *va_arg(ap, int *) = ret;
515 1.1 cgd continue; /* no output */
516 1.1 cgd case 'O':
517 1.1 cgd flags |= LONGINT;
518 1.1 cgd /*FALLTHROUGH*/
519 1.1 cgd case 'o':
520 1.4 cgd _uquad = UARG();
521 1.1 cgd base = OCT;
522 1.1 cgd goto nosign;
523 1.1 cgd case 'p':
524 1.1 cgd /*
525 1.1 cgd * ``The argument shall be a pointer to void. The
526 1.1 cgd * value of the pointer is converted to a sequence
527 1.1 cgd * of printable characters, in an implementation-
528 1.1 cgd * defined manner.''
529 1.1 cgd * -- ANSI X3J11
530 1.1 cgd */
531 1.1 cgd /* NOSTRICT */
532 1.15 cgd _uquad = (u_long)va_arg(ap, void *);
533 1.1 cgd base = HEX;
534 1.1 cgd xdigs = "0123456789abcdef";
535 1.1 cgd flags |= HEXPREFIX;
536 1.1 cgd ch = 'x';
537 1.1 cgd goto nosign;
538 1.1 cgd case 's':
539 1.1 cgd if ((cp = va_arg(ap, char *)) == NULL)
540 1.1 cgd cp = "(null)";
541 1.1 cgd if (prec >= 0) {
542 1.1 cgd /*
543 1.1 cgd * can't use strlen; can only look for the
544 1.1 cgd * NUL in the first `prec' characters, and
545 1.1 cgd * strlen() will go further.
546 1.1 cgd */
547 1.30 christos char *p = memchr(cp, 0, (size_t)prec);
548 1.1 cgd
549 1.1 cgd if (p != NULL) {
550 1.1 cgd size = p - cp;
551 1.1 cgd if (size > prec)
552 1.1 cgd size = prec;
553 1.1 cgd } else
554 1.1 cgd size = prec;
555 1.1 cgd } else
556 1.1 cgd size = strlen(cp);
557 1.1 cgd sign = '\0';
558 1.1 cgd break;
559 1.1 cgd case 'U':
560 1.1 cgd flags |= LONGINT;
561 1.1 cgd /*FALLTHROUGH*/
562 1.1 cgd case 'u':
563 1.4 cgd _uquad = UARG();
564 1.1 cgd base = DEC;
565 1.1 cgd goto nosign;
566 1.1 cgd case 'X':
567 1.1 cgd xdigs = "0123456789ABCDEF";
568 1.1 cgd goto hex;
569 1.1 cgd case 'x':
570 1.1 cgd xdigs = "0123456789abcdef";
571 1.4 cgd hex: _uquad = UARG();
572 1.1 cgd base = HEX;
573 1.1 cgd /* leading 0x/X only if non-zero */
574 1.4 cgd if (flags & ALT && _uquad != 0)
575 1.1 cgd flags |= HEXPREFIX;
576 1.1 cgd
577 1.1 cgd /* unsigned conversions */
578 1.1 cgd nosign: sign = '\0';
579 1.1 cgd /*
580 1.1 cgd * ``... diouXx conversions ... if a precision is
581 1.1 cgd * specified, the 0 flag will be ignored.''
582 1.1 cgd * -- ANSI X3J11
583 1.1 cgd */
584 1.1 cgd number: if ((dprec = prec) >= 0)
585 1.1 cgd flags &= ~ZEROPAD;
586 1.1 cgd
587 1.1 cgd /*
588 1.1 cgd * ``The result of converting a zero value with an
589 1.1 cgd * explicit precision of zero is no characters.''
590 1.1 cgd * -- ANSI X3J11
591 1.1 cgd */
592 1.27 mycroft bp = buf + BUF;
593 1.4 cgd if (_uquad != 0 || prec != 0) {
594 1.1 cgd /*
595 1.4 cgd * Unsigned mod is hard, and unsigned mod
596 1.1 cgd * by a constant is easier than that by
597 1.1 cgd * a variable; hence this switch.
598 1.1 cgd */
599 1.1 cgd switch (base) {
600 1.1 cgd case OCT:
601 1.1 cgd do {
602 1.27 mycroft *--bp = to_char(_uquad & 7);
603 1.4 cgd _uquad >>= 3;
604 1.4 cgd } while (_uquad);
605 1.1 cgd /* handle octal leading 0 */
606 1.27 mycroft if (flags & ALT && *bp != '0')
607 1.27 mycroft *--bp = '0';
608 1.1 cgd break;
609 1.1 cgd
610 1.1 cgd case DEC:
611 1.1 cgd /* many numbers are 1 digit */
612 1.4 cgd while (_uquad >= 10) {
613 1.27 mycroft *--bp = to_char(_uquad % 10);
614 1.4 cgd _uquad /= 10;
615 1.1 cgd }
616 1.27 mycroft *--bp = to_char(_uquad);
617 1.1 cgd break;
618 1.1 cgd
619 1.1 cgd case HEX:
620 1.1 cgd do {
621 1.30 christos *--bp = xdigs[(size_t)
622 1.30 christos (_uquad & 15)];
623 1.4 cgd _uquad >>= 4;
624 1.4 cgd } while (_uquad);
625 1.1 cgd break;
626 1.1 cgd
627 1.1 cgd default:
628 1.1 cgd cp = "bug in vfprintf: bad base";
629 1.1 cgd size = strlen(cp);
630 1.1 cgd goto skipsize;
631 1.1 cgd }
632 1.1 cgd }
633 1.27 mycroft cp = bp;
634 1.27 mycroft size = buf + BUF - bp;
635 1.1 cgd skipsize:
636 1.1 cgd break;
637 1.1 cgd default: /* "%?" prints ?, unless ? is NUL */
638 1.1 cgd if (ch == '\0')
639 1.1 cgd goto done;
640 1.1 cgd /* pretend it was %c with argument ch */
641 1.27 mycroft *buf = ch;
642 1.1 cgd cp = buf;
643 1.1 cgd size = 1;
644 1.1 cgd sign = '\0';
645 1.1 cgd break;
646 1.1 cgd }
647 1.1 cgd
648 1.1 cgd /*
649 1.4 cgd * All reasonable formats wind up here. At this point, `cp'
650 1.4 cgd * points to a string which (if not flags&LADJUST) should be
651 1.4 cgd * padded out to `width' places. If flags&ZEROPAD, it should
652 1.4 cgd * first be prefixed by any sign or other prefix; otherwise,
653 1.4 cgd * it should be blank padded before the prefix is emitted.
654 1.4 cgd * After any left-hand padding and prefixing, emit zeroes
655 1.4 cgd * required by a decimal [diouxX] precision, then print the
656 1.4 cgd * string proper, then emit zeroes required by any leftover
657 1.4 cgd * floating precision; finally, if LADJUST, pad with blanks.
658 1.4 cgd *
659 1.4 cgd * Compute actual size, so we know how much to pad.
660 1.14 jtc * size excludes decimal prec; realsz includes it.
661 1.1 cgd */
662 1.14 jtc realsz = dprec > size ? dprec : size;
663 1.1 cgd if (sign)
664 1.14 jtc realsz++;
665 1.1 cgd else if (flags & HEXPREFIX)
666 1.14 jtc realsz+= 2;
667 1.1 cgd
668 1.1 cgd /* right-adjusting blank padding */
669 1.1 cgd if ((flags & (LADJUST|ZEROPAD)) == 0)
670 1.1 cgd PAD(width - realsz, blanks);
671 1.1 cgd
672 1.1 cgd /* prefix */
673 1.1 cgd if (sign) {
674 1.1 cgd PRINT(&sign, 1);
675 1.1 cgd } else if (flags & HEXPREFIX) {
676 1.1 cgd ox[0] = '0';
677 1.1 cgd ox[1] = ch;
678 1.1 cgd PRINT(ox, 2);
679 1.1 cgd }
680 1.1 cgd
681 1.1 cgd /* right-adjusting zero padding */
682 1.1 cgd if ((flags & (LADJUST|ZEROPAD)) == ZEROPAD)
683 1.1 cgd PAD(width - realsz, zeroes);
684 1.1 cgd
685 1.1 cgd /* leading zeroes from decimal precision */
686 1.13 jtc PAD(dprec - size, zeroes);
687 1.1 cgd
688 1.1 cgd /* the string or number proper */
689 1.4 cgd #ifdef FLOATING_POINT
690 1.4 cgd if ((flags & FPT) == 0) {
691 1.4 cgd PRINT(cp, size);
692 1.4 cgd } else { /* glue together f_p fragments */
693 1.4 cgd if (ch >= 'f') { /* 'f' or 'g' */
694 1.4 cgd if (_double == 0) {
695 1.9 jtc /* kludge for __dtoa irregularity */
696 1.12 jtc PRINT("0", 1);
697 1.12 jtc if (expt < ndig || (flags & ALT) != 0) {
698 1.12 jtc PRINT(decimal_point, 1);
699 1.4 cgd PAD(ndig - 1, zeroes);
700 1.4 cgd }
701 1.4 cgd } else if (expt <= 0) {
702 1.12 jtc PRINT("0", 1);
703 1.12 jtc PRINT(decimal_point, 1);
704 1.4 cgd PAD(-expt, zeroes);
705 1.4 cgd PRINT(cp, ndig);
706 1.4 cgd } else if (expt >= ndig) {
707 1.4 cgd PRINT(cp, ndig);
708 1.4 cgd PAD(expt - ndig, zeroes);
709 1.4 cgd if (flags & ALT)
710 1.4 cgd PRINT(".", 1);
711 1.4 cgd } else {
712 1.4 cgd PRINT(cp, expt);
713 1.4 cgd cp += expt;
714 1.4 cgd PRINT(".", 1);
715 1.4 cgd PRINT(cp, ndig-expt);
716 1.4 cgd }
717 1.4 cgd } else { /* 'e' or 'E' */
718 1.4 cgd if (ndig > 1 || flags & ALT) {
719 1.4 cgd ox[0] = *cp++;
720 1.4 cgd ox[1] = '.';
721 1.4 cgd PRINT(ox, 2);
722 1.21 phil if (_double) {
723 1.4 cgd PRINT(cp, ndig-1);
724 1.4 cgd } else /* 0.[0..] */
725 1.4 cgd /* __dtoa irregularity */
726 1.4 cgd PAD(ndig - 1, zeroes);
727 1.4 cgd } else /* XeYYY */
728 1.4 cgd PRINT(cp, 1);
729 1.4 cgd PRINT(expstr, expsize);
730 1.4 cgd }
731 1.4 cgd }
732 1.4 cgd #else
733 1.1 cgd PRINT(cp, size);
734 1.1 cgd #endif
735 1.1 cgd /* left-adjusting padding (always blank) */
736 1.1 cgd if (flags & LADJUST)
737 1.1 cgd PAD(width - realsz, blanks);
738 1.1 cgd
739 1.1 cgd /* finally, adjust ret */
740 1.1 cgd ret += width > realsz ? width : realsz;
741 1.1 cgd
742 1.1 cgd FLUSH(); /* copy out the I/O vectors */
743 1.1 cgd }
744 1.1 cgd done:
745 1.1 cgd FLUSH();
746 1.1 cgd error:
747 1.28 kleink if (__sferror(fp))
748 1.28 kleink ret = -1;
749 1.28 kleink FUNLOCKFILE(fp);
750 1.28 kleink return (ret);
751 1.1 cgd }
752 1.1 cgd
753 1.1 cgd #ifdef FLOATING_POINT
754 1.1 cgd
755 1.4 cgd static char *
756 1.4 cgd cvt(value, ndigits, flags, sign, decpt, ch, length)
757 1.4 cgd double value;
758 1.4 cgd int ndigits, flags, *decpt, ch, *length;
759 1.4 cgd char *sign;
760 1.1 cgd {
761 1.4 cgd int mode, dsgn;
762 1.4 cgd char *digits, *bp, *rve;
763 1.1 cgd
764 1.31 lukem _DIAGASSERT(decpt != NULL);
765 1.31 lukem _DIAGASSERT(length != NULL);
766 1.31 lukem _DIAGASSERT(sign != NULL);
767 1.31 lukem
768 1.9 jtc if (ch == 'f') {
769 1.9 jtc mode = 3; /* ndigits after the decimal point */
770 1.9 jtc } else {
771 1.9 jtc /* To obtain ndigits after the decimal point for the 'e'
772 1.9 jtc * and 'E' formats, round to ndigits + 1 significant
773 1.9 jtc * figures.
774 1.9 jtc */
775 1.9 jtc if (ch == 'e' || ch == 'E') {
776 1.9 jtc ndigits++;
777 1.9 jtc }
778 1.9 jtc mode = 2; /* ndigits significant digits */
779 1.1 cgd }
780 1.9 jtc
781 1.32.8.1 he digits = __dtoa(value, mode, ndigits, decpt, &dsgn, &rve);
782 1.32.8.1 he if (dsgn) {
783 1.4 cgd value = -value;
784 1.4 cgd *sign = '-';
785 1.4 cgd } else
786 1.4 cgd *sign = '\000';
787 1.9 jtc if ((ch != 'g' && ch != 'G') || flags & ALT) { /* Print trailing zeros */
788 1.4 cgd bp = digits + ndigits;
789 1.4 cgd if (ch == 'f') {
790 1.4 cgd if (*digits == '0' && value)
791 1.4 cgd *decpt = -ndigits + 1;
792 1.4 cgd bp += *decpt;
793 1.4 cgd }
794 1.4 cgd if (value == 0) /* kludge for __dtoa irregularity */
795 1.4 cgd rve = bp;
796 1.4 cgd while (rve < bp)
797 1.4 cgd *rve++ = '0';
798 1.1 cgd }
799 1.4 cgd *length = rve - digits;
800 1.4 cgd return (digits);
801 1.1 cgd }
802 1.1 cgd
803 1.4 cgd static int
804 1.4 cgd exponent(p0, exp, fmtch)
805 1.4 cgd char *p0;
806 1.4 cgd int exp, fmtch;
807 1.1 cgd {
808 1.23 perry char *p, *t;
809 1.1 cgd char expbuf[MAXEXP];
810 1.31 lukem
811 1.31 lukem _DIAGASSERT(p0 != NULL);
812 1.1 cgd
813 1.4 cgd p = p0;
814 1.1 cgd *p++ = fmtch;
815 1.1 cgd if (exp < 0) {
816 1.1 cgd exp = -exp;
817 1.1 cgd *p++ = '-';
818 1.1 cgd }
819 1.1 cgd else
820 1.1 cgd *p++ = '+';
821 1.1 cgd t = expbuf + MAXEXP;
822 1.1 cgd if (exp > 9) {
823 1.1 cgd do {
824 1.1 cgd *--t = to_char(exp % 10);
825 1.1 cgd } while ((exp /= 10) > 9);
826 1.1 cgd *--t = to_char(exp);
827 1.1 cgd for (; t < expbuf + MAXEXP; *p++ = *t++);
828 1.1 cgd }
829 1.1 cgd else {
830 1.1 cgd *p++ = '0';
831 1.1 cgd *p++ = to_char(exp);
832 1.1 cgd }
833 1.4 cgd return (p - p0);
834 1.1 cgd }
835 1.1 cgd #endif /* FLOATING_POINT */
836