From 082a629f62160371b848ebb45e48f01e2b78973d Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Tue, 26 Mar 2019 10:29:31 +0100 Subject: [PATCH] Add extr tests --- tests/extr_c.c | 31 +++++++++++++++++++++++++++++++ tests/extr_i.c | 34 ++++++++++++++++++++++++++++++++++ tests/extr_s.c | 32 ++++++++++++++++++++++++++++++++ tests/extr_uc.c | 31 +++++++++++++++++++++++++++++++ tests/extr_ui.c | 33 +++++++++++++++++++++++++++++++++ tests/extr_us.c | 31 +++++++++++++++++++++++++++++++ 6 files changed, 192 insertions(+) create mode 100644 tests/extr_c.c create mode 100644 tests/extr_i.c create mode 100644 tests/extr_s.c create mode 100644 tests/extr_uc.c create mode 100644 tests/extr_ui.c create mode 100644 tests/extr_us.c diff --git a/tests/extr_c.c b/tests/extr_c.c new file mode 100644 index 000000000..f4390a789 --- /dev/null +++ b/tests/extr_c.c @@ -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); +} diff --git a/tests/extr_i.c b/tests/extr_i.c new file mode 100644 index 000000000..a0ec07916 --- /dev/null +++ b/tests/extr_i.c @@ -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); +} diff --git a/tests/extr_s.c b/tests/extr_s.c new file mode 100644 index 000000000..c12adb722 --- /dev/null +++ b/tests/extr_s.c @@ -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); +} diff --git a/tests/extr_uc.c b/tests/extr_uc.c new file mode 100644 index 000000000..fb700bd36 --- /dev/null +++ b/tests/extr_uc.c @@ -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); +} diff --git a/tests/extr_ui.c b/tests/extr_ui.c new file mode 100644 index 000000000..30706f093 --- /dev/null +++ b/tests/extr_ui.c @@ -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); +} diff --git a/tests/extr_us.c b/tests/extr_us.c new file mode 100644 index 000000000..a10f6e916 --- /dev/null +++ b/tests/extr_us.c @@ -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); +}