mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 03:30:27 +02:00
Code Activity

Add bitops tests

Browse source
This commit is contained in:
Andy Wingo 2019-03-26 09:33:40 +01:00
parent 0127664fb3
commit 6a6da4a8a5
7 changed files with 264 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.gitignore vendored
View file

@ -23,3 +23,9 @@
/tests/test-qdivr_u /tests/test-qdivr_u
/tests/test-remr /tests/test-remr
/tests/test-remr_u /tests/test-remr_u
/tests/test-andi
/tests/test-andr
/tests/test-ori
/tests/test-orr
/tests/test-xori
/tests/test-xorr

35
tests/test-andi.c Normal file
View file

@ -0,0 +1,35 @@
#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_t args[1];
const jit_anyreg_t regs[] = { { .gpr=JIT_R0 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_andi(j, JIT_R0, JIT_R0, 1);
jit_retr(j, JIT_R0);
size_t size = 0;
void* ret = jit_end(j, &size);
intmax_t (*f)(intmax_t) = ret;
ASSERT(f(0x7fffffff) == 1);
ASSERT(f(0x80000000) == 0);
#if __WORDSIZE == 64
ASSERT(f(0x7fffffffffffffff) == 1);
ASSERT(f(0x8000000000000000) == 0);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

51
tests/test-andr.c Normal file
View file

@ -0,0 +1,51 @@
#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_andr(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) == 1);
ASSERT(f(1, 0x7fffffff) == 1);
ASSERT(f(0x80000000, 1) == 0);
ASSERT(f(1, 0x80000000) == 0);
ASSERT(f(0x7fffffff, 0x80000000) == 0);
ASSERT(f(0x80000000, 0x7fffffff) == 0);
ASSERT(f(0x7fffffff, 0xffffffff) == 0x7fffffff);
ASSERT(f(0xffffffff, 0x7fffffff) == 0x7fffffff);
ASSERT(f(0xffffffff, 0xffffffff) == 0xffffffff);
ASSERT(f(0x7fffffff, 0) == 0);
ASSERT(f(0, 0x7fffffff) == 0);
#if __WORDSIZE == 64
ASSERT(f(0x7fffffffffffffff, 1) == 1);
ASSERT(f(1, 0x7fffffffffffffff) == 1);
ASSERT(f(0x8000000000000000, 1) == 0);
ASSERT(f(1, 0x8000000000000000) == 0);
ASSERT(f(0x7fffffffffffffff, 0x8000000000000000) == 0);
ASSERT(f(0x8000000000000000, 0x7fffffffffffffff) == 0);
ASSERT(f(0x7fffffffffffffff, 0xffffffffffffffff) == 0x7fffffffffffffff);
ASSERT(f(0xffffffffffffffff, 0x7fffffffffffffff) == 0x7fffffffffffffff);
ASSERT(f(0xffffffffffffffff, 0xffffffffffffffff) == 0xffffffffffffffff);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

35
tests/test-ori.c Normal file
View file

@ -0,0 +1,35 @@
#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_t args[1];
const jit_anyreg_t regs[] = { { .gpr=JIT_R0 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_ori(j, JIT_R0, JIT_R0, 1);
jit_retr(j, JIT_R0);
size_t size = 0;
void* ret = jit_end(j, &size);
intmax_t (*f)(intmax_t) = ret;
ASSERT(f(0x7fffffff) == 0x7fffffff);
ASSERT(f(0x80000000) == 0x80000001);
#if __WORDSIZE == 64
ASSERT(f(0x7fffffffffffffff) == 0x7fffffffffffffff);
ASSERT(f(0x8000000000000000) == 0x8000000000000001);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

51
tests/test-orr.c Normal file
View file

@ -0,0 +1,51 @@
#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_orr(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) == 0x7fffffff);
ASSERT(f(1, 0x7fffffff) == 0x7fffffff);
ASSERT(f(0x80000000, 1) == 0x80000001);
ASSERT(f(1, 0x80000000) == 0x80000001);
ASSERT(f(0x7fffffff, 0x80000000) == 0xffffffff);
ASSERT(f(0x80000000, 0x7fffffff) == 0xffffffff);
ASSERT(f(0x7fffffff, 0xffffffff) == 0xffffffff);
ASSERT(f(0xffffffff, 0x7fffffff) == 0xffffffff);
ASSERT(f(0xffffffff, 0xffffffff) == 0xffffffff);
ASSERT(f(0x7fffffff, 0) == 0x7fffffff);
ASSERT(f(0, 0x7fffffff) == 0x7fffffff);
#if __WORDSIZE == 64
ASSERT(f(0x7fffffffffffffff, 1) == 0x7fffffffffffffff);
ASSERT(f(1, 0x7fffffffffffffff) == 0x7fffffffffffffff);
ASSERT(f(0x8000000000000000, 1) == 0x8000000000000001);
ASSERT(f(1, 0x8000000000000000) == 0x8000000000000001);
ASSERT(f(0x7fffffffffffffff, 0x8000000000000000) == 0xffffffffffffffff);
ASSERT(f(0x8000000000000000, 0x7fffffffffffffff) == 0xffffffffffffffff);
ASSERT(f(0x7fffffffffffffff, 0xffffffffffffffff) == 0xffffffffffffffff);
ASSERT(f(0xffffffffffffffff, 0x7fffffffffffffff) == 0xffffffffffffffff);
ASSERT(f(0xffffffffffffffff, 0xffffffffffffffff) == 0xffffffffffffffff);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

35
tests/test-xori.c Normal file
View file

@ -0,0 +1,35 @@
#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_t args[1];
const jit_anyreg_t regs[] = { { .gpr=JIT_R0 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_xori(j, JIT_R0, JIT_R0, 1);
jit_retr(j, JIT_R0);
size_t size = 0;
void* ret = jit_end(j, &size);
intmax_t (*f)(intmax_t) = ret;
ASSERT(f(0x7fffffff) == 0x7ffffffe);
ASSERT(f(0x80000000) == 0x80000001);
#if __WORDSIZE == 64
ASSERT(f(0x7fffffffffffffff) == 0x7ffffffffffffffe);
ASSERT(f(0x8000000000000000) == 0x8000000000000001);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

51
tests/test-xorr.c Normal file
View file

@ -0,0 +1,51 @@
#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_xorr(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) == 0x7ffffffe);
ASSERT(f(1, 0x7fffffff) == 0x7ffffffe);
ASSERT(f(0x80000000, 1) == 0x80000001);
ASSERT(f(1, 0x80000000) == 0x80000001);
ASSERT(f(0x7fffffff, 0x80000000) == 0xffffffff);
ASSERT(f(0x80000000, 0x7fffffff) == 0xffffffff);
ASSERT(f(0x7fffffff, 0xffffffff) == 0x80000000);
ASSERT(f(0xffffffff, 0x7fffffff) == 0x80000000);
ASSERT(f(0xffffffff, 0xffffffff) == 0);
ASSERT(f(0x7fffffff, 0) == 0x7fffffff);
ASSERT(f(0, 0x7fffffff) == 0x7fffffff);
#if __WORDSIZE == 64
ASSERT(f(0x7fffffffffffffff, 1) == 0x7ffffffffffffffe);
ASSERT(f(1, 0x7fffffffffffffff) == 0x7ffffffffffffffe);
ASSERT(f(0x8000000000000000, 1) == 0x8000000000000001);
ASSERT(f(1, 0x8000000000000000) == 0x8000000000000001);
ASSERT(f(0x7fffffffffffffff, 0x8000000000000000) == 0xffffffffffffffff);
ASSERT(f(0x8000000000000000, 0x7fffffffffffffff) == 0xffffffffffffffff);
ASSERT(f(0x7fffffffffffffff, 0xffffffffffffffff) == 0x8000000000000000);
ASSERT(f(0xffffffffffffffff, 0x7fffffffffffffff) == 0x8000000000000000);
ASSERT(f(0xffffffffffffffff, 0xffffffffffffffff) == 0);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}