* 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
*/
+#define __data
+#define __pdata
+#define __xdata
+#define __reentrant
+
#include <ao_int64.h>
#include <ao_int64.c>
#include <stdio.h>
test_a(+, ao_plus64, a, b, &ao_a, &ao_b);
test_b(+, ao_plus64, a, b, &ao_a, &ao_b);
test_x(+, ao_plus64, a, b, &ao_a, &ao_b);
+ test(-, ao_minus64, a, b, &ao_a, &ao_b);
+ test_a(-, ao_minus64, a, b, &ao_a, &ao_b);
+ test_b(-, ao_minus64, a, b, &ao_a, &ao_b);
+ test_x(-, ao_minus64, a, b, &ao_a, &ao_b);
test(*, ao_mul64_32_32,(int64_t) (int32_t) a, (int32_t) b, (int32_t) a, (int32_t) b);
test(*, ao_mul64, a, b, &ao_a, &ao_b);
test_a(*, ao_mul64, a, b, &ao_a, &ao_b);