bcd82a25476803cbcd4aca6e8aa0ecf9f4c24934
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
);
130 gen_error("jvm_get_descriptor: unsupported type class %i", type
-> class);
138 jvm_get_descriptor_safe(oberon_type_t
* type
)
140 switch(type
-> class)
142 case OBERON_TYPE_POINTER
:
143 return new_string("PTR%s", jvm_get_descriptor_safe(type
-> base
));
145 case OBERON_TYPE_PROCEDURE
:
146 case OBERON_TYPE_RECORD
:
147 return jvm_get_class_full_name(type
);
149 case OBERON_TYPE_ARRAY
:
150 return new_string("A%s", jvm_get_descriptor_safe(type
-> base
));
153 return jvm_get_descriptor(type
);
161 jvm_get_prefix(oberon_type_t
* type
)
163 int size
= type
-> size
;
164 switch(type
-> class)
166 case OBERON_TYPE_BOOLEAN
:
167 case OBERON_TYPE_INTEGER
:
168 case OBERON_TYPE_CHAR
:
169 case OBERON_TYPE_SET
:
170 return (size
<= 4) ? ('i') : ('l');
172 case OBERON_TYPE_PROCEDURE
:
173 case OBERON_TYPE_ARRAY
:
174 case OBERON_TYPE_RECORD
:
175 case OBERON_TYPE_POINTER
:
178 case OBERON_TYPE_REAL
:
179 return (size
<= 4) ? ('f') : ('d');
182 gen_error("jvm_get_prefix: wat");
189 jvm_get_postfix(oberon_type_t
* type
)
191 int size
= type
-> size
;
192 switch(type
-> class)
194 case OBERON_TYPE_BOOLEAN
:
197 case OBERON_TYPE_INTEGER
:
198 case OBERON_TYPE_SET
:
214 gen_error("jvm_get_postfix: int wat");
218 case OBERON_TYPE_CHAR
:
234 gen_error("jvm_get_postfix: char wat");
238 case OBERON_TYPE_PROCEDURE
:
239 case OBERON_TYPE_ARRAY
:
240 case OBERON_TYPE_RECORD
:
241 case OBERON_TYPE_POINTER
:
244 case OBERON_TYPE_REAL
:
245 return (size
<= 4) ? ('f') : ('d');
248 gen_error("jvm_get_postfix: wat");
256 jvm_get_field_full_name(oberon_object_t
* x
)
260 case OBERON_CLASS_VAR
:
261 case OBERON_CLASS_PROC
:
262 return new_string("%s/%s", x
-> module
-> name
, x
-> name
);
263 case OBERON_CLASS_FIELD
:;
264 char * rec_name
= jvm_get_class_full_name(x
-> parent_type
);
265 return new_string("%s/%s", rec_name
, x
-> name
);
266 case OBERON_CLASS_MODULE
:
267 return new_string(x
-> module
-> name
);
269 gen_error("jvm_get_field_full_name: wat");
277 jvm_get_field_full_name_safe(oberon_object_t
* x
)
281 case OBERON_CLASS_VAR
:
282 case OBERON_CLASS_PROC
:
283 return new_string("%s$%s", x
-> module
-> name
, x
-> name
);
284 case OBERON_CLASS_FIELD
:;
285 char * rec_name
= jvm_get_class_full_name(x
-> parent_type
);
286 return new_string("%s$%s", rec_name
, x
-> name
);
287 case OBERON_CLASS_MODULE
:
288 return new_string(x
-> module
-> name
);
290 gen_error("jvm_get_field_full_name: wat");
298 jvm_get_class_full_name(oberon_type_t
* type
)
303 switch(type
-> class)
305 case OBERON_TYPE_POINTER
:
306 name
= jvm_get_class_full_name(type
-> base
);
308 case OBERON_TYPE_PROCEDURE
:
309 name
= new_string("SYSTEM$PROCEDURE");
312 desc
= jvm_get_descriptor_safe(type
-> base
);
313 name
= new_string("%s$%s", name
, desc
);
315 int num
= type
-> num_decl
;
316 oberon_object_t
* arg
= type
-> decl
;
317 for(int i
= 0; i
< num
; i
++)
319 desc
= jvm_get_descriptor_safe(arg
-> type
);
320 name
= new_string("%s%s", name
, desc
);
325 case OBERON_TYPE_RECORD
:
326 rec_id
= type
-> gen_type
-> rec_id
;
327 name
= new_string("%s$RECORD%i", type
-> module
-> name
, rec_id
);
330 gen_error("jvm_get_class_full_name: unk type class %i", type
-> class);
338 jvm_get_procedure_signature(oberon_type_t
* proc
)
343 signature
= new_string("(");
345 int num
= proc
-> num_decl
;
346 oberon_object_t
* arg
= proc
-> decl
;
347 for(int i
= 0; i
< num
; i
++)
349 desc
= jvm_get_descriptor(arg
-> type
);
350 signature
= new_string("%s%s", signature
, desc
);
354 desc
= jvm_get_descriptor(proc
-> base
);
355 signature
= new_string("%s)%s", signature
, desc
);
361 jvm_cell_size_for_type(oberon_type_t
* type
)
363 if(type
-> class == OBERON_TYPE_INTEGER
364 || type
-> class == OBERON_TYPE_REAL
365 || type
-> class == OBERON_TYPE_CHAR
366 || type
-> class == OBERON_TYPE_SET
)
373 else if(type
-> class == OBERON_TYPE_VOID
)
382 jvm_cell_size_for_postfix(char postfix
)
396 gen_error("jvm_cell_size_for_postfix: unk postfix %c", postfix
);
403 jvm_is_wide_type(oberon_type_t
* type
)
406 cell
= jvm_cell_size_for_type(type
);
412 jvm_is_free_register(struct gen_register_file
* rf
, int i
, bool wide
)
416 assert(i
+ 1 < MAX_REGISTERS
);
417 return !(rf
-> reg
[i
].used
|| rf
-> reg
[i
+ 1].used
);
421 assert(i
< MAX_REGISTERS
);
422 return !(rf
-> reg
[i
].used
);
427 jvm_alloc_register_untyped(struct gen_register_file
* rf
, bool wide
)
430 while(i
< MAX_REGISTERS
&& !jvm_is_free_register(rf
, i
, wide
))
437 assert(i
+ 1 <= MAX_REGISTERS
);
439 rf
-> reg
[i
].used
= true;
440 rf
-> reg
[i
+ 1].used
= true;
441 rf
-> reg
[i
].used
= true;
442 rf
-> reg
[i
+ 1].wide
= false;
446 assert(i
<= MAX_REGISTERS
);
448 rf
-> reg
[i
].used
= true;
449 rf
-> reg
[i
].wide
= false;
452 if(rf
-> num_used
> rf
-> max_used
)
454 rf
-> max_used
= rf
-> num_used
;
461 jvm_alloc_register(struct gen_register_file
* rf
, oberon_type_t
* type
)
464 wide
= jvm_is_wide_type(type
);
465 return jvm_alloc_register_untyped(rf
, wide
);
469 jvm_get_type_of_prefix(char prefix
)