From f5c729ea59d227a507f83bd94d07f4366b46d72b Mon Sep 17 00:00:00 2001 From: Kimplul Date: Fri, 14 Mar 2025 21:08:01 +0200 Subject: start supporting 32bit arches --- tests/mulr64.c | 233 ++++++++++++++++++++++++++++++++------------------------- 1 file changed, 131 insertions(+), 102 deletions(-) (limited to 'tests/mulr64.c') diff --git a/tests/mulr64.c b/tests/mulr64.c index e1474a6..7233206 100644 --- a/tests/mulr64.c +++ b/tests/mulr64.c @@ -17,108 +17,137 @@ int main(int argc, char *argv[]) ejit_select_compile_func(f, 2, 0, EJIT_USE64(int64_t), do_jit); - assert(erf2(f, EJIT_ARG(1, int64_t), EJIT_ARG(0x7fffffff, int64_t) - ) == 0x7fffffff); - - assert(erf2(f, EJIT_ARG(1, int64_t), EJIT_ARG(0x80000000, int64_t) - ) == 0x80000000); - - assert(erf2(f, EJIT_ARG(2, int64_t), EJIT_ARG(0x7fffffff, int64_t) - ) == 0xfffffffe); - - assert(erf2(f, EJIT_ARG(0, int64_t), EJIT_ARG(0x7fffffff, int64_t) - ) == 0); - - - assert(erf2(f, EJIT_ARG(0x7fffffff, int64_t), EJIT_ARG(1, int64_t) - ) == 0x7fffffff); - - assert(erf2(f, EJIT_ARG(0x80000000, int64_t), EJIT_ARG(1, int64_t) - ) == 0x80000000); - - assert(erf2(f, EJIT_ARG(0x7fffffff, int64_t), EJIT_ARG(2, int64_t) - ) == 0xfffffffe); - - assert(erf2(f, EJIT_ARG(0x7fffffff, int64_t), EJIT_ARG(0, int64_t) - ) == 0); - - assert(erf2(f, EJIT_ARG(2, int64_t), EJIT_ARG(0x80000000, int64_t) - ) == 0x100000000); - - assert(erf2(f, EJIT_ARG(1, int64_t), - EJIT_ARG(0x7fffffffffffffff, int64_t) - ) == 0x7fffffffffffffff); - - assert(erf2(f, EJIT_ARG(1, int64_t), - EJIT_ARG(0x8000000000000000, int64_t) - ) == (int64_t)0x8000000000000000); - - assert(erf2(f, EJIT_ARG(2, int64_t), - EJIT_ARG(0x7fffffffffffffff, int64_t) - ) == (int64_t)0xfffffffffffffffe); - - assert(erf2(f, EJIT_ARG(2, int64_t), - EJIT_ARG(0x8000000000000000, int64_t) - ) == 0); - - assert(erf2(f, EJIT_ARG(0x80000000, int64_t), EJIT_ARG(2, int64_t) - ) == (int64_t)0x100000000); - - assert(erf2(f, EJIT_ARG(0x7fffffff, int64_t), - EJIT_ARG(0x80000000, int64_t) - ) == (int64_t)0x3fffffff80000000); - - assert(erf2(f, EJIT_ARG(0x80000000, int64_t), - EJIT_ARG(0x7fffffff, int64_t) - ) == (int64_t)0x3fffffff80000000); - - assert(erf2(f, EJIT_ARG(0x7fffffff, int64_t), - EJIT_ARG(0xffffffff, int64_t) - ) == (int64_t)0x7ffffffe80000001); - - assert(erf2(f, EJIT_ARG(0xffffffff, int64_t), - EJIT_ARG(0x7fffffff, int64_t) - ) == (int64_t)0x7ffffffe80000001); - - assert(erf2(f, EJIT_ARG(0xffffffff, int64_t), - EJIT_ARG(0xffffffff, int64_t) - ) == (int64_t)0xfffffffe00000001); - - assert(erf2(f, EJIT_ARG(0x7fffffffffffffff, int64_t), - EJIT_ARG(1, int64_t) - ) == (int64_t)0x7fffffffffffffff); - - assert(erf2(f, EJIT_ARG(0x8000000000000000, int64_t), - EJIT_ARG(1, int64_t) - ) == (int64_t)0x8000000000000000); - - assert(erf2(f, EJIT_ARG(0x7fffffffffffffff, int64_t), - EJIT_ARG(2, int64_t) - ) == (int64_t)0xfffffffffffffffe); - - assert(erf2(f, EJIT_ARG(0x8000000000000000, int64_t), - EJIT_ARG(2, int64_t) - ) == 0); - - assert(erf2(f, EJIT_ARG(0x7fffffffffffffff, int64_t), - EJIT_ARG(0x8000000000000000, int64_t) - ) == (int64_t)0x8000000000000000); - - assert(erf2(f, EJIT_ARG(0x8000000000000000, int64_t), - EJIT_ARG(0x7fffffffffffffff, int64_t) - ) == (int64_t)0x8000000000000000); - - assert(erf2(f, EJIT_ARG(0x7fffffffffffffff, int64_t), - EJIT_ARG(0xffffffffffffffff, int64_t) - ) == (int64_t)0x8000000000000001); - - assert(erf2(f, EJIT_ARG(0xffffffffffffffff, int64_t), - EJIT_ARG(0x7fffffffffffffff, int64_t) - ) == (int64_t)0x8000000000000001); - - assert(erf2(f, EJIT_ARG(0xffffffffffffffff, int64_t), - EJIT_ARG(0xffffffffffffffff, int64_t) - ) == 1); + assert(erfl2(f, + EJIT_ARG(1, int64_t), + EJIT_ARG(0x7fffffff, int64_t)) == 0x7fffffff); + + assert(erfl2(f, + EJIT_ARG(1, int64_t), + EJIT_ARG(0x80000000, int64_t)) == 0x80000000); + + assert(erfl2(f, + EJIT_ARG(2, int64_t), + EJIT_ARG(0x7fffffff, int64_t)) == 0xfffffffe); + + assert(erfl2(f, + EJIT_ARG(0, int64_t), + EJIT_ARG(0x7fffffff, int64_t)) == 0); + + + assert(erfl2(f, + EJIT_ARG(0x7fffffff, int64_t), + EJIT_ARG(1, int64_t)) == 0x7fffffff); + + assert(erfl2(f, + EJIT_ARG(0x80000000, int64_t), + EJIT_ARG(1, int64_t)) == 0x80000000); + + assert(erfl2(f, + EJIT_ARG(0x7fffffff, int64_t), + EJIT_ARG(2, int64_t)) == 0xfffffffe); + + assert(erfl2(f, + EJIT_ARG(0x7fffffff, int64_t), + EJIT_ARG(0, int64_t)) == 0); + + assert(erfl2(f, + EJIT_ARG(2, int64_t), + EJIT_ARG(0x80000000, int64_t)) == 0x100000000); + + assert(erfl2(f, + EJIT_ARG(1, int64_t), + EJIT_ARG(0x7fffffffffffffff, int64_t)) + == 0x7fffffffffffffff); + + assert(erfl2(f, + EJIT_ARG(1, int64_t), + EJIT_ARG(0x8000000000000000, int64_t)) + == (int64_t)0x8000000000000000); + + assert(erfl2(f, + EJIT_ARG(2, int64_t), + EJIT_ARG(0x7fffffffffffffff, int64_t)) + == (int64_t)0xfffffffffffffffe); + + assert(erfl2(f, + EJIT_ARG(2, int64_t), + EJIT_ARG(0x8000000000000000, int64_t)) + == 0); + + assert(erfl2(f, + EJIT_ARG(0x80000000, int64_t), + EJIT_ARG(2, int64_t)) + == (int64_t)0x100000000); + + assert(erfl2(f, + EJIT_ARG(0x7fffffff, int64_t), + EJIT_ARG(0x80000000, int64_t)) + == (int64_t)0x3fffffff80000000); + + assert(erfl2(f, + EJIT_ARG(0x80000000, int64_t), + EJIT_ARG(0x7fffffff, int64_t)) + == (int64_t)0x3fffffff80000000); + + assert(erfl2(f, + EJIT_ARG(0x7fffffff, int64_t), + EJIT_ARG(0xffffffff, int64_t)) + == (int64_t)0x7ffffffe80000001); + + assert(erfl2(f, + EJIT_ARG(0xffffffff, int64_t), + EJIT_ARG(0x7fffffff, int64_t)) + == (int64_t)0x7ffffffe80000001); + + assert(erfl2(f, + EJIT_ARG(0xffffffff, int64_t), + EJIT_ARG(0xffffffff, int64_t)) + == (int64_t)0xfffffffe00000001); + + assert(erfl2(f, + EJIT_ARG(0x7fffffffffffffff, int64_t), + EJIT_ARG(1, int64_t)) + == (int64_t)0x7fffffffffffffff); + + assert(erfl2(f, + EJIT_ARG(0x8000000000000000, int64_t), + EJIT_ARG(1, int64_t)) + == (int64_t)0x8000000000000000); + + assert(erfl2(f, + EJIT_ARG(0x7fffffffffffffff, int64_t), + EJIT_ARG(2, int64_t)) + == (int64_t)0xfffffffffffffffe); + + assert(erfl2(f, + EJIT_ARG(0x8000000000000000, int64_t), + EJIT_ARG(2, int64_t)) + == 0); + + assert(erfl2(f, + EJIT_ARG(0x7fffffffffffffff, int64_t), + EJIT_ARG(0x8000000000000000, int64_t)) + == (int64_t)0x8000000000000000); + + assert(erfl2(f, + EJIT_ARG(0x8000000000000000, int64_t), + EJIT_ARG(0x7fffffffffffffff, int64_t)) + == (int64_t)0x8000000000000000); + + assert(erfl2(f, + EJIT_ARG(0x7fffffffffffffff, int64_t), + EJIT_ARG(0xffffffffffffffff, int64_t)) + == (int64_t)0x8000000000000001); + + assert(erfl2(f, + EJIT_ARG(0xffffffffffffffff, int64_t), + EJIT_ARG(0x7fffffffffffffff, int64_t)) + == (int64_t)0x8000000000000001); + + assert(erfl2(f, + EJIT_ARG(0xffffffffffffffff, int64_t), + EJIT_ARG(0xffffffffffffffff, int64_t)) + == 1); ejit_destroy_func(f); } -- cgit v1.2.3