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 jvm_generate_ldst_prepare(gen_proc_t
* p
, gen_var_t
* v
)
21 char * desc
= v
-> type
-> desc
;
22 char * full_name
= v
-> full_name
;
25 case JVM_STORAGE_REGISTER
:
26 case JVM_STORAGE_STATIC
:
27 case JVM_STORAGE_FIELD
:
28 case JVM_STORAGE_PARAM
:
30 case JVM_STORAGE_REGISTER_VAR
:
31 case JVM_STORAGE_PARAM_VAR
:
32 jvm_generate(p
, 0, 1, "aload %i", v
-> reg
);
33 jvm_generate(p
, 0, 1, "iconst_0");
35 case JVM_STORAGE_STATIC_VAR
:
36 jvm_generate(p
, 0, 1, "getstatic %s [%s", full_name
, desc
);
37 jvm_generate(p
, 0, 1, "iconst_0");
39 case JVM_STORAGE_FIELD_VAR
:
40 jvm_generate(p
, 1, 1, "getfield %s [%s", full_name
, desc
);
41 jvm_generate(p
, 0, 1, "iconst_0");
43 case JVM_STORAGE_PARAM_VARPTR
:
44 jvm_generate(p
, 0, 1, "aload %i", v
-> reg
);
45 jvm_generate(p
, 0, 1, "iload %i", v
-> reg
+ 1);
47 case JVM_STORAGE_FRAME
:
48 case JVM_STORAGE_FRAME_PARAM
:
49 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
51 case JVM_STORAGE_FRAME_VAR
:
52 case JVM_STORAGE_FRAME_PARAM_VAR
:
53 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
54 jvm_generate(p
, 1, 1, "getfield %s [%s", full_name
, desc
);
55 jvm_generate(p
, 0, 1, "iconst_0");
57 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
58 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
59 jvm_generate(p
, 1, 1, "getfield %s [%s", full_name
, desc
);
60 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
61 jvm_generate(p
, 1, 1, "getfield %s$offset I", full_name
);
64 gen_error("jvm_abi_obn_generate_ldst_prepare: wat %i", v
-> storage
);
69 jvm_generate_load(gen_proc_t
* p
, gen_var_t
* src
)
71 char prefix
= src
-> type
-> prefix
;
72 int cell_size
= src
-> type
-> cell_size
;
73 char * full_name
= src
-> full_name
;
74 char * desc
= src
-> type
-> desc
;
76 switch(src
-> storage
)
78 case JVM_STORAGE_REGISTER
:
79 case JVM_STORAGE_PARAM
:
80 jvm_generate(p
, 0, cell_size
, "%cload %i", prefix
, src
-> reg
);
82 case JVM_STORAGE_STATIC
:
83 jvm_generate(p
, 0, cell_size
, "getstatic %s %s", full_name
, desc
);
85 case JVM_STORAGE_FIELD
:
86 jvm_generate(p
, 0, cell_size
, "getfield %s %s", full_name
, desc
);
88 case JVM_STORAGE_REGISTER_VAR
:
89 case JVM_STORAGE_STATIC_VAR
:
90 case JVM_STORAGE_FIELD_VAR
:
91 case JVM_STORAGE_PARAM_VAR
:
92 case JVM_STORAGE_PARAM_VARPTR
:
93 case JVM_STORAGE_FRAME_VAR
:
94 case JVM_STORAGE_FRAME_PARAM_VAR
:
95 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
96 jvm_generate_ldst_prepare(p
, src
);
97 jvm_generate(p
, 1 + 1, cell_size
, "%caload", prefix
);
99 case JVM_STORAGE_FRAME
:
100 case JVM_STORAGE_FRAME_PARAM
:
101 jvm_generate_ldst_prepare(p
, src
);
102 jvm_generate(p
, 1, cell_size
, "getfield %s %s", full_name
, desc
);
105 gen_error("jvm_generate_load: unknow storage type %i", src
-> storage
);
111 jvm_generate_store(gen_proc_t
* p
, gen_var_t
* dst
)
113 char prefix
= dst
-> type
-> prefix
;
114 int cell_size
= dst
-> type
-> cell_size
;
115 char * full_name
= dst
-> full_name
;
116 char * desc
= dst
-> type
-> desc
;
118 switch(dst
-> storage
)
120 case JVM_STORAGE_REGISTER
:
121 case JVM_STORAGE_PARAM
:
122 jvm_generate(p
, cell_size
, 0, "%cstore %i", prefix
, dst
-> reg
);
124 case JVM_STORAGE_STATIC
:
125 jvm_generate(p
, 0, cell_size
, "putstatic %s %s", full_name
, desc
);
127 case JVM_STORAGE_FIELD
:
128 jvm_generate(p
, 0, cell_size
, "putfield %s %s", full_name
, desc
);
130 case JVM_STORAGE_REGISTER_VAR
:
131 case JVM_STORAGE_STATIC_VAR
:
132 case JVM_STORAGE_FIELD_VAR
:
133 case JVM_STORAGE_PARAM_VAR
:
134 case JVM_STORAGE_PARAM_VARPTR
:
135 case JVM_STORAGE_FRAME_VAR
:
136 case JVM_STORAGE_FRAME_PARAM_VAR
:
137 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
138 jvm_generate(p
, 1 + 1 + cell_size
, 0, "%castore", prefix
);
140 case JVM_STORAGE_FRAME
:
141 case JVM_STORAGE_FRAME_PARAM
:
142 jvm_generate(p
, 0, cell_size
, "putfield %s %s", full_name
, desc
);
145 gen_error("jvm_generate_store: unknow storage type %i", dst
-> storage
);
153 gen_var_t
* v
= GC_MALLOC(sizeof *v
);
154 memset(v
, 0, sizeof *v
);
159 jvm_create_class_var(struct gen_class
* class, enum gen_storage storage
, char * name
, gen_type_t
* t
)
161 gen_var_t
* v
= jvm_new_var();
162 v
-> storage
= storage
;
163 v
-> name
= new_string(name
);
167 assert(class -> p
== NULL
);
170 case JVM_STORAGE_STATIC
:
171 case JVM_STORAGE_FIELD
:
172 case JVM_STORAGE_STATIC_VAR
:
173 case JVM_STORAGE_FIELD_VAR
:
174 v
-> full_name
= new_string("%s/%s", class -> full_name
, name
);
177 gen_error("jvm_create_class_var: invalid storage %i", storage
);
185 jvm_create_function_var(gen_proc_t
* p
, enum gen_storage storage
, char * name
, gen_type_t
* t
)
187 gen_var_t
* v
= jvm_new_var();
188 v
-> storage
= storage
;
189 v
-> name
= new_string(name
);
192 v
-> level
= p
-> level
;
196 case JVM_STORAGE_REGISTER
:
197 case JVM_STORAGE_PARAM
:
198 case JVM_STORAGE_PARAM_VAR
:
199 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, t
-> wide
);
201 case JVM_STORAGE_PARAM_VARPTR
:
202 /* Содержит пару массив+индекс */
203 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, true);
205 case JVM_STORAGE_REGISTER_VAR
:
206 /* Содержит массив */
207 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, false);
209 case JVM_STORAGE_FRAME
:
210 case JVM_STORAGE_FRAME_VAR
:
211 v
-> full_name
= new_string("%s$FRAME/%s", p
-> full_name
, name
);
213 case JVM_STORAGE_FRAME_PARAM
:
214 case JVM_STORAGE_FRAME_PARAM_VAR
:
215 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, t
-> wide
);
216 v
-> full_name
= new_string("%s$FRAME/%s", p
-> full_name
, name
);
218 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
219 /* Содержит пару массив+индекс */
220 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, true);
221 v
-> full_name
= new_string("%s$FRAME/%s", p
-> full_name
, name
);
224 gen_error("jvm_create_class_var: invalid storage %i", storage
);
232 jvm_create_function_temp_var(gen_proc_t
* p
, gen_type_t
* t
)
234 gen_var_t
* v
= jvm_new_var();
235 v
-> storage
= JVM_STORAGE_REGISTER
;
236 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, t
-> wide
);
237 v
-> name
= new_string("$TEMP_%i$", v
-> reg
);
240 v
-> level
= p
-> level
;
245 jvm_generate_var(gen_var_t
* v
)
247 enum gen_storage storage
= v
-> storage
;
249 char * name
= v
-> name
;
250 char * desc
= v
-> type
-> desc
;
251 gen_proc_t
* p
= v
-> p
;
255 case JVM_STORAGE_REGISTER
:
256 case JVM_STORAGE_PARAM
:
257 case JVM_STORAGE_PARAM_VAR
:
258 jvm_generate(p
, 0, 0, ".var %i is %s %s from start to end", reg
, name
, desc
);
260 case JVM_STORAGE_REGISTER_VAR
:
261 jvm_generate(p
, 0, 0, ".var %i is %s [%s from start to end", reg
, name
, desc
);
263 case JVM_STORAGE_PARAM_VARPTR
:
264 jvm_generate(p
, 0, 0, ".var %i is %s [%s from start to end", reg
, name
, desc
);
265 jvm_generate(p
, 0, 0, ".var %i is %s$offset I from start to end", reg
+ 1, name
);
267 case JVM_STORAGE_STATIC
:
268 fprintf(v
-> class -> fp
, ".field public static %s %s\n\n", name
, desc
);
270 case JVM_STORAGE_STATIC_VAR
:
271 fprintf(v
-> class -> fp
, ".field public static %s [%s\n\n", name
, desc
);
273 case JVM_STORAGE_FIELD
:
274 fprintf(v
-> class -> fp
, ".field public %s %s\n\n", name
, desc
);
276 case JVM_STORAGE_FIELD_VAR
:
277 fprintf(v
-> class -> fp
, ".field public %s [%s\n\n", name
, desc
);
279 case JVM_STORAGE_FRAME
:
280 case JVM_STORAGE_FRAME_VAR
:
281 case JVM_STORAGE_FRAME_PARAM
:
282 case JVM_STORAGE_FRAME_PARAM_VAR
:
283 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
284 /* См. ниже jvm_generate_frame_class() */
287 gen_error("jvm_generate_var: invalid storage %i", storage
);
293 jvm_generate_param_initialization(gen_proc_t
* p
, gen_var_t
* v
)
295 int old_reg
= v
-> reg
;
296 int cell_size
= v
-> type
-> cell_size
;
297 char prefix
= v
-> type
-> prefix
;
298 char * name
= v
-> name
;
299 char * desc
= v
-> type
-> desc
;
301 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, false);
302 jvm_generate(p
, 0, 0, ".var %i is $%s [%s from start to end", v
-> reg
, name
, desc
);
304 jvm_generate(p
, 0, 1, "iconst_1");
305 jvm_generate(p
, 1, 1, "multianewarray [%s 1", desc
);
306 jvm_generate(p
, 1, 2, "dup");
307 jvm_generate(p
, 1, 0, "astore %i", v
-> reg
);
309 jvm_generate(p
, 0, 1, "iconst_0");
310 jvm_generate(p
, 0, cell_size
, "%cload %i", prefix
, old_reg
);
311 jvm_generate(p
, 1 + 1 + cell_size
, 0, "%castore", prefix
);
315 jvm_generate_var_initialization(gen_proc_t
* p
, gen_var_t
* v
)
317 if(v
-> storage
== JVM_STORAGE_REGISTER_VAR
)
319 jvm_generate(p
, 0, 1, "iconst_1");
320 jvm_generate(p
, 1, 1, "multianewarray [%s 1", v
-> type
-> desc
);
321 jvm_generate(p
, 1, 0, "astore %i", v
-> reg
);
323 else if(v
-> storage
== JVM_STORAGE_STATIC_VAR
)
325 jvm_generate(p
, 0, 1, "iconst_1");
326 jvm_generate(p
, 1, 1, "multianewarray [%s 1", v
-> type
-> desc
);
327 jvm_generate(p
, 1, 0, "putstatic %s [%s", v
-> full_name
, v
-> type
-> desc
);
329 else if(v
-> storage
== JVM_STORAGE_FIELD_VAR
)
331 jvm_generate(p
, 0, 1, "iconst_1");
332 jvm_generate(p
, 1, 1, "multianewarray [%s 1", v
-> type
-> desc
);
333 jvm_generate(p
, 1, 0, "putfield %s [%s", v
-> full_name
, v
-> type
-> desc
);
335 else if(v
-> storage
== JVM_STORAGE_PARAM_VAR
)
337 jvm_generate_param_initialization(p
, v
);
339 else if(v
-> storage
== JVM_STORAGE_FRAME_PARAM
340 || v
-> storage
== JVM_STORAGE_FRAME_PARAM_VAR
)
342 jvm_generate_ldst_prepare(p
, v
);
343 jvm_generate(p
, 0, v
-> type
-> cell_size
, "%cload %i", v
-> type
-> prefix
, v
-> reg
);
344 jvm_generate_store(p
, v
);
346 else if(v
-> storage
== JVM_STORAGE_FRAME_PARAM_VARPTR
)
348 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
349 jvm_generate(p
, 0, 1, "aload %i", v
-> reg
);
350 jvm_generate(p
, 1, 0, "putfield %s [%s", v
-> full_name
, v
-> type
-> desc
);
352 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
353 jvm_generate(p
, 0, 1, "iload %i", v
-> reg
+ 1);
354 jvm_generate(p
, 1, 0, "putfield %s$offset I", v
-> full_name
);
359 jvm_generate_abstract_frame_class()
363 struct gen_class
* class;
365 cname
= "SYSTEM$FRAME";
366 class = jvm_create_class(cname
);
369 fprintf(fp
, ".source SYSTEM\n");
370 fprintf(fp
, ".class public abstract %s\n", cname
);
371 fprintf(fp
, ".super java/lang/Object\n\n");
373 fprintf(fp
, ".field public $UP L%s;\n\n", cname
);
375 fprintf(fp
, ".method <init>()V\n");
376 fprintf(fp
, " aload_0\n");
377 fprintf(fp
, " invokespecial java/lang/Object/<init>()V\n");
378 fprintf(fp
, " return\n");
379 fprintf(fp
, ".end method\n\n");
381 jvm_destroy_class(class);
384 static struct gen_class
*
385 jvm_generate_frame_class(oberon_object_t
* proc
)
390 struct gen_class
* class;
391 oberon_object_t
* var
;
393 abscname
= "SYSTEM$FRAME";
394 cname
= jvm_get_field_full_name_safe(proc
);
395 cname
= new_string("%s$FRAME", cname
);
396 class = jvm_create_class(cname
);
399 class -> full_name
= cname
;
401 fprintf(fp
, ".source %s\n", proc
-> module
-> name
);
402 fprintf(fp
, ".class public %s\n", cname
);
403 fprintf(fp
, ".super %s\n\n", abscname
);
405 var
= proc
-> scope
-> list
-> next
;
408 if(var
-> class == OBERON_CLASS_VAR
409 || var
-> class == OBERON_CLASS_PARAM
410 || var
-> class == OBERON_CLASS_VAR_PARAM
)
412 gen_var_t
* v
= var
-> gen_var
;
413 if(v
-> storage
== JVM_STORAGE_FRAME
414 || v
-> storage
== JVM_STORAGE_FRAME_PARAM
)
416 fprintf(fp
, "; LEVEL %i\n", v
-> level
);
417 fprintf(fp
, ".field public %s %s\n\n", v
-> name
, v
-> type
-> desc
);
419 else if(v
-> storage
== JVM_STORAGE_FRAME_VAR
420 || v
-> storage
== JVM_STORAGE_FRAME_PARAM_VAR
)
422 fprintf(fp
, "; LEVEL %i\n", v
-> level
);
423 fprintf(fp
, ".field public %s [%s\n\n", v
-> name
, v
-> type
-> desc
);
425 else if(v
-> storage
== JVM_STORAGE_FRAME_PARAM_VARPTR
)
427 fprintf(fp
, "; LEVEL %i\n", v
-> level
);
428 fprintf(fp
, ".field public %s [%s\n", v
-> name
, v
-> type
-> desc
);
429 fprintf(fp
, ".field public %s$offset I\n\n", v
-> name
);
435 fprintf(fp
, ".method <init>()V\n");
436 fprintf(fp
, " .limit stack 2\n");
437 fprintf(fp
, " aload_0\n");
438 fprintf(fp
, " invokespecial %s/<init>()V\n", abscname
);
440 var
= proc
-> scope
-> list
-> next
;
443 if(var
-> class == OBERON_CLASS_VAR
444 || var
-> class == OBERON_CLASS_PARAM
445 || var
-> class == OBERON_CLASS_VAR_PARAM
)
447 gen_var_t
* v
= var
-> gen_var
;
448 if(v
-> storage
== JVM_STORAGE_FRAME_VAR
449 || v
-> storage
== JVM_STORAGE_FRAME_PARAM_VAR
)
451 fprintf(fp
, " aload_0\n");
452 fprintf(fp
, " iconst_1\n");
453 fprintf(fp
, " multianewarray [%s 1\n", v
-> type
-> desc
);
454 fprintf(fp
, " putfield %s [%s\n", v
-> full_name
, v
-> type
-> desc
);
460 fprintf(fp
, " return\n");
461 fprintf(fp
, ".end method\n\n");
463 jvm_destroy_class(class);
469 jvm_generate_procedure_frame(oberon_object_t
* proc
)
474 struct gen_class
* class;
476 p
= proc
-> gen_proc
;
478 jvm_generate_abstract_frame_class();
479 class = jvm_generate_frame_class(proc
);
481 t
= GC_MALLOC(sizeof *t
);
482 memset(t
, 0, sizeof *t
);
488 t
-> desc
= new_string("L%s;", class -> full_name
);
490 v
= jvm_create_function_var(p
, JVM_STORAGE_REGISTER
, "$FP$", t
);
492 printf("jvm_generate_procedure_frame: %p level %i\n", p
-> reg_frame
, p
-> level
);
493 p
-> reg_frame
[p
-> level
] = v
-> reg
;
497 jvm_generate_frame_initialization(gen_proc_t
* p
)
499 jvm_generate_var(p
-> frame_v
);
500 jvm_generate_ldst_prepare(p
, p
-> frame_v
);
501 jvm_generate(p
, 0, 1, "new %s", p
-> frame_v
-> type
-> class -> full_name
);
502 jvm_generate(p
, 1, 2, "dup");
503 jvm_generate(p
, 1, 0, "invokespecial %s/<init>()V", p
-> frame_v
-> type
-> class -> full_name
);
504 jvm_generate_store(p
, p
-> frame_v
);
508 jvm_get_procedure_signature(oberon_type_t
* ps
)
513 oberon_object_t
* arg
;
515 signature
= new_string("(");
517 num
= ps
-> num_decl
;
519 for(int i
= 0; i
< num
; i
++)
521 desc
= jvm_get_descriptor(arg
-> type
);
522 if(arg
-> class == OBERON_CLASS_VAR_PARAM
)
524 signature
= new_string("%s[%sI", signature
, desc
);
528 signature
= new_string("%s%s", signature
, desc
);
533 desc
= jvm_get_descriptor(ps
-> base
);
534 signature
= new_string("%s)%s", signature
, desc
);
540 jvm_get_frame_descriptor(oberon_object_t
* proc
)
542 char * full_name
= jvm_get_field_full_name_safe(proc
);
543 return new_string("L%s$FRAME;", full_name
);
547 jvm_get_oberon_signature_static_links(oberon_object_t
* parent
)
554 char * up
= jvm_get_oberon_signature_static_links(parent
-> parent
);
555 char * desc
= jvm_get_frame_descriptor(parent
);
556 return new_string("%s%s", up
, desc
);
560 jvm_get_local_procedure_signature(oberon_object_t
* proc
)
566 oberon_object_t
* arg
;
571 signature
= new_string("(");
575 stlinks
= jvm_get_oberon_signature_static_links(proc
-> parent
);
576 signature
= new_string("%s%s", signature
, stlinks
);
579 num
= ps
-> num_decl
;
581 for(int i
= 0; i
< num
; i
++)
583 desc
= jvm_get_descriptor(arg
-> type
);
584 if(arg
-> class == OBERON_CLASS_VAR_PARAM
)
586 signature
= new_string("%s[%sI", signature
, desc
);
590 signature
= new_string("%s%s", signature
, desc
);
595 desc
= jvm_get_descriptor(ps
-> base
);
596 signature
= new_string("%s)%s", signature
, desc
);
603 jvm_generate_staticlinks_recursive(gen_proc_t
* p
, oberon_object_t
* parent
, int level
)
610 jvm_generate_staticlinks_recursive(p
, parent
-> parent
, level
- 1);
611 int reg
= p
-> reg_frame
[level
];
612 char * desc
= jvm_get_frame_descriptor(parent
);
613 jvm_generate(p
, 0, 0, ".var %i is SL$%i %s from start to end", reg
, level
, desc
);
617 jvm_generate_staticlinks(oberon_object_t
* proc
)
621 p
= proc
-> gen_proc
;
623 jvm_generate_staticlinks_recursive(p
, proc
-> parent
, p
-> level
);
627 jvm_create_staticlinks_recursive(gen_proc_t
* p
, oberon_object_t
* parent
, int level
)
634 jvm_create_staticlinks_recursive(p
, parent
-> parent
, level
- 1);
635 p
-> reg_frame
[level
] = jvm_alloc_register_untyped(p
-> rf
, false);
639 jvm_create_static_links(oberon_object_t
* proc
)
642 p
= proc
-> gen_proc
;
645 oberon_object_t
* prc
= proc
;
652 p
-> max_frames
= max_frames
;
653 p
-> reg_frame
= GC_MALLOC(sizeof *p
-> reg_frame
);
654 memset(p
-> reg_frame
, 0, max_frames
* sizeof *p
-> reg_frame
);
656 p
-> level
= max_frames
- 1;
657 jvm_create_staticlinks_recursive(p
, proc
-> parent
, p
-> level
);
661 jvm_generate_push_static_links_recursive(gen_proc_t
* p
, oberon_object_t
* parent
)
668 jvm_generate_push_static_links_recursive(p
, parent
-> parent
);
669 int level
= parent
-> gen_proc
-> level
;
670 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[level
]);
674 jvm_generate_push_static_links(gen_proc_t
* p
, oberon_object_t
* proc
)
676 jvm_generate_push_static_links_recursive(p
, proc
-> parent
);