From 58a5b122cd16f9371104815c308e69f668647c61 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Fri, 1 Apr 2005 00:10:50 +0000 Subject: [PATCH] Improve. --- src/tests/threads/stdio.c | 230 +++++++++++++++++++++++++++++--------- 1 file changed, 177 insertions(+), 53 deletions(-) diff --git a/src/tests/threads/stdio.c b/src/tests/threads/stdio.c index 2c5157f..1bf7799 100644 --- a/src/tests/threads/stdio.c +++ b/src/tests/threads/stdio.c @@ -1,4 +1,4 @@ -/* Test program for printf() in lib/kernel/stdio.c. +/* Test program for printf() in lib/stdio.c. Attempts to test printf() functionality that is not sufficiently tested elsewhere in Pintos. @@ -9,8 +9,32 @@ #undef NDEBUG #include +#include +#include #include #include +#include + +void +checkf (const char *expect, const char *format, ...) +{ + char output[128]; + va_list args; + + printf (" [%s]", format); + + va_start (args, format); + vsnprintf (output, sizeof output, format, args); + va_end (args); + + if (strcmp (expect, output)) + { + printf ("FAIL: format string \"%s\": " + "actual output \"%s\", expected \"%s\"\n", + format, output, expect); + exit (1); + } +} /* Test printf() implementation. */ void @@ -19,62 +43,162 @@ test (void) long long x; int i; + printf ("Testing formats:"); + /* Check that commas show up in the right places, for positive numbers. */ - x = i = 0; - while (x < LLONG_MAX / 10) - { - x = x * 10 + ++i % 10; - printf ("%'26lld %'#29llo %'#19llx\n", x, x, x); - } + checkf ("1", "%'d", 1); + checkf ("12", "%'d", 12); + checkf ("123", "%'d", 123); + checkf ("1,234", "%'d", 1234); + checkf ("12,345", "%'d", 12345); + checkf ("123,456", "%'ld", 123456L); + checkf ("1,234,567", "%'ld", 1234567L); + checkf ("12,345,678", "%'ld", 12345678L); + checkf ("123,456,789", "%'ld", 123456789L); + checkf ("1,234,567,890", "%'ld", 1234567890L); + checkf ("12,345,678,901", "%'lld", 12345678901LL); + checkf ("123,456,789,012", "%'lld", 123456789012LL); + checkf ("1,234,567,890,123", "%'lld", 1234567890123LL); + checkf ("12,345,678,901,234", "%'lld", 12345678901234LL); + checkf ("123,456,789,012,345", "%'lld", 123456789012345LL); + checkf ("1,234,567,890,123,456", "%'lld", 1234567890123456LL); + checkf ("12,345,678,901,234,567", "%'lld", 12345678901234567LL); + checkf ("123,456,789,012,345,678", "%'lld", 123456789012345678LL); + checkf ("1,234,567,890,123,456,789", "%'lld", 1234567890123456789LL); - /* Check that commas show up in the right places, for negative + /* Check that commas show up in the right places, for positive numbers. */ - x = i = 0; - while (x < LLONG_MAX / 10) - { - x = x * 10 + ++i % 10; - printf ("%'26lld %'29llo %'19llx\n", -x, -x, -x); - } + checkf ("-1", "%'d", -1); + checkf ("-12", "%'d", -12); + checkf ("-123", "%'d", -123); + checkf ("-1,234", "%'d", -1234); + checkf ("-12,345", "%'d", -12345); + checkf ("-123,456", "%'ld", -123456L); + checkf ("-1,234,567", "%'ld", -1234567L); + checkf ("-12,345,678", "%'ld", -12345678L); + checkf ("-123,456,789", "%'ld", -123456789L); + checkf ("-1,234,567,890", "%'ld", -1234567890L); + checkf ("-12,345,678,901", "%'lld", -12345678901LL); + checkf ("-123,456,789,012", "%'lld", -123456789012LL); + checkf ("-1,234,567,890,123", "%'lld", -1234567890123LL); + checkf ("-12,345,678,901,234", "%'lld", -12345678901234LL); + checkf ("-123,456,789,012,345", "%'lld", -123456789012345LL); + checkf ("-1,234,567,890,123,456", "%'lld", -1234567890123456LL); + checkf ("-12,345,678,901,234,567", "%'lld", -12345678901234567LL); + checkf ("-123,456,789,012,345,678", "%'lld", -123456789012345678LL); + checkf ("-1,234,567,890,123,456,789", "%'lld", -1234567890123456789LL); + + /* Check signed integer conversions. */ + checkf (" 0", "%5d", 0); + checkf ("0 ", "%-5d", 0); + checkf (" +0", "%+5d", 0); + checkf ("+0 ", "%+-5d", 0); + checkf (" 0", "% 5d", 0); + checkf ("00000", "%05d", 0); + checkf (" ", "%5.0d", 0); + checkf (" 00", "%5.2d", 0); + checkf ("0", "%d", 0); - /* Check `+', ` ' flags. */ - for (i = -1; i <= +1; i++) - { - printf ("[%d|%+d|% d] ", i, i, i); - printf ("[%x|%+x|% x] ", i, i, i); - printf ("[%o|%+o|% o]\n", i, i, i); - } + checkf (" 1", "%5d", 1); + checkf ("1 ", "%-5d", 1); + checkf (" +1", "%+5d", 1); + checkf ("+1 ", "%+-5d", 1); + checkf (" 1", "% 5d", 1); + checkf ("00001", "%05d", 1); + checkf (" 1", "%5.0d", 1); + checkf (" 01", "%5.2d", 1); + checkf ("1", "%d", 1); - /* Check `#' flag. */ - for (i = -1; i <= +1; i++) - { - printf ("[%#d|%+#d|% #d] ", i, i, i); - printf ("[%#x|%+#x|% #x] ", i, i, i); - printf ("[%#o|%+#o|% #o]\n", i, i, i); - } + checkf (" -1", "%5d", -1); + checkf ("-1 ", "%-5d", -1); + checkf (" -1", "%+5d", -1); + checkf ("-1 ", "%+-5d", -1); + checkf (" -1", "% 5d", -1); + checkf ("-0001", "%05d", -1); + checkf (" -1", "%5.0d", -1); + checkf (" -01", "%5.2d", -1); + checkf ("-1", "%d", -1); - printf ("0031: [%9s]\n", "abcdefgh"); - printf ("0063: [%- o]\n", 036657730000); - printf ("0064: [%- u]\n", 4139757568); - printf ("0065: [%- x]\n", 0xf6bfb000); - printf ("0178: [%-to]\n", (ptrdiff_t) 036657730000); - printf ("0191: [%-tu]\n", (ptrdiff_t) 4139757568); - printf ("0242: [%-zi]\n", (size_t) -155209728); - printf ("0257: [%-zd]\n", (size_t) -155209728); - printf ("0347: [%+#o]\n", 036657730000); - printf ("0349: [%+#x]\n", 0xf6bfb000); - printf ("0539: [% zi]\n", (size_t) -155209728); - printf ("0540: [% zd]\n", (size_t) -155209728); - printf ("0602: [% tu]\n", (ptrdiff_t) 4139757568); - printf ("0605: [% #o]\n", 036657730000); - printf ("0607: [% #x]\n", 0xf6bfb000); - printf ("0702: [%# x]\n", 0xf6bfb000); - printf ("0875: [%#zd]\n", (size_t) -155209728); - printf ("1184: [%0zi]\n", (size_t) -155209728); - printf ("1483: [%'tu]\n", (ptrdiff_t) 4139757568); - printf ("1557: [%-'d]\n", -155209728); - printf ("1676: [%.zi]\n", (size_t) -155209728); - printf ("1897: [%zi]\n", (size_t) -155209728); - printf ("1899: [%zd]\n", (size_t) -155209728); - printf ("2791: [%+zi]\n", (size_t) -155209728); -} + checkf ("12345", "%5d", 12345); + checkf ("12345", "%-5d", 12345); + checkf ("+12345", "%+5d", 12345); + checkf ("+12345", "%+-5d", 12345); + checkf (" 12345", "% 5d", 12345); + checkf ("12345", "%05d", 12345); + checkf ("12345", "%5.0d", 12345); + checkf ("12345", "%5.2d", 12345); + checkf ("12345", "%d", 12345); + + checkf ("123456", "%5d", 123456); + checkf ("123456", "%-5d", 123456); + checkf ("+123456", "%+5d", 123456); + checkf ("+123456", "%+-5d", 123456); + checkf (" 123456", "% 5d", 123456); + checkf ("123456", "%05d", 123456); + checkf ("123456", "%5.0d", 123456); + checkf ("123456", "%5.2d", 123456); + checkf ("123456", "%d", 123456); + + /* Check unsigned integer conversions. */ + checkf (" 0", "%5u", 0); + checkf (" 0", "%5o", 0); + checkf (" 0", "%5x", 0); + checkf (" 0", "%5X", 0); + checkf (" 0", "%#5o", 0); + checkf (" 0", "%#5x", 0); + checkf (" 0", "%#5X", 0); + checkf (" 00000000", "%#10.8x", 0); + + checkf (" 1", "%5u", 1); + checkf (" 1", "%5o", 1); + checkf (" 1", "%5x", 1); + checkf (" 1", "%5X", 1); + checkf (" 01", "%#5o", 1); + checkf (" 0x1", "%#5x", 1); + checkf (" 0X1", "%#5X", 1); + checkf ("0x00000001", "%#10.8x", 1); + + checkf ("123456", "%5u", 123456); + checkf ("361100", "%5o", 123456); + checkf ("1e240", "%5x", 123456); + checkf ("1E240", "%5X", 123456); + checkf ("0361100", "%#5o", 123456); + checkf ("0x1e240", "%#5x", 123456); + checkf ("0X1E240", "%#5X", 123456); + checkf ("0x0001e240", "%#10.8x", 123456); + + /* Character and string conversions. */ + checkf ("foobar", "%c%c%c%c%c%c", 'f', 'o', 'o', 'b', 'a', 'r'); + checkf (" left-right ", "%6s%s%-7s", "left", "-", "right"); + checkf ("trim", "%.4s", "trimoff"); + checkf ("%%", "%%%%"); + + /* From Cristian Cadar's automatic test case generator. */ + checkf (" abcdefgh", "%9s", "abcdefgh"); + checkf ("36657730000", "%- o", 036657730000); + checkf ("4139757568", "%- u", 4139757568); + checkf ("f6bfb000", "%- x", 0xf6bfb000); + checkf ("36657730000", "%-to", (ptrdiff_t) 036657730000); + checkf ("4139757568", "%-tu", (ptrdiff_t) 4139757568); + checkf ("-155209728", "%-zi", (size_t) -155209728); + checkf ("-155209728", "%-zd", (size_t) -155209728); + checkf ("036657730000", "%+#o", 036657730000); + checkf ("0xf6bfb000", "%+#x", 0xf6bfb000); + checkf ("-155209728", "% zi", (size_t) -155209728); + checkf ("-155209728", "% zd", (size_t) -155209728); + checkf ("4139757568", "% tu", (ptrdiff_t) 4139757568); + checkf ("036657730000", "% #o", 036657730000); + checkf ("0xf6bfb000", "% #x", 0xf6bfb000); + checkf ("0xf6bfb000", "%# x", 0xf6bfb000); + checkf ("-155209728", "%#zd", (size_t) -155209728); + checkf ("-155209728", "%0zi", (size_t) -155209728); + checkf ("4,139,757,568", "%'tu", (ptrdiff_t) 4139757568); + checkf ("-155,209,728", "%-'d", -155209728); + checkf ("-155209728", "%.zi", (size_t) -155209728); + checkf ("-155209728", "%zi", (size_t) -155209728); + checkf ("-155209728", "%zd", (size_t) -155209728); + checkf ("-155209728", "%+zi", (size_t) -155209728); + + printf ("\nstdio: PASS\n"); +} -- 2.30.2