altos/lisp: Split out read debug, add memory validation

[fw/altos] / src / lisp / ao_lisp_cons.c

diff --git a/src/lisp/ao_lisp_cons.c b/src/lisp/ao_lisp_cons.c
index 81a16a7ae05ff1bbf859b96d26e402a2b33542df..06e9d361e65630bf7b35d66ca2fef0eb4416db4e 100644 (file)
--- a/src/lisp/ao_lisp_cons.c
+++ b/src/lisp/ao_lisp_cons.c
@@ -19,10 +19,16 @@ static void cons_mark(void *addr)
        struct ao_lisp_cons     *cons = addr;
 
        for (;;) {
+               ao_poly cdr = cons->cdr;
+
                ao_lisp_poly_mark(cons->car, 1);
-               cons = ao_lisp_poly_cons(cons->cdr);
-               if (!cons)
+               if (!cdr)
+                       break;
+               if (ao_lisp_poly_type(cdr) != AO_LISP_CONS) {
+                       ao_lisp_poly_mark(cdr, 1);
                        break;
+               }
+               cons = ao_lisp_poly_cons(cdr);
                if (ao_lisp_mark_memory(&ao_lisp_cons_type, cons))
                        break;
        }
@@ -42,23 +48,29 @@ static void cons_move(void *addr)
                return;
 
        for (;;) {
-               struct ao_lisp_cons     *cdr;
-               int                     ret;
+               ao_poly                 cdr;
+               struct ao_lisp_cons     *c;
+               int     ret;
 
                MDBG_MOVE("cons_move start %d (%d, %d)\n",
                          MDBG_OFFSET(cons), MDBG_OFFSET(ao_lisp_ref(cons->car)), MDBG_OFFSET(ao_lisp_ref(cons->cdr)));
                (void) ao_lisp_poly_move(&cons->car, 1);
-               cdr = ao_lisp_poly_cons(cons->cdr);
+               cdr = cons->cdr;
                if (!cdr)
                        break;
-               ret = ao_lisp_move_memory(&ao_lisp_cons_type, (void **) &cdr);
-               if (cdr != ao_lisp_poly_cons(cons->cdr))
-                       cons->cdr = ao_lisp_cons_poly(cdr);
+               if (ao_lisp_poly_type(cdr) != AO_LISP_CONS) {
+                       (void) ao_lisp_poly_move(&cons->cdr, 1);
+                       break;
+               }
+               c = ao_lisp_poly_cons(cdr);
+               ret = ao_lisp_move_memory(&ao_lisp_cons_type, (void **) &c);
+               if (c != ao_lisp_poly_cons(cons->cdr))
+                       cons->cdr = ao_lisp_cons_poly(c);
                MDBG_MOVE("cons_move end %d (%d, %d)\n",
                          MDBG_OFFSET(cons), MDBG_OFFSET(ao_lisp_ref(cons->car)), MDBG_OFFSET(ao_lisp_ref(cons->cdr)));
                if (ret)
                        break;
-               cons = cdr;
+               cons = c;
        }
 }
 
@@ -93,6 +105,19 @@ ao_lisp_cons_cons(ao_poly car, ao_poly cdr)
        return cons;
 }
 
+struct ao_lisp_cons *
+ao_lisp_cons_cdr(struct ao_lisp_cons *cons)
+{
+       ao_poly cdr = cons->cdr;
+       if (cdr == AO_LISP_NIL)
+               return NULL;
+       if (ao_lisp_poly_type(cdr) != AO_LISP_CONS) {
+               (void) ao_lisp_error(AO_LISP_INVALID, "improper list");
+               return NULL;
+       }
+       return ao_lisp_poly_cons(cdr);
+}
+
 ao_poly
 ao_lisp__cons(ao_poly car, ao_poly cdr)
 {
@@ -102,6 +127,9 @@ ao_lisp__cons(ao_poly car, ao_poly cdr)
 void
 ao_lisp_cons_free(struct ao_lisp_cons *cons)
 {
+#if DBG_FREE_CONS
+       ao_lisp_cons_check(cons);
+#endif
        while (cons) {
                ao_poly cdr = cons->cdr;
                cons->cdr = ao_lisp_cons_poly(ao_lisp_cons_free_list);
@@ -111,7 +139,7 @@ ao_lisp_cons_free(struct ao_lisp_cons *cons)
 }
 
 void
-ao_lisp_cons_print(ao_poly c)
+ao_lisp_cons_write(ao_poly c)
 {
        struct ao_lisp_cons *cons = ao_lisp_poly_cons(c);
        int     first = 1;
@@ -119,14 +147,14 @@ ao_lisp_cons_print(ao_poly c)
        while (cons) {
                if (!first)
                        printf(" ");
-               ao_lisp_poly_print(cons->car);
+               ao_lisp_poly_write(cons->car);
                c = cons->cdr;
                if (ao_lisp_poly_type(c) == AO_LISP_CONS) {
                        cons = ao_lisp_poly_cons(c);
                        first = 0;
                } else {
                        printf(" . ");
-                       ao_lisp_poly_print(c);
+                       ao_lisp_poly_write(c);
                        cons = NULL;
                }
        }
@@ -134,12 +162,12 @@ ao_lisp_cons_print(ao_poly c)
 }
 
 void
-ao_lisp_cons_patom(ao_poly c)
+ao_lisp_cons_display(ao_poly c)
 {
        struct ao_lisp_cons *cons = ao_lisp_poly_cons(c);
 
        while (cons) {
-               ao_lisp_poly_patom(cons->car);
+               ao_lisp_poly_display(cons->car);
                cons = ao_lisp_poly_cons(cons->cdr);
        }
 }