From 12ae486a18746b042fcc4ebbefc5449d4d3464af Mon Sep 17 00:00:00 2001 From: DeaDDooMER Date: Mon, 24 Jul 2017 23:04:11 +0300 Subject: [PATCH] =?utf8?q?=D0=94=D0=BE=D0=B1=D0=B0=D0=B2=D0=BB=D0=B5=D0=BD?= =?utf8?q?=D0=BE=20=D0=B2=D1=8B=D1=87=D0=B8=D1=81=D0=BB=D0=B5=D0=BD=D0=B8?= =?utf8?q?=D0=B5=20=D1=80=D0=B0=D0=B7=D0=BC=D0=B5=D1=80=D0=BE=D0=B2=20?= =?utf8?q?=D1=82=D0=B8=D0=BF=D0=B0=20=D0=B4=D0=BB=D1=8F=20=D0=B0=D0=BB?= =?utf8?q?=D0=BB=D0=BE=D0=BA=D0=B0=D1=86=D0=B8=D0=B8?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- generator.c | 55 ++++++++++++++++++++++++++++++++++++++++++++++++----- notes | 36 +++++++++++++++++++++++++---------- oberon.c | 18 ++++++++++-------- oberon.h | 3 +-- test.c | 6 ++++-- 5 files changed, 91 insertions(+), 27 deletions(-) diff --git a/generator.c b/generator.c index 94bc169..179320a 100644 --- a/generator.c +++ b/generator.c @@ -4,6 +4,7 @@ #include #include #include +#include #include @@ -19,6 +20,7 @@ __OBERON_ALLOC__ (size_t bytes) { void * p = GC_MALLOC(bytes); memset(p, 0, bytes); + printf("allocated %lu bytes\n", bytes); return p; } @@ -323,10 +325,50 @@ static gcc_jit_rvalue * rvalue_from_item(oberon_context_t * ctx, oberon_item_t * static gcc_jit_rvalue * rvalue_from_expr(oberon_context_t * ctx, oberon_expr_t * expr); static int -oberon_generator_get_type_size(oberon_type_t * type) +oberon_generator_get_type_size(oberon_context_t * ctx, oberon_type_t * type) { - printf("TODO: oberon_generator_get_type_size\n"); - return 128; + int size = 0; + switch(type -> class) + { + case OBERON_TYPE_INTEGER: + size = type -> size; + printf("int size: %i\n", size); + break; + case OBERON_TYPE_BOOLEAN: + size = sizeof(bool); + printf("bool size: %i\n", size); + break; + case OBERON_TYPE_PROCEDURE: + case OBERON_TYPE_POINTER: + size = sizeof(void*); + printf("ptr size: %i\n", size); + break; + case OBERON_TYPE_ARRAY: + size = type -> size; + type = type -> base; + size *= oberon_generator_get_type_size(ctx, type); + printf("array size: %i\n", size); + break; + case OBERON_TYPE_RECORD: + { + int num = type -> num_decl; + oberon_object_t * arg = type -> decl; + for(int i = 0; i < num; i++) + { + oberon_type_t * x; + x = arg -> type; + size += oberon_generator_get_type_size(ctx, x); + arg = arg -> next; + } + } + printf("struct size: %i\n", size); + break; + default: + oberon_error(ctx, "oberon_generator_get_type_size: wat"); + break; + } + + return size; } void @@ -578,9 +620,12 @@ rvalue_from_item(oberon_context_t * ctx, oberon_item_t * item) gcc_jit_type * type = gcc_jit_context_get_type(gcc_context, GCC_JIT_TYPE_VOID_PTR); right = gcc_jit_context_null(gcc_context, type); } - else if(item -> mode == MODE_NEWARR) + else if(item -> mode == MODE_NEW) { - int type_size = oberon_generator_get_type_size(item -> type); + assert(item -> result -> class == OBERON_TYPE_POINTER); + + oberon_type_t * type = item -> result -> base; + int type_size = oberon_generator_get_type_size(ctx, type); int array_size = type_size; int num = item -> num_args; diff --git a/notes b/notes index 977d7cd..d8331b1 100644 --- a/notes +++ b/notes @@ -1,30 +1,46 @@ -- размеры типов не вычисляются (oberon_generator_get_type_size) - в libgccjit нет средств получения размера типов, в т.ч. структур - Придётся гадать. -- процедура NEW создаёт массивы только статической размерности (и не создаёт структуры). +- нету типа real, оператор / должен возвращать дробный результат - нету открытых массивов +- нет символов и строк - нету операторов if, while и т.д. -- нет символов и строк - импортируемые модули не инициализируются (секция begin) -- нету типа real, оператор / должен возвращать дробный результат - нету типа set - не реализована свёртка констант - не протестированы типы разнных размеров +- не реализовано расширение типа record: + libgccjit не умеет в классы. Проверки в рантайме надо делать вручную. +- нет проверок границ массивов в рантайме: + Потому что как минимум нет дескрипторов типа. + Возможно можно заюзать это: + https://gcc.gnu.org/onlinedocs/gcc/Pointer-Bounds-Checker-builtins.html +- При вычислении размера структур не учитывается вравнивание. + в libgccjit нет средств получения размера типов, в т.ч. структур + Как происходит выравнивание и есть ли оно вообще по дефолту - не понятно: + Нужно ли для получения выровненных структур использовать gcc_jit_type_get_aligned? + Пересекается с этим: + https://gcc.gnu.org/onlinedocs/gcc/Common-Type-Attributes.html + Требуемые выравнивания для типов можно получить через встроинную функцию __alignof__(T) + https://gcc.gnu.org/onlinedocs/gcc/Alignment.html + Возможный алгоритм выравнивания: + https://stackoverflow.com/questions/6963998/how-does-gcc-calculate-the-required-space-for-a-structure + http://www.rendoc.tech/questions/834444/how-does-gcc-calculate-the-required-space-for-a-structure + Есть ещё что-то для проверки границ объектов: + https://gcc.gnu.org/onlinedocs/gcc/Object-Size-Checking.html +- не понятен результат присваивания статических/разыменованных структур и массивов + (* reca := recb; *) - побайтовое копирование? - не реализовано присваивание процедур к переменным-процедурам: в libgccjit нет средств получения указателя на функцию. Как решение-костыль - получение указателя в основной программе и сохранение в переменной. -- не реализовано расширение типа record: - libgccjit не умеет в классы. Проверки в рантайме надо делать вручную. - не реализован автокаст: Не критично: libgccjit сам разруливает типы разных размеров. - не реализованы локальные процедуры: libgccjit не умеет в локальные функции. Обойти можно костылём как в jvm. -- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *) -- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *) +- нет проверок переполнения как в рантайме, так и в компилтайме. + Возможно можно заюзать это: + https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html - нету счёта строк / столбцов - любая ошибка фатальна diff --git a/oberon.c b/oberon.c index 931d948..dab60b0 100644 --- a/oberon.c +++ b/oberon.c @@ -2602,16 +2602,19 @@ oberon_make_new_call(oberon_context_t * ctx, int num_args, oberon_expr_t * list_ type = type -> base; oberon_expr_t * src; + src = oberon_new_item(MODE_NEW, dst -> result, 0); + src -> item.num_args = 0; + src -> item.args = NULL; + if(type -> class == OBERON_TYPE_ARRAY) { + // Пригодится при работе с открытыми массивами + /* int dim = 1; - oberon_expr_t * sizes = NULL; oberon_expr_t * last_size = NULL; - sizes = last_size = oberon_new_item(MODE_INTEGER, ctx -> int_type, 1); sizes -> item.integer = type -> size; - oberon_type_t * base = type -> base; while(base -> class == OBERON_TYPE_ARRAY) { @@ -2624,13 +2627,12 @@ oberon_make_new_call(oberon_context_t * ctx, int num_args, oberon_expr_t * list_ base = base -> base; dim += 1; } + */ - src = oberon_new_item(MODE_NEWARR, dst -> result, 0); - src -> item.num_args = dim; - src -> item.args = sizes; - src -> item.type = base; + src -> item.num_args = 0; + src -> item.args = NULL; } - else + else if(type -> class != OBERON_TYPE_RECORD) { oberon_error(ctx, "oberon_make_new_call: wat"); } diff --git a/oberon.h b/oberon.h index 4b78545..53693a7 100644 --- a/oberon.h +++ b/oberon.h @@ -259,7 +259,7 @@ enum MODE_FIELD, MODE_DEREF, MODE_NIL, - MODE_NEWARR + MODE_NEW }; enum @@ -304,7 +304,6 @@ struct oberon_item_s int num_args; oberon_expr_t * args; - oberon_type_t * type; }; struct oberon_oper_s diff --git a/test.c b/test.c index fc00333..1f44077 100644 --- a/test.c +++ b/test.c @@ -11,7 +11,8 @@ static char source_test[] = "" "VAR" " nx- : INTEGER;" - " p : POINTER TO ARRAY 3 OF INTEGER;" + " p : POINTER TO ARRAY 3 OF RECORD i, j, k : INTEGER END;" + " q : POINTER TO RECORD x, y, z : INTEGER END;" "" "PROCEDURE ChParam(VAR i : INTEGER);" "BEGIN" @@ -20,7 +21,8 @@ static char source_test[] = "" "BEGIN;" " NEW(p);" - " p[0] := 1;" + " p[2].k := 1;" + " NEW(q);" " " " Out.Open;" " ChParam(nx);" -- 2.29.2