1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-30 11:50:28 +02:00

Add comr/negr tests

This commit is contained in:
Andy Wingo 2019-03-26 09:58:33 +01:00
parent 7393651653
commit a20146777d
5 changed files with 152 additions and 0 deletions

4
.gitignore vendored
View file

@ -35,3 +35,7 @@
/tests/test-rshr /tests/test-rshr
/tests/test-rshr_u /tests/test-rshr_u
/tests/test-rshi_u /tests/test-rshi_u
/tests/test-comr
/tests/test-negr
/tests/test-negr_d
/tests/test-negr_f

45
tests/test-comr.c Normal file
View file

@ -0,0 +1,45 @@
#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_comr(j, JIT_R0, JIT_R0);
jit_retr(j, JIT_R0);
intmax_t (*f)(intmax_t) = jit_end(j, NULL);
#if __WORDSIZE == 32
ASSERT(f(0) == 0xffffffff);
ASSERT(f(1) == 0xfffffffe);
ASSERT(f(0xffffffff) == 0);
ASSERT(f(0x80000000) == 0x7fffffff);
ASSERT(f(0x7fffffff) == 0x80000000);
ASSERT(f(0x80000001) == 0x7ffffffe);
#else
ASSERT(f(0) == 0xffffffffffffffff);
ASSERT(f(1) == 0xfffffffffffffffe);
ASSERT(f(0xffffffff) == 0xffffffff00000000);
ASSERT(f(0x80000000) == 0xffffffff7fffffff);
ASSERT(f(0x7fffffff) == 0xffffffff80000000);
ASSERT(f(0x80000001) == 0xffffffff7ffffffe);
ASSERT(f(0xffffffffffffffff) == 0);
ASSERT(f(0x8000000000000000) == 0x7fffffffffffffff);
ASSERT(f(0x7fffffffffffffff) == 0x8000000000000000);
ASSERT(f(0x8000000000000001) == 0x7ffffffffffffffe);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

43
tests/test-negr.c Normal file
View file

@ -0,0 +1,43 @@
#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_negr(j, JIT_R0, JIT_R0);
jit_retr(j, JIT_R0);
intmax_t (*f)(intmax_t) = jit_end(j, NULL);
ASSERT(f(0) == 0);
#if __WORDSIZE == 32
ASSERT(f(1) == 0xffffffff);
ASSERT(f(0xffffffff) == 1);
ASSERT(f(0x80000000) == 0x80000000);
ASSERT(f(0x7fffffff) == 0x80000001);
ASSERT(f(0x80000001) == 0x7fffffff);
#else
ASSERT(f(1) == 0xffffffffffffffff);
ASSERT(f(0xffffffff) == 0xffffffff00000001);
ASSERT(f(0x80000000) == 0xffffffff80000000);
ASSERT(f(0x7fffffff) == 0xffffffff80000001);
ASSERT(f(0x80000001) == 0xffffffff7fffffff);
ASSERT(f(0xffffffffffffffff) == 1);
ASSERT(f(0x8000000000000000) == 0x8000000000000000);
ASSERT(f(0x7fffffffffffffff) == 0x8000000000000001);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

30
tests/test-negr_d.c Normal file
View file

@ -0,0 +1,30 @@
#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_DOUBLE };
jit_arg_t args[1];
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_negr_d(j, JIT_F0, JIT_F0);
jit_retr_d(j, JIT_F0);
double (*f)(double) = jit_end(j, NULL);
ASSERT(f(0.0) == -0.0);
ASSERT(f(0.5) == -0.5);
ASSERT(f(1.0 / 0.0) == -1.0 / 0.0);
ASSERT(f(-1.25) == 1.25);
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}

30
tests/test-negr_f.c Normal file
View file

@ -0,0 +1,30 @@
#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_FLOAT };
jit_arg_t args[1];
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 } };
jit_receive(j, 1, abi, args);
jit_load_args(j, 1, abi, args, regs);
jit_negr_f(j, JIT_F0, JIT_F0);
jit_retr_f(j, JIT_F0);
float (*f)(float) = jit_end(j, NULL);
ASSERT(f(0.0f) == -0.0f);
ASSERT(f(0.5f) == -0.5f);
ASSERT(f(1.0f / 0.0f) == -1.0f / 0.0f);
ASSERT(f(-1.25f) == 1.25f);
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}