#include <check.h>
#include <ucore/seq.h>


START_TEST (test_uc_seq_lt)
    fail_if(uc_seq_lt(0, 1) != 1);
    fail_if(uc_seq_lt(0x7fffffffU, 0x80000000U) != 1);
    fail_if(uc_seq_lt(0xfffffffeU, 2) != 1);
    fail_if(uc_seq_lt(0xffffffffU, 0) != 1);

    fail_if(uc_seq_lt(1, 0) != 0);
    fail_if(uc_seq_lt(0x80000000U,0x7fffffffU) != 0);
    fail_if(uc_seq_lt(2, 0xfffffffeU) != 0);
    fail_if(uc_seq_lt(0, 0xffffffffU) != 0);
    fail_if(uc_seq_lt(0, 0) != 0);
    fail_if(uc_seq_lt(1, 1) != 0);
    fail_if(uc_seq_lt(0xffffffffU, 0xffffffffU) != 0);
END_TEST

START_TEST (test_uc_seq_gt)
    fail_if(uc_seq_gt(1, 0) != 1);
    fail_if(uc_seq_gt(0x80000000U,0x7fffffffU) != 1);
    fail_if(uc_seq_gt(2, 0xfffffffeU) != 1);
    fail_if(uc_seq_gt(0, 0xffffffffU) != 1);

    fail_if(uc_seq_gt(0, 1) != 0);
    fail_if(uc_seq_gt(0x7fffffffU, 0x80000000U) != 0);
    fail_if(uc_seq_gt(0xfffffffeU, 2) != 0);
    fail_if(uc_seq_gt(0xffffffffU, 0) != 0);
    fail_if(uc_seq_gt(0, 0) != 0);
    fail_if(uc_seq_gt(1, 1) != 0);
    fail_if(uc_seq_gt(0xffffffffU, 0xffffffffU) != 0);
END_TEST

START_TEST (test_uc_seq_leq)
    fail_if(uc_seq_leq(0, 1) != 1);
    fail_if(uc_seq_leq(0x7fffffffU, 0x80000000U) != 1);
    fail_if(uc_seq_leq(0xfffffffeU, 2) != 1);
    fail_if(uc_seq_leq(0xffffffffU, 0) != 1);
    fail_if(uc_seq_leq(0x7fffffffU, 0x7fffffffU) != 1);
    fail_if(uc_seq_leq(0x80000000U, 0x80000000U) != 1);
    fail_if(uc_seq_leq(0, 0) != 1);
    fail_if(uc_seq_leq(1, 1) != 1);
    fail_if(uc_seq_leq(0xffffffffU, 0xffffffffU) != 1);

    fail_if(uc_seq_leq(1, 0) != 0);
    fail_if(uc_seq_leq(0x80000000U,0x7fffffffU) != 0);
    fail_if(uc_seq_leq(2, 0xfffffffeU) != 0);
    fail_if(uc_seq_leq(0, 0xffffffffU) != 0);
END_TEST

START_TEST (test_uc_seq_geq)
    fail_if(uc_seq_geq(1, 0) != 1);
    fail_if(uc_seq_geq(0x80000000U,0x7fffffffU) != 1);
    fail_if(uc_seq_geq(2, 0xfffffffeU) != 1);
    fail_if(uc_seq_geq(0, 0xffffffffU) != 1);
    fail_if(uc_seq_geq(0, 0) != 1);
    fail_if(uc_seq_geq(1, 1) != 1);
    fail_if(uc_seq_geq(0xffffffffU, 0xffffffffU) != 1);
    fail_if(uc_seq_geq(0x7fffffffU, 0x7fffffffU) != 1);
    fail_if(uc_seq_geq(0x80000000U, 0x80000000U) != 1);

    fail_if(uc_seq_geq(0, 1) != 0);
    fail_if(uc_seq_geq(0x7fffffffU, 0x80000000U) != 0);
    fail_if(uc_seq_geq(0xfffffffeU, 2) != 0);
    fail_if(uc_seq_geq(0xffffffffU, 0) != 0);

END_TEST


Suite *seq_suite(void)
{
    Suite *s = suite_create("seq");
    TCase *tc = tcase_create("seq tests");
    tcase_add_test(tc, test_uc_seq_lt);
    tcase_add_test(tc, test_uc_seq_gt);
    tcase_add_test(tc, test_uc_seq_leq);
    tcase_add_test(tc, test_uc_seq_geq);

    suite_add_tcase(s, tc);

    return s;
}