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 fprintf(class -> fp
, " .limit stack %i\n", p
-> stack
-> max_pointer
);
63 fprintf(class -> fp
, " .limit locals %i\n", p
-> rf
-> max_used
);
64 fprintf(class -> fp
, ".end method\n\n");
68 jvm_create_class(char * full_name
)
70 struct gen_class
* class = GC_MALLOC(sizeof *class);
71 memset(class, 0, sizeof *class);
73 char * fname
= new_string("%s.j", full_name
);
74 class -> full_name
= new_string(full_name
);
75 class -> fp
= fopen(fname
, "w");
82 jvm_destroy_class(struct gen_class
* class)
84 assert(class -> p
== NULL
);
89 jvm_stack_push(gen_proc_t
* p
, unsigned size
)
91 p
-> stack
-> pointer
+= size
;
92 if(p
-> stack
-> pointer
> p
-> stack
-> max_pointer
)
94 p
-> stack
-> max_pointer
= p
-> stack
-> pointer
;
99 jvm_stack_pop(gen_proc_t
* p
, unsigned size
)
101 p
-> stack
-> pointer
-= size
;
102 assert(p
-> stack
-> pointer
>= 0);
106 jvm_generate(gen_proc_t
* p
, unsigned get
, unsigned push
, char * format
, ...)
109 va_start(ptr
, format
);
111 jvm_stack_pop(p
, get
);
112 fprintf(p
-> class -> fp
, " ");
113 vfprintf(p
-> class -> fp
, format
, ptr
);
114 fprintf(p
-> class -> fp
, "\n");
115 jvm_stack_push(p
, push
);
121 jvm_generate_push_int(gen_proc_t
* p
, int64_t i
)
125 jvm_generate(p
, 0, 1, "iconst_m1");
127 else if(i
>= 0 && i
<= 5)
129 jvm_generate(p
, 0, 1, "iconst_%li", i
);
131 else if(i
>= -128 && i
<= 127)
133 jvm_generate(p
, 0, 1, "bipush %li", i
);
135 else if(i
>= -32768 && i
<= 32767)
137 jvm_generate(p
, 0, 1, "sipush %li", i
);
139 else if(i
>= -2147483648 && i
<= 2147483647)
141 jvm_generate(p
, 0, 1, "ldc %li", i
);
145 jvm_generate(p
, 0, 2, "ldc2 %li", i
);
150 jvm_generate_push_float(gen_proc_t
* p
, double f
, int size
)
156 jvm_generate(p
, 0, 1, "fconst_0");
160 jvm_generate(p
, 0, 1, "fconst_1");
164 jvm_generate(p
, 0, 1, "fconst_2");
168 jvm_generate(p
, 0, 1, "ldc %lf", f
);
175 jvm_generate(p
, 0, 2, "dconst_0");
179 jvm_generate(p
, 0, 2, "dconst_1");
183 jvm_generate(p
, 0, 2, "ldc2 %lf", f
);
189 jvm_new_label_id(gen_proc_t
* p
)
191 int label_id
= p
-> label_id
;
197 jvm_get_label_name(int label_id
)
199 return new_string("L%i", label_id
);
203 jvm_generate_label(gen_proc_t
* p
, int label_id
)
205 jvm_generate(p
, 0, 0, "L%i:", label_id
);
209 jvm_generate_new_static(gen_proc_t
* p
, oberon_type_t
* type
)
215 switch(type
-> class)
217 case OBERON_TYPE_INTEGER
:
218 case OBERON_TYPE_BOOLEAN
:
219 case OBERON_TYPE_PROCEDURE
:
220 case OBERON_TYPE_REAL
:
221 case OBERON_TYPE_POINTER
:
222 gen_error("jvm_generate_new_static: static alocation not allowed");
224 case OBERON_TYPE_RECORD
:
225 cname
= jvm_get_class_full_name(type
);
226 jvm_generate(p
, 0, 1, "new %s", cname
);
227 jvm_generate(p
, 1, 2, "dup");
228 jvm_generate(p
, 1, 0, "invokespecial %s/<init>()V", cname
);
230 case OBERON_TYPE_ARRAY
:
232 desc
= jvm_get_descriptor(type
);
233 while(type
-> class == OBERON_TYPE_ARRAY
)
236 jvm_generate_push_int(p
, type
-> size
);
239 jvm_generate(p
, dim
, 1, "multianewarray %s %i", desc
, dim
);
242 gen_error("jvm_generate_new_static: unk type class %i", type
-> class);
248 jvm_generate_store(gen_proc_t
* p
, oberon_type_t
* src_type
, gen_var_t
* dst
)
253 cell_size
= jvm_cell_size_for_type(src_type
);
255 switch(dst
-> storage
)
257 case JVM_STORAGE_REGISTER
:
258 prefix
= jvm_get_prefix(src_type
);
259 jvm_generate(p
, cell_size
, 0, "%cstore %i", prefix
, dst
-> reg
);
261 case JVM_STORAGE_STATIC
:
262 jvm_generate(p
, cell_size
, 0, "putstatic %s %s", dst
-> full_name
, dst
-> desc
);
264 case JVM_STORAGE_FIELD
:
265 jvm_generate(p
, 1 + cell_size
, 0, "putfield %s %s", dst
-> full_name
, dst
-> desc
);
268 gen_error("jvm_generate_store: unknow storage type %i", dst
-> storage
);
274 oberon_generator_new_var()
276 gen_var_t
* v
= GC_MALLOC(sizeof *v
);
277 memset(v
, 0, sizeof *v
);
282 jvm_generate_and_init_global_var(gen_var_t
* v
, struct gen_class
* class, char * access
, char * name
, char * desc
)
284 assert(class -> p
== NULL
);
285 fprintf(class -> fp
, ".field %s static %s %s\n\n", access
, name
, desc
);
287 v
-> storage
= JVM_STORAGE_STATIC
;
288 v
-> full_name
= new_string("%s/%s", class -> full_name
, name
);
289 v
-> desc
= new_string(desc
);
293 jvm_generate_and_init_field(gen_var_t
* v
, struct gen_class
* class, char * access
, char * name
, char * desc
)
295 assert(class -> p
== NULL
);
296 fprintf(class -> fp
, ".field %s %s %s\n\n", access
, name
, desc
);
298 v
-> storage
= JVM_STORAGE_FIELD
;
299 v
-> full_name
= new_string("%s/%s", class -> full_name
, name
);
300 v
-> desc
= new_string(desc
);
304 jvm_generate_and_init_local_var(gen_var_t
* v
, gen_proc_t
* p
, bool wide
)
306 v
-> storage
= JVM_STORAGE_REGISTER
;
307 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, wide
);
311 jvm_generate_and_init_named_local_var(gen_var_t
* v
, gen_proc_t
* p
, bool wide
, char * name
, char * desc
)
313 jvm_generate_and_init_local_var(v
, p
, wide
);
314 v
-> desc
= new_string(desc
);
315 jvm_generate(p
, 0, 0, ".var %i is %s %s from start to end", v
-> reg
, name
, desc
);
318 // ==========================================
319 // ==========================================
320 // ==========================================
323 oberon_generator_init_context(oberon_context_t
* ctx
)
325 gen_context_t
* gen_context
= GC_MALLOC(sizeof *gen_context
);
326 memset(gen_context
, 0, sizeof *gen_context
);
328 ctx
-> gen_context
= gen_context
;
332 oberon_generator_destroy_context(oberon_context_t
* ctx
)
337 oberon_generate_procedure_class(oberon_type_t
* proc
)
342 struct gen_class
* class;
344 cname
= jvm_get_class_full_name(proc
);
345 class = jvm_create_class(cname
);
348 fprintf(fp
, ".source SYSTEM\n");
349 fprintf(fp
, ".class public abstract %s\n", cname
);
350 fprintf(fp
, ".super java/lang/Object\n\n");
352 fprintf(fp
, ".method public <init>()V\n");
353 fprintf(fp
, " aload_0\n");
354 fprintf(fp
, " invokespecial java/lang/Object/<init>()V\n");
355 fprintf(fp
, " return\n");
356 fprintf(fp
, ".end method\n\n");
358 signature
= jvm_get_procedure_signature(proc
);
360 fprintf(fp
, ".method public abstract invoke%s\n", signature
);
361 fprintf(fp
, ".end method\n\n");
363 jvm_destroy_class(class);
367 oberon_generate_record_class(gen_module_t
* m
, oberon_type_t
* rec
)
370 struct gen_class
* class;
372 /* Устанавливаем новоый id */
373 rec
-> gen_type
-> rec_id
= m
-> rec_id
;
376 cname
= jvm_get_class_full_name(rec
);
377 class = jvm_create_class(cname
);
379 fprintf(class -> fp
, ".source %s\n", rec
-> module
-> name
);
380 fprintf(class -> fp
, ".class public %s\n", cname
);
381 fprintf(class -> fp
, ".super java/lang/Object\n\n");
383 rec
-> gen_type
-> class = class;
387 oberon_generator_init_type(oberon_context_t
* ctx
, oberon_type_t
* type
)
389 gen_type_t
* t
= GC_MALLOC(sizeof *t
);
390 memset(t
, 0, sizeof *t
);
391 type
-> gen_type
= t
;
393 switch(type
-> class)
395 case OBERON_TYPE_VOID
:
396 case OBERON_TYPE_INTEGER
:
397 case OBERON_TYPE_BOOLEAN
:
398 case OBERON_TYPE_ARRAY
:
399 case OBERON_TYPE_REAL
:
401 case OBERON_TYPE_RECORD
:
404 m
= type
-> module
-> gen_mod
;
405 oberon_generate_record_class(m
, type
);
407 case OBERON_TYPE_PROCEDURE
:
408 oberon_generate_procedure_class(type
);
410 case OBERON_TYPE_POINTER
:
413 gen_error("oberon_generator_init_type: unk calss %i", type
-> class);
419 oberon_generator_init_record(oberon_context_t
* ctx
, oberon_type_t
* rec
)
421 struct gen_class
* class;
422 class = rec
-> gen_type
-> class;
424 int num
= rec
-> num_decl
;
425 oberon_object_t
* field
= rec
-> decl
;
426 for(int i
= 0; i
< num
; i
++)
428 gen_var_t
* v
= field
-> gen_var
;
429 char * name
= field
-> name
;
430 char * desc
= jvm_get_descriptor(field
-> type
);
431 jvm_generate_and_init_field(v
, class, "public", name
, desc
);
432 field
= field
-> next
;
435 gen_proc_t
* p
= jvm_create_proc(class);
437 jvm_generate_function_header(p
, "public", "<init>", "()V");
438 jvm_alloc_register_untyped(p
-> rf
, false);
439 jvm_generate(p
, 0, 1, "aload_0");
440 jvm_generate(p
, 1, 0, "invokespecial java/lang/Object/<init>()V");
442 num
= rec
-> num_decl
;
444 for(int i
= 0; i
< num
; i
++)
446 if(field
-> type
-> class == OBERON_TYPE_RECORD
447 || field
-> type
-> class == OBERON_TYPE_ARRAY
)
449 jvm_generate(p
, 0, 1, "aload_0");
450 jvm_generate_new_static(p
, field
-> type
);
451 jvm_generate_store(p
, field
-> type
, field
-> gen_var
);
453 field
= field
-> next
;
456 jvm_generate(p
, 0, 0, "return");
457 jvm_generate_function_end(p
);
459 jvm_destroy_class(class);
463 oberon_generator_init_var(oberon_context_t
* ctx
, oberon_object_t
* var
)
465 gen_var_t
* v
= oberon_generator_new_var();
469 m
= ctx
-> mod
-> gen_mod
;
471 struct gen_class
* class;
477 case OBERON_CLASS_VAR_PARAM
:
478 gen_error("generator: VAR-parameters not implemented");
480 case OBERON_CLASS_PARAM
:
481 /* Заполняется при генерации функции */
482 /* смотри jvm_init_local_object() */
484 case OBERON_CLASS_FIELD
:
485 /* Заполняются при инициализации структуры */
486 /* смотри oberon_generator_init_record() */
488 case OBERON_CLASS_VAR
:
489 /* Локальные заполняются при генерации функции */
490 /* смотри jvm_init_local_object() */
491 if(var
-> local
== 0)
493 desc
= jvm_get_descriptor(var
-> type
);
494 jvm_generate_and_init_global_var(v
, class, "public", var
-> name
, desc
);
498 gen_error("oberon_generator_init_var: unk var class %i", var
-> class);
504 oberon_generator_init_proc(oberon_context_t
* ctx
, oberon_object_t
* proc
)
506 struct gen_class
* class = proc
-> module
-> gen_mod
-> class;
507 proc
-> gen_proc
= jvm_create_proc(class);
511 gen_error("generator: local procedures not implemented");
516 oberon_generator_init_module(oberon_context_t
* ctx
, oberon_module_t
* mod
)
518 gen_module_t
* m
= GC_MALLOC(sizeof *m
);
519 memset(m
, 0, sizeof *m
);
522 struct gen_class
* class;
523 class = jvm_create_class(mod
-> name
);
525 fprintf(class -> fp
, ".source %s\n", mod
-> name
);
526 fprintf(class -> fp
, ".class %s\n", mod
-> name
);
527 fprintf(class -> fp
, ".super java/lang/Object\n\n");
531 ctx
-> gen_context
-> current_m
= m
;
535 oberon_generator_fini_module(oberon_module_t
* mod
)
537 jvm_destroy_class(mod
-> gen_mod
-> class);
541 push_expr(gen_proc_t
* p
, oberon_expr_t
* expr
);
544 oberon_generate_begin_module(oberon_context_t
* ctx
)
546 struct gen_class
* class = ctx
-> mod
-> gen_mod
-> class;
547 gen_proc_t
* p
= jvm_create_proc(class);
549 jvm_generate_function_header(p
, "public", "<init>", "()V");
550 jvm_alloc_register_untyped(p
-> rf
, false);
551 jvm_generate(p
, 0, 1, "aload_0");
552 jvm_generate(p
, 1, 0, "invokespecial java/lang/Object/<init>()V");
556 oberon_generate_end_module(oberon_context_t
* ctx
)
558 struct gen_class
* class = ctx
-> mod
-> gen_mod
-> class;
559 gen_proc_t
* p
= class -> p
;
561 jvm_generate(p
, 0, 0, "return");
562 jvm_generate_function_end(class -> p
);
566 jvm_init_local_object(gen_proc_t
* p
, oberon_object_t
* x
)
571 struct gen_class
* class;
575 wide
= jvm_is_wide_type(x
-> type
);
576 desc
= jvm_get_descriptor(x
-> type
);
578 // Убеждаемся что сейчас находимся в функции
584 case OBERON_CLASS_VAR
:
585 case OBERON_CLASS_PARAM
:
586 jvm_generate_and_init_named_local_var(v
, p
, wide
, x
-> name
, desc
);
589 gen_error("jvm_init_local_object: wat");
595 oberon_generate_begin_proc(oberon_context_t
* ctx
, oberon_object_t
* proc
)
600 p
= proc
-> gen_proc
;
602 signature
= jvm_get_procedure_signature(proc
-> type
);
604 jvm_generate_function_header(p
, "public static", proc
-> name
, signature
);
606 oberon_object_t
* var
= proc
-> type
-> decl
;
609 jvm_init_local_object(p
, var
);
615 oberon_generate_end_proc(oberon_context_t
* ctx
)
620 m
= ctx
-> mod
-> gen_mod
;
623 jvm_generate_function_end(p
);
627 jvm_generate_call_proc(gen_proc_t
* p
, oberon_expr_t
* desig
)
629 assert(desig
-> is_item
);
630 assert(desig
-> item
.mode
== MODE_CALL
);
632 oberon_object_t
* proc
;
636 proc
= desig
-> item
.var
;
637 fullname
= jvm_get_field_full_name(proc
);
638 signature
= jvm_get_procedure_signature(proc
-> type
);
641 int result_cells
= jvm_cell_size_for_type(proc
-> type
-> base
);
643 int num
= desig
-> item
.num_args
;
644 oberon_expr_t
* arg
= desig
-> item
.args
;
645 for(int i
= 0; i
< num
; i
++)
647 args_cells
+= jvm_cell_size_for_type(arg
-> result
);
652 jvm_generate(p
, args_cells
, result_cells
, "invokestatic %s%s", fullname
, signature
);
656 oberon_generate_call_proc(oberon_context_t
* ctx
, oberon_expr_t
* desig
)
658 jvm_generate_call_proc(ctx
-> gen_context
-> current_m
-> class -> p
, desig
);
662 oberon_generate_return(oberon_context_t
* ctx
, oberon_expr_t
* expr
)
669 m
= ctx
-> mod
-> gen_mod
;
675 prefix
= jvm_get_prefix(expr
-> result
);
676 cell_size
= jvm_cell_size_for_type(expr
-> result
);
677 jvm_generate(p
, cell_size
, 0, "%creturn", prefix
);
681 jvm_generate(p
, 0, 0, "return");
686 jvm_push_var(gen_proc_t
* p
, oberon_object_t
* var
)
688 int cell_size
= jvm_cell_size_for_type(var
-> type
);
692 int reg
= var
-> gen_var
-> reg
;
693 char prefix
= jvm_get_prefix(var
-> type
);
694 jvm_generate(p
, 0, cell_size
, "%cload %i", prefix
, reg
);
698 char * fullname
= jvm_get_field_full_name(var
);
699 char * desc
= jvm_get_descriptor(var
-> type
);
700 jvm_generate(p
, 0, cell_size
, "getstatic %s %s", fullname
, desc
);
705 jvm_generate_expr_new_static(gen_proc_t
* p
, oberon_type_t
* type
, int num
, oberon_expr_t
* arg
)
708 jvm_generate_new_static(p
, type
);
712 jvm_generate_expr_new_pointer(gen_proc_t
* p
, oberon_type_t
* type
, int num
, oberon_expr_t
* arg
)
714 assert(type
-> class == OBERON_TYPE_POINTER
);
715 jvm_generate_expr_new_static(p
, type
-> base
, num
, arg
);
719 push_item(gen_proc_t
* p
, oberon_item_t
* item
)
724 jvm_push_var(p
, item
-> var
);
727 jvm_generate_push_int(p
, item
-> integer
);
730 jvm_generate_push_int(p
, item
-> boolean
);
733 jvm_generate_call_proc(p
, (oberon_expr_t
*) item
);
737 char postfix
= jvm_get_postfix(item
-> result
);
738 int cell_size
= jvm_cell_size_for_postfix(postfix
);
739 push_item(p
, item
-> parent
);
740 push_expr(p
, item
-> args
);
741 jvm_generate(p
, 1 + 1, cell_size
, "%caload", postfix
);
744 push_item(p
, item
-> parent
);
745 char * field
= jvm_get_field_full_name(item
-> var
);
746 char * desc
= jvm_get_descriptor(item
-> var
-> type
);
747 jvm_generate(p
, 1, 1, "getfield %s %s", field
, desc
);
750 /* Все объекты представляются как увказатели */
751 push_item(p
, item
-> parent
);
754 jvm_generate(p
, 0, 1, "aconst_null");
757 jvm_generate_expr_new_pointer(p
, item
-> result
, item
-> num_args
, item
-> args
);
760 jvm_generate_push_float(p
, item
-> real
, item
-> result
-> size
);
763 gen_error("push_item: unk mode %i", item
-> mode
);
769 jvm_generate_logical_not(gen_proc_t
* p
)
771 int label_done
= jvm_new_label_id(p
);
772 int label_false
= jvm_new_label_id(p
);
773 char * label_name_done
= jvm_get_label_name(label_done
);
774 char * label_name_false
= jvm_get_label_name(label_false
);
776 jvm_generate(p
, 1, 0, "ifne %s", label_name_false
);
777 jvm_generate(p
, 0, 1, "iconst_1");
778 jvm_generate(p
, 0, 0, "goto %s", label_name_done
);
779 jvm_generate_label(p
, label_false
);
780 jvm_generate(p
, 0, 1, "iconst_0");
781 jvm_generate_label(p
, label_done
);
785 jvm_generate_abs(gen_proc_t
* p
, char prefix
)
787 char t
= jvm_get_type_of_prefix(prefix
);
788 int cell_size
= jvm_cell_size_for_postfix(prefix
);
789 jvm_generate(p
, cell_size
, cell_size
, "invokestatic java/lang/Math/abs(%c)%c", t
, t
);
793 jvm_generate_compare_op(gen_proc_t
* p
, char prefix
, int op
)
795 int label_true
= jvm_new_label_id(p
);
796 int label_done
= jvm_new_label_id(p
);
797 char * label_name_true
= jvm_get_label_name(label_true
);
798 char * label_name_done
= jvm_get_label_name(label_done
);
799 int cell_size
= 2 * jvm_cell_size_for_postfix(prefix
);
801 assert(prefix
== 'i' || prefix
== 'a');
803 const char * cmpop
= "";
825 gen_error("jvm_generate_compare_op: wat");
829 jvm_generate(p
, cell_size
, 0, "if_%ccmp%s %s", prefix
, cmpop
, label_name_true
);
830 jvm_generate(p
, 0, 1, "iconst_0");
831 jvm_generate(p
, 0, 0, "goto %s", label_name_done
);
832 jvm_generate_label(p
, label_true
);
833 jvm_generate(p
, 0, 1, "iconst_1");
834 jvm_generate_label(p
, label_done
);
838 jvm_generate_operator(gen_proc_t
* p
, char prefix
, int op
)
840 int cell_size
= jvm_cell_size_for_postfix(prefix
);
844 jvm_generate(p
, cell_size
, cell_size
, "%cneg", prefix
);
847 jvm_generate_push_int(p
, -1);
848 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cxor", prefix
);
851 jvm_generate_logical_not(p
);
854 jvm_generate_abs(p
, prefix
);
858 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cadd", prefix
);
861 jvm_generate(p
, 2 * cell_size
, cell_size
, "%csub", prefix
);
864 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cmul", prefix
);
867 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cdiv", prefix
);
870 jvm_generate(p
, 2 * cell_size
, cell_size
, "%crem", prefix
);
873 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cand", prefix
);
876 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cxor", prefix
);
879 jvm_generate(p
, 2 * cell_size
, cell_size
, "%cor", prefix
);
888 jvm_generate_compare_op(p
, prefix
, op
);
891 gen_error("jvm_generate_operator: unk op %i", op
);
897 jvm_generate_logical_or(gen_proc_t
* p
, oberon_expr_t
* a
, oberon_expr_t
* b
)
899 int label_calc_b
= jvm_new_label_id(p
);
900 int label_done
= jvm_new_label_id(p
);
901 char * label_name_calc_b
= jvm_get_label_name(label_calc_b
);
902 char * label_name_done
= jvm_get_label_name(label_done
);
904 /* a OR b -- если a, то TRUE, иначе b */
907 jvm_generate(p
, 1, 0, "ifne %s", label_name_calc_b
);
908 jvm_generate(p
, 0, 1, "iconst_1");
909 jvm_generate(p
, 0, 0, "goto %s", label_name_done
);
910 jvm_generate_label(p
, label_calc_b
);
912 jvm_generate_label(p
, label_done
);
916 jvm_generate_logical_and(gen_proc_t
* p
, oberon_expr_t
* a
, oberon_expr_t
* b
)
918 int label_false
= jvm_new_label_id(p
);
919 int label_done
= jvm_new_label_id(p
);
920 char * label_name_false
= jvm_get_label_name(label_false
);
921 char * label_name_done
= jvm_get_label_name(label_done
);
923 /* a AND b -- если a, то b, иначе FALSE */
926 jvm_generate(p
, 1, 0, "ifne %s", label_name_false
);
928 jvm_generate(p
, 0, 0, "goto %s", label_name_done
);
929 jvm_generate_label(p
, label_false
);
930 jvm_generate(p
, 0, 1, "iconst_0");
931 jvm_generate_label(p
, label_done
);
935 push_operator(gen_proc_t
* p
, oberon_oper_t
* oper
)
937 char prefix
= jvm_get_prefix(oper
-> result
);
945 push_expr(p
, oper
-> left
);
946 jvm_generate_operator(p
, prefix
, op
);
964 push_expr(p
, oper
-> left
);
965 push_expr(p
, oper
-> right
);
966 jvm_generate_operator(p
, prefix
, op
);
970 jvm_generate_logical_or(p
, oper
-> left
, oper
-> right
);
973 jvm_generate_logical_and(p
, oper
-> left
, oper
-> right
);
976 gen_error("push_oper: unk op %i", op
);
982 push_expr(gen_proc_t
* p
, oberon_expr_t
* expr
)
986 push_item(p
, (oberon_item_t
*) expr
);
990 push_operator(p
, (oberon_oper_t
*) expr
);
995 store_expr(gen_proc_t
* p
, oberon_expr_t
* dst
, oberon_expr_t
* src
)
997 assert(dst
-> is_item
);
998 oberon_item_t
* item
= (oberon_item_t
*) dst
;
1000 if(dst
-> result
-> class == OBERON_TYPE_ARRAY
1001 || src
-> result
-> class == OBERON_TYPE_ARRAY
)
1003 gen_error("array copy not implemented");
1005 else if(dst
-> result
-> class == OBERON_TYPE_RECORD
1006 || src
-> result
-> class == OBERON_TYPE_RECORD
)
1008 gen_error("record copy not implemented");
1011 switch(item
-> mode
)
1015 jvm_generate_store(p
, src
-> result
, item
-> var
-> gen_var
);
1019 char postfix
= jvm_get_postfix(src
-> result
);
1020 int cell_size
= jvm_cell_size_for_postfix(postfix
);
1021 push_item(p
, item
-> parent
);
1022 push_expr(p
, item
-> args
);
1024 jvm_generate(p
, 1 + 1 + cell_size
, 0, "%castore", postfix
);
1027 push_item(p
, item
-> parent
);
1029 jvm_generate_store(p
, src
-> result
, item
-> var
-> gen_var
);
1032 gen_error("store_expr: unk mode %i", item
-> mode
);
1038 oberon_generate_assign(oberon_context_t
* ctx
, oberon_expr_t
* src
, oberon_expr_t
* dst
)
1043 m
= ctx
-> mod
-> gen_mod
;
1044 p
= m
-> class -> p
;
1046 store_expr(p
, dst
, src
);
1050 oberon_generate_code(oberon_context_t
* ctx
)
1052 printf("generate code\n");
1056 oberon_generator_dump(oberon_context_t
* ctx
, char * path
)
1058 printf("jit: dump code\n");
1062 oberon_generator_get_procedure(oberon_context_t
* ctx
, const char * name
)
1064 printf("jit: get pointer to procedure %s\n", name
);
1069 oberon_generator_get_var(oberon_context_t
* ctx
, const char * name
)
1071 printf("jit: get pointer to var %s\n", name
);