11 #include "../../oberon-internals.h"
12 #include "generator-jvm.h"
13 #include "generator-jvm-abi.h"
14 #include "generator-jvm-asm.h"
15 #include "generator-jvm-basic.h"
18 jvm_generate_ldst_prepare(gen_proc_t
* p
, gen_var_t
* v
)
20 char * desc
= v
-> type
-> desc
;
21 char * full_name
= v
-> full_name
;
24 case JVM_STORAGE_REGISTER
:
25 case JVM_STORAGE_STATIC
:
26 case JVM_STORAGE_FIELD
:
27 case JVM_STORAGE_PARAM
:
29 case JVM_STORAGE_REGISTER_VAR
:
30 case JVM_STORAGE_PARAM_VAR
:
31 jvm_generate(p
, 0, 1, "aload %i", v
-> reg
);
32 jvm_generate(p
, 0, 1, "iconst_0");
34 case JVM_STORAGE_STATIC_VAR
:
35 jvm_generate(p
, 0, 1, "getstatic %s [%s", full_name
, desc
);
36 jvm_generate(p
, 0, 1, "iconst_0");
38 case JVM_STORAGE_FIELD_VAR
:
39 jvm_generate(p
, 1, 1, "getfield %s [%s", full_name
, desc
);
40 jvm_generate(p
, 0, 1, "iconst_0");
42 case JVM_STORAGE_PARAM_VARPTR
:
43 jvm_generate(p
, 0, 1, "aload %i", v
-> reg
);
44 jvm_generate(p
, 0, 1, "iload %i", v
-> reg
+ 1);
46 case JVM_STORAGE_FRAME
:
47 case JVM_STORAGE_FRAME_PARAM
:
48 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
50 case JVM_STORAGE_FRAME_VAR
:
51 case JVM_STORAGE_FRAME_PARAM_VAR
:
52 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
53 jvm_generate(p
, 1, 1, "getfield %s [%s", full_name
, desc
);
54 jvm_generate(p
, 0, 1, "iconst_0");
56 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
57 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
58 jvm_generate(p
, 1, 1, "getfield %s [%s", full_name
, desc
);
59 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
60 jvm_generate(p
, 1, 1, "getfield %s$offset I", full_name
);
63 gen_error("jvm_abi_obn_generate_ldst_prepare: wat %i", v
-> storage
);
68 jvm_generate_load(gen_proc_t
* p
, gen_var_t
* src
)
70 char prefix
= src
-> type
-> prefix
;
71 char postfix
= src
-> type
-> postfix
;
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", postfix
);
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(p
, 1, 1, "checkcast %s", src
-> forcetype
-> full_name
);
116 jvm_generate_store(gen_proc_t
* p
, gen_var_t
* dst
)
118 char prefix
= dst
-> type
-> prefix
;
119 char postfix
= dst
-> type
-> postfix
;
120 int cell_size
= dst
-> type
-> cell_size
;
121 char * full_name
= dst
-> full_name
;
122 char * desc
= dst
-> type
-> desc
;
124 switch(dst
-> storage
)
126 case JVM_STORAGE_REGISTER
:
127 case JVM_STORAGE_PARAM
:
128 jvm_generate(p
, cell_size
, 0, "%cstore %i", prefix
, dst
-> reg
);
130 case JVM_STORAGE_STATIC
:
131 jvm_generate(p
, 0, cell_size
, "putstatic %s %s", full_name
, desc
);
133 case JVM_STORAGE_FIELD
:
134 jvm_generate(p
, 0, cell_size
, "putfield %s %s", full_name
, desc
);
136 case JVM_STORAGE_REGISTER_VAR
:
137 case JVM_STORAGE_STATIC_VAR
:
138 case JVM_STORAGE_FIELD_VAR
:
139 case JVM_STORAGE_PARAM_VAR
:
140 case JVM_STORAGE_PARAM_VARPTR
:
141 case JVM_STORAGE_FRAME_VAR
:
142 case JVM_STORAGE_FRAME_PARAM_VAR
:
143 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
144 jvm_generate(p
, 1 + 1 + cell_size
, 0, "%castore", postfix
);
146 case JVM_STORAGE_FRAME
:
147 case JVM_STORAGE_FRAME_PARAM
:
148 jvm_generate(p
, 0, cell_size
, "putfield %s %s", full_name
, desc
);
151 gen_error("jvm_generate_store: unknow storage type %i", dst
-> storage
);
159 gen_var_t
* v
= GC_MALLOC(sizeof *v
);
160 memset(v
, 0, sizeof *v
);
165 jvm_create_class_var(struct gen_class
* class, enum gen_storage storage
, char * name
, gen_type_t
* t
)
167 gen_var_t
* v
= jvm_new_var();
168 v
-> storage
= storage
;
169 v
-> name
= new_string(name
);
173 assert(class -> p
== NULL
);
176 case JVM_STORAGE_STATIC
:
177 case JVM_STORAGE_FIELD
:
178 case JVM_STORAGE_STATIC_VAR
:
179 case JVM_STORAGE_FIELD_VAR
:
180 v
-> full_name
= new_string("%s/%s", class -> full_name
, name
);
183 gen_error("jvm_create_class_var: invalid storage %i", storage
);
191 jvm_create_function_var(gen_proc_t
* p
, enum gen_storage storage
, char * name
, gen_type_t
* t
)
193 gen_var_t
* v
= jvm_new_var();
194 v
-> storage
= storage
;
195 v
-> name
= new_string(name
);
198 v
-> level
= p
-> level
;
202 case JVM_STORAGE_REGISTER
:
203 case JVM_STORAGE_PARAM
:
204 case JVM_STORAGE_PARAM_VAR
:
205 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, t
-> wide
);
207 case JVM_STORAGE_PARAM_VARPTR
:
208 /* Содержит пару массив+индекс */
209 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, true);
211 case JVM_STORAGE_REGISTER_VAR
:
212 /* Содержит массив */
213 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, false);
215 case JVM_STORAGE_FRAME
:
216 case JVM_STORAGE_FRAME_VAR
:
217 v
-> full_name
= new_string("%s$FRAME/%s", p
-> full_name
, name
);
219 case JVM_STORAGE_FRAME_PARAM
:
220 case JVM_STORAGE_FRAME_PARAM_VAR
:
221 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, t
-> wide
);
222 v
-> full_name
= new_string("%s$FRAME/%s", p
-> full_name
, name
);
224 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
225 /* Содержит пару массив+индекс */
226 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, true);
227 v
-> full_name
= new_string("%s$FRAME/%s", p
-> full_name
, name
);
230 gen_error("jvm_create_class_var: invalid storage %i", storage
);
238 jvm_create_function_temp_var(gen_proc_t
* p
, gen_type_t
* t
)
240 gen_var_t
* v
= jvm_new_var();
241 v
-> storage
= JVM_STORAGE_REGISTER
;
242 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, t
-> wide
);
243 v
-> name
= new_string("$TEMP_%i$", v
-> reg
);
246 v
-> level
= p
-> level
;
251 jvm_generate_var(gen_var_t
* v
)
253 enum gen_storage storage
= v
-> storage
;
255 char * name
= v
-> name
;
256 char * desc
= v
-> type
-> desc
;
257 gen_proc_t
* p
= v
-> p
;
261 case JVM_STORAGE_REGISTER
:
262 case JVM_STORAGE_PARAM
:
263 case JVM_STORAGE_PARAM_VAR
:
264 case JVM_STORAGE_FRAME_PARAM
:
265 case JVM_STORAGE_FRAME_PARAM_VAR
:
266 jvm_generate(p
, 0, 0, ".var %i is '%s' %s from start to end", reg
, name
, desc
);
268 case JVM_STORAGE_FRAME
:
269 case JVM_STORAGE_FRAME_VAR
:
271 case JVM_STORAGE_REGISTER_VAR
:
272 jvm_generate(p
, 0, 0, ".var %i is '%s' [%s from start to end", reg
, name
, desc
);
274 case JVM_STORAGE_PARAM_VARPTR
:
275 case JVM_STORAGE_FRAME_PARAM_VARPTR
:
276 jvm_generate(p
, 0, 0, ".var %i is '%s' [%s from start to end", reg
, name
, desc
);
277 jvm_generate(p
, 0, 0, ".var %i is '%s$offset' I from start to end", reg
+ 1, name
);
279 case JVM_STORAGE_STATIC
:
280 fprintf(v
-> class -> fp
, ".field public static '%s' %s\n\n", name
, desc
);
282 case JVM_STORAGE_STATIC_VAR
:
283 fprintf(v
-> class -> fp
, ".field public static '%s' [%s\n\n", name
, desc
);
285 case JVM_STORAGE_FIELD
:
286 fprintf(v
-> class -> fp
, ".field public '%s' %s\n\n", name
, desc
);
288 case JVM_STORAGE_FIELD_VAR
:
289 fprintf(v
-> class -> fp
, ".field public '%s' [%s\n\n", name
, desc
);
292 gen_error("jvm_generate_var: invalid storage %i", storage
);
298 jvm_generate_param_initialization(gen_proc_t
* p
, gen_var_t
* v
)
300 int old_reg
= v
-> reg
;
301 int cell_size
= v
-> type
-> cell_size
;
302 char prefix
= v
-> type
-> prefix
;
303 char postfix
= v
-> type
-> postfix
;
304 char * name
= v
-> name
;
305 char * desc
= v
-> type
-> desc
;
307 v
-> reg
= jvm_alloc_register_untyped(p
-> rf
, false);
308 jvm_generate(p
, 0, 0, ".var %i is $%s [%s from start to end", v
-> reg
, name
, desc
);
310 jvm_generate(p
, 0, 1, "iconst_1");
311 jvm_generate(p
, 1, 1, "multianewarray [%s 1", desc
);
312 jvm_generate(p
, 1, 2, "dup");
313 jvm_generate(p
, 1, 0, "astore %i", v
-> reg
);
315 jvm_generate(p
, 0, 1, "iconst_0");
316 jvm_generate(p
, 0, cell_size
, "%cload %i", prefix
, old_reg
);
317 jvm_generate(p
, 1 + 1 + cell_size
, 0, "%castore", postfix
);
321 jvm_generate_var_initialization(gen_proc_t
* p
, gen_var_t
* v
)
323 if(v
-> storage
== JVM_STORAGE_REGISTER_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, "astore %i", v
-> reg
);
329 else if(v
-> storage
== JVM_STORAGE_STATIC_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, "putstatic %s [%s", v
-> full_name
, v
-> type
-> desc
);
335 else if(v
-> storage
== JVM_STORAGE_FIELD_VAR
)
337 jvm_generate(p
, 0, 1, "iconst_1");
338 jvm_generate(p
, 1, 1, "multianewarray [%s 1", v
-> type
-> desc
);
339 jvm_generate(p
, 1, 0, "putfield %s [%s", v
-> full_name
, v
-> type
-> desc
);
341 else if(v
-> storage
== JVM_STORAGE_PARAM_VAR
)
343 jvm_generate_param_initialization(p
, v
);
345 else if(v
-> storage
== JVM_STORAGE_FRAME_PARAM
346 || v
-> storage
== JVM_STORAGE_FRAME_PARAM_VAR
)
348 jvm_generate_ldst_prepare(p
, v
);
349 jvm_generate(p
, 0, v
-> type
-> cell_size
, "%cload %i", v
-> type
-> prefix
, v
-> reg
);
350 jvm_generate_store(p
, v
);
352 else if(v
-> storage
== JVM_STORAGE_FRAME_PARAM_VARPTR
)
354 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
355 jvm_generate(p
, 0, 1, "aload %i", v
-> reg
);
356 jvm_generate(p
, 1, 0, "putfield %s [%s", v
-> full_name
, v
-> type
-> desc
);
358 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[v
-> level
]);
359 jvm_generate(p
, 0, 1, "iload %i", v
-> reg
+ 1);
360 jvm_generate(p
, 1, 0, "putfield %s$offset I", v
-> full_name
);
366 jvm_generate_abstract_frame_class()
370 struct gen_class * class;
372 cname = "SYSTEM$FRAME";
373 class = jvm_create_class(cname);
376 fprintf(fp, ".source SYSTEM\n");
377 fprintf(fp, ".class public abstract %s\n", cname);
378 fprintf(fp, ".super java/lang/Object\n\n");
380 fprintf(fp, ".field public $UP L%s;\n\n", cname);
382 fprintf(fp, ".method <init>()V\n");
383 fprintf(fp, " aload_0\n");
384 fprintf(fp, " invokespecial java/lang/Object/<init>()V\n");
385 fprintf(fp, " return\n");
386 fprintf(fp, ".end method\n\n");
388 jvm_destroy_class(class);
392 static struct gen_class
*
393 jvm_generate_frame_class(oberon_object_t
* proc
)
398 struct gen_class
* class;
399 oberon_object_t
* var
;
401 abscname
= "SYSTEM$FRAME";
402 cname
= jvm_get_field_full_name_safe(proc
);
403 cname
= new_string("%s$FRAME", cname
);
404 class = jvm_create_class(proc
-> gen_proc
-> class -> dir
, cname
);
407 class -> full_name
= cname
;
409 fprintf(fp
, ".source %s\n", proc
-> module
-> name
);
410 fprintf(fp
, ".class public %s\n", cname
);
411 fprintf(fp
, ".super %s\n\n", abscname
);
413 var
= proc
-> scope
-> list
-> next
;
416 if(var
-> class == OBERON_CLASS_VAR
417 || var
-> class == OBERON_CLASS_PARAM
418 || var
-> class == OBERON_CLASS_VAR_PARAM
)
420 gen_var_t
* v
= var
-> gen_var
;
421 if(v
-> storage
== JVM_STORAGE_FRAME
422 || v
-> storage
== JVM_STORAGE_FRAME_PARAM
)
424 fprintf(fp
, "; LEVEL %i\n", v
-> level
);
425 fprintf(fp
, ".field public '%s' %s\n\n", v
-> name
, v
-> type
-> desc
);
427 else if(v
-> storage
== JVM_STORAGE_FRAME_VAR
428 || v
-> storage
== JVM_STORAGE_FRAME_PARAM_VAR
)
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_PARAM_VARPTR
)
435 fprintf(fp
, "; LEVEL %i\n", v
-> level
);
436 fprintf(fp
, ".field public '%s' [%s\n", v
-> name
, v
-> type
-> desc
);
437 fprintf(fp
, ".field public '%s$offset' I\n\n", v
-> name
);
443 fprintf(fp
, ".method <init>()V\n");
444 fprintf(fp
, " .limit stack 2\n");
445 fprintf(fp
, " aload_0\n");
446 fprintf(fp
, " invokespecial %s/<init>()V\n", abscname
);
448 var
= proc
-> scope
-> list
-> next
;
451 if(var
-> class == OBERON_CLASS_VAR
452 || var
-> class == OBERON_CLASS_PARAM
453 || var
-> class == OBERON_CLASS_VAR_PARAM
)
455 gen_var_t
* v
= var
-> gen_var
;
456 if(v
-> storage
== JVM_STORAGE_FRAME_VAR
457 || v
-> storage
== JVM_STORAGE_FRAME_PARAM_VAR
)
459 fprintf(fp
, " aload_0\n");
460 fprintf(fp
, " iconst_1\n");
461 fprintf(fp
, " multianewarray [%s 1\n", v
-> type
-> desc
);
462 fprintf(fp
, " putfield %s [%s\n", v
-> full_name
, v
-> type
-> desc
);
468 fprintf(fp
, " return\n");
469 fprintf(fp
, ".end method\n\n");
471 jvm_destroy_class(class);
477 jvm_generate_procedure_frame(oberon_object_t
* proc
)
482 struct gen_class
* class;
484 p
= proc
-> gen_proc
;
486 // jvm_generate_abstract_frame_class();
488 class = jvm_generate_frame_class(proc
);
490 t
= GC_MALLOC(sizeof *t
);
491 memset(t
, 0, sizeof *t
);
497 t
-> desc
= new_string("L%s;", class -> full_name
);
499 v
= jvm_create_function_var(p
, JVM_STORAGE_REGISTER
, "$FP$", t
);
501 p
-> reg_frame
[p
-> level
] = v
-> reg
;
505 jvm_generate_frame_initialization(gen_proc_t
* p
)
507 jvm_generate_var(p
-> frame_v
);
508 jvm_generate_ldst_prepare(p
, p
-> frame_v
);
509 jvm_generate(p
, 0, 1, "new %s", p
-> frame_v
-> type
-> class -> full_name
);
510 jvm_generate(p
, 1, 2, "dup");
511 jvm_generate(p
, 1, 0, "invokespecial %s/<init>()V", p
-> frame_v
-> type
-> class -> full_name
);
512 jvm_generate_store(p
, p
-> frame_v
);
516 jvm_get_procedure_signature(oberon_type_t
* ps
)
521 oberon_object_t
* arg
;
523 signature
= new_string("(");
525 num
= ps
-> num_decl
;
527 for(int i
= 0; i
< num
; i
++)
529 desc
= jvm_get_descriptor(arg
-> type
);
530 if(arg
-> class == OBERON_CLASS_VAR_PARAM
)
532 signature
= new_string("%s[%sI", signature
, desc
);
536 signature
= new_string("%s%s", signature
, desc
);
541 desc
= jvm_get_descriptor(ps
-> base
);
542 signature
= new_string("%s)%s", signature
, desc
);
548 jvm_get_frame_descriptor(oberon_object_t
* proc
)
550 char * full_name
= jvm_get_field_full_name_safe(proc
);
551 return new_string("L%s$FRAME;", full_name
);
555 jvm_get_oberon_signature_static_links(oberon_object_t
* parent
)
562 char * up
= jvm_get_oberon_signature_static_links(parent
-> parent
);
563 char * desc
= jvm_get_frame_descriptor(parent
);
564 return new_string("%s%s", up
, desc
);
568 jvm_get_local_procedure_signature(oberon_object_t
* proc
)
574 oberon_object_t
* arg
;
579 signature
= new_string("(");
583 stlinks
= jvm_get_oberon_signature_static_links(proc
-> parent
);
584 signature
= new_string("%s%s", signature
, stlinks
);
587 num
= ps
-> num_decl
;
589 for(int i
= 0; i
< num
; i
++)
591 desc
= jvm_get_descriptor(arg
-> type
);
592 if(arg
-> class == OBERON_CLASS_VAR_PARAM
)
594 signature
= new_string("%s[%sI", signature
, desc
);
598 signature
= new_string("%s%s", signature
, desc
);
603 desc
= jvm_get_descriptor(ps
-> base
);
604 signature
= new_string("%s)%s", signature
, desc
);
611 jvm_generate_staticlinks_recursive(gen_proc_t
* p
, oberon_object_t
* parent
, int level
)
618 jvm_generate_staticlinks_recursive(p
, parent
-> parent
, level
- 1);
619 int reg
= p
-> reg_frame
[level
];
620 char * desc
= jvm_get_frame_descriptor(parent
);
621 jvm_generate(p
, 0, 0, ".var %i is SL$%i %s from start to end", reg
, level
, desc
);
625 jvm_generate_staticlinks(oberon_object_t
* proc
)
629 p
= proc
-> gen_proc
;
631 jvm_generate_staticlinks_recursive(p
, proc
-> parent
, p
-> level
- 1);
635 jvm_create_staticlinks_recursive(gen_proc_t
* p
, oberon_object_t
* parent
, int level
)
642 jvm_create_staticlinks_recursive(p
, parent
-> parent
, level
- 1);
643 p
-> reg_frame
[level
] = jvm_alloc_register_untyped(p
-> rf
, false);
647 jvm_create_static_links(oberon_object_t
* proc
)
650 p
= proc
-> gen_proc
;
653 oberon_object_t
* prc
= proc
;
660 size_t sz
= sizeof(*p
-> reg_frame
) * max_frames
;
661 p
-> max_frames
= max_frames
;
662 p
-> reg_frame
= GC_MALLOC(sz
);
663 memset(p
-> reg_frame
, 255, sz
);
665 p
-> level
= max_frames
- 1;
667 jvm_create_staticlinks_recursive(p
, proc
-> parent
, p
-> level
- 1);
671 jvm_generate_push_static_links_recursive(gen_proc_t
* p
, oberon_object_t
* parent
)
678 jvm_generate_push_static_links_recursive(p
, parent
-> parent
);
679 int level
= parent
-> gen_proc
-> level
;
680 jvm_generate(p
, 0, 1, "aload %i", p
-> reg_frame
[level
]);
684 jvm_generate_push_static_links(gen_proc_t
* p
, oberon_object_t
* proc
)
686 jvm_generate_push_static_links_recursive(p
, proc
-> parent
);