check_int64.c

我们自己开发的一个OSEK操作系统！不知道可不可以？

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