1 /* Test program for printf() in lib/stdio.c.
3 Attempts to test printf() functionality that is not
4 sufficiently tested elsewhere in Pintos.
6 This is not a test we will run on your submitted projects.
7 It is here for completeness.
19 checkf (const char *expect, const char *format, ...)
24 printf (" [%s]", format);
26 va_start (args, format);
27 vsnprintf (output, sizeof output, format, args);
30 if (strcmp (expect, output))
32 printf ("FAIL: format string \"%s\": "
33 "actual output \"%s\", expected \"%s\"\n",
34 format, output, expect);
39 /* Test printf() implementation. */
46 printf ("Testing formats:");
48 /* Check that commas show up in the right places, for positive
50 checkf ("1", "%'d", 1);
51 checkf ("12", "%'d", 12);
52 checkf ("123", "%'d", 123);
53 checkf ("1,234", "%'d", 1234);
54 checkf ("12,345", "%'d", 12345);
55 checkf ("123,456", "%'ld", 123456L);
56 checkf ("1,234,567", "%'ld", 1234567L);
57 checkf ("12,345,678", "%'ld", 12345678L);
58 checkf ("123,456,789", "%'ld", 123456789L);
59 checkf ("1,234,567,890", "%'ld", 1234567890L);
60 checkf ("12,345,678,901", "%'lld", 12345678901LL);
61 checkf ("123,456,789,012", "%'lld", 123456789012LL);
62 checkf ("1,234,567,890,123", "%'lld", 1234567890123LL);
63 checkf ("12,345,678,901,234", "%'lld", 12345678901234LL);
64 checkf ("123,456,789,012,345", "%'lld", 123456789012345LL);
65 checkf ("1,234,567,890,123,456", "%'lld", 1234567890123456LL);
66 checkf ("12,345,678,901,234,567", "%'lld", 12345678901234567LL);
67 checkf ("123,456,789,012,345,678", "%'lld", 123456789012345678LL);
68 checkf ("1,234,567,890,123,456,789", "%'lld", 1234567890123456789LL);
70 /* Check that commas show up in the right places, for positive
72 checkf ("-1", "%'d", -1);
73 checkf ("-12", "%'d", -12);
74 checkf ("-123", "%'d", -123);
75 checkf ("-1,234", "%'d", -1234);
76 checkf ("-12,345", "%'d", -12345);
77 checkf ("-123,456", "%'ld", -123456L);
78 checkf ("-1,234,567", "%'ld", -1234567L);
79 checkf ("-12,345,678", "%'ld", -12345678L);
80 checkf ("-123,456,789", "%'ld", -123456789L);
81 checkf ("-1,234,567,890", "%'ld", -1234567890L);
82 checkf ("-12,345,678,901", "%'lld", -12345678901LL);
83 checkf ("-123,456,789,012", "%'lld", -123456789012LL);
84 checkf ("-1,234,567,890,123", "%'lld", -1234567890123LL);
85 checkf ("-12,345,678,901,234", "%'lld", -12345678901234LL);
86 checkf ("-123,456,789,012,345", "%'lld", -123456789012345LL);
87 checkf ("-1,234,567,890,123,456", "%'lld", -1234567890123456LL);
88 checkf ("-12,345,678,901,234,567", "%'lld", -12345678901234567LL);
89 checkf ("-123,456,789,012,345,678", "%'lld", -123456789012345678LL);
90 checkf ("-1,234,567,890,123,456,789", "%'lld", -1234567890123456789LL);
92 /* Check signed integer conversions. */
93 checkf (" 0", "%5d", 0);
94 checkf ("0 ", "%-5d", 0);
95 checkf (" +0", "%+5d", 0);
96 checkf ("+0 ", "%+-5d", 0);
97 checkf (" 0", "% 5d", 0);
98 checkf ("00000", "%05d", 0);
99 checkf (" ", "%5.0d", 0);
100 checkf (" 00", "%5.2d", 0);
101 checkf ("0", "%d", 0);
103 checkf (" 1", "%5d", 1);
104 checkf ("1 ", "%-5d", 1);
105 checkf (" +1", "%+5d", 1);
106 checkf ("+1 ", "%+-5d", 1);
107 checkf (" 1", "% 5d", 1);
108 checkf ("00001", "%05d", 1);
109 checkf (" 1", "%5.0d", 1);
110 checkf (" 01", "%5.2d", 1);
111 checkf ("1", "%d", 1);
113 checkf (" -1", "%5d", -1);
114 checkf ("-1 ", "%-5d", -1);
115 checkf (" -1", "%+5d", -1);
116 checkf ("-1 ", "%+-5d", -1);
117 checkf (" -1", "% 5d", -1);
118 checkf ("-0001", "%05d", -1);
119 checkf (" -1", "%5.0d", -1);
120 checkf (" -01", "%5.2d", -1);
121 checkf ("-1", "%d", -1);
123 checkf ("12345", "%5d", 12345);
124 checkf ("12345", "%-5d", 12345);
125 checkf ("+12345", "%+5d", 12345);
126 checkf ("+12345", "%+-5d", 12345);
127 checkf (" 12345", "% 5d", 12345);
128 checkf ("12345", "%05d", 12345);
129 checkf ("12345", "%5.0d", 12345);
130 checkf ("12345", "%5.2d", 12345);
131 checkf ("12345", "%d", 12345);
133 checkf ("123456", "%5d", 123456);
134 checkf ("123456", "%-5d", 123456);
135 checkf ("+123456", "%+5d", 123456);
136 checkf ("+123456", "%+-5d", 123456);
137 checkf (" 123456", "% 5d", 123456);
138 checkf ("123456", "%05d", 123456);
139 checkf ("123456", "%5.0d", 123456);
140 checkf ("123456", "%5.2d", 123456);
141 checkf ("123456", "%d", 123456);
143 /* Check unsigned integer conversions. */
144 checkf (" 0", "%5u", 0);
145 checkf (" 0", "%5o", 0);
146 checkf (" 0", "%5x", 0);
147 checkf (" 0", "%5X", 0);
148 checkf (" 0", "%#5o", 0);
149 checkf (" 0", "%#5x", 0);
150 checkf (" 0", "%#5X", 0);
151 checkf (" 00000000", "%#10.8x", 0);
153 checkf (" 1", "%5u", 1);
154 checkf (" 1", "%5o", 1);
155 checkf (" 1", "%5x", 1);
156 checkf (" 1", "%5X", 1);
157 checkf (" 01", "%#5o", 1);
158 checkf (" 0x1", "%#5x", 1);
159 checkf (" 0X1", "%#5X", 1);
160 checkf ("0x00000001", "%#10.8x", 1);
162 checkf ("123456", "%5u", 123456);
163 checkf ("361100", "%5o", 123456);
164 checkf ("1e240", "%5x", 123456);
165 checkf ("1E240", "%5X", 123456);
166 checkf ("0361100", "%#5o", 123456);
167 checkf ("0x1e240", "%#5x", 123456);
168 checkf ("0X1E240", "%#5X", 123456);
169 checkf ("0x0001e240", "%#10.8x", 123456);
171 /* Character and string conversions. */
172 checkf ("foobar", "%c%c%c%c%c%c", 'f', 'o', 'o', 'b', 'a', 'r');
173 checkf (" left-right ", "%6s%s%-7s", "left", "-", "right");
174 checkf ("trim", "%.4s", "trimoff");
175 checkf ("%%", "%%%%");
177 /* From Cristian Cadar's automatic test case generator. */
178 checkf (" abcdefgh", "%9s", "abcdefgh");
179 checkf ("36657730000", "%- o", 036657730000);
180 checkf ("4139757568", "%- u", 4139757568);
181 checkf ("f6bfb000", "%- x", 0xf6bfb000);
182 checkf ("36657730000", "%-to", (ptrdiff_t) 036657730000);
183 checkf ("4139757568", "%-tu", (ptrdiff_t) 4139757568);
184 checkf ("-155209728", "%-zi", (size_t) -155209728);
185 checkf ("-155209728", "%-zd", (size_t) -155209728);
186 checkf ("036657730000", "%+#o", 036657730000);
187 checkf ("0xf6bfb000", "%+#x", 0xf6bfb000);
188 checkf ("-155209728", "% zi", (size_t) -155209728);
189 checkf ("-155209728", "% zd", (size_t) -155209728);
190 checkf ("4139757568", "% tu", (ptrdiff_t) 4139757568);
191 checkf ("036657730000", "% #o", 036657730000);
192 checkf ("0xf6bfb000", "% #x", 0xf6bfb000);
193 checkf ("0xf6bfb000", "%# x", 0xf6bfb000);
194 checkf ("-155209728", "%#zd", (size_t) -155209728);
195 checkf ("-155209728", "%0zi", (size_t) -155209728);
196 checkf ("4,139,757,568", "%'tu", (ptrdiff_t) 4139757568);
197 checkf ("-155,209,728", "%-'d", -155209728);
198 checkf ("-155209728", "%.zi", (size_t) -155209728);
199 checkf ("-155209728", "%zi", (size_t) -155209728);
200 checkf ("-155209728", "%zd", (size_t) -155209728);
201 checkf ("-155209728", "%+zi", (size_t) -155209728);
203 printf ("\nstdio: PASS\n");