From: Michael D. Lowis <mike.lowis@gentex.com>
Date: Tue, 4 May 2021 19:29:01 +0000 (-0400)
Subject: started working on argument parsing
X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=99a7640676df3d445fd2e2e6f13648d60bb1aef1;p=proto%2Fobnc.git

started working on argument parsing
---

diff --git a/cerise/backend/c99/codegen.c b/cerise/backend/c99/codegen.c
index 9ce8dc1..54a4873 100644
--- a/cerise/backend/c99/codegen.c
+++ b/cerise/backend/c99/codegen.c
@@ -230,3 +230,38 @@ void codegen_endif(Parser* p, long elsifs, Item* item)
     }
     printf("}\n");
 }
+
+void codegen_prepcall(Parser* p, Item* item)
+{
+//            printf("    const %s _T%d = %lld;\n",
+//                TypeNames[item->type->form], p->curr_reg, item->imm.i);
+//            item->reg = p->curr_reg;
+//            p->curr_reg++;
+//    printf("    const long _T%d = %s(", p->curr_reg, item->imm.s);
+//    item->reg = p->curr_reg;
+//    p->curr_reg++;
+}
+
+void codegen_call(Parser* p, Item* item)
+{
+    (void)p, (void)item;
+
+    printf("    const long _T%d = %s(", p->curr_reg, item->imm.s);
+    item->reg = p->curr_reg;
+    p->curr_reg++;
+    printf(");\n");
+}
+
+void codegen_setarg(Parser* p, Item* item, bool firstarg)
+{
+    load_var(p, item);
+//    (void)p, (void)item;
+//    if (item->mode == ITEM_CONST)
+//    {
+//        printf("%s%lld", (!firstarg ? ", " : ""), item->imm.i);
+//    }
+//    else
+//    {
+//        printf("%s_T%ld", (!firstarg ? ", " : ""), item->reg);
+//    }
+}
diff --git a/cerise/backend/test/codegen.c b/cerise/backend/test/codegen.c
index f1cbc37..5de6cf1 100644
--- a/cerise/backend/test/codegen.c
+++ b/cerise/backend/test/codegen.c
@@ -100,3 +100,18 @@ void codegen_endif(Parser* p, long elsifs, Item* item)
 {
     (void)p, (void)elsifs, (void)item;
 }
+
+void codegen_prepcall(Parser* p, Item* item)
+{
+    (void)p, (void)item;
+}
+
+void codegen_call(Parser* p, Item* item)
+{
+    (void)p, (void)item;
+}
+
+void codegen_setarg(Parser* p, Item* item, bool firstarg)
+{
+    (void)p, (void)item, (void)firstarg;
+}
diff --git a/cerise/backend/x86_64/codegen.c b/cerise/backend/x86_64/codegen.c
index d2b44ff..c8b06d1 100644
--- a/cerise/backend/x86_64/codegen.c
+++ b/cerise/backend/x86_64/codegen.c
@@ -329,3 +329,18 @@ void codegen_endif(Parser* p, long elsifs, Item* item)
 {
     (void)p, (void)elsifs, (void)item;
 }
+
+void codegen_prepcall(Parser* p, Item* item)
+{
+    (void)p, (void)item;
+}
+
+void codegen_call(Parser* p, Item* item)
+{
+    (void)p, (void)item;
+}
+
+void codegen_setarg(Parser* p, Item* item, bool firstarg)
+{
+    (void)p, (void)item, (void)firstarg;
+}
diff --git a/cerise/inc/cerise.h b/cerise/inc/cerise.h
index 1aae1fd..21a83e7 100644
--- a/cerise/inc/cerise.h
+++ b/cerise/inc/cerise.h
@@ -98,6 +98,8 @@ typedef struct Symbol {
     } class;
     char* name;
     Type* type;
+    struct Symbol* desc;
+    long nargs;
     ImmValue imm;
     int export : 1;
     int global : 1;
@@ -212,6 +214,10 @@ void codegen_if(Parser* p, Item* item);
 void codegen_else(Parser* p, Item* item);
 void codegen_endif(Parser* p, long elsifs, Item* item);
 
+void codegen_prepcall(Parser* p, Item* item);
+void codegen_call(Parser* p, Item* item);
+void codegen_setarg(Parser* p, Item* item, bool firstarg);
+
 /*
 
 typedef struct AnfNode {
diff --git a/cerise/oberon0/OSG.Mod b/cerise/oberon0/OSG.Mod
index bd64f26..f75fb1e 100644
--- a/cerise/oberon0/OSG.Mod
+++ b/cerise/oberon0/OSG.Mod
@@ -488,7 +488,8 @@ MODULE OSG; (* NW 19.12.94 / 20.10.07 / OSGX  9.5.2017*)
   END ValueParam;
 
   PROCEDURE OpenArrayParam*(VAR x: Item);
-  BEGIN loadAdr(x);
+  BEGIN
+    loadAdr(x);
     IF x.type.len >= 0 THEN
       Put1(Mov, RH, 0, x.type.len)
     ELSE
diff --git a/cerise/src/grammar.c b/cerise/src/grammar.c
index 5ffb654..6076527 100644
--- a/cerise/src/grammar.c
+++ b/cerise/src/grammar.c
@@ -61,31 +61,27 @@ static void init_item(Item* item, Symbol* sym)
  *****************************************************************************/
 static void expression(Parser* p, Item* item);
 
