blob: c04f1856fb48c5c7bc5ceb1a997c2323cc3e0fa5 [file] [log] [blame]
/* This file auto-generated with ./vperm.pl 4 1. */
void check0(void)
{
TEST (0, 0, 0, 0)
TEST (1, 0, 0, 0)
TEST (2, 0, 0, 0)
TEST (3, 0, 0, 0)
TEST (0, 1, 0, 0)
TEST (1, 1, 0, 0)
TEST (2, 1, 0, 0)
TEST (3, 1, 0, 0)
TEST (0, 2, 0, 0)
TEST (1, 2, 0, 0)
TEST (2, 2, 0, 0)
TEST (3, 2, 0, 0)
TEST (0, 3, 0, 0)
TEST (1, 3, 0, 0)
TEST (2, 3, 0, 0)
TEST (3, 3, 0, 0)
TEST (0, 0, 1, 0)
TEST (1, 0, 1, 0)
TEST (2, 0, 1, 0)
TEST (3, 0, 1, 0)
TEST (0, 1, 1, 0)
TEST (1, 1, 1, 0)
TEST (2, 1, 1, 0)
TEST (3, 1, 1, 0)
TEST (0, 2, 1, 0)
TEST (1, 2, 1, 0)
TEST (2, 2, 1, 0)
TEST (3, 2, 1, 0)
TEST (0, 3, 1, 0)
TEST (1, 3, 1, 0)
TEST (2, 3, 1, 0)
TEST (3, 3, 1, 0)
TEST (0, 0, 2, 0)
TEST (1, 0, 2, 0)
TEST (2, 0, 2, 0)
TEST (3, 0, 2, 0)
TEST (0, 1, 2, 0)
TEST (1, 1, 2, 0)
TEST (2, 1, 2, 0)
TEST (3, 1, 2, 0)
TEST (0, 2, 2, 0)
TEST (1, 2, 2, 0)
TEST (2, 2, 2, 0)
TEST (3, 2, 2, 0)
TEST (0, 3, 2, 0)
TEST (1, 3, 2, 0)
TEST (2, 3, 2, 0)
TEST (3, 3, 2, 0)
TEST (0, 0, 3, 0)
TEST (1, 0, 3, 0)
TEST (2, 0, 3, 0)
TEST (3, 0, 3, 0)
TEST (0, 1, 3, 0)
TEST (1, 1, 3, 0)
TEST (2, 1, 3, 0)
TEST (3, 1, 3, 0)
TEST (0, 2, 3, 0)
TEST (1, 2, 3, 0)
TEST (2, 2, 3, 0)
TEST (3, 2, 3, 0)
TEST (0, 3, 3, 0)
TEST (1, 3, 3, 0)
TEST (2, 3, 3, 0)
TEST (3, 3, 3, 0)
TEST (0, 0, 0, 1)
TEST (1, 0, 0, 1)
TEST (2, 0, 0, 1)
TEST (3, 0, 0, 1)
TEST (0, 1, 0, 1)
TEST (1, 1, 0, 1)
TEST (2, 1, 0, 1)
TEST (3, 1, 0, 1)
TEST (0, 2, 0, 1)
TEST (1, 2, 0, 1)
TEST (2, 2, 0, 1)
TEST (3, 2, 0, 1)
TEST (0, 3, 0, 1)
TEST (1, 3, 0, 1)
TEST (2, 3, 0, 1)
TEST (3, 3, 0, 1)
TEST (0, 0, 1, 1)
TEST (1, 0, 1, 1)
TEST (2, 0, 1, 1)
TEST (3, 0, 1, 1)
TEST (0, 1, 1, 1)
TEST (1, 1, 1, 1)
TEST (2, 1, 1, 1)
TEST (3, 1, 1, 1)
TEST (0, 2, 1, 1)
TEST (1, 2, 1, 1)
TEST (2, 2, 1, 1)
TEST (3, 2, 1, 1)
TEST (0, 3, 1, 1)
TEST (1, 3, 1, 1)
TEST (2, 3, 1, 1)
TEST (3, 3, 1, 1)
TEST (0, 0, 2, 1)
TEST (1, 0, 2, 1)
TEST (2, 0, 2, 1)
TEST (3, 0, 2, 1)
TEST (0, 1, 2, 1)
TEST (1, 1, 2, 1)
TEST (2, 1, 2, 1)
TEST (3, 1, 2, 1)
TEST (0, 2, 2, 1)
TEST (1, 2, 2, 1)
TEST (2, 2, 2, 1)
TEST (3, 2, 2, 1)
TEST (0, 3, 2, 1)
TEST (1, 3, 2, 1)
TEST (2, 3, 2, 1)
TEST (3, 3, 2, 1)
TEST (0, 0, 3, 1)
TEST (1, 0, 3, 1)
TEST (2, 0, 3, 1)
TEST (3, 0, 3, 1)
TEST (0, 1, 3, 1)
TEST (1, 1, 3, 1)
TEST (2, 1, 3, 1)
TEST (3, 1, 3, 1)
TEST (0, 2, 3, 1)
TEST (1, 2, 3, 1)
TEST (2, 2, 3, 1)
TEST (3, 2, 3, 1)
TEST (0, 3, 3, 1)
TEST (1, 3, 3, 1)
TEST (2, 3, 3, 1)
TEST (3, 3, 3, 1)
}
void check1(void)
{
TEST (0, 0, 0, 2)
TEST (1, 0, 0, 2)
TEST (2, 0, 0, 2)
TEST (3, 0, 0, 2)
TEST (0, 1, 0, 2)
TEST (1, 1, 0, 2)
TEST (2, 1, 0, 2)
TEST (3, 1, 0, 2)
TEST (0, 2, 0, 2)
TEST (1, 2, 0, 2)
TEST (2, 2, 0, 2)
TEST (3, 2, 0, 2)
TEST (0, 3, 0, 2)
TEST (1, 3, 0, 2)
TEST (2, 3, 0, 2)
TEST (3, 3, 0, 2)
TEST (0, 0, 1, 2)
TEST (1, 0, 1, 2)
TEST (2, 0, 1, 2)
TEST (3, 0, 1, 2)
TEST (0, 1, 1, 2)
TEST (1, 1, 1, 2)
TEST (2, 1, 1, 2)
TEST (3, 1, 1, 2)
TEST (0, 2, 1, 2)
TEST (1, 2, 1, 2)
TEST (2, 2, 1, 2)
TEST (3, 2, 1, 2)
TEST (0, 3, 1, 2)
TEST (1, 3, 1, 2)
TEST (2, 3, 1, 2)
TEST (3, 3, 1, 2)
TEST (0, 0, 2, 2)
TEST (1, 0, 2, 2)
TEST (2, 0, 2, 2)
TEST (3, 0, 2, 2)
TEST (0, 1, 2, 2)
TEST (1, 1, 2, 2)
TEST (2, 1, 2, 2)
TEST (3, 1, 2, 2)
TEST (0, 2, 2, 2)
TEST (1, 2, 2, 2)
TEST (2, 2, 2, 2)
TEST (3, 2, 2, 2)
TEST (0, 3, 2, 2)
TEST (1, 3, 2, 2)
TEST (2, 3, 2, 2)
TEST (3, 3, 2, 2)
TEST (0, 0, 3, 2)
TEST (1, 0, 3, 2)
TEST (2, 0, 3, 2)
TEST (3, 0, 3, 2)
TEST (0, 1, 3, 2)
TEST (1, 1, 3, 2)
TEST (2, 1, 3, 2)
TEST (3, 1, 3, 2)
TEST (0, 2, 3, 2)
TEST (1, 2, 3, 2)
TEST (2, 2, 3, 2)
TEST (3, 2, 3, 2)
TEST (0, 3, 3, 2)
TEST (1, 3, 3, 2)
TEST (2, 3, 3, 2)
TEST (3, 3, 3, 2)
TEST (0, 0, 0, 3)
TEST (1, 0, 0, 3)
TEST (2, 0, 0, 3)
TEST (3, 0, 0, 3)
TEST (0, 1, 0, 3)
TEST (1, 1, 0, 3)
TEST (2, 1, 0, 3)
TEST (3, 1, 0, 3)
TEST (0, 2, 0, 3)
TEST (1, 2, 0, 3)
TEST (2, 2, 0, 3)
TEST (3, 2, 0, 3)
TEST (0, 3, 0, 3)
TEST (1, 3, 0, 3)
TEST (2, 3, 0, 3)
TEST (3, 3, 0, 3)
TEST (0, 0, 1, 3)
TEST (1, 0, 1, 3)
TEST (2, 0, 1, 3)
TEST (3, 0, 1, 3)
TEST (0, 1, 1, 3)
TEST (1, 1, 1, 3)
TEST (2, 1, 1, 3)
TEST (3, 1, 1, 3)
TEST (0, 2, 1, 3)
TEST (1, 2, 1, 3)
TEST (2, 2, 1, 3)
TEST (3, 2, 1, 3)
TEST (0, 3, 1, 3)
TEST (1, 3, 1, 3)
TEST (2, 3, 1, 3)
TEST (3, 3, 1, 3)
TEST (0, 0, 2, 3)
TEST (1, 0, 2, 3)
TEST (2, 0, 2, 3)
TEST (3, 0, 2, 3)
TEST (0, 1, 2, 3)
TEST (1, 1, 2, 3)
TEST (2, 1, 2, 3)
TEST (3, 1, 2, 3)
TEST (0, 2, 2, 3)
TEST (1, 2, 2, 3)
TEST (2, 2, 2, 3)
TEST (3, 2, 2, 3)
TEST (0, 3, 2, 3)
TEST (1, 3, 2, 3)
TEST (2, 3, 2, 3)
TEST (3, 3, 2, 3)
TEST (0, 0, 3, 3)
TEST (1, 0, 3, 3)
TEST (2, 0, 3, 3)
TEST (3, 0, 3, 3)
TEST (0, 1, 3, 3)
TEST (1, 1, 3, 3)
TEST (2, 1, 3, 3)
TEST (3, 1, 3, 3)
TEST (0, 2, 3, 3)
TEST (1, 2, 3, 3)
TEST (2, 2, 3, 3)
TEST (3, 2, 3, 3)
TEST (0, 3, 3, 3)
TEST (1, 3, 3, 3)
TEST (2, 3, 3, 3)
TEST (3, 3, 3, 3)
}
void check(void)
{
check0 ();
check1 ();
}