1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204 |
- // SPDX-License-Identifier: GPL-2.0
- /*
- * KUnit test for the Kernel Linked-list structures.
- *
- * Copyright (C) 2019, Google LLC.
- * Author: David Gow <[email protected]>
- */
- #include <kunit/test.h>
- #include <linux/list.h>
- struct list_test_struct {
- int data;
- struct list_head list;
- };
- static void list_test_list_init(struct kunit *test)
- {
- /* Test the different ways of initialising a list. */
- struct list_head list1 = LIST_HEAD_INIT(list1);
- struct list_head list2;
- LIST_HEAD(list3);
- struct list_head *list4;
- struct list_head *list5;
- INIT_LIST_HEAD(&list2);
- list4 = kzalloc(sizeof(*list4), GFP_KERNEL | __GFP_NOFAIL);
- INIT_LIST_HEAD(list4);
- list5 = kmalloc(sizeof(*list5), GFP_KERNEL | __GFP_NOFAIL);
- memset(list5, 0xFF, sizeof(*list5));
- INIT_LIST_HEAD(list5);
- /* list_empty_careful() checks both next and prev. */
- KUNIT_EXPECT_TRUE(test, list_empty_careful(&list1));
- KUNIT_EXPECT_TRUE(test, list_empty_careful(&list2));
- KUNIT_EXPECT_TRUE(test, list_empty_careful(&list3));
- KUNIT_EXPECT_TRUE(test, list_empty_careful(list4));
- KUNIT_EXPECT_TRUE(test, list_empty_careful(list5));
- kfree(list4);
- kfree(list5);
- }
- static void list_test_list_add(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list);
- list_add(&a, &list);
- list_add(&b, &list);
- /* should be [list] -> b -> a */
- KUNIT_EXPECT_PTR_EQ(test, list.next, &b);
- KUNIT_EXPECT_PTR_EQ(test, b.prev, &list);
- KUNIT_EXPECT_PTR_EQ(test, b.next, &a);
- }
- static void list_test_list_add_tail(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list);
- list_add_tail(&a, &list);
- list_add_tail(&b, &list);
- /* should be [list] -> a -> b */
- KUNIT_EXPECT_PTR_EQ(test, list.next, &a);
- KUNIT_EXPECT_PTR_EQ(test, a.prev, &list);
- KUNIT_EXPECT_PTR_EQ(test, a.next, &b);
- }
- static void list_test_list_del(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list);
- list_add_tail(&a, &list);
- list_add_tail(&b, &list);
- /* before: [list] -> a -> b */
- list_del(&a);
- /* now: [list] -> b */
- KUNIT_EXPECT_PTR_EQ(test, list.next, &b);
- KUNIT_EXPECT_PTR_EQ(test, b.prev, &list);
- }
- static void list_test_list_replace(struct kunit *test)
- {
- struct list_head a_old, a_new, b;
- LIST_HEAD(list);
- list_add_tail(&a_old, &list);
- list_add_tail(&b, &list);
- /* before: [list] -> a_old -> b */
- list_replace(&a_old, &a_new);
- /* now: [list] -> a_new -> b */
- KUNIT_EXPECT_PTR_EQ(test, list.next, &a_new);
- KUNIT_EXPECT_PTR_EQ(test, b.prev, &a_new);
- }
- static void list_test_list_replace_init(struct kunit *test)
- {
- struct list_head a_old, a_new, b;
- LIST_HEAD(list);
- list_add_tail(&a_old, &list);
- list_add_tail(&b, &list);
- /* before: [list] -> a_old -> b */
- list_replace_init(&a_old, &a_new);
- /* now: [list] -> a_new -> b */
- KUNIT_EXPECT_PTR_EQ(test, list.next, &a_new);
- KUNIT_EXPECT_PTR_EQ(test, b.prev, &a_new);
- /* check a_old is empty (initialized) */
- KUNIT_EXPECT_TRUE(test, list_empty_careful(&a_old));
- }
- static void list_test_list_swap(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list);
- list_add_tail(&a, &list);
- list_add_tail(&b, &list);
- /* before: [list] -> a -> b */
- list_swap(&a, &b);
- /* after: [list] -> b -> a */
- KUNIT_EXPECT_PTR_EQ(test, &b, list.next);
- KUNIT_EXPECT_PTR_EQ(test, &a, list.prev);
- KUNIT_EXPECT_PTR_EQ(test, &a, b.next);
- KUNIT_EXPECT_PTR_EQ(test, &list, b.prev);
- KUNIT_EXPECT_PTR_EQ(test, &list, a.next);
- KUNIT_EXPECT_PTR_EQ(test, &b, a.prev);
- }
- static void list_test_list_del_init(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list);
- list_add_tail(&a, &list);
- list_add_tail(&b, &list);
- /* before: [list] -> a -> b */
- list_del_init(&a);
- /* after: [list] -> b, a initialised */
- KUNIT_EXPECT_PTR_EQ(test, list.next, &b);
- KUNIT_EXPECT_PTR_EQ(test, b.prev, &list);
- KUNIT_EXPECT_TRUE(test, list_empty_careful(&a));
- }
- static void list_test_list_del_init_careful(struct kunit *test)
- {
- /* NOTE: This test only checks the behaviour of this function in
- * isolation. It does not verify memory model guarantees.
- */
- struct list_head a, b;
- LIST_HEAD(list);
- list_add_tail(&a, &list);
- list_add_tail(&b, &list);
- /* before: [list] -> a -> b */
- list_del_init_careful(&a);
- /* after: [list] -> b, a initialised */
- KUNIT_EXPECT_PTR_EQ(test, list.next, &b);
- KUNIT_EXPECT_PTR_EQ(test, b.prev, &list);
- KUNIT_EXPECT_TRUE(test, list_empty_careful(&a));
- }
- static void list_test_list_move(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- list_add_tail(&a, &list1);
- list_add_tail(&b, &list2);
- /* before: [list1] -> a, [list2] -> b */
- list_move(&a, &list2);
- /* after: [list1] empty, [list2] -> a -> b */
- KUNIT_EXPECT_TRUE(test, list_empty(&list1));
- KUNIT_EXPECT_PTR_EQ(test, &a, list2.next);
- KUNIT_EXPECT_PTR_EQ(test, &b, a.next);
- }
- static void list_test_list_move_tail(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- list_add_tail(&a, &list1);
- list_add_tail(&b, &list2);
- /* before: [list1] -> a, [list2] -> b */
- list_move_tail(&a, &list2);
- /* after: [list1] empty, [list2] -> b -> a */
- KUNIT_EXPECT_TRUE(test, list_empty(&list1));
- KUNIT_EXPECT_PTR_EQ(test, &b, list2.next);
- KUNIT_EXPECT_PTR_EQ(test, &a, b.next);
- }
- static void list_test_list_bulk_move_tail(struct kunit *test)
- {
- struct list_head a, b, c, d, x, y;
- struct list_head *list1_values[] = { &x, &b, &c, &y };
- struct list_head *list2_values[] = { &a, &d };
- struct list_head *ptr;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- int i = 0;
- list_add_tail(&x, &list1);
- list_add_tail(&y, &list1);
- list_add_tail(&a, &list2);
- list_add_tail(&b, &list2);
- list_add_tail(&c, &list2);
- list_add_tail(&d, &list2);
- /* before: [list1] -> x -> y, [list2] -> a -> b -> c -> d */
- list_bulk_move_tail(&y, &b, &c);
- /* after: [list1] -> x -> b -> c -> y, [list2] -> a -> d */
- list_for_each(ptr, &list1) {
- KUNIT_EXPECT_PTR_EQ(test, ptr, list1_values[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 4);
- i = 0;
- list_for_each(ptr, &list2) {
- KUNIT_EXPECT_PTR_EQ(test, ptr, list2_values[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 2);
- }
- static void list_test_list_is_head(struct kunit *test)
- {
- struct list_head a, b, c;
- /* Two lists: [a] -> b, [c] */
- INIT_LIST_HEAD(&a);
- INIT_LIST_HEAD(&c);
- list_add_tail(&b, &a);
- KUNIT_EXPECT_TRUE_MSG(test, list_is_head(&a, &a),
- "Head element of same list");
- KUNIT_EXPECT_FALSE_MSG(test, list_is_head(&a, &b),
- "Non-head element of same list");
- KUNIT_EXPECT_FALSE_MSG(test, list_is_head(&a, &c),
- "Head element of different list");
- }
- static void list_test_list_is_first(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list);
- list_add_tail(&a, &list);
- list_add_tail(&b, &list);
- KUNIT_EXPECT_TRUE(test, list_is_first(&a, &list));
- KUNIT_EXPECT_FALSE(test, list_is_first(&b, &list));
- }
- static void list_test_list_is_last(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list);
- list_add_tail(&a, &list);
- list_add_tail(&b, &list);
- KUNIT_EXPECT_FALSE(test, list_is_last(&a, &list));
- KUNIT_EXPECT_TRUE(test, list_is_last(&b, &list));
- }
- static void list_test_list_empty(struct kunit *test)
- {
- struct list_head a;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- list_add_tail(&a, &list1);
- KUNIT_EXPECT_FALSE(test, list_empty(&list1));
- KUNIT_EXPECT_TRUE(test, list_empty(&list2));
- }
- static void list_test_list_empty_careful(struct kunit *test)
- {
- /* This test doesn't check correctness under concurrent access */
- struct list_head a;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- list_add_tail(&a, &list1);
- KUNIT_EXPECT_FALSE(test, list_empty_careful(&list1));
- KUNIT_EXPECT_TRUE(test, list_empty_careful(&list2));
- }
- static void list_test_list_rotate_left(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list);
- list_add_tail(&a, &list);
- list_add_tail(&b, &list);
- /* before: [list] -> a -> b */
- list_rotate_left(&list);
- /* after: [list] -> b -> a */
- KUNIT_EXPECT_PTR_EQ(test, list.next, &b);
- KUNIT_EXPECT_PTR_EQ(test, b.prev, &list);
- KUNIT_EXPECT_PTR_EQ(test, b.next, &a);
- }
- static void list_test_list_rotate_to_front(struct kunit *test)
- {
- struct list_head a, b, c, d;
- struct list_head *list_values[] = { &c, &d, &a, &b };
- struct list_head *ptr;
- LIST_HEAD(list);
- int i = 0;
- list_add_tail(&a, &list);
- list_add_tail(&b, &list);
- list_add_tail(&c, &list);
- list_add_tail(&d, &list);
- /* before: [list] -> a -> b -> c -> d */
- list_rotate_to_front(&c, &list);
- /* after: [list] -> c -> d -> a -> b */
- list_for_each(ptr, &list) {
- KUNIT_EXPECT_PTR_EQ(test, ptr, list_values[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 4);
- }
- static void list_test_list_is_singular(struct kunit *test)
- {
- struct list_head a, b;
- LIST_HEAD(list);
- /* [list] empty */
- KUNIT_EXPECT_FALSE(test, list_is_singular(&list));
- list_add_tail(&a, &list);
- /* [list] -> a */
- KUNIT_EXPECT_TRUE(test, list_is_singular(&list));
- list_add_tail(&b, &list);
- /* [list] -> a -> b */
- KUNIT_EXPECT_FALSE(test, list_is_singular(&list));
- }
- static void list_test_list_cut_position(struct kunit *test)
- {
- struct list_head entries[3], *cur;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- int i = 0;
- list_add_tail(&entries[0], &list1);
- list_add_tail(&entries[1], &list1);
- list_add_tail(&entries[2], &list1);
- /* before: [list1] -> entries[0] -> entries[1] -> entries[2] */
- list_cut_position(&list2, &list1, &entries[1]);
- /* after: [list2] -> entries[0] -> entries[1], [list1] -> entries[2] */
- list_for_each(cur, &list2) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 2);
- list_for_each(cur, &list1) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- }
- static void list_test_list_cut_before(struct kunit *test)
- {
- struct list_head entries[3], *cur;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- int i = 0;
- list_add_tail(&entries[0], &list1);
- list_add_tail(&entries[1], &list1);
- list_add_tail(&entries[2], &list1);
- /* before: [list1] -> entries[0] -> entries[1] -> entries[2] */
- list_cut_before(&list2, &list1, &entries[1]);
- /* after: [list2] -> entries[0], [list1] -> entries[1] -> entries[2] */
- list_for_each(cur, &list2) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 1);
- list_for_each(cur, &list1) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- }
- static void list_test_list_splice(struct kunit *test)
- {
- struct list_head entries[5], *cur;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- int i = 0;
- list_add_tail(&entries[0], &list1);
- list_add_tail(&entries[1], &list1);
- list_add_tail(&entries[2], &list2);
- list_add_tail(&entries[3], &list2);
- list_add_tail(&entries[4], &list1);
- /* before: [list1]->e[0]->e[1]->e[4], [list2]->e[2]->e[3] */
- list_splice(&list2, &entries[1]);
- /* after: [list1]->e[0]->e[1]->e[2]->e[3]->e[4], [list2] uninit */
- list_for_each(cur, &list1) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 5);
- }
- static void list_test_list_splice_tail(struct kunit *test)
- {
- struct list_head entries[5], *cur;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- int i = 0;
- list_add_tail(&entries[0], &list1);
- list_add_tail(&entries[1], &list1);
- list_add_tail(&entries[2], &list2);
- list_add_tail(&entries[3], &list2);
- list_add_tail(&entries[4], &list1);
- /* before: [list1]->e[0]->e[1]->e[4], [list2]->e[2]->e[3] */
- list_splice_tail(&list2, &entries[4]);
- /* after: [list1]->e[0]->e[1]->e[2]->e[3]->e[4], [list2] uninit */
- list_for_each(cur, &list1) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 5);
- }
- static void list_test_list_splice_init(struct kunit *test)
- {
- struct list_head entries[5], *cur;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- int i = 0;
- list_add_tail(&entries[0], &list1);
- list_add_tail(&entries[1], &list1);
- list_add_tail(&entries[2], &list2);
- list_add_tail(&entries[3], &list2);
- list_add_tail(&entries[4], &list1);
- /* before: [list1]->e[0]->e[1]->e[4], [list2]->e[2]->e[3] */
- list_splice_init(&list2, &entries[1]);
- /* after: [list1]->e[0]->e[1]->e[2]->e[3]->e[4], [list2] empty */
- list_for_each(cur, &list1) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 5);
- KUNIT_EXPECT_TRUE(test, list_empty_careful(&list2));
- }
- static void list_test_list_splice_tail_init(struct kunit *test)
- {
- struct list_head entries[5], *cur;
- LIST_HEAD(list1);
- LIST_HEAD(list2);
- int i = 0;
- list_add_tail(&entries[0], &list1);
- list_add_tail(&entries[1], &list1);
- list_add_tail(&entries[2], &list2);
- list_add_tail(&entries[3], &list2);
- list_add_tail(&entries[4], &list1);
- /* before: [list1]->e[0]->e[1]->e[4], [list2]->e[2]->e[3] */
- list_splice_tail_init(&list2, &entries[4]);
- /* after: [list1]->e[0]->e[1]->e[2]->e[3]->e[4], [list2] empty */
- list_for_each(cur, &list1) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 5);
- KUNIT_EXPECT_TRUE(test, list_empty_careful(&list2));
- }
- static void list_test_list_entry(struct kunit *test)
- {
- struct list_test_struct test_struct;
- KUNIT_EXPECT_PTR_EQ(test, &test_struct, list_entry(&(test_struct.list),
- struct list_test_struct, list));
- }
- static void list_test_list_entry_is_head(struct kunit *test)
- {
- struct list_test_struct test_struct1, test_struct2, test_struct3;
- INIT_LIST_HEAD(&test_struct1.list);
- INIT_LIST_HEAD(&test_struct3.list);
- list_add_tail(&test_struct2.list, &test_struct1.list);
- KUNIT_EXPECT_TRUE_MSG(test,
- list_entry_is_head((&test_struct1), &test_struct1.list, list),
- "Head element of same list");
- KUNIT_EXPECT_FALSE_MSG(test,
- list_entry_is_head((&test_struct2), &test_struct1.list, list),
- "Non-head element of same list");
- KUNIT_EXPECT_FALSE_MSG(test,
- list_entry_is_head((&test_struct3), &test_struct1.list, list),
- "Head element of different list");
- }
- static void list_test_list_first_entry(struct kunit *test)
- {
- struct list_test_struct test_struct1, test_struct2;
- LIST_HEAD(list);
- list_add_tail(&test_struct1.list, &list);
- list_add_tail(&test_struct2.list, &list);
- KUNIT_EXPECT_PTR_EQ(test, &test_struct1, list_first_entry(&list,
- struct list_test_struct, list));
- }
- static void list_test_list_last_entry(struct kunit *test)
- {
- struct list_test_struct test_struct1, test_struct2;
- LIST_HEAD(list);
- list_add_tail(&test_struct1.list, &list);
- list_add_tail(&test_struct2.list, &list);
- KUNIT_EXPECT_PTR_EQ(test, &test_struct2, list_last_entry(&list,
- struct list_test_struct, list));
- }
- static void list_test_list_first_entry_or_null(struct kunit *test)
- {
- struct list_test_struct test_struct1, test_struct2;
- LIST_HEAD(list);
- KUNIT_EXPECT_FALSE(test, list_first_entry_or_null(&list,
- struct list_test_struct, list));
- list_add_tail(&test_struct1.list, &list);
- list_add_tail(&test_struct2.list, &list);
- KUNIT_EXPECT_PTR_EQ(test, &test_struct1,
- list_first_entry_or_null(&list,
- struct list_test_struct, list));
- }
- static void list_test_list_next_entry(struct kunit *test)
- {
- struct list_test_struct test_struct1, test_struct2;
- LIST_HEAD(list);
- list_add_tail(&test_struct1.list, &list);
- list_add_tail(&test_struct2.list, &list);
- KUNIT_EXPECT_PTR_EQ(test, &test_struct2, list_next_entry(&test_struct1,
- list));
- }
- static void list_test_list_prev_entry(struct kunit *test)
- {
- struct list_test_struct test_struct1, test_struct2;
- LIST_HEAD(list);
- list_add_tail(&test_struct1.list, &list);
- list_add_tail(&test_struct2.list, &list);
- KUNIT_EXPECT_PTR_EQ(test, &test_struct1, list_prev_entry(&test_struct2,
- list));
- }
- static void list_test_list_for_each(struct kunit *test)
- {
- struct list_head entries[3], *cur;
- LIST_HEAD(list);
- int i = 0;
- list_add_tail(&entries[0], &list);
- list_add_tail(&entries[1], &list);
- list_add_tail(&entries[2], &list);
- list_for_each(cur, &list) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 3);
- }
- static void list_test_list_for_each_prev(struct kunit *test)
- {
- struct list_head entries[3], *cur;
- LIST_HEAD(list);
- int i = 2;
- list_add_tail(&entries[0], &list);
- list_add_tail(&entries[1], &list);
- list_add_tail(&entries[2], &list);
- list_for_each_prev(cur, &list) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i--;
- }
- KUNIT_EXPECT_EQ(test, i, -1);
- }
- static void list_test_list_for_each_safe(struct kunit *test)
- {
- struct list_head entries[3], *cur, *n;
- LIST_HEAD(list);
- int i = 0;
- list_add_tail(&entries[0], &list);
- list_add_tail(&entries[1], &list);
- list_add_tail(&entries[2], &list);
- list_for_each_safe(cur, n, &list) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- list_del(&entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 3);
- KUNIT_EXPECT_TRUE(test, list_empty(&list));
- }
- static void list_test_list_for_each_prev_safe(struct kunit *test)
- {
- struct list_head entries[3], *cur, *n;
- LIST_HEAD(list);
- int i = 2;
- list_add_tail(&entries[0], &list);
- list_add_tail(&entries[1], &list);
- list_add_tail(&entries[2], &list);
- list_for_each_prev_safe(cur, n, &list) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- list_del(&entries[i]);
- i--;
- }
- KUNIT_EXPECT_EQ(test, i, -1);
- KUNIT_EXPECT_TRUE(test, list_empty(&list));
- }
- static void list_test_list_for_each_entry(struct kunit *test)
- {
- struct list_test_struct entries[5], *cur;
- LIST_HEAD(list);
- int i = 0;
- for (i = 0; i < 5; ++i) {
- entries[i].data = i;
- list_add_tail(&entries[i].list, &list);
- }
- i = 0;
- list_for_each_entry(cur, &list, list) {
- KUNIT_EXPECT_EQ(test, cur->data, i);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 5);
- }
- static void list_test_list_for_each_entry_reverse(struct kunit *test)
- {
- struct list_test_struct entries[5], *cur;
- LIST_HEAD(list);
- int i = 0;
- for (i = 0; i < 5; ++i) {
- entries[i].data = i;
- list_add_tail(&entries[i].list, &list);
- }
- i = 4;
- list_for_each_entry_reverse(cur, &list, list) {
- KUNIT_EXPECT_EQ(test, cur->data, i);
- i--;
- }
- KUNIT_EXPECT_EQ(test, i, -1);
- }
- static struct kunit_case list_test_cases[] = {
- KUNIT_CASE(list_test_list_init),
- KUNIT_CASE(list_test_list_add),
- KUNIT_CASE(list_test_list_add_tail),
- KUNIT_CASE(list_test_list_del),
- KUNIT_CASE(list_test_list_replace),
- KUNIT_CASE(list_test_list_replace_init),
- KUNIT_CASE(list_test_list_swap),
- KUNIT_CASE(list_test_list_del_init),
- KUNIT_CASE(list_test_list_del_init_careful),
- KUNIT_CASE(list_test_list_move),
- KUNIT_CASE(list_test_list_move_tail),
- KUNIT_CASE(list_test_list_bulk_move_tail),
- KUNIT_CASE(list_test_list_is_head),
- KUNIT_CASE(list_test_list_is_first),
- KUNIT_CASE(list_test_list_is_last),
- KUNIT_CASE(list_test_list_empty),
- KUNIT_CASE(list_test_list_empty_careful),
- KUNIT_CASE(list_test_list_rotate_left),
- KUNIT_CASE(list_test_list_rotate_to_front),
- KUNIT_CASE(list_test_list_is_singular),
- KUNIT_CASE(list_test_list_cut_position),
- KUNIT_CASE(list_test_list_cut_before),
- KUNIT_CASE(list_test_list_splice),
- KUNIT_CASE(list_test_list_splice_tail),
- KUNIT_CASE(list_test_list_splice_init),
- KUNIT_CASE(list_test_list_splice_tail_init),
- KUNIT_CASE(list_test_list_entry),
- KUNIT_CASE(list_test_list_entry_is_head),
- KUNIT_CASE(list_test_list_first_entry),
- KUNIT_CASE(list_test_list_last_entry),
- KUNIT_CASE(list_test_list_first_entry_or_null),
- KUNIT_CASE(list_test_list_next_entry),
- KUNIT_CASE(list_test_list_prev_entry),
- KUNIT_CASE(list_test_list_for_each),
- KUNIT_CASE(list_test_list_for_each_prev),
- KUNIT_CASE(list_test_list_for_each_safe),
- KUNIT_CASE(list_test_list_for_each_prev_safe),
- KUNIT_CASE(list_test_list_for_each_entry),
- KUNIT_CASE(list_test_list_for_each_entry_reverse),
- {},
- };
- static struct kunit_suite list_test_module = {
- .name = "list-kunit-test",
- .test_cases = list_test_cases,
- };
- struct hlist_test_struct {
- int data;
- struct hlist_node list;
- };
- static void hlist_test_init(struct kunit *test)
- {
- /* Test the different ways of initialising a list. */
- struct hlist_head list1 = HLIST_HEAD_INIT;
- struct hlist_head list2;
- HLIST_HEAD(list3);
- struct hlist_head *list4;
- struct hlist_head *list5;
- INIT_HLIST_HEAD(&list2);
- list4 = kzalloc(sizeof(*list4), GFP_KERNEL | __GFP_NOFAIL);
- INIT_HLIST_HEAD(list4);
- list5 = kmalloc(sizeof(*list5), GFP_KERNEL | __GFP_NOFAIL);
- memset(list5, 0xFF, sizeof(*list5));
- INIT_HLIST_HEAD(list5);
- KUNIT_EXPECT_TRUE(test, hlist_empty(&list1));
- KUNIT_EXPECT_TRUE(test, hlist_empty(&list2));
- KUNIT_EXPECT_TRUE(test, hlist_empty(&list3));
- KUNIT_EXPECT_TRUE(test, hlist_empty(list4));
- KUNIT_EXPECT_TRUE(test, hlist_empty(list5));
- kfree(list4);
- kfree(list5);
- }
- static void hlist_test_unhashed(struct kunit *test)
- {
- struct hlist_node a;
- HLIST_HEAD(list);
- INIT_HLIST_NODE(&a);
- /* is unhashed by default */
- KUNIT_EXPECT_TRUE(test, hlist_unhashed(&a));
- hlist_add_head(&a, &list);
- /* is hashed once added to list */
- KUNIT_EXPECT_FALSE(test, hlist_unhashed(&a));
- hlist_del_init(&a);
- /* is again unhashed after del_init */
- KUNIT_EXPECT_TRUE(test, hlist_unhashed(&a));
- }
- /* Doesn't test concurrency guarantees */
- static void hlist_test_unhashed_lockless(struct kunit *test)
- {
- struct hlist_node a;
- HLIST_HEAD(list);
- INIT_HLIST_NODE(&a);
- /* is unhashed by default */
- KUNIT_EXPECT_TRUE(test, hlist_unhashed_lockless(&a));
- hlist_add_head(&a, &list);
- /* is hashed once added to list */
- KUNIT_EXPECT_FALSE(test, hlist_unhashed_lockless(&a));
- hlist_del_init(&a);
- /* is again unhashed after del_init */
- KUNIT_EXPECT_TRUE(test, hlist_unhashed_lockless(&a));
- }
- static void hlist_test_del(struct kunit *test)
- {
- struct hlist_node a, b;
- HLIST_HEAD(list);
- hlist_add_head(&a, &list);
- hlist_add_behind(&b, &a);
- /* before: [list] -> a -> b */
- hlist_del(&a);
- /* now: [list] -> b */
- KUNIT_EXPECT_PTR_EQ(test, list.first, &b);
- KUNIT_EXPECT_PTR_EQ(test, b.pprev, &list.first);
- }
- static void hlist_test_del_init(struct kunit *test)
- {
- struct hlist_node a, b;
- HLIST_HEAD(list);
- hlist_add_head(&a, &list);
- hlist_add_behind(&b, &a);
- /* before: [list] -> a -> b */
- hlist_del_init(&a);
- /* now: [list] -> b */
- KUNIT_EXPECT_PTR_EQ(test, list.first, &b);
- KUNIT_EXPECT_PTR_EQ(test, b.pprev, &list.first);
- /* a is now initialised */
- KUNIT_EXPECT_PTR_EQ(test, a.next, NULL);
- KUNIT_EXPECT_PTR_EQ(test, a.pprev, NULL);
- }
- /* Tests all three hlist_add_* functions */
- static void hlist_test_add(struct kunit *test)
- {
- struct hlist_node a, b, c, d;
- HLIST_HEAD(list);
- hlist_add_head(&a, &list);
- hlist_add_head(&b, &list);
- hlist_add_before(&c, &a);
- hlist_add_behind(&d, &a);
- /* should be [list] -> b -> c -> a -> d */
- KUNIT_EXPECT_PTR_EQ(test, list.first, &b);
- KUNIT_EXPECT_PTR_EQ(test, c.pprev, &(b.next));
- KUNIT_EXPECT_PTR_EQ(test, b.next, &c);
- KUNIT_EXPECT_PTR_EQ(test, a.pprev, &(c.next));
- KUNIT_EXPECT_PTR_EQ(test, c.next, &a);
- KUNIT_EXPECT_PTR_EQ(test, d.pprev, &(a.next));
- KUNIT_EXPECT_PTR_EQ(test, a.next, &d);
- }
- /* Tests both hlist_fake() and hlist_add_fake() */
- static void hlist_test_fake(struct kunit *test)
- {
- struct hlist_node a;
- INIT_HLIST_NODE(&a);
- /* not fake after init */
- KUNIT_EXPECT_FALSE(test, hlist_fake(&a));
- hlist_add_fake(&a);
- /* is now fake */
- KUNIT_EXPECT_TRUE(test, hlist_fake(&a));
- }
- static void hlist_test_is_singular_node(struct kunit *test)
- {
- struct hlist_node a, b;
- HLIST_HEAD(list);
- INIT_HLIST_NODE(&a);
- KUNIT_EXPECT_FALSE(test, hlist_is_singular_node(&a, &list));
- hlist_add_head(&a, &list);
- KUNIT_EXPECT_TRUE(test, hlist_is_singular_node(&a, &list));
- hlist_add_head(&b, &list);
- KUNIT_EXPECT_FALSE(test, hlist_is_singular_node(&a, &list));
- KUNIT_EXPECT_FALSE(test, hlist_is_singular_node(&b, &list));
- }
- static void hlist_test_empty(struct kunit *test)
- {
- struct hlist_node a;
- HLIST_HEAD(list);
- /* list starts off empty */
- KUNIT_EXPECT_TRUE(test, hlist_empty(&list));
- hlist_add_head(&a, &list);
- /* list is no longer empty */
- KUNIT_EXPECT_FALSE(test, hlist_empty(&list));
- }
- static void hlist_test_move_list(struct kunit *test)
- {
- struct hlist_node a;
- HLIST_HEAD(list1);
- HLIST_HEAD(list2);
- hlist_add_head(&a, &list1);
- KUNIT_EXPECT_FALSE(test, hlist_empty(&list1));
- KUNIT_EXPECT_TRUE(test, hlist_empty(&list2));
- hlist_move_list(&list1, &list2);
- KUNIT_EXPECT_TRUE(test, hlist_empty(&list1));
- KUNIT_EXPECT_FALSE(test, hlist_empty(&list2));
- }
- static void hlist_test_entry(struct kunit *test)
- {
- struct hlist_test_struct test_struct;
- KUNIT_EXPECT_PTR_EQ(test, &test_struct,
- hlist_entry(&(test_struct.list),
- struct hlist_test_struct, list));
- }
- static void hlist_test_entry_safe(struct kunit *test)
- {
- struct hlist_test_struct test_struct;
- KUNIT_EXPECT_PTR_EQ(test, &test_struct,
- hlist_entry_safe(&(test_struct.list),
- struct hlist_test_struct, list));
- KUNIT_EXPECT_PTR_EQ(test, NULL,
- hlist_entry_safe((struct hlist_node *)NULL,
- struct hlist_test_struct, list));
- }
- static void hlist_test_for_each(struct kunit *test)
- {
- struct hlist_node entries[3], *cur;
- HLIST_HEAD(list);
- int i = 0;
- hlist_add_head(&entries[0], &list);
- hlist_add_behind(&entries[1], &entries[0]);
- hlist_add_behind(&entries[2], &entries[1]);
- hlist_for_each(cur, &list) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 3);
- }
- static void hlist_test_for_each_safe(struct kunit *test)
- {
- struct hlist_node entries[3], *cur, *n;
- HLIST_HEAD(list);
- int i = 0;
- hlist_add_head(&entries[0], &list);
- hlist_add_behind(&entries[1], &entries[0]);
- hlist_add_behind(&entries[2], &entries[1]);
- hlist_for_each_safe(cur, n, &list) {
- KUNIT_EXPECT_PTR_EQ(test, cur, &entries[i]);
- hlist_del(&entries[i]);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 3);
- KUNIT_EXPECT_TRUE(test, hlist_empty(&list));
- }
- static void hlist_test_for_each_entry(struct kunit *test)
- {
- struct hlist_test_struct entries[5], *cur;
- HLIST_HEAD(list);
- int i = 0;
- entries[0].data = 0;
- hlist_add_head(&entries[0].list, &list);
- for (i = 1; i < 5; ++i) {
- entries[i].data = i;
- hlist_add_behind(&entries[i].list, &entries[i-1].list);
- }
- i = 0;
- hlist_for_each_entry(cur, &list, list) {
- KUNIT_EXPECT_EQ(test, cur->data, i);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 5);
- }
- static void hlist_test_for_each_entry_continue(struct kunit *test)
- {
- struct hlist_test_struct entries[5], *cur;
- HLIST_HEAD(list);
- int i = 0;
- entries[0].data = 0;
- hlist_add_head(&entries[0].list, &list);
- for (i = 1; i < 5; ++i) {
- entries[i].data = i;
- hlist_add_behind(&entries[i].list, &entries[i-1].list);
- }
- /* We skip the first (zero-th) entry. */
- i = 1;
- cur = &entries[0];
- hlist_for_each_entry_continue(cur, list) {
- KUNIT_EXPECT_EQ(test, cur->data, i);
- /* Stamp over the entry. */
- cur->data = 42;
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 5);
- /* The first entry was not visited. */
- KUNIT_EXPECT_EQ(test, entries[0].data, 0);
- /* The second (and presumably others), were. */
- KUNIT_EXPECT_EQ(test, entries[1].data, 42);
- }
- static void hlist_test_for_each_entry_from(struct kunit *test)
- {
- struct hlist_test_struct entries[5], *cur;
- HLIST_HEAD(list);
- int i = 0;
- entries[0].data = 0;
- hlist_add_head(&entries[0].list, &list);
- for (i = 1; i < 5; ++i) {
- entries[i].data = i;
- hlist_add_behind(&entries[i].list, &entries[i-1].list);
- }
- i = 0;
- cur = &entries[0];
- hlist_for_each_entry_from(cur, list) {
- KUNIT_EXPECT_EQ(test, cur->data, i);
- /* Stamp over the entry. */
- cur->data = 42;
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 5);
- /* The first entry was visited. */
- KUNIT_EXPECT_EQ(test, entries[0].data, 42);
- }
- static void hlist_test_for_each_entry_safe(struct kunit *test)
- {
- struct hlist_test_struct entries[5], *cur;
- struct hlist_node *tmp_node;
- HLIST_HEAD(list);
- int i = 0;
- entries[0].data = 0;
- hlist_add_head(&entries[0].list, &list);
- for (i = 1; i < 5; ++i) {
- entries[i].data = i;
- hlist_add_behind(&entries[i].list, &entries[i-1].list);
- }
- i = 0;
- hlist_for_each_entry_safe(cur, tmp_node, &list, list) {
- KUNIT_EXPECT_EQ(test, cur->data, i);
- hlist_del(&cur->list);
- i++;
- }
- KUNIT_EXPECT_EQ(test, i, 5);
- KUNIT_EXPECT_TRUE(test, hlist_empty(&list));
- }
- static struct kunit_case hlist_test_cases[] = {
- KUNIT_CASE(hlist_test_init),
- KUNIT_CASE(hlist_test_unhashed),
- KUNIT_CASE(hlist_test_unhashed_lockless),
- KUNIT_CASE(hlist_test_del),
- KUNIT_CASE(hlist_test_del_init),
- KUNIT_CASE(hlist_test_add),
- KUNIT_CASE(hlist_test_fake),
- KUNIT_CASE(hlist_test_is_singular_node),
- KUNIT_CASE(hlist_test_empty),
- KUNIT_CASE(hlist_test_move_list),
- KUNIT_CASE(hlist_test_entry),
- KUNIT_CASE(hlist_test_entry_safe),
- KUNIT_CASE(hlist_test_for_each),
- KUNIT_CASE(hlist_test_for_each_safe),
- KUNIT_CASE(hlist_test_for_each_entry),
- KUNIT_CASE(hlist_test_for_each_entry_continue),
- KUNIT_CASE(hlist_test_for_each_entry_from),
- KUNIT_CASE(hlist_test_for_each_entry_safe),
- {},
- };
- static struct kunit_suite hlist_test_module = {
- .name = "hlist",
- .test_cases = hlist_test_cases,
- };
- kunit_test_suites(&list_test_module, &hlist_test_module);
- MODULE_LICENSE("GPL v2");
|