10 #include "../../oberon-internals.h"
11 #include "generator-jvm.h"
12 #include "generator-jvm-basic.h"
15 new_string(const char * format
, ...)
18 va_start(ptr
, format
);
21 vsnprintf(buf
, 1024, format
, ptr
);
29 result
= GC_MALLOC(size
+ 1);
30 memset(result
, 0, size
);
31 strncpy(result
, buf
, size
);
37 gen_error(const char * fmt
, ...)
41 fprintf(stderr
, "generator: ");
42 vfprintf(stderr
, fmt
, ptr
);
43 fprintf(stderr
, "\n");
49 jvm_get_descriptor(oberon_type_t
* type
)
55 case OBERON_TYPE_NOTYPE
:
56 return new_string("V");
58 case OBERON_TYPE_INTEGER
:
63 return new_string("B");
66 return new_string("S");
69 return new_string("I");
72 return new_string("J");
75 gen_error("jvm_get_descriptor: unsupported int size %i", type
-> size
);
79 case OBERON_TYPE_SYSTEM_BYTE
:
80 return new_string("B");
82 case OBERON_TYPE_REAL
:
86 return new_string("F");
89 return new_string("D");
92 gen_error("jvm_get_descriptor: unsupported float size %i", type
-> size
);
96 case OBERON_TYPE_CHAR
:
100 return new_string("B");
103 return new_string("C");
106 return new_string("I");
109 return new_string("J");
112 gen_error("jvm_get_descriptor: unsupported char size %i", type
-> size
);
116 case OBERON_TYPE_BOOLEAN
:
117 return new_string("Z");
119 case OBERON_TYPE_POINTER
:
120 return jvm_get_descriptor(type
-> base
);
122 case OBERON_TYPE_PROCEDURE
:
123 case OBERON_TYPE_RECORD
:
124 desc
= jvm_get_class_full_name(type
);
125 return new_string("L%s;", desc
);
127 case OBERON_TYPE_ARRAY
:
128 desc
= jvm_get_descriptor(type
-> base
);
129 return new_string("[%s", desc
);
131 case OBERON_TYPE_STRING
:
135 return new_string("[B");
138 return new_string("[C");
141 return new_string("[I");
144 return new_string("[J");
147 gen_error("jvm_get_descriptor: unsupported string size %i", type
-> size
);
151 case OBERON_TYPE_SYSTEM_PTR
:
152 return new_string("Ljava/lang/Object;");
155 gen_error("jvm_get_descriptor: unsupported type class %i", type
-> class);
163 jvm_get_descriptor_safe(oberon_type_t
* type
)
165 switch(type
-> class)
167 case OBERON_TYPE_POINTER
:
168 return new_string("PTR%s", jvm_get_descriptor_safe(type
-> base
));
170 case OBERON_TYPE_PROCEDURE
:
171 case OBERON_TYPE_RECORD
:
172 return jvm_get_class_full_name(type
);
174 case OBERON_TYPE_ARRAY
:
175 return new_string("A%s", jvm_get_descriptor_safe(type
-> base
));
177 case OBERON_TYPE_SYSTEM_PTR
:
178 return new_string("SYSPTR");
181 return jvm_get_descriptor(type
);
189 jvm_get_prefix(oberon_type_t
* type
)
191 int size
= type
-> size
;
192 switch(type
-> class)
194 case OBERON_TYPE_BOOLEAN
:
195 case OBERON_TYPE_INTEGER
:
196 case OBERON_TYPE_CHAR
:
197 case OBERON_TYPE_SET
:
198 case OBERON_TYPE_SYSTEM_BYTE
:
199 return (size
<= 4) ? ('i') : ('l');
201 case OBERON_TYPE_PROCEDURE
:
202 case OBERON_TYPE_ARRAY
:
203 case OBERON_TYPE_RECORD
:
204 case OBERON_TYPE_POINTER
:
205 case OBERON_TYPE_STRING
:
206 case OBERON_TYPE_NIL
:
207 case OBERON_TYPE_SYSTEM_PTR
:
210 case OBERON_TYPE_REAL
:
211 return (size
<= 4) ? ('f') : ('d');
214 gen_error("jvm_get_prefix: wat %i", type
-> class);
221 jvm_get_postfix(oberon_type_t
* type
)
223 int size
= type
-> size
;
224 switch(type
-> class)
226 case OBERON_TYPE_BOOLEAN
:
229 case OBERON_TYPE_INTEGER
:
230 case OBERON_TYPE_SET
:
246 gen_error("jvm_get_postfix: int wat");
250 case OBERON_TYPE_SYSTEM_BYTE
:
253 case OBERON_TYPE_CHAR
:
269 gen_error("jvm_get_postfix: char wat");
273 case OBERON_TYPE_PROCEDURE
:
274 case OBERON_TYPE_ARRAY
:
275 case OBERON_TYPE_RECORD
:
276 case OBERON_TYPE_POINTER
:
277 case OBERON_TYPE_STRING
:
278 case OBERON_TYPE_NIL
:
279 case OBERON_TYPE_SYSTEM_PTR
:
282 case OBERON_TYPE_REAL
:
283 return (size
<= 4) ? ('f') : ('d');
286 gen_error("jvm_get_postfix: wat");
294 jvm_get_name(oberon_object_t
* x
)
298 case OBERON_CLASS_VAR
:
299 case OBERON_CLASS_VAR_PARAM
:
300 case OBERON_CLASS_PARAM
:
301 case OBERON_CLASS_FIELD
:
302 return new_string(x
-> name
);
303 case OBERON_CLASS_PROC
:
306 return new_string("%s$%s", jvm_get_name(x
-> parent
), x
-> name
);
310 return new_string(x
-> name
);
313 gen_error("jvm_get_name: wat");
320 jvm_get_field_full_name(oberon_object_t
* x
)
325 case OBERON_CLASS_VAR
:
326 return new_string("%s/%s", x
-> module
-> name
, jvm_get_name(x
));
327 case OBERON_CLASS_PROC
:
328 return new_string("%s/%s", x
-> module
-> name
, jvm_get_name(x
));
329 case OBERON_CLASS_FIELD
:
330 parent
= jvm_get_class_full_name(x
-> parent_type
);
331 return new_string("%s/%s", parent
, jvm_get_name(x
));
332 case OBERON_CLASS_MODULE
:
333 return new_string(x
-> module
-> name
);
335 gen_error("jvm_get_field_full_name: wat");
343 jvm_get_field_full_name_safe(oberon_object_t
* x
)
347 case OBERON_CLASS_VAR
:
348 case OBERON_CLASS_PROC
:
349 return new_string("%s$%s", x
-> module
-> name
, x
-> name
);
350 case OBERON_CLASS_FIELD
:;
351 char * rec_name
= jvm_get_class_full_name(x
-> parent_type
);
352 return new_string("%s$%s", rec_name
, x
-> name
);
353 case OBERON_CLASS_MODULE
:
354 return new_string(x
-> module
-> name
);
356 gen_error("jvm_get_field_full_name: wat");
364 jvm_get_class_full_name(oberon_type_t
* type
)
369 switch(type
-> class)
371 case OBERON_TYPE_POINTER
:
372 name
= jvm_get_class_full_name(type
-> base
);
374 case OBERON_TYPE_PROCEDURE
:
375 name
= new_string("SYSTEM$PROCEDURE");
379 desc
= jvm_get_descriptor_safe(type
-> base
);
380 name
= new_string("%s$%s", name
, desc
);
382 int num
= type
-> num_decl
;
383 oberon_object_t
* arg
= type
-> decl
;
385 for(int i
= 0; i
< num
; i
++)
388 if(arg
-> class == OBERON_CLASS_VAR_PARAM
)
392 desc
= jvm_get_descriptor_safe(arg
-> type
);
393 name
= new_string("%s%s%s", name
, spec
, desc
);
398 case OBERON_TYPE_RECORD
:
399 rec_id
= type
-> gen_type
-> rec_id
;
400 name
= new_string("%s$RECORD%i", type
-> module
-> name
, rec_id
);
402 case OBERON_TYPE_SYSTEM_PTR
:
403 name
= new_string("java/lang/Object");
406 gen_error("jvm_get_class_full_name: unk type class %i", type
-> class);
414 jvm_cell_size_for_type(oberon_type_t
* type
)
416 if(type
-> class == OBERON_TYPE_INTEGER
417 || type
-> class == OBERON_TYPE_REAL
418 || type
-> class == OBERON_TYPE_CHAR
419 || type
-> class == OBERON_TYPE_SET
)
426 else if(type
-> class == OBERON_TYPE_NOTYPE
)
435 jvm_cell_size_for_postfix(char postfix
)
449 gen_error("jvm_cell_size_for_postfix: unk postfix %c (%i)", postfix
, postfix
);
456 jvm_is_wide_type(oberon_type_t
* type
)
459 cell
= jvm_cell_size_for_type(type
);
465 jvm_is_free_register(struct gen_register_file
* rf
, int i
, bool wide
)
469 assert(i
+ 1 < MAX_REGISTERS
);
470 return !(rf
-> reg
[i
].used
|| rf
-> reg
[i
+ 1].used
);
474 assert(i
< MAX_REGISTERS
);
475 return !(rf
-> reg
[i
].used
);
480 jvm_alloc_register_untyped(struct gen_register_file
* rf
, bool wide
)
483 while(i
< MAX_REGISTERS
&& !jvm_is_free_register(rf
, i
, wide
))
490 assert(i
+ 1 <= MAX_REGISTERS
);
492 rf
-> reg
[i
].used
= true;
493 rf
-> reg
[i
+ 1].used
= true;
494 rf
-> reg
[i
].used
= true;
495 rf
-> reg
[i
+ 1].wide
= false;
499 assert(i
<= MAX_REGISTERS
);
501 rf
-> reg
[i
].used
= true;
502 rf
-> reg
[i
].wide
= false;
505 if(rf
-> num_used
> rf
-> max_used
)
507 rf
-> max_used
= rf
-> num_used
;
514 jvm_alloc_register(struct gen_register_file
* rf
, oberon_type_t
* type
)
517 wide
= jvm_is_wide_type(type
);
518 return jvm_alloc_register_untyped(rf
, wide
);
522 jvm_get_type_of_prefix(char prefix
)