Blame view

lib/test_printf.c 12.4 KB
707cc7280   Rasmus Villemoes   test_printf: test...
1
2
3
4
5
6
7
8
9
10
11
12
13
  /*
   * Test cases for printf facility.
   */
  
  #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
  
  #include <linux/init.h>
  #include <linux/kernel.h>
  #include <linux/module.h>
  #include <linux/printk.h>
  #include <linux/random.h>
  #include <linux/slab.h>
  #include <linux/string.h>
857cca4d5   Rasmus Villemoes   lib/test_printf.c...
14
  #include <linux/bitmap.h>
251c72345   Rasmus Villemoes   lib/test_printf.c...
15
  #include <linux/dcache.h>
707cc7280   Rasmus Villemoes   test_printf: test...
16
17
  #include <linux/socket.h>
  #include <linux/in.h>
edf14cdbf   Vlastimil Babka   mm, printk: intro...
18
19
  #include <linux/gfp.h>
  #include <linux/mm.h>
707cc7280   Rasmus Villemoes   test_printf: test...
20
  #define BUF_SIZE 256
331e4deb6   Rasmus Villemoes   lib/test_printf.c...
21
  #define PAD_SIZE 16
707cc7280   Rasmus Villemoes   test_printf: test...
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
  #define FILL_CHAR '$'
  
  #define PTR1 ((void*)0x01234567)
  #define PTR2 ((void*)(long)(int)0xfedcba98)
  
  #if BITS_PER_LONG == 64
  #define PTR1_ZEROES "000000000"
  #define PTR1_SPACES "         "
  #define PTR1_STR "1234567"
  #define PTR2_STR "fffffffffedcba98"
  #define PTR_WIDTH 16
  #else
  #define PTR1_ZEROES "0"
  #define PTR1_SPACES " "
  #define PTR1_STR "1234567"
  #define PTR2_STR "fedcba98"
  #define PTR_WIDTH 8
  #endif
  #define PTR_WIDTH_STR stringify(PTR_WIDTH)
  
  static unsigned total_tests __initdata;
  static unsigned failed_tests __initdata;
  static char *test_buffer __initdata;
331e4deb6   Rasmus Villemoes   lib/test_printf.c...
45
  static char *alloced_buffer __initdata;
