#include <stdio.h>

#include <stdlib.h>

#include <stdint.h>

#include "sys.h"

#include "crisutils.h"

extern inline int64_t add64(const int64_t a, const int64_t b) {

	return a + b;

}

extern inline int64_t sub64(const int64_t a, const int64_t b) {

	return a - b;

}

int main(void)

{

	int64_t a = 1;

	int64_t b = 2;

	/* FIXME: add some tests.  */

	a = add64(a, b);

	if (a != 3)

		err();

	a = sub64(a, b);

	if (a != 1)

		err();

	a = add64(a, -4);

	if (a != -3)

		err();

	a = add64(a, 3);

	if (a != 0)

		err();

	a = 0;

	a = sub64(a, 1);

	if (a != -1)

		err();

	pass();

	return 0;

}