mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-21 19:20:21 +02:00
Code Activity

Add remr tests

Browse source
This commit is contained in:
Andy Wingo 2019-03-26 09:17:49 +01:00
parent 8e0102564a
commit 0127664fb3
3 changed files with 124 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.gitignore vendored
View file

@ -21,3 +21,5 @@
/tests/test-divr_f
/tests/test-qdivr
/tests/test-qdivr_u
/tests/test-remr
/tests/test-remr_u

63
tests/test-remr.c Normal file
View file

@ -0,0 +1,63 @@
#include "test.h"
static void
run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
{
jit_begin(j, arena_base, arena_size);
const jit_arg_abi_t abi[] = { JIT_ARG_ABI_INTMAX, JIT_ARG_ABI_INTMAX };
jit_arg_t args[2];
const jit_anyreg_t regs[] = { { .gpr=JIT_R0 }, { .gpr=JIT_R1 }};
jit_receive(j, 2, abi, args);
jit_load_args(j, 2, abi, args, regs);
jit_remr(j, JIT_R0, JIT_R0, JIT_R1);
jit_retr(j, JIT_R0);
size_t size = 0;
void* ret = jit_end(j, &size);
intmax_t (*f)(intmax_t, intmax_t) = ret;
ASSERT(f(0x7fffffff, 1) == 0);
ASSERT(f(1, 0x7fffffff) == 1);
ASSERT(f(0x80000000, 1) == 0);
ASSERT(f(1, 0x80000000) == 1);
ASSERT(f(0x7fffffff, 2) == 1);
ASSERT(f(2, 0x7fffffff) == 2);
ASSERT(f(0x80000000, 2) == 0);
ASSERT(f(2, 0x80000000) == 2);
ASSERT(f(0x7fffffff, 0x80000000) == 0x7fffffff);
ASSERT(f(0, 0x7fffffff) == 0);
ASSERT(f(0xffffffff, 0xffffffff) == 0);
#if __WORDSIZE == 32
ASSERT(f(0x80000000, 0x7fffffff) == 0xffffffff);
ASSERT(f(0x7fffffff, 0xffffffff) == 0);
ASSERT(f(0xffffffff, 0x7fffffff) == 0xffffffff);
#else
ASSERT(f(0x80000000, 0x7fffffff) == 1);
ASSERT(f(0x7fffffff, 0xffffffff) == 0x7fffffff);
ASSERT(f(0xffffffff, 0x7fffffff) == 1);
ASSERT(f(0x7fffffffffffffff, 1) == 0);
ASSERT(f(1, 0x7fffffffffffffff) == 1);
ASSERT(f(0x8000000000000000, 1) == 0);
ASSERT(f(1, 0x8000000000000000) == 1);
ASSERT(f(0x7fffffffffffffff, 2) == 1);
ASSERT(f(2, 0x7fffffffffffffff) == 2);
ASSERT(f(0x8000000000000000, 2) == 0);
ASSERT(f(2, 0x8000000000000000) == 2);
ASSERT(f(0x7fffffffffffffff, 0x8000000000000000) == 0x7fffffffffffffff);
ASSERT(f(0x8000000000000000, 0x7fffffffffffffff) == 0xffffffffffffffff);
ASSERT(f(0x7fffffffffffffff, 0xffffffffffffffff) == 0);
ASSERT(f(0xffffffffffffffff, 0x7fffffffffffffff) == 0xffffffffffffffff);
ASSERT(f(0xffffffffffffffff, 0xffffffffffffffff) == 0);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

59
tests/test-remr_u.c Normal file
View file

@ -0,0 +1,59 @@
#include "test.h"
static void
run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
{
jit_begin(j, arena_base, arena_size);
const jit_arg_abi_t abi[] = { JIT_ARG_ABI_INTMAX, JIT_ARG_ABI_INTMAX };
jit_arg_t args[2];
const jit_anyreg_t regs[] = { { .gpr=JIT_R0 }, { .gpr=JIT_R1 }};
jit_receive(j, 2, abi, args);
jit_load_args(j, 2, abi, args, regs);
jit_remr_u(j, JIT_R0, JIT_R0, JIT_R1);
jit_retr(j, JIT_R0);
size_t size = 0;
void* ret = jit_end(j, &size);
intmax_t (*f)(intmax_t, intmax_t) = ret;
ASSERT(f(0x7fffffff, 1) == 0);
ASSERT(f(1, 0x7fffffff) == 1);
ASSERT(f(0x80000000, 1) == 0);
ASSERT(f(1, 0x80000000) == 1);
ASSERT(f(0x7fffffff, 2) == 1);
ASSERT(f(2, 0x7fffffff) == 2);
ASSERT(f(0x80000000, 2) == 0);
ASSERT(f(2, 0x80000000) == 2);
ASSERT(f(0x7fffffff, 0x80000000) == 0x7fffffff);
ASSERT(f(0x80000000, 0x7fffffff) == 1);
ASSERT(f(0, 0x7fffffff) == 0);
ASSERT(f(0x7fffffff, 0xffffffff) == 0x7fffffff);
ASSERT(f(0xffffffff, 0x7fffffff) == 1);
ASSERT(f(0xffffffff, 0xffffffff) == 0);
#if __WORDSIZE != 32
ASSERT(f(0x7fffffffffffffff, 1) == 0);
ASSERT(f(1, 0x7fffffffffffffff) == 1);
ASSERT(f(0x8000000000000000, 1) == 0);
ASSERT(f(1, 0x8000000000000000) == 1);
ASSERT(f(0x7fffffffffffffff, 2) == 1);
ASSERT(f(2, 0x7fffffffffffffff) == 2);
ASSERT(f(0x8000000000000000, 2) == 0);
ASSERT(f(2, 0x8000000000000000) == 2);
ASSERT(f(0x7fffffffffffffff, 0x8000000000000000) == 0x7fffffffffffffff);
ASSERT(f(0x8000000000000000, 0x7fffffffffffffff) == 1);
ASSERT(f(0x7fffffffffffffff, 0xffffffffffffffff) == 0x7fffffffffffffff);
ASSERT(f(0xffffffffffffffff, 0x7fffffffffffffff) == 1);
ASSERT(f(0xffffffffffffffff, 0xffffffffffffffff) == 0);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}