blob: d5b5c65db75760a9f715ea8a9334a65330c6f7af [file] [log] [blame]
/*
* Copyright (C) 2011 Michael Brown <mbrown@fensystems.co.uk>.
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License as
* published by the Free Software Foundation; either version 2 of the
* License, or any later version.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
* 02110-1301, USA.
*
* You can also choose to distribute this program under the terms of
* the Unmodified Binary Distribution Licence (as given in the file
* COPYING.UBDL), provided that you have satisfied its requirements.
*/
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
/** @file
*
* List function tests
*
*/
/* Forcibly enable assertions for list_check() */
#undef NDEBUG
#include <assert.h>
#include <string.h>
#include <stdio.h>
#include <ipxe/list.h>
#include <ipxe/test.h>
/** A list test structure */
struct list_test {
/** List element */
struct list_head list;
/** Label */
char label;
};
/** List test elements */
static struct list_test list_tests[] = {
{ .label = '0' },
{ .label = '1' },
{ .label = '2' },
{ .label = '3' },
{ .label = '4' },
{ .label = '5' },
{ .label = '6' },
{ .label = '7' },
{ .label = '8' },
{ .label = '9' },
};
/** Test list */
static LIST_HEAD ( test_list );
/**
* Check list contents are as expected
*
* @v list Test list
* @v expected Expected contents
* @v ok List contents are as expected
*/
static int list_check_contents ( struct list_head *list,
const char *expected ) {
struct list_test *entry;
size_t num_entries = 0;
/* Determine size of list */
list_for_each_entry ( entry, list, list )
num_entries++;
{
char found[ num_entries + 1 ];
char found_rev[ num_entries + 1 ];
char *tmp;
/* Build up list content string */
tmp = found;
list_for_each_entry ( entry, list, list )
*(tmp++) = entry->label;
*tmp = '\0';
/* Sanity check reversed list */
tmp = &found_rev[ sizeof ( found_rev ) - 1 ];
*tmp = '\0';
list_for_each_entry_reverse ( entry, list, list )
*(--tmp) = entry->label;
if ( strcmp ( found, found_rev ) != 0 ) {
printf ( "FAILURE: list reversal mismatch (forward "
"\"%s\", reverse \"%s\")\n",
found, found_rev );
return 0;
}
/* Compare against expected content */
if ( strcmp ( found, expected ) == 0 ) {
return 1;
} else {
printf ( "FAILURE: expected \"%s\", got \"%s\"\n",
expected, found );
return 0;
}
}
}
/**
* Report list test result
*
* @v list Test list
* @v expected Expected contents
*/
#define list_contents_ok( list, expected ) do { \
ok ( list_check_contents ( (list), (expected) ) ); \
} while ( 0 )
/**
* Report list iteration test result
*
* @v macro Iterator macro
* @v expected Expected contents
* @v pos Iterator
* @v ... Arguments to iterator macro
*/
#define list_iterate_ok( macro, expected, pos, ... ) do { \
const char *check = expected; \
macro ( pos, __VA_ARGS__ ) { \
struct list_test *entry = \
list_entry ( pos, struct list_test, \
list ); \
ok ( entry->label == *(check++) ); \
} \
ok ( *check == '\0' ); \
} while ( 0 )
/**
* Report list entry iteration test result
*
* @v macro Iterator macro
* @v expected Expected contents
* @v pos Iterator
* @v ... Arguments to iterator macro
*/
#define list_iterate_entry_ok( macro, expected, pos, ... ) do { \
const char *check = expected; \
macro ( pos, __VA_ARGS__ ) { \
ok ( (pos)->label == *(check++) ); \
} \
ok ( *check == '\0' ); \
} while ( 0 )
/**
* Perform list self-test
*
*/
static void list_test_exec ( void ) {
struct list_head *list = &test_list;
struct list_head target_list;
struct list_head *target = &target_list;
struct list_head *raw_pos;
struct list_test *pos;
struct list_test *tmp;
/* Test initialiser and list_empty() */
ok ( list_empty ( list ) );
list_contents_ok ( list, "" );
/* Test list_add(), list_add_tail() and list_del() */
INIT_LIST_HEAD ( list );
list_contents_ok ( list, "" );
list_add ( &list_tests[4].list, list ); /* prepend */
list_contents_ok ( list, "4" );
list_add ( &list_tests[2].list, list ); /* prepend */
list_contents_ok ( list, "24" );
list_add_tail ( &list_tests[7].list, list ); /* append */
list_contents_ok ( list, "247" );
list_add ( &list_tests[1].list, &list_tests[4].list ); /* after */
list_contents_ok ( list, "2417" );
list_add_tail ( &list_tests[8].list, &list_tests[7].list ); /* before */
list_contents_ok ( list, "24187" );
list_del ( &list_tests[4].list ); /* delete middle */
list_contents_ok ( list, "2187" );
list_del ( &list_tests[2].list ); /* delete first */
list_contents_ok ( list, "187" );
list_del ( &list_tests[7].list ); /* delete last */
list_contents_ok ( list, "18" );
list_del ( &list_tests[1].list ); /* delete all */
list_del ( &list_tests[8].list ); /* delete all */
list_contents_ok ( list, "" );
ok ( list_empty ( list ) );
/* Test list_is_singular() */
INIT_LIST_HEAD ( list );
ok ( ! list_is_singular ( list ) );
list_add ( &list_tests[1].list, list );
ok ( list_is_singular ( list ) );
list_add ( &list_tests[3].list, list );
ok ( ! list_is_singular ( list ) );
list_del ( &list_tests[1].list );
ok ( list_is_singular ( list ) );
/* Test list_is_last() */
INIT_LIST_HEAD ( list );
list_add_tail ( &list_tests[6].list, list );
ok ( list_is_last ( &list_tests[6].list, list ) );
list_add_tail ( &list_tests[4].list, list );
ok ( list_is_last ( &list_tests[4].list, list ) );
ok ( ! list_is_last ( &list_tests[6].list, list ) );
/* Test list_cut_position() - empty list */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_cut_position ( target, list, list );
list_contents_ok ( list, "" );
list_contents_ok ( target, "" );
/* Test list_cut_position() - singular list, move nothing */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[4].list, list );
list_cut_position ( target, list, list );
list_contents_ok ( list, "4" );
list_contents_ok ( target, "" );
/* Test list_cut_position() - singular list, move singular entry */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[9].list, list );
list_cut_position ( target, list, &list_tests[9].list );
list_contents_ok ( list, "" );
list_contents_ok ( target, "9" );
/* Test list_cut_position() - multi-entry list, move nothing */
INIT_LIST_HEAD ( list );
list_add_tail ( &list_tests[3].list, list );
list_add_tail ( &list_tests[2].list, list );
list_add_tail ( &list_tests[7].list, list );
INIT_LIST_HEAD ( target );
list_cut_position ( target, list, list );
list_contents_ok ( list, "327" );
list_contents_ok ( target, "" );
/* Test list_cut_position() - multi-entry list, move some */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[8].list, list );
list_add_tail ( &list_tests[0].list, list );
list_add_tail ( &list_tests[9].list, list );
list_add_tail ( &list_tests[3].list, list );
list_add_tail ( &list_tests[2].list, list );
list_cut_position ( target, list, &list_tests[0].list );
list_contents_ok ( list, "932" );
list_contents_ok ( target, "80" );
/* Test list_cut_position() - multi-entry list, move everything */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[3].list, list );
list_add_tail ( &list_tests[5].list, list );
list_add_tail ( &list_tests[4].list, list );
list_add_tail ( &list_tests[7].list, list );
list_add_tail ( &list_tests[1].list, list );
list_cut_position ( target, list, &list_tests[1].list );
list_contents_ok ( list, "" );
list_contents_ok ( target, "35471" );
/* Test list_splice() - empty list */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_splice ( list, target );
list_contents_ok ( list, "" );
list_contents_ok ( target, "" );
/* Test list_splice() - both lists empty */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_splice ( list, target );
list_contents_ok ( target, "" );
/* Test list_splice() - source list empty */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[1].list, target );
list_add_tail ( &list_tests[3].list, target );
list_splice ( list, &list_tests[1].list );
list_contents_ok ( target, "13" );
/* Test list_splice() - destination list empty */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[6].list, list );
list_add_tail ( &list_tests[5].list, list );
list_add_tail ( &list_tests[2].list, list );
list_splice ( list, target );
list_contents_ok ( target, "652" );
/* Test list_splice() - both lists non-empty */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[8].list, list );
list_add_tail ( &list_tests[4].list, list );
list_add_tail ( &list_tests[5].list, list );
list_add_tail ( &list_tests[1].list, target );
list_add_tail ( &list_tests[9].list, target );
list_splice ( list, &list_tests[1].list );
list_contents_ok ( target, "18459" );
/* Test list_splice_tail() - both lists empty */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_splice_tail ( list, target );
list_contents_ok ( target, "" );
/* Test list_splice_tail() - source list empty */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[5].list, target );
list_splice_tail ( list, &list_tests[5].list );
list_contents_ok ( target, "5" );
/* Test list_splice_tail() - destination list empty */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[2].list, list );
list_add_tail ( &list_tests[1].list, list );
list_add_tail ( &list_tests[0].list, list );
list_splice_tail ( list, target );
list_contents_ok ( target, "210" );
/* Test list_splice_tail() - both lists non-empty */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[9].list, list );
list_add_tail ( &list_tests[5].list, list );
list_add_tail ( &list_tests[7].list, list );
list_add_tail ( &list_tests[2].list, target );
list_add_tail ( &list_tests[4].list, target );
list_splice_tail ( list, &list_tests[2].list );
list_contents_ok ( target, "95724" );
/* Test list_splice_init() */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[4].list, list );
list_add_tail ( &list_tests[1].list, target );
list_splice_init ( list, target );
ok ( list_empty ( list ) );
list_contents_ok ( list, "" );
list_contents_ok ( target, "41" );
/* Test list_splice_tail_init() */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( target );
list_add_tail ( &list_tests[3].list, list );
list_add_tail ( &list_tests[2].list, list );
list_add_tail ( &list_tests[5].list, target );
list_splice_tail_init ( list, &list_tests[5].list );
ok ( list_empty ( list ) );
list_contents_ok ( list, "" );
list_contents_ok ( target, "325" );
/* Test list_entry() */
INIT_LIST_HEAD ( &list_tests[3].list ); // for list_check()
ok ( list_entry ( &list_tests[3].list, struct list_test, list )
== &list_tests[3] );
/* Test list_first_entry() and list_last_entry() */
INIT_LIST_HEAD ( list );
list_add_tail ( &list_tests[9].list, list );
list_add_tail ( &list_tests[5].list, list );
list_add_tail ( &list_tests[6].list, list );
ok ( list_first_entry ( list, struct list_test, list )
== &list_tests[9] );
ok ( list_last_entry ( list, struct list_test, list )
== &list_tests[6] );
list_del ( &list_tests[9].list );
ok ( list_first_entry ( list, struct list_test, list )
== &list_tests[5] );
ok ( list_last_entry ( list, struct list_test, list )
== &list_tests[6] );
list_del ( &list_tests[6].list );
ok ( list_first_entry ( list, struct list_test, list )
== &list_tests[5] );
ok ( list_last_entry ( list, struct list_test, list )
== &list_tests[5] );
list_del ( &list_tests[5].list );
ok ( list_first_entry ( list, struct list_test, list ) == NULL );
ok ( list_last_entry ( list, struct list_test, list ) == NULL );
/* Test list_next_entry() and list_prev_entry() */
INIT_LIST_HEAD ( list );
list_add_tail ( &list_tests[5].list, list );
list_add_tail ( &list_tests[3].list, list );
list_add_tail ( &list_tests[1].list, list );
list_add_tail ( &list_tests[7].list, list );
ok ( list_prev_entry ( &list_tests[5], list, list ) == NULL );
ok ( list_next_entry ( &list_tests[5], list, list ) == &list_tests[3] );
ok ( list_prev_entry ( &list_tests[3], list, list ) == &list_tests[5] );
ok ( list_next_entry ( &list_tests[3], list, list ) == &list_tests[1] );
ok ( list_prev_entry ( &list_tests[1], list, list ) == &list_tests[3] );
ok ( list_next_entry ( &list_tests[1], list, list ) == &list_tests[7] );
ok ( list_prev_entry ( &list_tests[7], list, list ) == &list_tests[1] );
ok ( list_next_entry ( &list_tests[7], list, list ) == NULL );
list_del ( &list_tests[7].list );
ok ( list_prev_entry ( &list_tests[1], list, list ) == &list_tests[3] );
ok ( list_next_entry ( &list_tests[1], list, list ) == NULL );
list_del ( &list_tests[3].list );
ok ( list_prev_entry ( &list_tests[5], list, list ) == NULL );
ok ( list_next_entry ( &list_tests[5], list, list ) == &list_tests[1] );
ok ( list_prev_entry ( &list_tests[1], list, list ) == &list_tests[5] );
ok ( list_next_entry ( &list_tests[1], list, list ) == NULL );
/* Test list_is_first_entry() and list_is_last_entry() */
INIT_LIST_HEAD ( list );
list_add_tail ( &list_tests[4].list, list );
list_add_tail ( &list_tests[8].list, list );
list_add_tail ( &list_tests[3].list, list );
list_add_tail ( &list_tests[6].list, list );
ok ( list_is_first_entry ( &list_tests[4], list, list ) );
ok ( ! list_is_first_entry ( &list_tests[8], list, list ) );
ok ( ! list_is_first_entry ( &list_tests[3], list, list ) );
ok ( ! list_is_first_entry ( &list_tests[6], list, list ) );
ok ( ! list_is_last_entry ( &list_tests[4], list, list ) );
ok ( ! list_is_last_entry ( &list_tests[8], list, list ) );
ok ( ! list_is_last_entry ( &list_tests[3], list, list ) );
ok ( list_is_last_entry ( &list_tests[6], list, list ) );
list_del ( &list_tests[4].list );
ok ( list_is_first_entry ( &list_tests[8], list, list ) );
list_del ( &list_tests[8].list );
list_del ( &list_tests[6].list );
ok ( list_is_first_entry ( &list_tests[3], list, list ) );
ok ( list_is_last_entry ( &list_tests[3], list, list ) );
/* Test list_for_each() */
INIT_LIST_HEAD ( list );
list_add_tail ( &list_tests[6].list, list );
list_add_tail ( &list_tests[7].list, list );
list_add_tail ( &list_tests[3].list, list );
list_iterate_ok ( list_for_each, "673", raw_pos, list );
/* Test list_for_each_entry() and list_for_each_entry_reverse() */
INIT_LIST_HEAD ( list );
list_add_tail ( &list_tests[3].list, list );
list_add_tail ( &list_tests[2].list, list );
list_add_tail ( &list_tests[6].list, list );
list_add_tail ( &list_tests[9].list, list );
list_iterate_entry_ok ( list_for_each_entry, "3269",
pos, list, list );
list_iterate_entry_ok ( list_for_each_entry_reverse, "9623",
pos, list, list );
/* Test list_for_each_entry_safe() */
INIT_LIST_HEAD ( list );
list_add_tail ( &list_tests[2].list, list );
list_add_tail ( &list_tests[4].list, list );
list_add_tail ( &list_tests[1].list, list );
{
char *expected = "241";
list_for_each_entry_safe ( pos, tmp, list, list ) {
list_contents_ok ( list, expected );
list_del ( &pos->list );
expected++;
list_contents_ok ( list, expected );
}
}
ok ( list_empty ( list ) );
/* Test list_for_each_entry_continue() and
* list_for_each_entry_continue_reverse()
*/
INIT_LIST_HEAD ( list );
list_add_tail ( &list_tests[4].list, list );
list_add_tail ( &list_tests[7].list, list );
list_add_tail ( &list_tests[2].list, list );
list_add_tail ( &list_tests[9].list, list );
list_add_tail ( &list_tests[3].list, list );
pos = &list_tests[7];
list_iterate_entry_ok ( list_for_each_entry_continue, "293",
pos, list, list );
ok ( pos == list_entry ( list, struct list_test, list ) );
list_iterate_entry_ok ( list_for_each_entry_continue, "47293",
pos, list, list );
pos = &list_tests[3];
list_iterate_entry_ok ( list_for_each_entry_continue, "",
pos, list, list );
pos = &list_tests[2];
list_iterate_entry_ok ( list_for_each_entry_continue_reverse, "74",
pos, list, list );
ok ( pos == list_entry ( list, struct list_test, list ) );
list_iterate_entry_ok ( list_for_each_entry_continue_reverse, "39274",
pos, list, list );
pos = &list_tests[4];
list_iterate_entry_ok ( list_for_each_entry_continue_reverse, "",
pos, list, list );
/* Test list_contains() and list_contains_entry() */
INIT_LIST_HEAD ( list );
INIT_LIST_HEAD ( &list_tests[3].list );
list_add ( &list_tests[8].list, list );
list_add ( &list_tests[5].list, list );
ok ( list_contains ( &list_tests[8].list, list ) );
ok ( list_contains_entry ( &list_tests[8], list, list ) );
ok ( list_contains ( &list_tests[5].list, list ) );
ok ( list_contains_entry ( &list_tests[5], list, list ) );
ok ( ! list_contains ( &list_tests[3].list, list ) );
ok ( ! list_contains_entry ( &list_tests[3], list, list ) );
/* Test list_check_contains_entry() */
INIT_LIST_HEAD ( list );
list_add ( &list_tests[4].list, list );
list_add ( &list_tests[0].list, list );
list_add ( &list_tests[3].list, list );
list_check_contains_entry ( &list_tests[4], list, list );
list_check_contains_entry ( &list_tests[0], list, list );
list_check_contains_entry ( &list_tests[3], list, list );
}
/** List self-test */
struct self_test list_test __self_test = {
.name = "list",
.exec = list_test_exec,
};