index af45a637eaca1fbbf4655e659cd3ec68f9eaaf18..b46b27de1eedfd7066d64cd55f42f96b65128a77 100644 (file)
class -> p = p;
fprintf(class -> fp, ".method %s %s%s\n", access, name, signature);
+ fprintf(class -> fp, " start:\n");
}
void
fprintf(class -> fp, " .limit stack %i \t; current(%i)\n", max_pointer, pointer);
fprintf(class -> fp, " .limit locals %i \t; current(%i)\n", max_locals, locals);
+ fprintf(class -> fp, " end:\n");
fprintf(class -> fp, ".end method\n\n");
}
jvm_stack_pop(gen_proc_t * p, unsigned size)
{
p -> stack -> pointer -= size;
- assert(p -> stack -> pointer >= 0);
+
+ if(p -> stack -> pointer < 0)
+ {
+ printf("WARING: stack pointer %i\n", p -> stack -> pointer);
+ }
}
static void
}
static void
-jvm_generate_new_static(gen_proc_t * p, oberon_type_t * type);
+jvm_generate_new(gen_proc_t * p, oberon_type_t * type, int num);
/*
* Функция jvm_generate_static_array_initialization генерирует код для
* статической инициализации массива. На входе массив, на выходе тот же массив.
- * arrayref -- arrayref
+ * (arrayref -- arrayref)
*/
static void
{
jvm_generate(p, 0, 1, "aload %i", reg_a);
jvm_generate(p, 0, 1, "iload %i", reg_i);
- jvm_generate_new_static(p, type -> base);
+ jvm_generate_new(p, type -> base, 0);
jvm_generate(p, 3, 0, "aastore");
}
else
}
static void
-jvm_generate_new_static(gen_proc_t * p, oberon_type_t * type)
+jvm_generate_new(gen_proc_t * p, oberon_type_t * type, int num)
{
int dim;
char * cname;
desc = jvm_get_descriptor(type);
while(base -> class == OBERON_TYPE_ARRAY)
{
+ if(num > 0)
+ {
+ assert(base -> size == 0);
+ num -= 1;
+ }
+ else
+ {
+ assert(base -> size > 0);
+ jvm_generate_push_int(p, base -> size);
+ }
dim += 1;
- jvm_generate_push_int(p, base -> size);
base = base -> base;
}
+
+ assert(num == 0);
jvm_generate(p, dim, 1, "multianewarray %s %i", desc, dim);
if(base -> class == OBERON_TYPE_RECORD)
}
}
+static void
+jvm_generate_load(gen_proc_t * p, oberon_type_t * src_type, gen_var_t * src)
+{
+ char prefix;
+ int cell_size;
+
+ cell_size = jvm_cell_size_for_type(src_type);
+
+ switch(src -> storage)
+ {
+ case JVM_STORAGE_REGISTER:
+ prefix = jvm_get_prefix(src_type);
+ jvm_generate(p, 0, cell_size, "%cload %i", prefix, src -> reg);
+ break;
+ case JVM_STORAGE_STATIC:
+ jvm_generate(p, 0, cell_size, "getstatic %s %s", src -> full_name, src -> desc);
+ break;
+ case JVM_STORAGE_FIELD:
+ jvm_generate(p, 1, cell_size, "getfield %s %s", src -> full_name, src -> desc);
+ break;
+ default:
+ gen_error("jvm_generate_load: unknow storage type %i", src -> storage);
+ break;
+ }
+}
+
static void
jvm_generate_store(gen_proc_t * p, oberon_type_t * src_type, gen_var_t * dst)
{
}
}
+/*
+ * Генерирует код для копирования полей из первой записи во вторую.
+ * ( aref_dst aref_src -- )
+ * dst := src;
+ */
+
+static void
+jvm_generate_copy_record(gen_proc_t * p, oberon_type_t * rec)
+{
+ assert(rec -> class == OBERON_TYPE_RECORD);
+ char * desc = jvm_get_descriptor(rec);
+ char * cname = jvm_get_class_full_name(rec);
+ jvm_generate(p, 1 + 1, 0, "invokestatic %s/$COPY$(%s%s)V", cname, desc, desc);
+}
+
+
// ==========================================
// ==========================================
// ==========================================
field = field -> next;
}
+ /* Стандартный конструктор класса */
+ /* Инициализирует внутренние статические записи и массивы */
gen_proc_t * p = jvm_create_proc(class);
-
jvm_generate_function_header(p, "public", "<init>", "()V");
jvm_alloc_register_untyped(p -> rf, false);
jvm_generate(p, 0, 1, "aload_0");
jvm_generate(p, 1, 0, "invokespecial java/lang/Object/<init>()V");
-
num = rec -> num_decl;
field = rec -> decl;
for(int i = 0; i < num; i++)
|| field -> type -> class == OBERON_TYPE_ARRAY)
{
jvm_generate(p, 0, 1, "aload_0");
- jvm_generate_new_static(p, field -> type);
+ jvm_generate_new(p, field -> type, 0);
jvm_generate_store(p, field -> type, field -> gen_var);
}
field = field -> next;
- }
+ }
+ jvm_generate(p, 0, 0, "return");
+ jvm_generate_function_end(p);
+ /* Метод для копирования полей класса */
+ /* reg0 == src -> reg1 == dst */
+ p = jvm_create_proc(class);
+ gen_var_t * copy_dst = oberon_generator_new_var();
+ gen_var_t * copy_src = oberon_generator_new_var();
+ char * desc = jvm_get_descriptor(rec);
+ char * signature = new_string("(%s%s)V", desc, desc);
+ jvm_generate_function_header(p, "public static", "$COPY$", signature);
+ jvm_generate_and_init_named_local_var(copy_dst, p, false, "dst", desc);
+ jvm_generate_and_init_named_local_var(copy_src, p, false, "src", desc);
+ num = rec -> num_decl;
+ field = rec -> decl;
+ for(int i = 0; i < num; i++)
+ {
+ if(field -> type -> class == OBERON_TYPE_RECORD)
+ {
+ jvm_generate_load(p, rec, copy_dst);
+ jvm_generate_load(p, field -> type, field -> gen_var);
+ jvm_generate_load(p, rec, copy_src);
+ jvm_generate_load(p, field -> type, field -> gen_var);
+ jvm_generate_copy_record(p, field -> type);
+ }
+ else if(field -> type -> class == OBERON_TYPE_ARRAY)
+ {
+ gen_error("copy array not implemented");
+ }
+ else
+ {
+ jvm_generate_load(p, rec, copy_dst);
+ jvm_generate_load(p, rec, copy_src);
+ jvm_generate_load(p, field -> type, field -> gen_var);
+ jvm_generate_store(p, field -> type, field -> gen_var);
+ }
+ field = field -> next;
+ }
jvm_generate(p, 0, 0, "return");
jvm_generate_function_end(p);
jvm_alloc_register_untyped(p -> rf, false);
jvm_generate(p, 0, 1, "aload_0");
jvm_generate(p, 1, 0, "invokespecial java/lang/Object/<init>()V");
+
+ /* Инициализация переменных объявленных в модуле */
+ oberon_object_t * x = ctx -> mod -> decl -> list -> next;
+ while(x != NULL)
+ {
+ if(x -> class == OBERON_CLASS_VAR)
+ {
+ if(x -> type -> class == OBERON_TYPE_ARRAY
+ || x -> type -> class == OBERON_TYPE_RECORD)
+ {
+ jvm_generate_new(p, x -> type, 0);
+ jvm_generate_store(p, x -> type, x -> gen_var);
+ }
+ }
+ x = x -> next;
+ }
}
void
}
}
-static void
-jvm_generate_expr_new_static(gen_proc_t * p, oberon_type_t * type, int num, oberon_expr_t * arg)
-{
- assert(num == 0);
- jvm_generate_new_static(p, type);
-}
-
static void
jvm_generate_expr_new_pointer(gen_proc_t * p, oberon_type_t * type, int num, oberon_expr_t * arg)
{
assert(type -> class == OBERON_TYPE_POINTER);
- jvm_generate_expr_new_static(p, type -> base, num, arg);
+
+ for(int i = 0; i < num; i++)
+ {
+ push_expr(p, arg);
+ arg = arg -> next;
+ }
+
+ jvm_generate_new(p, type -> base, num);
}
static void
else if(dst -> result -> class == OBERON_TYPE_RECORD
|| src -> result -> class == OBERON_TYPE_RECORD)
{
- gen_error("record copy not implemented");
+ push_expr(p, dst);
+ push_expr(p, src);
+ jvm_generate_copy_record(p, dst -> result);
}
-
- switch(item -> mode)
+ else switch(item -> mode)
{
case MODE_VAR:
push_expr(p, src);