From: DeaDDooMER <deaddoomer@deadsoftware.ru>
Date: Mon, 24 Jul 2017 19:59:02 +0000 (+0300)
Subject: Добавлены фунции вывода для компилируемой программы
X-Git-Url: http://deadsoftware.ru/gitweb?p=dsw-obn.git;a=commitdiff_plain;h=d1b4e7fdab92589146e19cf4b8b402edf4d6b33d

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

diff --git a/generator.c b/generator.c
index ff4896d..bad063d 100644
--- 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 4133bad..fbb1be9 100644
--- 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 f1b175c..c3a4b14 100644
--- 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;
 }