mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-06-04 03:00:20 +02:00
Add anti-float comparison tests
This commit is contained in:
parent
329fc7936c
commit
3d4c22ad33
20 changed files with 392 additions and 0 deletions
|
@ -25,6 +25,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
ASSERT(f(1, 1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
|
@ -25,6 +25,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
ASSERT(f(1, 1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
|
@ -24,6 +24,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(1, 0) == 1);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
|
@ -24,6 +24,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(1, 0) == 1);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
|
@ -24,6 +24,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(1, 0) == 1);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
|
@ -24,6 +24,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(1, 0) == 1);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
|
@ -24,6 +24,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 1);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
|
@ -24,6 +24,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 1);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
|
@ -24,6 +24,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 1);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
|
@ -24,6 +24,9 @@ run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
|
|||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 1);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 0);
|
||||
ASSERT(f(0.0/0.0, 0) == 0);
|
||||
}
|
||||
|
||||
int
|
||||
|
|
37
tests/buneqr_d.c
Normal file
37
tests/buneqr_d.c
Normal file
|
@ -0,0 +1,37 @@
|
|||
#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_ABI_DOUBLE };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_buneqr_d(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(double, double) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 1);
|
||||
ASSERT(f(0, 1) == 0);
|
||||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
ASSERT(f(1, 1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
37
tests/buneqr_f.c
Normal file
37
tests/buneqr_f.c
Normal file
|
@ -0,0 +1,37 @@
|
|||
#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_ABI_FLOAT };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_buneqr_f(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(float, float) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 1);
|
||||
ASSERT(f(0, 1) == 0);
|
||||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
ASSERT(f(1, 1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
36
tests/bunger_d.c
Normal file
36
tests/bunger_d.c
Normal file
|
@ -0,0 +1,36 @@
|
|||
#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_ABI_DOUBLE };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_bunger_d(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(double, double) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 1);
|
||||
ASSERT(f(0, 1) == 0);
|
||||
ASSERT(f(1, 0) == 1);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
36
tests/bunger_f.c
Normal file
36
tests/bunger_f.c
Normal file
|
@ -0,0 +1,36 @@
|
|||
#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_ABI_FLOAT };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_bunger_f(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(float, float) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 1);
|
||||
ASSERT(f(0, 1) == 0);
|
||||
ASSERT(f(1, 0) == 1);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
36
tests/bungtr_d.c
Normal file
36
tests/bungtr_d.c
Normal file
|
@ -0,0 +1,36 @@
|
|||
#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_ABI_DOUBLE };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_bungtr_d(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(double, double) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 0);
|
||||
ASSERT(f(0, 1) == 0);
|
||||
ASSERT(f(1, 0) == 1);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
36
tests/bungtr_f.c
Normal file
36
tests/bungtr_f.c
Normal file
|
@ -0,0 +1,36 @@
|
|||
#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_ABI_FLOAT };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_bungtr_f(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(float, float) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 0);
|
||||
ASSERT(f(0, 1) == 0);
|
||||
ASSERT(f(1, 0) == 1);
|
||||
ASSERT(f(-1, 0) == 0);
|
||||
ASSERT(f(0, -1) == 1);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
36
tests/bunler_d.c
Normal file
36
tests/bunler_d.c
Normal file
|
@ -0,0 +1,36 @@
|
|||
#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_ABI_DOUBLE };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_bunler_d(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(double, double) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 1);
|
||||
ASSERT(f(0, 1) == 1);
|
||||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 1);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
36
tests/bunler_f.c
Normal file
36
tests/bunler_f.c
Normal file
|
@ -0,0 +1,36 @@
|
|||
#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_ABI_FLOAT };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_bunler_f(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(float, float) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 1);
|
||||
ASSERT(f(0, 1) == 1);
|
||||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 1);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
36
tests/bunltr_d.c
Normal file
36
tests/bunltr_d.c
Normal file
|
@ -0,0 +1,36 @@
|
|||
#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_ABI_DOUBLE };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_bunltr_d(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(double, double) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 0);
|
||||
ASSERT(f(0, 1) == 1);
|
||||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 1);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
36
tests/bunltr_f.c
Normal file
36
tests/bunltr_f.c
Normal file
|
@ -0,0 +1,36 @@
|
|||
#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_ABI_FLOAT };
|
||||
jit_arg_t args[2];
|
||||
const jit_anyreg_t regs[] = { { .fpr=JIT_F0 }, { .fpr=JIT_F1 } };
|
||||
|
||||
jit_receive(j, 2, abi, args);
|
||||
jit_load_args(j, 2, abi, args, regs);
|
||||
|
||||
jit_reloc_t r = jit_bunltr_f(j, JIT_F0, JIT_F1);
|
||||
jit_reti(j, 0);
|
||||
jit_patch_here(j, r);
|
||||
jit_reti(j, 1);
|
||||
|
||||
intmax_t (*f)(float, float) = jit_end(j, NULL);
|
||||
|
||||
ASSERT(f(0, 0) == 0);
|
||||
ASSERT(f(0, 1) == 1);
|
||||
ASSERT(f(1, 0) == 0);
|
||||
ASSERT(f(-1, 0) == 1);
|
||||
ASSERT(f(0, -1) == 0);
|
||||
|
||||
ASSERT(f(0, 0.0/0.0) == 1);
|
||||
ASSERT(f(0.0/0.0, 0) == 1);
|
||||
}
|
||||
|
||||
int
|
||||
main (int argc, char *argv[])
|
||||
{
|
||||
return main_helper(argc, argv, run_test);
|
||||
}
|
Loading…
Add table
Add a link
Reference in a new issue