DEADSOFTWARE

GIT / REPO / FRED-BOY
Projects / dsw-obn.git / blob
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
TRUE и FALSE теперь определены как константы
[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 private <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_type_t * t = param -> type -> gen_type;
408 if(param -> class == OBERON_CLASS_VAR_PARAM)
409 {
410 int reg = jvm_alloc_register_untyped(p -> rf, true);
411 jvm_generate(p, 0, 1, "aload %i", reg);
412 jvm_generate(p, 0, 1, "iload %i", reg + 1);
413 }
414 else
415 {
416 int reg = jvm_alloc_register_untyped(p -> rf, t -> wide);
417 jvm_generate(p, 0, t -> cell_size, "%cload %i", t -> prefix, reg);
418 }
419 use_size += t -> cell_size;
420 param = param -> next;
421 }
422
423 char * full_name = jvm_get_field_full_name(proc);
424 int cell_size = jvm_cell_size_for_type(proc -> type -> base);
425 jvm_generate(p, use_size, cell_size, "invokestatic %s%s", full_name, signature);
426
427 if(proc -> type -> base -> class == OBERON_TYPE_VOID)
428 {
429 jvm_generate(p, 0, 0, "return");
430 }
431 else
432 {
433 char prefix = jvm_get_prefix(proc -> type -> base);
434 jvm_generate(p, cell_size, 0, "%creturn", prefix);
435 }
436
437 jvm_generate_function_end(p);
438
439 jvm_destroy_class(class);
440 }
441
442 static void
443 oberon_generate_record_class(gen_module_t * m, oberon_type_t * rec)
444 {
445 char * cname;
446 struct gen_class * class;
447
448 /* Устанавливаем новоый id */
449 rec -> gen_type -> rec_id = m -> rec_id;
450 m -> rec_id += 1;
451
452 cname = jvm_get_class_full_name(rec);
453 class = jvm_create_class(cname);
454
455 fprintf(class -> fp, ".source %s\n", rec -> module -> name);
456 fprintf(class -> fp, ".class public %s\n", cname);
457
458 if(rec -> base == NULL)
459 {
460 fprintf(class -> fp, ".super java/lang/Object\n\n");
461 }
462 else
463 {
464 class -> base = rec -> base -> gen_type -> class;
465 fprintf(class -> fp, ".super %s\n\n", class -> base -> full_name);
466 }
467
468 rec -> gen_type -> class = class;
469 }
470
471 void
472 oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type)
473 {
474 gen_type_t * t = GC_MALLOC(sizeof *t);
475 memset(t, 0, sizeof *t);
476 type -> gen_type = t;
477
478 if(type -> class != OBERON_TYPE_VOID)
479 {
480 t -> wide = jvm_is_wide_type(type);
481 t -> prefix = jvm_get_prefix(type);
482 t -> postfix = jvm_get_postfix(type);
483 }
484 t -> cell_size = jvm_cell_size_for_type(type);
485 t -> desc = jvm_get_descriptor(type);
486
487 switch(type -> class)
488 {
489 case OBERON_TYPE_VOID:
490 case OBERON_TYPE_INTEGER:
491 case OBERON_TYPE_BOOLEAN:
492 case OBERON_TYPE_ARRAY:
493 case OBERON_TYPE_POINTER:
494 case OBERON_TYPE_REAL:
495 case OBERON_TYPE_CHAR:
496 case OBERON_TYPE_STRING:
497 case OBERON_TYPE_SET:
498 break;
499 case OBERON_TYPE_RECORD:
500 ;
501 gen_module_t * m;
502 m = type -> module -> gen_mod;
503 oberon_generate_record_class(m, type);
504 break;
505 case OBERON_TYPE_PROCEDURE:
506 oberon_generate_procedure_class(type);
507 break;
508 default:
509 gen_error("oberon_generator_init_type: unk calss %i", type -> class);
510 break;
511 }
512 }
513
514 void
515 oberon_generator_init_record(oberon_context_t * ctx, oberon_type_t * rec)
516 {
517 struct gen_class * class;
518 class = rec -> gen_type -> class;
519
520 int num = rec -> num_decl;
521 oberon_object_t * field = rec -> decl;
522 for(int i = 0; i < num; i++)
523 {
524 jvm_generate_var(field -> gen_var);
525 field = field -> next;
526 }
527
528 /* Стандартный конструктор класса */
529 /* Инициализирует внутренние статические записи и массивы */
530 gen_proc_t * p = jvm_create_proc(class);
531 jvm_generate_function_header(p, "public", "<init>", "()V");
532 jvm_alloc_register_untyped(p -> rf, false);
533 jvm_generate(p, 0, 1, "aload_0");
534 if(class -> base)
535 {
536 jvm_generate(p, 1, 0, "invokespecial %s/<init>()V", class -> base -> full_name);
537 }
538 else
539 {
540 jvm_generate(p, 1, 0, "invokespecial java/lang/Object/<init>()V");
541 }
542 num = rec -> num_decl;
543 field = rec -> decl;
544 for(int i = 0; i < num; i++)
545 {
546 jvm_generate(p, 0, 1, "aload_0");
547 jvm_generate_var_initialization(p, field -> gen_var);
548
549 if(field -> type -> class == OBERON_TYPE_RECORD
550 || field -> type -> class == OBERON_TYPE_ARRAY)
551 {
552 jvm_generate(p, 0, 1, "aload_0");
553 jvm_generate_ldst_prepare(p, field -> gen_var);
554 jvm_generate_new(p, field -> type, 0);
555 jvm_generate_store(p, field -> gen_var);
556 }
557 field = field -> next;
558 }
559 jvm_generate(p, 0, 0, "return");
560 jvm_generate_function_end(p);
561
562 /* Метод для копирования полей класса */
563 /* reg0 == src -> reg1 == dst */
564 p = jvm_create_proc(class);
565 char * signature = new_string("(%s%s)V", rec -> gen_type -> desc, rec -> gen_type -> desc);
566 jvm_generate_function_header(p, "public static", "$COPY$", signature);
567
568 gen_var_t * copy_dst = jvm_create_function_var(p, JVM_STORAGE_REGISTER, "dst", rec -> gen_type);
569 gen_var_t * copy_src = jvm_create_function_var(p, JVM_STORAGE_REGISTER, "src", rec -> gen_type);
570 jvm_generate_var(copy_dst);
571 jvm_generate_var(copy_src);
572 jvm_generate_var_initialization(p, copy_dst);
573 jvm_generate_var_initialization(p, copy_src);
574
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_module_t * m;
615 m = ctx -> mod -> gen_mod;
616
617 struct gen_class * class;
618 class = m -> class;
619
620 gen_proc_t * p;
621 struct gen_class * c;
622 char * name = var -> name;
623 gen_type_t * t = var -> type -> gen_type;
624 switch(var -> class)
625 {
626 case OBERON_CLASS_VAR_PARAM:
627 p = var -> parent -> gen_proc;
628 var -> gen_var = jvm_create_function_var(p, JVM_STORAGE_FRAME_PARAM_VARPTR, name, t);
629 break;
630 case OBERON_CLASS_PARAM:
631 p = var -> parent -> gen_proc;
632 var -> gen_var = jvm_create_function_var(p, JVM_STORAGE_FRAME_PARAM_VAR, name, t);
633 break;
634 case OBERON_CLASS_FIELD:
635 c = var -> parent_type -> gen_type -> class;
636 var -> gen_var = jvm_create_class_var(c, JVM_STORAGE_FIELD_VAR, name, t);
637 break;
638 case OBERON_CLASS_VAR:
639 if(var -> local)
640 {
641 p = var -> parent -> gen_proc;
642 var -> gen_var = jvm_create_function_var(p, JVM_STORAGE_FRAME_VAR, name, t);
643 }
644 else
645 {
646 var -> gen_var = jvm_create_class_var(class, JVM_STORAGE_STATIC_VAR, name, t);
647 jvm_generate_var(var -> gen_var);
648 }
649 break;
650 default:
651 gen_error("oberon_generator_init_var: unk var class %i", var -> class);
652 break;
653 }
654 }
655
656 void
657 oberon_generator_init_temp_var(oberon_context_t * ctx, oberon_object_t * var)
658 {
659 assert(var -> class == OBERON_CLASS_VAR);
660
661 gen_module_t * m;
662 m = ctx -> mod -> gen_mod;
663
664 gen_proc_t * p;
665 p = m -> class -> p;
666
667 gen_type_t * t;
668 t = var -> type -> gen_type;
669
670 var -> gen_var = jvm_create_function_temp_var(p, t);
671 jvm_generate_var(var -> gen_var);
672 jvm_generate_var_initialization(p, var -> gen_var);
673 }
674
675 void
676 oberon_generator_init_proc(oberon_context_t * ctx, oberon_object_t * proc)
677 {
678 struct gen_class * class = proc -> module -> gen_mod -> class;
679 proc -> gen_proc = jvm_create_proc(class);
680 proc -> gen_proc -> full_name = jvm_get_field_full_name_safe(proc);
681 jvm_create_static_links(proc);
682 }
683
684 void
685 oberon_generator_init_module(oberon_context_t * ctx, oberon_module_t * mod)
686 {
687 gen_module_t * m = GC_MALLOC(sizeof *m);
688 memset(m, 0, sizeof *m);
689 mod -> gen_mod = m;
690
691 struct gen_class * class;
692 class = jvm_create_class(mod -> name);
693
694 fprintf(class -> fp, ".source %s\n", mod -> name);
695 fprintf(class -> fp, ".class %s\n", mod -> name);
696 fprintf(class -> fp, ".super java/lang/Object\n\n");
697
698 m -> class = class;
699
700 ctx -> gen_context -> current_m = m;
701 }
702
703 void
704 oberon_generator_fini_module(oberon_module_t * mod)
705 {
706 jvm_destroy_class(mod -> gen_mod -> class);
707 }
708
709 static void
710 push_expr(gen_proc_t * p, oberon_expr_t * expr);
711
712 void
713 oberon_generate_begin_module(oberon_context_t * ctx)
714 {
715 struct gen_class * class = ctx -> mod -> gen_mod -> class;
716 gen_proc_t * p = jvm_create_proc(class);
717
718 jvm_generate_function_header(p, "public", "<init>", "()V");
719 jvm_alloc_register_untyped(p -> rf, false);
720 jvm_generate(p, 0, 1, "aload_0");
721 jvm_generate(p, 1, 0, "invokespecial java/lang/Object/<init>()V");
722
723 /* Инициализация переменных объявленных в модуле */
724 oberon_object_t * x = ctx -> mod -> decl -> list -> next;
725 while(x != NULL)
726 {
727 if(x -> class == OBERON_CLASS_VAR)
728 {
729 jvm_generate_var_initialization(p, x -> gen_var);
730 if(x -> type -> class == OBERON_TYPE_ARRAY
731 || x -> type -> class == OBERON_TYPE_RECORD)
732 {
733 jvm_generate_ldst_prepare(p, x -> gen_var);
734 jvm_generate_new(p, x -> type, 0);
735 jvm_generate_store(p, x -> gen_var);
736 }
737 }
738
739 x = x -> next;
740 }
741 }
742
743 void
744 oberon_generate_end_module(oberon_context_t * ctx)
745 {
746 struct gen_class * class = ctx -> mod -> gen_mod -> class;
747 gen_proc_t * p = class -> p;
748
749 jvm_generate(p, 0, 0, "return");
750 jvm_generate_function_end(class -> p);
751 }
752
753 /*
754 * Генерирует код для получения размера измерения массива
755 * Аналог Обероновского LEN(v, n); где n = 0 - первое измерение.
756 * ( aref -- int )
757 */
758
759 static void
760 jvm_generate_array_len(gen_proc_t * p, int dim)
761 {
762 while(dim > 0)
763 {
764 jvm_generate(p, 0, 1, "iconst_0");
765 jvm_generate(p, 2, 1, "aaload");
766 dim -= 1;
767 }
768 jvm_generate(p, 1, 1, "arraylength");
769 }
770
771 static void
772 jvm_generate_array_duplicate_and_replace(gen_proc_t * p, gen_var_t * v, oberon_type_t * arr)
773 {
774 jvm_generate_ldst_prepare(p, v);
775
776 int dim = 0;
777 oberon_type_t * base = arr;
778 while(base -> class == OBERON_TYPE_ARRAY)
779 {
780 if(base -> size == 0)
781 {
782 jvm_generate_load(p, v);
783 jvm_generate_array_len(p, dim);
784 dim += 1;
785 }
786 base = base -> base;
787 }
788
789 jvm_generate_new(p, arr, dim);
790 jvm_generate(p, 1, 2, "dup");
791 jvm_generate_load(p, v);
792 jvm_generate_copy_array(p, arr);
793 jvm_generate_store(p, v);
794 }
795
796 static void
797 jvm_generate_record_duplicate_and_replace(gen_proc_t * p, gen_var_t * v, oberon_type_t * rec)
798 {
799 jvm_generate_ldst_prepare(p, v);
800 jvm_generate_new(p, rec, 0);
801 jvm_generate(p, 1, 2, "dup");
802 jvm_generate_load(p, v);
803 jvm_generate_copy_record(p, rec);
804 jvm_generate_store(p, v);
805 }
806
807 static void
808 jvm_generate_local_object(gen_proc_t * p, oberon_object_t * x)
809 {
810 gen_var_t * v;
811 struct gen_class * class;
812
813 v = x -> gen_var;
814 class = p -> class;
815
816 // Убеждаемся что сейчас находимся в функции
817 assert(class -> p);
818 assert(x -> local);
819
820 switch(x -> class)
821 {
822 case OBERON_CLASS_VAR_PARAM:
823 case OBERON_CLASS_PARAM:
824 case OBERON_CLASS_VAR:
825 jvm_generate_var(v);
826 break;
827 case OBERON_CLASS_PROC:
828 break;
829 default:
830 gen_error("jvm_generate_local_initialization: wat");
831 break;
832 }
833 }
834
835 static void
836 jvm_generate_local_initialization(gen_proc_t * p, oberon_object_t * x)
837 {
838 gen_var_t * v;
839 struct gen_class * class;
840
841 v = x -> gen_var;
842 class = p -> class;
843
844 // Убеждаемся что сейчас находимся в функции
845 assert(class -> p);
846 assert(x -> local);
847
848 switch(x -> class)
849 {
850 case OBERON_CLASS_VAR_PARAM:
851 case OBERON_CLASS_PARAM:
852 case OBERON_CLASS_VAR:
853 jvm_generate_var_initialization(p, v);
854 break;
855 case OBERON_CLASS_PROC:
856 break;
857 default:
858 gen_error("jvm_generate_local_initialization: wat");
859 break;
860 }
861
862 if(x -> class == OBERON_CLASS_PARAM)
863 {
864 if(x -> type -> class == OBERON_TYPE_ARRAY)
865 {
866 jvm_generate_array_duplicate_and_replace(p, v, x -> type);
867 }
868 else if(x -> type -> class == OBERON_TYPE_RECORD)
869 {
870 jvm_generate_record_duplicate_and_replace(p, v, x -> type);
871 }
872 }
873 }
874
875 void
876 oberon_generate_begin_proc(oberon_context_t * ctx, oberon_object_t * proc)
877 {
878 gen_proc_t * p;
879 char * name;
880 char * signature;
881 oberon_object_t * var;
882
883 p = proc -> gen_proc;
884
885 if(proc -> local)
886 {
887 signature = jvm_get_local_procedure_signature(proc);
888 }
889 else
890 {
891 oberon_generate_procedure_pointer_class(proc);
892 signature = jvm_get_procedure_signature(proc -> type);
893 }
894
895 name = jvm_get_name(proc);
896 jvm_generate_function_header(p, "public static", name, signature);
897
898 if(proc -> local)
899 {
900 jvm_generate_staticlinks(proc);
901 }
902
903 jvm_generate_procedure_frame(proc);
904
905 /* Создание парамеров и переменных */
906 var = proc -> scope -> list -> next;
907 while(var)
908 {
909 jvm_generate_local_object(p, var);
910 var = var -> next;
911 }
912
913 jvm_generate_frame_initialization(p);
914
915 /* Инициализация парамеров и переменных */
916 var = proc -> scope -> list -> next;
917 while(var)
918 {
919 jvm_generate_local_initialization(p, var);
920 var = var -> next;
921 }
922 }
923
924 void
925 oberon_generate_end_proc(oberon_context_t * ctx)
926 {
927 gen_module_t * m;
928 gen_proc_t * p;
929
930 m = ctx -> mod -> gen_mod;
931 p = m -> class -> p;
932
933 jvm_generate_function_end(p);
934 }
935
936 gen_label_t *
937 oberon_generator_reserve_label(oberon_context_t * ctx)
938 {
939 gen_module_t * m;
940 gen_proc_t * p;
941 gen_label_t * l;
942
943 m = ctx -> mod -> gen_mod;
944 p = m -> class -> p;
945
946 l = GC_MALLOC(sizeof *l);
947 memset(l, 0, sizeof *l);
948
949 l -> id = jvm_new_label_id(p);
950 return l;
951 }
952
953 void
954 oberon_generate_label(oberon_context_t * ctx, gen_label_t * l)
955 {
956 gen_module_t * m;
957 gen_proc_t * p;
958
959 m = ctx -> mod -> gen_mod;
960 p = m -> class -> p;
961
962 jvm_generate_label(p, l -> id);
963 }
964
965 void
966 oberon_generate_goto(oberon_context_t * ctx, gen_label_t * l)
967 {
968 gen_module_t * m;
969 gen_proc_t * p;
970
971 m = ctx -> mod -> gen_mod;
972 p = m -> class -> p;
973
974 jvm_generate(p, 0, 0, "goto L%i", l -> id);
975 }
976
977 void
978 oberon_generate_branch(oberon_context_t * ctx, oberon_expr_t * cond, bool gotoif, gen_label_t * l)
979 {
980 gen_module_t * m;
981 gen_proc_t * p;
982
983 m = ctx -> mod -> gen_mod;
984 p = m -> class -> p;
985
986 push_expr(p, cond);
987
988 if(gotoif == false)
989 {
990 /* переход если false */
991 jvm_generate(p, 1, 0, "ifeq L%i", l -> id);
992 }
993 else
994 {
995 /* переход если true */
996 jvm_generate(p, 1, 0, "ifne L%i", l -> id);
997 }
998 }
999
1000 static void
1001 push_varptr(gen_proc_t * p, oberon_expr_t * expr)
1002 {
1003 assert(expr -> is_item);
1004
1005 switch(expr -> item.mode)
1006 {
1007 case MODE_VAR:
1008 jvm_generate_ldst_prepare(p, expr -> item.var -> gen_var);
1009 break;
1010 case MODE_INDEX:
1011 push_item(p, (oberon_item_t *) expr -> item.parent);
1012 push_expr(p, expr -> item.args);
1013 break;
1014 case MODE_FIELD:
1015 push_item(p, (oberon_item_t *) expr -> item.parent);
1016 jvm_generate_ldst_prepare(p, expr -> item.var -> gen_var);
1017 break;
1018 default:
1019 gen_error("push_varptr: wat %i", expr -> item.mode);
1020 break;
1021 }
1022 }
1023
1024 static void
1025 jvm_generate_call_proc(gen_proc_t * p, oberon_item_t * desig)
1026 {
1027 assert(desig -> var == NULL);
1028 assert(desig -> mode == MODE_CALL);
1029
1030 bool direct_call = false;
1031 if(desig -> parent -> mode == MODE_VAR)
1032 {
1033 if(desig -> parent -> var -> class == OBERON_CLASS_PROC)
1034 {
1035 direct_call = true;
1036 }
1037 }
1038
1039 printf("direct_call == %i\n", direct_call);
1040
1041 oberon_type_t * procsig;
1042 procsig = desig -> parent -> result;
1043
1044 if(direct_call == false)
1045 {
1046 /* Загружаем указатель на процедуру */
1047 push_item(p, desig -> parent);
1048 }
1049
1050 if(direct_call)
1051 {
1052 jvm_generate_push_static_links(p, desig -> parent -> var);
1053 }
1054
1055 int args_cells = 0;
1056 int result_cells = jvm_cell_size_for_type(procsig -> base);
1057
1058 int num = desig -> num_args;
1059 oberon_expr_t * arg = desig -> args;
1060 oberon_object_t * param = procsig -> decl;
1061 for(int i = 0; i < num; i++)
1062 {
1063 if(param -> class == OBERON_CLASS_VAR_PARAM)
1064 {
1065 args_cells += 2;
1066 push_varptr(p, arg);
1067 }
1068 else
1069 {
1070 args_cells += jvm_cell_size_for_type(arg -> result);
1071 push_expr(p, arg);
1072 }
1073 arg = arg -> next;
1074 param = param -> next;
1075 }
1076
1077 if(direct_call)
1078 {
1079 char * full_name = jvm_get_field_full_name(desig -> parent -> var);
1080 char * signature = jvm_get_local_procedure_signature(desig -> parent -> var);
1081 jvm_generate(p, args_cells, result_cells, "invokestatic %s%s", full_name, signature);
1082 }
1083 else
1084 {
1085 char * cname = jvm_get_class_full_name(procsig);
1086 char * signature = jvm_get_procedure_signature(procsig);
1087 jvm_generate(p, 1 + args_cells, result_cells, "invokevirtual %s/invoke%s", cname, signature);
1088 }
1089 }
1090
1091 void
1092 oberon_generate_call_proc(oberon_context_t * ctx, oberon_expr_t * desig)
1093 {
1094 assert(desig -> is_item);
1095 jvm_generate_call_proc(ctx -> mod -> gen_mod -> class -> p, (oberon_item_t *) desig);
1096 }
1097
1098 void
1099 oberon_generate_return(oberon_context_t * ctx, oberon_expr_t * expr)
1100 {
1101 gen_module_t * m;
1102 gen_proc_t * p;
1103 char prefix;
1104 int cell_size;
1105
1106 m = ctx -> mod -> gen_mod;
1107 p = m -> class -> p;
1108
1109 if(expr)
1110 {
1111 push_expr(p, expr);
1112 prefix = jvm_get_prefix(expr -> result);
1113 cell_size = jvm_cell_size_for_type(expr -> result);
1114 jvm_generate(p, cell_size, 0, "%creturn", prefix);
1115 }
1116 else
1117 {
1118 jvm_generate(p, 0, 0, "return");
1119 }
1120 }
1121
1122 static void
1123 jvm_generate_expr_new_pointer(gen_proc_t * p, oberon_type_t * type, int num, oberon_expr_t * arg)
1124 {
1125 assert(type -> class == OBERON_TYPE_POINTER);
1126
1127 for(int i = 0; i < num; i++)
1128 {
1129 push_expr(p, arg);
1130 arg = arg -> next;
1131 }
1132
1133 jvm_generate_new(p, type -> base, num);
1134 }
1135
1136 static void
1137 jvm_generate_cast_type(gen_proc_t * p, oberon_type_t * from, oberon_type_t * to)
1138 {
1139 if(to -> class == OBERON_TYPE_RECORD || to -> class == OBERON_TYPE_POINTER)
1140 {
1141 char * full_name = jvm_get_class_full_name(to);
1142 jvm_generate(p, 1, 1, "checkcast %s", full_name);
1143 }
1144 else
1145 {
1146 char prefix = jvm_get_prefix(from);
1147 char postfix = jvm_get_postfix(to);
1148 int from_cell_size = jvm_cell_size_for_type(from);
1149 int to_cell_size = jvm_cell_size_for_type(to);
1150
1151 jvm_generate_comment(p, "cast type class from %i(%i) to %i(%i)", from -> class, from -> size, to -> class, to -> size);
1152
1153 if(prefix == postfix)
1154 {
1155 return;
1156 }
1157
1158 jvm_generate(p, from_cell_size, to_cell_size, "%c2%c", prefix, postfix);
1159 }
1160 }
1161
1162 static void
1163 push_item(gen_proc_t * p, oberon_item_t * item)
1164 {
1165 switch(item -> mode)
1166 {
1167 case MODE_VAR:
1168 if(item -> var -> class == OBERON_CLASS_PROC)
1169 {
1170 jvm_generate_push_procedure_pointer(p, item -> var);
1171 }
1172 else
1173 {
1174 jvm_generate_load(p, item -> var -> gen_var);
1175 }
1176 break;
1177 case MODE_INTEGER:
1178 case MODE_BOOLEAN:
1179 case MODE_CHAR:
1180 case MODE_SET:
1181 jvm_generate_push_int_size(p, item -> integer, item -> result -> size);
1182 break;
1183 case MODE_CALL:
1184 jvm_generate_call_proc(p, item);
1185 break;
1186 case MODE_INDEX:
1187 ;
1188 char postfix = jvm_get_postfix(item -> result);
1189 int cell_size = jvm_cell_size_for_postfix(postfix);
1190 assert(item -> parent -> is_item);
1191 push_item(p, (oberon_item_t *) item -> parent);
1192 push_expr(p, item -> args);
1193 jvm_generate(p, 1 + 1, cell_size, "%caload", postfix);
1194 break;
1195 case MODE_FIELD:
1196 assert(item -> parent -> is_item);
1197 push_item(p, (oberon_item_t *) item -> parent);
1198 jvm_generate_load(p, item -> var -> gen_var);
1199 break;
1200 case MODE_DEREF:
1201 /* Все объекты в jvm представляются как указатели */
1202 assert(item -> parent -> is_item);
1203 push_item(p, (oberon_item_t *) item -> parent);
1204 break;
1205 case MODE_NIL:
1206 jvm_generate(p, 0, 1, "aconst_null");
1207 break;
1208 case MODE_NEW:
1209 jvm_generate_expr_new_pointer(p, item -> result, item -> num_args, item -> args);
1210 break;
1211 case MODE_REAL:
1212 jvm_generate_push_float(p, item -> real, item -> result -> size);
1213 break;
1214 case MODE_STRING:
1215 jvm_generate_push_string(p, item -> string, item -> result -> size);
1216 break;
1217 default:
1218 gen_error("push_item: unk mode %i", item -> mode);
1219 break;
1220 }
1221 }
1222
1223 static void
1224 jvm_generate_logical_not(gen_proc_t * p)
1225 {
1226 int label_done = jvm_new_label_id(p);
1227 int label_false = jvm_new_label_id(p);
1228
1229 jvm_generate(p, 1, 0, "ifne L%i", label_false);
1230 jvm_generate(p, 0, 1, "iconst_1");
1231 jvm_generate(p, 0, 0, "goto L%i", label_done);
1232 jvm_generate_label(p, label_false);
1233 jvm_generate(p, 0, 1, "iconst_0");
1234 jvm_generate_label(p, label_done);
1235 }
1236
1237 static void
1238 jvm_generate_abs(gen_proc_t * p, char prefix)
1239 {
1240 char t = jvm_get_type_of_prefix(prefix);
1241 int cell_size = jvm_cell_size_for_postfix(prefix);
1242 jvm_generate(p, cell_size, cell_size, "invokestatic java/lang/Math/abs(%c)%c", t, t);
1243 }
1244
1245 static char *
1246 jvm_get_compare_postfix(int op)
1247 {
1248 char * cmpop = "";
1249 switch(op)
1250 {
1251 case OP_EQ:
1252 cmpop = "eq";
1253 break;
1254 case OP_NEQ:
1255 cmpop = "ne";
1256 break;
1257 case OP_LSS:
1258 cmpop = "lt";
1259 break;
1260 case OP_LEQ:
1261 cmpop = "le";
1262 break;
1263 case OP_GRT:
1264 cmpop = "gt";
1265 break;
1266 case OP_GEQ:
1267 cmpop = "ge";
1268 break;
1269 default:
1270 gen_error("jvm_generate_compare_op: wat");
1271 break;
1272 }
1273 return cmpop;
1274 }
1275
1276 static void
1277 jvm_generate_compare_op(gen_proc_t * p, oberon_type_t * t, int op)
1278 {
1279 char prefix = jvm_get_prefix(t);
1280 int label_true = jvm_new_label_id(p);
1281 int label_done = jvm_new_label_id(p);
1282 int cell_size = jvm_cell_size_for_type(t);
1283 char * cmpop = jvm_get_compare_postfix(op);
1284
1285 if(prefix == 'l')
1286 {
1287 jvm_generate(p, 2 * cell_size, 1, "lcmp");
1288 jvm_generate(p, 1, 1, "if%s L%i", cmpop, label_true);
1289 }
1290 else if(prefix == 'f' || prefix == 'd')
1291 {
1292 char fop;
1293 if(op == OP_EQ || op == OP_NEQ || op == OP_GRT || op == OP_GEQ)
1294 {
1295 fop = 'l';
1296 }
1297 else
1298 {
1299 fop = 'g';
1300 }
1301 jvm_generate(p, 2 * cell_size, 1, "%ccmp%c", prefix, fop);
1302 jvm_generate(p, 1, 1, "if%s L%i", cmpop, label_true);
1303 }
1304 else
1305 {
1306 jvm_generate(p, 2 * cell_size, 0, "if_%ccmp%s L%i", prefix, cmpop, label_true);
1307 }
1308
1309 jvm_generate(p, 0, 1, "iconst_0");
1310 jvm_generate(p, 0, 0, "goto L%i", label_done);
1311 jvm_generate_label(p, label_true);
1312 jvm_generate(p, 0, 1, "iconst_1");
1313 jvm_generate_label(p, label_done);
1314 }
1315
1316 static void
1317 jvm_generate_operator(gen_proc_t * p, oberon_type_t * t, int op)
1318 {
1319 char prefix = jvm_get_prefix(t);
1320 int cell_size = jvm_cell_size_for_type(t);
1321 switch(op)
1322 {
1323 case OP_UNARY_MINUS:
1324 jvm_generate(p, cell_size, cell_size, "%cneg", prefix);
1325 break;
1326 case OP_COMPLEMENTATION:
1327 jvm_generate_push_int_size(p, -1, t -> size);
1328 jvm_generate(p, 2 * cell_size, cell_size, "%cxor", prefix);
1329 break;
1330 case OP_LOGIC_NOT:
1331 jvm_generate_logical_not(p);
1332 break;
1333 case OP_ABS:
1334 jvm_generate_abs(p, prefix);
1335 break;
1336
1337 case OP_ADD:
1338 jvm_generate(p, 2 * cell_size, cell_size, "%cadd", prefix);
1339 break;
1340 case OP_SUB:
1341 jvm_generate(p, 2 * cell_size, cell_size, "%csub", prefix);
1342 break;
1343 case OP_MUL:
1344 jvm_generate(p, 2 * cell_size, cell_size, "%cmul", prefix);
1345 break;
1346 case OP_DIV:
1347 jvm_generate(p, 2 * cell_size, cell_size, "%cdiv", prefix);
1348 break;
1349 case OP_MOD:
1350 jvm_generate(p, 2 * cell_size, cell_size, "%crem", prefix);
1351 break;
1352 case OP_UNION:
1353 jvm_generate(p, 2 * cell_size, cell_size, "%cor", prefix);
1354 break;
1355 case OP_INTERSECTION:
1356 jvm_generate(p, 2 * cell_size, cell_size, "%cand", prefix);
1357 break;
1358 case OP_DIFFERENCE:
1359 jvm_generate_push_int_size(p, -1, t -> size);
1360 jvm_generate(p, 2 * cell_size, cell_size, "%cxor", prefix);
1361 jvm_generate(p, 2 * cell_size, cell_size, "%cand", prefix);
1362 break;
1363 case OP_SYM_DIFFERENCE:
1364 jvm_generate(p, 2 * cell_size, cell_size, "%cxor", prefix);
1365 break;
1366
1367 case OP_EQ:
1368 case OP_NEQ:
1369 case OP_LSS:
1370 case OP_LEQ:
1371 case OP_GRT:
1372 case OP_GEQ:
1373 jvm_generate_compare_op(p, t, op);
1374 break;
1375 default:
1376 gen_error("jvm_generate_operator: unk op %i", op);
1377 break;
1378 }
1379 }
1380
1381 static void
1382 jvm_generate_logical_or(gen_proc_t * p, oberon_expr_t * a, oberon_expr_t * b)
1383 {
1384 int label_calc_b = jvm_new_label_id(p);
1385 int label_done = jvm_new_label_id(p);
1386
1387 /* a OR b -- если a, то TRUE, иначе b */
1388
1389 push_expr(p, a);
1390 jvm_generate(p, 1, 0, "ifeq L%i", label_calc_b);
1391 jvm_generate(p, 0, 1, "iconst_1");
1392 jvm_generate(p, 0, 0, "goto L%i", label_done);
1393 jvm_generate_label(p, label_calc_b);
1394 push_expr(p, b);
1395 jvm_generate_label(p, label_done);
1396 }
1397
1398 static void
1399 jvm_generate_logical_and(gen_proc_t * p, oberon_expr_t * a, oberon_expr_t * b)
1400 {
1401 int label_false = jvm_new_label_id(p);
1402 int label_done = jvm_new_label_id(p);
1403
1404 /* a AND b -- если a, то b, иначе FALSE */
1405
1406 push_expr(p, a);
1407 jvm_generate(p, 1, 0, "ifeq L%i", label_false);
1408 push_expr(p, b);
1409 jvm_generate(p, 0, 0, "goto L%i", label_done);
1410 jvm_generate_label(p, label_false);
1411 jvm_generate(p, 0, 1, "iconst_0");
1412 jvm_generate_label(p, label_done);
1413 }
1414
1415 static void
1416 jvm_generate_range(gen_proc_t * p, oberon_expr_t * a, oberon_expr_t * b)
1417 {
1418 /* { a } == 1 << a */
1419 /* { a..b } == (a <= b) ? ((2 << b) - (1 << a)) : (0); */
1420
1421 char prefix;
1422 int cell_size;
1423 oberon_type_t * type;
1424 gen_var_t * ra;
1425 gen_var_t * rb;
1426 int label_else;
1427 int label_end;
1428
1429 type = a -> result;
1430 cell_size = jvm_cell_size_for_type(type);
1431 prefix = jvm_get_prefix(type);
1432
1433 if(b == NULL)
1434 {
1435 jvm_generate_push_int_size(p, 1, type -> size);
1436 push_expr(p, a);
1437 jvm_generate(p, 2 * cell_size, cell_size, "%cshl", prefix);
1438 }
1439 else
1440 {
1441 ra = jvm_create_function_temp_var(p, type -> gen_type);
1442 rb = jvm_create_function_temp_var(p, type -> gen_type);
1443 jvm_generate_var(ra);
1444 jvm_generate_var(rb);
1445 jvm_generate_var_initialization(p, ra);
1446 jvm_generate_var_initialization(p, rb);
1447 label_else = jvm_new_label_id(p);
1448 label_end = jvm_new_label_id(p);
1449
1450 push_expr(p, a);
1451 jvm_generate_store(p, ra);
1452 push_expr(p, b);
1453 jvm_generate_store(p, rb);
1454
1455 jvm_generate_load(p, ra);
1456 jvm_generate_load(p, rb);
1457 jvm_generate(p, 2 * cell_size, 0, "if_%ccmpgt L%i", prefix, label_else);
1458
1459 jvm_generate_push_int_size(p, 2, type -> size);
1460 jvm_generate_load(p, rb);
1461 jvm_generate(p, 2 * cell_size, cell_size, "%cshl", prefix);
1462 jvm_generate_push_int_size(p, 2, type -> size);
1463 jvm_generate_load(p, ra);
1464 jvm_generate(p, 2 * cell_size, cell_size, "%cshl", prefix);
1465 jvm_generate(p, 2 * cell_size, cell_size, "%csub", prefix);
1466 jvm_generate(p, 0, 0, "goto L%i", label_end);
1467
1468 jvm_generate_label(p, label_else);
1469 jvm_generate_push_int_size(p, 0, type -> size);
1470 jvm_generate_label(p, label_end);
1471 }
1472
1473 /* TODO free registers */
1474 }
1475
1476 static void
1477 jvm_generate_in(gen_proc_t * p, oberon_expr_t * a, oberon_expr_t * b)
1478 {
1479 oberon_type_t * t = a -> result;
1480 int cell_size = jvm_cell_size_for_type(t);
1481 char prefix = jvm_get_prefix(t);
1482 int label_else = jvm_new_label_id(p);
1483 int label_end = jvm_new_label_id(p);
1484
1485 jvm_generate_push_int_size(p, 1, t -> size);
1486 push_expr(p, a);
1487 jvm_generate(p, 2 * cell_size, cell_size, "%cshl", prefix);
1488 push_expr(p, b);
1489 jvm_generate(p, 2 * cell_size, cell_size, "%cand", prefix);
1490
1491 if(cell_size > 1)
1492 {
1493 jvm_generate(p, cell_size, 0, "lcmp");
1494 }
1495
1496 jvm_generate(p, 1, 0, "ifeq L%i", label_else);
1497 jvm_generate(p, 0, 1, "iconst_1");
1498 jvm_generate(p, 0, 0, "goto L%i", label_end);
1499 jvm_generate_label(p, label_else);
1500 jvm_generate(p, 0, 1, "iconst_0");
1501 jvm_generate_label(p, label_end);
1502 }
1503
1504 static void
1505 push_operator(gen_proc_t * p, oberon_oper_t * oper)
1506 {
1507 oberon_type_t * preq = oper -> left -> result;
1508 int op = oper -> op;
1509 switch(op)
1510 {
1511 case OP_CAST:
1512 push_expr(p, oper -> left);
1513 jvm_generate_cast_type(p, oper -> left -> result, oper -> result);
1514 break;
1515 case OP_COMPLEMENTATION:
1516 case OP_UNARY_MINUS:
1517 case OP_LOGIC_NOT:
1518 case OP_ABS:
1519 push_expr(p, oper -> left);
1520 jvm_generate_operator(p, preq, op);
1521 break;
1522
1523 case OP_ADD:
1524 case OP_SUB:
1525 case OP_MUL:
1526 case OP_DIV:
1527 case OP_MOD:
1528
1529 case OP_UNION:
1530 case OP_INTERSECTION:
1531 case OP_DIFFERENCE:
1532 case OP_SYM_DIFFERENCE:
1533
1534 case OP_EQ:
1535 case OP_NEQ:
1536 case OP_LSS:
1537 case OP_LEQ:
1538 case OP_GRT:
1539 case OP_GEQ:
1540 push_expr(p, oper -> left);
1541 push_expr(p, oper -> right);
1542 jvm_generate_operator(p, preq, op);
1543 break;
1544
1545 case OP_LOGIC_OR:
1546 jvm_generate_logical_or(p, oper -> left, oper -> right);
1547 break;
1548 case OP_LOGIC_AND:
1549 jvm_generate_logical_and(p, oper -> left, oper -> right);
1550 break;
1551
1552 case OP_IS:
1553 preq = oper -> right -> result;
1554 char * cname = jvm_get_class_full_name(preq);
1555 push_expr(p, oper -> left);
1556 jvm_generate(p, 1, 1, "instanceof %s", cname);
1557 break;
1558 case OP_RANGE:
1559 jvm_generate_range(p, oper -> left, oper -> right);
1560 break;
1561 case OP_IN:
1562 jvm_generate_in(p, oper -> left, oper -> right);
1563 break;
1564 default:
1565 gen_error("push_oper: unk op %i", op);
1566 break;
1567 }
1568 }
1569
1570 static void
1571 push_expr(gen_proc_t * p, oberon_expr_t * expr)
1572 {
1573 if(expr -> is_item)
1574 {
1575 push_item(p, (oberon_item_t *) expr);
1576 }
1577 else
1578 {
1579 push_operator(p, (oberon_oper_t *) expr);
1580 }
1581 }
1582
1583 static void
1584 store_expr(gen_proc_t * p, oberon_expr_t * dst, oberon_expr_t * src)
1585 {
1586 assert(dst -> is_item);
1587 oberon_item_t * item = (oberon_item_t *) dst;
1588
1589 if(dst -> result -> class == OBERON_TYPE_ARRAY
1590 || src -> result -> class == OBERON_TYPE_ARRAY)
1591 {
1592 push_expr(p, dst);
1593 push_expr(p, src);
1594 jvm_generate_copy_array(p, dst -> result);
1595 }
1596 else if(dst -> result -> class == OBERON_TYPE_RECORD
1597 || src -> result -> class == OBERON_TYPE_RECORD)
1598 {
1599 push_expr(p, dst);
1600 push_expr(p, src);
1601 jvm_generate_copy_record(p, dst -> result);
1602 }
1603 else switch(item -> mode)
1604 {
1605 case MODE_VAR:
1606 jvm_generate_ldst_prepare(p, item -> var -> gen_var);
1607 push_expr(p, src);
1608 jvm_generate_store(p, item -> var -> gen_var);
1609 break;
1610 case MODE_INDEX:
1611 ;
1612 char postfix = jvm_get_postfix(src -> result);
1613 int cell_size = jvm_cell_size_for_postfix(postfix);
1614 assert(item -> parent -> is_item);
1615 push_item(p, (oberon_item_t *) item -> parent);
1616 push_expr(p, item -> args);
1617 push_expr(p, src);
1618 jvm_generate(p, 1 + 1 + cell_size, 0, "%castore", postfix);
1619 break;
1620 case MODE_FIELD:
1621 assert(item -> parent -> is_item);
1622 push_item(p, (oberon_item_t *) item -> parent);
1623 jvm_generate_ldst_prepare(p, item -> var -> gen_var);
1624 push_expr(p, src);
1625 jvm_generate_store(p, item -> var -> gen_var);
1626 break;
1627 default:
1628 gen_error("store_expr: unk mode %i", item -> mode);
1629 break;
1630 }
1631 }
1632
1633 void
1634 oberon_generate_assign(oberon_context_t * ctx, oberon_expr_t * src, oberon_expr_t * dst)
1635 {
1636 gen_module_t * m;
1637 gen_proc_t * p;
1638
1639 m = ctx -> mod -> gen_mod;
1640 p = m -> class -> p;
1641
1642 store_expr(p, dst, src);
1643 }
1644
1645 void
1646 oberon_generate_code(oberon_context_t * ctx)
1647 {
1648 printf("generate code\n");
1649 }
1650
1651 void
1652 oberon_generator_dump(oberon_context_t * ctx, char * path)
1653 {
1654 printf("jit: dump code\n");
1655 }
1656
1657 void *
1658 oberon_generator_get_procedure(oberon_context_t * ctx, const char * name)
1659 {
1660 printf("jit: get pointer to procedure %s\n", name);
1661 return NULL;
1662 }
1663
1664 void *
1665 oberon_generator_get_var(oberon_context_t * ctx, const char * name)
1666 {
1667 printf("jit: get pointer to var %s\n", name);
1668 return NULL;
1669 }
Another attempt to make Oberon compiler
[25/02/2024 19:55:35]
DEADSOFTWARE 2012-2024