diff options
author | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-07-13 21:36:02 +0300 |
---|---|---|
committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-07-13 21:36:02 +0300 |
commit | 5e64dbec81504aaacac1e733edd5230f59670466 (patch) | |
tree | 904038fae0b1ceb43f3f9b9de9f843f5d059d068 /tests/divr_u64.c | |
parent | 26fcfcf333e852b256af8ed4ca7f9e497958f6d8 (diff) | |
download | ejit-5e64dbec81504aaacac1e733edd5230f59670466.tar.gz ejit-5e64dbec81504aaacac1e733edd5230f59670466.zip |
make tests only compile once
+ Select between jit/bytecode with a runtime parameter
Diffstat (limited to 'tests/divr_u64.c')
-rw-r--r-- | tests/divr_u64.c | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/tests/divr_u64.c b/tests/divr_u64.c new file mode 100644 index 0000000..c97c0b1 --- /dev/null +++ b/tests/divr_u64.c @@ -0,0 +1,96 @@ +#include <ejit/ejit.h> +#include <assert.h> +#include "do_jit.h" + +int main(int argc, char *argv[]) +{ + (void)argv; + bool do_jit = argc > 1; + struct ejit_operand operands[2] = { + EJIT_OPERAND_GPR(0, EJIT_TYPE(long)), + EJIT_OPERAND_GPR(1, EJIT_TYPE(long)) + }; + struct ejit_func *f = ejit_create_func(EJIT_TYPE(long), 2, operands); + + ejit_divr_u(f, EJIT_GPR(0), EJIT_GPR(0), EJIT_GPR(1)); + ejit_retr(f, EJIT_GPR(0)); + + ejit_select_compile_func(f, 2, 0, EJIT_USE64(long), do_jit); + + assert(erf2(f, EJIT_ARG(0x7fffffff, long), EJIT_ARG(1, long) + ) == 0x7fffffff); + + assert(erf2(f, EJIT_ARG(0x80000000, long), EJIT_ARG(1, long) + ) == 0x80000000); + assert(erf2(f, EJIT_ARG(0x7fffffff, long), EJIT_ARG(2, long) + ) == 0x3fffffff); + + assert(erf2(f, EJIT_ARG(0x80000000, long), EJIT_ARG(2, long) + ) == 0x40000000); + + assert(erf2(f, EJIT_ARG(0x7fffffff, long), EJIT_ARG(0x80000000, long) + ) == 0); + + assert(erf2(f, EJIT_ARG(0x80000000, long), EJIT_ARG(0x7fffffff, long) + ) == 1); + + assert(erf2(f, EJIT_ARG(0x7fffffff, long), EJIT_ARG(0xffffffff, long) + ) == 0); + + assert(erf2(f, EJIT_ARG(0xffffffff, long), EJIT_ARG(0x7fffffff, long) + ) == 2); + + assert(erf2(f, EJIT_ARG(0xffffffff, long), EJIT_ARG(0xffffffff, long) + ) == 1); + + assert(erf2(f, EJIT_ARG(1, long), EJIT_ARG(0x7fffffff, long)) == 0); + assert(erf2(f, EJIT_ARG(1, long), EJIT_ARG(0x80000000, long)) == 0); + assert(erf2(f, EJIT_ARG(2, long), EJIT_ARG(0x7fffffff, long)) == 0); + assert(erf2(f, EJIT_ARG(2, long), EJIT_ARG(0x80000000, long)) == 0); + assert(erf2(f, EJIT_ARG(0, long), EJIT_ARG(0x7fffffff, long)) == 0); + assert(erf2(f, EJIT_ARG(0x7fffffffffffffff, long), EJIT_ARG(1, long) + ) == 0x7fffffffffffffff); + + assert(erf2(f, EJIT_ARG(0x8000000000000000, long), EJIT_ARG(1, long) + ) == (int64_t)0x8000000000000000); + + assert(erf2(f, EJIT_ARG(0x7fffffffffffffff, long), EJIT_ARG(2, long) + ) == 0x3fffffffffffffff); + + assert(erf2(f, EJIT_ARG(0x8000000000000000, long), EJIT_ARG(2, long) + ) == 0x4000000000000000); + + assert(erf2(f, EJIT_ARG(1, long), EJIT_ARG(0x7fffffffffffffff, long) + ) == 0); + + assert(erf2(f, EJIT_ARG(1, long), EJIT_ARG(0x8000000000000000, long) + ) == 0); + + assert(erf2(f, EJIT_ARG(2, long), EJIT_ARG(0x7fffffffffffffff, long) + ) == 0); + + assert(erf2(f, EJIT_ARG(2, long), EJIT_ARG(0x8000000000000000, long) + ) == 0); + + assert(erf2(f, + EJIT_ARG(0x7fffffffffffffff, long), + EJIT_ARG(0x8000000000000000, long)) == 0); + + assert(erf2(f, + EJIT_ARG(0x8000000000000000, long), + EJIT_ARG(0x7fffffffffffffff, long)) == 1); + + assert(erf2(f, + EJIT_ARG(0x7fffffffffffffff, long), + EJIT_ARG(0xffffffffffffffff, long)) == 0); + + assert(erf2(f, + EJIT_ARG(0xffffffffffffffff, long), + EJIT_ARG(0x7fffffffffffffff, long)) == 2); + + assert(erf2(f, + EJIT_ARG(0xffffffffffffffff, long), + EJIT_ARG(0xffffffffffffffff, long)) == 1); + + ejit_destroy_func(f); +} |