#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(int64_t)),
		EJIT_OPERAND_GPR(1, EJIT_TYPE(int64_t))
	};
	struct ejit_func *f = ejit_create_func(EJIT_TYPE(int64_t), 2, operands);

	ejit_xorr(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(int64_t), do_jit, true);

	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);
}