11 #include "../../../include/oberon.h"
12 #include "../../oberon-internals.h"
13 #include "generator-jvm.h"
14 #include "generator-jvm-abi.h"
15 #include "generator-jvm-asm.h"
16 #include "generator-jvm-basic.h"
19 * --- Каждый модуль является объектом.
20 * Импортируемые модули представляются полями.
21 * Каждая глобальная переменная представляется не статическим полем.
22 * Каждая процедура представляется не статическим метеодом.
23 * Процедура инициализации модуля имеет название BEGIN.
24 * Процедура финализации модуля имеет название END.
25 * Это позволит сделать динамическую загрузку и выгрузку.
26 * +++ всем переменным и полям в дескриптор добавляется "["
27 * Это позволит делать ссылки на переменные в VAR-параметрах.
28 * --- Каждая процедура снабжается параметром-фреймом.
29 * Это позволит реализовать локальные процедуры и средства рефлекции над стеком.
33 jvm_generate_ldst_prepare(gen_proc_t
* p
, gen_var_t
* v
)
35 char * desc
= v
-> type
-> desc
;
36 char * full_name
= v
-> full_name
;
39 case JVM_STORAGE_REGISTER
:
40 case JVM_STORAGE_STATIC
:
41 case JVM_STORAGE_FIELD
:
42 case JVM_STORAGE_PARAM
:
44 case JVM_STORAGE_REGISTER_VAR
:
45 case JVM_STORAGE_PARAM_VAR
:
46 jvm_generate(p
, 0, 1, "aload %i", v
-> reg
);
47 jvm_generate(p
, 0, 1, "iconst_0");
49 case JVM_STORAGE_STATIC_VAR
:
50 jvm_generate(p
, 0, 1, "getstatic %s [%s", full_name
, desc
);
51 jvm_generate(p
, 0, 1, "iconst_0");
53 case JVM_STORAGE_FIELD_VAR
:
54 jvm_generate(p
, 1, 1, "getfield %s [%s", full_name
, desc
);
55 jvm_generate(p
, 0, 1, "iconst_0");
57 case JVM_STORAGE_PARAM_VARPTR
:
58 jvm_generate(p
, 0, 1, "aload %i", v
-> reg
);
59 jvm_generate(p
, 0, 1, "iload %i", v
-> reg
+ 1);
61 case JVM_STORAGE_FRAME
:
62 case JVM_STORAGE_FRAME_PARAM
:
63 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
65 case JVM_STORAGE_FRAME_VAR
:
66 case JVM_STORAGE_FRAME_PARAM_VAR
:
67 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
68 jvm_generate(p
, 1, 1, "getfield %s [%s", full_name
, desc
);
69 jvm_generate(p
, 0, 1, "iconst_0");
71 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
72 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
73 jvm_generate(p
, 1, 1, "getfield %s [%s", full_name
, desc
);
74 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
75 jvm_generate(p
, 1, 1, "getfield %s$offset I", full_name
);
78 gen_error("jvm_abi_obn_generate_ldst_prepare: wat %i", v
-> storage
);
83 jvm_generate_load(gen_proc_t
* p
, gen_var_t
* src
)
85 char prefix
= src
-> type
-> prefix
;
86 int cell_size
= src
-> type
-> cell_size
;
87 char * full_name
= src
-> full_name
;
88 char * desc
= src
-> type
-> desc
;
90 switch(src
-> storage
)
92 case JVM_STORAGE_REGISTER
:
93 case JVM_STORAGE_PARAM
:
94 jvm_generate(p
, 0, cell_size
, "%cload %i", prefix
, src
-> reg
);
96 case JVM_STORAGE_STATIC
:
97 jvm_generate(p
, 0, cell_size
, "getstatic %s %s", full_name
, desc
);
99 case JVM_STORAGE_FIELD
:
100 jvm_generate(p
, 0, cell_size
, "getfield %s %s", full_name
, desc
);
102 case JVM_STORAGE_REGISTER_VAR
:
103 case JVM_STORAGE_STATIC_VAR
:
104 case JVM_STORAGE_FIELD_VAR
:
105 case JVM_STORAGE_PARAM_VAR
:
106 case JVM_STORAGE_PARAM_VARPTR
:
107 case JVM_STORAGE_FRAME_VAR
:
108 case JVM_STORAGE_FRAME_PARAM_VAR
:
109 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
110 jvm_generate_ldst_prepare(p
, src
);
111 jvm_generate(p
, 1 + 1, cell_size
, "%caload", prefix
);
113 case JVM_STORAGE_FRAME
:
114 case JVM_STORAGE_FRAME_PARAM
:
115 jvm_generate_ldst_prepare(p
, src
);
116 jvm_generate(p
, 1, cell_size
, "getfield %s %s", full_name
, desc
);
119 gen_error("jvm_generate_load: unknow storage type %i", src
-> storage
);
125 jvm_generate_store(gen_proc_t
* p
, gen_var_t
* dst
)
127 char prefix
= dst
-> type
-> prefix
;
128 int cell_size
= dst
-> type
-> cell_size
;
129 char * full_name
= dst
-> full_name
;
130 char * desc
= dst
-> type
-> desc
;
132 switch(dst
-> storage
)
134 case JVM_STORAGE_REGISTER
:
135 case JVM_STORAGE_PARAM
:
136 jvm_generate(p
, cell_size
, 0, "%cstore %i", prefix
, dst
-> reg
);
138 case JVM_STORAGE_STATIC
:
139 jvm_generate(p
, 0, cell_size
, "putstatic %s %s", full_name
, desc
);
141 case JVM_STORAGE_FIELD
:
142 jvm_generate(p
, 0, cell_size
, "putfield %s %s", full_name
, desc
);
144 case JVM_STORAGE_REGISTER_VAR
:
145 case JVM_STORAGE_STATIC_VAR
:
146 case JVM_STORAGE_FIELD_VAR
:
147 case JVM_STORAGE_PARAM_VAR
:
148 case JVM_STORAGE_PARAM_VARPTR
:
149 case JVM_STORAGE_FRAME_VAR
:
150 case JVM_STORAGE_FRAME_PARAM_VAR
:
151 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
152 jvm_generate(p
, 1 + 1 + cell_size
, 0, "%castore", prefix
);
154 case JVM_STORAGE_FRAME
:
155 case JVM_STORAGE_FRAME_PARAM
:
156 jvm_generate(p
, 0, cell_size
, "putfield %s %s", full_name
, desc
);
159 gen_error("jvm_generate_store: unknow storage type %i", dst
-> storage
);
167 gen_var_t
* v
= GC_MALLOC(sizeof *v
);
168 memset(v
, 0, sizeof *v
);
173 jvm_create_class_var(struct gen_class
* class, enum gen_storage storage
, char * name
, gen_type_t
* t
)
175 gen_var_t
* v
= jvm_new_var();
176 v
-> storage
= storage
;
177 v
-> name
= new_string(name
);
181 assert(class -> p
== NULL
);
184 case JVM_STORAGE_STATIC
:
185 case JVM_STORAGE_FIELD
:
186 case JVM_STORAGE_STATIC_VAR
:
187 case JVM_STORAGE_FIELD_VAR
:
188 v
-> full_name
= new_string("%s/%s", class -> full_name
, name
);
191 gen_error("jvm_create_class_var: invalid storage %i", storage
);
199 jvm_create_function_var(gen_proc_t
* p
, enum gen_storage storage
, char * name
, gen_type_t
* t
)
201 gen_var_t
* v
= jvm_new_var();
202 v
-> storage
= storage
;
203 v
-> name
= new_string(name
);
206 v
-> level
= p
-> level
;
210 case JVM_STORAGE_REGISTER
:
211 case JVM_STORAGE_PARAM
:
212 case JVM_STORAGE_PARAM_VAR
:
213 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, t
-> wide
);
215 case JVM_STORAGE_PARAM_VARPTR
:
216 /* Содержит пару массив+индекс */
217 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, true);
219 case JVM_STORAGE_REGISTER_VAR
:
220 /* Содержит массив */
221 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, false);
223 case JVM_STORAGE_FRAME
:
224 case JVM_STORAGE_FRAME_VAR
:
225 v
-> full_name
= new_string("%s$FRAME/%s", p
-> full_name
, name
);
227 case JVM_STORAGE_FRAME_PARAM
:
228 case JVM_STORAGE_FRAME_PARAM_VAR
:
229 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, t
-> wide
);
230 v
-> full_name
= new_string("%s$FRAME/%s", p
-> full_name
, name
);
232 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
233 /* Содержит пару массив+индекс */
234 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, true);
235 v
-> full_name
= new_string("%s$FRAME/%s", p
-> full_name
, name
);
238 gen_error("jvm_create_class_var: invalid storage %i", storage
);
246 jvm_create_function_temp_var(gen_proc_t
* p
, gen_type_t
* t
)
248 gen_var_t
* v
= jvm_new_var();
249 v
-> storage
= JVM_STORAGE_REGISTER
;
250 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, t
-> wide
);
251 v
-> name
= new_string("$TEMP_%i$", v
-> reg
);
254 v
-> level
= p
-> level
;
259 jvm_generate_var(gen_var_t
* v
)
261 enum gen_storage storage
= v
-> storage
;
263 char * name
= v
-> name
;
264 char * desc
= v
-> type
-> desc
;
265 gen_proc_t
* p
= v
-> p
;
269 case JVM_STORAGE_REGISTER
:
270 case JVM_STORAGE_PARAM
:
271 case JVM_STORAGE_PARAM_VAR
:
272 jvm_generate(p
, 0, 0, ".var %i is %s %s from start to end", reg
, name
, desc
);
274 case JVM_STORAGE_REGISTER_VAR
:
275 jvm_generate(p
, 0, 0, ".var %i is %s [%s from start to end", reg
, name
, desc
);
277 case JVM_STORAGE_PARAM_VARPTR
:
278 jvm_generate(p
, 0, 0, ".var %i is %s [%s from start to end", reg
, name
, desc
);
279 jvm_generate(p
, 0, 0, ".var %i is %s$offset I from start to end", reg
+ 1, name
);
281 case JVM_STORAGE_STATIC
:
282 fprintf(v
-> class -> fp
, ".field public static %s %s\n\n", name
, desc
);
284 case JVM_STORAGE_STATIC_VAR
:
285 fprintf(v
-> class -> fp
, ".field public static %s [%s\n\n", name
, desc
);
287 case JVM_STORAGE_FIELD
:
288 fprintf(v
-> class -> fp
, ".field public %s %s\n\n", name
, desc
);
290 case JVM_STORAGE_FIELD_VAR
:
291 fprintf(v
-> class -> fp
, ".field public %s [%s\n\n", name
, desc
);
293 case JVM_STORAGE_FRAME
:
294 case JVM_STORAGE_FRAME_VAR
:
295 case JVM_STORAGE_FRAME_PARAM
:
296 case JVM_STORAGE_FRAME_PARAM_VAR
:
297 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
298 /* См. ниже jvm_generate_frame_class() */
301 gen_error("jvm_generate_var: invalid storage %i", storage
);
307 jvm_generate_param_initialization(gen_proc_t
* p
, gen_var_t
* v
)
309 int old_reg
= v
-> reg
;
310 int cell_size
= v
-> type
-> cell_size
;
311 char prefix
= v
-> type
-> prefix
;
312 char * name
= v
-> name
;
313 char * desc
= v
-> type
-> desc
;
315 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, false);
316 jvm_generate(p
, 0, 0, ".var %i is $%s [%s from start to end", v
-> reg
, name
, desc
);
318 jvm_generate(p
, 0, 1, "iconst_1");
319 jvm_generate(p
, 1, 1, "multianewarray [%s 1", desc
);
320 jvm_generate(p
, 1, 2, "dup");
321 jvm_generate(p
, 1, 0, "astore %i", v
-> reg
);
323 jvm_generate(p
, 0, 1, "iconst_0");
324 jvm_generate(p
, 0, cell_size
, "%cload %i", prefix
, old_reg
);
325 jvm_generate(p
, 1 + 1 + cell_size
, 0, "%castore", prefix
);
329 jvm_generate_var_initialization(gen_proc_t
* p
, gen_var_t
* v
)
331 if(v
-> storage
== JVM_STORAGE_REGISTER_VAR
)
333 jvm_generate(p
, 0, 1, "iconst_1");
334 jvm_generate(p
, 1, 1, "multianewarray [%s 1", v
-> type
-> desc
);
335 jvm_generate(p
, 1, 0, "astore %i", v
-> reg
);
337 else if(v
-> storage
== JVM_STORAGE_STATIC_VAR
)
339 jvm_generate(p
, 0, 1, "iconst_1");
340 jvm_generate(p
, 1, 1, "multianewarray [%s 1", v
-> type
-> desc
);
341 jvm_generate(p
, 1, 0, "putstatic %s [%s", v
-> full_name
, v
-> type
-> desc
);
343 else if(v
-> storage
== JVM_STORAGE_FIELD_VAR
)
345 jvm_generate(p
, 0, 1, "iconst_1");
346 jvm_generate(p
, 1, 1, "multianewarray [%s 1", v
-> type
-> desc
);
347 jvm_generate(p
, 1, 0, "putfield %s [%s", v
-> full_name
, v
-> type
-> desc
);
349 else if(v
-> storage
== JVM_STORAGE_PARAM_VAR
)
351 jvm_generate_param_initialization(p
, v
);
353 else if(v
-> storage
== JVM_STORAGE_FRAME_PARAM
354 || v
-> storage
== JVM_STORAGE_FRAME_PARAM_VAR
)
356 jvm_generate_ldst_prepare(p
, v
);
357 jvm_generate(p
, 0, v
-> type
-> cell_size
, "%cload %i", v
-> type
-> prefix
, v
-> reg
);
358 jvm_generate_store(p
, v
);
360 else if(v
-> storage
== JVM_STORAGE_FRAME_PARAM_VARPTR
)
362 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
363 jvm_generate(p
, 0, 1, "aload %i", v
-> reg
);
364 jvm_generate(p
, 1, 0, "putfield %s [%s", v
-> full_name
, v
-> type
-> desc
);
366 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
367 jvm_generate(p
, 0, 1, "iload %i", v
-> reg
+ 1);
368 jvm_generate(p
, 1, 0, "putfield %s$offset I", v
-> full_name
);
373 jvm_generate_abstract_frame_class()
377 struct gen_class
* class;
379 cname
= "SYSTEM$FRAME";
380 class = jvm_create_class(cname
);
383 fprintf(fp
, ".source SYSTEM\n");
384 fprintf(fp
, ".class public abstract %s\n", cname
);
385 fprintf(fp
, ".super java/lang/Object\n\n");
387 fprintf(fp
, ".field public $UP L%s;\n\n", cname
);
389 fprintf(fp
, ".method <init>()V\n");
390 fprintf(fp
, " aload_0\n");
391 fprintf(fp
, " invokespecial java/lang/Object/<init>()V\n");
392 fprintf(fp
, " return\n");
393 fprintf(fp
, ".end method\n\n");
395 jvm_destroy_class(class);
398 static struct gen_class
*
399 jvm_generate_frame_class(oberon_object_t
* proc
)
404 struct gen_class
* class;
405 oberon_object_t
* var
;
407 abscname
= "SYSTEM$FRAME";
408 cname
= jvm_get_field_full_name_safe(proc
);
409 cname
= new_string("%s$FRAME", cname
);
410 class = jvm_create_class(cname
);
413 class -> full_name
= cname
;
415 fprintf(fp
, ".source %s\n", proc
-> module
-> name
);
416 fprintf(fp
, ".class public %s\n", cname
);
417 fprintf(fp
, ".super %s\n\n", abscname
);
419 var
= proc
-> scope
-> list
-> next
;
422 if(var
-> class == OBERON_CLASS_VAR
423 || var
-> class == OBERON_CLASS_PARAM
424 || var
-> class == OBERON_CLASS_VAR_PARAM
)
426 gen_var_t
* v
= var
-> gen_var
;
427 if(v
-> storage
== JVM_STORAGE_FRAME
428 || v
-> storage
== JVM_STORAGE_FRAME_PARAM
)
430 fprintf(fp
, "; LEVEL %i\n", v
-> level
);
431 fprintf(fp
, ".field public %s %s\n\n", v
-> name
, v
-> type
-> desc
);
433 else if(v
-> storage
== JVM_STORAGE_FRAME_VAR
434 || v
-> storage
== JVM_STORAGE_FRAME_PARAM_VAR
)
436 fprintf(fp
, "; LEVEL %i\n", v
-> level
);
437 fprintf(fp
, ".field public %s [%s\n\n", v
-> name
, v
-> type
-> desc
);
439 else if(v
-> storage
== JVM_STORAGE_FRAME_PARAM_VARPTR
)
441 fprintf(fp
, "; LEVEL %i\n", v
-> level
);
442 fprintf(fp
, ".field public %s [%s\n", v
-> name
, v
-> type
-> desc
);
443 fprintf(fp
, ".field public %s$offset I\n\n", v
-> name
);
449 fprintf(fp
, ".method <init>()V\n");
450 fprintf(fp
, " .limit stack 2\n");
451 fprintf(fp
, " aload_0\n");
452 fprintf(fp
, " invokespecial %s/<init>()V\n", abscname
);
454 var
= proc
-> scope
-> list
-> next
;
457 if(var
-> class == OBERON_CLASS_VAR
458 || var
-> class == OBERON_CLASS_PARAM
459 || var
-> class == OBERON_CLASS_VAR_PARAM
)
461 gen_var_t
* v
= var
-> gen_var
;
462 if(v
-> storage
== JVM_STORAGE_FRAME_VAR
463 || v
-> storage
== JVM_STORAGE_FRAME_PARAM_VAR
)
465 fprintf(fp
, " aload_0\n");
466 fprintf(fp
, " iconst_1\n");
467 fprintf(fp
, " multianewarray [%s 1\n", v
-> type
-> desc
);
468 fprintf(fp
, " putfield %s [%s\n", v
-> full_name
, v
-> type
-> desc
);
474 fprintf(fp
, " return\n");
475 fprintf(fp
, ".end method\n\n");
477 jvm_destroy_class(class);
483 jvm_generate_procedure_frame(oberon_object_t
* proc
)
488 struct gen_class
* class;
490 p
= proc
-> gen_proc
;
492 jvm_generate_abstract_frame_class();
493 class = jvm_generate_frame_class(proc
);
495 t
= GC_MALLOC(sizeof *t
);
496 memset(t
, 0, sizeof *t
);
502 t
-> desc
= new_string("L%s;", class -> full_name
);
504 v
= jvm_create_function_var(p
, JVM_STORAGE_REGISTER
, "$FP$", t
);
506 printf("jvm_generate_procedure_frame: %p level %i\n", p
-> reg_frame
, p
-> level
);
507 p
-> reg_frame
[p
-> level
] = v
-> reg
;
511 jvm_generate_frame_initialization(gen_proc_t
* p
)
513 jvm_generate_var(p
-> frame_v
);
514 jvm_generate_ldst_prepare(p
, p
-> frame_v
);
515 jvm_generate(p
, 0, 1, "new %s", p
-> frame_v
-> type
-> class -> full_name
);
516 jvm_generate(p
, 1, 2, "dup");
517 jvm_generate(p
, 1, 0, "invokespecial %s/<init>()V", p
-> frame_v
-> type
-> class -> full_name
);
518 jvm_generate_store(p
, p
-> frame_v
);
522 jvm_get_procedure_signature(oberon_type_t
* ps
)
527 oberon_object_t
* arg
;
529 signature
= new_string("(");
531 num
= ps
-> num_decl
;
533 for(int i
= 0; i
< num
; i
++)
535 desc
= jvm_get_descriptor(arg
-> type
);
536 if(arg
-> class == OBERON_CLASS_VAR_PARAM
)
538 signature
= new_string("%s[%sI", signature
, desc
);
542 signature
= new_string("%s%s", signature
, desc
);
547 desc
= jvm_get_descriptor(ps
-> base
);
548 signature
= new_string("%s)%s", signature
, desc
);
554 jvm_get_frame_descriptor(oberon_object_t
* proc
)
556 char * full_name
= jvm_get_field_full_name_safe(proc
);
557 return new_string("L%s$FRAME;", full_name
);
561 jvm_get_oberon_signature_static_links(oberon_object_t
* parent
)
568 char * up
= jvm_get_oberon_signature_static_links(parent
-> parent
);
569 char * desc
= jvm_get_frame_descriptor(parent
);
570 return new_string("%s%s", up
, desc
);
574 jvm_get_local_procedure_signature(oberon_object_t
* proc
)
580 oberon_object_t
* arg
;
585 signature
= new_string("(");
589 stlinks
= jvm_get_oberon_signature_static_links(proc
-> parent
);
590 signature
= new_string("%s%s", signature
, stlinks
);
593 num
= ps
-> num_decl
;
595 for(int i
= 0; i
< num
; i
++)
597 desc
= jvm_get_descriptor(arg
-> type
);
598 if(arg
-> class == OBERON_CLASS_VAR_PARAM
)
600 signature
= new_string("%s[%sI", signature
, desc
);
604 signature
= new_string("%s%s", signature
, desc
);
609 desc
= jvm_get_descriptor(ps
-> base
);
610 signature
= new_string("%s)%s", signature
, desc
);
617 jvm_generate_staticlinks_recursive(gen_proc_t
* p
, oberon_object_t
* parent
, int level
)
624 jvm_generate_staticlinks_recursive(p
, parent
-> parent
, level
- 1);
625 int reg
= p
-> reg_frame
[level
];
626 char * desc
= jvm_get_frame_descriptor(parent
);
627 jvm_generate(p
, 0, 0, ".var %i is SL$%i %s from start to end", reg
, level
, desc
);
631 jvm_generate_staticlinks(oberon_object_t
* proc
)
635 p
= proc
-> gen_proc
;
637 jvm_generate_staticlinks_recursive(p
, proc
-> parent
, p
-> level
);
641 jvm_create_staticlinks_recursive(gen_proc_t
* p
, oberon_object_t
* parent
, int level
)
648 jvm_create_staticlinks_recursive(p
, parent
-> parent
, level
- 1);
649 p
-> reg_frame
[level
] = jvm_alloc_register_untyped(p
-> rf
, false);
653 jvm_create_static_links(oberon_object_t
* proc
)
656 p
= proc
-> gen_proc
;
659 oberon_object_t
* prc
= proc
;
666 p
-> max_frames
= max_frames
;
667 p
-> reg_frame
= GC_MALLOC(sizeof *p
-> reg_frame
);
668 memset(p
-> reg_frame
, 0, max_frames
* sizeof *p
-> reg_frame
);
670 p
-> level
= max_frames
- 1;
671 jvm_create_staticlinks_recursive(p
, proc
-> parent
, p
-> level
);
675 jvm_generate_push_static_links_recursive(gen_proc_t
* p
, oberon_object_t
* parent
)
682 jvm_generate_push_static_links_recursive(p
, parent
-> parent
);
683 int level
= parent
-> gen_proc
-> level
;
684 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[level
]);
688 jvm_generate_push_static_links(gen_proc_t
* p
, oberon_object_t
* proc
)
690 jvm_generate_push_static_links_recursive(p
, proc
-> parent
);