fac9e0bc0def269786de76b60734d24cceb2fc6e
10 #include "../../../include/oberon.h"
11 #include "../../oberon-internals.h"
12 #include "generator-jvm.h"
13 #include "generator-jvm-basic.h"
16 new_string(const char * format
, ...)
19 va_start(ptr
, format
);
22 vsnprintf(buf
, 1024, format
, ptr
);
30 result
= GC_MALLOC(size
+ 1);
31 memset(result
, 0, size
);
32 strncpy(result
, buf
, size
);
38 gen_error(const char * fmt
, ...)
42 fprintf(stderr
, "generator: ");
43 vfprintf(stderr
, fmt
, ptr
);
44 fprintf(stderr
, "\n");
50 jvm_get_descriptor(oberon_type_t
* type
)
56 case OBERON_TYPE_VOID
:
57 return new_string("V");
59 case OBERON_TYPE_INTEGER
:
64 return new_string("B");
67 return new_string("S");
70 return new_string("I");
73 return new_string("J");
76 gen_error("jvm_get_descriptor: unsupported int size %i", type
-> size
);
80 case OBERON_TYPE_REAL
:
84 return new_string("F");
87 return new_string("D");
90 gen_error("jvm_get_descriptor: unsupported float size %i", type
-> size
);
94 case OBERON_TYPE_CHAR
:
98 return new_string("B");
101 return new_string("C");
104 return new_string("I");
107 return new_string("J");
110 gen_error("jvm_get_descriptor: unsupported char size %i", type
-> size
);
114 case OBERON_TYPE_BOOLEAN
:
115 return new_string("Z");
117 case OBERON_TYPE_POINTER
:
118 return jvm_get_descriptor(type
-> base
);
120 case OBERON_TYPE_PROCEDURE
:
121 case OBERON_TYPE_RECORD
:
122 desc
= jvm_get_class_full_name(type
);
123 return new_string("L%s;", desc
);
125 case OBERON_TYPE_ARRAY
:
126 desc
= jvm_get_descriptor(type
-> base
);
127 return new_string("[%s", desc
);
129 case OBERON_TYPE_STRING
:
133 return new_string("[B");
136 return new_string("[C");
139 return new_string("[I");
142 return new_string("[J");
145 gen_error("jvm_get_descriptor: unsupported string size %i", type
-> size
);
150 gen_error("jvm_get_descriptor: unsupported type class %i", type
-> class);
158 jvm_get_descriptor_safe(oberon_type_t
* type
)
160 switch(type
-> class)
162 case OBERON_TYPE_POINTER
:
163 return new_string("PTR%s", jvm_get_descriptor_safe(type
-> base
));
165 case OBERON_TYPE_PROCEDURE
:
166 case OBERON_TYPE_RECORD
:
167 return jvm_get_class_full_name(type
);
169 case OBERON_TYPE_ARRAY
:
170 return new_string("A%s", jvm_get_descriptor_safe(type
-> base
));
173 return jvm_get_descriptor(type
);
181 jvm_get_prefix(oberon_type_t
* type
)
183 int size
= type
-> size
;
184 switch(type
-> class)
186 case OBERON_TYPE_BOOLEAN
:
187 case OBERON_TYPE_INTEGER
:
188 case OBERON_TYPE_CHAR
:
189 case OBERON_TYPE_SET
:
190 return (size
<= 4) ? ('i') : ('l');
192 case OBERON_TYPE_PROCEDURE
:
193 case OBERON_TYPE_ARRAY
:
194 case OBERON_TYPE_RECORD
:
195 case OBERON_TYPE_POINTER
:
196 case OBERON_TYPE_STRING
:
199 case OBERON_TYPE_REAL
:
200 return (size
<= 4) ? ('f') : ('d');
203 gen_error("jvm_get_prefix: wat %i", type
-> class);
210 jvm_get_postfix(oberon_type_t
* type
)
212 int size
= type
-> size
;
213 switch(type
-> class)
215 case OBERON_TYPE_BOOLEAN
:
218 case OBERON_TYPE_INTEGER
:
219 case OBERON_TYPE_SET
:
235 gen_error("jvm_get_postfix: int wat");
239 case OBERON_TYPE_CHAR
:
255 gen_error("jvm_get_postfix: char wat");
259 case OBERON_TYPE_PROCEDURE
:
260 case OBERON_TYPE_ARRAY
:
261 case OBERON_TYPE_RECORD
:
262 case OBERON_TYPE_POINTER
:
263 case OBERON_TYPE_STRING
:
266 case OBERON_TYPE_REAL
:
267 return (size
<= 4) ? ('f') : ('d');
270 gen_error("jvm_get_postfix: wat");
278 jvm_get_name(oberon_object_t
* x
)
282 case OBERON_CLASS_VAR
:
283 case OBERON_CLASS_VAR_PARAM
:
284 case OBERON_CLASS_PARAM
:
285 case OBERON_CLASS_FIELD
:
286 return new_string(x
-> name
);
287 case OBERON_CLASS_PROC
:
290 return new_string("%s$%s", jvm_get_name(x
-> parent
), x
-> name
);
294 return new_string(x
-> name
);
297 gen_error("jvm_get_name: wat");
304 jvm_get_field_full_name(oberon_object_t
* x
)
309 case OBERON_CLASS_VAR
:
310 return new_string("%s/%s", x
-> module
-> name
, jvm_get_name(x
));
311 case OBERON_CLASS_PROC
:
312 return new_string("%s/%s", x
-> module
-> name
, jvm_get_name(x
));
313 case OBERON_CLASS_FIELD
:
314 parent
= jvm_get_class_full_name(x
-> parent_type
);
315 return new_string("%s/%s", parent
, jvm_get_name(x
));
316 case OBERON_CLASS_MODULE
:
317 return new_string(x
-> module
-> name
);
319 gen_error("jvm_get_field_full_name: wat");
327 jvm_get_field_full_name_safe(oberon_object_t
* x
)
331 case OBERON_CLASS_VAR
:
332 case OBERON_CLASS_PROC
:
333 return new_string("%s$%s", x
-> module
-> name
, x
-> name
);
334 case OBERON_CLASS_FIELD
:;
335 char * rec_name
= jvm_get_class_full_name(x
-> parent_type
);
336 return new_string("%s$%s", rec_name
, x
-> name
);
337 case OBERON_CLASS_MODULE
:
338 return new_string(x
-> module
-> name
);
340 gen_error("jvm_get_field_full_name: wat");
348 jvm_get_class_full_name(oberon_type_t
* type
)
353 switch(type
-> class)
355 case OBERON_TYPE_POINTER
:
356 name
= jvm_get_class_full_name(type
-> base
);
358 case OBERON_TYPE_PROCEDURE
:
359 name
= new_string("SYSTEM$PROCEDURE");
362 desc
= jvm_get_descriptor_safe(type
-> base
);
363 name
= new_string("%s$%s", name
, desc
);
365 int num
= type
-> num_decl
;
366 oberon_object_t
* arg
= type
-> decl
;
367 for(int i
= 0; i
< num
; i
++)
369 desc
= jvm_get_descriptor_safe(arg
-> type
);
370 name
= new_string("%s%s", name
, desc
);
375 case OBERON_TYPE_RECORD
:
376 rec_id
= type
-> gen_type
-> rec_id
;
377 name
= new_string("%s$RECORD%i", type
-> module
-> name
, rec_id
);
380 gen_error("jvm_get_class_full_name: unk type class %i", type
-> class);
388 jvm_cell_size_for_type(oberon_type_t
* type
)
390 if(type
-> class == OBERON_TYPE_INTEGER
391 || type
-> class == OBERON_TYPE_REAL
392 || type
-> class == OBERON_TYPE_CHAR
393 || type
-> class == OBERON_TYPE_SET
)
400 else if(type
-> class == OBERON_TYPE_VOID
)
409 jvm_cell_size_for_postfix(char postfix
)
423 gen_error("jvm_cell_size_for_postfix: unk postfix %c", postfix
);
430 jvm_is_wide_type(oberon_type_t
* type
)
433 cell
= jvm_cell_size_for_type(type
);
439 jvm_is_free_register(struct gen_register_file
* rf
, int i
, bool wide
)
443 assert(i
+ 1 < MAX_REGISTERS
);
444 return !(rf
-> reg
[i
].used
|| rf
-> reg
[i
+ 1].used
);
448 assert(i
< MAX_REGISTERS
);
449 return !(rf
-> reg
[i
].used
);
454 jvm_alloc_register_untyped(struct gen_register_file
* rf
, bool wide
)
457 while(i
< MAX_REGISTERS
&& !jvm_is_free_register(rf
, i
, wide
))
464 assert(i
+ 1 <= MAX_REGISTERS
);
466 rf
-> reg
[i
].used
= true;
467 rf
-> reg
[i
+ 1].used
= true;
468 rf
-> reg
[i
].used
= true;
469 rf
-> reg
[i
+ 1].wide
= false;
473 assert(i
<= MAX_REGISTERS
);
475 rf
-> reg
[i
].used
= true;
476 rf
-> reg
[i
].wide
= false;
479 if(rf
-> num_used
> rf
-> max_used
)
481 rf
-> max_used
= rf
-> num_used
;
488 jvm_alloc_register(struct gen_register_file
* rf
, oberon_type_t
* type
)
491 wide
= jvm_is_wide_type(type
);
492 return jvm_alloc_register_untyped(rf
, wide
);
496 jvm_get_type_of_prefix(char prefix
)