work on parameter passing.

Author: kjs

src/ast.c

@@ -187,10 +187,11 @@ expr_set_unexpr(M1_compiler *comp, m1_expression *node, m1_expression *exp, m1_u
 
 m1_expression *
 funcall(M1_compiler *comp, char *name, m1_expression *args) {
-	m1_expression *expr = expression(comp, EXPR_FUNCALL);
-	expr->expr.f       = (m1_funcall *)m1_malloc(sizeof(m1_funcall));
-	expr->expr.f->name = name;
-	
+	m1_expression *expr     = expression(comp, EXPR_FUNCALL);
+	expr->expr.f            = (m1_funcall *)m1_malloc(sizeof(m1_funcall));
+	expr->expr.f->name      = name;
+    expr->expr.f->arguments = args;	
+    
 	/* enter name of function to invoke into constant table. */
 	sym_enter_chunk(&comp->currentchunk->constants, name);
     return expr;   

src/ast.h

@@ -49,8 +49,8 @@ typedef struct m1_assignment {
 } m1_assignment;
 
 typedef struct m1_funcall {
-    char *name;
-    /* TODO: add args */
+    char                 *name;
+    struct m1_expression *arguments;
 
 } m1_funcall;
 

src/gencode.c

@@ -1095,6 +1095,22 @@ gencode_funcall(M1_compiler *comp, m1_funcall *f) {
     fprintf(OUT, "\tset_imm   I%d, 0, 0\n", flagsreg.no);
     fprintf(OUT, "\tgc_alloc  P%d, I%d, I%d\n", cf_reg.no, sizereg.no, flagsreg.no);
 
+    /* store arguments in registers of new callframe.
+       XXX this still needs to be specced for M0's calling conventions. */
+       
+    m1_expression *argiter = f->arguments;
+    int regindex = 12; /* points to I0. XXX */
+    while (argiter != NULL) {
+        m1_reg argreg;
+        m1_reg indexreg = gen_reg(comp, VAL_INT);
+        gencode_expr(comp, argiter);
+        argreg = popreg(comp->regstack);
+        fprintf(OUT, "\tset_imm   I%d, 0, %d\n", indexreg.no, regindex);
+        fprintf(OUT, "\tset_ref   P%d, I%d, I%d\n", cf_reg.no, indexreg.no, argreg.no);
+        regindex++;
+        argiter = argiter->next;   
+    }
+    
     /* init_cf_copy: */
     m1_reg temp = gen_reg(comp, VAL_INT);
     fprintf(OUT, "\tset_imm   I%d, 0, INTERP\n", temp.no);

src/m1.y

@@ -454,7 +454,6 @@ function_init   : return_type TK_IDENT
                         }
                 ;
 
-/* TODO: parameter handling. */        
 parameters  : /* empty */
                 { $$ = NULL; }
             | param_list