student files added for review

Author: akuhlens

interp.rkt

@@ -527,7 +527,6 @@
 
     (define/override (interp-C env)
       (lambda (ast)
-        (vomit "R2/interp-C" ast env)
         (match ast
           ;; I should do better than make these noops - andre
           [`(initialize ,s ,h)
@@ -556,14 +555,15 @@
                         (exact-nonnegative-integer? ((interp-C env) size)))
              (error 'interp-C "invalid argument(s) to collect in ~a" ast)) 
            env]
-          ;; Referece a global value (should I put these in the environment?)
-          [`(global-value ,l) (fetch-global l)]
-          ;; TODO: Highly expiramental semantics
-          [`(movq ,src ,dst) ((interp-x86 env) (list ast))]
           ;; allocate a vector of length l and type t that is initialized.
           [`(allocate ,l ,t) (build-vector l (lambda a uninitialized))]
           ;; Analysis information making introduce rootstack easier
-          [`(call-live-roots (,xs ...) ,ss ...) ((send this seq-C env) ss)]
+          [`(call-live-roots (,xs ...) ,ss ...)
+           (for ([x (in-list xs)])
+             (unless (vector? (lookup x env))
+               (error 'interp-C
+                      "call-live-roots stores non-root ~a in ~a" x ast)))
+           ((send this seq-C env) ss)]
           [otherwise ((super interp-C env) ast)])))
 
     (define/override (interp-x86-exp env)     

run-tests.rkt

@@ -25,8 +25,10 @@
     ("reg_int_exp"  #f                        ,reg-int-exp-passes  (0))
     ("conditionals" ,conditionals-typechecker ,conditionals-passes (0 1))
     ("vectors"      ,vectors-typechecker      ,vectors-passes      (0 1 2))
-    ("functions"    ,functions-typechecker    ,functions-passes    (0 1 2 3))
-    ("lambda"       ,lambda-typechecker       ,lambda-passes       (0 1 2 3 4))))
+    ;; Commenting out these two compilers until we update them -andre
+    ;;("functions"    ,functions-typechecker    ,functions-passes    (0 1 2 3))
+    ;;("lambda"       ,lambda-typechecker       ,lambda-passes       (0 1 2 3 4))
+    ))
 
 (define compiler-table (make-immutable-hash compiler-list))
 

runtime.c

@@ -2,21 +2,6 @@
 #include <stdio.h>
 #include "runtime.h"
 #define DEBUG_MODE 1
-/*
-// The next free memory location 
-int64_t* free_ptr;
-
-// The beginning and end of the working heap for the "mutator"
-// the program for which we are providing runtime services.
-int64_t* fromspace_begin;
-int64_t* fromspace_end;
-
-// The rootset of the "mutator" organized in a stack. Each root
-// in the stack is a pointer into fromspace, while the "mutator"
-// is executing.
-int64_t** rootstack_begin;
-int64_t** rootstack_end;
-*/
 
 // Often misunderstood static global variables in C are not
 // accessible to code outside of the module.
@@ -28,8 +13,16 @@ static int64_t* tospace_end;
 // checked in order to ensure that initialization has occurred.
 static int initialized = 0;
 
-// Vectors have a tag describing their contents in their first memory
-// location here are some helpers that can help with their manipulation.
+
+/*
+  Object Tag (64 bits)
+  #b|- 7 bit unused -|- 50 bit field [50, 0] -| 6 bits lenght -| 1 bit isForwarding Pointer  
+  * If the bottom-most bit is zero, the tag is really a forwarding pointer.
+  * Otherwise, its an object. In that case, the next 
+    6 bits give the length of the object (max of 50 64-bit words).
+    The next 50 bits say where there are pointers.
+    A '1' is a pointer, a '0' is not a pointer.
+*/
 static const int TAG_IS_NOT_FORWARD_MASK = 1;
 static const int TAG_LENGTH_MASK = 126;
 static const int TAG_LENGTH_RSHIFT = 1;