Добавлены фунции вывода для компилируемой программы

diff --git a/generator.c b/generator.c
index ff4896d3880de3b018213680a62c216a192e05da..bad063d57adcac9ee2c45d5f1442febdf5839055 100644 (file)
--- a/generator.c
+++ b/generator.c
@@ -223,7 +223,7 @@ oberon_generator_init_var(oberon_context_t * ctx, oberon_object_t * var)
                else
                {
                        gcc_lvalue = gcc_jit_context_new_global(
-                               gcc_context, NULL, GCC_JIT_GLOBAL_INTERNAL, gcc_type, name
+                               gcc_context, NULL, GCC_JIT_GLOBAL_EXPORTED, gcc_type, name
                        );
                }
        }

diff --git a/notes b/notes
index 4133badb548062218500fb6a93abea0594551be3..fbb1be93c7374f5bc8a2f590932f0706c3640d5f 100644 (file)
--- a/notes
+++ b/notes
@@ -1,16 +1,18 @@
-- нету тестовых процедур для ввода-вывода
 - нету процедуры NEW
 - нету открытых массивов
 
 - нету операторов if, while и т.д.
 
+- нет символов и строк
+- импортируемые модули не инициализируются (секция begin)
+- нету типа real, оператор / должен возвращать дробный результат
 - нету типа set
 - не реализована свёртка констант
 - не протестированы типы разнных размеров
 
 - не реализовано присваивание к переменным-процедурам:
     в libgccjit нет средств получения указателя на функцию.
-    Как решение - получение указателя в основной программе.
+    Как решение-костыль - получение указателя в основной программе и сохранение в переменной.
 - не реализовано расширение типа record:
     libgccjit не умеет в классы. Проверки в рантайме надо делать вручную.
 - не реализован автокаст:

diff --git a/test.c b/test.c
index f1b175cf476d22f404de648888f0d39e45c9de81..c3a4b1467f51256bbec89e210374cb69d90a44d8 100644 (file)
--- a/test.c
+++ b/test.c
@@ -7,34 +7,26 @@
 static char source_test[] =
        "(* Main module *)"
        "MODULE Test;"
-       "IMPORT I := Imported;"
-       "VAR"
-       "  x, y : I.Rider;"
-       "PROCEDURE Proc(x, y, z : INTEGER);"
-       "BEGIN"
-       "  x := 1;"
-       "END Proc;"
+       "IMPORT Out;"
        "BEGIN;"
-       "  y.i := 1;"
-       "  I.a[0] := 1;"
+       "  Out.Open;"
+       "  Out.Int(666, 0);"
+       "  Out.Ln;"
        "END Test."
 ;
 
-static char source_imported[] =
-       "MODULE Imported;"
-       "TYPE"
-       "       Rider* = RECORD i*, j-, k : INTEGER; END;"
+static char source_out[] =
+       "MODULE Out;"
        "VAR"
-       "       i- : INTEGER;"
-       "       a* : ARRAY 3 OF INTEGER;"
-       ""
-       "PROCEDURE Ln*;"
-       "END Ln;"
-       ""
-       "BEGIN;"
-       "       i := 1;"
-       "       a[0] := 555;"
-       "END Imported."
+       "  Open-     : PROCEDURE;"
+//     "  Char-     : PROCEDURE(ch : CHAR);"
+//     "  String-   : PROCEDURE(str : ARRAY OF CHAR)"
+//     "  Int-      : PROCEDURE(i, n : LONGINT);"
+       "  Int-      : PROCEDURE(i, n : INTEGER);"
+//     "  Real-     : PROCEDURE(x : REAL; n : INTEGER);"
+//     "  LongReal- : PROCEDURE(x : LONGREAL; n : INTEGER);"
+       "  Ln-       : PROCEDURE;"
+       "END Out."
 ;
 
 static oberon_context_t * ctx;
@@ -47,9 +39,9 @@ import_module(const char * name)
        {
                return source_test;
        }
-       else if(strcmp(name, "Imported") == 0)
+       else if(strcmp(name, "Out") == 0)
        {
-               return source_imported;
+               return source_out;
        }
        else
        {
@@ -57,13 +49,56 @@ import_module(const char * name)
        }
 }
 
+typedef void (*TOutOpen)();
+static TOutOpen * OutOpenPtr;
+void ImplOutOpen()
+{
+}
+
+typedef void (*TOutInt)(int, int);
+static TOutInt * OutIntPtr;
+void ImplOutInt(int i, int n)
+{
+       printf("%i", i);
+}
+
+typedef void (*TOutLn)();
+static TOutLn * OutLnPtr;
+void ImplOutLn()
+{
+       printf("\n");
+}
+
+void init_system_modules()
+{
+       OutOpenPtr = oberon_generator_get_var(ctx, "Out_Open");
+       *OutOpenPtr = ImplOutOpen;
+       OutIntPtr = oberon_generator_get_var(ctx, "Out_Int");
+       *OutIntPtr = ImplOutInt;
+       OutLnPtr = oberon_generator_get_var(ctx, "Out_Ln");
+       *OutLnPtr = ImplOutLn;
+}
+
+void start_module()
+{
+       void (*begin)() = oberon_generator_get_procedure(ctx, "Test_BEGIN");
+       begin();
+}
+
 int
 main(int argc, char ** argv)
 {
        ctx = oberon_create_context(import_module);
        mod = oberon_compile_module(ctx, source_test);
+
        oberon_generate_code(ctx);
+
+       init_system_modules();
+
        oberon_generator_dump(ctx, "dump.txt");
+
+       start_module();
+
        oberon_destroy_context(ctx);
        return 0;
 }