mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-15 10:10:21 +02:00
Code Activity

Add sub-and-branch-on-overflow tests

Browse source
This commit is contained in:
Andy Wingo 2019-03-26 16:09:07 +01:00
parent 6dbad81afd
commit 8a8273c45c
8 changed files with 354 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

39
tests/bosubi_u.c Normal file
View file

@ -0,0 +1,39 @@
#include "test.h"
static const intmax_t overflowed = 0xcabba9e5;
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_reloc_t r = jit_bosubi_u(j, JIT_R0, 1);
jit_retr(j, JIT_R0);
jit_patch_here(j, r);
jit_movi(j, JIT_R0, overflowed);
jit_retr(j, JIT_R0);
intmax_t (*f)(intmax_t) = jit_end(j, NULL);
ASSERT(f(-1) == -2);
ASSERT(f(0) == overflowed);
ASSERT(f(1) == 0);
#if __WORDSIZE == 32
ASSERT(f(0x80000000) == 0x7fffffff);
#else
ASSERT(f(0x8000000000000000) == 0x7fffffffffffffff);
#endif
}
int
main (int argc, char *argv[])
{
return main_helper(argc, argv, run_test);
}