DEADSOFTWARE

GIT / REPO / FRED-BOY
Projects / dsw-obn.git / blob
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
JVM: Реализованы VAR-параметры
[dsw-obn.git] / src / backends / jvm / generator-jvm.c
1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <stdarg.h>
4 #include <stdint.h>
5 #include <stdbool.h>
6 #include <string.h>
7 #include <assert.h>
8
9 #include <gc.h>
10
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"
17
18 static void
19 push_item(gen_proc_t * p, oberon_item_t * item);
20
21 static void
22 jvm_generate_new(gen_proc_t * p, oberon_type_t * type, int num);
23
24 /*
25 * Генерирует код для инициализации массива со статическим базовым типом
26 * ( aref -- )
27 */
28
29 static void
30 jvm_generate_array_initialization(gen_proc_t * p, oberon_type_t * arr)
31 {
32 int dim = 0;
33 oberon_type_t * base = arr;
34 while(base -> class == OBERON_TYPE_ARRAY)
35 {
36 dim += 1;
37 base = base -> base;
38 }
39
40 if(base -> class != OBERON_TYPE_RECORD)
41 {
42 jvm_generate(p, 1, 0, "pop");
43 return;
44 }
45
46 struct {
47 int reg_index;
48 int reg_length;
49 int start;
50 int end;
51 } loop[dim];
52
53 int reg_dst;
54 reg_dst = jvm_alloc_register_untyped(p -> rf, false);
55 jvm_generate(p, 1, 0, "astore %i", reg_dst);
56
57 /*
58 * Входящие параметры заграблены.
59 * Теперь генерируем эквивалентный код:
60 * int i = 0;
61 * int len = dst.length
62 * while(i < len)
63 * {
64 * ...
65 * {
66 * dst[i, ...] = new record;
67 * }
68 * ...
69 * i += 1;
70 * }
71 * Где "..." такой же код (начало и конец) для следующей размерности.
72 */
73
74 for(int i = 0; i < dim; i++)
75 {
76 loop[i].reg_index = jvm_alloc_register_untyped(p -> rf, false);
77 loop[i].reg_length = jvm_alloc_register_untyped(p -> rf, false);
78 loop[i].start = jvm_new_label_id(p);
79 loop[i].end = jvm_new_label_id(p);
80
81 jvm_generate(p, 0, 1, "iconst_0");
82 jvm_generate(p, 1, 0, "istore %i", loop[i].reg_index);
83
84 jvm_generate(p, 0, 1, "aload %i", reg_dst);
85 jvm_generate(p, 1, 1, "arraylength");
86 jvm_generate(p, 1, 0, "istore %i", loop[i].reg_length);
87
88 /* if(i >= len) goto end; */
89 jvm_generate_label(p, loop[i].start);
90 jvm_generate(p, 0, 1, "iload %i", loop[i].reg_index);
91 jvm_generate(p, 0, 1, "iload %i", loop[i].reg_length);
92 jvm_generate(p, 2, 0, "if_icmpge L%i", loop[i].end);
93 }
94
95 jvm_generate(p, 0, 1, "aload %i", reg_dst);
96 jvm_generate(p, 0, 1, "iload %i", loop[0].reg_index);
97 for(int i = 1; i < dim; i++)
98 {
99 jvm_generate(p, 2, 1, "aaload");
100 jvm_generate(p, 0, 1, "iload %i", loop[i].reg_index);
101 }
102 jvm_generate_new(p, base, 0);
103 jvm_generate(p, 3, 0, "aastore");
104
105 for(int i = dim - 1; i >= 0; i--)
106 {
107 jvm_generate(p, 0, 0, "iinc %i 1", loop[i].reg_index);
108 jvm_generate(p, 0, 0, "goto L%i", loop[i].start);
109 jvm_generate_label(p, loop[i].end);
110 }
111 }
112
113 static void
114 jvm_generate_new(gen_proc_t * p, oberon_type_t * type, int num)
115 {
116 int dim;
117 char * cname;
118 char * desc;
119 oberon_type_t * base;
120
121 switch(type -> class)
122 {
123 case OBERON_TYPE_INTEGER:
124 case OBERON_TYPE_BOOLEAN:
125 case OBERON_TYPE_PROCEDURE:
126 case OBERON_TYPE_REAL:
127 case OBERON_TYPE_POINTER:
128 gen_error("jvm_generate_new_static: static alocation not allowed");
129 break;
130 case OBERON_TYPE_RECORD:
131 assert(num == 0);
132 cname = jvm_get_class_full_name(type);
133 jvm_generate(p, 0, 1, "new %s", cname);
134 jvm_generate(p, 1, 2, "dup");
135 jvm_generate(p, 1, 0, "invokespecial %s/<init>()V", cname);
136 break;
137 case OBERON_TYPE_ARRAY:
138 dim = 0;
139 base = type;
140 desc = jvm_get_descriptor(type);
141 while(base -> class == OBERON_TYPE_ARRAY)
142 {
143 if(num > 0)
144 {
145 assert(base -> size == 0);
146 num -= 1;
147 }
148 else
149 {
150 assert(base -> size > 0);
151 jvm_generate_push_int(p, base -> size);
152 }
153 dim += 1;
154 base = base -> base;
155 }
156
157 assert(num == 0);
158 jvm_generate(p, dim, 1, "multianewarray %s %i", desc, dim);
159 jvm_generate(p, 1, 2, "dup");
160 jvm_generate_array_initialization(p, type);
161 break;
162 default:
163 gen_error("jvm_generate_new_static: unk type class %i", type -> class);
164 break;
165 }
166 }
167
168 /*
169 * Генерирует код для копирования полей из первой записи во вторую.
170 * ( aref_dst aref_src -- )
171 * dst := src;
172 */
173
174 static void
175 jvm_generate_copy_record(gen_proc_t * p, oberon_type_t * rec)
176 {
177 assert(rec -> class == OBERON_TYPE_RECORD);
178 char * desc = jvm_get_descriptor(rec);
179 char * cname = jvm_get_class_full_name(rec);
180 jvm_generate(p, 1 + 1, 0, "invokestatic %s/$COPY$(%s%s)V", cname, desc, desc);
181 }
182
183 /*
184 * Генерирует кода для копирования массивов.
185 * ( aref_dst aref_src -- )
186 * dst := src;
187 */
188
189 static void
190 jvm_generate_copy_array(gen_proc_t * p, oberon_type_t * arr)
191 {
192 int dim = 0;
193 oberon_type_t * base = arr;
194 while(base -> class == OBERON_TYPE_ARRAY)
195 {
196 dim += 1;
197 base = base -> base;
198 }
199
200 struct {
201 int reg_index;
202 int reg_length;
203 int start;
204 int end;
205 } loop[dim];
206
207 int reg_dst = jvm_alloc_register_untyped(p -> rf, false);
208 int reg_src = jvm_alloc_register_untyped(p -> rf, false);
209 jvm_generate(p, 1, 0, "astore %i", reg_src);
210 jvm_generate(p, 1, 0, "astore %i", reg_dst);
211
212 /*
213 * Входящие параметры заграблены.
214 * Теперь генерируем эквивалентный код:
215 * int i = 0;
216 * int len = src.length
217 * while(i < len)
218 * {
219 * ...
220 * {
221 * copy from src[i, ...] to dst[i, ...];
222 * }
223 * ...
224 * i += 1;
225 * }
226 * Где "..." такой же код (начало и конец) для следующей размерности.
227 */
228
229 for(int i = 0; i < dim; i++)
230 {
231 loop[i].reg_index = jvm_alloc_register_untyped(p -> rf, false);
232 loop[i].reg_length = jvm_alloc_register_untyped(p -> rf, false);
233 loop[i].start = jvm_new_label_id(p);
234 loop[i].end = jvm_new_label_id(p);
235
236 jvm_generate(p, 0, 1, "iconst_0");
237 jvm_generate(p, 1, 0, "istore %i", loop[i].reg_index);
238
239 jvm_generate(p, 0, 1, "aload %i", reg_src);
240 jvm_generate(p, 1, 1, "arraylength");
241 jvm_generate(p, 1, 0, "istore %i", loop[i].reg_length);
242
243 /* if(i >= len) goto end; */
244 jvm_generate_label(p, loop[i].start);
245 jvm_generate(p, 0, 1, "iload %i", loop[i].reg_index);
246 jvm_generate(p, 0, 1, "iload %i", loop[i].reg_length);
247 jvm_generate(p, 2, 0, "if_icmpge L%i", loop[i].end);
248 }
249
250 if(base -> class == OBERON_TYPE_RECORD)
251 {
252 /* Получаем записи по индексам ( -- dst src ) */
253
254 jvm_generate(p, 0, 1, "aload %i", reg_dst);
255 for(int i = 0; i < dim; i++)
256 {
257 jvm_generate(p, 0, 1, "iload %i", loop[i].reg_index);
258 jvm_generate(p, 2, 1, "aaload");
259 }
260
261 jvm_generate(p, 0, 1, "aload %i", reg_src);
262 for(int i = 0; i < dim; i++)
263 {
264 jvm_generate(p, 0, 1, "iload %i", loop[i].reg_index);
265 jvm_generate(p, 2, 1, "aaload");
266 }
267
268 /* Копируем записи ( dst src -- ) */
269 jvm_generate_copy_record(p, base);
270 }
271 else
272 {
273 char postfix = jvm_get_postfix(base);
274 int cell_size = jvm_cell_size_for_postfix(postfix);
275
276 /* Получаем массивы и индексы ( -- dst i src i ) */
277
278 jvm_generate(p, 0, 1, "aload %i", reg_dst);
279 jvm_generate(p, 0, 1, "iload %i", loop[0].reg_index);
280 for(int i = 1; i < dim; i++)
281 {
282 jvm_generate(p, 2, 1, "aaload");
283 jvm_generate(p, 0, 1, "iload %i", loop[i].reg_index);
284 }
285
286 jvm_generate(p, 0, 1, "aload %i", reg_src);
287 jvm_generate(p, 0, 1, "iload %i", loop[0].reg_index);
288 for(int i = 1; i < dim; i++)
289 {
290 jvm_generate(p, 2, 1, "aaload");
291 jvm_generate(p, 0, 1, "iload %i", loop[i].reg_index);
292 }
293
294 /* Копируем значения ( dst i src i -- ) */
295 jvm_generate(p, 2, cell_size, "%caload", postfix);
296 jvm_generate(p, 2 + cell_size, 0, "%castore", postfix);
297 }
298
299 for(int i = dim - 1; i >= 0; i--)
300 {
301 jvm_generate(p, 0, 0, "iinc %i 1", loop[i].reg_index);
302 jvm_generate(p, 0, 0, "goto L%i", loop[i].start);
303 jvm_generate_label(p, loop[i].end);
304 }
305 }
306
307 static void
308 jvm_generate_push_procedure_pointer(gen_proc_t * p, oberon_object_t * proc)
309 {
310 char * full_name = jvm_get_field_full_name_safe(proc);
311 char * desc = jvm_get_descriptor(proc -> type);
312 jvm_generate(p, 0, 1, "getstatic %s/pointer %s", full_name, desc);
313 }
314
315 void
316 oberon_generator_init_context(oberon_context_t * ctx)
317 {
318 gen_context_t * gen_context = GC_MALLOC(sizeof *gen_context);
319 memset(gen_context, 0, sizeof *gen_context);
320
321 ctx -> gen_context = gen_context;
322 }
323
324 void
325 oberon_generator_destroy_context(oberon_context_t * ctx)
326 {
327 }
328
329 static void
330 oberon_generate_procedure_class(oberon_type_t * proc)
331 {
332 FILE * fp;
333 char * cname;
334 char * signature;
335 struct gen_class * class;
336
337 cname = jvm_get_class_full_name(proc);
338 class = jvm_create_class(cname);
339 fp = class -> fp;
340
341 fprintf(fp, ".source SYSTEM\n");
342 fprintf(fp, ".class public abstract %s\n", cname);
343 fprintf(fp, ".super java/lang/Object\n\n");
344
345 fprintf(fp, ".method <init>()V\n");
346 fprintf(fp, " aload_0\n");
347 fprintf(fp, " invokespecial java/lang/Object/<init>()V\n");
348 fprintf(fp, " return\n");
349 fprintf(fp, ".end method\n\n");
350
351 signature = jvm_get_procedure_signature(proc);
352
353 fprintf(fp, ".method public abstract invoke%s\n", signature);
354 fprintf(fp, ".end method\n\n");
355
356 jvm_destroy_class(class);
357 }
358
359 static void
360 oberon_generate_procedure_pointer_class(oberon_object_t * proc)
361 {
362 FILE * fp;
363 char * cname;
364 char * abscname;
365 char * absdesc;
366 char * signature;
367 struct gen_class * class;
368
369 cname = jvm_get_field_full_name_safe(proc);
370 class = jvm_create_class(cname);
371 abscname = jvm_get_class_full_name(proc -> type);
372 absdesc = jvm_get_descriptor(proc -> type);
373 fp = class -> fp;
374
375 fprintf(fp, ".source %s\n", proc -> module -> name);
376 fprintf(fp, ".class public %s\n", cname);
377 fprintf(fp, ".super %s\n\n", abscname);
378
379 fprintf(fp, ".field public static pointer %s\n\n", absdesc);
380
381 fprintf(fp, ".method <init>()V\n");
382 fprintf(fp, " aload_0\n");
383 fprintf(fp, " invokespecial %s/<init>()V\n", abscname);
384 fprintf(fp, " return\n");
385 fprintf(fp, ".end method\n\n");
386
387 fprintf(fp, ".method static <clinit>()V\n");
388 fprintf(fp, " .limit stack 2\n");
389 fprintf(fp, " new %s\n", cname);
390 fprintf(fp, " dup\n");
391 fprintf(fp, " invokespecial %s/<init>()V\n", cname);
392 fprintf(fp, " putstatic %s/pointer %s\n", cname, absdesc);
393 fprintf(fp, " return\n");
394 fprintf(fp, ".end method\n\n");
395
396 signature = jvm_get_procedure_signature(proc -> type);
397
398 gen_proc_t * p = jvm_create_proc(class);
399 jvm_generate_function_header(p, "public", "invoke", signature);
400 jvm_alloc_register_untyped(p -> rf, false);
401
402 int use_size = 0;
403 int num = proc -> type -> num_decl;
404 oberon_object_t * param = proc -> type -> decl;
405 for(int i = 0; i < num; i++)
406 {
407 gen_var_t * v = oberon_generator_new_var();
408 gen_type_t * t = param -> type -> gen_type;
409 use_size += t -> cell_size;
410 if(param -> class == OBERON_CLASS_VAR_PARAM)
411 {
412 jvm_generate_and_init_var_param(p, v, param -> name, t);
413 jvm_generate_ldst_prepare(p, v);
414 }
415 else
416 {
417 jvm_generate_and_init_named_local_var(p, v, param -> name, t);
418 jvm_generate_load(p, v);
419 }
420 param = param -> next;
421 }
422
423
424 char * full_name = jvm_get_field_full_name(proc);
425 int cell_size = jvm_cell_size_for_type(proc -> type -> base);
426 jvm_generate(p, use_size, cell_size, "invokestatic %s%s", full_name, signature);
427
428 if(proc -> type -> base -> class == OBERON_TYPE_VOID)
429 {
430 jvm_generate(p, 0, 0, "return");
431 }
432 else
433 {
434 char prefix = jvm_get_prefix(proc -> type -> base);
435 jvm_generate(p, cell_size, 0, "%creturn", prefix);
436 }
437
438 jvm_generate_function_end(p);
439
440 jvm_destroy_class(class);
441 }
442
443 static void
444 oberon_generate_record_class(gen_module_t * m, oberon_type_t * rec)
445 {
446 char * cname;
447 struct gen_class * class;
448
449 /* Устанавливаем новоый id */
450 rec -> gen_type -> rec_id = m -> rec_id;
451 m -> rec_id += 1;
452
453 cname = jvm_get_class_full_name(rec);
454 class = jvm_create_class(cname);
455
456 fprintf(class -> fp, ".source %s\n", rec -> module -> name);
457 fprintf(class -> fp, ".class public %s\n", cname);
458
459 if(rec -> base == NULL)
460 {
461 fprintf(class -> fp, ".super java/lang/Object\n\n");
462 }
463 else
464 {
465 class -> base = rec -> base -> gen_type -> class;
466 fprintf(class -> fp, ".super %s\n\n", class -> base -> full_name);
467 }
468
469 rec -> gen_type -> class = class;
470 }
471
472 void
473 oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type)
474 {
475 gen_type_t * t = GC_MALLOC(sizeof *t);
476 memset(t, 0, sizeof *t);
477 type -> gen_type = t;
478
479 if(type -> class != OBERON_TYPE_VOID)
480 {
481 t -> wide = jvm_is_wide_type(type);
482 t -> prefix = jvm_get_prefix(type);
483 t -> postfix = jvm_get_postfix(type);
484 }
485 t -> cell_size = jvm_cell_size_for_type(type);
486 t -> desc = jvm_get_descriptor(type);
487
488 switch(type -> class)
489 {
490 case OBERON_TYPE_VOID:
491 case OBERON_TYPE_INTEGER:
492 case OBERON_TYPE_BOOLEAN:
493 case OBERON_TYPE_ARRAY:
494 case OBERON_TYPE_POINTER:
495 case OBERON_TYPE_REAL:
496 case OBERON_TYPE_CHAR:
497 case OBERON_TYPE_STRING:
498 case OBERON_TYPE_SET:
499 break;
500 case OBERON_TYPE_RECORD:
501 ;
502 gen_module_t * m;
503 m = type -> module -> gen_mod;
504 oberon_generate_record_class(m, type);
505 break;
506 case OBERON_TYPE_PROCEDURE:
507 oberon_generate_procedure_class(type);
508 break;
509 default:
510 gen_error("oberon_generator_init_type: unk calss %i", type -> class);
511 break;
512 }
513 }
514
515 void
516 oberon_generator_init_record(oberon_context_t * ctx, oberon_type_t * rec)
517 {
518 struct gen_class * class;
519 class = rec -> gen_type -> class;
520
521 int num = rec -> num_decl;
522 oberon_object_t * field = rec -> decl;
523 for(int i = 0; i < num; i++)
524 {
525 char * name = field -> name;
526 gen_var_t * v = field -> gen_var;
527 gen_type_t * t = field -> type -> gen_type;
528 jvm_generate_and_init_field(class, v, name, t);
529 field = field -> next;
530 }
531
532 /* Стандартный конструктор класса */
533 /* Инициализирует внутренние статические записи и массивы */
534 gen_proc_t * p = jvm_create_proc(class);
535 jvm_generate_function_header(p, "public", "<init>", "()V");
536 jvm_alloc_register_untyped(p -> rf, false);
537 jvm_generate(p, 0, 1, "aload_0");
538 if(class -> base)
539 {
540 jvm_generate(p, 1, 0, "invokespecial %s/<init>()V", class -> base -> full_name);
541 }
542 else
543 {
544 jvm_generate(p, 1, 0, "invokespecial java/lang/Object/<init>()V");
545 }
546 num = rec -> num_decl;
547 field = rec -> decl;
548 for(int i = 0; i < num; i++)
549 {
550 jvm_generate(p, 0, 1, "aload_0");
551 jvm_generate_variable_initialization(p, field -> gen_var);
552
553 if(field -> type -> class == OBERON_TYPE_RECORD
554 || field -> type -> class == OBERON_TYPE_ARRAY)
555 {
556 jvm_generate(p, 0, 1, "aload_0");
557 jvm_generate_ldst_prepare(p, field -> gen_var);
558 jvm_generate_new(p, field -> type, 0);
559 jvm_generate_store(p, field -> gen_var);
560 }
561 field = field -> next;
562 }
563 jvm_generate(p, 0, 0, "return");
564 jvm_generate_function_end(p);
565
566 /* Метод для копирования полей класса */
567 /* reg0 == src -> reg1 == dst */
568 p = jvm_create_proc(class);
569 gen_var_t * copy_dst = oberon_generator_new_var();
570 gen_var_t * copy_src = oberon_generator_new_var();
571 char * signature = new_string("(%s%s)V", rec -> gen_type -> desc, rec -> gen_type -> desc);
572 jvm_generate_function_header(p, "public static", "$COPY$", signature);
573 jvm_generate_and_init_named_local_var(p, copy_dst, "dst", rec -> gen_type);
574 jvm_generate_and_init_named_local_var(p, copy_src, "src", rec -> gen_type);
575 num = rec -> num_decl;
576 field = rec -> decl;
577 for(int i = 0; i < num; i++)
578 {
579 if(field -> type -> class == OBERON_TYPE_RECORD)
580 {
581 jvm_generate_load(p, copy_dst);
582 jvm_generate_load(p, field -> gen_var);
583 jvm_generate_load(p, copy_src);
584 jvm_generate_load(p, field -> gen_var);
585 jvm_generate_copy_record(p, field -> type);
586 }
587 else if(field -> type -> class == OBERON_TYPE_ARRAY)
588 {
589 jvm_generate_load(p, copy_dst);
590 jvm_generate_load(p, field -> gen_var);
591 jvm_generate_load(p, copy_src);
592 jvm_generate_load(p, field -> gen_var);
593 jvm_generate_copy_array(p, field -> type);
594 }
595 else
596 {
597 jvm_generate_load(p, copy_dst);
598 jvm_generate_ldst_prepare(p, field -> gen_var);
599 jvm_generate_load(p, copy_src);
600 jvm_generate_load(p, field -> gen_var);
601 jvm_generate_store(p, field -> gen_var);
602 }
603 field = field -> next;
604 }
605 jvm_generate(p, 0, 0, "return");
606 jvm_generate_function_end(p);
607
608 jvm_destroy_class(class);
609 }
610
611 void
612 oberon_generator_init_var(oberon_context_t * ctx, oberon_object_t * var)
613 {
614 gen_var_t * v = oberon_generator_new_var();
615 var -> gen_var = v;
616
617 gen_module_t * m;
618 m = ctx -> mod -> gen_mod;
619
620 struct gen_class * class;
621 class = m -> class;
622
623 switch(var -> class)
624 {
625 case OBERON_CLASS_VAR_PARAM:
626 case OBERON_CLASS_PARAM:
627 /* Заполняется при генерации функции */
628 /* смотри jvm_init_local_object() */
629 break;
630 case OBERON_CLASS_FIELD:
631 /* Заполняются при инициализации структуры */
632 /* смотри oberon_generator_init_record() */
633 break;
634 case OBERON_CLASS_VAR:
635 /* Локальные заполняются при генерации функции */
636 /* смотри jvm_init_local_object() */
637 if(var -> local == false)
638 {
639 jvm_generate_and_init_global_var(class, v, var -> name, var -> type -> gen_type);
640 }
641 break;
642 default:
643 gen_error("oberon_generator_init_var: unk var class %i", var -> class);
644 break;
645 }
646 }
647
648 void
649 oberon_generator_init_temp_var(oberon_context_t * ctx, oberon_object_t * var)
650 {
651 assert(var -> class == OBERON_CLASS_VAR);
652
653 gen_var_t * v = oberon_generator_new_var();
654 var -> gen_var = v;
655
656 gen_module_t * m;
657 m = ctx -> mod -> gen_mod;
658
659 gen_proc_t * p;
660 p = m -> class -> p;
661
662 jvm_generate_and_init_local_var(p, v, var -> type -> gen_type);
663 }
664
665 void
666 oberon_generator_init_proc(oberon_context_t * ctx, oberon_object_t * proc)
667 {
668 struct gen_class * class = proc -> module -> gen_mod -> class;
669 proc -> gen_proc = jvm_create_proc(class);
670
671 if(proc -> local)
672 {
673 gen_error("generator: local procedures not implemented");
674 }
675 else
676 {
677 oberon_generate_procedure_pointer_class(proc);
678 }
679 }
680
681 void
682 oberon_generator_init_module(oberon_context_t * ctx, oberon_module_t * mod)
683 {
684 gen_module_t * m = GC_MALLOC(sizeof *m);
685 memset(m, 0, sizeof *m);
686 mod -> gen_mod = m;
687
688 struct gen_class * class;
689 class = jvm_create_class(mod -> name);
690
691 fprintf(class -> fp, ".source %s\n", mod -> name);
692 fprintf(class -> fp, ".class %s\n", mod -> name);
693 fprintf(class -> fp, ".super java/lang/Object\n\n");
694
695 m -> class = class;
696
697 ctx -> gen_context -> current_m = m;
698 }
699
700 void
701 oberon_generator_fini_module(oberon_module_t * mod)
702 {
703 jvm_destroy_class(mod -> gen_mod -> class);
704 }
705
706 static void
707 push_expr(gen_proc_t * p, oberon_expr_t * expr);
708
709 void
710 oberon_generate_begin_module(oberon_context_t * ctx)
711 {
712 struct gen_class * class = ctx -> mod -> gen_mod -> class;
713 gen_proc_t * p = jvm_create_proc(class);
714
715 jvm_generate_function_header(p, "public", "<init>", "()V");
716 jvm_alloc_register_untyped(p -> rf, false);
717 jvm_generate(p, 0, 1, "aload_0");
718 jvm_generate(p, 1, 0, "invokespecial java/lang/Object/<init>()V");
719
720 /* Инициализация переменных объявленных в модуле */
721 oberon_object_t * x = ctx -> mod -> decl -> list -> next;
722 while(x != NULL)
723 {
724 if(x -> class == OBERON_CLASS_VAR)
725 {
726 jvm_generate_variable_initialization(p, x -> gen_var);
727 if(x -> type -> class == OBERON_TYPE_ARRAY
728 || x -> type -> class == OBERON_TYPE_RECORD)
729 {
730 jvm_generate_ldst_prepare(p, x -> gen_var);
731 jvm_generate_new(p, x -> type, 0);
732 jvm_generate_store(p, x -> gen_var);
733 }
734 }
735
736 x = x -> next;
737 }
738 }
739
740 void
741 oberon_generate_end_module(oberon_context_t * ctx)
742 {
743 struct gen_class * class = ctx -> mod -> gen_mod -> class;
744 gen_proc_t * p = class -> p;
745
746 jvm_generate(p, 0, 0, "return");
747 jvm_generate_function_end(class -> p);
748 }
749
750 /*
751 * Генерирует код для получения размера измерения массива
752 * Аналог Обероновского LEN(v, n); где n = 0 - первое измерение.
753 * ( aref -- int )
754 */
755
756 static void
757 jvm_generate_array_len(gen_proc_t * p, int dim)
758 {
759 while(dim > 0)
760 {
761 jvm_generate(p, 0, 1, "iconst_0");
762 jvm_generate(p, 2, 1, "aaload");
763 dim -= 1;
764 }
765 jvm_generate(p, 1, 1, "arraylength");
766 }
767
768 static void
769 jvm_generate_array_duplicate_and_replace(gen_proc_t * p, gen_var_t * v, oberon_type_t * arr)
770 {
771 jvm_generate_ldst_prepare(p, v);
772
773 int dim = 0;
774 oberon_type_t * base = arr;
775 while(base -> class == OBERON_TYPE_ARRAY)
776 {
777 if(base -> size == 0)
778 {
779 jvm_generate_load(p, v);
780 jvm_generate_array_len(p, dim);
781 dim += 1;
782 }
783 base = base -> base;
784 }
785
786 jvm_generate_new(p, arr, dim);
787 jvm_generate(p, 1, 2, "dup");
788 jvm_generate_load(p, v);
789 jvm_generate_copy_array(p, arr);
790 jvm_generate_store(p, v);
791 }
792
793 static void
794 jvm_generate_record_duplicate_and_replace(gen_proc_t * p, gen_var_t * v, oberon_type_t * rec)
795 {
796 jvm_generate_ldst_prepare(p, v);
797 jvm_generate_new(p, rec, 0);
798 jvm_generate(p, 1, 2, "dup");
799 jvm_generate_load(p, v);
800 jvm_generate_copy_record(p, rec);
801 jvm_generate_store(p, v);
802 }
803
804 static void
805 jvm_init_local_object(gen_proc_t * p, oberon_object_t * x)
806 {
807 gen_var_t * v;
808 struct gen_class * class;
809
810 v = x -> gen_var;
811 class = p -> class;
812
813 // Убеждаемся что сейчас находимся в функции
814 assert(class -> p);
815 assert(x -> local);
816
817 switch(x -> class)
818 {
819 case OBERON_CLASS_VAR_PARAM:
820 jvm_generate_and_init_var_param(p, v, x -> name, x -> type -> gen_type);
821 break;
822 case OBERON_CLASS_VAR:
823 case OBERON_CLASS_PARAM:
824 jvm_generate_and_init_named_local_var(p, v, x -> name, x -> type -> gen_type);
825 break;
826 default:
827 gen_error("jvm_init_local_object: wat");
828 break;
829 }
830 }
831
832 static void
833 jvm_generate_local_initialization(gen_proc_t * p, oberon_object_t * x)
834 {
835 gen_var_t * v;
836 struct gen_class * class;
837
838 v = x -> gen_var;
839 class = p -> class;
840
841 // Убеждаемся что сейчас находимся в функции
842 assert(class -> p);
843 assert(x -> local);
844
845 switch(x -> class)
846 {
847 case OBERON_CLASS_VAR_PARAM:
848 break;
849 case OBERON_CLASS_VAR:
850 jvm_generate_variable_initialization(p, v);
851 break;
852 case OBERON_CLASS_PARAM:
853 jvm_generate_param_initialization(p, v);
854 break;
855 default:
856 gen_error("jvm_generate_local_initialization: wat");
857 break;
858 }
859 }
860
861 void
862 oberon_generate_begin_proc(oberon_context_t * ctx, oberon_object_t * proc)
863 {
864 gen_proc_t * p;
865 char * signature;
866
867 p = proc -> gen_proc;
868
869 signature = jvm_get_procedure_signature(proc -> type);
870 jvm_generate_function_header(p, "public static", proc -> name, signature);
871
872 /* Выделение регистров под параметры и переменные */
873 oberon_object_t * var = proc -> scope -> list -> next;
874 while(var)
875 {
876 jvm_init_local_object(p, var);
877 var = var -> next;
878 }
879
880 /* Инициализация */
881 var = proc -> scope -> list -> next;
882 while(var)
883 {
884 jvm_generate_local_initialization(p, var);
885 var = var -> next;
886 }
887
888 /* Копирование статических/открытых массивов и записей */
889 var = proc -> type -> decl;
890 while(var)
891 {
892 if(var -> class == OBERON_CLASS_PARAM || var -> class == OBERON_CLASS_VAR_PARAM)
893 {
894 if(var -> type -> class == OBERON_TYPE_ARRAY)
895 {
896 jvm_generate_array_duplicate_and_replace(p, var -> gen_var, var -> type);
897 }
898 else if(var -> type -> class == OBERON_TYPE_RECORD)
899 {
900 jvm_generate_record_duplicate_and_replace(p, var -> gen_var, var -> type);
901 }
902 }
903 var = var -> next;
904 }
905 }
906
907 void
908 oberon_generate_end_proc(oberon_context_t * ctx)
909 {
910 gen_module_t * m;
911 gen_proc_t * p;
912
913 m = ctx -> mod -> gen_mod;
914 p = m -> class -> p;
915
916 jvm_generate_function_end(p);
917 }
918
919 gen_label_t *
920 oberon_generator_reserve_label(oberon_context_t * ctx)
921 {
922 gen_module_t * m;
923 gen_proc_t * p;
924 gen_label_t * l;
925
926 m = ctx -> mod -> gen_mod;
927 p = m -> class -> p;
928
929 l = GC_MALLOC(sizeof *l);
930 memset(l, 0, sizeof *l);
931
932 l -> id = jvm_new_label_id(p);
933 return l;
934 }
935
936 void
937 oberon_generate_label(oberon_context_t * ctx, gen_label_t * l)
938 {
939 gen_module_t * m;
940 gen_proc_t * p;
941
942 m = ctx -> mod -> gen_mod;
943 p = m -> class -> p;
944
945 jvm_generate_label(p, l -> id);
946 }
947
948 void
949 oberon_generate_goto(oberon_context_t * ctx, gen_label_t * l)
950 {
951 gen_module_t * m;
952 gen_proc_t * p;
953
954 m = ctx -> mod -> gen_mod;
955 p = m -> class -> p;
956
957 jvm_generate(p, 0, 0, "goto L%i", l -> id);
958 }
959
960 void
961 oberon_generate_branch(oberon_context_t * ctx, oberon_expr_t * cond, bool gotoif, gen_label_t * l)
962 {
963 gen_module_t * m;
964 gen_proc_t * p;
965
966 m = ctx -> mod -> gen_mod;
967 p = m -> class -> p;
968
969 push_expr(p, cond);
970
971 if(gotoif == false)
972 {
973 /* переход если false */
974 jvm_generate(p, 1, 0, "ifeq L%i", l -> id);
975 }
976 else
977 {
978 /* переход если true */
979 jvm_generate(p, 1, 0, "ifne L%i", l -> id);
980 }
981 }
982
983 static void
984 push_varptr(gen_proc_t * p, oberon_expr_t * expr)
985 {
986 assert(expr -> is_item);
987
988 switch(expr -> item.mode)
989 {
990 case MODE_VAR:
991 jvm_generate_ldst_prepare(p, expr -> item.var -> gen_var);
992 break;
993 case MODE_INDEX:
994 push_item(p, (oberon_item_t *) expr -> item.parent);
995 push_expr(p, expr -> item.args);
996 break;
997 case MODE_FIELD:
998 push_item(p, (oberon_item_t *) expr -> item.parent);
999 jvm_generate_ldst_prepare(p, expr -> item.var -> gen_var);
1000 break;
1001 default:
1002 gen_error("push_varptr: wat %i", expr -> item.mode);
1003 break;
1004 }
1005 }
1006
1007 static void
1008 jvm_generate_call_proc(gen_proc_t * p, oberon_item_t * desig)
1009 {
1010 assert(desig -> var == NULL);
1011 assert(desig -> mode == MODE_CALL);
1012
1013 char * signature = NULL;
1014
1015 bool direct_call = false;
1016 if(desig -> parent -> mode == MODE_VAR)
1017 {
1018 if(desig -> parent -> var -> class == OBERON_CLASS_PROC)
1019 {
1020 direct_call = true;
1021 }
1022 }
1023
1024 printf("direct_call == %i\n", direct_call);
1025
1026 oberon_type_t * procsig;
1027 procsig = desig -> parent -> result;
1028 signature = jvm_get_procedure_signature(procsig);
1029
1030 if(direct_call == false)
1031 {
1032 /* Загружаем указатель на процедуру */
1033 push_item(p, desig -> parent);
1034 }
1035
1036 int args_cells = 0;
1037 int result_cells = jvm_cell_size_for_type(procsig -> base);
1038
1039 int num = desig -> num_args;
1040 oberon_expr_t * arg = desig -> args;
1041 oberon_object_t * param = procsig -> decl;
1042 for(int i = 0; i < num; i++)
1043 {
1044 if(param -> class == OBERON_CLASS_VAR_PARAM)
1045 {
1046 args_cells += 2;
1047 push_varptr(p, arg);
1048 }
1049 else
1050 {
1051 args_cells += jvm_cell_size_for_type(arg -> result);
1052 push_expr(p, arg);
1053 }
1054 arg = arg -> next;
1055 param = param -> next;
1056 }
1057
1058 if(direct_call)
1059 {
1060 char * full_name = jvm_get_field_full_name(desig -> parent -> var);
1061 jvm_generate(p, args_cells, result_cells, "invokestatic %s%s", full_name, signature);
1062 }
1063 else
1064 {
1065 char * cname = jvm_get_class_full_name(procsig);
1066 jvm_generate(p, 1 + args_cells, result_cells, "invokevirtual %s/invoke%s", cname, signature);
1067 }
1068 }
1069
1070 void
1071 oberon_generate_call_proc(oberon_context_t * ctx, oberon_expr_t * desig)
1072 {
1073 assert(desig -> is_item);
1074 jvm_generate_call_proc(ctx -> mod -> gen_mod -> class -> p, (oberon_item_t *) desig);
1075 }
1076
1077 void
1078 oberon_generate_return(oberon_context_t * ctx, oberon_expr_t * expr)
1079 {
1080 gen_module_t * m;
1081 gen_proc_t * p;
1082 char prefix;
1083 int cell_size;
1084
1085 m = ctx -> mod -> gen_mod;
1086 p = m -> class -> p;
1087
1088 if(expr)
1089 {
1090 push_expr(p, expr);
1091 prefix = jvm_get_prefix(expr -> result);
1092 cell_size = jvm_cell_size_for_type(expr -> result);
1093 jvm_generate(p, cell_size, 0, "%creturn", prefix);
1094 }
1095 else
1096 {
1097 jvm_generate(p, 0, 0, "return");
1098 }
1099 }
1100
1101 static void
1102 jvm_generate_expr_new_pointer(gen_proc_t * p, oberon_type_t * type, int num, oberon_expr_t * arg)
1103 {
1104 assert(type -> class == OBERON_TYPE_POINTER);
1105
1106 for(int i = 0; i < num; i++)
1107 {
1108 push_expr(p, arg);
1109 arg = arg -> next;
1110 }
1111
1112 jvm_generate_new(p, type -> base, num);
1113 }
1114
1115 static void
1116 jvm_generate_cast_type(gen_proc_t * p, oberon_type_t * from, oberon_type_t * to)
1117 {
1118 if(to -> class == OBERON_TYPE_RECORD || to -> class == OBERON_TYPE_POINTER)
1119 {
1120 char * full_name = jvm_get_class_full_name(to);
1121 jvm_generate(p, 1, 1, "checkcast %s", full_name);
1122 }
1123 else
1124 {
1125 char prefix = jvm_get_prefix(from);
1126 char postfix = jvm_get_postfix(to);
1127 int from_cell_size = jvm_cell_size_for_type(from);
1128 int to_cell_size = jvm_cell_size_for_type(to);
1129
1130 jvm_generate_comment(p, "cast type class from %i(%i) to %i(%i)", from -> class, from -> size, to -> class, to -> size);
1131
1132 if(prefix == postfix)
1133 {
1134 return;
1135 }
1136
1137 jvm_generate(p, from_cell_size, to_cell_size, "%c2%c", prefix, postfix);
1138 }
1139 }
1140
1141 static void
1142 push_item(gen_proc_t * p, oberon_item_t * item)
1143 {
1144 switch(item -> mode)
1145 {
1146 case MODE_VAR:
1147 if(item -> var -> class == OBERON_CLASS_PROC)
1148 {
1149 jvm_generate_push_procedure_pointer(p, item -> var);
1150 }
1151 else
1152 {
1153 jvm_generate_load(p, item -> var -> gen_var);
1154 }
1155 break;
1156 case MODE_INTEGER:
1157 case MODE_CHAR:
1158 case MODE_SET:
1159 jvm_generate_push_int_size(p, item -> integer, item -> result -> size);
1160 break;
1161 case MODE_BOOLEAN:
1162 jvm_generate_push_int_size(p, item -> boolean, item -> result -> size);
1163 break;
1164 case MODE_CALL:
1165 jvm_generate_call_proc(p, item);
1166 break;
1167 case MODE_INDEX:
1168 ;
1169 char postfix = jvm_get_postfix(item -> result);
1170 int cell_size = jvm_cell_size_for_postfix(postfix);
1171 assert(item -> parent -> is_item);
1172 push_item(p, (oberon_item_t *) item -> parent);
1173 push_expr(p, item -> args);
1174 jvm_generate(p, 1 + 1, cell_size, "%caload", postfix);
1175 break;
1176 case MODE_FIELD:
1177 assert(item -> parent -> is_item);
1178 push_item(p, (oberon_item_t *) item -> parent);
1179 jvm_generate_load(p, item -> var -> gen_var);
1180 break;
1181 case MODE_DEREF:
1182 /* Все объекты в jvm представляются как указатели */
1183 assert(item -> parent -> is_item);
1184 push_item(p, (oberon_item_t *) item -> parent);
1185 break;
1186 case MODE_NIL:
1187 jvm_generate(p, 0, 1, "aconst_null");
1188 break;
1189 case MODE_NEW:
1190 jvm_generate_expr_new_pointer(p, item -> result, item -> num_args, item -> args);
1191 break;
1192 case MODE_REAL:
1193 jvm_generate_push_float(p, item -> real, item -> result -> size);
1194 break;
1195 case MODE_STRING:
1196 jvm_generate_push_string(p, item -> string, item -> result -> size);
1197 break;
1198 default:
1199 gen_error("push_item: unk mode %i", item -> mode);
1200 break;
1201 }
1202 }
1203
1204 static void
1205 jvm_generate_logical_not(gen_proc_t * p)
1206 {
1207 int label_done = jvm_new_label_id(p);
1208 int label_false = jvm_new_label_id(p);
1209
1210 jvm_generate(p, 1, 0, "ifne L%i", label_false);
1211 jvm_generate(p, 0, 1, "iconst_1");
1212 jvm_generate(p, 0, 0, "goto L%i", label_done);
1213 jvm_generate_label(p, label_false);
1214 jvm_generate(p, 0, 1, "iconst_0");
1215 jvm_generate_label(p, label_done);
1216 }
1217
1218 static void
1219 jvm_generate_abs(gen_proc_t * p, char prefix)
1220 {
1221 char t = jvm_get_type_of_prefix(prefix);
1222 int cell_size = jvm_cell_size_for_postfix(prefix);
1223 jvm_generate(p, cell_size, cell_size, "invokestatic java/lang/Math/abs(%c)%c", t, t);
1224 }
1225
1226 static char *
1227 jvm_get_compare_postfix(int op)
1228 {
1229 char * cmpop = "";
1230 switch(op)
1231 {
1232 case OP_EQ:
1233 cmpop = "eq";
1234 break;
1235 case OP_NEQ:
1236 cmpop = "ne";
1237 break;
1238 case OP_LSS:
1239 cmpop = "lt";
1240 break;
1241 case OP_LEQ:
1242 cmpop = "le";
1243 break;
1244 case OP_GRT:
1245 cmpop = "gt";
1246 break;
1247 case OP_GEQ:
1248 cmpop = "ge";
1249 break;
1250 default:
1251 gen_error("jvm_generate_compare_op: wat");
1252 break;
1253 }
1254 return cmpop;
1255 }
1256
1257 static void
1258 jvm_generate_compare_op(gen_proc_t * p, oberon_type_t * t, int op)
1259 {
1260 char prefix = jvm_get_prefix(t);
1261 int label_true = jvm_new_label_id(p);
1262 int label_done = jvm_new_label_id(p);
1263 int cell_size = jvm_cell_size_for_type(t);
1264 char * cmpop = jvm_get_compare_postfix(op);
1265
1266 if(prefix == 'l')
1267 {
1268 jvm_generate(p, 2 * cell_size, 1, "lcmp");
1269 jvm_generate(p, 1, 1, "if%s L%i", cmpop, label_true);
1270 }
1271 else if(prefix == 'f' || prefix == 'd')
1272 {
1273 char fop;
1274 if(op == OP_EQ || op == OP_NEQ || op == OP_GRT || op == OP_GEQ)
1275 {
1276 fop = 'l';
1277 }
1278 else
1279 {
1280 fop = 'g';
1281 }
1282 jvm_generate(p, 2 * cell_size, 1, "%ccmp%c", prefix, fop);
1283 jvm_generate(p, 1, 1, "if%s L%i", cmpop, label_true);
1284 }
1285 else
1286 {
1287 jvm_generate(p, 2 * cell_size, 0, "if_%ccmp%s L%i", prefix, cmpop, label_true);
1288 }
1289
1290 jvm_generate(p, 0, 1, "iconst_0");
1291 jvm_generate(p, 0, 0, "goto L%i", label_done);
1292 jvm_generate_label(p, label_true);
1293 jvm_generate(p, 0, 1, "iconst_1");
1294 jvm_generate_label(p, label_done);
1295 }
1296
1297 static void
1298 jvm_generate_operator(gen_proc_t * p, oberon_type_t * t, int op)
1299 {
1300 char prefix = jvm_get_prefix(t);
1301 int cell_size = jvm_cell_size_for_type(t);
1302 switch(op)
1303 {
1304 case OP_UNARY_MINUS:
1305 jvm_generate(p, cell_size, cell_size, "%cneg", prefix);
1306 break;
1307 case OP_COMPLEMENTATION:
1308 jvm_generate_push_int_size(p, -1, t -> size);
1309 jvm_generate(p, 2 * cell_size, cell_size, "%cxor", prefix);
1310 break;
1311 case OP_LOGIC_NOT:
1312 jvm_generate_logical_not(p);
1313 break;
1314 case OP_ABS:
1315 jvm_generate_abs(p, prefix);
1316 break;
1317
1318 case OP_ADD:
1319 jvm_generate(p, 2 * cell_size, cell_size, "%cadd", prefix);
1320 break;
1321 case OP_SUB:
1322 jvm_generate(p, 2 * cell_size, cell_size, "%csub", prefix);
1323 break;
1324 case OP_MUL:
1325 jvm_generate(p, 2 * cell_size, cell_size, "%cmul", prefix);
1326 break;
1327 case OP_DIV:
1328 jvm_generate(p, 2 * cell_size, cell_size, "%cdiv", prefix);
1329 break;
1330 case OP_MOD:
1331 jvm_generate(p, 2 * cell_size, cell_size, "%crem", prefix);
1332 break;
1333 case OP_UNION:
1334 jvm_generate(p, 2 * cell_size, cell_size, "%cor", prefix);
1335 break;
1336 case OP_INTERSECTION:
1337 jvm_generate(p, 2 * cell_size, cell_size, "%cand", prefix);
1338 break;
1339 case OP_DIFFERENCE:
1340 jvm_generate_push_int_size(p, -1, t -> size);
1341 jvm_generate(p, 2 * cell_size, cell_size, "%cxor", prefix);
1342 jvm_generate(p, 2 * cell_size, cell_size, "%cand", prefix);
1343 break;
1344 case OP_SYM_DIFFERENCE:
1345 jvm_generate(p, 2 * cell_size, cell_size, "%cxor", prefix);
1346 break;
1347
1348 case OP_EQ:
1349 case OP_NEQ:
1350 case OP_LSS:
1351 case OP_LEQ:
1352 case OP_GRT:
1353 case OP_GEQ:
1354 jvm_generate_compare_op(p, t, op);
1355 break;
1356 default:
1357 gen_error("jvm_generate_operator: unk op %i", op);
1358 break;
1359 }
1360 }
1361
1362 static void
1363 jvm_generate_logical_or(gen_proc_t * p, oberon_expr_t * a, oberon_expr_t * b)
1364 {
1365 int label_calc_b = jvm_new_label_id(p);
1366 int label_done = jvm_new_label_id(p);
1367
1368 /* a OR b -- если a, то TRUE, иначе b */
1369
1370 push_expr(p, a);
1371 jvm_generate(p, 1, 0, "ifeq L%i", label_calc_b);
1372 jvm_generate(p, 0, 1, "iconst_1");
1373 jvm_generate(p, 0, 0, "goto L%i", label_done);
1374 jvm_generate_label(p, label_calc_b);
1375 push_expr(p, b);
1376 jvm_generate_label(p, label_done);
1377 }
1378
1379 static void
1380 jvm_generate_logical_and(gen_proc_t * p, oberon_expr_t * a, oberon_expr_t * b)
1381 {
1382 int label_false = jvm_new_label_id(p);
1383 int label_done = jvm_new_label_id(p);
1384
1385 /* a AND b -- если a, то b, иначе FALSE */
1386
1387 push_expr(p, a);
1388 jvm_generate(p, 1, 0, "ifeq L%i", label_false);
1389 push_expr(p, b);
1390 jvm_generate(p, 0, 0, "goto L%i", label_done);
1391 jvm_generate_label(p, label_false);
1392 jvm_generate(p, 0, 1, "iconst_0");
1393 jvm_generate_label(p, label_done);
1394 }
1395
1396 static void
1397 jvm_generate_range(gen_proc_t * p, oberon_expr_t * a, oberon_expr_t * b)
1398 {
1399 /* { a } == 1 << a */
1400 /* { a..b } == (a <= b) ? ((2 << b) - (1 << a)) : (0); */
1401
1402 char prefix;
1403 int cell_size;
1404 oberon_type_t * type;
1405 gen_var_t * ra;
1406 gen_var_t * rb;
1407 int label_else;
1408 int label_end;
1409
1410 type = a -> result;
1411 cell_size = jvm_cell_size_for_type(type);
1412 prefix = jvm_get_prefix(type);
1413
1414 if(b == NULL)
1415 {
1416 jvm_generate_push_int_size(p, 1, type -> size);
1417 push_expr(p, a);
1418 jvm_generate(p, 2 * cell_size, cell_size, "%cshl", prefix);
1419 }
1420 else
1421 {
1422 ra = oberon_generator_new_var();
1423 rb = oberon_generator_new_var();
1424 jvm_generate_and_init_local_var(p, ra, type -> gen_type);
1425 jvm_generate_and_init_local_var(p, rb, type -> gen_type);
1426 label_else = jvm_new_label_id(p);
1427 label_end = jvm_new_label_id(p);
1428
1429 push_expr(p, a);
1430 jvm_generate_store(p, ra);
1431 push_expr(p, b);
1432 jvm_generate_store(p, rb);
1433
1434 jvm_generate_load(p, ra);
1435 jvm_generate_load(p, rb);
1436 jvm_generate(p, 2 * cell_size, 0, "if_%ccmpgt L%i", prefix, label_else);
1437
1438 jvm_generate_push_int_size(p, 2, type -> size);
1439 jvm_generate_load(p, rb);
1440 jvm_generate(p, 2 * cell_size, cell_size, "%cshl", prefix);
1441 jvm_generate_push_int_size(p, 2, type -> size);
1442 jvm_generate_load(p, ra);
1443 jvm_generate(p, 2 * cell_size, cell_size, "%cshl", prefix);
1444 jvm_generate(p, 2 * cell_size, cell_size, "%csub", prefix);
1445 jvm_generate(p, 0, 0, "goto L%i", label_end);
1446
1447 jvm_generate_label(p, label_else);
1448 jvm_generate_push_int_size(p, 0, type -> size);
1449 jvm_generate_label(p, label_end);
1450 }
1451
1452 /* TODO free registers */
1453 }
1454
1455 static void
1456 jvm_generate_in(gen_proc_t * p, oberon_expr_t * a, oberon_expr_t * b)
1457 {
1458 oberon_type_t * t = a -> result;
1459 int cell_size = jvm_cell_size_for_type(t);
1460 char prefix = jvm_get_prefix(t);
1461 int label_else = jvm_new_label_id(p);
1462 int label_end = jvm_new_label_id(p);
1463
1464 jvm_generate_push_int_size(p, 1, t -> size);
1465 push_expr(p, a);
1466 jvm_generate(p, 2 * cell_size, cell_size, "%cshl", prefix);
1467 push_expr(p, b);
1468 jvm_generate(p, 2 * cell_size, cell_size, "%cand", prefix);
1469
1470 if(cell_size > 1)
1471 {
1472 jvm_generate(p, cell_size, 0, "lcmp");
1473 }
1474
1475 jvm_generate(p, 1, 0, "ifeq L%i", label_else);
1476 jvm_generate(p, 0, 1, "iconst_1");
1477 jvm_generate(p, 0, 0, "goto L%i", label_end);
1478 jvm_generate_label(p, label_else);
1479 jvm_generate(p, 0, 1, "iconst_0");
1480 jvm_generate_label(p, label_end);
1481 }
1482
1483 static void
1484 push_operator(gen_proc_t * p, oberon_oper_t * oper)
1485 {
1486 oberon_type_t * preq = oper -> left -> result;
1487 int op = oper -> op;
1488 switch(op)
1489 {
1490 case OP_CAST:
1491 push_expr(p, oper -> left);
1492 jvm_generate_cast_type(p, oper -> left -> result, oper -> result);
1493 break;
1494 case OP_COMPLEMENTATION:
1495 case OP_UNARY_MINUS:
1496 case OP_LOGIC_NOT:
1497 case OP_ABS:
1498 push_expr(p, oper -> left);
1499 jvm_generate_operator(p, preq, op);
1500 break;
1501
1502 case OP_ADD:
1503 case OP_SUB:
1504 case OP_MUL:
1505 case OP_DIV:
1506 case OP_MOD:
1507
1508 case OP_UNION:
1509 case OP_INTERSECTION:
1510 case OP_DIFFERENCE:
1511 case OP_SYM_DIFFERENCE:
1512
1513 case OP_EQ:
1514 case OP_NEQ:
1515 case OP_LSS:
1516 case OP_LEQ:
1517 case OP_GRT:
1518 case OP_GEQ:
1519 push_expr(p, oper -> left);
1520 push_expr(p, oper -> right);
1521 jvm_generate_operator(p, preq, op);
1522 break;
1523
1524 case OP_LOGIC_OR:
1525 jvm_generate_logical_or(p, oper -> left, oper -> right);
1526 break;
1527 case OP_LOGIC_AND:
1528 jvm_generate_logical_and(p, oper -> left, oper -> right);
1529 break;
1530
1531 case OP_IS:
1532 preq = oper -> right -> result;
1533 char * cname = jvm_get_class_full_name(preq);
1534 push_expr(p, oper -> left);
1535 jvm_generate(p, 1, 1, "instanceof %s", cname);
1536 break;
1537 case OP_RANGE:
1538 jvm_generate_range(p, oper -> left, oper -> right);
1539 break;
1540 case OP_IN:
1541 jvm_generate_in(p, oper -> left, oper -> right);
1542 break;
1543 default:
1544 gen_error("push_oper: unk op %i", op);
1545 break;
1546 }
1547 }
1548
1549 static void
1550 push_expr(gen_proc_t * p, oberon_expr_t * expr)
1551 {
1552 if(expr -> is_item)
1553 {
1554 push_item(p, (oberon_item_t *) expr);
1555 }
1556 else
1557 {
1558 push_operator(p, (oberon_oper_t *) expr);
1559 }
1560 }
1561
1562 static void
1563 store_expr(gen_proc_t * p, oberon_expr_t * dst, oberon_expr_t * src)
1564 {
1565 assert(dst -> is_item);
1566 oberon_item_t * item = (oberon_item_t *) dst;
1567
1568 if(dst -> result -> class == OBERON_TYPE_ARRAY
1569 || src -> result -> class == OBERON_TYPE_ARRAY)
1570 {
1571 push_expr(p, dst);
1572 push_expr(p, src);
1573 jvm_generate_copy_array(p, dst -> result);
1574 }
1575 else if(dst -> result -> class == OBERON_TYPE_RECORD
1576 || src -> result -> class == OBERON_TYPE_RECORD)
1577 {
1578 push_expr(p, dst);
1579 push_expr(p, src);
1580 jvm_generate_copy_record(p, dst -> result);
1581 }
1582 else switch(item -> mode)
1583 {
1584 case MODE_VAR:
1585 jvm_generate_ldst_prepare(p, item -> var -> gen_var);
1586 push_expr(p, src);
1587 jvm_generate_store(p, item -> var -> gen_var);
1588 break;
1589 case MODE_INDEX:
1590 ;
1591 char postfix = jvm_get_postfix(src -> result);
1592 int cell_size = jvm_cell_size_for_postfix(postfix);
1593 assert(item -> parent -> is_item);
1594 push_item(p, (oberon_item_t *) item -> parent);
1595 push_expr(p, item -> args);
1596 push_expr(p, src);
1597 jvm_generate(p, 1 + 1 + cell_size, 0, "%castore", postfix);
1598 break;
1599 case MODE_FIELD:
1600 assert(item -> parent -> is_item);
1601 push_item(p, (oberon_item_t *) item -> parent);
1602 jvm_generate_ldst_prepare(p, item -> var -> gen_var);
1603 push_expr(p, src);
1604 jvm_generate_store(p, item -> var -> gen_var);
1605 break;
1606 default:
1607 gen_error("store_expr: unk mode %i", item -> mode);
1608 break;
1609 }
1610 }
1611
1612 void
1613 oberon_generate_assign(oberon_context_t * ctx, oberon_expr_t * src, oberon_expr_t * dst)
1614 {
1615 gen_module_t * m;
1616 gen_proc_t * p;
1617
1618 m = ctx -> mod -> gen_mod;
1619 p = m -> class -> p;
1620
1621 store_expr(p, dst, src);
1622 }
1623
1624 void
1625 oberon_generate_code(oberon_context_t * ctx)
1626 {
1627 printf("generate code\n");
1628 }
1629
1630 void
1631 oberon_generator_dump(oberon_context_t * ctx, char * path)
1632 {
1633 printf("jit: dump code\n");
1634 }
1635
1636 void *
1637 oberon_generator_get_procedure(oberon_context_t * ctx, const char * name)
1638 {
1639 printf("jit: get pointer to procedure %s\n", name);
1640 return NULL;
1641 }
1642
1643 void *
1644 oberon_generator_get_var(oberon_context_t * ctx, const char * name)
1645 {
1646 printf("jit: get pointer to var %s\n", name);
1647 return NULL;
1648 }
Another attempt to make Oberon compiler
[25/02/2024 19:55:35]
DEADSOFTWARE 2012-2024