altos: Make TeleMini v2.0 fit
[fw/altos] / src / test / ao_int64_test.c
index 4c88b1a13047b69e309c443ac0e24511d0cc4275..8557a1c79648b2538622d4c79562fb7a4b416bfa 100644 (file)
  * 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>
@@ -65,6 +70,10 @@ do_test(int trial, int64_t a, int64_t b)
        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);