-RULE(param)
-{
-    (void)item;
-    Item arg = {0};
-    expression(p, &arg);
-    // if check_types()
-//    codegen_setarg(p, &arg);
-    // else check_array_type()
-}
-
 RULE(param_list)
 {
     (void)item;
     int nargs = 0;
-    Item arg = {0};
+    Item argdef = {0};
     if (!matches(p, ')'))
     {
-        // arg = <get from item>
-        param(p, &arg);
+        Item arg = {0};
+        expression(p, &arg);
+        // if check_types()
+        codegen_setarg(p, &arg, true);
+        // else check_array_type()
         nargs++;
+
         while (!matches(p, ')'))
         {
             expect(p, ',');
-            // arg = <get from item>
-            param(p, &arg);
+            expression(p, &arg);
+            // if check_types()
+            codegen_setarg(p, &arg, false);
+            // else check_array_type()
             nargs++;
         }
     }
@@ -191,8 +187,9 @@ RULE(factor)
             if (accept(p, '('))
             {
                 // TODO: check item is a procedure
+                codegen_prepcall(p, item);
                 param_list(p, item);
-                //codegen_call(p, item);
+                codegen_call(p, item);
                 expect(p, ')');
             }
             break;
@@ -303,6 +300,7 @@ RULE(type)
     }
     else if (accept(p, RECORD))
     {
+        expect(p, END);
     }
     else
     {
@@ -447,21 +445,26 @@ RULE(const_decl)
 RULE(proc_decl)
 {
     expect(p, PROCEDURE);
-    (void)expect_text(p, IDENT);
-    (void)accept(p, '*');
+    char* name = expect_text(p, IDENT);
+    bool export = accept(p, '*');
+    Symbol* sym = symbol_new(p, name, SYM_PROC, export);
+    Symbol** args = &(sym->desc);
 
     /* construct the proc type */
     expect(p, '(');
     while (!matches(p, ')'))
     {
-        (void)expect_text(p, IDENT);
+        char* name = expect_text(p, IDENT);
         expect(p, ':');
         type(p, item);
+        sym->nargs++;
+        // TODO: Added argument symbol here...
     }
     expect(p, ')');
     if (accept(p, ':'))
     {
         type(p, item);
+        sym->type = item->type;
     }
 
     /* parse the declarations */
@@ -487,7 +490,10 @@ RULE(proc_decl)
 
     /* parse the body of the procedure */
     expect(p, BEGIN);
-    statement_seq(p, item);
+    if (!matches(p, RETURN) && !matches(p, END))
+    {
+        statement_seq(p, item);
+    }
     if (accept(p, RETURN))
     {
         expression(p, item);
@@ -690,12 +696,33 @@ TEST_SUITE(Grammar)
         parse_rule(const_decl, 0, "FOO = 5, BAR = FOO - 3");
     }
 
-    TEST(Should module level variable declarations)
+    TEST(Should parse module level type declarations)
+    {
+        parse_rule(type_decl, 0, "a = Int");
+        parse_rule(type_decl, 0, "a = Real");
+        parse_rule(type_decl, 0, "a = Bool");
+        parse_rule(type_decl, 0, "a = array 42 of Int");
+        parse_rule(type_decl, 0, "a = array 42 of array 42 of Int");
+        parse_rule(type_decl, 0, "a = record end");
+    }
+
+    TEST(Should parse module level variable declarations)
     {
         parse_rule(var_decl, 0, "i : Int");
         parse_rule(var_decl, 0, "i : Real");
         parse_rule(var_decl, 0, "i : Bool");
         parse_rule(var_decl, 0, "x,y,z : Int");
     }
+
+    TEST(Should parse module level procedure declarations)
+    {
+        parse_rule(proc_decl, 0,
+            "procedure Foo*() : Int\n"
+            "begin\n"
+            "    return 1;\n"
+            "end"
+         );
+    }
+
 }
 #endif
diff --git a/cerise/tests/Module.m b/cerise/tests/Module.m
index 9d8dbdf..74a7835 100644
--- a/cerise/tests/Module.m
+++ b/cerise/tests/Module.m
@@ -14,6 +14,8 @@ type
   TypeC = array 5 of array 10 of Int
   TypeD = record
 
+  end
+
 var
   a : Bool
   b : Int
@@ -91,5 +93,5 @@ begin
 #    c = 3;
 #  end
 
-#    c = c(1,2,3);
+    c = c(1,a,3);
 end