1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * Copyright (c) 2012 The Chromium OS Authors. All rights reserved.
4  *
5  * kselftest_harness.h: simple C unit test helper.
6  *
7  * See documentation in Documentation/dev-tools/kselftest.rst
8  *
9  * API inspired by code.google.com/p/googletest
10  */
11 
12 /**
13  * DOC: example
14  *
15  * .. code-block:: c
16  *
17  *    #include "../kselftest_harness.h"
18  *
19  *    TEST(standalone_test) {
20  *      do_some_stuff;
21  *      EXPECT_GT(10, stuff) {
22  *         stuff_state_t state;
23  *         enumerate_stuff_state(&state);
24  *         TH_LOG("expectation failed with state: %s", state.msg);
25  *      }
26  *      more_stuff;
27  *      ASSERT_NE(some_stuff, NULL) TH_LOG("how did it happen?!");
28  *      last_stuff;
29  *      EXPECT_EQ(0, last_stuff);
30  *    }
31  *
32  *    FIXTURE(my_fixture) {
33  *      mytype_t *data;
34  *      int awesomeness_level;
35  *    };
36  *    FIXTURE_SETUP(my_fixture) {
37  *      self->data = mytype_new();
38  *      ASSERT_NE(NULL, self->data);
39  *    }
40  *    FIXTURE_TEARDOWN(my_fixture) {
41  *      mytype_free(self->data);
42  *    }
43  *    TEST_F(my_fixture, data_is_good) {
44  *      EXPECT_EQ(1, is_my_data_good(self->data));
45  *    }
46  *
47  *    TEST_HARNESS_MAIN
48  */
49 
50 #ifndef __KSELFTEST_HARNESS_H
51 #define __KSELFTEST_HARNESS_H
52 
53 #ifndef _GNU_SOURCE
54 #define _GNU_SOURCE
55 #endif
56 #include <asm/types.h>
57 #include <ctype.h>
58 #include <errno.h>
59 #include <stdbool.h>
60 #include <stdint.h>
61 #include <stdio.h>
62 #include <stdlib.h>
63 #include <string.h>
64 #include <sys/mman.h>
65 #include <sys/types.h>
66 #include <sys/wait.h>
67 #include <unistd.h>
68 #include <setjmp.h>
69 
70 #include "kselftest.h"
71 
72 #define TEST_TIMEOUT_DEFAULT 30
73 
74 /* Utilities exposed to the test definitions */
75 #ifndef TH_LOG_STREAM
76 #  define TH_LOG_STREAM stderr
77 #endif
78 
79 #ifndef TH_LOG_ENABLED
80 #  define TH_LOG_ENABLED 1
81 #endif
82 
83 /**
84  * TH_LOG()
85  *
86  * @fmt: format string
87  * @...: optional arguments
88  *
89  * .. code-block:: c
90  *
91  *     TH_LOG(format, ...)
92  *
93  * Optional debug logging function available for use in tests.
94  * Logging may be enabled or disabled by defining TH_LOG_ENABLED.
95  * E.g., #define TH_LOG_ENABLED 1
96  *
97  * If no definition is provided, logging is enabled by default.
98  *
99  * If there is no way to print an error message for the process running the
100  * test (e.g. not allowed to write to stderr), it is still possible to get the
101  * ASSERT_* number for which the test failed.  This behavior can be enabled by
102  * writing `_metadata->no_print = true;` before the check sequence that is
103  * unable to print.  When an error occur, instead of printing an error message
104  * and calling `abort(3)`, the test process call `_exit(2)` with the assert
105  * number as argument, which is then printed by the parent process.
106  */
107 #define TH_LOG(fmt, ...) do { \
108 	if (TH_LOG_ENABLED) \
109 		__TH_LOG(fmt, ##__VA_ARGS__); \
110 } while (0)
111 
112 /* Unconditional logger for internal use. */
113 #define __TH_LOG(fmt, ...) \
114 		fprintf(TH_LOG_STREAM, "# %s:%d:%s:" fmt "\n", \
115 			__FILE__, __LINE__, _metadata->name, ##__VA_ARGS__)
116 
117 /**
118  * SKIP()
119  *
120  * @statement: statement to run after reporting SKIP
121  * @fmt: format string
122  * @...: optional arguments
123  *
124  * .. code-block:: c
125  *
126  *     SKIP(statement, fmt, ...);
127  *
128  * This forces a "pass" after reporting why something is being skipped
129  * and runs "statement", which is usually "return" or "goto skip".
130  */
131 #define SKIP(statement, fmt, ...) do { \
132 	snprintf(_metadata->results->reason, \
133 		 sizeof(_metadata->results->reason), fmt, ##__VA_ARGS__); \
134 	if (TH_LOG_ENABLED) { \
135 		fprintf(TH_LOG_STREAM, "#      SKIP      %s\n", \
136 			_metadata->results->reason); \
137 	} \
138 	_metadata->passed = 1; \
139 	_metadata->skip = 1; \
140 	_metadata->trigger = 0; \
141 	statement; \
142 } while (0)
143 
144 /**
145  * TEST() - Defines the test function and creates the registration
146  * stub
147  *
148  * @test_name: test name
149  *
150  * .. code-block:: c
151  *
152  *     TEST(name) { implementation }
153  *
154  * Defines a test by name.
155  * Names must be unique and tests must not be run in parallel.  The
156  * implementation containing block is a function and scoping should be treated
157  * as such.  Returning early may be performed with a bare "return;" statement.
158  *
159  * EXPECT_* and ASSERT_* are valid in a TEST() { } context.
160  */
161 #define TEST(test_name) __TEST_IMPL(test_name, -1)
162 
163 /**
164  * TEST_SIGNAL()
165  *
166  * @test_name: test name
167  * @signal: signal number
168  *
169  * .. code-block:: c
170  *
171  *     TEST_SIGNAL(name, signal) { implementation }
172  *
173  * Defines a test by name and the expected term signal.
174  * Names must be unique and tests must not be run in parallel.  The
175  * implementation containing block is a function and scoping should be treated
176  * as such.  Returning early may be performed with a bare "return;" statement.
177  *
178  * EXPECT_* and ASSERT_* are valid in a TEST() { } context.
179  */
180 #define TEST_SIGNAL(test_name, signal) __TEST_IMPL(test_name, signal)
181 
182 #define __TEST_IMPL(test_name, _signal) \
183 	static void test_name(struct __test_metadata *_metadata); \
184 	static inline void wrapper_##test_name( \
185 		struct __test_metadata *_metadata, \
186 		struct __fixture_variant_metadata *variant) \
187 	{ \
188 		_metadata->setup_completed = true; \
189 		if (setjmp(_metadata->env) == 0) \
190 			test_name(_metadata); \
191 		__test_check_assert(_metadata); \
192 	} \
193 	static struct __test_metadata _##test_name##_object = \
194 		{ .name = #test_name, \
195 		  .fn = &wrapper_##test_name, \
196 		  .fixture = &_fixture_global, \
197 		  .termsig = _signal, \
198 		  .timeout = TEST_TIMEOUT_DEFAULT, }; \
199 	static void __attribute__((constructor)) _register_##test_name(void) \
200 	{ \
201 		__register_test(&_##test_name##_object); \
202 	} \
203 	static void test_name( \
204 		struct __test_metadata __attribute__((unused)) *_metadata)
205 
206 /**
207  * FIXTURE_DATA() - Wraps the struct name so we have one less
208  * argument to pass around
209  *
210  * @datatype_name: datatype name
211  *
212  * .. code-block:: c
213  *
214  *     FIXTURE_DATA(datatype_name)
215  *
216  * Almost always, you want just FIXTURE() instead (see below).
217  * This call may be used when the type of the fixture data
218  * is needed.  In general, this should not be needed unless
219  * the *self* is being passed to a helper directly.
220  */
221 #define FIXTURE_DATA(datatype_name) struct _test_data_##datatype_name
222 
223 /**
224  * FIXTURE() - Called once per fixture to setup the data and
225  * register
226  *
227  * @fixture_name: fixture name
228  *
229  * .. code-block:: c
230  *
231  *     FIXTURE(fixture_name) {
232  *       type property1;
233  *       ...
234  *     };
235  *
236  * Defines the data provided to TEST_F()-defined tests as *self*.  It should be
237  * populated and cleaned up using FIXTURE_SETUP() and FIXTURE_TEARDOWN().
238  */
239 #define FIXTURE(fixture_name) \
240 	FIXTURE_VARIANT(fixture_name); \
241 	static struct __fixture_metadata _##fixture_name##_fixture_object = \
242 		{ .name =  #fixture_name, }; \
243 	static void __attribute__((constructor)) \
244 	_register_##fixture_name##_data(void) \
245 	{ \
246 		__register_fixture(&_##fixture_name##_fixture_object); \
247 	} \
248 	FIXTURE_DATA(fixture_name)
249 
250 /**
251  * FIXTURE_SETUP() - Prepares the setup function for the fixture.
252  * *_metadata* is included so that EXPECT_* and ASSERT_* work correctly.
253  *
254  * @fixture_name: fixture name
255  *
256  * .. code-block:: c
257  *
258  *     FIXTURE_SETUP(fixture_name) { implementation }
259  *
260  * Populates the required "setup" function for a fixture.  An instance of the
261  * datatype defined with FIXTURE_DATA() will be exposed as *self* for the
262  * implementation.
263  *
264  * ASSERT_* are valid for use in this context and will prempt the execution
265  * of any dependent fixture tests.
266  *
267  * A bare "return;" statement may be used to return early.
268  */
269 #define FIXTURE_SETUP(fixture_name) \
270 	void fixture_name##_setup( \
271 		struct __test_metadata __attribute__((unused)) *_metadata, \
272 		FIXTURE_DATA(fixture_name) __attribute__((unused)) *self, \
273 		const FIXTURE_VARIANT(fixture_name) \
274 			__attribute__((unused)) *variant)
275 
276 /**
277  * FIXTURE_TEARDOWN()
278  * *_metadata* is included so that EXPECT_* and ASSERT_* work correctly.
279  *
280  * @fixture_name: fixture name
281  *
282  * .. code-block:: c
283  *
284  *     FIXTURE_TEARDOWN(fixture_name) { implementation }
285  *
286  * Populates the required "teardown" function for a fixture.  An instance of the
287  * datatype defined with FIXTURE_DATA() will be exposed as *self* for the
288  * implementation to clean up.
289  *
290  * A bare "return;" statement may be used to return early.
291  */
292 #define FIXTURE_TEARDOWN(fixture_name) \
293 	void fixture_name##_teardown( \
294 		struct __test_metadata __attribute__((unused)) *_metadata, \
295 		FIXTURE_DATA(fixture_name) __attribute__((unused)) *self, \
296 		const FIXTURE_VARIANT(fixture_name) \
297 			__attribute__((unused)) *variant)
298 
299 /**
300  * FIXTURE_VARIANT() - Optionally called once per fixture
301  * to declare fixture variant
302  *
303  * @fixture_name: fixture name
304  *
305  * .. code-block:: c
306  *
307  *     FIXTURE_VARIANT(fixture_name) {
308  *       type property1;
309  *       ...
310  *     };
311  *
312  * Defines type of constant parameters provided to FIXTURE_SETUP(), TEST_F() and
313  * FIXTURE_TEARDOWN as *variant*. Variants allow the same tests to be run with
314  * different arguments.
315  */
316 #define FIXTURE_VARIANT(fixture_name) struct _fixture_variant_##fixture_name
317 
318 /**
319  * FIXTURE_VARIANT_ADD() - Called once per fixture
320  * variant to setup and register the data
321  *
322  * @fixture_name: fixture name
323  * @variant_name: name of the parameter set
324  *
325  * .. code-block:: c
326  *
327  *     FIXTURE_VARIANT_ADD(fixture_name, variant_name) {
328  *       .property1 = val1,
329  *       ...
330  *     };
331  *
332  * Defines a variant of the test fixture, provided to FIXTURE_SETUP() and
333  * TEST_F() as *variant*. Tests of each fixture will be run once for each
334  * variant.
335  */
336 #define FIXTURE_VARIANT_ADD(fixture_name, variant_name) \
337 	extern FIXTURE_VARIANT(fixture_name) \
338 		_##fixture_name##_##variant_name##_variant; \
339 	static struct __fixture_variant_metadata \
340 		_##fixture_name##_##variant_name##_object = \
341 		{ .name = #variant_name, \
342 		  .data = &_##fixture_name##_##variant_name##_variant}; \
343 	static void __attribute__((constructor)) \
344 		_register_##fixture_name##_##variant_name(void) \
345 	{ \
346 		__register_fixture_variant(&_##fixture_name##_fixture_object, \
347 			&_##fixture_name##_##variant_name##_object);	\
348 	} \
349 	FIXTURE_VARIANT(fixture_name) \
350 		_##fixture_name##_##variant_name##_variant =
351 
352 /**
353  * TEST_F() - Emits test registration and helpers for
354  * fixture-based test cases
355  *
356  * @fixture_name: fixture name
357  * @test_name: test name
358  *
359  * .. code-block:: c
360  *
361  *     TEST_F(fixture, name) { implementation }
362  *
363  * Defines a test that depends on a fixture (e.g., is part of a test case).
364  * Very similar to TEST() except that *self* is the setup instance of fixture's
365  * datatype exposed for use by the implementation.
366  */
367 #define TEST_F(fixture_name, test_name) \
368 	__TEST_F_IMPL(fixture_name, test_name, -1, TEST_TIMEOUT_DEFAULT)
369 
370 #define TEST_F_SIGNAL(fixture_name, test_name, signal) \
371 	__TEST_F_IMPL(fixture_name, test_name, signal, TEST_TIMEOUT_DEFAULT)
372 
373 #define TEST_F_TIMEOUT(fixture_name, test_name, timeout) \
374 	__TEST_F_IMPL(fixture_name, test_name, -1, timeout)
375 
376 #define __TEST_F_IMPL(fixture_name, test_name, signal, tmout) \
377 	static void fixture_name##_##test_name( \
378 		struct __test_metadata *_metadata, \
379 		FIXTURE_DATA(fixture_name) *self, \
380 		const FIXTURE_VARIANT(fixture_name) *variant); \
381 	static inline void wrapper_##fixture_name##_##test_name( \
382 		struct __test_metadata *_metadata, \
383 		struct __fixture_variant_metadata *variant) \
384 	{ \
385 		/* fixture data is alloced, setup, and torn down per call. */ \
386 		FIXTURE_DATA(fixture_name) self; \
387 		memset(&self, 0, sizeof(FIXTURE_DATA(fixture_name))); \
388 		if (setjmp(_metadata->env) == 0) { \
389 			fixture_name##_setup(_metadata, &self, variant->data); \
390 			/* Let setup failure terminate early. */ \
391 			if (!_metadata->passed) \
392 				return; \
393 			_metadata->setup_completed = true; \
394 			fixture_name##_##test_name(_metadata, &self, variant->data); \
395 		} \
396 		if (_metadata->setup_completed) \
397 			fixture_name##_teardown(_metadata, &self, variant->data); \
398 		__test_check_assert(_metadata); \
399 	} \
400 	static struct __test_metadata \
401 		      _##fixture_name##_##test_name##_object = { \
402 		.name = #test_name, \
403 		.fn = &wrapper_##fixture_name##_##test_name, \
404 		.fixture = &_##fixture_name##_fixture_object, \
405 		.termsig = signal, \
406 		.timeout = tmout, \
407 	 }; \
408 	static void __attribute__((constructor)) \
409 			_register_##fixture_name##_##test_name(void) \
410 	{ \
411 		__register_test(&_##fixture_name##_##test_name##_object); \
412 	} \
413 	static void fixture_name##_##test_name( \
414 		struct __test_metadata __attribute__((unused)) *_metadata, \
415 		FIXTURE_DATA(fixture_name) __attribute__((unused)) *self, \
416 		const FIXTURE_VARIANT(fixture_name) \
417 			__attribute__((unused)) *variant)
418 
419 /**
420  * TEST_HARNESS_MAIN - Simple wrapper to run the test harness
421  *
422  * .. code-block:: c
423  *
424  *     TEST_HARNESS_MAIN
425  *
426  * Use once to append a main() to the test file.
427  */
428 #define TEST_HARNESS_MAIN \
429 	static void __attribute__((constructor)) \
430 	__constructor_order_last(void) \
431 	{ \
432 		if (!__constructor_order) \
433 			__constructor_order = _CONSTRUCTOR_ORDER_BACKWARD; \
434 	} \
435 	int main(int argc, char **argv) { \
436 		return test_harness_run(argc, argv); \
437 	}
438 
439 /**
440  * DOC: operators
441  *
442  * Operators for use in TEST() and TEST_F().
443  * ASSERT_* calls will stop test execution immediately.
444  * EXPECT_* calls will emit a failure warning, note it, and continue.
445  */
446 
447 /**
448  * ASSERT_EQ()
449  *
450  * @expected: expected value
451  * @seen: measured value
452  *
453  * ASSERT_EQ(expected, measured): expected == measured
454  */
455 #define ASSERT_EQ(expected, seen) \
456 	__EXPECT(expected, #expected, seen, #seen, ==, 1)
457 
458 /**
459  * ASSERT_NE()
460  *
461  * @expected: expected value
462  * @seen: measured value
463  *
464  * ASSERT_NE(expected, measured): expected != measured
465  */
466 #define ASSERT_NE(expected, seen) \
467 	__EXPECT(expected, #expected, seen, #seen, !=, 1)
468 
469 /**
470  * ASSERT_LT()
471  *
472  * @expected: expected value
473  * @seen: measured value
474  *
475  * ASSERT_LT(expected, measured): expected < measured
476  */
477 #define ASSERT_LT(expected, seen) \
478 	__EXPECT(expected, #expected, seen, #seen, <, 1)
479 
480 /**
481  * ASSERT_LE()
482  *
483  * @expected: expected value
484  * @seen: measured value
485  *
486  * ASSERT_LE(expected, measured): expected <= measured
487  */
488 #define ASSERT_LE(expected, seen) \
489 	__EXPECT(expected, #expected, seen, #seen, <=, 1)
490 
491 /**
492  * ASSERT_GT()
493  *
494  * @expected: expected value
495  * @seen: measured value
496  *
497  * ASSERT_GT(expected, measured): expected > measured
498  */
499 #define ASSERT_GT(expected, seen) \
500 	__EXPECT(expected, #expected, seen, #seen, >, 1)
501 
502 /**
503  * ASSERT_GE()
504  *
505  * @expected: expected value
506  * @seen: measured value
507  *
508  * ASSERT_GE(expected, measured): expected >= measured
509  */
510 #define ASSERT_GE(expected, seen) \
511 	__EXPECT(expected, #expected, seen, #seen, >=, 1)
512 
513 /**
514  * ASSERT_NULL()
515  *
516  * @seen: measured value
517  *
518  * ASSERT_NULL(measured): NULL == measured
519  */
520 #define ASSERT_NULL(seen) \
521 	__EXPECT(NULL, "NULL", seen, #seen, ==, 1)
522 
523 /**
524  * ASSERT_TRUE()
525  *
526  * @seen: measured value
527  *
528  * ASSERT_TRUE(measured): measured != 0
529  */
530 #define ASSERT_TRUE(seen) \
531 	__EXPECT(0, "0", seen, #seen, !=, 1)
532 
533 /**
534  * ASSERT_FALSE()
535  *
536  * @seen: measured value
537  *
538  * ASSERT_FALSE(measured): measured == 0
539  */
540 #define ASSERT_FALSE(seen) \
541 	__EXPECT(0, "0", seen, #seen, ==, 1)
542 
543 /**
544  * ASSERT_STREQ()
545  *
546  * @expected: expected value
547  * @seen: measured value
548  *
549  * ASSERT_STREQ(expected, measured): !strcmp(expected, measured)
550  */
551 #define ASSERT_STREQ(expected, seen) \
552 	__EXPECT_STR(expected, seen, ==, 1)
553 
554 /**
555  * ASSERT_STRNE()
556  *
557  * @expected: expected value
558  * @seen: measured value
559  *
560  * ASSERT_STRNE(expected, measured): strcmp(expected, measured)
561  */
562 #define ASSERT_STRNE(expected, seen) \
563 	__EXPECT_STR(expected, seen, !=, 1)
564 
565 /**
566  * EXPECT_EQ()
567  *
568  * @expected: expected value
569  * @seen: measured value
570  *
571  * EXPECT_EQ(expected, measured): expected == measured
572  */
573 #define EXPECT_EQ(expected, seen) \
574 	__EXPECT(expected, #expected, seen, #seen, ==, 0)
575 
576 /**
577  * EXPECT_NE()
578  *
579  * @expected: expected value
580  * @seen: measured value
581  *
582  * EXPECT_NE(expected, measured): expected != measured
583  */
584 #define EXPECT_NE(expected, seen) \
585 	__EXPECT(expected, #expected, seen, #seen, !=, 0)
586 
587 /**
588  * EXPECT_LT()
589  *
590  * @expected: expected value
591  * @seen: measured value
592  *
593  * EXPECT_LT(expected, measured): expected < measured
594  */
595 #define EXPECT_LT(expected, seen) \
596 	__EXPECT(expected, #expected, seen, #seen, <, 0)
597 
598 /**
599  * EXPECT_LE()
600  *
601  * @expected: expected value
602  * @seen: measured value
603  *
604  * EXPECT_LE(expected, measured): expected <= measured
605  */
606 #define EXPECT_LE(expected, seen) \
607 	__EXPECT(expected, #expected, seen, #seen, <=, 0)
608 
609 /**
610  * EXPECT_GT()
611  *
612  * @expected: expected value
613  * @seen: measured value
614  *
615  * EXPECT_GT(expected, measured): expected > measured
616  */
617 #define EXPECT_GT(expected, seen) \
618 	__EXPECT(expected, #expected, seen, #seen, >, 0)
619 
620 /**
621  * EXPECT_GE()
622  *
623  * @expected: expected value
624  * @seen: measured value
625  *
626  * EXPECT_GE(expected, measured): expected >= measured
627  */
628 #define EXPECT_GE(expected, seen) \
629 	__EXPECT(expected, #expected, seen, #seen, >=, 0)
630 
631 /**
632  * EXPECT_NULL()
633  *
634  * @seen: measured value
635  *
636  * EXPECT_NULL(measured): NULL == measured
637  */
638 #define EXPECT_NULL(seen) \
639 	__EXPECT(NULL, "NULL", seen, #seen, ==, 0)
640 
641 /**
642  * EXPECT_TRUE()
643  *
644  * @seen: measured value
645  *
646  * EXPECT_TRUE(measured): 0 != measured
647  */
648 #define EXPECT_TRUE(seen) \
649 	__EXPECT(0, "0", seen, #seen, !=, 0)
650 
651 /**
652  * EXPECT_FALSE()
653  *
654  * @seen: measured value
655  *
656  * EXPECT_FALSE(measured): 0 == measured
657  */
658 #define EXPECT_FALSE(seen) \
659 	__EXPECT(0, "0", seen, #seen, ==, 0)
660 
661 /**
662  * EXPECT_STREQ()
663  *
664  * @expected: expected value
665  * @seen: measured value
666  *
667  * EXPECT_STREQ(expected, measured): !strcmp(expected, measured)
668  */
669 #define EXPECT_STREQ(expected, seen) \
670 	__EXPECT_STR(expected, seen, ==, 0)
671 
672 /**
673  * EXPECT_STRNE()
674  *
675  * @expected: expected value
676  * @seen: measured value
677  *
678  * EXPECT_STRNE(expected, measured): strcmp(expected, measured)
679  */
680 #define EXPECT_STRNE(expected, seen) \
681 	__EXPECT_STR(expected, seen, !=, 0)
682 
683 #ifndef ARRAY_SIZE
684 #define ARRAY_SIZE(a)	(sizeof(a) / sizeof(a[0]))
685 #endif
686 
687 /* Support an optional handler after and ASSERT_* or EXPECT_*.  The approach is
688  * not thread-safe, but it should be fine in most sane test scenarios.
689  *
690  * Using __bail(), which optionally abort()s, is the easiest way to early
691  * return while still providing an optional block to the API consumer.
692  */
693 #define OPTIONAL_HANDLER(_assert) \
694 	for (; _metadata->trigger; _metadata->trigger = \
695 			__bail(_assert, _metadata))
696 
697 #define __INC_STEP(_metadata) \
698 	/* Keep "step" below 255 (which is used for "SKIP" reporting). */	\
699 	if (_metadata->passed && _metadata->step < 253) \
700 		_metadata->step++;
701 
702 #define is_signed_type(var)       (!!(((__typeof__(var))(-1)) < (__typeof__(var))1))
703 
704 #define __EXPECT(_expected, _expected_str, _seen, _seen_str, _t, _assert) do { \
705 	/* Avoid multiple evaluation of the cases */ \
706 	__typeof__(_expected) __exp = (_expected); \
707 	__typeof__(_seen) __seen = (_seen); \
708 	if (_assert) __INC_STEP(_metadata); \
709 	if (!(__exp _t __seen)) { \
710 		/* Report with actual signedness to avoid weird output. */ \
711 		switch (is_signed_type(__exp) * 2 + is_signed_type(__seen)) { \
712 		case 0: { \
713 			unsigned long long __exp_print = (uintptr_t)__exp; \
714 			unsigned long long __seen_print = (uintptr_t)__seen; \
715 			__TH_LOG("Expected %s (%llu) %s %s (%llu)", \
716 				 _expected_str, __exp_print, #_t, \
717 				 _seen_str, __seen_print); \
718 			break; \
719 			} \
720 		case 1: { \
721 			unsigned long long __exp_print = (uintptr_t)__exp; \
722 			long long __seen_print = (intptr_t)__seen; \
723 			__TH_LOG("Expected %s (%llu) %s %s (%lld)", \
724 				 _expected_str, __exp_print, #_t, \
725 				 _seen_str, __seen_print); \
726 			break; \
727 			} \
728 		case 2: { \
729 			long long __exp_print = (intptr_t)__exp; \
730 			unsigned long long __seen_print = (uintptr_t)__seen; \
731 			__TH_LOG("Expected %s (%lld) %s %s (%llu)", \
732 				 _expected_str, __exp_print, #_t, \
733 				 _seen_str, __seen_print); \
734 			break; \
735 			} \
736 		case 3: { \
737 			long long __exp_print = (intptr_t)__exp; \
738 			long long __seen_print = (intptr_t)__seen; \
739 			__TH_LOG("Expected %s (%lld) %s %s (%lld)", \
740 				 _expected_str, __exp_print, #_t, \
741 				 _seen_str, __seen_print); \
742 			break; \
743 			} \
744 		} \
745 		_metadata->passed = 0; \
746 		/* Ensure the optional handler is triggered */ \
747 		_metadata->trigger = 1; \
748 	} \
749 } while (0); OPTIONAL_HANDLER(_assert)
750 
751 #define __EXPECT_STR(_expected, _seen, _t, _assert) do { \
752 	const char *__exp = (_expected); \
753 	const char *__seen = (_seen); \
754 	if (_assert) __INC_STEP(_metadata); \
755 	if (!(strcmp(__exp, __seen) _t 0))  { \
756 		__TH_LOG("Expected '%s' %s '%s'.", __exp, #_t, __seen); \
757 		_metadata->passed = 0; \
758 		_metadata->trigger = 1; \
759 	} \
760 } while (0); OPTIONAL_HANDLER(_assert)
761 
762 /* List helpers */
763 #define __LIST_APPEND(head, item) \
764 { \
765 	/* Circular linked list where only prev is circular. */ \
766 	if (head == NULL) { \
767 		head = item; \
768 		item->next = NULL; \
769 		item->prev = item; \
770 		return;	\
771 	} \
772 	if (__constructor_order == _CONSTRUCTOR_ORDER_FORWARD) { \
773 		item->next = NULL; \
774 		item->prev = head->prev; \
775 		item->prev->next = item; \
776 		head->prev = item; \
777 	} else { \
778 		item->next = head; \
779 		item->next->prev = item; \
780 		item->prev = item; \
781 		head = item; \
782 	} \
783 }
784 
785 struct __test_results {
786 	char reason[1024];	/* Reason for test result */
787 };
788 
789 struct __test_metadata;
790 struct __fixture_variant_metadata;
791 
792 /* Contains all the information about a fixture. */
793 struct __fixture_metadata {
794 	const char *name;
795 	struct __test_metadata *tests;
796 	struct __fixture_variant_metadata *variant;
797 	struct __fixture_metadata *prev, *next;
798 } _fixture_global __attribute__((unused)) = {
799 	.name = "global",
800 	.prev = &_fixture_global,
801 };
802 
803 static struct __fixture_metadata *__fixture_list = &_fixture_global;
804 static int __constructor_order;
805 
806 #define _CONSTRUCTOR_ORDER_FORWARD   1
807 #define _CONSTRUCTOR_ORDER_BACKWARD -1
808 
809 static inline void __register_fixture(struct __fixture_metadata *f)
810 {
811 	__LIST_APPEND(__fixture_list, f);
812 }
813 
814 struct __fixture_variant_metadata {
815 	const char *name;
816 	const void *data;
817 	struct __fixture_variant_metadata *prev, *next;
818 };
819 
820 static inline void
821 __register_fixture_variant(struct __fixture_metadata *f,
822 			   struct __fixture_variant_metadata *variant)
823 {
824 	__LIST_APPEND(f->variant, variant);
825 }
826 
827 /* Contains all the information for test execution and status checking. */
828 struct __test_metadata {
829 	const char *name;
830 	void (*fn)(struct __test_metadata *,
831 		   struct __fixture_variant_metadata *);
832 	pid_t pid;	/* pid of test when being run */
833 	struct __fixture_metadata *fixture;
834 	int termsig;
835 	int passed;
836 	int skip;	/* did SKIP get used? */
837 	int trigger; /* extra handler after the evaluation */
838 	int timeout;	/* seconds to wait for test timeout */
839 	bool timed_out;	/* did this test timeout instead of exiting? */
840 	__u8 step;
841 	bool no_print; /* manual trigger when TH_LOG_STREAM is not available */
842 	bool aborted;	/* stopped test due to failed ASSERT */
843 	bool setup_completed; /* did setup finish? */
844 	jmp_buf env;	/* for exiting out of test early */
845 	struct __test_results *results;
846 	struct __test_metadata *prev, *next;
847 };
848 
849 /*
850  * Since constructors are called in reverse order, reverse the test
851  * list so tests are run in source declaration order.
852  * https://gcc.gnu.org/onlinedocs/gccint/Initialization.html
853  * However, it seems not all toolchains do this correctly, so use
854  * __constructor_order to detect which direction is called first
855  * and adjust list building logic to get things running in the right
856  * direction.
857  */
858 static inline void __register_test(struct __test_metadata *t)
859 {
860 	__LIST_APPEND(t->fixture->tests, t);
861 }
862 
863 static inline int __bail(int for_realz, struct __test_metadata *t)
864 {
865 	/* if this is ASSERT, return immediately. */
866 	if (for_realz) {
867 		t->aborted = true;
868 		longjmp(t->env, 1);
869 	}
870 	/* otherwise, end the for loop and continue. */
871 	return 0;
872 }
873 
874 static inline void __test_check_assert(struct __test_metadata *t)
875 {
876 	if (t->aborted) {
877 		if (t->no_print)
878 			_exit(t->step);
879 		abort();
880 	}
881 }
882 
883 struct __test_metadata *__active_test;
884 static void __timeout_handler(int sig, siginfo_t *info, void *ucontext)
885 {
886 	struct __test_metadata *t = __active_test;
887 
888 	/* Sanity check handler execution environment. */
889 	if (!t) {
890 		fprintf(TH_LOG_STREAM,
891 			"# no active test in SIGALRM handler!?\n");
892 		abort();
893 	}
894 	if (sig != SIGALRM || sig != info->si_signo) {
895 		fprintf(TH_LOG_STREAM,
896 			"# %s: SIGALRM handler caught signal %d!?\n",
897 			t->name, sig != SIGALRM ? sig : info->si_signo);
898 		abort();
899 	}
900 
901 	t->timed_out = true;
902 	// signal process group
903 	kill(-(t->pid), SIGKILL);
904 }
905 
906 void __wait_for_test(struct __test_metadata *t)
907 {
908 	struct sigaction action = {
909 		.sa_sigaction = __timeout_handler,
910 		.sa_flags = SA_SIGINFO,
911 	};
912 	struct sigaction saved_action;
913 	int status;
914 
915 	if (sigaction(SIGALRM, &action, &saved_action)) {
916 		t->passed = 0;
917 		fprintf(TH_LOG_STREAM,
918 			"# %s: unable to install SIGALRM handler\n",
919 			t->name);
920 		return;
921 	}
922 	__active_test = t;
923 	t->timed_out = false;
924 	alarm(t->timeout);
925 	waitpid(t->pid, &status, 0);
926 	alarm(0);
927 	if (sigaction(SIGALRM, &saved_action, NULL)) {
928 		t->passed = 0;
929 		fprintf(TH_LOG_STREAM,
930 			"# %s: unable to uninstall SIGALRM handler\n",
931 			t->name);
932 		return;
933 	}
934 	__active_test = NULL;
935 
936 	if (t->timed_out) {
937 		t->passed = 0;
938 		fprintf(TH_LOG_STREAM,
939 			"# %s: Test terminated by timeout\n", t->name);
940 	} else if (WIFEXITED(status)) {
941 		if (t->termsig != -1) {
942 			t->passed = 0;
943 			fprintf(TH_LOG_STREAM,
944 				"# %s: Test exited normally instead of by signal (code: %d)\n",
945 				t->name,
946 				WEXITSTATUS(status));
947 		} else {
948 			switch (WEXITSTATUS(status)) {
949 			/* Success */
950 			case 0:
951 				t->passed = 1;
952 				break;
953 			/* SKIP */
954 			case 255:
955 				t->passed = 1;
956 				t->skip = 1;
957 				break;
958 			/* Other failure, assume step report. */
959 			default:
960 				t->passed = 0;
961 				fprintf(TH_LOG_STREAM,
962 					"# %s: Test failed at step #%d\n",
963 					t->name,
964 					WEXITSTATUS(status));
965 			}
966 		}
967 	} else if (WIFSIGNALED(status)) {
968 		t->passed = 0;
969 		if (WTERMSIG(status) == SIGABRT) {
970 			fprintf(TH_LOG_STREAM,
971 				"# %s: Test terminated by assertion\n",
972 				t->name);
973 		} else if (WTERMSIG(status) == t->termsig) {
974 			t->passed = 1;
975 		} else {
976 			fprintf(TH_LOG_STREAM,
977 				"# %s: Test terminated unexpectedly by signal %d\n",
978 				t->name,
979 				WTERMSIG(status));
980 		}
981 	} else {
982 		fprintf(TH_LOG_STREAM,
983 			"# %s: Test ended in some other way [%u]\n",
984 			t->name,
985 			status);
986 	}
987 }
988 
989 static void test_harness_list_tests(void)
990 {
991 	struct __fixture_variant_metadata *v;
992 	struct __fixture_metadata *f;
993 	struct __test_metadata *t;
994 
995 	for (f = __fixture_list; f; f = f->next) {
996 		v = f->variant;
997 		t = f->tests;
998 
999 		if (f == __fixture_list)
1000 			fprintf(stderr, "%-20s %-25s %s\n",
1001 				"# FIXTURE", "VARIANT", "TEST");
1002 		else
1003 			fprintf(stderr, "--------------------------------------------------------------------------------\n");
1004 
1005 		do {
1006 			fprintf(stderr, "%-20s %-25s %s\n",
1007 				t == f->tests ? f->name : "",
1008 				v ? v->name : "",
1009 				t ? t->name : "");
1010 
1011 			v = v ? v->next : NULL;
1012 			t = t ? t->next : NULL;
1013 		} while (v || t);
1014 	}
1015 }
1016 
1017 static int test_harness_argv_check(int argc, char **argv)
1018 {
1019 	int opt;
1020 
1021 	while ((opt = getopt(argc, argv, "hlF:f:V:v:t:T:r:")) != -1) {
1022 		switch (opt) {
1023 		case 'f':
1024 		case 'F':
1025 		case 'v':
1026 		case 'V':
1027 		case 't':
1028 		case 'T':
1029 		case 'r':
1030 			break;
1031 		case 'l':
1032 			test_harness_list_tests();
1033 			return KSFT_SKIP;
1034 		case 'h':
1035 		default:
1036 			fprintf(stderr,
1037 				"Usage: %s [-h|-l] [-t|-T|-v|-V|-f|-F|-r name]\n"
1038 				"\t-h       print help\n"
1039 				"\t-l       list all tests\n"
1040 				"\n"
1041 				"\t-t name  include test\n"
1042 				"\t-T name  exclude test\n"
1043 				"\t-v name  include variant\n"
1044 				"\t-V name  exclude variant\n"
1045 				"\t-f name  include fixture\n"
1046 				"\t-F name  exclude fixture\n"
1047 				"\t-r name  run specified test\n"
1048 				"\n"
1049 				"Test filter options can be specified "
1050 				"multiple times. The filtering stops\n"
1051 				"at the first match. For example to "
1052 				"include all tests from variant 'bla'\n"
1053 				"but not test 'foo' specify '-T foo -v bla'.\n"
1054 				"", argv[0]);
1055 			return opt == 'h' ? KSFT_SKIP : KSFT_FAIL;
1056 		}
1057 	}
1058 
1059 	return KSFT_PASS;
1060 }
1061 
1062 static bool test_enabled(int argc, char **argv,
1063 			 struct __fixture_metadata *f,
1064 			 struct __fixture_variant_metadata *v,
1065 			 struct __test_metadata *t)
1066 {
1067 	unsigned int flen = 0, vlen = 0, tlen = 0;
1068 	bool has_positive = false;
1069 	int opt;
1070 
1071 	optind = 1;
1072 	while ((opt = getopt(argc, argv, "F:f:V:v:t:T:r:")) != -1) {
1073 		has_positive |= islower(opt);
1074 
1075 		switch (tolower(opt)) {
1076 		case 't':
1077 			if (!strcmp(t->name, optarg))
1078 				return islower(opt);
1079 			break;
1080 		case 'f':
1081 			if (!strcmp(f->name, optarg))
1082 				return islower(opt);
1083 			break;
1084 		case 'v':
1085 			if (!strcmp(v->name, optarg))
1086 				return islower(opt);
1087 			break;
1088 		case 'r':
1089 			if (!tlen) {
1090 				flen = strlen(f->name);
1091 				vlen = strlen(v->name);
1092 				tlen = strlen(t->name);
1093 			}
1094 			if (strlen(optarg) == flen + 1 + vlen + !!vlen + tlen &&
1095 			    !strncmp(f->name, &optarg[0], flen) &&
1096 			    !strncmp(v->name, &optarg[flen + 1], vlen) &&
1097 			    !strncmp(t->name, &optarg[flen + 1 + vlen + !!vlen], tlen))
1098 				return true;
1099 			break;
1100 		}
1101 	}
1102 
1103 	/*
1104 	 * If there are no positive tests then we assume user just wants
1105 	 * exclusions and everything else is a pass.
1106 	 */
1107 	return !has_positive;
1108 }
1109 
1110 void __run_test(struct __fixture_metadata *f,
1111 		struct __fixture_variant_metadata *variant,
1112 		struct __test_metadata *t)
1113 {
1114 	/* reset test struct */
1115 	t->passed = 1;
1116 	t->skip = 0;
1117 	t->trigger = 0;
1118 	t->step = 1;
1119 	t->no_print = 0;
1120 	memset(t->results->reason, 0, sizeof(t->results->reason));
1121 
1122 	ksft_print_msg(" RUN           %s%s%s.%s ...\n",
1123 	       f->name, variant->name[0] ? "." : "", variant->name, t->name);
1124 
1125 	/* Make sure output buffers are flushed before fork */
1126 	fflush(stdout);
1127 	fflush(stderr);
1128 
1129 	t->pid = fork();
1130 	if (t->pid < 0) {
1131 		ksft_print_msg("ERROR SPAWNING TEST CHILD\n");
1132 		t->passed = 0;
1133 	} else if (t->pid == 0) {
1134 		setpgrp();
1135 		t->fn(t, variant);
1136 		if (t->skip)
1137 			_exit(255);
1138 		/* Pass is exit 0 */
1139 		if (t->passed)
1140 			_exit(0);
1141 		/* Something else happened, report the step. */
1142 		_exit(t->step);
1143 	} else {
1144 		__wait_for_test(t);
1145 	}
1146 	ksft_print_msg("         %4s  %s%s%s.%s\n", t->passed ? "OK" : "FAIL",
1147 	       f->name, variant->name[0] ? "." : "", variant->name, t->name);
1148 
1149 	if (t->skip)
1150 		ksft_test_result_skip("%s\n", t->results->reason[0] ?
1151 					t->results->reason : "unknown");
1152 	else
1153 		ksft_test_result(t->passed, "%s%s%s.%s\n",
1154 			f->name, variant->name[0] ? "." : "", variant->name, t->name);
1155 }
1156 
1157 static int test_harness_run(int argc, char **argv)
1158 {
1159 	struct __fixture_variant_metadata no_variant = { .name = "", };
1160 	struct __fixture_variant_metadata *v;
1161 	struct __fixture_metadata *f;
1162 	struct __test_results *results;
1163 	struct __test_metadata *t;
1164 	int ret;
1165 	unsigned int case_count = 0, test_count = 0;
1166 	unsigned int count = 0;
1167 	unsigned int pass_count = 0;
1168 
1169 	ret = test_harness_argv_check(argc, argv);
1170 	if (ret != KSFT_PASS)
1171 		return ret;
1172 
1173 	for (f = __fixture_list; f; f = f->next) {
1174 		for (v = f->variant ?: &no_variant; v; v = v->next) {
1175 			unsigned int old_tests = test_count;
1176 
1177 			for (t = f->tests; t; t = t->next)
1178 				if (test_enabled(argc, argv, f, v, t))
1179 					test_count++;
1180 
1181 			if (old_tests != test_count)
1182 				case_count++;
1183 		}
1184 	}
1185 
1186 	results = mmap(NULL, sizeof(*results), PROT_READ | PROT_WRITE,
1187 		       MAP_SHARED | MAP_ANONYMOUS, -1, 0);
1188 
1189 	ksft_print_header();
1190 	ksft_set_plan(test_count);
1191 	ksft_print_msg("Starting %u tests from %u test cases.\n",
1192 	       test_count, case_count);
1193 	for (f = __fixture_list; f; f = f->next) {
1194 		for (v = f->variant ?: &no_variant; v; v = v->next) {
1195 			for (t = f->tests; t; t = t->next) {
1196 				if (!test_enabled(argc, argv, f, v, t))
1197 					continue;
1198 				count++;
1199 				t->results = results;
1200 				__run_test(f, v, t);
1201 				t->results = NULL;
1202 				if (t->passed)
1203 					pass_count++;
1204 				else
1205 					ret = 1;
1206 			}
1207 		}
1208 	}
1209 	munmap(results, sizeof(*results));
1210 
1211 	ksft_print_msg("%s: %u / %u tests passed.\n", ret ? "FAILED" : "PASSED",
1212 			pass_count, count);
1213 	ksft_exit(ret == 0);
1214 
1215 	/* unreachable */
1216 	return KSFT_FAIL;
1217 }
1218 
1219 static void __attribute__((constructor)) __constructor_order_first(void)
1220 {
1221 	if (!__constructor_order)
1222 		__constructor_order = _CONSTRUCTOR_ORDER_FORWARD;
1223 }
1224 
1225 #endif  /* __KSELFTEST_HARNESS_H */
1226