1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-30 08:50:23 +02:00

Add extr tests

This commit is contained in:
Andy Wingo 2019-03-26 10:29:31 +01:00
parent 3acf10280b
commit 082a629f62
6 changed files with 192 additions and 0 deletions

31
tests/extr_c.c Normal file
View file

@ -0,0 +1,31 @@
#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_R1 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_extr_c(j, JIT_R0, JIT_R1);
jit_retr(j, JIT_R0);
uintmax_t (*f)(uintmax_t) = jit_end(j, NULL);
ASSERT(f(0) == 0);
ASSERT(f(1) == 1);
ASSERT(f(0xf) == 0xf);
ASSERT(f(0xff) == -1);
ASSERT(f(0xfff) == -1);
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

34
tests/extr_i.c Normal file
View file

@ -0,0 +1,34 @@
#include "test.h"
static void
run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
{
#if __WORDSIZE > 32
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_R1 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_extr_i(j, JIT_R0, JIT_R1);
jit_retr(j, JIT_R0);
uintmax_t (*f)(uintmax_t) = jit_end(j, NULL);
ASSERT(f(0) == 0);
ASSERT(f(1) == 1);
ASSERT(f(0xfffffff) == 0xfffffff);
ASSERT(f(0xffffffff) == -1);
ASSERT(f(0xfffffffff) == -1);
ASSERT(f(0xf00000000) == 0);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

32
tests/extr_s.c Normal file
View file

@ -0,0 +1,32 @@
#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_R1 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_extr_s(j, JIT_R0, JIT_R1);
jit_retr(j, JIT_R0);
uintmax_t (*f)(uintmax_t) = jit_end(j, NULL);
ASSERT(f(0) == 0);
ASSERT(f(1) == 1);
ASSERT(f(0xfff) == 0xfff);
ASSERT(f(0xffff) == -1);
ASSERT(f(0xfffff) == -1);
ASSERT(f(0xf0000) == 0);
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

31
tests/extr_uc.c Normal file
View file

@ -0,0 +1,31 @@
#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_R1 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_extr_uc(j, JIT_R0, JIT_R1);
jit_retr(j, JIT_R0);
uintmax_t (*f)(uintmax_t) = jit_end(j, NULL);
ASSERT(f(0) == 0);
ASSERT(f(1) == 1);
ASSERT(f(0xff) == 0xff);
ASSERT(f(0xfff) == 0xff);
ASSERT(f(0xf00) == 0);
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

33
tests/extr_ui.c Normal file
View file

@ -0,0 +1,33 @@
#include "test.h"
static void
run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
{
#if __WORDSIZE > 32
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_R1 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_extr_ui(j, JIT_R0, JIT_R1);
jit_retr(j, JIT_R0);
uintmax_t (*f)(uintmax_t) = jit_end(j, NULL);
ASSERT(f(0) == 0);
ASSERT(f(1) == 1);
ASSERT(f(0xffffffff) == 0xffffffff);
ASSERT(f(0xfffffffff) == 0xffffffff);
ASSERT(f(0xf00000000) == 0);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

31
tests/extr_us.c Normal file
View file

@ -0,0 +1,31 @@
#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_R1 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_extr_us(j, JIT_R0, JIT_R1);
jit_retr(j, JIT_R0);
uintmax_t (*f)(uintmax_t) = jit_end(j, NULL);
ASSERT(f(0) == 0);
ASSERT(f(1) == 1);
ASSERT(f(0xffff) == 0xffff);
ASSERT(f(0xfffff) == 0xffff);
ASSERT(f(0xf0000) == 0);
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}