aboutsummaryrefslogtreecommitdiff
path: root/tests/divr_u64.c
diff options
context:
space:
mode:
authorKimplul <kimi.h.kuparinen@gmail.com>2024-07-13 21:36:02 +0300
committerKimplul <kimi.h.kuparinen@gmail.com>2024-07-13 21:36:02 +0300
commit5e64dbec81504aaacac1e733edd5230f59670466 (patch)
tree904038fae0b1ceb43f3f9b9de9f843f5d059d068 /tests/divr_u64.c
parent26fcfcf333e852b256af8ed4ca7f9e497958f6d8 (diff)
downloadejit-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.c96
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);
+}