Добавлены указатели

diff --git a/generator.c b/generator.c
index e4970fd995b0e5af87d12cb93f5c6d36bfe24359..f65b066d1fab3fe1f26df2430f6869126ee98390 100644 (file)
--- a/generator.c
+++ b/generator.c
@@ -79,25 +79,6 @@ oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type)
        {
                gcc_type = gcc_jit_context_get_type(gcc_context, GCC_JIT_TYPE_BOOL);
        }
-       else if(type -> class == OBERON_TYPE_PROCEDURE)
-       {
-               int num_params = type -> num_decl;
-               gcc_jit_type * params[num_params];
-               oberon_object_t * o = type -> decl;
-               for(int i = 0; i < num_params; i++)
-               {
-                       gen_type_t * gen_type = o -> type -> gen_type;
-                       params[i] = gen_type -> gcc_type;
-                       o = o -> next;
-               }
-
-               gen_type_t * base = type -> base -> gen_type;
-               gcc_jit_type * result_type = base -> gcc_type;
-
-               gcc_type = gcc_jit_context_new_function_ptr_type(
-                       gcc_context, NULL, result_type, num_params, params, 0
-               );
-       }
        else if(type -> class == OBERON_TYPE_ARRAY)
        {
                if(type -> dim != 1)
@@ -128,11 +109,37 @@ oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type)
                gcc_struct = gcc_jit_context_new_struct_type(gcc_context, NULL, "", num_fields, fields);
                gcc_type = gcc_jit_struct_as_type(gcc_struct);
        }
+       else if(type -> class == OBERON_TYPE_POINTER)
+       {
+               gen_type_t * gen_base = type -> base -> gen_type;
+               gcc_jit_type * gcc_base = gen_base -> gcc_type;
+               gcc_type = gcc_jit_type_get_pointer(gcc_base);
+       }
+       else if(type -> class == OBERON_TYPE_PROCEDURE)
+       {
+               int num_params = type -> num_decl;
+               gcc_jit_type * params[num_params];
+               oberon_object_t * o = type -> decl;
+               for(int i = 0; i < num_params; i++)
+               {
+                       gen_type_t * gen_type = o -> type -> gen_type;
+                       params[i] = gen_type -> gcc_type;
+                       o = o -> next;
+               }
+
+               gen_type_t * base = type -> base -> gen_type;
+               gcc_jit_type * result_type = base -> gcc_type;
+
+               gcc_type = gcc_jit_context_new_function_ptr_type(
+                       gcc_context, NULL, result_type, num_params, params, 0
+               );
+       }
        else
        {
                oberon_error(ctx, "oberon_generator_init_type: invalid type class %i", type -> class);
        }
 
+       assert(gcc_type);
        gen_type -> gcc_type = gcc_type;
        gen_type -> gcc_struct = gcc_struct;
 }

diff --git a/notes b/notes
index 0d9dbdc989a434fc381b5efbaf0af99603bc9f39..0be804bc0f5a278b2ef7cedd46dd58cc95053757 100644 (file)
--- a/notes
+++ b/notes
@@ -1,7 +1,14 @@
-- нету автокаста в присвоении и передачи параметров
-- нету локальных объявлений в процедурах
-- нету свёртки констант
-- нету не работает присваивание к переменным-процедурам.
-- нету указателей
-- нету расширения типа
-- нету var-параметров в генераторе
+- нету процедуры NEW
+- не реализовано расширение типа record
+- не реализовано преждевременное объявление типа
+- не реализованы многомерные массивы
+
+- не реализованы локальные объявления в процедурах
+- не работает присваивание к переменным-процедурам.
+- не понятен результат присваивания статических структур (* reca := recb; *)
+- не реализованы var-параметры в генераторе
+- не реализованы процедуры "наперёд"
+
+- не реализована свёртка констант
+- не реализован автокаст (libgccjit сам разруливает)
+- не протестированы типы разнных размеров

diff --git a/oberon.c b/oberon.c
index bd5498bbccc06ee9a4ac7ff684ca9f2532149bf9..7ca600e205a26e377f25bea0de64ff7ad0c758cf 100644 (file)
--- a/oberon.c
+++ b/oberon.c
@@ -48,7 +48,9 @@ enum {
        OF,
        LBRACE,
        RBRACE,
-       RECORD
+       RECORD,
+       POINTER,
+       TO
 };
 
 // =======================================================================
@@ -387,6 +389,14 @@ oberon_read_ident(oberon_context_t * ctx)
        {
                ctx -> token = RECORD;
        }
+       else if(strcmp(ident, "POINTER") == 0)
+       {
+               ctx -> token = POINTER;
+       }
+       else if(strcmp(ident, "TO") == 0)
+       {
+               ctx -> token = TO;
+       }
 }
 
 static void
@@ -1227,6 +1237,31 @@ oberon_field_list(oberon_context_t * ctx, oberon_type_t * rec)
        }
 }
 
+static oberon_type_t *
+oberon_make_pointer(oberon_context_t * ctx, oberon_type_t * type)
+{
+       if(type -> class == OBERON_TYPE_POINTER)
+       {
+               return type;
+       }
+
+       if(type -> class == OBERON_TYPE_INTEGER
+               || type -> class == OBERON_TYPE_BOOLEAN
+               || type -> class == OBERON_TYPE_PROCEDURE
+               || type -> class == OBERON_TYPE_VOID)
+       {
+               oberon_error(ctx, "oberon not support pointers to non structure types");
+       }
+
+       oberon_type_t * newtype;
+       newtype = oberon_new_type_ptr(OBERON_TYPE_POINTER);
+       newtype -> base = type;
+
+       oberon_generator_init_type(ctx, newtype);
+
+       return newtype;
+}
+
 static oberon_type_t * oberon_opt_formal_pars(oberon_context_t * ctx, int class);
 
 static oberon_type_t *
@@ -1268,6 +1303,13 @@ oberon_type(oberon_context_t * ctx)
                type -> decl = type -> decl -> next;
                oberon_generator_init_type(ctx, type);
        }
+       else if(ctx -> token == POINTER)
+       {
+               oberon_assert_token(ctx, POINTER);
+               oberon_assert_token(ctx, TO);
+               type = oberon_type(ctx);
+               type = oberon_make_pointer(ctx, type);
+       }
        else if(ctx -> token == PROCEDURE)
        {
                oberon_assert_token(ctx, PROCEDURE);

diff --git a/oberon.h b/oberon.h
index 69ee927fede72bb5a643c55608c23db621e78c44..16044d4cf34843f6311173f930b995dda8df3157 100644 (file)
--- a/oberon.h
+++ b/oberon.h
@@ -72,6 +72,7 @@ enum
        OBERON_TYPE_PROCEDURE,
        OBERON_TYPE_ARRAY,
        OBERON_TYPE_RECORD,
+       OBERON_TYPE_POINTER
 };
 
 /*

diff --git a/test.c b/test.c
index 178327ecf317a2ad3298036bf70b59a620c1af39..8f3edc4aec855db2d7e30c6f1b24d0f45ece44c3 100644 (file)
--- a/test.c
+++ b/test.c
@@ -7,10 +7,13 @@ static const char source[] =
        ""
        "TYPE"
        "       MyInt = INTEGER;"
-       "       MyRec = RECORD"
+       "       MyRec = POINTER TO RECORD"
        "               a : MyInt;"
+       "               next : MyRec;"
        "       END;"
-       "       MyRecPtr = POINTER TO MyRec;"
+       ""
+       "VAR"
+       "       r : MyRec;"
        ""
        "BEGIN"
        "       "