diff options
Diffstat (limited to 'tests/xorr64.c')
| -rw-r--r-- | tests/xorr64.c | 168 |
1 files changed, 99 insertions, 69 deletions
diff --git a/tests/xorr64.c b/tests/xorr64.c index 11ab249..59a317c 100644 --- a/tests/xorr64.c +++ b/tests/xorr64.c @@ -17,75 +17,105 @@ 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)) == 0x7ffffffe); - assert(erf2(f, EJIT_ARG(1, int64_t), - EJIT_ARG(0x80000000, int64_t)) == 0x80000001); - assert(erf2(f, EJIT_ARG(0x7fffffff, int64_t), - EJIT_ARG(1, int64_t)) == 0x7ffffffe); - assert(erf2(f, EJIT_ARG(0x80000000, int64_t), - EJIT_ARG(1, int64_t)) == 0x80000001); - assert(erf2(f, EJIT_ARG(0x7fffffff, int64_t), - EJIT_ARG(0, int64_t)) == 0x7fffffff); - assert(erf2(f, EJIT_ARG(0x7fffffff, int64_t), - EJIT_ARG(0x80000000, int64_t) - ) == 0xffffffff); - - assert(erf2(f, EJIT_ARG(0x80000000, int64_t), - EJIT_ARG(0x7fffffff, int64_t) - ) == 0xffffffff); - - assert(erf2(f, EJIT_ARG(0x7fffffff, int64_t), - EJIT_ARG(0xffffffff, int64_t) - ) == 0x80000000); - - assert(erf2(f, EJIT_ARG(0xffffffff, int64_t), - EJIT_ARG(0x7fffffff, int64_t) - ) == 0x80000000); - - assert(erf2(f, EJIT_ARG(0xffffffff, int64_t), - EJIT_ARG(0xffffffff, int64_t) - ) == 0); - - assert(erf2(f, EJIT_ARG(0, int64_t), EJIT_ARG(0x7fffffff, int64_t) - ) == 0x7fffffff); - - assert(erf2(f, EJIT_ARG(1, int64_t), - EJIT_ARG(0x7fffffffffffffff, int64_t) - ) == 0x7ffffffffffffffe); - - assert(erf2(f, EJIT_ARG(1, int64_t), - EJIT_ARG(0x8000000000000000, int64_t) - ) == (int64_t)0x8000000000000001); - - assert(erf2(f, EJIT_ARG(0x8000000000000000, int64_t), - EJIT_ARG(1, int64_t) - ) == (int64_t)0x8000000000000001); - - assert(erf2(f, EJIT_ARG(0x7fffffffffffffff, int64_t), - EJIT_ARG(1, int64_t) - ) == (int64_t)0x7ffffffffffffffe); - - assert(erf2(f, EJIT_ARG(0x7fffffffffffffff, int64_t), - EJIT_ARG(0x8000000000000000, int64_t) - ) == (int64_t)0xffffffffffffffff); - - assert(erf2(f, EJIT_ARG(0x8000000000000000, int64_t), - EJIT_ARG(0x7fffffffffffffff, int64_t) - ) == (int64_t)0xffffffffffffffff); - - assert(erf2(f, EJIT_ARG(0x7fffffffffffffff, int64_t), - EJIT_ARG(0xffffffffffffffff, int64_t) - ) == (int64_t)0x8000000000000000); - - assert(erf2(f, EJIT_ARG(0xffffffffffffffff, int64_t), - EJIT_ARG(0x7fffffffffffffff, int64_t) - ) == (int64_t)0x8000000000000000); - - assert(erf2(f, EJIT_ARG(0xffffffffffffffff, int64_t), - EJIT_ARG(0xffffffffffffffff, int64_t) - ) == 0); - + assert(erfl2(f, + EJIT_ARG(1, int64_t), + EJIT_ARG(0x7fffffff, int64_t)) + == 0x7ffffffe); + + assert(erfl2(f, + EJIT_ARG(1, int64_t), + EJIT_ARG(0x80000000, int64_t)) + == 0x80000001); + + assert(erfl2(f, + EJIT_ARG(0x7fffffff, int64_t), + EJIT_ARG(1, int64_t)) + == 0x7ffffffe); + + assert(erfl2(f, + EJIT_ARG(0x80000000, int64_t), + EJIT_ARG(1, int64_t)) + == 0x80000001); + + assert(erfl2(f, + EJIT_ARG(0x7fffffff, int64_t), + EJIT_ARG(0, int64_t)) + == 0x7fffffff); + + assert(erfl2(f, + EJIT_ARG(0x7fffffff, int64_t), + EJIT_ARG(0x80000000, int64_t)) + == 0xffffffff); + + assert(erfl2(f, + EJIT_ARG(0x80000000, int64_t), + EJIT_ARG(0x7fffffff, int64_t)) + == 0xffffffff); + + assert(erfl2(f, + EJIT_ARG(0x7fffffff, int64_t), + EJIT_ARG(0xffffffff, int64_t)) + == 0x80000000); + + assert(erfl2(f, + EJIT_ARG(0xffffffff, int64_t), + EJIT_ARG(0x7fffffff, int64_t)) + == 0x80000000); + + assert(erfl2(f, + EJIT_ARG(0xffffffff, int64_t), + EJIT_ARG(0xffffffff, int64_t)) + == 0); + + assert(erfl2(f, + EJIT_ARG(0, int64_t), + EJIT_ARG(0x7fffffff, int64_t)) + == 0x7fffffff); + + assert(erfl2(f, + EJIT_ARG(1, int64_t), + EJIT_ARG(0x7fffffffffffffff, int64_t)) + == 0x7ffffffffffffffe); + + assert(erfl2(f, + EJIT_ARG(1, int64_t), + EJIT_ARG(0x8000000000000000, int64_t)) + == (int64_t)0x8000000000000001); + + assert(erfl2(f, + EJIT_ARG(0x8000000000000000, int64_t), + EJIT_ARG(1, int64_t)) + == (int64_t)0x8000000000000001); + + assert(erfl2(f, + EJIT_ARG(0x7fffffffffffffff, int64_t), + EJIT_ARG(1, int64_t)) + == (int64_t)0x7ffffffffffffffe); + + assert(erfl2(f, + EJIT_ARG(0x7fffffffffffffff, int64_t), + EJIT_ARG(0x8000000000000000, int64_t)) + == (int64_t)0xffffffffffffffff); + + assert(erfl2(f, + EJIT_ARG(0x8000000000000000, int64_t), + EJIT_ARG(0x7fffffffffffffff, int64_t)) + == (int64_t)0xffffffffffffffff); + + assert(erfl2(f, + EJIT_ARG(0x7fffffffffffffff, int64_t), + EJIT_ARG(0xffffffffffffffff, int64_t)) + == (int64_t)0x8000000000000000); + + assert(erfl2(f, + EJIT_ARG(0xffffffffffffffff, int64_t), + EJIT_ARG(0x7fffffffffffffff, int64_t)) + == (int64_t)0x8000000000000000); + + assert(erfl2(f, + EJIT_ARG(0xffffffffffffffff, int64_t), + EJIT_ARG(0xffffffffffffffff, int64_t)) + == 0); ejit_destroy_func(f); } |