9408eca32328248fd37b8454c30b99d663ad7ebd
11 #include "../../../include/oberon.h"
12 #include "../../oberon-internals.h"
13 #include "generator-jvm.h"
14 #include "generator-jvm-basic.h"
16 // ==========================================
17 // ==========================================
18 // ==========================================
21 jvm_create_proc(struct gen_class
* class)
23 gen_proc_t
* p
= GC_MALLOC(sizeof *p
);
24 memset(p
, 0, sizeof *p
);
26 struct gen_register_file
* rf
= GC_MALLOC(sizeof *rf
);
27 memset(rf
, 0, sizeof *rf
);
29 struct gen_stack
* stack
= GC_MALLOC(sizeof *stack
);
30 memset(rf
, 0, sizeof *stack
);
41 jvm_generate_function_header(gen_proc_t
* p
, char * access
, char * name
, char * signature
)
43 struct gen_class
* class;
46 /* Делаем процедуру текущей в этом классе */
47 assert(class -> p
== NULL
);
50 fprintf(class -> fp
, ".method %s %s%s\n", access
, name
, signature
);
54 jvm_generate_function_end(gen_proc_t
* p
)
56 struct gen_class
* class;
62 int pointer
= p
-> stack
-> pointer
;
63 int max_pointer
= p
-> stack
-> max_pointer
;
64 int locals
= p
-> rf
-> num_used
;
65 int max_locals
= p
-> rf
-> max_used
;
67 fprintf(class -> fp
, " .limit stack %i \t; current(%i)\n", max_pointer
, pointer
);
68 fprintf(class -> fp
, " .limit locals %i \t; current(%i)\n", max_locals
, locals
);
69 fprintf(class -> fp
, ".end method\n\n");
73 jvm_create_class(char * full_name
)
75 struct gen_class
* class = GC_MALLOC(sizeof *class);
76 memset(class, 0, sizeof *class);
78 char * fname
= new_string("%s.j", full_name
);
79 class -> full_name
= new_string(full_name
);
80 class -> fp
= fopen(fname
, "w");
87 jvm_destroy_class(struct gen_class
* class)
89 assert(class -> p
== NULL
);
94 jvm_stack_push(gen_proc_t
* p
, unsigned size
)
96 p
-> stack
-> pointer
+= size
;
97 if(p
-> stack
-> pointer
> p
-> stack
-> max_pointer
)
99 p
-> stack
-> max_pointer
= p
-> stack
-> pointer
;
104 jvm_stack_pop(gen_proc_t
* p
, unsigned size
)
106 p
-> stack
-> pointer
-= size
;
107 assert(p
-> stack
-> pointer
>= 0);
111 jvm_generate(gen_proc_t
* p
, unsigned get
, unsigned push
, char * format
, ...)
114 va_start(ptr
, format
);
116 jvm_stack_pop(p
, get
);
117 fprintf(p
-> class -> fp
, " ");
118 vfprintf(p
-> class -> fp
, format
, ptr
);
119 jvm_stack_push(p
, push
);
120 fprintf(p
-> class -> fp
, " \t ;>>>> %i -- %i : current_stack(%i)\n", get
, push
, p
-> stack
-> pointer
);
126 jvm_generate_push_int(gen_proc_t
* p
, int64_t i
)
130 jvm_generate(p
, 0, 1, "iconst_m1");
132 else if(i
>= 0 && i
<= 5)
134 jvm_generate(p
, 0, 1, "iconst_%li", i
);
136 else if(i
>= -128 && i
<= 127)
138 jvm_generate(p
, 0, 1, "bipush %li", i
);
140 else if(i
>= -32768 && i
<= 32767)
142 jvm_generate(p
, 0, 1, "sipush %li", i
);
144 else if(i
>= -2147483648 && i
<= 2147483647)
146 jvm_generate(p
, 0, 1, "ldc %li", i
);
150 jvm_generate(p
, 0, 2, "ldc2 %li", i
);
155 jvm_generate_push_float(gen_proc_t
* p
, double f
, int size
)
161 jvm_generate(p
, 0, 1, "fconst_0");
165 jvm_generate(p
, 0, 1, "fconst_1");
169 jvm_generate(p
, 0, 1, "fconst_2");
173 jvm_generate(p
, 0, 1, "ldc %lf", f
);
180 jvm_generate(p
, 0, 2, "dconst_0");
184 jvm_generate(p
, 0, 2, "dconst_1");
188 jvm_generate(p
, 0, 2, "ldc2 %lf", f
);
194 oberon_generator_new_var()
196 gen_var_t
* v
= GC_MALLOC(sizeof *v
);
197 memset(v
, 0, sizeof *v
);
202 jvm_generate_and_init_global_var(gen_var_t
* v
, struct gen_class
* class, char * access
, char * name
, char * desc
)
204 assert(class -> p
== NULL
);
205 fprintf(class -> fp
, ".field %s static %s %s\n\n", access
, name
, desc
);
207 v
-> storage
= JVM_STORAGE_STATIC
;
208 v
-> full_name
= new_string("%s/%s", class -> full_name
, name
);
209 v
-> desc
= new_string(desc
);
213 jvm_generate_and_init_field(gen_var_t
* v
, struct gen_class
* class, char * access
, char * name
, char * desc
)
215 assert(class -> p
== NULL
);
216 fprintf(class -> fp
, ".field %s %s %s\n\n", access
, name
, desc
);
218 v
-> storage
= JVM_STORAGE_FIELD
;
219 v
-> full_name
= new_string("%s/%s", class -> full_name
, name
);
220 v
-> desc
= new_string(desc
);
224 jvm_generate_and_init_local_var(gen_var_t
* v
, gen_proc_t
* p
, bool wide
)
226 v
-> storage
= JVM_STORAGE_REGISTER
;
227 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, wide
);
231 jvm_generate_and_init_named_local_var(gen_var_t
* v
, gen_proc_t
* p
, bool wide
, char * name
, char * desc
)
233 jvm_generate_and_init_local_var(v
, p
, wide
);
234 v
-> desc
= new_string(desc
);
235 jvm_generate(p
, 0, 0, ".var %i is %s %s from start to end", v
-> reg
, name
, desc
);
239 jvm_new_label_id(gen_proc_t
* p
)
241 int label_id
= p
-> label_id
;
247 jvm_get_label_name(int label_id
)
249 return new_string("L%i", label_id
);
253 jvm_generate_label(gen_proc_t
* p
, int label_id
)
255 jvm_generate(p
, 0, 0, "L%i:", label_id
);
259 jvm_generate_new_static(gen_proc_t
* p
, oberon_type_t
* type
);
262 * Функция jvm_generate_static_array_initialization генерирует код для
263 * статической инициализации массива. На входе массив, на выходе тот же массив.
264 * arrayref -- arrayref
268 jvm_generate_static_array_initialization(gen_proc_t
* p
, oberon_type_t
* type
)
270 /* for(int i = 0; i < a.length; i++) */
271 /* a[i] := new(base); */
274 /* a := pop(array) */
275 gen_var_t
* va
= oberon_generator_new_var();
276 jvm_generate_and_init_local_var(va
, p
, false);
277 int reg_a
= va
-> reg
;
278 /* ссылка уже на стеке */
279 jvm_generate(p
, 1, 0, "astore %i", reg_a
);
282 gen_var_t
* vi
= oberon_generator_new_var();
283 jvm_generate_and_init_local_var(vi
, p
, false);
284 int reg_i
= vi
-> reg
;
285 jvm_generate(p
, 0, 1, "iconst_0");
286 jvm_generate(p
, 1, 0, "istore %i", reg_i
);
288 /* int l := a.length */
289 gen_var_t
* vl
= oberon_generator_new_var();
290 jvm_generate_and_init_local_var(vl
, p
, false);
291 int reg_l
= vl
-> reg
;
292 jvm_generate(p
, 0, 1, "aload %i", reg_a
);
293 jvm_generate(p
, 1, 1, "arraylength");
294 jvm_generate(p
, 1, 0, "istore %i", reg_l
);
296 int label_start
= jvm_new_label_id(p
);
297 int label_end
= jvm_new_label_id(p
);
300 /* if (i >= l) goto end; */
307 jvm_generate_label(p
, label_start
);
308 jvm_generate(p
, 0, 1, "iload %i", reg_i
);
309 jvm_generate(p
, 0, 1, "iload %i", reg_l
);
310 jvm_generate(p
, 2, 0, "if_icmpge L%i", label_end
);
312 if(type
-> base
-> class == OBERON_TYPE_ARRAY
)
314 /* Инициализируем следующую размерность */
315 jvm_generate(p
, 0, 1, "aload %i", reg_a
);
316 jvm_generate(p
, 0, 1, "iload %i", reg_i
);
317 jvm_generate(p
, 0, 1, "aaload");
318 jvm_generate_static_array_initialization(p
, type
-> base
);
319 jvm_generate(p
, 1, 0, "pop");
321 else if(type
-> base
-> class == OBERON_TYPE_RECORD
)
323 jvm_generate(p
, 0, 1, "aload %i", reg_a
);
324 jvm_generate(p
, 0, 1, "iload %i", reg_i
);
325 jvm_generate_new_static(p
, type
-> base
);
326 jvm_generate(p
, 3, 0, "aastore");
336 jvm_generate(p
, 0, 0, "iinc %i %i", reg_i
, 1);
337 jvm_generate(p
, 0, 0, "goto L%i", label_start
);
338 jvm_generate_label(p
, label_end
);
341 jvm_generate(p
, 0, 1, "aload %i", reg_a
);
343 /* TODO освобождение регистров */
347 jvm_generate_new_static(gen_proc_t
* p
, oberon_type_t
* type
)
352 oberon_type_t
* base
;
354 switch(type
-> class)
356 case OBERON_TYPE_INTEGER
:
357 case OBERON_TYPE_BOOLEAN
:
358 case OBERON_TYPE_PROCEDURE
:
359 case OBERON_TYPE_REAL
:
360 case OBERON_TYPE_POINTER
:
361 gen_error("jvm_generate_new_static: static alocation not allowed");
363 case OBERON_TYPE_RECORD
:
364 cname
= jvm_get_class_full_name(type
);
365 jvm_generate(p
, 0, 1, "new %s", cname
);
366 jvm_generate(p
, 1, 2, "dup");
367 jvm_generate(p
, 1, 0, "invokespecial %s/<init>()V", cname
);
369 case OBERON_TYPE_ARRAY
:
372 desc
= jvm_get_descriptor(type
);
373 while(base
-> class == OBERON_TYPE_ARRAY
)
376 jvm_generate_push_int(p
, base
-> size
);
379 jvm_generate(p
, dim
, 1, "multianewarray %s %i", desc
, dim
);
381 if(base
-> class == OBERON_TYPE_RECORD
)
383 jvm_generate_static_array_initialization(p
, type
);
387 gen_error("jvm_generate_new_static: unk type class %i", type
-> class);
393 jvm_generate_store(gen_proc_t
* p
, oberon_type_t
* src_type
, gen_var_t
* dst
)
398 cell_size
= jvm_cell_size_for_type(src_type
);
400 switch(dst
-> storage
)
402 case JVM_STORAGE_REGISTER
:
403 prefix
= jvm_get_prefix(src_type
);
404 jvm_generate(p
, cell_size
, 0, "%cstore %i", prefix
, dst
-> reg
);
406 case JVM_STORAGE_STATIC
:
407 jvm_generate(p
, cell_size
, 0, "putstatic %s %s", dst
-> full_name
, dst
-> desc
);
409 case JVM_STORAGE_FIELD
:
410 jvm_generate(p
, 1 + cell_size
, 0, "putfield %s %s", dst
-> full_name
, dst
-> desc
);
413 gen_error("jvm_generate_store: unknow storage type %i", dst
-> storage
);
418 // ==========================================
419 // ==========================================
420 // ==========================================
423 oberon_generator_init_context(oberon_context_t
* ctx
)
425 gen_context_t
* gen_context
= GC_MALLOC(sizeof *gen_context
);
426 memset(gen_context
, 0, sizeof *gen_context
);
428 ctx
-> gen_context
= gen_context
;
432 oberon_generator_destroy_context(oberon_context_t
* ctx
)
437 oberon_generate_procedure_class(oberon_type_t
* proc
)
442 struct gen_class
* class;
444 cname
= jvm_get_class_full_name(proc
);
445 class = jvm_create_class(cname
);
448 fprintf(fp
, ".source SYSTEM\n");
449 fprintf(fp
, ".class public abstract %s\n", cname
);
450 fprintf(fp
, ".super java/lang/Object\n\n");
452 fprintf(fp
, ".method public <init>()V\n");
453 fprintf(fp
, " aload_0\n");
454 fprintf(fp
, " invokespecial java/lang/Object/<init>()V\n");
455 fprintf(fp
, " return\n");
456 fprintf(fp
, ".end method\n\n");
458 signature
= jvm_get_procedure_signature(proc
);
460 fprintf(fp
, ".method public abstract invoke%s\n", signature
);
461 fprintf(fp
, ".end method\n\n");
463 jvm_destroy_class(class);
467 oberon_generate_record_class(gen_module_t
* m
, oberon_type_t
* rec
)
470 struct gen_class
* class;
472 /* Устанавливаем новоый id */
473 rec
-> gen_type
-> rec_id
= m
-> rec_id
;
476 cname
= jvm_get_class_full_name(rec
);
477 class = jvm_create_class(cname
);
479 fprintf(class -> fp
, ".source %s\n", rec
-> module
-> name
);
480 fprintf(class -> fp
, ".class public %s\n", cname
);
481 fprintf(class -> fp
, ".super java/lang/Object\n\n");
483 rec
-> gen_type
-> class = class;
487 oberon_generator_init_type(oberon_context_t
* ctx
, oberon_type_t
* type
)
489 gen_type_t
* t
= GC_MALLOC(sizeof *t
);
490 memset(t
, 0, sizeof *t
);
491 type
-> gen_type
= t
;
493 switch(type
-> class)
495 case OBERON_TYPE_VOID
:
496 case OBERON_TYPE_INTEGER
:
497 case OBERON_TYPE_BOOLEAN
:
498 case OBERON_TYPE_ARRAY
:
499 case OBERON_TYPE_REAL
:
501 case OBERON_TYPE_RECORD
:
504 m
= type
-> module
-> gen_mod
;
505 oberon_generate_record_class(m
, type
);
507 case OBERON_TYPE_PROCEDURE
:
508 oberon_generate_procedure_class(type
);
510 case OBERON_TYPE_POINTER
:
513 gen_error("oberon_generator_init_type: unk calss %i", type
-> class);
519 oberon_generator_init_record(oberon_context_t
* ctx
, oberon_type_t
* rec
)
521 struct gen_class
* class;
522 class = rec
-> gen_type
-> class;
524 int num
= rec
-> num_decl
;
525 oberon_object_t
* field
= rec
-> decl
;
526 for(int i
= 0; i
< num
; i
++)
528 gen_var_t
* v
= field
-> gen_var
;
529 char * name
= field
-> name
;
530 char * desc
= jvm_get_descriptor(field
-> type
);
531 jvm_generate_and_init_field(v
, class, "public", name
, desc
);
532 field
= field
-> next
;
535 gen_proc_t
* p
= jvm_create_proc(class);
537 jvm_generate_function_header(p
, "public", "<init>", "()V");
538 jvm_alloc_register_untyped(p
-> rf
, false);
539 jvm_generate(p
, 0, 1, "aload_0");
540 jvm_generate(p
, 1, 0, "invokespecial java/lang/Object/<init>()V");
542 num
= rec
-> num_decl
;
544 for(int i
= 0; i
< num
; i
++)
546 if(field
-> type
-> class == OBERON_TYPE_RECORD
547 || field
-> type
-> class == OBERON_TYPE_ARRAY
)
549 jvm_generate(p
, 0, 1, "aload_0");
550 jvm_generate_new_static(p
, field
-> type
);
551 jvm_generate_store(p
, field
-> type
, field
-> gen_var
);
553 field
= field
-> next
;
556 jvm_generate(p
, 0, 0, "return");
557 jvm_generate_function_end(p
);
559 jvm_destroy_class(class);
563 oberon_generator_init_var(oberon_context_t
* ctx
, oberon_object_t
* var
)
565 gen_var_t
* v
= oberon_generator_new_var();
569 m
= ctx
-> mod
-> gen_mod
;
571 struct gen_class
* class;
577 case OBERON_CLASS_VAR_PARAM
:
578 gen_error("generator: VAR-parameters not implemented");
580 case OBERON_CLASS_PARAM
:
581 /* Заполняется при генерации функции */
582 /* смотри jvm_init_local_object() */
584 case OBERON_CLASS_FIELD
:
585 /* Заполняются при инициализации структуры */
586 /* смотри oberon_generator_init_record() */
588 case OBERON_CLASS_VAR
:
589 /* Локальные заполняются при генерации функции */
590 /* смотри jvm_init_local_object() */
591 if(var
-> local
== 0)
593 desc
= jvm_get_descriptor(var
-> type
);
594 jvm_generate_and_init_global_var(v
, class, "public", var
-> name
, desc
);
598 gen_error("oberon_generator_init_var: unk var class %i", var
-> class);
604 oberon_generator_init_proc(oberon_context_t
* ctx
, oberon_object_t
* proc
)
606 struct gen_class
* class = proc
-> module
-> gen_mod
-> class;
607 proc
-> gen_proc
= jvm_create_proc(class);
611 gen_error("generator: local procedures not implemented");
616 oberon_generator_init_module(oberon_context_t
* ctx
, oberon_module_t
* mod
)
618 gen_module_t
* m
= GC_MALLOC(sizeof *m
);
619 memset(m
, 0, sizeof *m
);
622 struct gen_class
* class;
623 class = jvm_create_class(mod
-> name
);
625 fprintf(class -> fp
, ".source %s\n", mod
-> name
);
626 fprintf(class -> fp
, ".class %s\n", mod
-> name
);
627 fprintf(class -> fp
, ".super java/lang/Object\n\n");
631 ctx
-> gen_context
-> current_m
= m
;
635 oberon_generator_fini_module(oberon_module_t
* mod
)
637 jvm_destroy_class(mod
-> gen_mod
-> class);
641 push_expr(gen_proc_t
* p
, oberon_expr_t
* expr
);
644 oberon_generate_begin_module(oberon_context_t
* ctx
)
646 struct gen_class
* class = ctx
-> mod
-> gen_mod
-> class;
647 gen_proc_t
* p
= jvm_create_proc(class);
649 jvm_generate_function_header(p
, "public", "<init>", "()V");
650 jvm_alloc_register_untyped(p
-> rf
, false);
651 jvm_generate(p
, 0, 1, "aload_0");
652 jvm_generate(p
, 1, 0, "invokespecial java/lang/Object/<init>()V");
654 /* Инициализация переменных объявленных в модуле */
655 oberon_object_t
* x
= ctx
-> mod
-> decl
-> list
-> next
;
658 if(x
-> class == OBERON_CLASS_VAR
)
660 if(x
-> type
-> class == OBERON_TYPE_ARRAY
661 || x
-> type
-> class == OBERON_TYPE_RECORD
)
663 jvm_generate_new_static(p
, x
-> type
);
664 jvm_generate_store(p
, x
-> type
, x
-> gen_var
);
672 oberon_generate_end_module(oberon_context_t
* ctx
)
674 struct gen_class
* class = ctx
-> mod
-> gen_mod
-> class;
675 gen_proc_t
* p
= class -> p
;
677 jvm_generate(p
, 0, 0, "return");
678 jvm_generate_function_end(class -> p
);
682 jvm_init_local_object(gen_proc_t
* p
, oberon_object_t
* x
)
687 struct gen_class
* class;
691 wide
= jvm_is_wide_type(x
-> type
);
692 desc
= jvm_get_descriptor(x
-> type
);
694 // Убеждаемся что сейчас находимся в функции
700 case OBERON_CLASS_VAR
:
701 case OBERON_CLASS_PARAM
:
702 jvm_generate_and_init_named_local_var(v
, p
, wide
, x
-> name
, desc
);
705 gen_error("jvm_init_local_object: wat");
711 oberon_generate_begin_proc(oberon_context_t
* ctx
, oberon_object_t
* proc
)
716 p
= proc
-> gen_proc
;
718 signature
= jvm_get_procedure_signature(proc
-> type
);
720 jvm_generate_function_header(p
, "public static", proc
-> name
, signature
);
722 oberon_object_t
* var
= proc
-> type
-> decl
;
725 jvm_init_local_object(p
, var
);
731 oberon_generate_end_proc(oberon_context_t
* ctx
)
736 m
= ctx
-> mod
-> gen_mod
;
739 jvm_generate_function_end(p
);
743 jvm_generate_call_proc(gen_proc_t
* p
, oberon_expr_t
* desig
)
745 assert(desig
-> is_item
);
746 assert(desig
-> item
.mode
== MODE_CALL
);
748 oberon_object_t
* proc
;
752 proc
= desig
-> item
.var
;
753 fullname
= jvm_get_field_full_name(proc
);
754 signature
= jvm_get_procedure_signature(proc
-> type
);
757 int result_cells
= jvm_cell_size_for_type(proc
-> type
-> base
);
759 int num
= desig
-> item
.num_args
;
760 oberon_expr_t
* arg
= desig
-> item
.args
;
761 for(int i
= 0; i
< num
; i
++)
763 args_cells
+= jvm_cell_size_for_type(arg
-> result
);
768 jvm_generate(p
, args_cells
, result_cells
, "invokestatic %s%s", fullname
, signature
);
772 oberon_generate_call_proc(oberon_context_t
* ctx
, oberon_expr_t
* desig
)
774 jvm_generate_call_proc(ctx
-> gen_context
-> current_m
-> class -> p
, desig
);
778 oberon_generate_return(oberon_context_t
* ctx
, oberon_expr_t
* expr
)
785 m
= ctx
-> mod
-> gen_mod
;
791 prefix
= jvm_get_prefix(expr
-> result
);
792 cell_size
= jvm_cell_size_for_type(expr
-> result
);
793 jvm_generate(p
, cell_size
, 0, "%creturn", prefix
);
797 jvm_generate(p
, 0, 0, "return");
802 jvm_push_var(gen_proc_t
* p
, oberon_object_t
* var
)
804 int cell_size
= jvm_cell_size_for_type(var
-> type
);
808 int reg
= var
-> gen_var
-> reg
;
809 char prefix
= jvm_get_prefix(var
-> type
);
810 jvm_generate(p
, 0, cell_size
, "%cload %i", prefix
, reg
);
814 char * fullname
= jvm_get_field_full_name(var
);
815 char * desc
= jvm_get_descriptor(var
-> type
);
816 jvm_generate(p
, 0, cell_size
, "getstatic %s %s", fullname
, desc
);
821 jvm_generate_expr_new_static(gen_proc_t
* p
, oberon_type_t
* type
, int num
, oberon_expr_t
* arg
)
824 jvm_generate_new_static(p
, type
);
828 jvm_generate_expr_new_pointer(gen_proc_t
* p
, oberon_type_t
* type
, int num
, oberon_expr_t
* arg
)
830 assert(type
-> class == OBERON_TYPE_POINTER
);
831 jvm_generate_expr_new_static(p
, type
-> base
, num
, arg
);
835 push_item(gen_proc_t
* p
, oberon_item_t
* item
)
840 jvm_push_var(p
, item
-> var
);
843 jvm_generate_push_int(p
, item
-> integer
);
846 jvm_generate_push_int(p
, item
-> boolean
);
849 jvm_generate_call_proc(p
, (oberon_expr_t
*) item
);
853 char postfix
= jvm_get_postfix(item
-> result
);
854 int cell_size
= jvm_cell_size_for_postfix(postfix
);
855 push_item(p
, item
-> parent
);
856 push_expr(p
, item
-> args
);
857 jvm_generate(p
, 1 + 1, cell_size
, "%caload", postfix
);
860 push_item(p
, item
-> parent
);
861 char * field
= jvm_get_field_full_name(item
-> var
);
862 char * desc
= jvm_get_descriptor(item
-> var
-> type
);
863 jvm_generate(p
, 1, 1, "getfield %s %s", field
, desc
);
866 /* Все объекты представляются как увказатели */
867 push_item(p
, item
-> parent
);
870 jvm_generate(p
, 0, 1, "aconst_null");
873 jvm_generate_expr_new_pointer(p
, item
-> result
, item
-> num_args
, item
-> args
);
876 jvm_generate_push_float(p
, item
-> real
, item
-> result
-> size
);
879 gen_error("push_item: unk mode %i", item
-> mode
);
885 jvm_generate_logical_not(gen_proc_t
* p
)
887 int label_done
= jvm_new_label_id(p
);
888 int label_false
= jvm_new_label_id(p
);
889 char * label_name_done
= jvm_get_label_name(label_done
);
890 char * label_name_false
= jvm_get_label_name(label_false
);
892 jvm_generate(p
, 1, 0, "ifne %s", label_name_false
);
893 jvm_generate(p
, 0, 1, "iconst_1");
894 jvm_generate(p
, 0, 0, "goto %s", label_name_done
);
895 jvm_generate_label(p
, label_false
);
896 jvm_generate(p
, 0, 1, "iconst_0");
897 jvm_generate_label(p
, label_done
);
901 jvm_generate_abs(gen_proc_t
* p
, char prefix
)
903 char t
= jvm_get_type_of_prefix(prefix
);
904 int cell_size
= jvm_cell_size_for_postfix(prefix
);
905 jvm_generate(p
, cell_size
, cell_size
, "invokestatic java/lang/Math/abs(%c)%c", t
, t
);
909 jvm_generate_compare_op(gen_proc_t
* p
, char prefix
, int op
)
911 int label_true
= jvm_new_label_id(p
);
912 int label_done
= jvm_new_label_id(p
);
913 char * label_name_true
= jvm_get_label_name(label_true
);
914 char * label_name_done
= jvm_get_label_name(label_done
);
915 int cell_size
= 2 * jvm_cell_size_for_postfix(prefix
);
917 assert(prefix
== 'i' || prefix
== 'a');
919 const char * cmpop
= "";
941 gen_error("jvm_generate_compare_op: wat");
945 jvm_generate(p
, cell_size
, 0, "if_%ccmp%s %s", prefix
, cmpop
, label_name_true
);
946 jvm_generate(p
, 0, 1, "iconst_0");
947 jvm_generate(p
, 0, 0, "goto %s", label_name_done
);
948 jvm_generate_label(p
, label_true
);
949 jvm_generate(p
, 0, 1, "iconst_1");
950 jvm_generate_label(p
, label_done
);
954 jvm_generate_operator(gen_proc_t
* p
, char prefix
, int op
)
956 int cell_size
= jvm_cell_size_for_postfix(prefix
);
960 jvm_generate(p
, cell_size
, cell_size
, "%cneg", prefix
);
963 jvm_generate_push_int(p
, -1);
964 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cxor", prefix
);
967 jvm_generate_logical_not(p
);
970 jvm_generate_abs(p
, prefix
);
974 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cadd", prefix
);
977 jvm_generate(p
, 2 * cell_size
, cell_size
, "%csub", prefix
);
980 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cmul", prefix
);
983 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cdiv", prefix
);
986 jvm_generate(p
, 2 * cell_size
, cell_size
, "%crem", prefix
);
989 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cand", prefix
);
992 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cxor", prefix
);
995 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cor", prefix
);
1004 jvm_generate_compare_op(p
, prefix
, op
);
1007 gen_error("jvm_generate_operator: unk op %i", op
);
1013 jvm_generate_logical_or(gen_proc_t
* p
, oberon_expr_t
* a
, oberon_expr_t
* b
)
1015 int label_calc_b
= jvm_new_label_id(p
);
1016 int label_done
= jvm_new_label_id(p
);
1017 char * label_name_calc_b
= jvm_get_label_name(label_calc_b
);
1018 char * label_name_done
= jvm_get_label_name(label_done
);
1020 /* a OR b -- если a, то TRUE, иначе b */
1023 jvm_generate(p
, 1, 0, "ifne %s", label_name_calc_b
);
1024 jvm_generate(p
, 0, 1, "iconst_1");
1025 jvm_generate(p
, 0, 0, "goto %s", label_name_done
);
1026 jvm_generate_label(p
, label_calc_b
);
1028 jvm_generate_label(p
, label_done
);
1032 jvm_generate_logical_and(gen_proc_t
* p
, oberon_expr_t
* a
, oberon_expr_t
* b
)
1034 int label_false
= jvm_new_label_id(p
);
1035 int label_done
= jvm_new_label_id(p
);
1036 char * label_name_false
= jvm_get_label_name(label_false
);
1037 char * label_name_done
= jvm_get_label_name(label_done
);
1039 /* a AND b -- если a, то b, иначе FALSE */
1042 jvm_generate(p
, 1, 0, "ifne %s", label_name_false
);
1044 jvm_generate(p
, 0, 0, "goto %s", label_name_done
);
1045 jvm_generate_label(p
, label_false
);
1046 jvm_generate(p
, 0, 1, "iconst_0");
1047 jvm_generate_label(p
, label_done
);
1051 push_operator(gen_proc_t
* p
, oberon_oper_t
* oper
)
1053 char prefix
= jvm_get_prefix(oper
-> result
);
1054 int op
= oper
-> op
;
1057 case OP_UNARY_MINUS
:
1058 case OP_BITWISE_NOT
:
1061 push_expr(p
, oper
-> left
);
1062 jvm_generate_operator(p
, prefix
, op
);
1070 case OP_BITWISE_AND
:
1071 case OP_BITWISE_XOR
:
1080 push_expr(p
, oper
-> left
);
1081 push_expr(p
, oper
-> right
);
1082 jvm_generate_operator(p
, prefix
, op
);
1086 jvm_generate_logical_or(p
, oper
-> left
, oper
-> right
);
1089 jvm_generate_logical_and(p
, oper
-> left
, oper
-> right
);
1092 gen_error("push_oper: unk op %i", op
);
1098 push_expr(gen_proc_t
* p
, oberon_expr_t
* expr
)
1102 push_item(p
, (oberon_item_t
*) expr
);
1106 push_operator(p
, (oberon_oper_t
*) expr
);
1111 store_expr(gen_proc_t
* p
, oberon_expr_t
* dst
, oberon_expr_t
* src
)
1113 assert(dst
-> is_item
);
1114 oberon_item_t
* item
= (oberon_item_t
*) dst
;
1116 if(dst
-> result
-> class == OBERON_TYPE_ARRAY
1117 || src
-> result
-> class == OBERON_TYPE_ARRAY
)
1119 gen_error("array copy not implemented");
1121 else if(dst
-> result
-> class == OBERON_TYPE_RECORD
1122 || src
-> result
-> class == OBERON_TYPE_RECORD
)
1124 gen_error("record copy not implemented");
1127 switch(item
-> mode
)
1131 jvm_generate_store(p
, src
-> result
, item
-> var
-> gen_var
);
1135 char postfix
= jvm_get_postfix(src
-> result
);
1136 int cell_size
= jvm_cell_size_for_postfix(postfix
);
1137 push_item(p
, item
-> parent
);
1138 push_expr(p
, item
-> args
);
1140 jvm_generate(p
, 1 + 1 + cell_size
, 0, "%castore", postfix
);
1143 push_item(p
, item
-> parent
);
1145 jvm_generate_store(p
, src
-> result
, item
-> var
-> gen_var
);
1148 gen_error("store_expr: unk mode %i", item
-> mode
);
1154 oberon_generate_assign(oberon_context_t
* ctx
, oberon_expr_t
* src
, oberon_expr_t
* dst
)
1159 m
= ctx
-> mod
-> gen_mod
;
1160 p
= m
-> class -> p
;
1162 store_expr(p
, dst
, src
);
1166 oberon_generate_code(oberon_context_t
* ctx
)
1168 printf("generate code\n");
1172 oberon_generator_dump(oberon_context_t
* ctx
, char * path
)
1174 printf("jit: dump code\n");
1178 oberon_generator_get_procedure(oberon_context_t
* ctx
, const char * name
)
1180 printf("jit: get pointer to procedure %s\n", name
);
1185 oberon_generator_get_var(oberon_context_t
* ctx
, const char * name
)
1187 printf("jit: get pointer to var %s\n", name
);