mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-20 11:40:18 +02:00
Add ldxr tests
This commit is contained in:
Andy Wingo
parent
c6067dd8cb
commit
d917dc2147
9 changed files with 283 additions and 0 deletions
31
tests/ldxr_c.c
Normal file
31
tests/ldxr_c.c
Normal file
|
|
@ -0,0 +1,31 @@
|
|||
#include "test.h"
|
||||
|
||||
static uint8_t data[] = { 0xff, 0x00, 0x42 };
|
||||
|
||||
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_POINTER, 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_ldxr_c(j, JIT_R0, JIT_R0, JIT_R1);
|
||||
jit_retr(j, JIT_R0);
|
||||
|
||||
uintmax_t (*f)(void*, uintmax_t) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(data, 0) == -1);
|
||||
ASSERT(f(data, 1) == 0);
|
||||
ASSERT(f(data, 2) == 0x42);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
||||
31
tests/ldxr_d.c
Normal file
31
tests/ldxr_d.c
Normal file
|
|
@ -0,0 +1,31 @@
|
|||
#include "test.h"
|
||||
|
||||
static double data[] = { -1.0, 0.0, 0.5 };
|
||||
|
||||
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_POINTER, 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_ldxr_d(j, JIT_F0, JIT_R0, JIT_R1);
|
||||
jit_retr_d(j, JIT_F0);
|
||||
|
||||
double (*f)(void*, uintmax_t) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(data, 0) == data[0]);
|
||||
ASSERT(f(data, 8) == data[1]);
|
||||
ASSERT(f(data, 16) == data[2]);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
||||
31
tests/ldxr_f.c
Normal file
31
tests/ldxr_f.c
Normal file
|
|
@ -0,0 +1,31 @@
|
|||
#include "test.h"
|
||||
|
||||
static float data[] = { -1.0, 0.0, 0.5 };
|
||||
|
||||
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_POINTER, 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_ldxr_f(j, JIT_F0, JIT_R0, JIT_R1);
|
||||
jit_retr_f(j, JIT_F0);
|
||||
|
||||
float (*f)(void*, uintmax_t) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(data, 0) == data[0]);
|
||||
ASSERT(f(data, 4) == data[1]);
|
||||
ASSERT(f(data, 8) == data[2]);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
||||
31
tests/ldxr_i.c
Normal file
31
tests/ldxr_i.c
Normal file
|
|
@ -0,0 +1,31 @@
|
|||
#include "test.h"
|
||||
|
||||
static uint32_t data[] = { 0xffffffff, 0x00000000, 0x42424242 };
|
||||
|
||||
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_POINTER, 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_ldxr_i(j, JIT_R0, JIT_R0, JIT_R1);
|
||||
jit_retr(j, JIT_R0);
|
||||
|
||||
uintmax_t (*f)(void*, uintmax_t) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(data, 0) == -1);
|
||||
ASSERT(f(data, 4) == 0);
|
||||
ASSERT(f(data, 8) == 0x42424242);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
||||
33
tests/ldxr_l.c
Normal file
33
tests/ldxr_l.c
Normal file
|
|
@ -0,0 +1,33 @@
|
|||
#include "test.h"
|
||||
|
||||
static uint64_t data[] = { 0xffffffffffffffff, 0, 0x4242424212345678 };
|
||||
|
||||
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_POINTER, 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_ldxr_l(j, JIT_R0, JIT_R0, JIT_R1);
|
||||
jit_retr(j, JIT_R0);
|
||||
|
||||
uintmax_t (*f)(void*, uintmax_t) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(data, 0) == -1);
|
||||
ASSERT(f(data, 8) == 0);
|
||||
ASSERT(f(data, 16) == data[2]);
|
||||
#endif
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
||||
31
tests/ldxr_s.c
Normal file
31
tests/ldxr_s.c
Normal file
|
|
@ -0,0 +1,31 @@
|
|||
#include "test.h"
|
||||
|
||||
static uint16_t data[] = { 0xffff, 0x0000, 0x4242 };
|
||||
|
||||
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_POINTER, 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_ldxr_s(j, JIT_R0, JIT_R0, JIT_R1);
|
||||
jit_retr(j, JIT_R0);
|
||||
|
||||
uintmax_t (*f)(void*, uintmax_t) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(data, 0) == -1);
|
||||
ASSERT(f(data, 2) == 0);
|
||||
ASSERT(f(data, 4) == 0x4242);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
||||
31
tests/ldxr_uc.c
Normal file
31
tests/ldxr_uc.c
Normal file
|
|
@ -0,0 +1,31 @@
|
|||
#include "test.h"
|
||||
|
||||
static uint8_t data[] = { 0xff, 0x00, 0x42 };
|
||||
|
||||
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_POINTER, 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_ldxr_uc(j, JIT_R0, JIT_R0, JIT_R1);
|
||||
jit_retr(j, JIT_R0);
|
||||
|
||||
uintmax_t (*f)(void*, uintmax_t) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(data, 0) == 0xff);
|
||||
ASSERT(f(data, 1) == 0);
|
||||
ASSERT(f(data, 2) == 0x42);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
||||
33
tests/ldxr_ui.c
Normal file
33
tests/ldxr_ui.c
Normal file
|
|
@ -0,0 +1,33 @@
|
|||
#include "test.h"
|
||||
|
||||
static uint32_t data[] = { 0xffffffff, 0x00000000, 0x42424242 };
|
||||
|
||||
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_POINTER, 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_ldxr_ui(j, JIT_R0, JIT_R0, JIT_R1);
|
||||
jit_retr(j, JIT_R0);
|
||||
|
||||
uintmax_t (*f)(void*, uintmax_t) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(data, 0) == data[0]);
|
||||
ASSERT(f(data, 4) == data[1]);
|
||||
ASSERT(f(data, 8) == data[2]);
|
||||
#endif
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
||||
31
tests/ldxr_us.c
Normal file
31
tests/ldxr_us.c
Normal file
|
|
@ -0,0 +1,31 @@
|
|||
#include "test.h"
|
||||
|
||||
static uint16_t data[] = { 0xffff, 0x0000, 0x4242 };
|
||||
|
||||
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_POINTER, 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_ldxr_us(j, JIT_R0, JIT_R0, JIT_R1);
|
||||
jit_retr(j, JIT_R0);
|
||||
|
||||
uintmax_t (*f)(void*, uintmax_t) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(data, 0) == data[0]);
|
||||
ASSERT(f(data, 2) == data[1]);
|
||||
ASSERT(f(data, 4) == data[2]);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue