DEADSOFTWARE

GIT / REPO / FRED-BOY
Projects / dsw-obn.git / blob


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