Merged gcj-eclipse to the gcj-eclipse-jmx branch:
[official-gcc.git] / gcc / java / class.c
blob3fcd468711b7128a9f1bb4243c06875be7090acd
1 /* Functions related to building classes and their related objects.
2 Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006
3 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to
19 the Free Software Foundation, 51 Franklin Street, Fifth Floor,
20 Boston, MA 02110-1301, USA.
22 Java and all Java-based marks are trademarks or registered trademarks
23 of Sun Microsystems, Inc. in the United States and other countries.
24 The Free Software Foundation is independent of Sun Microsystems, Inc. */
26 /* Written by Per Bothner <bothner@cygnus.com> */
28 #include "config.h"
29 #include "system.h"
30 #include "coretypes.h"
31 #include "tm.h"
32 #include "tree.h"
33 #include "rtl.h"
34 #include "flags.h"
35 #include "java-tree.h"
36 #include "jcf.h"
37 #include "obstack.h"
38 #include "toplev.h"
39 #include "output.h"
40 #include "parse.h"
41 #include "function.h"
42 #include "ggc.h"
43 #include "stdio.h"
44 #include "target.h"
45 #include "except.h"
46 #include "cgraph.h"
47 #include "tree-iterator.h"
48 #include "cgraph.h"
50 /* DOS brain-damage */
51 #ifndef O_BINARY
52 #define O_BINARY 0 /* MS-DOS brain-damage */
53 #endif
55 static tree make_method_value (tree);
56 static tree build_java_method_type (tree, tree, int);
57 static int32 hashUtf8String (const char *, int);
58 static tree make_field_value (tree);
59 static tree get_dispatch_vector (tree);
60 static tree get_dispatch_table (tree, tree);
61 static int supers_all_compiled (tree type);
62 static tree maybe_layout_super_class (tree, tree);
63 static void add_miranda_methods (tree, tree);
64 static int assume_compiled (const char *);
65 static tree build_symbol_entry (tree);
66 static tree emit_assertion_table (tree);
67 static void register_class (void);
69 struct obstack temporary_obstack;
71 /* The compiler generates different code depending on whether or not
72 it can assume certain classes have been compiled down to native
73 code or not. The compiler options -fassume-compiled= and
74 -fno-assume-compiled= are used to create a tree of
75 class_flag_node objects. This tree is queried to determine if
76 a class is assume to be compiled or not. Each node in the tree
77 represents either a package or a specific class. */
79 typedef struct class_flag_node_struct
81 /* The class or package name. */
82 const char *ident;
84 /* Nonzero if this represents an exclusion. */
85 int value;
87 /* Pointers to other nodes in the tree. */
88 struct class_flag_node_struct *parent;
89 struct class_flag_node_struct *sibling;
90 struct class_flag_node_struct *child;
91 } class_flag_node;
93 static class_flag_node *find_class_flag_node (class_flag_node *, const char *);
94 static void add_class_flag (class_flag_node **, const char *, int);
96 /* This is the root of the include/exclude tree. */
98 static class_flag_node *assume_compiled_tree;
100 static class_flag_node *enable_assert_tree;
102 static GTY(()) tree class_roots[4];
103 #define fields_ident class_roots[0] /* get_identifier ("fields") */
104 #define info_ident class_roots[1] /* get_identifier ("info") */
105 #define class_list class_roots[2]
106 #define class_dtable_decl class_roots[3]
108 static GTY(()) VEC(tree,gc) *registered_class;
110 /* Return the node that most closely represents the class whose name
111 is IDENT. Start the search from NODE (followed by its siblings).
112 Return NULL if an appropriate node does not exist. */
114 static class_flag_node *
115 find_class_flag_node (class_flag_node *node, const char *ident)
117 while (node)
119 size_t node_ident_length = strlen (node->ident);
121 /* node_ident_length is zero at the root of the tree. If the
122 identifiers are the same length, then we have matching
123 classes. Otherwise check if we've matched an enclosing
124 package name. */
126 if (node_ident_length == 0
127 || (strncmp (ident, node->ident, node_ident_length) == 0
128 && (ident[node_ident_length] == '\0'
129 || ident[node_ident_length] == '.')))
131 /* We've found a match, however, there might be a more
132 specific match. */
134 class_flag_node *found = find_class_flag_node (node->child, ident);
135 if (found)
136 return found;
137 else
138 return node;
141 /* No match yet. Continue through the sibling list. */
142 node = node->sibling;
145 /* No match at all in this tree. */
146 return NULL;
149 void
150 add_class_flag (class_flag_node **rootp, const char *ident, int value)
152 class_flag_node *root = *rootp;
153 class_flag_node *parent, *node;
155 /* Create the root of the tree if it doesn't exist yet. */
157 if (NULL == root)
159 root = XNEW (class_flag_node);
160 root->ident = "";
161 root->value = 0;
162 root->sibling = NULL;
163 root->child = NULL;
164 root->parent = NULL;
165 *rootp = root;
168 /* Calling the function with the empty string means we're setting
169 value for the root of the hierarchy. */
171 if (0 == ident[0])
173 root->value = value;
174 return;
177 /* Find the parent node for this new node. PARENT will either be a
178 class or a package name. Adjust PARENT accordingly. */
180 parent = find_class_flag_node (root, ident);
181 if (strcmp (ident, parent->ident) == 0)
182 parent->value = value;
183 else
185 /* Insert new node into the tree. */
186 node = XNEW (class_flag_node);
188 node->ident = xstrdup (ident);
189 node->value = value;
190 node->child = NULL;
192 node->parent = parent;
193 node->sibling = parent->child;
194 parent->child = node;
198 /* Add a new IDENT to the include/exclude tree. It's an exclusion
199 if EXCLUDEP is nonzero. */
201 void
202 add_assume_compiled (const char *ident, int excludep)
204 add_class_flag (&assume_compiled_tree, ident, excludep);
207 /* The default value returned by enable_assertions. */
209 #define DEFAULT_ENABLE_ASSERT (flag_emit_class_files || optimize == 0)
211 /* Enter IDENT (a class or package name) into the enable-assertions table.
212 VALUE is true to enable and false to disable. */
214 void
215 add_enable_assert (const char *ident, int value)
217 if (enable_assert_tree == NULL)
218 add_class_flag (&enable_assert_tree, "", DEFAULT_ENABLE_ASSERT);
219 add_class_flag (&enable_assert_tree, ident, value);
222 /* Returns nonzero if IDENT is the name of a class that the compiler
223 should assume has been compiled to object code. */
225 static int
226 assume_compiled (const char *ident)
228 class_flag_node *i;
229 int result;
231 if (NULL == assume_compiled_tree)
232 return 1;
234 i = find_class_flag_node (assume_compiled_tree, ident);
236 result = ! i->value;
238 return (result);
241 /* Return true if we should generate code to check assertions within KLASS. */
243 bool
244 enable_assertions (tree klass)
246 /* Check if command-line specifies whether we should check assertions. */
248 if (klass != NULL_TREE && DECL_NAME (klass) && enable_assert_tree != NULL)
250 const char *ident = IDENTIFIER_POINTER (DECL_NAME (klass));
251 class_flag_node *node
252 = find_class_flag_node (enable_assert_tree, ident);
253 return node->value;
256 /* The default is to enable assertions if generating class files,
257 or not optimizing. */
258 return DEFAULT_ENABLE_ASSERT;
261 /* Return an IDENTIFIER_NODE the same as (OLD_NAME, OLD_LENGTH).
262 except that characters matching OLD_CHAR are substituted by NEW_CHAR.
263 Also, PREFIX is prepended, and SUFFIX is appended. */
265 tree
266 ident_subst (const char* old_name,
267 int old_length,
268 const char *prefix,
269 int old_char,
270 int new_char,
271 const char *suffix)
273 int prefix_len = strlen (prefix);
274 int suffix_len = strlen (suffix);
275 int i = prefix_len + old_length + suffix_len + 1;
276 char *buffer = alloca (i);
278 strcpy (buffer, prefix);
279 for (i = 0; i < old_length; i++)
281 char ch = old_name[i];
282 if (ch == old_char)
283 ch = new_char;
284 buffer[prefix_len + i] = ch;
286 strcpy (buffer + prefix_len + old_length, suffix);
287 return get_identifier (buffer);
290 /* Return an IDENTIFIER_NODE the same as OLD_ID,
291 except that characters matching OLD_CHAR are substituted by NEW_CHAR.
292 Also, PREFIX is prepended, and SUFFIX is appended. */
294 tree
295 identifier_subst (const tree old_id,
296 const char *prefix,
297 int old_char,
298 int new_char,
299 const char *suffix)
301 return ident_subst (IDENTIFIER_POINTER (old_id), IDENTIFIER_LENGTH (old_id),
302 prefix, old_char, new_char, suffix);
305 /* Generate a valid C identifier from the name of the class TYPE,
306 prefixed by PREFIX. */
308 tree
309 mangled_classname (const char *prefix, tree type)
311 tree ident = TYPE_NAME (type);
312 if (TREE_CODE (ident) != IDENTIFIER_NODE)
313 ident = DECL_NAME (ident);
314 return identifier_subst (ident, prefix, '.', '_', "");
317 tree
318 make_class (void)
320 tree type;
321 type = make_node (RECORD_TYPE);
322 /* Unfortunately we must create the binfo here, so that class
323 loading works. */
324 TYPE_BINFO (type) = make_tree_binfo (0);
325 MAYBE_CREATE_TYPE_TYPE_LANG_SPECIFIC (type);
327 return type;
330 /* Given a fully-qualified classname in NAME (whose length is NAME_LENGTH),
331 and where each of the constituents is separated by '/',
332 return a corresponding IDENTIFIER_NODE, except using '.' as separator. */
334 tree
335 unmangle_classname (const char *name, int name_length)
337 tree to_return = ident_subst (name, name_length, "", '/', '.', "");
338 /* It's not sufficient to compare to_return and get_identifier
339 (name) to determine whether to_return is qualified. There are
340 cases in signature analysis where name will be stripped of a
341 trailing ';'. */
342 name = IDENTIFIER_POINTER (to_return);
343 while (*name)
344 if (*name++ == '.')
346 QUALIFIED_P (to_return) = 1;
347 break;
350 return to_return;
353 #define GEN_TABLE(TABLE, NAME, TABLE_TYPE, TYPE) \
354 do \
356 const char *typename = IDENTIFIER_POINTER (mangled_classname ("", TYPE)); \
357 char *buf = alloca (strlen (typename) + strlen (#NAME "_syms_") + 1); \
358 tree decl; \
360 sprintf (buf, #NAME "_%s", typename); \
361 TYPE_## TABLE ##_DECL (type) = decl = \
362 build_decl (VAR_DECL, get_identifier (buf), TABLE_TYPE); \
363 DECL_EXTERNAL (decl) = 1; \
364 TREE_STATIC (decl) = 1; \
365 TREE_READONLY (decl) = 1; \
366 TREE_CONSTANT (decl) = 1; \
367 DECL_IGNORED_P (decl) = 1; \
368 /* Mark the table as belonging to this class. */ \
369 pushdecl (decl); \
370 MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC (decl); \
371 DECL_OWNER (decl) = TYPE; \
372 sprintf (buf, #NAME "_syms_%s", typename); \
373 TYPE_## TABLE ##_SYMS_DECL (TYPE) = \
374 build_decl (VAR_DECL, get_identifier (buf), symbols_array_type); \
375 TREE_STATIC (TYPE_## TABLE ##_SYMS_DECL (TYPE)) = 1; \
376 TREE_CONSTANT (TYPE_## TABLE ##_SYMS_DECL (TYPE)) = 1; \
377 DECL_IGNORED_P (TYPE_## TABLE ##_SYMS_DECL (TYPE)) = 1; \
379 while (0)
381 /* Given a class, create the DECLs for all its associated indirect
382 dispatch tables. */
383 void
384 gen_indirect_dispatch_tables (tree type)
386 const char *typename = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (type)));
388 tree field = NULL;
389 char *buf = alloca (strlen (typename) + strlen ("_catch_classes_") + 1);
390 tree catch_class_type = make_node (RECORD_TYPE);
392 sprintf (buf, "_catch_classes_%s", typename);
393 PUSH_FIELD (catch_class_type, field, "address", utf8const_ptr_type);
394 PUSH_FIELD (catch_class_type, field, "classname", ptr_type_node);
395 FINISH_RECORD (catch_class_type);
397 TYPE_CTABLE_DECL (type)
398 = build_decl (VAR_DECL, get_identifier (buf),
399 build_array_type (catch_class_type, 0));
400 DECL_EXTERNAL (TYPE_CTABLE_DECL (type)) = 1;
401 TREE_STATIC (TYPE_CTABLE_DECL (type)) = 1;
402 TREE_READONLY (TYPE_CTABLE_DECL (type)) = 1;
403 TREE_CONSTANT (TYPE_CTABLE_DECL (type)) = 1;
404 DECL_IGNORED_P (TYPE_CTABLE_DECL (type)) = 1;
405 pushdecl (TYPE_CTABLE_DECL (type));
408 if (flag_indirect_dispatch)
410 GEN_TABLE (ATABLE, _atable, atable_type, type);
411 GEN_TABLE (OTABLE, _otable, otable_type, type);
412 GEN_TABLE (ITABLE, _itable, itable_type, type);
416 #undef GEN_TABLE
418 tree
419 push_class (tree class_type, tree class_name)
421 tree decl, signature;
422 location_t saved_loc = input_location;
423 #ifndef USE_MAPPED_LOCATION
424 tree source_name = identifier_subst (class_name, "", '.', '/', ".java");
425 input_filename = IDENTIFIER_POINTER (source_name);
426 input_line = 0;
427 #endif
428 CLASS_P (class_type) = 1;
429 decl = build_decl (TYPE_DECL, class_name, class_type);
430 TYPE_DECL_SUPPRESS_DEBUG (decl) = 1;
432 /* dbxout needs a DECL_SIZE if in gstabs mode */
433 DECL_SIZE (decl) = integer_zero_node;
435 input_location = saved_loc;
436 signature = identifier_subst (class_name, "L", '.', '/', ";");
437 IDENTIFIER_SIGNATURE_TYPE (signature) = build_pointer_type (class_type);
439 /* Setting DECL_ARTIFICIAL forces dbxout.c to specific the type is
440 both a typedef and in the struct name-space. We may want to re-visit
441 this later, but for now it reduces the changes needed for gdb. */
442 DECL_ARTIFICIAL (decl) = 1;
444 pushdecl_top_level (decl);
446 return decl;
449 /* Finds the (global) class named NAME. Creates the class if not found.
450 Also creates associated TYPE_DECL.
451 Does not check if the class actually exists, load the class,
452 fill in field or methods, or do layout_type. */
454 tree
455 lookup_class (tree name)
457 tree decl = IDENTIFIER_CLASS_VALUE (name);
458 if (decl == NULL_TREE)
459 decl = push_class (make_class (), name);
460 return TREE_TYPE (decl);
463 void
464 set_super_info (int access_flags, tree this_class,
465 tree super_class, int interfaces_count)
467 int total_supers = interfaces_count;
468 tree class_decl = TYPE_NAME (this_class);
470 if (super_class)
471 total_supers++;
473 if (total_supers)
474 TYPE_BINFO (this_class) = make_tree_binfo (total_supers);
475 TYPE_VFIELD (this_class) = TYPE_VFIELD (object_type_node);
476 if (super_class)
478 tree super_binfo = make_tree_binfo (0);
479 BINFO_TYPE (super_binfo) = super_class;
480 BINFO_OFFSET (super_binfo) = integer_zero_node;
481 BINFO_BASE_APPEND (TYPE_BINFO (this_class), super_binfo);
482 CLASS_HAS_SUPER_FLAG (TYPE_BINFO (this_class)) = 1;
485 set_class_decl_access_flags (access_flags, class_decl);
488 void
489 set_class_decl_access_flags (int access_flags, tree class_decl)
491 if (access_flags & ACC_PUBLIC) CLASS_PUBLIC (class_decl) = 1;
492 if (access_flags & ACC_FINAL) CLASS_FINAL (class_decl) = 1;
493 if (access_flags & ACC_SUPER) CLASS_SUPER (class_decl) = 1;
494 if (access_flags & ACC_INTERFACE) CLASS_INTERFACE (class_decl) = 1;
495 if (access_flags & ACC_ABSTRACT) CLASS_ABSTRACT (class_decl) = 1;
496 if (access_flags & ACC_STATIC) CLASS_STATIC (class_decl) = 1;
497 if (access_flags & ACC_PRIVATE) CLASS_PRIVATE (class_decl) = 1;
498 if (access_flags & ACC_PROTECTED) CLASS_PROTECTED (class_decl) = 1;
499 if (access_flags & ACC_STRICT) CLASS_STRICTFP (class_decl) = 1;
502 /* Return length of inheritance chain of CLAS, where java.lang.Object is 0,
503 direct sub-classes of Object are 1, and so on. */
506 class_depth (tree clas)
508 int depth = 0;
509 if (! CLASS_LOADED_P (clas))
510 load_class (clas, 1);
511 if (TYPE_SIZE (clas) == error_mark_node)
512 return -1;
513 while (clas != object_type_node)
515 depth++;
516 clas = BINFO_TYPE (BINFO_BASE_BINFO (TYPE_BINFO (clas), 0));
518 return depth;
521 /* Return true iff TYPE2 is an interface that extends interface TYPE1 */
524 interface_of_p (tree type1, tree type2)
526 int i;
527 tree binfo, base_binfo;
529 if (! TYPE_BINFO (type2))
530 return 0;
532 for (binfo = TYPE_BINFO (type2), i = 0;
533 BINFO_BASE_ITERATE (binfo, i, base_binfo); i++)
534 if (BINFO_TYPE (base_binfo) == type1)
535 return 1;
537 for (binfo = TYPE_BINFO (type2), i = 0;
538 BINFO_BASE_ITERATE (binfo, i, base_binfo); i++) /* */
539 if (BINFO_TYPE (base_binfo)
540 && interface_of_p (type1, BINFO_TYPE (base_binfo)))
541 return 1;
543 return 0;
546 /* Return true iff TYPE1 inherits from TYPE2. */
549 inherits_from_p (tree type1, tree type2)
551 while (type1 != NULL_TREE && TREE_CODE (type1) == RECORD_TYPE)
553 if (type1 == type2)
554 return 1;
556 if (! CLASS_LOADED_P (type1))
557 load_class (type1, 1);
559 type1 = maybe_layout_super_class (CLASSTYPE_SUPER (type1), type1);
561 return 0;
564 /* Return a 1 iff TYPE1 is an enclosing context for TYPE2 */
567 enclosing_context_p (tree type1, tree type2)
569 if (!INNER_CLASS_TYPE_P (type2))
570 return 0;
572 for (type2 = TREE_TYPE (DECL_CONTEXT (TYPE_NAME (type2)));
573 type2;
574 type2 = (INNER_CLASS_TYPE_P (type2) ?
575 TREE_TYPE (DECL_CONTEXT (TYPE_NAME (type2))) : NULL_TREE))
577 if (type2 == type1)
578 return 1;
581 return 0;
585 /* Return 1 iff TYPE1 and TYPE2 share a common enclosing class, regardless of
586 nesting level. */
589 common_enclosing_context_p (tree type1, tree type2)
591 while (type1)
593 tree current;
594 for (current = type2; current;
595 current = (INNER_CLASS_TYPE_P (current) ?
596 TREE_TYPE (DECL_CONTEXT (TYPE_NAME (current))) :
597 NULL_TREE))
598 if (type1 == current)
599 return 1;
601 if (INNER_CLASS_TYPE_P (type1))
602 type1 = TREE_TYPE (DECL_CONTEXT (TYPE_NAME (type1)));
603 else
604 break;
606 return 0;
609 /* Return 1 iff there exists a common enclosing "this" between TYPE1
610 and TYPE2, without crossing any static context. */
613 common_enclosing_instance_p (tree type1, tree type2)
615 if (!PURE_INNER_CLASS_TYPE_P (type1) || !PURE_INNER_CLASS_TYPE_P (type2))
616 return 0;
618 for (type1 = TREE_TYPE (DECL_CONTEXT (TYPE_NAME (type1))); type1;
619 type1 = (PURE_INNER_CLASS_TYPE_P (type1) ?
620 TREE_TYPE (DECL_CONTEXT (TYPE_NAME (type1))) : NULL_TREE))
622 tree current;
623 for (current = TREE_TYPE (DECL_CONTEXT (TYPE_NAME (type2))); current;
624 current = (PURE_INNER_CLASS_TYPE_P (current) ?
625 TREE_TYPE (DECL_CONTEXT (TYPE_NAME (current))) :
626 NULL_TREE))
627 if (type1 == current)
628 return 1;
630 return 0;
633 /* Add INTERFACE_CLASS to THIS_CLASS iff INTERFACE_CLASS can't be
634 found in THIS_CLASS. Returns NULL_TREE upon success, INTERFACE_CLASS
635 if attempt is made to add it twice. */
637 tree
638 maybe_add_interface (tree this_class, tree interface_class)
640 tree binfo, base_binfo;
641 int i;
643 for (binfo = TYPE_BINFO (this_class), i = 0;
644 BINFO_BASE_ITERATE (binfo, i, base_binfo); i++)
645 if (BINFO_TYPE (base_binfo) == interface_class)
646 return interface_class;
647 add_interface (this_class, interface_class);
648 return NULL_TREE;
651 /* Add the INTERFACE_CLASS as one of the interfaces of THIS_CLASS. */
653 void
654 add_interface (tree this_class, tree interface_class)
656 tree interface_binfo = make_tree_binfo (0);
658 BINFO_TYPE (interface_binfo) = interface_class;
659 BINFO_OFFSET (interface_binfo) = integer_zero_node;
660 BINFO_VPTR_FIELD (interface_binfo) = integer_zero_node;
661 BINFO_VIRTUAL_P (interface_binfo) = 1;
663 BINFO_BASE_APPEND (TYPE_BINFO (this_class), interface_binfo);
666 #if 0
667 /* Return the address of a pointer to the first FUNCTION_DECL
668 in the list (*LIST) whose DECL_NAME is NAME. */
670 static tree *
671 find_named_method (tree *list, tree name)
673 while (*list && DECL_NAME (*list) != name)
674 list = &TREE_CHAIN (*list);
675 return list;
677 #endif
679 static tree
680 build_java_method_type (tree fntype, tree this_class, int access_flags)
682 if (access_flags & ACC_STATIC)
683 return fntype;
684 fntype = build_method_type (this_class, fntype);
686 /* We know that arg 1 of every nonstatic method is non-null; tell
687 the back-end so. */
688 TYPE_ATTRIBUTES (fntype) = (tree_cons
689 (get_identifier ("nonnull"),
690 tree_cons (NULL_TREE,
691 build_int_cst (NULL_TREE, 1),
692 NULL_TREE),
693 TYPE_ATTRIBUTES (fntype)));
694 return fntype;
697 tree
698 add_method_1 (tree this_class, int access_flags, tree name, tree function_type)
700 tree method_type, fndecl;
702 method_type = build_java_method_type (function_type,
703 this_class, access_flags);
705 fndecl = build_decl (FUNCTION_DECL, name, method_type);
706 DECL_CONTEXT (fndecl) = this_class;
708 DECL_LANG_SPECIFIC (fndecl)
709 = ggc_alloc_cleared (sizeof (struct lang_decl));
710 DECL_LANG_SPECIFIC (fndecl)->desc = LANG_DECL_FUNC;
712 /* Initialize the static initializer test table. */
714 DECL_FUNCTION_INIT_TEST_TABLE (fndecl) =
715 java_treetreehash_create (10, 1);
717 /* Initialize the initialized (static) class table. */
718 if (access_flags & ACC_STATIC)
719 DECL_FUNCTION_INITIALIZED_CLASS_TABLE (fndecl) =
720 htab_create_ggc (50, htab_hash_pointer, htab_eq_pointer, NULL);
722 /* Initialize the static method invocation compound list */
723 DECL_FUNCTION_STATIC_METHOD_INVOCATION_COMPOUND (fndecl) = NULL_TREE;
725 TREE_CHAIN (fndecl) = TYPE_METHODS (this_class);
726 TYPE_METHODS (this_class) = fndecl;
728 /* Notice that this is a finalizer and update the class type
729 accordingly. This is used to optimize instance allocation. */
730 if (name == finalize_identifier_node
731 && TREE_TYPE (function_type) == void_type_node
732 && TREE_VALUE (TYPE_ARG_TYPES (function_type)) == void_type_node)
733 HAS_FINALIZER_P (this_class) = 1;
735 if (access_flags & ACC_PUBLIC) METHOD_PUBLIC (fndecl) = 1;
736 if (access_flags & ACC_PROTECTED) METHOD_PROTECTED (fndecl) = 1;
737 if (access_flags & ACC_PRIVATE)
738 METHOD_PRIVATE (fndecl) = DECL_INLINE (fndecl) = 1;
739 if (access_flags & ACC_NATIVE)
741 METHOD_NATIVE (fndecl) = 1;
742 DECL_EXTERNAL (fndecl) = 1;
744 if (access_flags & ACC_STATIC)
745 METHOD_STATIC (fndecl) = DECL_INLINE (fndecl) = 1;
746 if (access_flags & ACC_FINAL)
747 METHOD_FINAL (fndecl) = DECL_INLINE (fndecl) = 1;
748 if (access_flags & ACC_SYNCHRONIZED) METHOD_SYNCHRONIZED (fndecl) = 1;
749 if (access_flags & ACC_ABSTRACT) METHOD_ABSTRACT (fndecl) = 1;
750 if (access_flags & ACC_STRICT) METHOD_STRICTFP (fndecl) = 1;
751 return fndecl;
754 /* Add a method to THIS_CLASS.
755 The method's name is NAME.
756 Its signature (mangled type) is METHOD_SIG (an IDENTIFIER_NODE). */
758 tree
759 add_method (tree this_class, int access_flags, tree name, tree method_sig)
761 tree function_type, fndecl;
762 const unsigned char *sig
763 = (const unsigned char *) IDENTIFIER_POINTER (method_sig);
765 if (sig[0] != '(')
766 fatal_error ("bad method signature");
768 function_type = get_type_from_signature (method_sig);
769 fndecl = add_method_1 (this_class, access_flags, name, function_type);
770 set_java_signature (TREE_TYPE (fndecl), method_sig);
771 return fndecl;
774 tree
775 add_field (tree class, tree name, tree field_type, int flags)
777 int is_static = (flags & ACC_STATIC) != 0;
778 tree field;
779 field = build_decl (is_static ? VAR_DECL : FIELD_DECL, name, field_type);
780 TREE_CHAIN (field) = TYPE_FIELDS (class);
781 TYPE_FIELDS (class) = field;
782 DECL_CONTEXT (field) = class;
784 if (flags & ACC_PUBLIC) FIELD_PUBLIC (field) = 1;
785 if (flags & ACC_PROTECTED) FIELD_PROTECTED (field) = 1;
786 if (flags & ACC_PRIVATE) FIELD_PRIVATE (field) = 1;
787 if (flags & ACC_FINAL) FIELD_FINAL (field) = 1;
788 if (flags & ACC_VOLATILE) FIELD_VOLATILE (field) = 1;
789 if (flags & ACC_TRANSIENT) FIELD_TRANSIENT (field) = 1;
790 if (is_static)
792 FIELD_STATIC (field) = 1;
793 /* Always make field externally visible. This is required so
794 that native methods can always access the field. */
795 TREE_PUBLIC (field) = 1;
796 /* Considered external unless we are compiling it into this
797 object file. */
798 DECL_EXTERNAL (field) = (is_compiled_class (class) != 2);
801 return field;
804 /* Associate a constant value CONSTANT with VAR_DECL FIELD. */
806 void
807 set_constant_value (tree field, tree constant)
809 if (field == NULL_TREE)
810 warning (OPT_Wattributes,
811 "misplaced ConstantValue attribute (not in any field)");
812 else if (DECL_INITIAL (field) != NULL_TREE)
813 warning (OPT_Wattributes,
814 "duplicate ConstantValue attribute for field '%s'",
815 IDENTIFIER_POINTER (DECL_NAME (field)));
816 else
818 DECL_INITIAL (field) = constant;
819 if (TREE_TYPE (constant) != TREE_TYPE (field)
820 && ! (TREE_TYPE (constant) == int_type_node
821 && INTEGRAL_TYPE_P (TREE_TYPE (field))
822 && TYPE_PRECISION (TREE_TYPE (field)) <= 32)
823 && ! (TREE_TYPE (constant) == utf8const_ptr_type
824 && TREE_TYPE (field) == string_ptr_type_node))
825 error ("ConstantValue attribute of field '%s' has wrong type",
826 IDENTIFIER_POINTER (DECL_NAME (field)));
827 if (FIELD_FINAL (field))
828 DECL_FIELD_FINAL_IUD (field) = 1;
832 /* Count the number of Unicode chars encoded in a given Ut8 string. */
834 #if 0
836 strLengthUtf8 (char *str, int len)
838 register unsigned char* ptr = (unsigned char*) str;
839 register unsigned char *limit = ptr + len;
840 int str_length = 0;
841 for (; ptr < limit; str_length++) {
842 if (UTF8_GET (ptr, limit) < 0)
843 return -1;
845 return str_length;
847 #endif
850 /* Calculate a hash value for a string encoded in Utf8 format.
851 * This returns the same hash value as specified for java.lang.String.hashCode.
854 static int32
855 hashUtf8String (const char *str, int len)
857 const unsigned char* ptr = (const unsigned char*) str;
858 const unsigned char *limit = ptr + len;
859 int32 hash = 0;
860 for (; ptr < limit;)
862 int ch = UTF8_GET (ptr, limit);
863 /* Updated specification from
864 http://www.javasoft.com/docs/books/jls/clarify.html. */
865 hash = (31 * hash) + ch;
867 return hash;
870 static GTY(()) tree utf8_decl_list = NULL_TREE;
872 tree
873 build_utf8_ref (tree name)
875 const char * name_ptr = IDENTIFIER_POINTER(name);
876 int name_len = IDENTIFIER_LENGTH(name);
877 char buf[60];
878 tree ctype, field = NULL_TREE, str_type, cinit, string;
879 static int utf8_count = 0;
880 int name_hash;
881 tree ref = IDENTIFIER_UTF8_REF (name);
882 tree decl;
883 if (ref != NULL_TREE)
884 return ref;
886 ctype = make_node (RECORD_TYPE);
887 str_type = build_prim_array_type (unsigned_byte_type_node,
888 name_len + 1); /* Allow for final '\0'. */
889 PUSH_FIELD (ctype, field, "hash", unsigned_short_type_node);
890 PUSH_FIELD (ctype, field, "length", unsigned_short_type_node);
891 PUSH_FIELD (ctype, field, "data", str_type);
892 FINISH_RECORD (ctype);
893 START_RECORD_CONSTRUCTOR (cinit, ctype);
894 name_hash = hashUtf8String (name_ptr, name_len) & 0xFFFF;
895 PUSH_FIELD_VALUE (cinit, "hash", build_int_cst (NULL_TREE, name_hash));
896 PUSH_FIELD_VALUE (cinit, "length", build_int_cst (NULL_TREE, name_len));
897 string = build_string (name_len, name_ptr);
898 TREE_TYPE (string) = str_type;
899 PUSH_FIELD_VALUE (cinit, "data", string);
900 FINISH_RECORD_CONSTRUCTOR (cinit);
901 TREE_CONSTANT (cinit) = 1;
902 TREE_INVARIANT (cinit) = 1;
904 /* Generate a unique-enough identifier. */
905 sprintf(buf, "_Utf%d", ++utf8_count);
907 decl = build_decl (VAR_DECL, get_identifier (buf), utf8const_type);
908 TREE_STATIC (decl) = 1;
909 DECL_ARTIFICIAL (decl) = 1;
910 DECL_IGNORED_P (decl) = 1;
911 TREE_READONLY (decl) = 1;
912 TREE_THIS_VOLATILE (decl) = 0;
913 DECL_INITIAL (decl) = cinit;
915 if (HAVE_GAS_SHF_MERGE)
917 int decl_size;
918 /* Ensure decl_size is a multiple of utf8const_type's alignment. */
919 decl_size = (name_len + 5 + TYPE_ALIGN_UNIT (utf8const_type) - 1)
920 & ~(TYPE_ALIGN_UNIT (utf8const_type) - 1);
921 if (flag_merge_constants && decl_size < 256)
923 char buf[32];
924 int flags = (SECTION_OVERRIDE
925 | SECTION_MERGE | (SECTION_ENTSIZE & decl_size));
926 sprintf (buf, ".rodata.jutf8.%d", decl_size);
927 switch_to_section (get_section (buf, flags, NULL));
928 DECL_SECTION_NAME (decl) = build_string (strlen (buf), buf);
932 TREE_CHAIN (decl) = utf8_decl_list;
933 layout_decl (decl, 0);
934 pushdecl (decl);
935 rest_of_decl_compilation (decl, global_bindings_p (), 0);
936 cgraph_varpool_mark_needed_node (cgraph_varpool_node (decl));
937 utf8_decl_list = decl;
938 ref = build1 (ADDR_EXPR, utf8const_ptr_type, decl);
939 IDENTIFIER_UTF8_REF (name) = ref;
940 return ref;
943 /* Like build_class_ref, but instead of a direct reference generate a
944 pointer into the constant pool. */
946 static tree
947 build_indirect_class_ref (tree type)
949 int index;
950 tree cl;
951 index = alloc_class_constant (type);
952 cl = build_ref_from_constant_pool (index);
953 return convert (promote_type (class_ptr_type), cl);
956 static tree
957 build_static_class_ref (tree type)
959 tree decl_name, decl, ref;
961 if (TYPE_SIZE (type) == error_mark_node)
962 return null_pointer_node;
963 decl_name = identifier_subst (DECL_NAME (TYPE_NAME (type)),
964 "", '/', '/', ".class$$");
965 decl = IDENTIFIER_GLOBAL_VALUE (decl_name);
966 if (decl == NULL_TREE)
968 decl = build_decl (VAR_DECL, decl_name, class_type_node);
969 TREE_STATIC (decl) = 1;
970 if (! flag_indirect_classes)
971 TREE_PUBLIC (decl) = 1;
972 DECL_IGNORED_P (decl) = 1;
973 DECL_ARTIFICIAL (decl) = 1;
974 if (is_compiled_class (type) == 1)
975 DECL_EXTERNAL (decl) = 1;
976 MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC (decl);
977 DECL_CLASS_FIELD_P (decl) = 1;
978 DECL_CONTEXT (decl) = type;
980 /* ??? We want to preserve the DECL_CONTEXT we set just above,
981 that that means not calling pushdecl_top_level. */
982 IDENTIFIER_GLOBAL_VALUE (decl_name) = decl;
985 ref = build1 (ADDR_EXPR, class_ptr_type, decl);
986 return ref;
989 static tree
990 build_classdollar_field (tree type)
992 tree decl_name = identifier_subst (DECL_NAME (TYPE_NAME (type)),
993 "", '/', '/', ".class$");
994 tree decl = IDENTIFIER_GLOBAL_VALUE (decl_name);
996 if (decl == NULL_TREE)
998 decl
999 = build_decl (VAR_DECL, decl_name,
1000 (build_type_variant
1001 (build_pointer_type
1002 (build_type_variant (class_type_node,
1003 /* const */ 1, 0)),
1004 /* const */ 1, 0)));
1005 TREE_STATIC (decl) = 1;
1006 TREE_INVARIANT (decl) = 1;
1007 TREE_CONSTANT (decl) = 1;
1008 TREE_READONLY (decl) = 1;
1009 TREE_PUBLIC (decl) = 1;
1010 DECL_IGNORED_P (decl) = 1;
1011 DECL_ARTIFICIAL (decl) = 1;
1012 MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC (decl);
1013 IDENTIFIER_GLOBAL_VALUE (decl_name) = decl;
1014 DECL_CLASS_FIELD_P (decl) = 1;
1015 DECL_CONTEXT (decl) = type;
1018 return decl;
1021 /* Build a reference to the class TYPE.
1022 Also handles primitive types and array types. */
1024 tree
1025 build_class_ref (tree type)
1027 int is_compiled = is_compiled_class (type);
1028 if (is_compiled)
1030 tree ref, decl;
1031 if (TREE_CODE (type) == POINTER_TYPE)
1032 type = TREE_TYPE (type);
1034 if (flag_indirect_dispatch
1035 && type != output_class
1036 && TREE_CODE (type) == RECORD_TYPE)
1037 return build_indirect_class_ref (type);
1039 if (type == output_class && flag_indirect_classes)
1040 return build_classdollar_field (type);
1042 if (TREE_CODE (type) == RECORD_TYPE)
1043 return build_static_class_ref (type);
1044 else
1046 const char *name;
1047 tree decl_name;
1048 char buffer[25];
1049 if (flag_emit_class_files)
1051 const char *prim_class_name;
1052 tree prim_class;
1053 if (type == char_type_node)
1054 prim_class_name = "java.lang.Character";
1055 else if (type == boolean_type_node)
1056 prim_class_name = "java.lang.Boolean";
1057 else if (type == byte_type_node)
1058 prim_class_name = "java.lang.Byte";
1059 else if (type == short_type_node)
1060 prim_class_name = "java.lang.Short";
1061 else if (type == int_type_node)
1062 prim_class_name = "java.lang.Integer";
1063 else if (type == long_type_node)
1064 prim_class_name = "java.lang.Long";
1065 else if (type == float_type_node)
1066 prim_class_name = "java.lang.Float";
1067 else if (type == double_type_node)
1068 prim_class_name = "java.lang.Double";
1069 else if (type == void_type_node)
1070 prim_class_name = "java.lang.Void";
1071 else
1072 gcc_unreachable ();
1074 prim_class = lookup_class (get_identifier (prim_class_name));
1075 /* We wrap the class in a NOP_EXPR, because it is a
1076 type. We can't hold it in the COMPONENT_REF itself,
1077 as that type must remain NULL. */
1078 prim_class = build1 (NOP_EXPR, prim_class, NULL_TREE);
1080 return build3 (COMPONENT_REF, NULL_TREE,
1081 prim_class, TYPE_identifier_node, NULL_TREE);
1083 decl_name = TYPE_NAME (type);
1084 if (TREE_CODE (decl_name) == TYPE_DECL)
1085 decl_name = DECL_NAME (decl_name);
1086 name = IDENTIFIER_POINTER (decl_name);
1087 if (strncmp (name, "promoted_", 9) == 0)
1088 name += 9;
1089 sprintf (buffer, "_Jv_%sClass", name);
1090 decl_name = get_identifier (buffer);
1091 decl = IDENTIFIER_GLOBAL_VALUE (decl_name);
1092 if (decl == NULL_TREE)
1094 decl = build_decl (VAR_DECL, decl_name, class_type_node);
1095 TREE_STATIC (decl) = 1;
1096 TREE_PUBLIC (decl) = 1;
1097 DECL_EXTERNAL (decl) = 1;
1098 DECL_ARTIFICIAL (decl) = 1;
1099 pushdecl_top_level (decl);
1103 ref = build1 (ADDR_EXPR, class_ptr_type, decl);
1104 return ref;
1106 else
1107 return build_indirect_class_ref (type);
1110 /* Create a local statically allocated variable that will hold a
1111 pointer to a static field. */
1113 static tree
1114 build_fieldref_cache_entry (int index, tree fdecl ATTRIBUTE_UNUSED)
1116 tree decl, decl_name;
1117 const char *name = IDENTIFIER_POINTER (mangled_classname ("_cpool_", output_class));
1118 char *buf = alloca (strlen (name) + 20);
1119 sprintf (buf, "%s_%d_ref", name, index);
1120 decl_name = get_identifier (buf);
1121 decl = IDENTIFIER_GLOBAL_VALUE (decl_name);
1122 if (decl == NULL_TREE)
1124 decl = build_decl (VAR_DECL, decl_name, ptr_type_node);
1125 TREE_STATIC (decl) = 1;
1126 TREE_PUBLIC (decl) = 0;
1127 DECL_EXTERNAL (decl) = 0;
1128 DECL_ARTIFICIAL (decl) = 1;
1129 pushdecl_top_level (decl);
1131 return decl;
1134 tree
1135 build_static_field_ref (tree fdecl)
1137 tree fclass = DECL_CONTEXT (fdecl);
1138 int is_compiled = is_compiled_class (fclass);
1139 int from_class = ! CLASS_FROM_SOURCE_P (current_class);
1141 /* Allow static final fields to fold to a constant. When using
1142 -findirect-dispatch, we simply never do this folding if compiling
1143 from .class; in the .class file constants will be referred to via
1144 the constant pool. */
1145 if ((!flag_indirect_dispatch || !from_class)
1146 && (is_compiled
1147 || (FIELD_FINAL (fdecl) && DECL_INITIAL (fdecl) != NULL_TREE
1148 && (JSTRING_TYPE_P (TREE_TYPE (fdecl))
1149 || JNUMERIC_TYPE_P (TREE_TYPE (fdecl)))
1150 && TREE_CONSTANT (DECL_INITIAL (fdecl)))))
1152 if (is_compiled == 1)
1153 DECL_EXTERNAL (fdecl) = 1;
1155 else
1157 /* Generate a CONSTANT_FieldRef for FDECL in the constant pool
1158 and a class local static variable CACHE_ENTRY, then
1160 *(fdecl **)((__builtin_expect (cache_entry == null, false))
1161 ? cache_entry = _Jv_ResolvePoolEntry (output_class, cpool_index)
1162 : cache_entry)
1164 This can mostly be optimized away, so that the usual path is a
1165 load followed by a test and branch. _Jv_ResolvePoolEntry is
1166 only called once for each constant pool entry.
1168 There is an optimization that we don't do: at the start of a
1169 method, create a local copy of CACHE_ENTRY and use that instead.
1173 int cpool_index = alloc_constant_fieldref (output_class, fdecl);
1174 tree cache_entry = build_fieldref_cache_entry (cpool_index, fdecl);
1175 tree test
1176 = build3 (CALL_EXPR, boolean_type_node,
1177 build_address_of (built_in_decls[BUILT_IN_EXPECT]),
1178 tree_cons (NULL_TREE, build2 (EQ_EXPR, boolean_type_node,
1179 cache_entry, null_pointer_node),
1180 build_tree_list (NULL_TREE, boolean_false_node)),
1181 NULL_TREE);
1182 tree cpool_index_cst = build_int_cst (NULL_TREE, cpool_index);
1183 tree init
1184 = build3 (CALL_EXPR, ptr_type_node,
1185 build_address_of (soft_resolvepoolentry_node),
1186 tree_cons (NULL_TREE, build_class_ref (output_class),
1187 build_tree_list (NULL_TREE, cpool_index_cst)),
1188 NULL_TREE);
1189 init = build2 (MODIFY_EXPR, ptr_type_node, cache_entry, init);
1190 init = build3 (COND_EXPR, ptr_type_node, test, init, cache_entry);
1191 init = fold_convert (build_pointer_type (TREE_TYPE (fdecl)), init);
1192 fdecl = build1 (INDIRECT_REF, TREE_TYPE (fdecl), init);
1194 return fdecl;
1198 get_access_flags_from_decl (tree decl)
1200 int access_flags = 0;
1201 if (TREE_CODE (decl) == FIELD_DECL || TREE_CODE (decl) == VAR_DECL)
1203 if (FIELD_STATIC (decl))
1204 access_flags |= ACC_STATIC;
1205 if (FIELD_PUBLIC (decl))
1206 access_flags |= ACC_PUBLIC;
1207 if (FIELD_PROTECTED (decl))
1208 access_flags |= ACC_PROTECTED;
1209 if (FIELD_PRIVATE (decl))
1210 access_flags |= ACC_PRIVATE;
1211 if (FIELD_FINAL (decl))
1212 access_flags |= ACC_FINAL;
1213 if (FIELD_VOLATILE (decl))
1214 access_flags |= ACC_VOLATILE;
1215 if (FIELD_TRANSIENT (decl))
1216 access_flags |= ACC_TRANSIENT;
1217 return access_flags;
1219 if (TREE_CODE (decl) == TYPE_DECL)
1221 if (CLASS_PUBLIC (decl))
1222 access_flags |= ACC_PUBLIC;
1223 if (CLASS_FINAL (decl))
1224 access_flags |= ACC_FINAL;
1225 if (CLASS_SUPER (decl))
1226 access_flags |= ACC_SUPER;
1227 if (CLASS_INTERFACE (decl))
1228 access_flags |= ACC_INTERFACE;
1229 if (CLASS_ABSTRACT (decl))
1230 access_flags |= ACC_ABSTRACT;
1231 if (CLASS_STATIC (decl))
1232 access_flags |= ACC_STATIC;
1233 if (CLASS_PRIVATE (decl))
1234 access_flags |= ACC_PRIVATE;
1235 if (CLASS_PROTECTED (decl))
1236 access_flags |= ACC_PROTECTED;
1237 if (CLASS_STRICTFP (decl))
1238 access_flags |= ACC_STRICT;
1239 return access_flags;
1241 if (TREE_CODE (decl) == FUNCTION_DECL)
1243 if (METHOD_PUBLIC (decl))
1244 access_flags |= ACC_PUBLIC;
1245 if (METHOD_PRIVATE (decl))
1246 access_flags |= ACC_PRIVATE;
1247 if (METHOD_PROTECTED (decl))
1248 access_flags |= ACC_PROTECTED;
1249 if (METHOD_STATIC (decl))
1250 access_flags |= ACC_STATIC;
1251 if (METHOD_FINAL (decl))
1252 access_flags |= ACC_FINAL;
1253 if (METHOD_SYNCHRONIZED (decl))
1254 access_flags |= ACC_SYNCHRONIZED;
1255 if (METHOD_NATIVE (decl))
1256 access_flags |= ACC_NATIVE;
1257 if (METHOD_ABSTRACT (decl))
1258 access_flags |= ACC_ABSTRACT;
1259 if (METHOD_STRICTFP (decl))
1260 access_flags |= ACC_STRICT;
1261 if (METHOD_INVISIBLE (decl))
1262 access_flags |= ACC_INVISIBLE;
1263 return access_flags;
1265 gcc_unreachable ();
1268 static GTY (()) int alias_labelno = 0;
1270 /* Create a private alias for METHOD. Using this alias instead of the method
1271 decl ensures that ncode entries in the method table point to the real function
1272 at runtime, not a PLT entry. */
1274 static tree
1275 make_local_function_alias (tree method)
1277 #ifdef ASM_OUTPUT_DEF
1278 tree alias;
1280 const char *method_name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (method));
1281 char *name = alloca (strlen (method_name) + 2);
1282 char *buf = alloca (strlen (method_name) + 128);
1284 /* Only create aliases for local functions. */
1285 if (DECL_EXTERNAL (method))
1286 return method;
1288 /* Prefix method_name with 'L' for the alias label. */
1289 *name = 'L';
1290 strcpy (name + 1, method_name);
1292 ASM_GENERATE_INTERNAL_LABEL (buf, name, alias_labelno++);
1293 alias = build_decl (FUNCTION_DECL, get_identifier (buf),
1294 TREE_TYPE (method));
1295 DECL_CONTEXT (alias) = NULL;
1296 TREE_READONLY (alias) = TREE_READONLY (method);
1297 TREE_THIS_VOLATILE (alias) = TREE_THIS_VOLATILE (method);
1298 TREE_PUBLIC (alias) = 0;
1299 DECL_EXTERNAL (alias) = 0;
1300 DECL_ARTIFICIAL (alias) = 1;
1301 DECL_INLINE (alias) = 0;
1302 DECL_INITIAL (alias) = error_mark_node;
1303 TREE_ADDRESSABLE (alias) = 1;
1304 TREE_USED (alias) = 1;
1305 TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (alias)) = 1;
1306 if (!flag_syntax_only)
1307 assemble_alias (alias, DECL_ASSEMBLER_NAME (method));
1308 return alias;
1309 #else
1310 return method;
1311 #endif
1314 /** Make reflection data (_Jv_Field) for field FDECL. */
1316 static tree
1317 make_field_value (tree fdecl)
1319 tree finit;
1320 int flags;
1321 tree type = TREE_TYPE (fdecl);
1322 int resolved = is_compiled_class (type) && ! flag_indirect_dispatch;
1324 START_RECORD_CONSTRUCTOR (finit, field_type_node);
1325 PUSH_FIELD_VALUE (finit, "name", build_utf8_ref (DECL_NAME (fdecl)));
1326 if (resolved)
1327 type = build_class_ref (type);
1328 else
1330 tree signature = build_java_signature (type);
1332 type = build_utf8_ref (unmangle_classname
1333 (IDENTIFIER_POINTER (signature),
1334 IDENTIFIER_LENGTH (signature)));
1336 PUSH_FIELD_VALUE (finit, "type", type);
1338 flags = get_access_flags_from_decl (fdecl);
1339 if (! resolved)
1340 flags |= 0x8000 /* FIELD_UNRESOLVED_FLAG */;
1342 PUSH_FIELD_VALUE (finit, "accflags", build_int_cst (NULL_TREE, flags));
1343 PUSH_FIELD_VALUE (finit, "bsize", TYPE_SIZE_UNIT (TREE_TYPE (fdecl)));
1346 tree field_address = integer_zero_node;
1347 if ((DECL_INITIAL (fdecl) || ! flag_indirect_classes)
1348 && FIELD_STATIC (fdecl))
1349 field_address = build_address_of (fdecl);
1351 PUSH_FIELD_VALUE
1352 (finit, "info",
1353 build_constructor_from_list (field_info_union_node,
1354 build_tree_list
1355 ((FIELD_STATIC (fdecl)
1356 ? TREE_CHAIN (TYPE_FIELDS (field_info_union_node))
1357 : TYPE_FIELDS (field_info_union_node)),
1358 (FIELD_STATIC (fdecl)
1359 ? field_address
1360 : byte_position (fdecl)))));
1363 FINISH_RECORD_CONSTRUCTOR (finit);
1364 return finit;
1367 /** Make reflection data (_Jv_Method) for method MDECL. */
1369 static tree
1370 make_method_value (tree mdecl)
1372 static int method_name_count = 0;
1373 tree minit;
1374 tree index;
1375 tree code;
1376 tree class_decl;
1377 #define ACC_TRANSLATED 0x4000
1378 int accflags = get_access_flags_from_decl (mdecl) | ACC_TRANSLATED;
1380 class_decl = DECL_CONTEXT (mdecl);
1381 /* For interfaces, the index field contains the dispatch index. */
1382 if (CLASS_INTERFACE (TYPE_NAME (class_decl)))
1383 index = build_int_cst (NULL_TREE,
1384 get_interface_method_index (mdecl, class_decl));
1385 else if (!flag_indirect_dispatch && get_method_index (mdecl) != NULL_TREE)
1386 index = get_method_index (mdecl);
1387 else
1388 index = integer_minus_one_node;
1390 code = null_pointer_node;
1391 if (METHOD_ABSTRACT (mdecl))
1392 code = build1 (ADDR_EXPR, nativecode_ptr_type_node,
1393 soft_abstractmethod_node);
1394 else
1395 code = build1 (ADDR_EXPR, nativecode_ptr_type_node,
1396 make_local_function_alias (mdecl));
1397 START_RECORD_CONSTRUCTOR (minit, method_type_node);
1398 PUSH_FIELD_VALUE (minit, "name",
1399 build_utf8_ref (DECL_CONSTRUCTOR_P (mdecl) ?
1400 init_identifier_node
1401 : DECL_NAME (mdecl)));
1403 tree signature = build_java_signature (TREE_TYPE (mdecl));
1404 PUSH_FIELD_VALUE (minit, "signature",
1405 (build_utf8_ref
1406 (unmangle_classname
1407 (IDENTIFIER_POINTER(signature),
1408 IDENTIFIER_LENGTH(signature)))));
1410 PUSH_FIELD_VALUE (minit, "accflags", build_int_cst (NULL_TREE, accflags));
1411 PUSH_FIELD_VALUE (minit, "index", index);
1412 PUSH_FIELD_VALUE (minit, "ncode", code);
1415 /* Compute the `throws' information for the method. */
1416 tree table = null_pointer_node;
1417 if (DECL_FUNCTION_THROWS (mdecl) != NULL_TREE)
1419 int length = 1 + list_length (DECL_FUNCTION_THROWS (mdecl));
1420 tree iter, type, array;
1421 char buf[60];
1423 table = tree_cons (NULL_TREE, table, NULL_TREE);
1424 for (iter = DECL_FUNCTION_THROWS (mdecl);
1425 iter != NULL_TREE;
1426 iter = TREE_CHAIN (iter))
1428 tree sig = DECL_NAME (TYPE_NAME (TREE_VALUE (iter)));
1429 tree utf8
1430 = build_utf8_ref (unmangle_classname (IDENTIFIER_POINTER (sig),
1431 IDENTIFIER_LENGTH (sig)));
1432 table = tree_cons (NULL_TREE, utf8, table);
1434 type = build_prim_array_type (ptr_type_node, length);
1435 table = build_constructor_from_list (type, table);
1436 /* Compute something unique enough. */
1437 sprintf (buf, "_methods%d", method_name_count++);
1438 array = build_decl (VAR_DECL, get_identifier (buf), type);
1439 DECL_INITIAL (array) = table;
1440 TREE_STATIC (array) = 1;
1441 DECL_ARTIFICIAL (array) = 1;
1442 DECL_IGNORED_P (array) = 1;
1443 rest_of_decl_compilation (array, 1, 0);
1445 table = build1 (ADDR_EXPR, ptr_type_node, array);
1448 PUSH_FIELD_VALUE (minit, "throws", table);
1451 FINISH_RECORD_CONSTRUCTOR (minit);
1452 return minit;
1455 static tree
1456 get_dispatch_vector (tree type)
1458 tree vtable = TYPE_VTABLE (type);
1460 if (vtable == NULL_TREE)
1462 HOST_WIDE_INT i;
1463 tree method;
1464 tree super = CLASSTYPE_SUPER (type);
1465 HOST_WIDE_INT nvirtuals = tree_low_cst (TYPE_NVIRTUALS (type), 0);
1466 vtable = make_tree_vec (nvirtuals);
1467 TYPE_VTABLE (type) = vtable;
1468 if (super != NULL_TREE)
1470 tree super_vtable = get_dispatch_vector (super);
1472 for (i = tree_low_cst (TYPE_NVIRTUALS (super), 0); --i >= 0; )
1473 TREE_VEC_ELT (vtable, i) = TREE_VEC_ELT (super_vtable, i);
1476 for (method = TYPE_METHODS (type); method != NULL_TREE;
1477 method = TREE_CHAIN (method))
1479 tree method_index = get_method_index (method);
1480 if (method_index != NULL_TREE
1481 && host_integerp (method_index, 0))
1482 TREE_VEC_ELT (vtable, tree_low_cst (method_index, 0)) = method;
1486 return vtable;
1489 static tree
1490 get_dispatch_table (tree type, tree this_class_addr)
1492 int abstract_p = CLASS_ABSTRACT (TYPE_NAME (type));
1493 tree vtable = get_dispatch_vector (type);
1494 int i, j;
1495 tree list = NULL_TREE;
1496 int nvirtuals = TREE_VEC_LENGTH (vtable);
1497 int arraysize;
1498 tree gc_descr;
1500 for (i = nvirtuals; --i >= 0; )
1502 tree method = TREE_VEC_ELT (vtable, i);
1503 if (METHOD_ABSTRACT (method))
1505 if (! abstract_p)
1506 warning (0, "%Jabstract method in non-abstract class", method);
1508 if (TARGET_VTABLE_USES_DESCRIPTORS)
1509 for (j = 0; j < TARGET_VTABLE_USES_DESCRIPTORS; ++j)
1510 list = tree_cons (NULL_TREE, null_pointer_node, list);
1511 else
1512 list = tree_cons (NULL_TREE, null_pointer_node, list);
1514 else
1516 if (TARGET_VTABLE_USES_DESCRIPTORS)
1517 for (j = 0; j < TARGET_VTABLE_USES_DESCRIPTORS; ++j)
1519 tree fdesc = build2 (FDESC_EXPR, nativecode_ptr_type_node,
1520 method, build_int_cst (NULL_TREE, j));
1521 TREE_CONSTANT (fdesc) = 1;
1522 TREE_INVARIANT (fdesc) = 1;
1523 list = tree_cons (NULL_TREE, fdesc, list);
1525 else
1526 list = tree_cons (NULL_TREE,
1527 build1 (ADDR_EXPR, nativecode_ptr_type_node,
1528 method),
1529 list);
1533 /* Dummy entry for compatibility with G++ -fvtable-thunks. When
1534 using the Boehm GC we sometimes stash a GC type descriptor
1535 there. We set the PURPOSE to NULL_TREE not to interfere (reset)
1536 the emitted byte count during the output to the assembly file. */
1537 /* With TARGET_VTABLE_USES_DESCRIPTORS, we only add one extra
1538 fake "function descriptor". It's first word is the is the class
1539 pointer, and subsequent words (usually one) contain the GC descriptor.
1540 In all other cases, we reserve two extra vtable slots. */
1541 gc_descr = get_boehm_type_descriptor (type);
1542 list = tree_cons (NULL_TREE, gc_descr, list);
1543 for (j = 1; j < TARGET_VTABLE_USES_DESCRIPTORS-1; ++j)
1544 list = tree_cons (NULL_TREE, gc_descr, list);
1545 list = tree_cons (NULL_TREE, this_class_addr, list);
1547 /** Pointer to type_info object (to be implemented), according to g++ ABI. */
1548 list = tree_cons (NULL_TREE, null_pointer_node, list);
1549 /** Offset to start of whole object. Always (ptrdiff_t)0 for Java. */
1550 list = tree_cons (integer_zero_node, null_pointer_node, list);
1552 arraysize = (TARGET_VTABLE_USES_DESCRIPTORS? nvirtuals + 1 : nvirtuals + 2);
1553 if (TARGET_VTABLE_USES_DESCRIPTORS)
1554 arraysize *= TARGET_VTABLE_USES_DESCRIPTORS;
1555 arraysize += 2;
1556 return build_constructor_from_list
1557 (build_prim_array_type (nativecode_ptr_type_node,
1558 arraysize), list);
1562 /* Set the method_index for a method decl. */
1563 void
1564 set_method_index (tree decl, tree method_index)
1566 if (method_index != NULL_TREE)
1568 /* method_index is null if we're using indirect dispatch. */
1569 method_index = fold (convert (sizetype, method_index));
1571 if (TARGET_VTABLE_USES_DESCRIPTORS)
1572 /* Add one to skip bogus descriptor for class and GC descriptor. */
1573 method_index = size_binop (PLUS_EXPR, method_index, size_int (1));
1574 else
1575 /* Add 1 to skip "class" field of dtable, and 1 to skip GC
1576 descriptor. */
1577 method_index = size_binop (PLUS_EXPR, method_index, size_int (2));
1580 DECL_VINDEX (decl) = method_index;
1583 /* Get the method_index for a method decl. */
1584 tree
1585 get_method_index (tree decl)
1587 tree method_index = DECL_VINDEX (decl);
1589 if (! method_index)
1590 return NULL;
1592 if (TARGET_VTABLE_USES_DESCRIPTORS)
1593 /* Sub one to skip bogus descriptor for class and GC descriptor. */
1594 method_index = size_binop (MINUS_EXPR, method_index, size_int (1));
1595 else
1596 /* Sub 1 to skip "class" field of dtable, and 1 to skip GC descriptor. */
1597 method_index = size_binop (MINUS_EXPR, method_index, size_int (2));
1599 return method_index;
1602 static int
1603 supers_all_compiled (tree type)
1605 while (type != NULL_TREE)
1607 if (!assume_compiled (IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (type)))))
1608 return 0;
1609 type = CLASSTYPE_SUPER (type);
1611 return 1;
1614 void
1615 make_class_data (tree type)
1617 tree decl, cons, temp;
1618 tree field, fields_decl;
1619 tree static_fields = NULL_TREE;
1620 tree instance_fields = NULL_TREE;
1621 HOST_WIDE_INT static_field_count = 0;
1622 HOST_WIDE_INT instance_field_count = 0;
1623 HOST_WIDE_INT field_count;
1624 tree field_array_type;
1625 tree method;
1626 tree methods = NULL_TREE;
1627 tree dtable_decl = NULL_TREE;
1628 HOST_WIDE_INT method_count = 0;
1629 tree method_array_type;
1630 tree methods_decl;
1631 tree super;
1632 tree this_class_addr;
1633 tree constant_pool_constructor;
1634 tree interfaces = null_pointer_node;
1635 int interface_len = 0;
1636 int uses_jv_markobj = 0;
1637 tree type_decl = TYPE_NAME (type);
1638 tree id_main = get_identifier("main");
1639 tree id_class = get_identifier("java.lang.Class");
1640 /** Offset from start of virtual function table declaration
1641 to where objects actually point at, following new g++ ABI. */
1642 tree dtable_start_offset = build_int_cst (NULL_TREE,
1643 2 * POINTER_SIZE / BITS_PER_UNIT);
1645 this_class_addr = build_static_class_ref (type);
1646 decl = TREE_OPERAND (this_class_addr, 0);
1648 if (supers_all_compiled (type) && ! CLASS_INTERFACE (type_decl)
1649 && !flag_indirect_dispatch)
1651 tree dtable = get_dispatch_table (type, this_class_addr);
1652 uses_jv_markobj = uses_jv_markobj_p (dtable);
1653 if (type == class_type_node && class_dtable_decl != NULL_TREE)
1655 /* We've already created some other class, and consequently
1656 we made class_dtable_decl. Now we just want to fill it
1657 in. */
1658 dtable_decl = class_dtable_decl;
1660 else
1662 dtable_decl = build_dtable_decl (type);
1663 TREE_STATIC (dtable_decl) = 1;
1664 DECL_ARTIFICIAL (dtable_decl) = 1;
1665 DECL_IGNORED_P (dtable_decl) = 1;
1668 TREE_PUBLIC (dtable_decl) = 1;
1669 DECL_INITIAL (dtable_decl) = dtable;
1670 if (! flag_indirect_classes)
1671 rest_of_decl_compilation (dtable_decl, 1, 0);
1672 /* Maybe we're compiling Class as the first class. If so, set
1673 class_dtable_decl to the decl we just made. */
1674 if (type == class_type_node && class_dtable_decl == NULL_TREE)
1675 class_dtable_decl = dtable_decl;
1678 /* Build Field array. */
1679 field = TYPE_FIELDS (type);
1680 while (field && DECL_ARTIFICIAL (field))
1681 field = TREE_CHAIN (field); /* Skip dummy fields. */
1682 if (field && DECL_NAME (field) == NULL_TREE)
1683 field = TREE_CHAIN (field); /* Skip dummy field for inherited data. */
1684 for ( ; field != NULL_TREE; field = TREE_CHAIN (field))
1686 if (! DECL_ARTIFICIAL (field))
1688 if (FIELD_STATIC (field))
1690 /* We must always create reflection data for static fields
1691 as it is used in the creation of the field itself. */
1692 tree init = make_field_value (field);
1693 tree initial = DECL_INITIAL (field);
1694 static_field_count++;
1695 static_fields = tree_cons (NULL_TREE, init, static_fields);
1696 /* If the initial value is a string constant,
1697 prevent output_constant from trying to assemble the value. */
1698 if (initial != NULL_TREE
1699 && TREE_TYPE (initial) == string_ptr_type_node)
1700 DECL_INITIAL (field) = NULL_TREE;
1701 rest_of_decl_compilation (field, 1, 1);
1702 DECL_INITIAL (field) = initial;
1704 else if (uses_jv_markobj || !flag_reduced_reflection)
1706 tree init = make_field_value (field);
1707 instance_field_count++;
1708 instance_fields = tree_cons (NULL_TREE, init, instance_fields);
1712 field_count = static_field_count + instance_field_count;
1713 if (field_count > 0)
1715 static_fields = nreverse (static_fields);
1716 instance_fields = nreverse (instance_fields);
1717 static_fields = chainon (static_fields, instance_fields);
1718 field_array_type = build_prim_array_type (field_type_node, field_count);
1719 fields_decl = build_decl (VAR_DECL, mangled_classname ("_FL_", type),
1720 field_array_type);
1721 DECL_INITIAL (fields_decl) = build_constructor_from_list
1722 (field_array_type, static_fields);
1723 TREE_STATIC (fields_decl) = 1;
1724 DECL_ARTIFICIAL (fields_decl) = 1;
1725 DECL_IGNORED_P (fields_decl) = 1;
1726 rest_of_decl_compilation (fields_decl, 1, 0);
1728 else
1729 fields_decl = NULL_TREE;
1731 /* Build Method array. */
1732 for (method = TYPE_METHODS (type);
1733 method != NULL_TREE; method = TREE_CHAIN (method))
1735 tree init;
1736 if (METHOD_PRIVATE (method)
1737 && ! flag_keep_inline_functions
1738 && optimize)
1739 continue;
1740 /* Even if we have a decl, we don't necessarily have the code.
1741 This can happen if we inherit a method from a superclass for
1742 which we don't have a .class file. */
1743 if (METHOD_DUMMY (method))
1744 continue;
1746 /* Generate method reflection data if:
1748 - !flag_reduced_reflection.
1750 - <clinit> -- The runtime uses reflection to initialize the
1751 class.
1753 - Any method in class java.lang.Class -- Class.forName() and
1754 perhaps other things require it.
1756 - class$ -- It does not work if reflection data missing.
1758 - main -- Reflection is used to find main(String[]) methods.
1760 - public not static -- It is potentially part of an
1761 interface. The runtime uses reflection data to build
1762 interface dispatch tables. */
1763 if (!flag_reduced_reflection
1764 || DECL_CLINIT_P (method)
1765 || DECL_NAME (type_decl) == id_class
1766 || DECL_NAME (method) == id_main
1767 || (METHOD_PUBLIC (method) && !METHOD_STATIC (method))
1768 || TYPE_DOT_CLASS (type) == method)
1770 init = make_method_value (method);
1771 method_count++;
1772 methods = tree_cons (NULL_TREE, init, methods);
1775 method_array_type = build_prim_array_type (method_type_node, method_count);
1776 methods_decl = build_decl (VAR_DECL, mangled_classname ("_MT_", type),
1777 method_array_type);
1778 DECL_INITIAL (methods_decl) = build_constructor_from_list
1779 (method_array_type, nreverse (methods));
1780 TREE_STATIC (methods_decl) = 1;
1781 DECL_ARTIFICIAL (methods_decl) = 1;
1782 DECL_IGNORED_P (methods_decl) = 1;
1783 rest_of_decl_compilation (methods_decl, 1, 0);
1785 if (class_dtable_decl == NULL_TREE)
1787 class_dtable_decl = build_dtable_decl (class_type_node);
1788 TREE_STATIC (class_dtable_decl) = 1;
1789 DECL_ARTIFICIAL (class_dtable_decl) = 1;
1790 DECL_IGNORED_P (class_dtable_decl) = 1;
1791 if (is_compiled_class (class_type_node) != 2)
1793 DECL_EXTERNAL (class_dtable_decl) = 1;
1794 rest_of_decl_compilation (class_dtable_decl, 1, 0);
1798 super = CLASSTYPE_SUPER (type);
1799 if (super == NULL_TREE)
1800 super = null_pointer_node;
1801 else if (! flag_indirect_dispatch
1802 && assume_compiled (IDENTIFIER_POINTER (DECL_NAME (type_decl)))
1803 && assume_compiled (IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (super)))))
1804 super = build_class_ref (super);
1805 else
1807 int super_index = alloc_class_constant (super);
1808 super = build_int_cst (ptr_type_node, super_index);
1811 /* Build and emit the array of implemented interfaces. */
1812 if (type != object_type_node)
1813 interface_len = BINFO_N_BASE_BINFOS (TYPE_BINFO (type)) - 1;
1815 if (interface_len > 0)
1817 tree init = NULL_TREE;
1818 int i;
1819 tree interface_array_type, idecl;
1820 interface_array_type
1821 = build_prim_array_type (class_ptr_type, interface_len);
1822 idecl = build_decl (VAR_DECL, mangled_classname ("_IF_", type),
1823 interface_array_type);
1825 for (i = interface_len; i > 0; i--)
1827 tree child = BINFO_BASE_BINFO (TYPE_BINFO (type), i);
1828 tree iclass = BINFO_TYPE (child);
1829 tree index;
1830 if (! flag_indirect_dispatch
1831 && (assume_compiled
1832 (IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (iclass))))))
1833 index = build_class_ref (iclass);
1834 else
1836 int int_index = alloc_class_constant (iclass);
1837 index = build_int_cst (ptr_type_node, int_index);
1839 init = tree_cons (NULL_TREE, index, init);
1841 DECL_INITIAL (idecl) = build_constructor_from_list (interface_array_type,
1842 init);
1843 TREE_STATIC (idecl) = 1;
1844 DECL_ARTIFICIAL (idecl) = 1;
1845 DECL_IGNORED_P (idecl) = 1;
1846 interfaces = build1 (ADDR_EXPR, ptr_type_node, idecl);
1847 rest_of_decl_compilation (idecl, 1, 0);
1850 constant_pool_constructor = build_constants_constructor ();
1852 if (flag_indirect_dispatch)
1854 TYPE_OTABLE_DECL (type)
1855 = emit_symbol_table
1856 (DECL_NAME (TYPE_OTABLE_DECL (type)),
1857 TYPE_OTABLE_DECL (type), TYPE_OTABLE_METHODS (type),
1858 TYPE_OTABLE_SYMS_DECL (type), integer_type_node, 1);
1860 TYPE_ATABLE_DECL (type)
1861 = emit_symbol_table
1862 (DECL_NAME (TYPE_ATABLE_DECL (type)),
1863 TYPE_ATABLE_DECL (type), TYPE_ATABLE_METHODS (type),
1864 TYPE_ATABLE_SYMS_DECL (type), ptr_type_node, 1);
1866 TYPE_ITABLE_DECL (type)
1867 = emit_symbol_table
1868 (DECL_NAME (TYPE_ITABLE_DECL (type)),
1869 TYPE_ITABLE_DECL (type), TYPE_ITABLE_METHODS (type),
1870 TYPE_ITABLE_SYMS_DECL (type), ptr_type_node, 2);
1873 TYPE_CTABLE_DECL (type) = emit_catch_table (type);
1875 START_RECORD_CONSTRUCTOR (temp, object_type_node);
1876 PUSH_FIELD_VALUE (temp, "vtable",
1877 build2 (PLUS_EXPR, dtable_ptr_type,
1878 build1 (ADDR_EXPR, dtable_ptr_type,
1879 class_dtable_decl),
1880 dtable_start_offset));
1881 if (! flag_hash_synchronization)
1882 PUSH_FIELD_VALUE (temp, "sync_info", null_pointer_node);
1883 FINISH_RECORD_CONSTRUCTOR (temp);
1884 START_RECORD_CONSTRUCTOR (cons, class_type_node);
1885 PUSH_SUPER_VALUE (cons, temp);
1886 PUSH_FIELD_VALUE (cons, "next_or_version", gcj_abi_version);
1887 PUSH_FIELD_VALUE (cons, "name", build_utf8_ref (DECL_NAME (type_decl)));
1888 PUSH_FIELD_VALUE (cons, "accflags",
1889 build_int_cst (NULL_TREE,
1890 get_access_flags_from_decl (type_decl)));
1892 PUSH_FIELD_VALUE (cons, "superclass",
1893 CLASS_INTERFACE (type_decl) ? null_pointer_node : super);
1894 PUSH_FIELD_VALUE (cons, "constants", constant_pool_constructor);
1895 PUSH_FIELD_VALUE (cons, "methods",
1896 methods_decl == NULL_TREE ? null_pointer_node
1897 : build1 (ADDR_EXPR, method_ptr_type_node, methods_decl));
1898 PUSH_FIELD_VALUE (cons, "method_count",
1899 build_int_cst (NULL_TREE, method_count));
1901 if (flag_indirect_dispatch)
1902 PUSH_FIELD_VALUE (cons, "vtable_method_count", integer_minus_one_node);
1903 else
1904 PUSH_FIELD_VALUE (cons, "vtable_method_count", TYPE_NVIRTUALS (type));
1906 PUSH_FIELD_VALUE (cons, "fields",
1907 fields_decl == NULL_TREE ? null_pointer_node
1908 : build1 (ADDR_EXPR, field_ptr_type_node, fields_decl));
1909 /* If we're using the binary compatibility ABI we don't know the
1910 size until load time. */
1911 PUSH_FIELD_VALUE (cons, "size_in_bytes",
1912 (flag_indirect_dispatch
1913 ? integer_minus_one_node
1914 : size_in_bytes (type)));
1915 PUSH_FIELD_VALUE (cons, "field_count",
1916 build_int_cst (NULL_TREE, field_count));
1917 PUSH_FIELD_VALUE (cons, "static_field_count",
1918 build_int_cst (NULL_TREE, static_field_count));
1920 if (flag_indirect_dispatch)
1921 PUSH_FIELD_VALUE (cons, "vtable", null_pointer_node);
1922 else
1923 PUSH_FIELD_VALUE (cons, "vtable",
1924 dtable_decl == NULL_TREE ? null_pointer_node
1925 : build2 (PLUS_EXPR, dtable_ptr_type,
1926 build1 (ADDR_EXPR, dtable_ptr_type,
1927 dtable_decl),
1928 dtable_start_offset));
1929 if (TYPE_OTABLE_METHODS (type) == NULL_TREE)
1931 PUSH_FIELD_VALUE (cons, "otable", null_pointer_node);
1932 PUSH_FIELD_VALUE (cons, "otable_syms", null_pointer_node);
1934 else
1936 pushdecl_top_level (TYPE_OTABLE_SYMS_DECL (type));
1937 PUSH_FIELD_VALUE (cons, "otable",
1938 build1 (ADDR_EXPR, otable_ptr_type, TYPE_OTABLE_DECL (type)));
1939 PUSH_FIELD_VALUE (cons, "otable_syms",
1940 build1 (ADDR_EXPR, symbols_array_ptr_type,
1941 TYPE_OTABLE_SYMS_DECL (type)));
1942 TREE_CONSTANT (TYPE_OTABLE_DECL (type)) = 1;
1943 TREE_INVARIANT (TYPE_OTABLE_DECL (type)) = 1;
1945 if (TYPE_ATABLE_METHODS(type) == NULL_TREE)
1947 PUSH_FIELD_VALUE (cons, "atable", null_pointer_node);
1948 PUSH_FIELD_VALUE (cons, "atable_syms", null_pointer_node);
1950 else
1952 pushdecl_top_level (TYPE_ATABLE_SYMS_DECL (type));
1953 PUSH_FIELD_VALUE (cons, "atable",
1954 build1 (ADDR_EXPR, atable_ptr_type, TYPE_ATABLE_DECL (type)));
1955 PUSH_FIELD_VALUE (cons, "atable_syms",
1956 build1 (ADDR_EXPR, symbols_array_ptr_type,
1957 TYPE_ATABLE_SYMS_DECL (type)));
1958 TREE_CONSTANT (TYPE_ATABLE_DECL (type)) = 1;
1959 TREE_INVARIANT (TYPE_ATABLE_DECL (type)) = 1;
1961 if (TYPE_ITABLE_METHODS(type) == NULL_TREE)
1963 PUSH_FIELD_VALUE (cons, "itable", null_pointer_node);
1964 PUSH_FIELD_VALUE (cons, "itable_syms", null_pointer_node);
1966 else
1968 pushdecl_top_level (TYPE_ITABLE_SYMS_DECL (type));
1969 PUSH_FIELD_VALUE (cons, "itable",
1970 build1 (ADDR_EXPR, itable_ptr_type, TYPE_ITABLE_DECL (type)));
1971 PUSH_FIELD_VALUE (cons, "itable_syms",
1972 build1 (ADDR_EXPR, symbols_array_ptr_type,
1973 TYPE_ITABLE_SYMS_DECL (type)));
1974 TREE_CONSTANT (TYPE_ITABLE_DECL (type)) = 1;
1975 TREE_INVARIANT (TYPE_ITABLE_DECL (type)) = 1;
1978 PUSH_FIELD_VALUE (cons, "catch_classes",
1979 build1 (ADDR_EXPR, ptr_type_node, TYPE_CTABLE_DECL (type)));
1980 PUSH_FIELD_VALUE (cons, "interfaces", interfaces);
1981 PUSH_FIELD_VALUE (cons, "loader", null_pointer_node);
1982 PUSH_FIELD_VALUE (cons, "interface_count",
1983 build_int_cst (NULL_TREE, interface_len));
1984 PUSH_FIELD_VALUE (cons, "state",
1985 convert (byte_type_node,
1986 build_int_cst (NULL_TREE, JV_STATE_PRELOADING)));
1988 PUSH_FIELD_VALUE (cons, "thread", null_pointer_node);
1989 PUSH_FIELD_VALUE (cons, "depth", integer_zero_node);
1990 PUSH_FIELD_VALUE (cons, "ancestors", null_pointer_node);
1991 PUSH_FIELD_VALUE (cons, "idt", null_pointer_node);
1992 PUSH_FIELD_VALUE (cons, "arrayclass", null_pointer_node);
1993 PUSH_FIELD_VALUE (cons, "protectionDomain", null_pointer_node);
1996 tree assertion_table_ref;
1997 if (TYPE_ASSERTIONS (type) == NULL)
1998 assertion_table_ref = null_pointer_node;
1999 else
2000 assertion_table_ref = build1 (ADDR_EXPR,
2001 build_pointer_type (assertion_table_type),
2002 emit_assertion_table (type));
2004 PUSH_FIELD_VALUE (cons, "assertion_table", assertion_table_ref);
2007 PUSH_FIELD_VALUE (cons, "hack_signers", null_pointer_node);
2008 PUSH_FIELD_VALUE (cons, "chain", null_pointer_node);
2009 PUSH_FIELD_VALUE (cons, "aux_info", null_pointer_node);
2010 PUSH_FIELD_VALUE (cons, "engine", null_pointer_node);
2011 PUSH_FIELD_VALUE (cons, "reflection_data", null_pointer_node);
2013 FINISH_RECORD_CONSTRUCTOR (cons);
2015 DECL_INITIAL (decl) = cons;
2017 /* Hash synchronization requires at least 64-bit alignment. */
2018 if (flag_hash_synchronization && POINTER_SIZE < 64)
2019 DECL_ALIGN (decl) = 64;
2021 if (flag_indirect_classes)
2023 TREE_READONLY (decl) = 1;
2024 TREE_CONSTANT (DECL_INITIAL (decl)) = 1;
2027 rest_of_decl_compilation (decl, 1, 0);
2030 tree classdollar_field = build_classdollar_field (type);
2031 if (!flag_indirect_classes)
2032 DECL_INITIAL (classdollar_field) = build_static_class_ref (type);
2033 rest_of_decl_compilation (classdollar_field, 1, 0);
2036 TYPE_OTABLE_DECL (type) = NULL_TREE;
2037 TYPE_ATABLE_DECL (type) = NULL_TREE;
2038 TYPE_CTABLE_DECL (type) = NULL_TREE;
2041 void
2042 finish_class (void)
2044 if (TYPE_VERIFY_METHOD (output_class))
2046 tree verify_method = TYPE_VERIFY_METHOD (output_class);
2047 DECL_SAVED_TREE (verify_method)
2048 = add_stmt_to_compound (DECL_SAVED_TREE (verify_method), void_type_node,
2049 build1 (RETURN_EXPR, void_type_node, NULL));
2050 java_genericize (verify_method);
2051 cgraph_finalize_function (verify_method, false);
2052 TYPE_ASSERTIONS (current_class) = NULL;
2055 java_expand_catch_classes (current_class);
2057 current_function_decl = NULL_TREE;
2058 TYPE_DECL_SUPPRESS_DEBUG (TYPE_NAME (current_class)) = 0;
2059 make_class_data (current_class);
2060 register_class ();
2061 rest_of_decl_compilation (TYPE_NAME (current_class), 1, 0);
2064 /* Return 2 if CLASS is compiled by this compilation job;
2065 return 1 if CLASS can otherwise be assumed to be compiled;
2066 return 0 if we cannot assume that CLASS is compiled.
2067 Returns 1 for primitive and 0 for array types. */
2069 is_compiled_class (tree class)
2071 int seen_in_zip;
2072 if (TREE_CODE (class) == POINTER_TYPE)
2073 class = TREE_TYPE (class);
2074 if (TREE_CODE (class) != RECORD_TYPE) /* Primitive types are static. */
2075 return 1;
2076 if (TYPE_ARRAY_P (class))
2077 return 0;
2078 /* We have to check this explicitly to avoid trying to load a class
2079 that we're currently parsing. */
2080 if (class == current_class)
2081 return 2;
2083 seen_in_zip = (TYPE_JCF (class) && JCF_SEEN_IN_ZIP (TYPE_JCF (class)));
2084 if (CLASS_FROM_CURRENTLY_COMPILED_P (class))
2086 /* The class was seen in the current ZIP file and will be
2087 available as a compiled class in the future but may not have
2088 been loaded already. Load it if necessary. This prevent
2089 build_class_ref () from crashing. */
2091 if (seen_in_zip && !CLASS_LOADED_P (class))
2092 load_class (class, 1);
2094 /* We return 2 for class seen in ZIP and class from files
2095 belonging to the same compilation unit */
2096 return 2;
2099 if (assume_compiled (IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (class)))))
2101 if (!CLASS_LOADED_P (class))
2103 if (CLASS_FROM_SOURCE_P (class))
2104 safe_layout_class (class);
2105 else
2106 load_class (class, 1);
2108 return 1;
2111 return 0;
2114 /* Build a VAR_DECL for the dispatch table (vtable) for class TYPE. */
2116 tree
2117 build_dtable_decl (tree type)
2119 tree dtype, decl;
2121 /* We need to build a new dtable type so that its size is uniquely
2122 computed when we're dealing with the class for real and not just
2123 faking it (like java.lang.Class during the initialization of the
2124 compiler.) We know we're not faking a class when CURRENT_CLASS is
2125 TYPE. */
2126 if (current_class == type)
2128 tree dummy = NULL_TREE;
2129 int n;
2131 dtype = make_node (RECORD_TYPE);
2133 PUSH_FIELD (dtype, dummy, "top_offset", ptr_type_node);
2134 PUSH_FIELD (dtype, dummy, "type_info", ptr_type_node);
2136 PUSH_FIELD (dtype, dummy, "class", class_ptr_type);
2137 for (n = 1; n < TARGET_VTABLE_USES_DESCRIPTORS; ++n)
2139 tree tmp_field = build_decl (FIELD_DECL, NULL_TREE, ptr_type_node);
2140 TREE_CHAIN (dummy) = tmp_field;
2141 DECL_CONTEXT (tmp_field) = dtype;
2142 DECL_ARTIFICIAL (tmp_field) = 1;
2143 dummy = tmp_field;
2146 PUSH_FIELD (dtype, dummy, "gc_descr", ptr_type_node);
2147 for (n = 1; n < TARGET_VTABLE_USES_DESCRIPTORS; ++n)
2149 tree tmp_field = build_decl (FIELD_DECL, NULL_TREE, ptr_type_node);
2150 TREE_CHAIN (dummy) = tmp_field;
2151 DECL_CONTEXT (tmp_field) = dtype;
2152 DECL_ARTIFICIAL (tmp_field) = 1;
2153 dummy = tmp_field;
2156 n = TREE_VEC_LENGTH (get_dispatch_vector (type));
2157 if (TARGET_VTABLE_USES_DESCRIPTORS)
2158 n *= TARGET_VTABLE_USES_DESCRIPTORS;
2160 PUSH_FIELD (dtype, dummy, "methods",
2161 build_prim_array_type (nativecode_ptr_type_node, n));
2162 layout_type (dtype);
2164 else
2165 dtype = dtable_type;
2167 decl = build_decl (VAR_DECL, get_identifier ("vt$"), dtype);
2168 DECL_CONTEXT (decl) = type;
2169 MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC (decl);
2170 DECL_VTABLE_P (decl) = 1;
2172 return decl;
2175 /* Pre-pend the TYPE_FIELDS of THIS_CLASS with a dummy FIELD_DECL for the
2176 fields inherited from SUPER_CLASS. */
2178 void
2179 push_super_field (tree this_class, tree super_class)
2181 tree base_decl;
2182 /* Don't insert the field if we're just re-laying the class out. */
2183 if (TYPE_FIELDS (this_class) && !DECL_NAME (TYPE_FIELDS (this_class)))
2184 return;
2185 base_decl = build_decl (FIELD_DECL, NULL_TREE, super_class);
2186 DECL_IGNORED_P (base_decl) = 1;
2187 TREE_CHAIN (base_decl) = TYPE_FIELDS (this_class);
2188 TYPE_FIELDS (this_class) = base_decl;
2189 DECL_SIZE (base_decl) = TYPE_SIZE (super_class);
2190 DECL_SIZE_UNIT (base_decl) = TYPE_SIZE_UNIT (super_class);
2193 /* Handle the different manners we may have to lay out a super class. */
2195 static tree
2196 maybe_layout_super_class (tree super_class, tree this_class)
2198 if (!super_class)
2199 return NULL_TREE;
2200 else if (TREE_CODE (super_class) == RECORD_TYPE)
2202 if (!CLASS_LOADED_P (super_class) && CLASS_FROM_SOURCE_P (super_class))
2203 safe_layout_class (super_class);
2204 if (!CLASS_LOADED_P (super_class))
2205 load_class (super_class, 1);
2207 /* We might have to layout the class before its dependency on
2208 the super class gets resolved by java_complete_class */
2209 else if (TREE_CODE (super_class) == POINTER_TYPE)
2211 if (TREE_TYPE (super_class) != NULL_TREE)
2212 super_class = TREE_TYPE (super_class);
2213 else
2215 /* do_resolve_class expects an EXPR_WITH_FILE_LOCATION, so
2216 we give it one. */
2217 tree this_wrap = NULL_TREE;
2219 /* Set the correct context for class resolution. */
2220 current_class = this_class;
2222 if (this_class)
2224 tree this_decl = TYPE_NAME (this_class);
2225 #ifdef USE_MAPPED_LOCATION
2226 this_wrap = build_expr_wfl (this_class,
2227 DECL_SOURCE_LOCATION (this_decl));
2228 #else
2229 this_wrap = build_expr_wfl (this_class,
2230 DECL_SOURCE_FILE (this_decl),
2231 DECL_SOURCE_LINE (this_decl), 0);
2232 #endif
2234 super_class
2235 = do_resolve_class (DECL_CONTEXT (TYPE_NAME (this_class)),
2236 this_class, super_class, NULL_TREE, this_wrap);
2237 if (!super_class)
2238 return NULL_TREE; /* FIXME, NULL_TREE not checked by caller. */
2239 super_class = TREE_TYPE (super_class);
2242 if (!TYPE_SIZE (super_class))
2243 safe_layout_class (super_class);
2245 return super_class;
2248 void
2249 layout_class (tree this_class)
2251 tree super_class = CLASSTYPE_SUPER (this_class);
2253 class_list = tree_cons (this_class, NULL_TREE, class_list);
2254 if (CLASS_BEING_LAIDOUT (this_class))
2256 char buffer [1024];
2257 char *report;
2258 tree current;
2260 sprintf (buffer, " with '%s'",
2261 IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (this_class))));
2262 obstack_grow (&temporary_obstack, buffer, strlen (buffer));
2264 for (current = TREE_CHAIN (class_list); current;
2265 current = TREE_CHAIN (current))
2267 tree decl = TYPE_NAME (TREE_PURPOSE (current));
2268 sprintf (buffer, "\n which inherits from '%s' (%s:%d)",
2269 IDENTIFIER_POINTER (DECL_NAME (decl)),
2270 DECL_SOURCE_FILE (decl),
2271 DECL_SOURCE_LINE (decl));
2272 obstack_grow (&temporary_obstack, buffer, strlen (buffer));
2274 obstack_1grow (&temporary_obstack, '\0');
2275 report = obstack_finish (&temporary_obstack);
2276 cyclic_inheritance_report = ggc_strdup (report);
2277 obstack_free (&temporary_obstack, report);
2278 TYPE_SIZE (this_class) = error_mark_node;
2279 return;
2281 CLASS_BEING_LAIDOUT (this_class) = 1;
2283 if (super_class && !CLASS_BEING_LAIDOUT (super_class))
2285 tree maybe_super_class
2286 = maybe_layout_super_class (super_class, this_class);
2287 if (maybe_super_class == NULL
2288 || TREE_CODE (TYPE_SIZE (maybe_super_class)) == ERROR_MARK)
2290 TYPE_SIZE (this_class) = error_mark_node;
2291 CLASS_BEING_LAIDOUT (this_class) = 0;
2292 class_list = TREE_CHAIN (class_list);
2293 return;
2295 if (TYPE_SIZE (this_class) == NULL_TREE)
2296 push_super_field (this_class, maybe_super_class);
2299 layout_type (this_class);
2301 /* Also recursively load/layout any superinterfaces, but only if
2302 class was loaded from bytecode. The source parser will take care
2303 of this itself. */
2304 if (!CLASS_FROM_SOURCE_P (this_class))
2306 int i;
2307 if (TYPE_BINFO (this_class))
2309 for (i = BINFO_N_BASE_BINFOS (TYPE_BINFO (this_class)) - 1; i > 0; i--)
2311 tree binfo = BINFO_BASE_BINFO (TYPE_BINFO (this_class), i);
2312 tree super_interface = BINFO_TYPE (binfo);
2313 tree maybe_super_interface
2314 = maybe_layout_super_class (super_interface, NULL_TREE);
2315 if (maybe_super_interface == NULL
2316 || TREE_CODE (TYPE_SIZE (maybe_super_interface)) == ERROR_MARK)
2318 TYPE_SIZE (this_class) = error_mark_node;
2319 CLASS_BEING_LAIDOUT (this_class) = 0;
2320 class_list = TREE_CHAIN (class_list);
2321 return;
2327 /* Convert the size back to an SI integer value. */
2328 TYPE_SIZE_UNIT (this_class) =
2329 fold (convert (int_type_node, TYPE_SIZE_UNIT (this_class)));
2331 CLASS_BEING_LAIDOUT (this_class) = 0;
2332 class_list = TREE_CHAIN (class_list);
2335 static void
2336 add_miranda_methods (tree base_class, tree search_class)
2338 int i;
2339 tree binfo, base_binfo;
2341 if (!CLASS_PARSED_P (search_class))
2342 load_class (search_class, 1);
2344 for (binfo = TYPE_BINFO (search_class), i = 1;
2345 BINFO_BASE_ITERATE (binfo, i, base_binfo); i++)
2347 tree method_decl;
2348 tree elt = BINFO_TYPE (base_binfo);
2350 /* FIXME: This is totally bogus. We should not be handling
2351 Miranda methods at all if we're using the BC ABI. */
2352 if (TYPE_DUMMY (elt))
2353 continue;
2355 /* Ensure that interface methods are seen in declared order. */
2356 if (!CLASS_LOADED_P (elt))
2357 load_class (elt, 1);
2358 layout_class_methods (elt);
2360 /* All base classes will have been laid out at this point, so the order
2361 will be correct. This code must match similar layout code in the
2362 runtime. */
2363 for (method_decl = TYPE_METHODS (elt);
2364 method_decl; method_decl = TREE_CHAIN (method_decl))
2366 tree sig, override;
2368 /* An interface can have <clinit>. */
2369 if (ID_CLINIT_P (DECL_NAME (method_decl)))
2370 continue;
2372 sig = build_java_argument_signature (TREE_TYPE (method_decl));
2373 override = lookup_argument_method (base_class,
2374 DECL_NAME (method_decl), sig);
2375 if (override == NULL_TREE)
2377 /* Found a Miranda method. Add it. */
2378 tree new_method;
2379 sig = build_java_signature (TREE_TYPE (method_decl));
2380 new_method
2381 = add_method (base_class,
2382 get_access_flags_from_decl (method_decl),
2383 DECL_NAME (method_decl), sig);
2384 METHOD_INVISIBLE (new_method) = 1;
2388 /* Try superinterfaces. */
2389 add_miranda_methods (base_class, elt);
2393 void
2394 layout_class_methods (tree this_class)
2396 tree method_decl, dtable_count;
2397 tree super_class, type_name;
2399 if (TYPE_NVIRTUALS (this_class))
2400 return;
2402 super_class = CLASSTYPE_SUPER (this_class);
2404 if (super_class)
2406 super_class = maybe_layout_super_class (super_class, this_class);
2407 if (!TYPE_NVIRTUALS (super_class))
2408 layout_class_methods (super_class);
2409 dtable_count = TYPE_NVIRTUALS (super_class);
2411 else
2412 dtable_count = integer_zero_node;
2414 type_name = TYPE_NAME (this_class);
2415 if (!flag_indirect_dispatch
2416 && (CLASS_ABSTRACT (type_name) || CLASS_INTERFACE (type_name)))
2418 /* An abstract class can have methods which are declared only in
2419 an implemented interface. These are called "Miranda
2420 methods". We make a dummy method entry for such methods
2421 here. */
2422 add_miranda_methods (this_class, this_class);
2425 TYPE_METHODS (this_class) = nreverse (TYPE_METHODS (this_class));
2427 for (method_decl = TYPE_METHODS (this_class);
2428 method_decl; method_decl = TREE_CHAIN (method_decl))
2429 dtable_count = layout_class_method (this_class, super_class,
2430 method_decl, dtable_count);
2432 TYPE_NVIRTUALS (this_class) = dtable_count;
2435 /* Return the index of METHOD in INTERFACE. This index begins at 1
2436 and is used as an argument for _Jv_LookupInterfaceMethodIdx(). */
2438 get_interface_method_index (tree method, tree interface)
2440 tree meth;
2441 int i = 1;
2443 for (meth = TYPE_METHODS (interface); ; meth = TREE_CHAIN (meth))
2445 if (meth == method)
2446 return i;
2447 /* We don't want to put <clinit> into the interface table. */
2448 if (! ID_CLINIT_P (DECL_NAME (meth)))
2449 ++i;
2450 gcc_assert (meth != NULL_TREE);
2454 /* Lay METHOD_DECL out, returning a possibly new value of
2455 DTABLE_COUNT. Also mangle the method's name. */
2457 tree
2458 layout_class_method (tree this_class, tree super_class,
2459 tree method_decl, tree dtable_count)
2461 tree method_name = DECL_NAME (method_decl);
2463 TREE_PUBLIC (method_decl) = 1;
2464 /* Considered external unless it is being compiled into this object
2465 file. */
2466 DECL_EXTERNAL (method_decl) = ((is_compiled_class (this_class) != 2)
2467 || METHOD_NATIVE (method_decl));
2469 if (ID_INIT_P (method_name))
2471 const char *p = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (this_class)));
2472 const char *ptr;
2473 for (ptr = p; *ptr; )
2475 if (*ptr++ == '.')
2476 p = ptr;
2478 DECL_CONSTRUCTOR_P (method_decl) = 1;
2479 build_java_argument_signature (TREE_TYPE (method_decl));
2481 else if (! METHOD_STATIC (method_decl))
2483 tree method_sig =
2484 build_java_argument_signature (TREE_TYPE (method_decl));
2485 bool method_override = false;
2486 tree super_method = lookup_argument_method (super_class, method_name,
2487 method_sig);
2488 if (super_method != NULL_TREE
2489 && ! METHOD_DUMMY (super_method))
2491 method_override = true;
2492 if (! METHOD_PUBLIC (super_method) &&
2493 ! METHOD_PROTECTED (super_method))
2495 /* Don't override private method, or default-access method in
2496 another package. */
2497 if (METHOD_PRIVATE (super_method) ||
2498 ! in_same_package (TYPE_NAME (this_class),
2499 TYPE_NAME (super_class)))
2500 method_override = false;
2503 if (method_override)
2505 tree method_index = get_method_index (super_method);
2506 set_method_index (method_decl, method_index);
2507 if (method_index == NULL_TREE
2508 && ! flag_indirect_dispatch
2509 && !CLASS_FROM_SOURCE_P (this_class)
2510 && ! DECL_ARTIFICIAL (super_method))
2511 error ("non-static method %q+D overrides static method",
2512 method_decl);
2514 else if (this_class == object_type_node
2515 && (METHOD_FINAL (method_decl)
2516 || METHOD_PRIVATE (method_decl)))
2518 /* We don't generate vtable entries for final Object
2519 methods. This is simply to save space, since every
2520 object would otherwise have to define them. */
2522 else if (! METHOD_PRIVATE (method_decl)
2523 && dtable_count)
2525 /* We generate vtable entries for final methods because they
2526 may one day be changed to non-final. */
2527 set_method_index (method_decl, dtable_count);
2528 dtable_count = fold_build2 (PLUS_EXPR, integer_type_node,
2529 dtable_count, integer_one_node);
2533 return dtable_count;
2536 static void
2537 register_class (void)
2539 tree node;
2541 if (!registered_class)
2542 registered_class = VEC_alloc (tree, gc, 8);
2544 if (flag_indirect_classes)
2545 node = current_class;
2546 else
2547 node = TREE_OPERAND (build_class_ref (current_class), 0);
2548 VEC_safe_push (tree, gc, registered_class, node);
2551 /* Emit a function that calls _Jv_RegisterNewClasses with a list of
2552 all the classes we have emitted. */
2554 static void
2555 emit_indirect_register_classes (tree *list_p)
2557 tree klass, t, register_class_fn;
2558 int i;
2560 tree init = NULL_TREE;
2561 int size = VEC_length (tree, registered_class) * 2 + 1;
2562 tree class_array_type
2563 = build_prim_array_type (ptr_type_node, size);
2564 tree cdecl = build_decl (VAR_DECL, get_identifier ("_Jv_CLS"),
2565 class_array_type);
2566 tree reg_class_list;
2567 for (i = 0; VEC_iterate (tree, registered_class, i, klass); ++i)
2569 init = tree_cons (NULL_TREE,
2570 fold_convert (ptr_type_node,
2571 build_static_class_ref (klass)), init);
2572 init = tree_cons
2573 (NULL_TREE,
2574 fold_convert (ptr_type_node,
2575 build_address_of (build_classdollar_field (klass))),
2576 init);
2578 init = tree_cons (NULL_TREE, integer_zero_node, init);
2579 DECL_INITIAL (cdecl) = build_constructor_from_list (class_array_type,
2580 nreverse (init));
2581 TREE_CONSTANT (DECL_INITIAL (cdecl)) = 1;
2582 TREE_STATIC (cdecl) = 1;
2583 DECL_ARTIFICIAL (cdecl) = 1;
2584 DECL_IGNORED_P (cdecl) = 1;
2585 TREE_READONLY (cdecl) = 1;
2586 TREE_CONSTANT (cdecl) = 1;
2587 rest_of_decl_compilation (cdecl, 1, 0);
2588 reg_class_list = fold_convert (ptr_type_node, build_address_of (cdecl));
2590 t = build_function_type_list (void_type_node,
2591 build_pointer_type (ptr_type_node), NULL);
2592 t = build_decl (FUNCTION_DECL,
2593 get_identifier ("_Jv_RegisterNewClasses"), t);
2594 TREE_PUBLIC (t) = 1;
2595 DECL_EXTERNAL (t) = 1;
2596 register_class_fn = t;
2597 t = tree_cons (NULL, reg_class_list, NULL);
2598 t = build_function_call_expr (register_class_fn, t);
2599 append_to_statement_list (t, list_p);
2603 /* Emit something to register classes at start-up time.
2605 The preferred mechanism is through the .jcr section, which contain
2606 a list of pointers to classes which get registered during constructor
2607 invocation time.
2609 The fallback mechanism is to add statements to *LIST_P to call
2610 _Jv_RegisterClass for each class in this file. These statements will
2611 be added to a static constructor function for this translation unit. */
2613 void
2614 emit_register_classes (tree *list_p)
2616 if (registered_class == NULL)
2617 return;
2619 if (flag_indirect_classes)
2621 emit_indirect_register_classes (list_p);
2622 return;
2625 /* TARGET_USE_JCR_SECTION defaults to 1 if SUPPORTS_WEAK and
2626 TARGET_ASM_NAMED_SECTION, else 0. Some targets meet those conditions
2627 but lack suitable crtbegin/end objects or linker support. These
2628 targets can override the default in tm.h to use the fallback mechanism. */
2629 if (TARGET_USE_JCR_SECTION)
2631 tree klass, t;
2632 int i;
2634 #ifdef JCR_SECTION_NAME
2635 switch_to_section (get_section (JCR_SECTION_NAME, SECTION_WRITE, NULL));
2636 #else
2637 /* A target has defined TARGET_USE_JCR_SECTION,
2638 but doesn't have a JCR_SECTION_NAME. */
2639 gcc_unreachable ();
2640 #endif
2641 assemble_align (POINTER_SIZE);
2643 for (i = 0; VEC_iterate (tree, registered_class, i, klass); ++i)
2645 t = build_fold_addr_expr (klass);
2646 output_constant (t, POINTER_SIZE / BITS_PER_UNIT, POINTER_SIZE);
2649 else
2651 tree klass, t, register_class_fn;
2652 int i;
2654 t = build_function_type_list (void_type_node, class_ptr_type, NULL);
2655 t = build_decl (FUNCTION_DECL, get_identifier ("_Jv_RegisterClass"), t);
2656 TREE_PUBLIC (t) = 1;
2657 DECL_EXTERNAL (t) = 1;
2658 register_class_fn = t;
2660 for (i = 0; VEC_iterate (tree, registered_class, i, klass); ++i)
2662 t = build_fold_addr_expr (klass);
2663 t = tree_cons (NULL, t, NULL);
2664 t = build_function_call_expr (register_class_fn, t);
2665 append_to_statement_list (t, list_p);
2670 /* Make a symbol_type (_Jv_MethodSymbol) node for DECL. */
2672 static tree
2673 build_symbol_entry (tree decl)
2675 tree clname, name, signature, sym;
2676 clname = build_utf8_ref (DECL_NAME (TYPE_NAME (DECL_CONTEXT (decl))));
2677 /* ??? Constructors are given the name foo.foo all the way through
2678 the compiler, but in the method table they're all renamed
2679 foo.<init>. So, we have to do the same here unless we want an
2680 unresolved reference at runtime. */
2681 name = build_utf8_ref ((TREE_CODE (decl) == FUNCTION_DECL
2682 && DECL_CONSTRUCTOR_P (decl))
2683 ? init_identifier_node
2684 : DECL_NAME (decl));
2685 signature = build_java_signature (TREE_TYPE (decl));
2686 signature = build_utf8_ref (unmangle_classname
2687 (IDENTIFIER_POINTER (signature),
2688 IDENTIFIER_LENGTH (signature)));
2690 START_RECORD_CONSTRUCTOR (sym, symbol_type);
2691 PUSH_FIELD_VALUE (sym, "clname", clname);
2692 PUSH_FIELD_VALUE (sym, "name", name);
2693 PUSH_FIELD_VALUE (sym, "signature", signature);
2694 FINISH_RECORD_CONSTRUCTOR (sym);
2695 TREE_CONSTANT (sym) = 1;
2696 TREE_INVARIANT (sym) = 1;
2698 return sym;
2701 /* Emit a symbol table: used by -findirect-dispatch. */
2703 tree
2704 emit_symbol_table (tree name, tree the_table, tree decl_list,
2705 tree the_syms_decl, tree the_array_element_type,
2706 int element_size)
2708 tree method_list, method, table, list, null_symbol;
2709 tree table_size, the_array_type;
2710 int index;
2712 /* Only emit a table if this translation unit actually made any
2713 references via it. */
2714 if (decl_list == NULL_TREE)
2715 return the_table;
2717 /* Build a list of _Jv_MethodSymbols for each entry in otable_methods. */
2718 index = 0;
2719 method_list = decl_list;
2720 list = NULL_TREE;
2721 while (method_list != NULL_TREE)
2723 method = TREE_VALUE (method_list);
2724 list = tree_cons (NULL_TREE, build_symbol_entry (method), list);
2725 method_list = TREE_CHAIN (method_list);
2726 index++;
2729 /* Terminate the list with a "null" entry. */
2730 START_RECORD_CONSTRUCTOR (null_symbol, symbol_type);
2731 PUSH_FIELD_VALUE (null_symbol, "clname", null_pointer_node);
2732 PUSH_FIELD_VALUE (null_symbol, "name", null_pointer_node);
2733 PUSH_FIELD_VALUE (null_symbol, "signature", null_pointer_node);
2734 FINISH_RECORD_CONSTRUCTOR (null_symbol);
2735 TREE_CONSTANT (null_symbol) = 1;
2736 TREE_INVARIANT (null_symbol) = 1;
2737 list = tree_cons (NULL_TREE, null_symbol, list);
2739 /* Put the list in the right order and make it a constructor. */
2740 list = nreverse (list);
2741 table = build_constructor_from_list (symbols_array_type, list);
2743 /* Make it the initial value for otable_syms and emit the decl. */
2744 DECL_INITIAL (the_syms_decl) = table;
2745 DECL_ARTIFICIAL (the_syms_decl) = 1;
2746 DECL_IGNORED_P (the_syms_decl) = 1;
2747 rest_of_decl_compilation (the_syms_decl, 1, 0);
2749 /* Now that its size is known, redefine the table as an
2750 uninitialized static array of INDEX + 1 elements. The extra entry
2751 is used by the runtime to track whether the table has been
2752 initialized. */
2753 table_size
2754 = build_index_type (build_int_cst (NULL_TREE, index * element_size + 1));
2755 the_array_type = build_array_type (the_array_element_type, table_size);
2756 the_table = build_decl (VAR_DECL, name, the_array_type);
2757 TREE_STATIC (the_table) = 1;
2758 TREE_READONLY (the_table) = 1;
2759 rest_of_decl_compilation (the_table, 1, 0);
2761 return the_table;
2764 /* Make an entry for the catch_classes list. */
2765 tree
2766 make_catch_class_record (tree catch_class, tree classname)
2768 tree entry;
2769 tree type = TREE_TYPE (TREE_TYPE (TYPE_CTABLE_DECL (output_class)));
2770 START_RECORD_CONSTRUCTOR (entry, type);
2771 PUSH_FIELD_VALUE (entry, "address", catch_class);
2772 PUSH_FIELD_VALUE (entry, "classname", classname);
2773 FINISH_RECORD_CONSTRUCTOR (entry);
2774 return entry;
2778 /* Generate the list of Throwable classes that are caught by exception
2779 handlers in this class. */
2780 tree
2781 emit_catch_table (tree this_class)
2783 tree table, table_size, array_type;
2784 TYPE_CATCH_CLASSES (this_class) =
2785 tree_cons (NULL,
2786 make_catch_class_record (null_pointer_node, null_pointer_node),
2787 TYPE_CATCH_CLASSES (this_class));
2788 TYPE_CATCH_CLASSES (this_class) = nreverse (TYPE_CATCH_CLASSES (this_class));
2789 TYPE_CATCH_CLASSES (this_class) =
2790 tree_cons (NULL,
2791 make_catch_class_record (null_pointer_node, null_pointer_node),
2792 TYPE_CATCH_CLASSES (this_class));
2793 table_size = build_index_type
2794 (build_int_cst (NULL_TREE,
2795 list_length (TYPE_CATCH_CLASSES (this_class))));
2796 array_type
2797 = build_array_type (TREE_TYPE (TREE_TYPE (TYPE_CTABLE_DECL (this_class))),
2798 table_size);
2799 table =
2800 build_decl (VAR_DECL, DECL_NAME (TYPE_CTABLE_DECL (this_class)), array_type);
2801 DECL_INITIAL (table) =
2802 build_constructor_from_list (array_type, TYPE_CATCH_CLASSES (this_class));
2803 TREE_STATIC (table) = 1;
2804 TREE_READONLY (table) = 1;
2805 DECL_IGNORED_P (table) = 1;
2806 rest_of_decl_compilation (table, 1, 0);
2807 return table;
2810 /* Given a type, return the signature used by
2811 _Jv_FindClassFromSignature() in libgcj. This isn't exactly the
2812 same as build_java_signature() because we want the canonical array
2813 type. */
2815 static tree
2816 build_signature_for_libgcj (tree type)
2818 tree sig, ref;
2820 sig = build_java_signature (type);
2821 ref = build_utf8_ref (unmangle_classname (IDENTIFIER_POINTER (sig),
2822 IDENTIFIER_LENGTH (sig)));
2823 return ref;
2826 /* Add an entry to the type assertion table. Callback used during hashtable
2827 traversal. */
2829 static int
2830 add_assertion_table_entry (void **htab_entry, void *ptr)
2832 tree entry;
2833 tree code_val, op1_utf8, op2_utf8;
2834 tree *list = (tree *) ptr;
2835 type_assertion *as = (type_assertion *) *htab_entry;
2837 code_val = build_int_cst (NULL_TREE, as->assertion_code);
2839 if (as->op1 == NULL_TREE)
2840 op1_utf8 = null_pointer_node;
2841 else
2842 op1_utf8 = build_signature_for_libgcj (as->op1);
2844 if (as->op2 == NULL_TREE)
2845 op2_utf8 = null_pointer_node;
2846 else
2847 op2_utf8 = build_signature_for_libgcj (as->op2);
2849 START_RECORD_CONSTRUCTOR (entry, assertion_entry_type);
2850 PUSH_FIELD_VALUE (entry, "assertion_code", code_val);
2851 PUSH_FIELD_VALUE (entry, "op1", op1_utf8);
2852 PUSH_FIELD_VALUE (entry, "op2", op2_utf8);
2853 FINISH_RECORD_CONSTRUCTOR (entry);
2855 *list = tree_cons (NULL_TREE, entry, *list);
2856 return true;
2859 /* Generate the type assertion table for CLASS, and return its DECL. */
2861 static tree
2862 emit_assertion_table (tree class)
2864 tree null_entry, ctor, table_decl;
2865 tree list = NULL_TREE;
2866 htab_t assertions_htab = TYPE_ASSERTIONS (class);
2868 /* Iterate through the hash table. */
2869 htab_traverse (assertions_htab, add_assertion_table_entry, &list);
2871 /* Finish with a null entry. */
2872 START_RECORD_CONSTRUCTOR (null_entry, assertion_entry_type);
2873 PUSH_FIELD_VALUE (null_entry, "assertion_code", integer_zero_node);
2874 PUSH_FIELD_VALUE (null_entry, "op1", null_pointer_node);
2875 PUSH_FIELD_VALUE (null_entry, "op2", null_pointer_node);
2876 FINISH_RECORD_CONSTRUCTOR (null_entry);
2878 list = tree_cons (NULL_TREE, null_entry, list);
2880 /* Put the list in the right order and make it a constructor. */
2881 list = nreverse (list);
2882 ctor = build_constructor_from_list (assertion_table_type, list);
2884 table_decl = build_decl (VAR_DECL, mangled_classname ("_type_assert_", class),
2885 assertion_table_type);
2887 TREE_STATIC (table_decl) = 1;
2888 TREE_READONLY (table_decl) = 1;
2889 TREE_CONSTANT (table_decl) = 1;
2890 DECL_IGNORED_P (table_decl) = 1;
2892 DECL_INITIAL (table_decl) = ctor;
2893 DECL_ARTIFICIAL (table_decl) = 1;
2894 rest_of_decl_compilation (table_decl, 1, 0);
2896 return table_decl;
2899 void
2900 init_class_processing (void)
2902 fields_ident = get_identifier ("fields");
2903 info_ident = get_identifier ("info");
2905 gcc_obstack_init (&temporary_obstack);
2908 static hashval_t java_treetreehash_hash (const void *);
2909 static int java_treetreehash_compare (const void *, const void *);
2911 /* A hash table mapping trees to trees. Used generally. */
2913 #define JAVA_TREEHASHHASH_H(t) (htab_hash_pointer (t))
2915 static hashval_t
2916 java_treetreehash_hash (const void *k_p)
2918 struct treetreehash_entry *k = (struct treetreehash_entry *) k_p;
2919 return JAVA_TREEHASHHASH_H (k->key);
2922 static int
2923 java_treetreehash_compare (const void * k1_p, const void * k2_p)
2925 struct treetreehash_entry * k1 = (struct treetreehash_entry *) k1_p;
2926 tree k2 = (tree) k2_p;
2927 return (k1->key == k2);
2930 tree
2931 java_treetreehash_find (htab_t ht, tree t)
2933 struct treetreehash_entry *e;
2934 hashval_t hv = JAVA_TREEHASHHASH_H (t);
2935 e = htab_find_with_hash (ht, t, hv);
2936 if (e == NULL)
2937 return NULL;
2938 else
2939 return e->value;
2942 tree *
2943 java_treetreehash_new (htab_t ht, tree t)
2945 void **e;
2946 struct treetreehash_entry *tthe;
2947 hashval_t hv = JAVA_TREEHASHHASH_H (t);
2949 e = htab_find_slot_with_hash (ht, t, hv, INSERT);
2950 if (*e == NULL)
2952 tthe = (*ht->alloc_f) (1, sizeof (*tthe));
2953 tthe->key = t;
2954 *e = tthe;
2956 else
2957 tthe = (struct treetreehash_entry *) *e;
2958 return &tthe->value;
2961 htab_t
2962 java_treetreehash_create (size_t size, int gc)
2964 if (gc)
2965 return htab_create_ggc (size, java_treetreehash_hash,
2966 java_treetreehash_compare, NULL);
2967 else
2968 return htab_create_alloc (size, java_treetreehash_hash,
2969 java_treetreehash_compare, free, xcalloc, free);
2972 /* Break down qualified IDENTIFIER into package and class-name components.
2973 For example, given SOURCE "pkg.foo.Bar", LEFT will be set to
2974 "pkg.foo", and RIGHT to "Bar". */
2977 split_qualified_name (tree *left, tree *right, tree source)
2979 char *p, *base;
2980 int l = IDENTIFIER_LENGTH (source);
2982 base = alloca (l + 1);
2983 memcpy (base, IDENTIFIER_POINTER (source), l + 1);
2985 /* Breakdown NAME into REMAINDER . IDENTIFIER. */
2986 p = base + l - 1;
2987 while (*p != '.' && p != base)
2988 p--;
2990 /* We didn't find a '.'. Return an error. */
2991 if (p == base)
2992 return 1;
2994 *p = '\0';
2995 if (right)
2996 *right = get_identifier (p+1);
2997 *left = get_identifier (base);
2999 return 0;
3002 /* Given two classes (TYPE_DECL) or class names (IDENTIFIER), return TRUE
3003 if the classes are from the same package. */
3006 in_same_package (tree name1, tree name2)
3008 tree tmp;
3009 tree pkg1;
3010 tree pkg2;
3012 if (TREE_CODE (name1) == TYPE_DECL)
3013 name1 = DECL_NAME (name1);
3014 if (TREE_CODE (name2) == TYPE_DECL)
3015 name2 = DECL_NAME (name2);
3017 if (QUALIFIED_P (name1) != QUALIFIED_P (name2))
3018 /* One in empty package. */
3019 return 0;
3021 if (QUALIFIED_P (name1) == 0 && QUALIFIED_P (name2) == 0)
3022 /* Both in empty package. */
3023 return 1;
3025 split_qualified_name (&pkg1, &tmp, name1);
3026 split_qualified_name (&pkg2, &tmp, name2);
3028 return (pkg1 == pkg2);
3031 #include "gt-java-class.h"