mirror of
https://github.com/cryb-to/cryb-to.git
synced 2024-12-22 12:31:07 +00:00
Cosmetic fixups.
This commit is contained in:
Dag-Erling Smørgrav
parent
b4eb918dad
commit
83ca8031c5
3 changed files with 260 additions and 260 deletions
316
t/t_mpi.c
316
t/t_mpi.c
|
|
@ -194,6 +194,156 @@ t_mpi_destroy_grown(char **desc CRYB_UNUSED, void *arg CRYB_UNUSED)
|
|||
return (t_mpi_is_zero(&x));
|
||||
}
|
||||
|
||||
|
||||
/***************************************************************************
|
||||
* Load / store
|
||||
*/
|
||||
|
||||
static struct t_load_case {
|
||||
const char *desc;
|
||||
uint8_t v[16];
|
||||
size_t vlen;
|
||||
uint32_t e[4];
|
||||
unsigned int msb;
|
||||
} t_load_cases[] = {
|
||||
{
|
||||
"load nothing",
|
||||
{ }, 0,
|
||||
{ 0x00000000, }, 0,
|
||||
},
|
||||
{
|
||||
"load 0x00",
|
||||
{ 0x00, }, 1,
|
||||
{ 0x00000000, }, 0,
|
||||
},
|
||||
{
|
||||
"load 0x01",
|
||||
{ 0x01, }, 1,
|
||||
{ 0x00000001, }, 1,
|
||||
},
|
||||
{
|
||||
"load 0x0102",
|
||||
{ 0x01, 0x02, }, 2,
|
||||
{ 0x00000102, }, 9,
|
||||
},
|
||||
{
|
||||
"load 0x010203",
|
||||
{ 0x01, 0x02, 0x03, }, 3,
|
||||
{ 0x00010203, }, 17,
|
||||
},
|
||||
{
|
||||
"load 0x01020304",
|
||||
{ 0x01, 0x02, 0x03, 0x04, }, 4,
|
||||
{ 0x01020304, }, 25,
|
||||
},
|
||||
{
|
||||
"load 0x0102030405",
|
||||
{ 0x01, 0x02, 0x03, 0x04, 0x05, }, 5,
|
||||
{ 0x02030405, 0x00000001, }, 33,
|
||||
},
|
||||
{
|
||||
"load 0x010203040506",
|
||||
{ 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, }, 6,
|
||||
{ 0x03040506, 0x00000102, }, 41,
|
||||
},
|
||||
{
|
||||
"load 0x01020304050607",
|
||||
{ 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, }, 7,
|
||||
{ 0x04050607, 0x00010203, }, 49,
|
||||
},
|
||||
{
|
||||
"load 0x0102030405060708",
|
||||
{ 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, }, 8,
|
||||
{ 0x05060708, 0x01020304, }, 57,
|
||||
},
|
||||
};
|
||||
|
||||
/*
|
||||
* Load a string of bytes, verify result.
|
||||
*/
|
||||
static int
|
||||
t_mpi_load(char **desc CRYB_UNUSED, void *arg)
|
||||
{
|
||||
struct t_load_case *tc = arg;
|
||||
cryb_mpi x = CRYB_MPI_ZERO;
|
||||
int ret = 1;
|
||||
|
||||
mpi_load(&x, tc->v, tc->vlen);
|
||||
ret &= t_compare_mem(tc->e, x.words, sizeof tc->e);
|
||||
ret &= t_compare_u(tc->msb, x.msb);
|
||||
mpi_destroy(&x);
|
||||
return (ret);
|
||||
}
|
||||
|
||||
/*
|
||||
* As above, but with a number that exactly fills the static buffer.
|
||||
*/
|
||||
static int
|
||||
t_mpi_exact_load(char **desc CRYB_UNUSED, void *arg CRYB_UNUSED)
|
||||
{
|
||||
cryb_mpi x = CRYB_MPI_ZERO;
|
||||
int ret = 1;
|
||||
|
||||
t_assert(sizeof small_e == sizeof small_v);
|
||||
t_assert(sizeof small_v == sizeof x.swords);
|
||||
mpi_load(&x, small_v, sizeof x.swords);
|
||||
ret &= t_compare_ptr(x.swords, x.words);
|
||||
ret &= t_compare_mem(small_e, x.words, sizeof x.swords);
|
||||
ret &= t_compare_u(SMALL_V_SIZE * 8, x.msb);
|
||||
mpi_destroy(&x);
|
||||
return (ret);
|
||||
}
|
||||
|
||||
/*
|
||||
* As above, but with a large number to force reallocation.
|
||||
*/
|
||||
static int
|
||||
t_mpi_large_load(char **desc CRYB_UNUSED, void *arg CRYB_UNUSED)
|
||||
{
|
||||
cryb_mpi x = CRYB_MPI_ZERO;
|
||||
int ret = 1;
|
||||
|
||||
t_assert(sizeof large_e == sizeof large_v);
|
||||
t_assert(sizeof large_v > sizeof x.swords);
|
||||
mpi_load(&x, large_v, sizeof large_v);
|
||||
/* XXX we need inequality predicates */
|
||||
if (x.words == x.swords) {
|
||||
t_printv("reallocation failed to occur\n");
|
||||
ret &= 0;
|
||||
}
|
||||
/* XXX we need inequality predicates */
|
||||
if (x.size < LARGE_E_SIZE) {
|
||||
t_printv("expected at least %zu, received %zu\n",
|
||||
LARGE_E_SIZE, x.size);
|
||||
ret &= 0;
|
||||
}
|
||||
ret &= t_compare_mem(large_e, x.words, sizeof large_e);
|
||||
ret &= t_compare_u(LARGE_V_SIZE * 8, x.msb);
|
||||
mpi_destroy(&x);
|
||||
return (ret);
|
||||
}
|
||||
|
||||
/*
|
||||
* As above, but allocation fails.
|
||||
*/
|
||||
static int
|
||||
t_mpi_large_load_fail(char **desc CRYB_UNUSED, void *arg CRYB_UNUSED)
|
||||
{
|
||||
cryb_mpi x = CRYB_MPI_ZERO, y;
|
||||
int ret = 1;
|
||||
|
||||
t_assert(sizeof large_e == sizeof large_v);
|
||||
t_assert(sizeof large_v > sizeof x.swords);
|
||||
mpi_init(&x);
|
||||
y = x;
|
||||
++t_malloc_fail;
|
||||
ret &= t_compare_i(-1, mpi_load(&x, large_v, sizeof large_v));
|
||||
--t_malloc_fail;
|
||||
ret &= t_compare_mem(&y, &x, sizeof x);
|
||||
mpi_destroy(&x);
|
||||
return (ret);
|
||||
}
|
||||
|
||||
|
||||
/***************************************************************************
|
||||
* Assignment, negation, copying, swapping
|
||||
|
|
@ -452,156 +602,6 @@ t_mpi_swap_grown(char **desc CRYB_UNUSED, void *arg CRYB_UNUSED)
|
|||
return (ret);
|
||||
}
|
||||
|
||||
|
||||
/***************************************************************************
|
||||
* Load / store
|
||||
*/
|
||||
|
||||
static struct t_load_case {
|
||||
const char *desc;
|
||||
uint8_t v[16];
|
||||
size_t vlen;
|
||||
uint32_t e[4];
|
||||
unsigned int msb;
|
||||
} t_load_cases[] = {
|
||||
{
|
||||
"load nothing",
|
||||
{ }, 0,
|
||||
{ 0x00000000, }, 0,
|
||||
},
|
||||
{
|
||||
"load 0x00",
|
||||
{ 0x00, }, 1,
|
||||
{ 0x00000000, }, 0,
|
||||
},
|
||||
{
|
||||
"load 0x01",
|
||||
{ 0x01, }, 1,
|
||||
{ 0x00000001, }, 1,
|
||||
},
|
||||
{
|
||||
"load 0x0102",
|
||||
{ 0x01, 0x02, }, 2,
|
||||
{ 0x00000102, }, 9,
|
||||
},
|
||||
{
|
||||
"load 0x010203",
|
||||
{ 0x01, 0x02, 0x03, }, 3,
|
||||
{ 0x00010203, }, 17,
|
||||
},
|
||||
{
|
||||
"load 0x01020304",
|
||||
{ 0x01, 0x02, 0x03, 0x04, }, 4,
|
||||
{ 0x01020304, }, 25,
|
||||
},
|
||||
{
|
||||
"load 0x0102030405",
|
||||
{ 0x01, 0x02, 0x03, 0x04, 0x05, }, 5,
|
||||
{ 0x02030405, 0x00000001, }, 33,
|
||||
},
|
||||
{
|
||||
"load 0x010203040506",
|
||||
{ 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, }, 6,
|
||||
{ 0x03040506, 0x00000102, }, 41,
|
||||
},
|
||||
{
|
||||
"load 0x01020304050607",
|
||||
{ 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, }, 7,
|
||||
{ 0x04050607, 0x00010203, }, 49,
|
||||
},
|
||||
{
|
||||
"load 0x0102030405060708",
|
||||
{ 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, }, 8,
|
||||
{ 0x05060708, 0x01020304, }, 57,
|
||||
},
|
||||
};
|
||||
|
||||
/*
|
||||
* Load a string of bytes, verify result.
|
||||
*/
|
||||
static int
|
||||
t_mpi_load(char **desc CRYB_UNUSED, void *arg)
|
||||
{
|
||||
struct t_load_case *tc = arg;
|
||||
cryb_mpi x = CRYB_MPI_ZERO;
|
||||
int ret = 1;
|
||||
|
||||
mpi_load(&x, tc->v, tc->vlen);
|
||||
ret &= t_compare_mem(tc->e, x.words, sizeof tc->e);
|
||||
ret &= t_compare_u(tc->msb, x.msb);
|
||||
mpi_destroy(&x);
|
||||
return (ret);
|
||||
}
|
||||
|
||||
/*
|
||||
* As above, but with a number that exactly fills the static buffer.
|
||||
*/
|
||||
static int
|
||||
t_mpi_exact_load(char **desc CRYB_UNUSED, void *arg CRYB_UNUSED)
|
||||
{
|
||||
cryb_mpi x = CRYB_MPI_ZERO;
|
||||
int ret = 1;
|
||||
|
||||
t_assert(sizeof small_e == sizeof small_v);
|
||||
t_assert(sizeof small_v == sizeof x.swords);
|
||||
mpi_load(&x, small_v, sizeof x.swords);
|
||||
ret &= t_compare_ptr(x.swords, x.words);
|
||||
ret &= t_compare_mem(small_e, x.words, sizeof x.swords);
|
||||
ret &= t_compare_u(SMALL_V_SIZE * 8, x.msb);
|
||||
mpi_destroy(&x);
|
||||
return (ret);
|
||||
}
|
||||
|
||||
/*
|
||||
* As above, but with a large number to force reallocation.
|
||||
*/
|
||||
static int
|
||||
t_mpi_large_load(char **desc CRYB_UNUSED, void *arg CRYB_UNUSED)
|
||||
{
|
||||
cryb_mpi x = CRYB_MPI_ZERO;
|
||||
int ret = 1;
|
||||
|
||||
t_assert(sizeof large_e == sizeof large_v);
|
||||
t_assert(sizeof large_v > sizeof x.swords);
|
||||
mpi_load(&x, large_v, sizeof large_v);
|
||||
/* XXX we need inequality predicates */
|
||||
if (x.words == x.swords) {
|
||||
t_printv("reallocation failed to occur\n");
|
||||
ret &= 0;
|
||||
}
|
||||
/* XXX we need inequality predicates */
|
||||
if (x.size < LARGE_E_SIZE) {
|
||||
t_printv("expected at least %zu, received %zu\n",
|
||||
LARGE_E_SIZE, x.size);
|
||||
ret &= 0;
|
||||
}
|
||||
ret &= t_compare_mem(large_e, x.words, sizeof large_e);
|
||||
ret &= t_compare_u(LARGE_V_SIZE * 8, x.msb);
|
||||
mpi_destroy(&x);
|
||||
return (ret);
|
||||
}
|
||||
|
||||
/*
|
||||
* As above, but allocation fails.
|
||||
*/
|
||||
static int
|
||||
t_mpi_large_load_fail(char **desc CRYB_UNUSED, void *arg CRYB_UNUSED)
|
||||
{
|
||||
cryb_mpi x = CRYB_MPI_ZERO, y;
|
||||
int ret = 1;
|
||||
|
||||
t_assert(sizeof large_e == sizeof large_v);
|
||||
t_assert(sizeof large_v > sizeof x.swords);
|
||||
mpi_init(&x);
|
||||
y = x;
|
||||
++t_malloc_fail;
|
||||
ret &= t_compare_i(-1, mpi_load(&x, large_v, sizeof large_v));
|
||||
--t_malloc_fail;
|
||||
ret &= t_compare_mem(&y, &x, sizeof x);
|
||||
mpi_destroy(&x);
|
||||
return (ret);
|
||||
}
|
||||
|
||||
|
||||
/***************************************************************************
|
||||
* Left / right shift
|
||||
|
|
@ -840,6 +840,14 @@ t_prepare(int argc, char *argv[])
|
|||
t_add_test(t_mpi_destroy_static, NULL, "destroy static");
|
||||
t_add_test(t_mpi_destroy_grown, NULL, "destroy grown");
|
||||
|
||||
/* load / store */
|
||||
for (i = 0; i < sizeof t_load_cases / sizeof t_load_cases[0]; ++i)
|
||||
t_add_test(t_mpi_load, &t_load_cases[i], "%s",
|
||||
t_load_cases[i].desc);
|
||||
t_add_test(t_mpi_exact_load, NULL, "exact load");
|
||||
t_add_test(t_mpi_large_load, NULL, "large load");
|
||||
t_add_test(t_mpi_large_load_fail, NULL, "large load (failure)");
|
||||
|
||||
/* assignment, copying, negation, swapping */
|
||||
t_add_test(t_mpi_set_positive, NULL, "set to positive value");
|
||||
t_add_test(t_mpi_set_negative, NULL, "set to negative value");
|
||||
|
|
@ -854,14 +862,6 @@ t_prepare(int argc, char *argv[])
|
|||
t_add_test(t_mpi_swap_static, NULL, "swap (static)");
|
||||
t_add_test(t_mpi_swap_grown, NULL, "swap (grown)");
|
||||
|
||||
/* load / store */
|
||||
for (i = 0; i < sizeof t_load_cases / sizeof t_load_cases[0]; ++i)
|
||||
t_add_test(t_mpi_load, &t_load_cases[i], "%s",
|
||||
t_load_cases[i].desc);
|
||||
t_add_test(t_mpi_exact_load, NULL, "exact load");
|
||||
t_add_test(t_mpi_large_load, NULL, "large load");
|
||||
t_add_test(t_mpi_large_load_fail, NULL, "large load (failure)");
|
||||
|
||||
/* left / right shift */
|
||||
for (i = 0; i < sizeof t_lsh_cases / sizeof t_lsh_cases[0]; ++i)
|
||||
t_add_test(t_mpi_lsh, &t_lsh_cases[i], "%s",
|
||||
|
|
|
|||
192
t/t_mpi_addsub.c
192
t/t_mpi_addsub.c
|
|
@ -61,83 +61,83 @@ static struct t_add_case {
|
|||
} t_add_cases[] = {
|
||||
{
|
||||
"|0| + |0| == 0",
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
},
|
||||
{
|
||||
"|0| + |1| == 1",
|
||||
{ }, 0, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ }, 0, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"|1| + |0| == 1",
|
||||
{ 0x01, }, 1, 0,
|
||||
{ }, 0, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ }, 0, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"|1| + |1| == 2",
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x02, }, 2, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x02 }, 2, 0,
|
||||
},
|
||||
{
|
||||
"|0| + |-1| == 1",
|
||||
{ }, 0, 0,
|
||||
{ 0x01, }, 1, 1,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ }, 0, 0,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"|-1| + |0| == 1",
|
||||
{ 0x01, }, 1, 1,
|
||||
{ }, 0, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ }, 0, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"|-1| + |-1| == 2",
|
||||
{ 0x01, }, 1, 1,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ 0x02, }, 2, 0,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ 0x02 }, 2, 0,
|
||||
},
|
||||
{
|
||||
"|0x20140901| + |0x19700101| == 0x39840a02",
|
||||
{ 0x20, 0x14, 0x09, 0x01, }, 30, 0,
|
||||
{ 0x19, 0x70, 0x01, 0x01, }, 29, 0,
|
||||
{ 0x39, 0x84, 0x0a, 0x02, }, 30, 0,
|
||||
{ 0x20, 0x14, 0x09, 0x01 }, 30, 0,
|
||||
{ 0x19, 0x70, 0x01, 0x01 }, 29, 0,
|
||||
{ 0x39, 0x84, 0x0a, 0x02 }, 30, 0,
|
||||
},
|
||||
{
|
||||
"|-0x20140901| + |0x19700101| == 0x39840a02",
|
||||
{ 0x20, 0x14, 0x09, 0x01, }, 30, 1,
|
||||
{ 0x19, 0x70, 0x01, 0x01, }, 29, 0,
|
||||
{ 0x39, 0x84, 0x0a, 0x02, }, 30, 0,
|
||||
{ 0x20, 0x14, 0x09, 0x01 }, 30, 1,
|
||||
{ 0x19, 0x70, 0x01, 0x01 }, 29, 0,
|
||||
{ 0x39, 0x84, 0x0a, 0x02 }, 30, 0,
|
||||
},
|
||||
{
|
||||
"|0x20140901| + |-0x19700101| == 0x39840a02",
|
||||
{ 0x20, 0x14, 0x09, 0x01, }, 30, 0,
|
||||
{ 0x19, 0x70, 0x01, 0x01, }, 29, 1,
|
||||
{ 0x39, 0x84, 0x0a, 0x02, }, 30, 0,
|
||||
{ 0x20, 0x14, 0x09, 0x01 }, 30, 0,
|
||||
{ 0x19, 0x70, 0x01, 0x01 }, 29, 1,
|
||||
{ 0x39, 0x84, 0x0a, 0x02 }, 30, 0,
|
||||
},
|
||||
{
|
||||
"|-0x20140901| + |-0x19700101| == 0x39840a02",
|
||||
{ 0x20, 0x14, 0x09, 0x01, }, 30, 1,
|
||||
{ 0x19, 0x70, 0x01, 0x01, }, 29, 1,
|
||||
{ 0x39, 0x84, 0x0a, 0x02, }, 30, 0,
|
||||
{ 0x20, 0x14, 0x09, 0x01 }, 30, 1,
|
||||
{ 0x19, 0x70, 0x01, 0x01 }, 29, 1,
|
||||
{ 0x39, 0x84, 0x0a, 0x02 }, 30, 0,
|
||||
},
|
||||
{
|
||||
"simple carry, "
|
||||
"|0xffffffff| + |0x01| == 0x0100000000",
|
||||
{ 0xff, 0xff, 0xff, 0xff, }, 32, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x00, }, 33, 0,
|
||||
{ 0xff, 0xff, 0xff, 0xff }, 32, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x00 }, 33, 0,
|
||||
},
|
||||
{
|
||||
"complex carry, "
|
||||
"|0x0100000000ffffffff| + |0x01| == 0x010000000100000000",
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x00, 0xff, 0xff, 0xff, 0xff, }, 64, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, }, 64, 0,
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x00, 0xff, 0xff, 0xff, 0xff }, 64, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00 }, 64, 0,
|
||||
},
|
||||
};
|
||||
|
||||
|
|
@ -497,121 +497,121 @@ static struct t_sub_case {
|
|||
} t_sub_cases[] = {
|
||||
{
|
||||
"| |0| - |0| | == 0",
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
{ }, 0, 0,
|
||||
},
|
||||
{
|
||||
"| |0| - |1| | == 1",
|
||||
{ }, 0, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ }, 0, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"| |1| - |0| | == 1",
|
||||
{ 0x01, }, 1, 0,
|
||||
{ }, 0, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ }, 0, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"| |1| - |1| | == 0",
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x02, }, 0, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x02 }, 0, 0,
|
||||
},
|
||||
{
|
||||
"| |0| - |-1| | == 1",
|
||||
{ }, 0, 0,
|
||||
{ 0x01, }, 1, 1,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ }, 0, 0,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"| |-1| - |0| | == 1",
|
||||
{ 0x01, }, 1, 1,
|
||||
{ }, 0, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ }, 0, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"| |-1| - |-1| | == 0",
|
||||
{ 0x01, }, 1, 1,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ }, 0, 0,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ 0x01 }, 1, 1,
|
||||
{ }, 0, 0,
|
||||
},
|
||||
{
|
||||
"| |4| - |2| | == 2",
|
||||
{ 0x04, }, 3, 0,
|
||||
{ 0x02, }, 2, 0,
|
||||
{ 0x02, }, 2, 0,
|
||||
{ 0x04 }, 3, 0,
|
||||
{ 0x02 }, 2, 0,
|
||||
{ 0x02 }, 2, 0,
|
||||
},
|
||||
{
|
||||
"| |2| - |4| | == 2",
|
||||
{ 0x02, }, 2, 0,
|
||||
{ 0x04, }, 3, 0,
|
||||
{ 0x02, }, 2, 0,
|
||||
{ 0x02 }, 2, 0,
|
||||
{ 0x04 }, 3, 0,
|
||||
{ 0x02 }, 2, 0,
|
||||
},
|
||||
{
|
||||
"| |0x20140901| - |0x19700101| | == 0x6a40800",
|
||||
{ 0x20, 0x14, 0x09, 0x01, }, 30, 0,
|
||||
{ 0x19, 0x70, 0x01, 0x01, }, 29, 0,
|
||||
{ 0x06, 0xa4, 0x08, 0x00, }, 27, 0,
|
||||
{ 0x20, 0x14, 0x09, 0x01 }, 30, 0,
|
||||
{ 0x19, 0x70, 0x01, 0x01 }, 29, 0,
|
||||
{ 0x06, 0xa4, 0x08, 0x00 }, 27, 0,
|
||||
},
|
||||
{
|
||||
"| |-0x20140901| - |0x19700101| | == 0x6a40800",
|
||||
{ 0x20, 0x14, 0x09, 0x01, }, 30, 1,
|
||||
{ 0x19, 0x70, 0x01, 0x01, }, 29, 0,
|
||||
{ 0x06, 0xa4, 0x08, 0x00, }, 27, 0,
|
||||
{ 0x20, 0x14, 0x09, 0x01 }, 30, 1,
|
||||
{ 0x19, 0x70, 0x01, 0x01 }, 29, 0,
|
||||
{ 0x06, 0xa4, 0x08, 0x00 }, 27, 0,
|
||||
},
|
||||
{
|
||||
"| |0x20140901| - |-0x19700101| | == 0x6a40800",
|
||||
{ 0x20, 0x14, 0x09, 0x01, }, 30, 0,
|
||||
{ 0x19, 0x70, 0x01, 0x01, }, 29, 1,
|
||||
{ 0x06, 0xa4, 0x08, 0x00, }, 27, 0,
|
||||
{ 0x20, 0x14, 0x09, 0x01 }, 30, 0,
|
||||
{ 0x19, 0x70, 0x01, 0x01 }, 29, 1,
|
||||
{ 0x06, 0xa4, 0x08, 0x00 }, 27, 0,
|
||||
},
|
||||
{
|
||||
"| |-0x20140901| - |-0x19700101| | == 0x6a40800",
|
||||
{ 0x20, 0x14, 0x09, 0x01, }, 30, 1,
|
||||
{ 0x19, 0x70, 0x01, 0x01, }, 29, 1,
|
||||
{ 0x06, 0xa4, 0x08, 0x00, }, 27, 0,
|
||||
{ 0x20, 0x14, 0x09, 0x01 }, 30, 1,
|
||||
{ 0x19, 0x70, 0x01, 0x01 }, 29, 1,
|
||||
{ 0x06, 0xa4, 0x08, 0x00 }, 27, 0,
|
||||
},
|
||||
{
|
||||
"0x120140901 - 0x119700101 == 0x6a40800",
|
||||
{ 0x01, 0x20, 0x14, 0x09, 0x01, }, 33, 0,
|
||||
{ 0x01, 0x19, 0x70, 0x01, 0x01, }, 33, 0,
|
||||
{ 0x06, 0xa4, 0x08, 0x00, }, 27, 0,
|
||||
{ 0x01, 0x20, 0x14, 0x09, 0x01 }, 33, 0,
|
||||
{ 0x01, 0x19, 0x70, 0x01, 0x01 }, 33, 0,
|
||||
{ 0x06, 0xa4, 0x08, 0x00 }, 27, 0,
|
||||
},
|
||||
{
|
||||
"0x119700101 - 0x120140901 == 0x6a40800",
|
||||
{ 0x01, 0x19, 0x70, 0x01, 0x01, }, 33, 0,
|
||||
{ 0x01, 0x20, 0x14, 0x09, 0x01, }, 33, 0,
|
||||
{ 0x06, 0xa4, 0x08, 0x00, }, 27, 0,
|
||||
{ 0x01, 0x19, 0x70, 0x01, 0x01 }, 33, 0,
|
||||
{ 0x01, 0x20, 0x14, 0x09, 0x01 }, 33, 0,
|
||||
{ 0x06, 0xa4, 0x08, 0x00 }, 27, 0,
|
||||
},
|
||||
{
|
||||
"simple carry, "
|
||||
"0x1000000000 - 0xfffffffff == 0x01",
|
||||
{ 0x10, 0x00, 0x00, 0x00, 0x00, }, 37, 0,
|
||||
{ 0x0f, 0xff, 0xff, 0xff, 0xff, }, 36, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x10, 0x00, 0x00, 0x00, 0x00 }, 37, 0,
|
||||
{ 0x0f, 0xff, 0xff, 0xff, 0xff }, 36, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"simple carry, "
|
||||
"0x1000000000 - 0x01 == 0xfffffffff",
|
||||
{ 0x10, 0x00, 0x00, 0x00, 0x00, }, 37, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x0f, 0xff, 0xff, 0xff, 0xff, }, 36, 0,
|
||||
{ 0x10, 0x00, 0x00, 0x00, 0x00 }, 37, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x0f, 0xff, 0xff, 0xff, 0xff }, 36, 0,
|
||||
},
|
||||
{
|
||||
"complex carry, "
|
||||
"0x010000000000000000 - 0xffffffffffffffff == 0x01",
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, }, 65, 0,
|
||||
{ 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, }, 64, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 }, 65, 0,
|
||||
{ 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff }, 64, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
{
|
||||
"complex carry, "
|
||||
"0x010000000000000000 - 0x01 == 0xffffffffffffffff",
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, }, 65, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, }, 64, 0,
|
||||
{ 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 }, 65, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff }, 64, 0,
|
||||
},
|
||||
};
|
||||
|
||||
|
|
|
|||
|
|
@ -61,9 +61,9 @@ static struct t_mul_case {
|
|||
} t_mul_cases[] = {
|
||||
{
|
||||
"1 * 1 == 1",
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
};
|
||||
|
||||
|
|
@ -113,9 +113,9 @@ static struct t_div_case {
|
|||
} t_div_cases[] = {
|
||||
{
|
||||
"1 / 1 == 1",
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01, }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
{ 0x01 }, 1, 0,
|
||||
},
|
||||
};
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue