1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
1921
1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
2128
2129
2130
2131
2132
2133
2134
2135
2136
2137
2138
2139
2140
2141
2142
2143
2144
2145
2146
2147
2148
2149
2150
2151
2152
2153
2154
2155
2156
2157
2158
2159
2160
2161
2162
2163
2164
2165
2166
2167
2168
2169
2170
2171
2172
2173
2174
2175
2176
2177
2178
2179
2180
2181
2182
2183
2184
2185
2186
2187
2188
2189
2190
2191
2192
2193
2194
2195
2196
2197
2198
2199
2200
2201
2202
2203
2204
2205
2206
2207
2208
2209
2210
2211
2212
2213
2214
2215
2216
2217
2218
2219
2220
2221
2222
2223
2224
2225
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
2240
2241
2242
2243
2244
2245
2246
2247
2248
2249
2250
2251
2252
2253
2254
2255
2256
2257
2258
2259
2260
2261
2262
2263
2264
2265
2266
2267
2268
2269
2270
2271
2272
2273
2274
2275
2276
2277
2278
2279
2280
2281
2282
2283
2284
2285
2286
2287
2288
2289
2290
2291
2292
2293
2294
2295
2296
2297
2298
2299
2300
2301
2302
2303
2304
2305
2306
2307
2308
2309
2310
2311
2312
2313
2314
2315
2316
2317
2318
2319
2320
2321
2322
2323
2324
2325
2326
2327
2328
2329
2330
2331
2332
2333
2334
2335
2336
2337
2338
2339
2340
2341
2342
2343
2344
2345
2346
2347
2348
2349
2350
2351
2352
2353
2354
2355
2356
2357
2358
2359
2360
2361
2362
2363
2364
2365
2366
2367
2368
2369
2370
2371
2372
2373
2374
2375
2376
2377
2378
2379
2380
2381
2382
2383
2384
2385
2386
2387
2388
2389
2390
2391
2392
2393
2394
2395
2396
2397
2398
2399
2400
2401
2402
2403
2404
2405
2406
2407
2408
2409
2410
2411
2412
2413
2414
2415
2416
2417
2418
2419
2420
2421
2422
2423
2424
2425
2426
2427
2428
2429
2430
2431
2432
2433
2434
2435
2436
2437
2438
2439
2440
2441
2442
2443
2444
2445
2446
2447
2448
2449
2450
2451
2452
2453
2454
2455
2456
2457
2458
2459
2460
2461
2462
2463
2464
2465
2466
2467
2468
2469
2470
2471
2472
2473
2474
2475
2476
2477
2478
2479
2480
2481
2482
2483
2484
2485
2486
2487
2488
2489
2490
2491
2492
2493
2494
2495
2496
2497
2498
2499
2500
2501
2502
2503
2504
2505
2506
2507
2508
2509
2510
2511
|
/* FIXME: to be removed one day; for now we explicitly are not
* prepared to support the POSIX-XSI additions to the C99 standard.
*/
#undef WITH_XSI_FEATURES
/* pformat.c
*
* $Id$
*
* Provides a core implementation of the formatting capabilities
* common to the entire `printf()' family of functions; it conforms
* generally to C99 and SUSv3/POSIX specifications, with extensions
* to support Microsoft's non-standard format specifications.
*
* Written by Keith Marshall <keithmarshall@users.sourceforge.net>
*
* This is free software. You may redistribute and/or modify it as you
* see fit, without restriction of copyright.
*
* This software is provided "as is", in the hope that it may be useful,
* but WITHOUT WARRANTY OF ANY KIND, not even any implied warranty of
* MERCHANTABILITY, nor of FITNESS FOR ANY PARTICULAR PURPOSE. At no
* time will the author accept any form of liability for any damages,
* however caused, resulting from the use of this software.
*
* The elements of this implementation which deal with the formatting
* of floating point numbers, (i.e. the `%e', `%E', `%f', `%F', `%g'
* and `%G' format specifiers, but excluding the hexadecimal floating
* point `%a' and `%A' specifiers), make use of the `__gdtoa' function
* written by David M. Gay, and are modelled on his sample code, which
* has been deployed under its accompanying terms of use:--
*
******************************************************************
* Copyright (C) 1997, 1999, 2001 Lucent Technologies
* All Rights Reserved
*
* Permission to use, copy, modify, and distribute this software and
* its documentation for any purpose and without fee is hereby
* granted, provided that the above copyright notice appear in all
* copies and that both that the copyright notice and this
* permission notice and warranty disclaimer appear in supporting
* documentation, and that the name of Lucent or any of its entities
* not be used in advertising or publicity pertaining to
* distribution of the software without specific, written prior
* permission.
*
* LUCENT DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE,
* INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS.
* IN NO EVENT SHALL LUCENT OR ANY OF ITS ENTITIES BE LIABLE FOR ANY
* SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER
* IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION,
* ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF
* THIS SOFTWARE.
******************************************************************
*
*/
#include <stdio.h>
#include <stdarg.h>
#include <stddef.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <limits.h>
#include <locale.h>
#include <wchar.h>
#include <math.h>
/* FIXME: The following belongs in values.h, but current MinGW
* has nothing useful there! OTOH, values.h is not a standard
* header, and it's use may be considered obsolete; perhaps it
* is better to just keep these definitions here.
*/
#ifndef _VALUES_H
/*
* values.h
*
*/
#define _VALUES_H
#include <limits.h>
#define _TYPEBITS(type) (sizeof(type) * CHAR_BIT)
#define LLONGBITS _TYPEBITS(long long)
#endif /* !defined _VALUES_H -- end of file */
#include "pformat.h"
/* Bit-map constants, defining the internal format control
* states, which propagate through the flags.
*/
#define PFORMAT_HASHED 0x0800
#define PFORMAT_LJUSTIFY 0x0400
#define PFORMAT_ZEROFILL 0x0200
#define PFORMAT_JUSTIFY (PFORMAT_LJUSTIFY | PFORMAT_ZEROFILL)
#define PFORMAT_IGNORE -1
#define PFORMAT_SIGNED 0x01C0
#define PFORMAT_POSITIVE 0x0100
#define PFORMAT_NEGATIVE 0x0080
#define PFORMAT_ADDSPACE 0x0040
#define PFORMAT_XCASE 0x0020
#define PFORMAT_LDOUBLE 0x0004
/* `%o' format digit extraction mask, and shift count...
* (These are constant, and do not propagate through the flags).
*/
#define PFORMAT_OMASK 0x0007
#define PFORMAT_OSHIFT 0x0003
/* `%x' and `%X' format digit extraction mask, and shift count...
* (These are constant, and do not propagate through the flags).
*/
#define PFORMAT_XMASK 0x000F
#define PFORMAT_XSHIFT 0x0004
/* The radix point character, used in floating point formats, is
* localised on the basis of the active LC_NUMERIC locale category.
* It is stored locally, as a `wchar_t' entity, which is converted
* to a (possibly multibyte) character on output. Initialisation
* of the stored `wchar_t' entity, together with a record of its
* effective multibyte character length, is required each time
* `__pformat()' is entered, (static storage would not be thread
* safe), but this initialisation is deferred until it is actually
* needed; on entry, the effective character length is first set to
* the following value, (and the `wchar_t' entity is zeroed), to
* indicate that a call of `localeconv()' is needed, to complete
* the initialisation.
*/
#define PFORMAT_RPINIT -3
/* The floating point format handlers return the following value
* for the radix point position index, when the argument value is
* infinite, or not a number.
*/
#define PFORMAT_INFNAN -32768
#ifdef _WIN32
/*
* The Microsoft standard for printing `%e' format exponents is
* with a minimum of three digits, unless explicitly set otherwise,
* by a prior invocation of the `_set_output_format()' function.
*
* The following macro allows us to replicate this behaviour.
*/
# define PFORMAT_MINEXP __pformat_exponent_digits()
/*
* However, this feature is unsupported for versions of the
* MSVC runtime library prior to msvcr80.dll, and by default,
* MinGW uses an earlier version, (equivalent to msvcr60.dll),
* for which `_TWO_DIGIT_EXPONENT' will be undefined.
*/
# ifndef _TWO_DIGIT_EXPONENT
/*
* This hack works around the lack of the `_set_output_format()'
* feature, when supporting versions of the MSVC runtime library
* prior to msvcr80.dll; it simply enforces Microsoft's original
* convention, for all cases where the feature is unsupported.
*/
# define _get_output_format() 0
# define _TWO_DIGIT_EXPONENT 1
# endif
/*
* Irrespective of the MSVCRT version supported, *we* will add
* an additional capability, through the following inline function,
* which will allow the user to choose his own preferred default
* for `PRINTF_EXPONENT_DIGITS', through the simple expedient
* of defining it as an environment variable.
*/
static __inline__ __attribute__((__always_inline__))
int __pformat_exponent_digits( void )
{
char *exponent_digits = getenv( "PRINTF_EXPONENT_DIGITS" );
return ((exponent_digits != NULL) && ((unsigned)(*exponent_digits - '0') < 3))
|| (_get_output_format() & _TWO_DIGIT_EXPONENT)
? 2
: 3
;
}
#else
/*
* When we don't care to mimic Microsoft's standard behaviour,
* we adopt the C99/POSIX standard of two digit exponents.
*/
# define PFORMAT_MINEXP 2
#endif
typedef union
{
/* A data type agnostic representation,
* for printf arguments of any integral data type...
*/
signed long __pformat_long_t;
signed long long __pformat_llong_t;
unsigned long __pformat_ulong_t;
unsigned long long __pformat_ullong_t;
unsigned short __pformat_ushort_t;
unsigned char __pformat_uchar_t;
signed short __pformat_short_t;
signed char __pformat_char_t;
void * __pformat_ptr_t;
} __pformat_intarg_t;
typedef enum
{
/* Format interpreter state indices...
* (used to identify the active phase of format string parsing).
*/
PFORMAT_INIT = 0,
PFORMAT_SET_WIDTH,
PFORMAT_GET_PRECISION,
PFORMAT_SET_PRECISION,
PFORMAT_END
} __pformat_state_t;
typedef enum
{
/* Argument length classification indices...
* (used for arguments representing integer data types).
*/
PFORMAT_LENGTH_INT = 0,
PFORMAT_LENGTH_SHORT,
PFORMAT_LENGTH_LONG,
PFORMAT_LENGTH_LLONG,
PFORMAT_LENGTH_CHAR
} __pformat_length_t;
/*
* And a macro to map any arbitrary data type to an appropriate
* matching index, selected from those above; the compiler should
* collapse this to a simple assignment.
*/
#define __pformat_arg_length( type ) \
sizeof( type ) == sizeof( long long ) ? PFORMAT_LENGTH_LLONG : \
sizeof( type ) == sizeof( long ) ? PFORMAT_LENGTH_LONG : \
sizeof( type ) == sizeof( short ) ? PFORMAT_LENGTH_SHORT : \
sizeof( type ) == sizeof( char ) ? PFORMAT_LENGTH_CHAR : \
/* should never need this default */ PFORMAT_LENGTH_INT
typedef struct
{
/* Formatting and output control data...
* An instance of this control block is created, (on the stack),
* for each call to `__pformat()', and is passed by reference to
* each of the output handlers, as required.
*/
void * dest;
int flags;
int width;
int precision;
int rplen;
wchar_t rpchr;
int count;
int quota;
int expmin;
} __pformat_t;
static
void __pformat_putc( int c, __pformat_t *stream )
{
/* Place a single character into the `__pformat()' output queue,
* provided any specified output quota has not been exceeded.
*/
if( (stream->flags & PFORMAT_NOLIMIT) || (stream->quota > stream->count) )
{
/* Either there was no quota specified,
* or the active quota has not yet been reached.
*/
if( stream->flags & PFORMAT_TO_FILE )
/*
* This is single character output to a FILE stream...
*/
fputc( c, (FILE *)(stream->dest) );
else
/* Whereas, this is to an internal memory buffer...
*/
((char *)(stream->dest))[stream->count] = c;
}
++stream->count;
}
static
void __pformat_putchars( const char *s, int count, __pformat_t *stream )
{
/* Handler for `%c' and (indirectly) `%s' conversion specifications.
*
* Transfer characters from the string buffer at `s', character by
* character, up to the number of characters specified by `count', or
* if `precision' has been explicitly set to a value less than `count',
* stopping after the number of characters specified for `precision',
* to the `__pformat()' output stream.
*
* Characters to be emitted are passed through `__pformat_putc()', to
* ensure that any specified output quota is honoured.
*/
if( (stream->precision >= 0) && (count > stream->precision) )
/*
* Ensure that the maximum number of characters transferred doesn't
* exceed any explicitly set `precision' specification.
*/
count = stream->precision;
/* Establish the width of any field padding required...
*/
if( stream->width > count )
/*
* as the number of spaces equivalent to the number of characters
* by which those to be emitted is fewer than the field width...
*/
stream->width -= count;
else
/* ignoring any width specification which is insufficient.
*/
stream->width = PFORMAT_IGNORE;
if( (stream->width > 0) && ((stream->flags & PFORMAT_LJUSTIFY) == 0) )
/*
* When not doing flush left justification, (i.e. the `-' flag
* is not set), any residual unreserved field width must appear
* as blank padding, to the left of the output string.
*/
while( stream->width-- )
__pformat_putc( '\x20', stream );
/* Emit the data...
*/
while( count-- )
/*
* copying the requisite number of characters from the input.
*/
__pformat_putc( *s++, stream );
/* If we still haven't consumed the entire specified field width,
* we must be doing flush left justification; any residual width
* must be filled with blanks, to the right of the output value.
*/
while( stream->width-- > 0 )
__pformat_putc( '\x20', stream );
}
static __inline__
void __pformat_puts( const char *s, __pformat_t *stream )
{
/* Handler for `%s' conversion specifications.
*
* Transfer a NUL terminated character string, character by character,
* stopping when the end of the string is encountered, or if `precision'
* has been explicitly set, when the specified number of characters has
* been emitted, if that is less than the length of the input string,
* to the `__pformat()' output stream.
*
* This is implemented as a trivial call to `__pformat_putchars()',
* passing the length of the input string as the character count.
*/
__pformat_putchars( s, strlen( s ), stream );
}
static
void __pformat_wputchars( const wchar_t *s, int count, __pformat_t *stream )
{
/* Handler for `%C'(`%lc') and `%S'(`%ls') conversion specifications;
* (this is a wide character variant of `__pformat_putchars()').
*
* Each multibyte character sequence to be emitted is passed, byte
* by byte, through `__pformat_putc()', to ensure that any specified
* output quota is honoured.
*/
char buf[16]; mbstate_t state; int len = wcrtomb( buf, L'\0', &state );
if( (stream->precision >= 0) && (count > stream->precision) )
/*
* Ensure that the maximum number of characters transferred doesn't
* exceed any explicitly set `precision' specification.
*/
count = stream->precision;
/* Establish the width of any field padding required...
*/
if( stream->width > count )
/*
* as the number of spaces equivalent to the number of characters
* by which those to be emitted is fewer than the field width...
*/
stream->width -= count;
else
/* ignoring any width specification which is insufficient.
*/
stream->width = PFORMAT_IGNORE;
if( (stream->width > 0) && ((stream->flags & PFORMAT_LJUSTIFY) == 0) )
/*
* When not doing flush left justification, (i.e. the `-' flag
* is not set), any residual unreserved field width must appear
* as blank padding, to the left of the output string.
*/
while( stream->width-- )
__pformat_putc( '\x20', stream );
/* Emit the data, converting each character from the wide
* to the multibyte domain as we go...
*/
while( (count-- > 0) && ((len = wcrtomb( buf, *s++, &state )) > 0) )
{
char *p = buf;
while( len-- > 0 )
__pformat_putc( *p++, stream );
}
/* If we still haven't consumed the entire specified field width,
* we must be doing flush left justification; any residual width
* must be filled with blanks, to the right of the output value.
*/
while( stream->width-- > 0 )
__pformat_putc( '\x20', stream );
}
static __inline__ __attribute__((__always_inline__))
void __pformat_wcputs( const wchar_t *s, __pformat_t *stream )
{
/* Handler for `%S' (`%ls') conversion specifications.
*
* Transfer a NUL terminated wide character string, character by
* character, converting to its equivalent multibyte representation
* on output, and stopping when the end of the string is encountered,
* or if `precision' has been explicitly set, when the specified number
* of characters has been emitted, if that is less than the length of
* the input string, to the `__pformat()' output stream.
*
* This is implemented as a trivial call to `__pformat_wputchars()',
* passing the length of the input string as the character count.
*/
__pformat_wputchars( s, wcslen( s ), stream );
}
static __inline__
int __pformat_int_bufsiz( int bias, int size, __pformat_t *stream )
{
/* Helper to establish the size of the internal buffer, which
* is required to queue the ASCII decomposition of an integral
* data value, prior to transfer to the output stream.
*/
size = ((size - 1 + LLONGBITS) / size) + bias;
size += (stream->precision > 0) ? stream->precision : 0;
return (size > stream->width) ? size : stream->width;
}
static
void __pformat_int( __pformat_intarg_t value, __pformat_t *stream )
{
/* Handler for `%d', `%i' and `%u' conversion specifications.
*
* Transfer the ASCII representation of an integer value parameter,
* formatted as a decimal number, to the `__pformat()' output queue;
* output will be truncated, if any specified quota is exceeded.
*/
char buf[__pformat_int_bufsiz(1, PFORMAT_OSHIFT, stream)];
char *p = buf; int precision;
if( stream->flags & PFORMAT_NEGATIVE )
{
/* The input value might be negative, (i.e. it is a signed value)...
*/
if( value.__pformat_llong_t < 0LL )
/*
* It IS negative, but we want to encode it as unsigned,
* displayed with a leading minus sign, so convert it...
*/
value.__pformat_llong_t = -value.__pformat_llong_t;
else
/* It is unequivocally a POSITIVE value, so turn off the
* request to prefix it with a minus sign...
*/
stream->flags &= ~PFORMAT_NEGATIVE;
}
/* Encode the input value for display...
*/
while( value.__pformat_ullong_t )
{
/* decomposing it into its constituent decimal digits,
* in order from least significant to most significant, using
* the local buffer as a LIFO queue in which to store them.
*/
*p++ = '0' + (unsigned char)(value.__pformat_ullong_t % 10LL);
value.__pformat_ullong_t /= 10LL;
}
if( (stream->precision > 0)
&& ((precision = stream->precision - (p - buf)) > 0) )
/*
* We have not yet queued sufficient digits to fill the field width
* specified for minimum `precision'; pad with zeros to achieve this.
*/
while( precision-- > 0 )
*p++ = '0';
if( (p == buf) && (stream->precision != 0) )
/*
* Input value was zero; make sure we print at least one digit,
* unless the precision is also explicitly zero.
*/
*p++ = '0';
if( (stream->width > 0) && ((stream->width -= p - buf) > 0) )
{
/* We have now queued sufficient characters to display the input value,
* at the desired precision, but this will not fill the output field...
*/
if( stream->flags & PFORMAT_SIGNED )
/*
* We will fill one additional space with a sign...
*/
stream->width--;
if( (stream->precision < 0)
&& ((stream->flags & PFORMAT_JUSTIFY) == PFORMAT_ZEROFILL) )
/*
* and the `0' flag is in effect, so we pad the remaining spaces,
* to the left of the displayed value, with zeroes.
*/
while( stream->width-- > 0 )
*p++ = '0';
else if( (stream->flags & PFORMAT_LJUSTIFY) == 0 )
/*
* the `0' flag is not in effect, and neither is the `-' flag,
* so we pad to the left of the displayed value with spaces, so that
* the value appears right justified within the output field.
*/
while( stream->width-- > 0 )
__pformat_putc( '\x20', stream );
}
if( stream->flags & PFORMAT_NEGATIVE )
/*
* A negative value needs a sign...
*/
*p++ = '-';
else if( stream->flags & PFORMAT_POSITIVE )
/*
* A positive value may have an optionally displayed sign...
*/
*p++ = '+';
else if( stream->flags & PFORMAT_ADDSPACE )
/*
* Space was reserved for displaying a sign, but none was emitted...
*/
*p++ = '\x20';
while( p > buf )
/*
* Emit the accumulated constituent digits,
* in order from most significant to least significant...
*/
__pformat_putc( *--p, stream );
while( stream->width-- > 0 )
/*
* The specified output field has not yet been completely filled;
* the `-' flag must be in effect, resulting in a displayed value which
* appears left justified within the output field; we must pad the field
* to the right of the displayed value, by emitting additional spaces,
* until we reach the rightmost field boundary.
*/
__pformat_putc( '\x20', stream );
}
static
void __pformat_xint( int fmt, __pformat_intarg_t value, __pformat_t *stream )
{
/* Handler for `%o', `%p', `%x' and `%X' conversions.
*
* These can be implemented using a simple `mask and shift' strategy;
* set up the mask and shift values appropriate to the conversion format,
* and allocate a suitably sized local buffer, in which to queue encoded
* digits of the formatted value, in preparation for output.
*/
int width;
int mask = (fmt == 'o') ? PFORMAT_OMASK : PFORMAT_XMASK;
int shift = (fmt == 'o') ? PFORMAT_OSHIFT : PFORMAT_XSHIFT;
char buf[__pformat_int_bufsiz(2, shift, stream)];
char *p = buf;
while( value.__pformat_ullong_t )
{
/* Encode the specified non-zero input value as a sequence of digits,
* in the appropriate `base' encoding and in reverse digit order, each
* encoded in its printable ASCII form, with no leading zeros, using
* the local buffer as a LIFO queue in which to store them.
*/
char *q;
if( (*(q = p++) = '0' + (value.__pformat_ullong_t & mask)) > '9' )
*q = (*q + 'A' - '9' - 1) | (fmt & PFORMAT_XCASE);
value.__pformat_ullong_t >>= shift;
}
if( p == buf )
/*
* Nothing was queued; input value must be zero, which should never be
* emitted in the `alternative' PFORMAT_HASHED style.
*/
stream->flags &= ~PFORMAT_HASHED;
if( ((width = stream->precision) > 0) && ((width -= p - buf) > 0) )
/*
* We have not yet queued sufficient digits to fill the field width
* specified for minimum `precision'; pad with zeros to achieve this.
*/
while( width-- > 0 )
*p++ = '0';
else if( (fmt == 'o') && (stream->flags & PFORMAT_HASHED) )
/*
* The field width specified for minimum `precision' has already
* been filled, but the `alternative' PFORMAT_HASHED style for octal
* output requires at least one initial zero; that will not have
* been queued, so add it now.
*/
*p++ = '0';
if( (p == buf) && (stream->precision != 0) )
/*
* Still nothing queued for output, but the `precision' has not been
* explicitly specified as zero, (which is necessary if no output for
* an input value of zero is desired); queue exactly one zero digit.
*/
*p++ = '0';
if( stream->width > (width = p - buf) )
/*
* Specified field width exceeds the minimum required...
* Adjust so that we retain only the additional padding width.
*/
stream->width -= width;
else
/* Ignore any width specification which is insufficient.
*/
stream->width = PFORMAT_IGNORE;
if( ((width = stream->width) > 0)
&& (fmt != 'o') && (stream->flags & PFORMAT_HASHED) )
/*
* For `%#x' or `%#X' formats, (which have the `#' flag set),
* further reduce the padding width to accommodate the radix
* indicating prefix.
*/
width -= 2;
if( (width > 0) && (stream->precision < 0)
&& ((stream->flags & PFORMAT_JUSTIFY) == PFORMAT_ZEROFILL) )
/*
* When the `0' flag is set, and not overridden by the `-' flag,
* or by a specified precision, add sufficient leading zeroes to
* consume the remaining field width.
*/
while( width-- > 0 )
*p++ = '0';
if( (fmt != 'o') && (stream->flags & PFORMAT_HASHED) )
{
/* For formats other than octal, the PFORMAT_HASHED output style
* requires the addition of a two character radix indicator, as a
* prefix to the actual encoded numeric value.
*/
*p++ = fmt;
*p++ = '0';
}
if( (width > 0) && ((stream->flags & PFORMAT_LJUSTIFY) == 0) )
/*
* When not doing flush left justification, (i.e. the `-' flag
* is not set), any residual unreserved field width must appear
* as blank padding, to the left of the output value.
*/
while( width-- > 0 )
__pformat_putc( '\x20', stream );
while( p > buf )
/*
* Move the queued output from the local buffer to the ultimate
* destination, in LIFO order.
*/
__pformat_putc( *--p, stream );
/* If we still haven't consumed the entire specified field width,
* we must be doing flush left justification; any residual width
* must be filled with blanks, to the right of the output value.
*/
while( width-- > 0 )
__pformat_putc( '\x20', stream );
}
typedef union
{
/* A multifaceted representation of an IEEE extended precision,
* (80-bit), floating point number, facilitating access to its
* component parts.
*/
double __pformat_fpreg_double_t;
long double __pformat_fpreg_ldouble_t;
struct
{ unsigned long long __pformat_fpreg_mantissa;
signed short __pformat_fpreg_exponent;
};
unsigned short __pformat_fpreg_bitmap[5];
unsigned long __pformat_fpreg_bits;
} __pformat_fpreg_t;
#ifdef _WIN32
/* TODO: make this unconditional in final release...
* (see note at head of associated `#else' block.
*/
#include "gdtoa.h"
static
char *__pformat_cvt( int mode, __pformat_fpreg_t x, int nd, int *dp, int *sign )
{
/* Helper function, derived from David M. Gay's `g_xfmt()', calling
* his `__gdtoa()' function in a manner to provide extended precision
* replacements for `ecvt()' and `fcvt()'.
*/
unsigned int k, e = 0; char *ep;
static FPI fpi = { 64, 1-16383-64+1, 32766-16383-64+1, FPI_Round_near, 0 };
/* Classify the argument into an appropriate `__gdtoa()' category...
*/
if( (k = __fpclassifyl( x.__pformat_fpreg_ldouble_t )) & FP_NAN )
/*
* identifying infinities or not-a-number...
*/
k = (k & FP_NORMAL) ? STRTOG_Infinite : STRTOG_NaN;
else if( k & FP_NORMAL )
{
/* normal and near-zero `denormals'...
*/
if( k & FP_ZERO )
{
/* with appropriate exponent adjustment for a `denormal'...
*/
k = STRTOG_Denormal;
e = 1 - 0x3FFF - 63;
}
else
{
/* or with `normal' exponent adjustment...
*/
k = STRTOG_Normal;
e = (x.__pformat_fpreg_exponent & 0x7FFF) - 0x3FFF - 63;
}
}
else
/* or, if none of the above, it's a zero, (positive or negative).
*/
k = STRTOG_Zero;
/* Check for negative values, always treating NaN as unsigned...
* (return value is zero for positive/unsigned; non-zero for negative).
*/
*sign = (k == STRTOG_NaN) ? 0 : x.__pformat_fpreg_exponent & 0x8000;
/* Finally, get the raw digit string, and radix point position index.
*/
return __gdtoa( &fpi, e, &x.__pformat_fpreg_bits, &k, mode, nd, dp, &ep );
}
static __inline__ __attribute__((__always_inline__))
char *__pformat_ecvt( long double x, int precision, int *dp, int *sign )
{
/* A convenience wrapper for the above...
* it emulates `ecvt()', but takes a `long double' argument.
*/
__pformat_fpreg_t z; z.__pformat_fpreg_ldouble_t = x;
return __pformat_cvt( 2, z, precision, dp, sign );
}
static __inline__ __attribute__((__always_inline__))
char *__pformat_fcvt( long double x, int precision, int *dp, int *sign )
{
/* A convenience wrapper for the above...
* it emulates `fcvt()', but takes a `long double' argument.
*/
__pformat_fpreg_t z; z.__pformat_fpreg_ldouble_t = x;
return __pformat_cvt( 3, z, precision, dp, sign );
}
/* The following are required, to clean up the `__gdtoa()' memory pool,
* after processing the data returned by the above.
*/
#define __pformat_ecvt_release( value ) __freedtoa( value )
#define __pformat_fcvt_release( value ) __freedtoa( value )
#else
/*
* TODO: remove this before final release; it is included here as a
* convenience for testing, without requiring a working `__gdtoa()'.
*/
static __inline__
char *__pformat_ecvt( long double x, int precision, int *dp, int *sign )
{
/* Define in terms of `ecvt()'...
*/
char *retval = ecvt( (double)(x), precision, dp, sign );
if( isinf( x ) || isnan( x ) )
{
/* emulating `__gdtoa()' reporting for infinities and NaN.
*/
*dp = PFORMAT_INFNAN;
if( *retval == '-' )
{
/* Need to force the `sign' flag, (particularly for NaN).
*/
++retval; *sign = 1;
}
}
return retval;
}
static __inline__
char *__pformat_fcvt( long double x, int precision, int *dp, int *sign )
{
/* Define in terms of `fcvt()'...
*/
char *retval = fcvt( (double)(x), precision, dp, sign );
if( isinf( x ) || isnan( x ) )
{
/* emulating `__gdtoa()' reporting for infinities and NaN.
*/
*dp = PFORMAT_INFNAN;
if( *retval == '-' )
{
/* Need to force the `sign' flag, (particularly for NaN).
*/
++retval; *sign = 1;
}
}
return retval;
}
/* No memory pool clean up needed, for these emulated cases...
*/
#define __pformat_ecvt_release( value ) /* nothing to be done */
#define __pformat_fcvt_release( value ) /* nothing to be done */
/* TODO: end of conditional to be removed. */
#endif
static __inline__
void __pformat_emit_radix_point( __pformat_t *stream )
{
/* Helper to place a localised representation of the radix point
* character at the ultimate destination, when formatting fixed or
* floating point numbers.
*/
if( stream->rplen == PFORMAT_RPINIT )
{
/* Radix point initialisation not yet completed;
* establish a multibyte to `wchar_t' converter...
*/
int len; wchar_t rpchr; mbstate_t state;
/* Initialise the conversion state...
*/
memset( &state, 0, sizeof( state ) );
/* Fetch and convert the localised radix point representation...
*/
if( (len = mbrtowc( &rpchr, localeconv()->decimal_point, 16, &state )) > 0 )
/*
* and store it, if valid.
*/
stream->rpchr = rpchr;
/* In any case, store the reported effective multibyte length,
* (or the error flag), marking initialisation as `done'.
*/
stream->rplen = len;
}
if( stream->rpchr != (wchar_t)(0) )
{
/* We have a localised radix point mark;
* establish a converter to make it a multibyte character...
*/
int len; char buf[len = stream->rplen]; mbstate_t state;
/* Initialise the conversion state...
*/
memset( &state, 0, sizeof( state ) );
/* Convert the `wchar_t' representation to multibyte...
*/
if( (len = wcrtomb( buf, stream->rpchr, &state )) > 0 )
{
/* and copy to the output destination, when valid...
*/
char *p = buf;
while( len-- > 0 )
__pformat_putc( *p++, stream );
}
else
/* otherwise fall back to plain ASCII '.'...
*/
__pformat_putc( '.', stream );
}
else
/* No localisation: just use ASCII '.'...
*/
__pformat_putc( '.', stream );
}
static __inline__ __attribute__((__always_inline__))
void __pformat_emit_numeric_value( int c, __pformat_t *stream )
{
/* Convenience helper to transfer numeric data from an internal
* formatting buffer to the ultimate destination...
*/
if( c == '.' )
/*
* converting this internal representation of the the radix
* point to the appropriately localised representation...
*/
__pformat_emit_radix_point( stream );
else
/* and passing all other characters through, unmodified.
*/
__pformat_putc( c, stream );
}
static
void __pformat_emit_inf_or_nan( int sign, char *value, __pformat_t *stream )
{
/* Helper to emit INF or NAN where a floating point value
* resolves to one of these special states.
*/
int i;
char buf[4];
char *p = buf;
/* We use the string formatting helper to display INF/NAN,
* but we don't want truncation if the precision set for the
* original floating point output request was insufficient;
* ignore it!
*/
stream->precision = PFORMAT_IGNORE;
if( sign )
/*
* Negative infinity: emit the sign...
*/
*p++ = '-';
else if( stream->flags & PFORMAT_POSITIVE )
/*
* Not negative infinity, but '+' flag is in effect;
* thus, we emit a positive sign...
*/
*p++ = '+';
else if( stream->flags & PFORMAT_ADDSPACE )
/*
* No sign required, but space was reserved for it...
*/
*p++ = '\x20';
/* Copy the appropriate status indicator, up to a maximum of
* three characters, transforming to the case corresponding to
* the format specification...
*/
for( i = 3; i > 0; --i )
*p++ = (*value++ & ~PFORMAT_XCASE) | (stream->flags & PFORMAT_XCASE);
/* and emit the result.
*/
__pformat_putchars( buf, p - buf, stream );
}
static
void __pformat_emit_float( int sign, char *value, int len, __pformat_t *stream )
{
/* Helper to emit a fixed point representation of numeric data,
* as encoded by a prior call to `ecvt()' or `fcvt()'; (this does
* NOT include the exponent, for floating point format).
*/
if( len > 0 )
{
/* The magnitude of `x' is greater than or equal to 1.0...
* reserve space in the output field, for the required number of
* decimal digits to be placed before the decimal point...
*/
if( stream->width > len )
/*
* adjusting as appropriate, when width is sufficient...
*/
stream->width -= len;
else
/* or simply ignoring the width specification, if not.
*/
stream->width = PFORMAT_IGNORE;
}
else if( stream->width > 0 )
/*
* The magnitude of `x' is less than 1.0...
* reserve space for exactly one zero before the decimal point.
*/
stream->width--;
/* Reserve additional space for the digits which will follow the
* decimal point...
*/
if( (stream->width >= 0) && (stream->width > stream->precision) )
/*
* adjusting appropriately, when sufficient width remains...
* (note that we must check both of these conditions, because
* precision may be more negative than width, as a result of
* adjustment to provide extra padding when trailing zeroes
* are to be discarded from "%g" format conversion with a
* specified field width, but if width itself is negative,
* then there is explicitly to be no padding anyway).
*/
stream->width -= stream->precision;
else
/* or again, ignoring the width specification, if not.
*/
stream->width = PFORMAT_IGNORE;
/* Reserve space in the output field, for display of the decimal point,
* unless the precision is explicity zero, with the `#' flag not set.
*/
if( (stream->width > 0)
&& ((stream->precision > 0) || (stream->flags & PFORMAT_HASHED)) )
stream->width--;
/* Reserve space in the output field, for display of the sign of the
* formatted value, if required; (i.e. if the value is negative, or if
* either the `space' or `+' formatting flags are set).
*/
if( (stream->width > 0) && (sign || (stream->flags & PFORMAT_SIGNED)) )
stream->width--;
/* Emit any padding space, as required to correctly right justify
* the output within the alloted field width.
*/
if( (stream->width > 0) && ((stream->flags & PFORMAT_JUSTIFY) == 0) )
while( stream->width-- > 0 )
__pformat_putc( '\x20', stream );
/* Emit the sign indicator, as appropriate...
*/
if( sign )
/*
* mandatory, for negative values...
*/
__pformat_putc( '-', stream );
else if( stream->flags & PFORMAT_POSITIVE )
/*
* optional, for positive values...
*/
__pformat_putc( '+', stream );
else if( stream->flags & PFORMAT_ADDSPACE )
/*
* or just fill reserved space, when the space flag is in effect.
*/
__pformat_putc( '\x20', stream );
/* If the `0' flag is in effect, and not overridden by the `-' flag,
* then zero padding, to fill out the field, goes here...
*/
if( (stream->width > 0)
&& ((stream->flags & PFORMAT_JUSTIFY) == PFORMAT_ZEROFILL) )
while( stream->width-- > 0 )
__pformat_putc( '0', stream );
/* Emit the digits of the encoded numeric value...
*/
if( len > 0 )
{
/* beginning with those which precede the radix point,
* and appending any necessary significant trailing zeroes.
*/
while( len-- > 0 )
__pformat_putc( *value ? *value++ : '0', stream );
/* Unless the encoded value is integral, AND the radix point
* is not expressly demanded by the `#' flag, we must insert
* the appropriately localised radix point mark here...
*/
if( (stream->precision > 0) || (stream->flags & PFORMAT_HASHED) )
__pformat_emit_radix_point( stream );
}
else
{
/* The magnitude of the encoded value is less than 1.0, so no
* digits precede the radix point; we emit a mandatory initial
* zero, followed immediately by the radix point.
*/
__pformat_putc( '0', stream );
__pformat_emit_radix_point( stream );
/* The radix point offset, `len', may be negative; this implies
* that additional zeroes must appear, following the radix point,
* and preceding the first significant digit. We reduce the
* precision, (adding a negative value), to allow for these
* additional zeroes, then emit the zeroes as required.
*/
stream->precision += len;
while( len++ < 0 )
__pformat_putc( '0', stream );
}
/* Now we emit any remaining significant digits, or trailing zeroes,
* until the required precision has been achieved.
*/
while( stream->precision-- > 0 )
__pformat_putc( *value ? *value++ : '0', stream );
}
static
void __pformat_emit_efloat( int sign, char *value, int e, __pformat_t *stream )
{
/* Helper to emit a floating point representation of numeric data,
* as encoded by a prior call to `ecvt()' or `fcvt()'; (this DOES
* include the following exponent).
*/
int exp_width = 1;
__pformat_intarg_t exponent; exponent.__pformat_llong_t = e -= 1;
/* Determine how many digit positions are required for the exponent.
*/
while( (e /= 10) != 0 )
exp_width++;
/* Ensure that this is at least as many as the standard requirement.
*/
if( exp_width < stream->expmin )
exp_width = stream->expmin;
/* Adjust the residual field width allocation, to allow for the
* number of exponent digits to be emitted, together with a sign
* and exponent separator...
*/
if( stream->width > (exp_width += 2) )
stream->width -= exp_width;
else
/* ignoring the field width specification, if insufficient.
*/
stream->width = PFORMAT_IGNORE;
/* Emit the significand, as a fixed point value with one digit
* preceding the radix point.
*/
__pformat_emit_float( sign, value, 1, stream );
/* Reset precision, to ensure the mandatory minimum number of
* exponent digits will be emitted, and set the flags to ensure
* the sign is displayed.
*/
stream->precision = stream->expmin;
stream->flags |= PFORMAT_SIGNED;
/* Emit the exponent separator.
*/
__pformat_putc( ('E' | (stream->flags & PFORMAT_XCASE)), stream );
/* Readjust the field width setting, such that it again allows
* for the digits of the exponent, (which had been discounted when
* computing any left side padding requirement), so that they are
* correctly included in the computation of any right side padding
* requirement, (but here we exclude the exponent separator, which
* has been emitted, and so counted already).
*/
stream->width += exp_width - 1;
/* And finally, emit the exponent itself, as a signed integer,
* with any padding required to achieve flush left justification,
* (which will be added automatically, by `__pformat_int()').
*/
__pformat_int( exponent, stream );
}
static
void __pformat_float( long double x, __pformat_t *stream )
{
/* Handler for `%f' and `%F' format specifiers.
*
* This wraps calls to `__pformat_cvt()', `__pformat_emit_float()'
* and `__pformat_emit_inf_or_nan()', as appropriate, to achieve
* output in fixed point format.
*/
int sign, intlen; char *value;
/* Establish the precision for the displayed value, defaulting to six
* digits following the decimal point, if not explicitly specified.
*/
if( stream->precision < 0 )
stream->precision = 6;
/* Encode the input value as ASCII, for display...
*/
value = __pformat_fcvt( x, stream->precision, &intlen, &sign );
if( intlen == PFORMAT_INFNAN )
/*
* handle cases of `infinity' or `not-a-number'...
*/
__pformat_emit_inf_or_nan( sign, value, stream );
else
{ /* or otherwise, emit the formatted result.
*/
__pformat_emit_float( sign, value, intlen, stream );
/* and, if there is any residual field width as yet unfilled,
* then we must be doing flush left justification, so pad out to
* the right hand field boundary.
*/
while( stream->width-- > 0 )
__pformat_putc( '\x20', stream );
}
/* Clean up `__pformat_fcvt()' memory allocation for `value'...
*/
__pformat_fcvt_release( value );
}
static
void __pformat_efloat( long double x, __pformat_t *stream )
{
/* Handler for `%e' and `%E' format specifiers.
*
* This wraps calls to `__pformat_cvt()', `__pformat_emit_efloat()'
* and `__pformat_emit_inf_or_nan()', as appropriate, to achieve
* output in floating point format.
*/
int sign, intlen; char *value;
/* Establish the precision for the displayed value, defaulting to six
* digits following the decimal point, if not explicitly specified.
*/
if( stream->precision < 0 )
stream->precision = 6;
/* Encode the input value as ASCII, for display...
*/
value = __pformat_ecvt( x, stream->precision + 1, &intlen, &sign );
if( intlen == PFORMAT_INFNAN )
/*
* handle cases of `infinity' or `not-a-number'...
*/
__pformat_emit_inf_or_nan( sign, value, stream );
else
/* or otherwise, emit the formatted result.
*/
__pformat_emit_efloat( sign, value, intlen, stream );
/* Clean up `__pformat_ecvt()' memory allocation for `value'...
*/
__pformat_ecvt_release( value );
}
static
void __pformat_gfloat( long double x, __pformat_t *stream )
{
/* Handler for `%g' and `%G' format specifiers.
*
* This wraps calls to `__pformat_cvt()', `__pformat_emit_float()',
* `__pformat_emit_efloat()' and `__pformat_emit_inf_or_nan()', as
* appropriate, to achieve output in the more suitable of either
* fixed or floating point format.
*/
int sign, intlen; char *value;
/* Establish the precision for the displayed value, defaulting to
* six significant digits, if not explicitly specified...
*/
if( stream->precision < 0 )
stream->precision = 6;
/* or to a minimum of one digit, otherwise...
*/
else if( stream->precision == 0 )
stream->precision = 1;
/* Encode the input value as ASCII, for display.
*/
value = __pformat_ecvt( x, stream->precision, &intlen, &sign );
if( intlen == PFORMAT_INFNAN )
/*
* Handle cases of `infinity' or `not-a-number'.
*/
__pformat_emit_inf_or_nan( sign, value, stream );
else if( (-4 < intlen) && (intlen <= stream->precision) )
{
/* Value lies in the acceptable range for fixed point output,
* (i.e. the exponent is no less than minus four, and the number
* of significant digits which precede the radix point is fewer
* than the least number which would overflow the field width,
* specified or implied by the established precision).
*/
if( (stream->flags & PFORMAT_HASHED) == PFORMAT_HASHED )
/*
* The `#' flag is in effect...
* Adjust precision to retain the specified number of significant
* digits, with the proper number preceding the radix point, and
* the balance following it...
*/
stream->precision -= intlen;
else
/* The `#' flag is not in effect...
* Here we adjust the precision to accommodate all digits which
* precede the radix point, but we truncate any balance following
* it, to suppress output of non-significant trailing zeroes...
*/
if( ((stream->precision = strlen( value ) - intlen) < 0)
/*
* This may require a compensating adjustment to the field
* width, to accommodate significant trailing zeroes, which
* precede the radix point...
*/
&& (stream->width > 0) )
stream->width += stream->precision;
/* Now, we format the result as any other fixed point value.
*/
__pformat_emit_float( sign, value, intlen, stream );
/* If there is any residual field width as yet unfilled, then
* we must be doing flush left justification, so pad out to the
* right hand field boundary.
*/
while( stream->width-- > 0 )
__pformat_putc( '\x20', stream );
}
else
{ /* Value lies outside the acceptable range for fixed point;
* one significant digit will precede the radix point, so we
* decrement the precision to retain only the appropriate number
* of additional digits following it, when we emit the result
* in floating point format.
*/
if( (stream->flags & PFORMAT_HASHED) == PFORMAT_HASHED )
/*
* The `#' flag is in effect...
* Adjust precision to emit the specified number of significant
* digits, with one preceding the radix point, and the balance
* following it, retaining any non-significant trailing zeroes
* which are required to exactly match the requested precision...
*/
stream->precision--;
else
/* The `#' flag is not in effect...
* Adjust precision to emit only significant digits, with one
* preceding the radix point, and any others following it, but
* suppressing non-significant trailing zeroes...
*/
stream->precision = strlen( value ) - 1;
/* Now, we format the result as any other floating point value.
*/
__pformat_emit_efloat( sign, value, intlen, stream );
}
/* Clean up `__pformat_ecvt()' memory allocation for `value'.
*/
__pformat_ecvt_release( value );
}
static
void __pformat_emit_xfloat( __pformat_fpreg_t value, __pformat_t *stream )
{
/* Helper for emitting floating point data, originating as
* either `double' or `long double' type, as a hexadecimal
* representation of the argument value.
*/
char buf[18], *p = buf;
__pformat_intarg_t exponent; short exp_width = 2;
/* The mantissa field of the argument value representation can
* accommodate at most 16 hexadecimal digits, of which one will
* be placed before the radix point, leaving at most 15 digits
* to satisfy any requested precision; thus...
*/
if( (stream->precision >= 0) && (stream->precision < 15) )
{
/* When the user specifies a precision within this range,
* we want to adjust the mantissa, to retain just the number
* of digits required, rounding up when the high bit of the
* leftmost discarded digit is set; (mask of 0x08 accounts
* for exactly one digit discarded, shifting 4 bits per
* digit, with up to 14 additional digits, to consume the
* full availability of 15 precision digits).
*
* However, before we perform the rounding operation, we
* normalise the mantissa, shifting it to the left by as many
* bit positions may be necessary, until its highest order bit
* is set, thus preserving the maximum number of bits in the
* rounded result as possible.
*/
while( value.__pformat_fpreg_mantissa < (LLONG_MAX + 1ULL) )
value.__pformat_fpreg_mantissa <<= 1;
/* We then shift the mantissa one bit position back to the
* right, to guard against possible overflow when the rounding
* adjustment is added.
*/
value.__pformat_fpreg_mantissa >>= 1;
/* We now add the rounding adjustment, noting that to keep the
* 0x08 mask aligned with the shifted mantissa, we also need to
* shift it right by one bit initially, changing its starting
* value to 0x04...
*/
value.__pformat_fpreg_mantissa += 0x04LL << (4 * (14 - stream->precision));
if( (value.__pformat_fpreg_mantissa & (LLONG_MAX + 1ULL)) == 0ULL )
/*
* When the rounding adjustment would not have overflowed,
* then we shift back to the left again, to fill the vacated
* bit we reserved to accommodate the carry.
*/
value.__pformat_fpreg_mantissa <<= 1;
else
/* Otherwise the rounding adjustment would have overflowed,
* so the carry has already filled the vacated bit; the effect
* of this is equivalent to an increment of the exponent.
*/
value.__pformat_fpreg_exponent++;
/* We now complete the rounding to the required precision, by
* shifting the unwanted digits out, from the right hand end of
* the mantissa.
*/
value.__pformat_fpreg_mantissa >>= 4 * (15 - stream->precision);
}
/* Encode the significant digits of the mantissa in hexadecimal
* ASCII notation, ready for transfer to the output stream...
*/
while( value.__pformat_fpreg_mantissa )
{
/* taking the rightmost digit in each pass...
*/
int c = value.__pformat_fpreg_mantissa & 0xF;
if( c == value.__pformat_fpreg_mantissa )
{
/* inserting the radix point, when we reach the last,
* (i.e. the most significant digit), unless we found no
* less significant digits, with no mandatory radix point
* inclusion, and no additional required precision...
*/
if( (p > buf)
|| (stream->flags & PFORMAT_HASHED) || (stream->precision > 0) )
/*
* Internally, we represent the radix point as an ASCII '.';
* we will replace it with any locale specific alternative,
* at the time of transfer to the ultimate destination.
*/
*p++ = '.';
/* If the most significant hexadecimal digit of the encoded
* output value is greater than one, then the indicated value
* will appear too large, by an additional binary exponent
* corresponding to the number of higher order bit positions
* which it occupies...
*/
while( value.__pformat_fpreg_mantissa > 1 )
{
/* so reduce the exponent value to compensate...
*/
value.__pformat_fpreg_exponent--;
value.__pformat_fpreg_mantissa >>= 1;
}
}
else if( stream->precision > 0 )
/*
* we have not yet fulfilled the desired precision,
* and we have not yet found the most significant digit,
* so account for the current digit, within the field
* width required to meet the specified precision.
*/
stream->precision--;
if( (c > 0) || (p > buf) || (stream->precision >= 0) )
/*
* Ignoring insignificant trailing zeroes, (unless required to
* satisfy specified precision), store the current encoded digit
* into the pending output buffer, in LIFO order, and using the
* appropriate case for digits in the `A'..`F' range.
*/
*p++ = c > 9 ? (c - 10 + 'A') | (stream->flags & PFORMAT_XCASE) : c + '0';
/* Shift out the current digit, (4-bit logical shift right),
* to align the next more significant digit to be extracted,
* and encoded in the next pass.
*/
value.__pformat_fpreg_mantissa >>= 4;
}
if( p == buf )
{
/* Nothing has been queued for output...
* We need at least one zero, and possibly a radix point.
*/
if( (stream->precision > 0) || (stream->flags & PFORMAT_HASHED) )
*p++ = '.';
*p++ = '0';
}
if( stream->width > 0 )
{
/* Adjust the user specified field width, to account for the
* number of digits minimally required, to display the encoded
* value, at the requested precision.
*
* FIXME: this uses the minimum number of digits possible for
* representation of the binary exponent, in strict conformance
* with C99 and POSIX specifications. Although there appears to
* be no Microsoft precedent for doing otherwise, we may wish to
* relate this to the `_get_output_format()' result, to maintain
* consistency with `%e', `%f' and `%g' styles.
*/
int min_width = p - buf;
int exponent = value.__pformat_fpreg_exponent;
/* If we have not yet queued sufficient digits to fulfil the
* requested precision, then we must adjust the minimum width
* specification, to accommodate the additional digits which
* are required to do so.
*/
if( stream->precision > 0 )
min_width += stream->precision;
/* Adjust the minimum width requirement, to accomodate the
* sign, radix indicator and at least one exponent digit...
*/
min_width += stream->flags & PFORMAT_SIGNED ? 6 : 5;
while( (exponent = exponent / 10) != 0 )
{
/* and increase as required, if additional exponent digits
* are needed, also saving the exponent field width adjustment,
* for later use when that is emitted.
*/
min_width++;
exp_width++;
}
if( stream->width > min_width )
{
/* When specified field width exceeds the minimum required,
* adjust to retain only the excess...
*/
stream->width -= min_width;
/* and then emit any required left side padding spaces.
*/
if( (stream->flags & PFORMAT_JUSTIFY) == 0 )
while( stream->width-- > 0 )
__pformat_putc( '\x20', stream );
}
else
/* Specified field width is insufficient; just ignore it!
*/
stream->width = PFORMAT_IGNORE;
}
/* Emit the sign of the encoded value, as required...
*/
if( stream->flags & PFORMAT_NEGATIVE )
/*
* this is mandatory, to indicate a negative value...
*/
__pformat_putc( '-', stream );
else if( stream->flags & PFORMAT_POSITIVE )
/*
* but this is optional, for a positive value...
*/
__pformat_putc( '+', stream );
else if( stream->flags & PFORMAT_ADDSPACE )
/*
* with this optional alternative.
*/
__pformat_putc( '\x20', stream );
/* Prefix a `0x' or `0X' radix indicator to the encoded value,
* with case appropriate to the format specification.
*/
__pformat_putc( '0', stream );
__pformat_putc( 'X' | (stream->flags & PFORMAT_XCASE), stream );
/* If the `0' flag is in effect...
* Zero padding, to fill out the field, goes here...
*/
if( (stream->width > 0) && (stream->flags & PFORMAT_ZEROFILL) )
while( stream->width-- > 0 )
__pformat_putc( '0', stream );
/* Next, we emit the encoded value, without its exponent...
*/
while( p > buf )
__pformat_emit_numeric_value( *--p, stream );
/* followed by any additional zeroes needed to satisfy the
* precision specification...
*/
while( stream->precision-- > 0 )
__pformat_putc( '0', stream );
/* then the exponent prefix, (C99 and POSIX specify `p'),
* in the case appropriate to the format specification...
*/
__pformat_putc( 'P' | (stream->flags & PFORMAT_XCASE), stream );
/* and finally, the decimal representation of the binary exponent,
* as a signed value with mandatory sign displayed, in a field width
* adjusted to accommodate it, LEFT justified, with any additional
* right side padding remaining from the original field width.
*/
stream->width += exp_width;
stream->flags |= PFORMAT_SIGNED;
exponent.__pformat_llong_t = value.__pformat_fpreg_exponent;
__pformat_int( exponent, stream );
}
static
void __pformat_xdouble( double x, __pformat_t *stream )
{
/* Handler for `%a' and `%A' format specifiers, (with argument
* value specified as `double' type).
*/
unsigned sign_bit = 0;
__pformat_fpreg_t z; z.__pformat_fpreg_double_t = x;
/* First check for NaN; it is emitted unsigned...
*/
if( isnan( x ) )
__pformat_emit_inf_or_nan( sign_bit, "NaN", stream );
else
{ /* Capture the sign bit up-front, so we can show it correctly
* even when the argument value is zero or infinite.
*/
if( (sign_bit = (z.__pformat_fpreg_bitmap[3] & 0x8000)) != 0 )
stream->flags |= PFORMAT_NEGATIVE;
/* Check for infinity, (positive or negative)...
*/
if( isinf( x ) )
/*
* displaying the appropriately signed indicator,
* when appropriate.
*/
__pformat_emit_inf_or_nan( sign_bit, "Inf", stream );
else
{ /* The argument value is a representable number...
* first move its exponent into the appropriate field...
*/
z.__pformat_fpreg_bitmap[4] = (z.__pformat_fpreg_bitmap[3] >> 4) & 0x7FF;
/* Realign the mantissa, leaving space for a
* normalised most significant digit...
*/
z.__pformat_fpreg_mantissa <<= 8;
z.__pformat_fpreg_bitmap[3] = (z.__pformat_fpreg_bitmap[3] & 0x0FFF);
/* Check for zero value...
*/
if( z.__pformat_fpreg_exponent || z.__pformat_fpreg_mantissa )
{
/* and only when the value is non-zero,
* eliminate the bias from the exponent...
*/
z.__pformat_fpreg_exponent -= 0x3FF;
/* Check for a possible denormalised value...
*/
if( z.__pformat_fpreg_exponent > -126 )
/*
* and normalise when it isn't.
*/
z.__pformat_fpreg_bitmap[3] += 0x1000;
}
/* Finally, hand the adjusted representation off to the generalised
* hexadecimal floating point format handler...
*/
__pformat_emit_xfloat( z, stream );
}
}
}
static
void __pformat_xldouble( long double x, __pformat_t *stream )
{
/* Handler for `%La' and `%LA' format specifiers, (with argument
* value specified as `long double' type).
*/
unsigned sign_bit = 0;
__pformat_fpreg_t z; z.__pformat_fpreg_ldouble_t = x;
/* First check for NaN; it is emitted unsigned...
*/
if( isnan( x ) )
__pformat_emit_inf_or_nan( sign_bit, "NaN", stream );
else
{ /* Capture the sign bit up-front, so we can show it correctly
* even when the argument value is zero or infinite.
*/
if( (sign_bit = (z.__pformat_fpreg_exponent & 0x8000)) != 0 )
stream->flags |= PFORMAT_NEGATIVE;
/* Check for infinity, (positive or negative)...
*/
if( isinf( x ) )
/*
* displaying the appropriately signed indicator,
* when appropriate.
*/
__pformat_emit_inf_or_nan( sign_bit, "Inf", stream );
else
{ /* The argument value is a representable number...
* extract the effective value of the biased exponent...
*/
z.__pformat_fpreg_exponent &= 0x7FFF;
if( z.__pformat_fpreg_exponent || z.__pformat_fpreg_mantissa )
/*
* and if the argument value itself is non-zero,
* eliminate the bias from the exponent...
*/
z.__pformat_fpreg_exponent -= 0x3FFF;
/* Finally, hand the adjusted representation off to the
* generalised hexadecimal floating point format handler...
*/
__pformat_emit_xfloat( z, stream );
}
}
}
int __pformat( int flags, void *dest, int max, const char *fmt, va_list argv )
{
int c;
__pformat_t stream =
{
/* Create and initialise a format control block
* for this output request.
*/
dest, /* output goes to here */
flags &= PFORMAT_TO_FILE | PFORMAT_NOLIMIT, /* only these valid initially */
PFORMAT_IGNORE, /* no field width yet */
PFORMAT_IGNORE, /* nor any precision spec */
PFORMAT_RPINIT, /* radix point uninitialised */
(wchar_t)(0), /* leave it unspecified */
0, /* zero output char count */
max, /* establish output limit */
PFORMAT_MINEXP /* exponent chars preferred */
};
format_scan: while( (c = *fmt++) != 0 )
{
/* Format string parsing loop...
* The entry point is labelled, so that we can return to the start state
* from within the inner `conversion specification' interpretation loop,
* as soon as a conversion specification has been resolved.
*/
if( c == '%' )
{
/* Initiate parsing of a `conversion specification'...
*/
__pformat_intarg_t argval;
__pformat_state_t state = PFORMAT_INIT;
__pformat_length_t length = PFORMAT_LENGTH_INT;
/* Restart capture for dynamic field width and precision specs...
*/
int *width_spec = &stream.width;
/* Reset initial state for flags, width and precision specs...
*/
stream.flags = flags;
stream.width = stream.precision = PFORMAT_IGNORE;
while( *fmt )
{
switch( c = *fmt++ )
{
/* Data type specifiers...
* All are terminal, so exit the conversion spec parsing loop
* with a `goto format_scan', thus resuming at the outer level
* in the regular format string parser.
*/
case '%':
/*
* Not strictly a data type specifier...
* it simply converts as a literal `%' character.
*
* FIXME: should we require this to IMMEDIATELY follow the
* initial `%' of the "conversion spec"? (glibc `printf()'
* on GNU/Linux does NOT appear to require this, but POSIX
* and SUSv3 do seem to demand it).
*/
__pformat_putc( c, &stream );
goto format_scan;
case 'C':
/*
* Equivalent to `%lc'; set `length' accordingly,
* and simply fall through.
*/
length = PFORMAT_LENGTH_LONG;
case 'c':
/*
* Single, (or single multibyte), character output...
*
* We handle these by copying the argument into our local
* `argval' buffer, and then we pass the address of that to
* either `__pformat_putchars()' or `__pformat_wputchars()',
* as appropriate, effectively formatting it as a string of
* the appropriate type, with a length of one.
*
* A side effect of this method of handling character data
* is that, if the user sets a precision of zero, then no
* character is actually emitted; we don't want that, so we
* forcibly override any user specified precision.
*/
stream.precision = PFORMAT_IGNORE;
/* Now we invoke the appropriate format handler...
*/
if( (length == PFORMAT_LENGTH_LONG)
|| (length == PFORMAT_LENGTH_LLONG) )
{
/* considering any `long' type modifier as a reference to
* `wchar_t' data, (which is promoted to an `int' argument)...
*/
argval.__pformat_ullong_t = (wchar_t)(va_arg( argv, int ));
__pformat_wputchars( (wchar_t *)(&argval), 1, &stream );
}
else
{ /* while anything else is simply taken as `char', (which
* is also promoted to an `int' argument)...
*/
argval.__pformat_uchar_t = (unsigned char)(va_arg( argv, int ));
__pformat_putchars( (char *)(&argval), 1, &stream );
}
goto format_scan;
case 'S':
/*
* Equivalent to `%ls'; set `length' accordingly,
* and simply fall through.
*/
length = PFORMAT_LENGTH_LONG;
case 's':
if( (length == PFORMAT_LENGTH_LONG)
|| (length == PFORMAT_LENGTH_LLONG) )
{
/* considering any `long' type modifier as a reference to
* a `wchar_t' string...
*/
__pformat_wcputs( va_arg( argv, wchar_t * ), &stream );
}
else
/* This is normal string output;
* we simply invoke the appropriate handler...
*/
__pformat_puts( va_arg( argv, char * ), &stream );
goto format_scan;
case 'o':
case 'u':
case 'x':
case 'X':
/*
* Unsigned integer values; octal, decimal or hexadecimal format...
*/
if( length == PFORMAT_LENGTH_LLONG )
/*
* with an `unsigned long long' argument, which we
* process `as is'...
*/
argval.__pformat_ullong_t = va_arg( argv, unsigned long long );
else if( length == PFORMAT_LENGTH_LONG )
/*
* or with an `unsigned long', which we promote to
* `unsigned long long'...
*/
argval.__pformat_ullong_t = va_arg( argv, unsigned long );
else
{ /* or for any other size, which will have been promoted
* to `unsigned int', we select only the appropriately sized
* least significant segment, and again promote to the same
* size as `unsigned long long'...
*/
argval.__pformat_ullong_t = va_arg( argv, unsigned int );
if( length == PFORMAT_LENGTH_SHORT )
/*
* from `unsigned short'...
*/
argval.__pformat_ullong_t = argval.__pformat_ushort_t;
else if( length == PFORMAT_LENGTH_CHAR )
/*
* or even from `unsigned char'...
*/
argval.__pformat_ullong_t = argval.__pformat_uchar_t;
}
/* so we can pass any size of argument to either of two
* common format handlers...
*/
if( c == 'u' )
/*
* depending on whether output is to be encoded in
* decimal format...
*/
__pformat_int( argval, &stream );
else
/* or in octal or hexadecimal format...
*/
__pformat_xint( c, argval, &stream );
goto format_scan;
case 'd':
case 'i':
/*
* Signed integer values; decimal format...
* This is similar to `u', but must process `argval' as signed,
* and be prepared to handle negative numbers.
*/
stream.flags |= PFORMAT_NEGATIVE;
if( length == PFORMAT_LENGTH_LLONG )
/*
* The argument is a `long long' type...
*/
argval.__pformat_llong_t = va_arg( argv, long long );
else if( length == PFORMAT_LENGTH_LONG )
/*
* or here, a `long' type...
*/
argval.__pformat_llong_t = va_arg( argv, long );
else
{ /* otherwise, it's an `int' type...
*/
argval.__pformat_llong_t = va_arg( argv, int );
if( length == PFORMAT_LENGTH_SHORT )
/*
* but it was promoted from a `short' type...
*/
argval.__pformat_llong_t = argval.__pformat_short_t;
else if( length == PFORMAT_LENGTH_CHAR )
/*
* or even from a `char' type...
*/
argval.__pformat_llong_t = argval.__pformat_char_t;
}
/* In any case, all share a common handler...
*/
__pformat_int( argval, &stream );
goto format_scan;
case 'p':
/*
* Pointer argument; format as hexadecimal, with `0x' prefix...
*/
stream.flags |= PFORMAT_HASHED;
argval.__pformat_ullong_t = va_arg( argv, uintptr_t );
__pformat_xint( 'x', argval, &stream );
goto format_scan;
case 'e':
/*
* Floating point format, with lower case exponent indicator
* and lower case `inf' or `nan' representation when required;
* select lower case mode, and simply fall through...
*/
stream.flags |= PFORMAT_XCASE;
case 'E':
/*
* Floating point format, with upper case exponent indicator
* and upper case `INF' or `NAN' representation when required,
* (or lower case for all of these, on fall through from above);
* select lower case mode, and simply fall through...
*/
if( stream.flags & PFORMAT_LDOUBLE )
/*
* for a `long double' argument...
*/
__pformat_efloat( va_arg( argv, long double ), &stream );
else
/* or just a `double', which we promote to `long double',
* so the two may share a common format handler.
*/
__pformat_efloat( (long double)(va_arg( argv, double )), &stream );
goto format_scan;
case 'f':
/*
* Fixed point format, using lower case for `inf' and
* `nan', when appropriate; select lower case mode, and
* simply fall through...
*/
stream.flags |= PFORMAT_XCASE;
case 'F':
/*
* Fixed case format using upper case, or lower case on
* fall through from above, for `INF' and `NAN'...
*/
if( stream.flags & PFORMAT_LDOUBLE )
/*
* for a `long double' argument...
*/
__pformat_float( va_arg( argv, long double ), &stream );
else
/* or just a `double', which we promote to `long double',
* so the two may share a common format handler.
*/
__pformat_float( (long double)(va_arg( argv, double )), &stream );
goto format_scan;
case 'g':
/*
* Generalised floating point format, with lower case
* exponent indicator when required; select lower case
* mode, and simply fall through...
*/
stream.flags |= PFORMAT_XCASE;
case 'G':
/*
* Generalised floating point format, with upper case,
* or on fall through from above, with lower case exponent
* indicator when required...
*/
if( stream.flags & PFORMAT_LDOUBLE )
/*
* for a `long double' argument...
*/
__pformat_gfloat( va_arg( argv, long double ), &stream );
else
/* or just a `double', which we promote to `long double',
* so the two may share a common format handler.
*/
__pformat_gfloat( (long double)(va_arg( argv, double )), &stream );
goto format_scan;
case 'a':
/*
* Hexadecimal floating point format, with lower case radix
* and exponent indicators; select the lower case mode, and
* fall through...
*/
stream.flags |= PFORMAT_XCASE;
case 'A':
/*
* Hexadecimal floating point format; handles radix and
* exponent indicators in either upper or lower case...
*/
if( stream.flags & PFORMAT_LDOUBLE )
/*
* with a `long double' argument...
*/
__pformat_xldouble( va_arg( argv, long double ), &stream );
else
/* or just a `double'.
*/
__pformat_xdouble( va_arg( argv, double ), &stream );
goto format_scan;
case 'n':
/*
* Save current output character count...
*/
if( length == PFORMAT_LENGTH_CHAR )
/*
* to a signed `char' destination...
*/
*va_arg( argv, char * ) = stream.count;
else if( length == PFORMAT_LENGTH_SHORT )
/*
* or to a signed `short'...
*/
*va_arg( argv, short * ) = stream.count;
else if( length == PFORMAT_LENGTH_LONG )
/*
* or to a signed `long'...
*/
*va_arg( argv, long * ) = stream.count;
else if( length == PFORMAT_LENGTH_LLONG )
/*
* or to a signed `long long'...
*/
*va_arg( argv, long long * ) = stream.count;
else
/*
* or, by default, to a signed `int'.
*/
*va_arg( argv, int * ) = stream.count;
goto format_scan;
/* Argument length modifiers...
* These are non-terminal; each sets the format parser
* into the PFORMAT_END state, and ends with a `break'.
*/
case 'h':
/*
* Interpret the argument as explicitly of a `short'
* or `char' data type, truncated from the standard
* length defined for integer promotion.
*/
if( *fmt == 'h' )
{
/* Modifier is `hh'; data type is `char' sized...
* Skip the second `h', and set length accordingly.
*/
++fmt;
length = PFORMAT_LENGTH_CHAR;
}
else
/* Modifier is `h'; data type is `short' sized...
*/
length = PFORMAT_LENGTH_SHORT;
state = PFORMAT_END;
break;
case 'j':
/*
* Interpret the argument as being of the same size as
* a `intmax_t' entity...
*/
length = __pformat_arg_length( intmax_t );
state = PFORMAT_END;
break;
# ifdef _WIN32
case 'I':
/*
* The MSVCRT implementation of the printf() family of
* functions explicitly uses...
*/
if( (fmt[0] == '6') && (fmt[1] == '4') )
{
/* I64' instead of `ll',
* when referring to `long long' integer types...
*/
length = PFORMAT_LENGTH_LLONG;
fmt += 2;
}
else if( (fmt[0] == '3') && (fmt[1] == '2') )
{
/* and `I32' instead of `l',
* when referring to `long' integer types...
*/
length = PFORMAT_LENGTH_LONG;
fmt += 2;
}
else
/* or unqualified `I' instead of `t' or `z',
* when referring to `ptrdiff_t' or `size_t' entities;
* (we will choose to map it to `ptrdiff_t').
*/
length = __pformat_arg_length( ptrdiff_t );
state = PFORMAT_END;
break;
# endif
case 'l':
/*
* Interpret the argument as explicitly of a
* `long' or `long long' data type.
*/
if( *fmt == 'l' )
{
/* Modifier is `ll'; data type is `long long' sized...
* Skip the second `l', and set length accordingly.
*/
++fmt;
length = PFORMAT_LENGTH_LLONG;
}
else
/* Modifier is `l'; data type is `long' sized...
*/
length = PFORMAT_LENGTH_LONG;
# ifndef _WIN32
/*
* Microsoft's MSVCRT implementation also uses `l'
* as a modifier for `long double'; if we don't want
* to support that, we end this case here...
*/
state = PFORMAT_END;
break;
/* otherwise, we simply fall through...
*/
# endif
case 'L':
/*
* Identify the appropriate argument as a `long double',
* when associated with `%a', `%A', `%e', `%E', `%f', `%F',
* `%g' or `%G' format specifications.
*/
stream.flags |= PFORMAT_LDOUBLE;
state = PFORMAT_END;
break;
case 't':
/*
* Interpret the argument as being of the same size as
* a `ptrdiff_t' entity...
*/
length = __pformat_arg_length( ptrdiff_t );
state = PFORMAT_END;
break;
case 'z':
/*
* Interpret the argument as being of the same size as
* a `size_t' entity...
*/
length = __pformat_arg_length( size_t );
state = PFORMAT_END;
break;
/* Precision indicator...
* May appear once only; it must precede any modifier
* for argument length, or any data type specifier.
*/
case '.':
if( state < PFORMAT_GET_PRECISION )
{
/* We haven't seen a precision specification yet,
* so initialise it to zero, (in case no digits follow),
* and accept any following digits as the precision.
*/
stream.precision = 0;
width_spec = &stream.precision;
state = PFORMAT_GET_PRECISION;
}
else
/* We've already seen a precision specification,
* so this is just junk; proceed to end game.
*/
state = PFORMAT_END;
/* Either way, we must not fall through here.
*/
break;
/* Variable field width, or precision specification,
* derived from the argument list...
*/
case '*':
/*
* When this appears...
*/
if( width_spec
&& ((state == PFORMAT_INIT) || (state == PFORMAT_GET_PRECISION)) )
{
/* in proper context; assign to field width
* or precision, as appropriate.
*/
if( (*width_spec = va_arg( argv, int )) < 0 )
{
/* Assigned value was negative...
*/
if( state == PFORMAT_INIT )
{
/* For field width, this is equivalent to
* a positive value with the `-' flag...
*/
stream.flags |= PFORMAT_LJUSTIFY;
stream.width = -stream.width;
}
else
/* while as a precision specification,
* it should simply be ignored.
*/
stream.precision = PFORMAT_IGNORE;
}
}
else
/* out of context; give up on width and precision
* specifications for this conversion.
*/
state = PFORMAT_END;
/* Mark as processed...
* we must not see `*' again, in this context.
*/
width_spec = NULL;
break;
/* Formatting flags...
* Must appear while in the PFORMAT_INIT state,
* and are non-terminal, so again, end with `break'.
*/
case '#':
/*
* Select alternate PFORMAT_HASHED output style.
*/
if( state == PFORMAT_INIT )
stream.flags |= PFORMAT_HASHED;
break;
case '+':
/*
* Print a leading sign with numeric output,
* for both positive and negative values.
*/
if( state == PFORMAT_INIT )
stream.flags |= PFORMAT_POSITIVE;
break;
case '-':
/*
* Select left justification of displayed output
* data, within the output field width, instead of
* the default flush right justification.
*/
if( state == PFORMAT_INIT )
stream.flags |= PFORMAT_LJUSTIFY;
break;
# ifdef WITH_XSI_FEATURES
case '\'':
/*
* This is an XSI extension to the POSIX standard,
* which we do not support, at present.
*/
if( state == PFORMAT_INIT )
stream.flags |= PFORMAT_GROUPED;
break;
# endif
case '\x20':
/*
* Reserve a single space, within the output field,
* for display of the sign of signed data; this will
* be occupied by the minus sign, if the data value
* is negative, or by a plus sign if the data value
* is positive AND the `+' flag is also present, or
* by a space otherwise. (Technically, this flag
* is redundant, if the `+' flag is present).
*/
if( state == PFORMAT_INIT )
stream.flags |= PFORMAT_ADDSPACE;
break;
case '0':
/*
* May represent a flag, to activate the `pad with zeroes'
* option, or it may simply be a digit in a width or in a
* precision specification...
*/
if( state == PFORMAT_INIT )
{
/* This is the flag usage...
*/
stream.flags |= PFORMAT_ZEROFILL;
break;
}
default:
/*
* If we didn't match anything above, then we will check
* for digits, which we may accumulate to generate field
* width or precision specifications...
*/
if( (state < PFORMAT_END) && ('9' >= c) && (c >= '0') )
{
if( state == PFORMAT_INIT )
/*
* Initial digits explicitly relate to field width...
*/
state = PFORMAT_SET_WIDTH;
else if( state == PFORMAT_GET_PRECISION )
/*
* while those following a precision indicator
* explicitly relate to precision.
*/
state = PFORMAT_SET_PRECISION;
if( width_spec )
{
/* We are accepting a width or precision specification...
*/
if( *width_spec < 0 )
/*
* and accumulation hasn't started yet; we simply
* initialise the accumulator with the current digit
* value, converting from ASCII to decimal.
*/
*width_spec = c - '0';
else
/* Accumulation has already started; we perform a
* `leftwise decimal digit shift' on the accumulator,
* (i.e. multiply it by ten), then add the decimal
* equivalent value of the current digit.
*/
*width_spec = *width_spec * 10 + c - '0';
}
}
else
/* We found a digit out of context, or some other character
* with no designated meaning; silently reject it, and any
* further characters other than argument length modifiers,
* until this format specification is completely resolved.
*/
state = PFORMAT_END;
}
}
}
else
/* We just parsed a character which is not included within any format
* specification; we simply emit it as a literal.
*/
__pformat_putc( c, &stream );
}
/* When we have fully dispatched the format string, the return value is the
* total number of bytes we transferred to the output destination.
*/
return stream.count;
}
/* $RCSfile$Revision$: end of file */
|