[SOLVED] CS /* Test program for printf() in lib/stdio.c.

/* Test program for printf() in lib/stdio.c.

Attempts to test printf() functionality that is not
sufficiently tested elsewhere in Pintos.

This is not a test we will run on your submitted projects.
It is here for completeness.
*/

#undef NDEBUG
#include #include
#include
#include
#include
#include
#include threads/test.h

/* Number of failures so far. */
static int failure_cnt;

static void
checkf (const char *expect, const char *format, )
{
char output[128];
va_list args;

printf (%s -> %s: , format, expect);

va_start (args, format);
vsnprintf (output, sizeof output, format, args);
va_end (args);

if (strcmp (expect, output))
{
printf (
FAIL: actual output %s
, output);
failure_cnt++;
}
else
printf (okay
);
}

/* Test printf() implementation. */
void
test (void)
{
printf (Testing formats:);

/* Check that commas show up in the right places, for positive
numbers. */
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 positive
numbers. */
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);

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);

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);

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 Cadars automatic test case generator. */
checkf ( abcdefgh, %9s, abcdefgh);
checkf (36657730000, %- o, (unsigned) 036657730000);
checkf (4139757568, %- u, (unsigned) 4139757568UL);
checkf (f6bfb000, %- x, (unsigned) 0xf6bfb000);
checkf (36657730000, %-to, (ptrdiff_t) 036657730000);
checkf (4139757568, %-tu, (ptrdiff_t) 4139757568UL);
checkf (-155209728, %-zi, (size_t) -155209728);
checkf (-155209728, %-zd, (size_t) -155209728);
checkf (036657730000, %+#o, (unsigned) 036657730000);
checkf (0xf6bfb000, %+#x, (unsigned) 0xf6bfb000);
checkf (-155209728, % zi, (size_t) -155209728);
checkf (-155209728, % zd, (size_t) -155209728);
checkf (4139757568, % tu, (ptrdiff_t) 4139757568UL);
checkf (036657730000, % #o, (unsigned) 036657730000);
checkf (0xf6bfb000, % #x, (unsigned) 0xf6bfb000);
checkf (0xf6bfb000, %# x, (unsigned) 0xf6bfb000);
checkf (-155209728, %#zd, (size_t) -155209728);
checkf (-155209728, %0zi, (size_t) -155209728);
checkf (4,139,757,568, %tu, (ptrdiff_t) 4139757568UL);
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);

if (failure_cnt == 0)
printf (
stdio: PASS
);
else
printf (
stdio: FAIL: %d tests failed
, failure_cnt);
}