707cc7280   Rasmus Villemoes   test_printf: test...
46
47
48
49
50
51
52
53
54
  
  static int __printf(4, 0) __init
  do_test(int bufsize, const char *expect, int elen,
  	const char *fmt, va_list ap)
  {
  	va_list aq;
  	int ret, written;
  
  	total_tests++;
331e4deb6   Rasmus Villemoes   lib/test_printf.c...
55
  	memset(alloced_buffer, FILL_CHAR, BUF_SIZE + 2*PAD_SIZE);
707cc7280   Rasmus Villemoes   test_printf: test...
56
57
58
59
60
61
62
63
64
65
  	va_copy(aq, ap);
  	ret = vsnprintf(test_buffer, bufsize, fmt, aq);
  	va_end(aq);
  
  	if (ret != elen) {
  		pr_warn("vsnprintf(buf, %d, \"%s\", ...) returned %d, expected %d
  ",
  			bufsize, fmt, ret, elen);
  		return 1;
  	}
331e4deb6   Rasmus Villemoes   lib/test_printf.c...
66
67
68
69
70
  	if (memchr_inv(alloced_buffer, FILL_CHAR, PAD_SIZE)) {
  		pr_warn("vsnprintf(buf, %d, \"%s\", ...) wrote before buffer
  ", bufsize, fmt);
  		return 1;
  	}
707cc7280   Rasmus Villemoes   test_printf: test...
71
  	if (!bufsize) {
331e4deb6   Rasmus Villemoes   lib/test_printf.c...
72
  		if (memchr_inv(test_buffer, FILL_CHAR, BUF_SIZE + PAD_SIZE)) {
707cc7280   Rasmus Villemoes   test_printf: test...
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
  			pr_warn("vsnprintf(buf, 0, \"%s\", ...) wrote to buffer
  ",
  				fmt);
  			return 1;
  		}
  		return 0;
  	}
  
  	written = min(bufsize-1, elen);
  	if (test_buffer[written]) {
  		pr_warn("vsnprintf(buf, %d, \"%s\", ...) did not nul-terminate buffer
  ",
  			bufsize, fmt);
  		return 1;
  	}
331e4deb6   Rasmus Villemoes   lib/test_printf.c...
88
89
90
91
92
93
  	if (memchr_inv(test_buffer + written + 1, FILL_CHAR, BUF_SIZE + PAD_SIZE - (written + 1))) {
  		pr_warn("vsnprintf(buf, %d, \"%s\", ...) wrote beyond the nul-terminator
  ",
  			bufsize, fmt);
  		return 1;
  	}
707cc7280   Rasmus Villemoes   test_printf: test...
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
  	if (memcmp(test_buffer, expect, written)) {
  		pr_warn("vsnprintf(buf, %d, \"%s\", ...) wrote '%s', expected '%.*s'
  ",
  			bufsize, fmt, test_buffer, written, expect);
  		return 1;
  	}
  	return 0;
  }
  
  static void __printf(3, 4) __init
  __test(const char *expect, int elen, const char *fmt, ...)
  {
  	va_list ap;
  	int rand;
  	char *p;
fd0515d50   Rasmus Villemoes   lib/test_printf.c...
109
110
111
112
113
114
115
  	if (elen >= BUF_SIZE) {
  		pr_err("error in test suite: expected output length %d too long. Format was '%s'.
  ",
  		       elen, fmt);
  		failed_tests++;
  		return;
  	}
707cc7280   Rasmus Villemoes   test_printf: test...
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
  
  	va_start(ap, fmt);
  
  	/*
  	 * Every fmt+args is subjected to four tests: Three where we
  	 * tell vsnprintf varying buffer sizes (plenty, not quite
  	 * enough and 0), and then we also test that kvasprintf would
  	 * be able to print it as expected.
  	 */
  	failed_tests += do_test(BUF_SIZE, expect, elen, fmt, ap);
  	rand = 1 + prandom_u32_max(elen+1);
  	/* Since elen < BUF_SIZE, we have 1 <= rand <= BUF_SIZE. */
  	failed_tests += do_test(rand, expect, elen, fmt, ap);
  	failed_tests += do_test(0, expect, elen, fmt, ap);
  
  	p = kvasprintf(GFP_KERNEL, fmt, ap);
  	if (p) {
b79a7db37   Rasmus Villemoes   lib/test_printf.c...
133
  		total_tests++;
707cc7280   Rasmus Villemoes   test_printf: test...
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
  		if (memcmp(p, expect, elen+1)) {
  			pr_warn("kvasprintf(..., \"%s\", ...) returned '%s', expected '%s'
  ",
  				fmt, p, expect);
  			failed_tests++;
  		}
  		kfree(p);
  	}
  	va_end(ap);
  }
  
  #define test(expect, fmt, ...)					\
  	__test(expect, strlen(expect), fmt, ##__VA_ARGS__)
  
  static void __init
  test_basic(void)
  {
  	/* Work around annoying "warning: zero-length gnu_printf format string". */
  	char nul = '\0';
  
  	test("", &nul);
  	test("100%", "100%%");
  	test("xxx%yyy", "xxx%cyyy", '%');
  	__test("xxx\0yyy", 7, "xxx%cyyy", '\0');
  }
  
  static void __init
  test_number(void)
  {
  	test("0x1234abcd  ", "%#-12x", 0x1234abcd);
  	test("  0x1234abcd", "%#12x", 0x1234abcd);
  	test("0|001| 12|+123| 1234|-123|-1234", "%d|%03d|%3d|%+d|% d|%+d|% d", 0, 1, 12, 123, 1234, -123, -1234);
1ca8e8ebe   Rasmus Villemoes   lib/test_printf.c...
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
  	test("0|1|1|128|255", "%hhu|%hhu|%hhu|%hhu|%hhu", 0, 1, 257, 128, -1);
  	test("0|1|1|-128|-1", "%hhd|%hhd|%hhd|%hhd|%hhd", 0, 1, 257, 128, -1);
  	test("2015122420151225", "%ho%ho%#ho", 1037, 5282, -11627);
  	/*
  	 * POSIX/C99: »The result of converting zero with an explicit
  	 * precision of zero shall be no characters.« Hence the output
  	 * from the below test should really be "00|0||| ". However,
  	 * the kernel's printf also produces a single 0 in that
  	 * case. This test case simply documents the current
  	 * behaviour.
  	 */
  	test("00|0|0|0|0", "%.2d|%.1d|%.0d|%.*d|%1.0d", 0, 0, 0, 0, 0, 0);
  #ifndef __CHAR_UNSIGNED__
  	{
  		/*
  		 * Passing a 'char' to a %02x specifier doesn't do
  		 * what was presumably the intention when char is
  		 * signed and the value is negative. One must either &
  		 * with 0xff or cast to u8.
  		 */
  		char val = -16;
  		test("0xfffffff0|0xf0|0xf0", "%#02x|%#02x|%#02x", val, val & 0xff, (u8)val);
  	}
  #endif
707cc7280   Rasmus Villemoes   test_printf: test...
190
191
192
193
194
195
196
197
  }
  
  static void __init
  test_string(void)
  {
  	test("", "%s%.0s", "", "123");
  	test("ABCD|abc|123", "%s|%.3s|%.*s", "ABCD", "abcdef", 3, "123456");
  	test("1  |  2|3  |  4|5  ", "%-3s|%3s|%-*s|%*s|%*s", "1", "2", 3, "3", 3, "4", -3, "5");
f176eb4ce   Rasmus Villemoes   lib/test_printf.c...
198
199
  	test("1234      ", "%-10.4s", "123456");
  	test("      1234", "%10.4s", "123456");
707cc7280   Rasmus Villemoes   test_printf: test...
200
  	/*
f176eb4ce   Rasmus Villemoes   lib/test_printf.c...
201
202
203
204
205
206
207
208
209
210
211
  	 * POSIX and C99 say that a negative precision (which is only
  	 * possible to pass via a * argument) should be treated as if
  	 * the precision wasn't present, and that if the precision is
  	 * omitted (as in %.s), the precision should be taken to be
  	 * 0. However, the kernel's printf behave exactly opposite,
  	 * treating a negative precision as 0 and treating an omitted
  	 * precision specifier as if no precision was given.
  	 *
  	 * These test cases document the current behaviour; should
  	 * anyone ever feel the need to follow the standards more
  	 * closely, this can be revisited.
707cc7280   Rasmus Villemoes   test_printf: test...
212
  	 */
f176eb4ce   Rasmus Villemoes   lib/test_printf.c...
213
214
  	test("    ", "%4.*s", -5, "123456");
  	test("123456", "%.s", "123456");
707cc7280   Rasmus Villemoes   test_printf: test...
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
  	test("a||", "%.s|%.0s|%.*s", "a", "b", 0, "c");
  	test("a  |   |   ", "%-3.s|%-3.0s|%-3.*s", "a", "b", 0, "c");
  }
  
  static void __init
  plain(void)
  {
  	test(PTR1_ZEROES PTR1_STR " " PTR2_STR, "%p %p", PTR1, PTR2);
  	/*
  	 * The field width is overloaded for some %p extensions to
  	 * pass another piece of information. For plain pointers, the
  	 * behaviour is slightly odd: One cannot pass either the 0
  	 * flag nor a precision to %p without gcc complaining, and if
  	 * one explicitly gives a field width, the number is no longer
  	 * zero-padded.
  	 */
  	test("|" PTR1_STR PTR1_SPACES "  |  " PTR1_SPACES PTR1_STR "|",
  	     "|%-*p|%*p|", PTR_WIDTH+2, PTR1, PTR_WIDTH+2, PTR1);
  	test("|" PTR2_STR "  |  " PTR2_STR "|",
  	     "|%-*p|%*p|", PTR_WIDTH+2, PTR2, PTR_WIDTH+2, PTR2);
  
  	/*
  	 * Unrecognized %p extensions are treated as plain %p, but the
  	 * alphanumeric suffix is ignored (that is, does not occur in
  	 * the output.)
  	 */
  	test("|"PTR1_ZEROES PTR1_STR"|", "|%p0y|", PTR1);
  	test("|"PTR2_STR"|", "|%p0y|", PTR2);
  }
  
  static void __init
  symbol_ptr(void)
  {
  }
  
  static void __init
  kernel_ptr(void)
  {
  }
  
  static void __init
  struct_resource(void)
  {
  }
  
  static void __init
  addr(void)
  {
  }
  
  static void __init
  escaped_str(void)
  {
  }
  
  static void __init
  hex_string(void)
  {
  	const char buf[3] = {0xc0, 0xff, 0xee};
  
  	test("c0 ff ee|c0:ff:ee|c0-ff-ee|c0ffee",
  	     "%3ph|%3phC|%3phD|%3phN", buf, buf, buf, buf);
  	test("c0 ff ee|c0:ff:ee|c0-ff-ee|c0ffee",
  	     "%*ph|%*phC|%*phD|%*phN", 3, buf, 3, buf, 3, buf, 3, buf);
  }
  
  static void __init
  mac(void)
  {
  	const u8 addr[6] = {0x2d, 0x48, 0xd6, 0xfc, 0x7a, 0x05};
  
  	test("2d:48:d6:fc:7a:05", "%pM", addr);
  	test("05:7a:fc:d6:48:2d", "%pMR", addr);
  	test("2d-48-d6-fc-7a-05", "%pMF", addr);
  	test("2d48d6fc7a05", "%pm", addr);
  	test("057afcd6482d", "%pmR", addr);
  }
  
  static void __init
  ip4(void)
  {
  	struct sockaddr_in sa;
  
  	sa.sin_family = AF_INET;
  	sa.sin_port = cpu_to_be16(12345);
  	sa.sin_addr.s_addr = cpu_to_be32(0x7f000001);
  
  	test("127.000.000.001|127.0.0.1", "%pi4|%pI4", &sa.sin_addr, &sa.sin_addr);
  	test("127.000.000.001|127.0.0.1", "%piS|%pIS", &sa, &sa);
  	sa.sin_addr.s_addr = cpu_to_be32(0x01020304);
  	test("001.002.003.004:12345|1.2.3.4:12345", "%piSp|%pISp", &sa, &sa);
  }
  
  static void __init
  ip6(void)
  {
  }
  
  static void __init
  ip(void)
  {
  	ip4();
  	ip6();
  }
  
  static void __init
  uuid(void)
  {
  	const char uuid[16] = {0x0, 0x1, 0x2, 0x3, 0x4, 0x5, 0x6, 0x7,
  			       0x8, 0x9, 0xa, 0xb, 0xc, 0xd, 0xe, 0xf};
  
  	test("00010203-0405-0607-0809-0a0b0c0d0e0f", "%pUb", uuid);
  	test("00010203-0405-0607-0809-0A0B0C0D0E0F", "%pUB", uuid);
  	test("03020100-0504-0706-0809-0a0b0c0d0e0f", "%pUl", uuid);
  	test("03020100-0504-0706-0809-0A0B0C0D0E0F", "%pUL", uuid);
  }
251c72345   Rasmus Villemoes   lib/test_printf.c...
331
332
333
334
335
336
337
338
339
340
341
342
343
344
  static struct dentry test_dentry[4] __initdata = {
  	{ .d_parent = &test_dentry[0],
  	  .d_name = QSTR_INIT(test_dentry[0].d_iname, 3),
  	  .d_iname = "foo" },
  	{ .d_parent = &test_dentry[0],
  	  .d_name = QSTR_INIT(test_dentry[1].d_iname, 5),
  	  .d_iname = "bravo" },
  	{ .d_parent = &test_dentry[1],
  	  .d_name = QSTR_INIT(test_dentry[2].d_iname, 4),
  	  .d_iname = "alfa" },
  	{ .d_parent = &test_dentry[2],
  	  .d_name = QSTR_INIT(test_dentry[3].d_iname, 5),
  	  .d_iname = "romeo" },
  };
707cc7280   Rasmus Villemoes   test_printf: test...
345
346
347
  static void __init
  dentry(void)
  {
251c72345   Rasmus Villemoes   lib/test_printf.c...
348
349
350
351
352
353
354
355
356
357
358
  	test("foo", "%pd", &test_dentry[0]);
  	test("foo", "%pd2", &test_dentry[0]);
  
  	test("romeo", "%pd", &test_dentry[3]);
  	test("alfa/romeo", "%pd2", &test_dentry[3]);
  	test("bravo/alfa/romeo", "%pd3", &test_dentry[3]);
  	test("/bravo/alfa/romeo", "%pd4", &test_dentry[3]);
  	test("/bravo/alfa", "%pd4", &test_dentry[2]);
  
  	test("bravo/alfa  |bravo/alfa  ", "%-12pd2|%*pd2", &test_dentry[2], -12, &test_dentry[2]);
  	test("  bravo/alfa|  bravo/alfa", "%12pd2|%*pd2", &test_dentry[2], 12, &test_dentry[2]);
707cc7280   Rasmus Villemoes   test_printf: test...
359
360
361
362
363
364
365
366
367
368
369
370
371
  }
  
  static void __init
  struct_va_format(void)
  {
  }
  
  static void __init
  struct_clk(void)
  {
  }
  
  static void __init
857cca4d5   Rasmus Villemoes   lib/test_printf.c...
372
373
374
375
376
377
378
379
380
381
382
383
384
385
  large_bitmap(void)
  {
  	const int nbits = 1 << 16;
  	unsigned long *bits = kcalloc(BITS_TO_LONGS(nbits), sizeof(long), GFP_KERNEL);
  	if (!bits)
  		return;
  
  	bitmap_set(bits, 1, 20);
  	bitmap_set(bits, 60000, 15);
  	test("1-20,60000-60014", "%*pbl", nbits, bits);
  	kfree(bits);
  }
  
  static void __init
707cc7280   Rasmus Villemoes   test_printf: test...
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
  bitmap(void)
  {
  	DECLARE_BITMAP(bits, 20);
  	const int primes[] = {2,3,5,7,11,13,17,19};
  	int i;
  
  	bitmap_zero(bits, 20);
  	test("00000|00000", "%20pb|%*pb", bits, 20, bits);
  	test("|", "%20pbl|%*pbl", bits, 20, bits);
  
  	for (i = 0; i < ARRAY_SIZE(primes); ++i)
  		set_bit(primes[i], bits);
  	test("a28ac|a28ac", "%20pb|%*pb", bits, 20, bits);
  	test("2-3,5,7,11,13,17,19|2-3,5,7,11,13,17,19", "%20pbl|%*pbl", bits, 20, bits);
  
  	bitmap_fill(bits, 20);
  	test("fffff|fffff", "%20pb|%*pb", bits, 20, bits);
  	test("0-19|0-19", "%20pbl|%*pbl", bits, 20, bits);
857cca4d5   Rasmus Villemoes   lib/test_printf.c...
404
405
  
  	large_bitmap();
707cc7280   Rasmus Villemoes   test_printf: test...
406
407
408
409
410
411
412
413
  }
  
  static void __init
  netdev_features(void)
  {
  }
  
  static void __init
edf14cdbf   Vlastimil Babka   mm, printk: intro...
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
  flags(void)
  {
  	unsigned long flags;
  	gfp_t gfp;
  	char *cmp_buffer;
  
  	flags = 0;
  	test("", "%pGp", &flags);
  
  	/* Page flags should filter the zone id */
  	flags = 1UL << NR_PAGEFLAGS;
  	test("", "%pGp", &flags);
  
  	flags |= 1UL << PG_uptodate | 1UL << PG_dirty | 1UL << PG_lru
  		| 1UL << PG_active | 1UL << PG_swapbacked;
  	test("uptodate|dirty|lru|active|swapbacked", "%pGp", &flags);
  
  
  	flags = VM_READ | VM_EXEC | VM_MAYREAD | VM_MAYWRITE | VM_MAYEXEC
  			| VM_DENYWRITE;
  	test("read|exec|mayread|maywrite|mayexec|denywrite", "%pGv", &flags);
  
  	gfp = GFP_TRANSHUGE;
  	test("GFP_TRANSHUGE", "%pGg", &gfp);
  
  	gfp = GFP_ATOMIC|__GFP_DMA;
  	test("GFP_ATOMIC|GFP_DMA", "%pGg", &gfp);
  
  	gfp = __GFP_ATOMIC;
  	test("__GFP_ATOMIC", "%pGg", &gfp);
  
  	cmp_buffer = kmalloc(BUF_SIZE, GFP_KERNEL);
  	if (!cmp_buffer)
  		return;
  
  	/* Any flags not translated by the table should remain numeric */
  	gfp = ~__GFP_BITS_MASK;
  	snprintf(cmp_buffer, BUF_SIZE, "%#lx", (unsigned long) gfp);
  	test(cmp_buffer, "%pGg", &gfp);
  
  	snprintf(cmp_buffer, BUF_SIZE, "__GFP_ATOMIC|%#lx",
  							(unsigned long) gfp);
  	gfp |= __GFP_ATOMIC;
  	test(cmp_buffer, "%pGg", &gfp);
  
  	kfree(cmp_buffer);
  }
  
  static void __init
707cc7280   Rasmus Villemoes   test_printf: test...
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
  test_pointer(void)
  {
  	plain();
  	symbol_ptr();
  	kernel_ptr();
  	struct_resource();
  	addr();
  	escaped_str();
  	hex_string();
  	mac();
  	ip();
  	uuid();
  	dentry();
  	struct_va_format();
  	struct_clk();
  	bitmap();
  	netdev_features();
edf14cdbf   Vlastimil Babka   mm, printk: intro...
480
  	flags();
707cc7280   Rasmus Villemoes   test_printf: test...
481
482
483
484
485
  }
  
  static int __init
  test_printf_init(void)
  {
331e4deb6   Rasmus Villemoes   lib/test_printf.c...
486
487
  	alloced_buffer = kmalloc(BUF_SIZE + 2*PAD_SIZE, GFP_KERNEL);
  	if (!alloced_buffer)
707cc7280   Rasmus Villemoes   test_printf: test...
488
  		return -ENOMEM;
331e4deb6   Rasmus Villemoes   lib/test_printf.c...
489
  	test_buffer = alloced_buffer + PAD_SIZE;
707cc7280   Rasmus Villemoes   test_printf: test...
490
491
492
493
494
  
  	test_basic();
  	test_number();
  	test_string();
  	test_pointer();
331e4deb6   Rasmus Villemoes   lib/test_printf.c...
495
  	kfree(alloced_buffer);
707cc7280   Rasmus Villemoes   test_printf: test...
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
  
  	if (failed_tests == 0)
  		pr_info("all %u tests passed
  ", total_tests);
  	else
  		pr_warn("failed %u out of %u tests
  ", failed_tests, total_tests);
  
  	return failed_tests ? -EINVAL : 0;
  }
  
  module_init(test_printf_init);
  
  MODULE_AUTHOR("Rasmus Villemoes <linux@rasmusvillemoes.dk>");
  MODULE_LICENSE("GPL");