#include <ejit/ejit.h>
#include <assert.h>
#include "do_jit.h"

int main()
{
	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(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(ejit_run_func_2(f,
	                       EJIT_ARG(0x7fffffff, long),
	                       EJIT_ARG(1, long)) == 0x7fffffff);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(1, long),
	                       EJIT_ARG(0x7fffffff, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x80000000, long),
	                       EJIT_ARG(1, long)) == 0x80000000);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(1, long),
	                       EJIT_ARG(0x80000000, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x7fffffff, long),
	                       EJIT_ARG(2, long)) == 0x3fffffff);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(2, long),
	                       EJIT_ARG(0x7fffffff, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(2, long),
	                       EJIT_ARG(0x80000000, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x7fffffff, long),
	                       EJIT_ARG(0x80000000, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0, long),
	                       EJIT_ARG(0x7fffffff, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0xffffffff, long),
	                       EJIT_ARG(0xffffffff, long)) == 1);

#warning "Some 32bit handling still unclear"
	/* 32bit specific stuff, unsure how this should be handled on 64bit
	 * systems
	   assert(ejit_run_func_2(f,
	                        EJIT_ARG(0x80000000, long),
	                        EJIT_ARG(2, long)) == 0xc0000000);

	   assert(ejit_run_func_2(f,
	                        EJIT_ARG(0x80000000, long),
	                        EJIT_ARG(0x7fffffff, long)) == 0xffffffff);

	   assert(ejit_run_func_2(f,
	                        EJIT_ARG(0x7fffffff, long),
	                        EJIT_ARG(0xffffffff, long)) == 0x80000001);

	   assert(ejit_run_func_2(f,
	                        EJIT_ARG(0xffffffff, long),
	                        EJIT_ARG(0x7fffffff, long)) == 0);
	 */

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x80000000, long),
	                       EJIT_ARG(2, long)) == 0x40000000);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x80000000, long),
	                       EJIT_ARG(0x7fffffff, long)) == 1);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x7fffffff, long),
	                       EJIT_ARG(0xffffffff, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0xffffffff, long),
	                       EJIT_ARG(0x7fffffff, long)) == 2);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x7fffffffffffffff, long),
	                       EJIT_ARG(1, long)) == 0x7fffffffffffffff);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(1, long),
	                       EJIT_ARG(0x7fffffffffffffff, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x8000000000000000, long),
	                       EJIT_ARG(1, long))
	       == (int64_t)0x8000000000000000);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(1, long),
	                       EJIT_ARG(0x8000000000000000, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x7fffffffffffffff, long),
	                       EJIT_ARG(2, long))
	       == (int64_t)0x3fffffffffffffff);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(2, long),
	                       EJIT_ARG(0x7fffffffffffffff, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x8000000000000000, long),
	                       EJIT_ARG(2, long))
	       == (int64_t)0xc000000000000000);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(2, long),
	                       EJIT_ARG(0x8000000000000000, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x7fffffffffffffff, long),
	                       EJIT_ARG(0x8000000000000000, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x8000000000000000, long),
	                       EJIT_ARG(0x7fffffffffffffff, long))
	       == (int32_t)0xffffffffffffffff);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0x7fffffffffffffff, long),
	                       EJIT_ARG(0xffffffffffffffff, long))
	       == (int32_t)0x8000000000000001);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0xffffffffffffffff, long),
	                       EJIT_ARG(0x7fffffffffffffff, long)) == 0);

	assert(ejit_run_func_2(f,
	                       EJIT_ARG(0xffffffffffffffff, long),
	                       EJIT_ARG(0xffffffffffffffff, long)) == 1);

	ejit_destroy_func(f);
}