Account for prologue spills in reg_pressure scheduling
[official-gcc.git] / gcc / java / lang.c
blobb64e4eaba06332ff63bd37a6c2b54e5c87a29c88
1 /* Java(TM) language-specific utility routines.
2 Copyright (C) 1996-2014 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
9 any later version.
11 GCC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>.
20 Java and all Java-based marks are trademarks or registered trademarks
21 of Sun Microsystems, Inc. in the United States and other countries.
22 The Free Software Foundation is independent of Sun Microsystems, Inc. */
24 /* Hacked by Per Bothner <bothner@cygnus.com> February 1996. */
26 #include "config.h"
27 #include "system.h"
28 #include "coretypes.h"
29 #include "tm.h"
30 #include "tree.h"
31 #include "input.h"
32 #include "java-tree.h"
33 #include "jcf.h"
34 #include "langhooks.h"
35 #include "langhooks-def.h"
36 #include "flags.h"
37 #include "ggc.h"
38 #include "diagnostic.h"
39 #include "tree-inline.h"
40 #include "splay-tree.h"
41 #include "tree-dump.h"
42 #include "opts.h"
43 #include "options.h"
44 #include "target.h"
45 #include "context.h"
47 static bool java_init (void);
48 static void java_finish (void);
49 static unsigned int java_option_lang_mask (void);
50 static void java_init_options_struct (struct gcc_options *);
51 static void java_init_options (unsigned int, struct cl_decoded_option *);
52 static bool java_post_options (const char **);
54 static bool java_handle_option (size_t, const char *, int, int, location_t,
55 const struct cl_option_handlers *);
56 static void put_decl_string (const char *, int);
57 static void put_decl_node (tree, int);
58 static void java_print_error_function (diagnostic_context *, const char *,
59 diagnostic_info *);
60 static bool java_dump_tree (void *, tree);
61 static void dump_compound_expr (dump_info_p, tree);
62 static bool java_decl_ok_for_sibcall (const_tree);
64 static enum classify_record java_classify_record (tree type);
66 static tree java_eh_personality (void);
68 #ifndef TARGET_OBJECT_SUFFIX
69 # define TARGET_OBJECT_SUFFIX ".o"
70 #endif
72 /* Table of machine-independent attributes. */
73 const struct attribute_spec java_attribute_table[] =
75 { "nonnull", 0, -1, false, true, true,
76 NULL, false },
77 { NULL, 0, 0, false, false, false, NULL, false }
80 /* Used to avoid printing error messages with bogus function
81 prototypes. Starts out false. */
82 static bool inhibit_error_function_printing;
84 const char *resource_name;
86 /* When nonzero, -Wall was turned on. */
87 int flag_wall = 0;
89 /* When nonzero, report use of deprecated classes, methods, or fields. */
90 int flag_deprecated = 1;
92 /* When zero, don't optimize static class initialization. This flag shouldn't
93 be tested alone, use STATIC_CLASS_INITIALIZATION_OPTIMIZATION_P instead. */
94 /* FIXME: Make this work with gimplify. */
95 /* int flag_optimize_sci = 0; */
97 /* Don't attempt to verify invocations. */
98 int flag_verify_invocations = 0;
100 /* When nonzero, print extra version information. */
101 static int v_flag = 0;
103 JCF *current_jcf;
105 /* Variable controlling how dependency tracking is enabled in
106 java_init. */
107 static int dependency_tracking = 0;
109 /* Flag values for DEPENDENCY_TRACKING. */
110 #define DEPEND_SET_FILE 1
111 #define DEPEND_ENABLE 2
112 #define DEPEND_TARGET_SET 4
113 #define DEPEND_FILE_ALREADY_SET 8
115 struct GTY(()) language_function {
116 int unused;
119 #undef LANG_HOOKS_NAME
120 #define LANG_HOOKS_NAME "GNU Java"
121 #undef LANG_HOOKS_INIT
122 #define LANG_HOOKS_INIT java_init
123 #undef LANG_HOOKS_FINISH
124 #define LANG_HOOKS_FINISH java_finish
125 #undef LANG_HOOKS_OPTION_LANG_MASK
126 #define LANG_HOOKS_OPTION_LANG_MASK java_option_lang_mask
127 #undef LANG_HOOKS_INIT_OPTIONS_STRUCT
128 #define LANG_HOOKS_INIT_OPTIONS_STRUCT java_init_options_struct
129 #undef LANG_HOOKS_INIT_OPTIONS
130 #define LANG_HOOKS_INIT_OPTIONS java_init_options
131 #undef LANG_HOOKS_HANDLE_OPTION
132 #define LANG_HOOKS_HANDLE_OPTION java_handle_option
133 #undef LANG_HOOKS_POST_OPTIONS
134 #define LANG_HOOKS_POST_OPTIONS java_post_options
135 #undef LANG_HOOKS_PARSE_FILE
136 #define LANG_HOOKS_PARSE_FILE java_parse_file
137 #undef LANG_HOOKS_DUP_LANG_SPECIFIC_DECL
138 #define LANG_HOOKS_DUP_LANG_SPECIFIC_DECL java_dup_lang_specific_decl
139 #undef LANG_HOOKS_DECL_PRINTABLE_NAME
140 #define LANG_HOOKS_DECL_PRINTABLE_NAME lang_printable_name
141 #undef LANG_HOOKS_PRINT_ERROR_FUNCTION
142 #define LANG_HOOKS_PRINT_ERROR_FUNCTION java_print_error_function
143 #undef LANG_HOOKS_WRITE_GLOBALS
144 #define LANG_HOOKS_WRITE_GLOBALS java_write_globals
146 #undef LANG_HOOKS_TYPE_FOR_MODE
147 #define LANG_HOOKS_TYPE_FOR_MODE java_type_for_mode
148 #undef LANG_HOOKS_TYPE_FOR_SIZE
149 #define LANG_HOOKS_TYPE_FOR_SIZE java_type_for_size
150 #undef LANG_HOOKS_CLASSIFY_RECORD
151 #define LANG_HOOKS_CLASSIFY_RECORD java_classify_record
153 #undef LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN
154 #define LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN java_dump_tree
156 #undef LANG_HOOKS_GIMPLIFY_EXPR
157 #define LANG_HOOKS_GIMPLIFY_EXPR java_gimplify_expr
159 #undef LANG_HOOKS_DECL_OK_FOR_SIBCALL
160 #define LANG_HOOKS_DECL_OK_FOR_SIBCALL java_decl_ok_for_sibcall
162 #undef LANG_HOOKS_SET_DECL_ASSEMBLER_NAME
163 #define LANG_HOOKS_SET_DECL_ASSEMBLER_NAME java_mangle_decl
165 #undef LANG_HOOKS_ATTRIBUTE_TABLE
166 #define LANG_HOOKS_ATTRIBUTE_TABLE java_attribute_table
168 #undef LANG_HOOKS_EH_PERSONALITY
169 #define LANG_HOOKS_EH_PERSONALITY java_eh_personality
171 #undef LANG_HOOKS_EH_USE_CXA_END_CLEANUP
172 #define LANG_HOOKS_EH_USE_CXA_END_CLEANUP true
174 /* Each front end provides its own. */
175 struct lang_hooks lang_hooks = LANG_HOOKS_INITIALIZER;
178 * process java-specific compiler command-line options
179 * return false, but do not complain if the option is not recognized.
181 static bool
182 java_handle_option (size_t scode, const char *arg, int value,
183 int kind ATTRIBUTE_UNUSED, location_t loc ATTRIBUTE_UNUSED,
184 const struct cl_option_handlers *handlers ATTRIBUTE_UNUSED)
186 enum opt_code code = (enum opt_code) scode;
188 switch (code)
190 case OPT_I:
191 jcf_path_include_arg (arg);
192 break;
194 case OPT_M:
195 jcf_dependency_init (1);
196 dependency_tracking |= DEPEND_ENABLE;
197 break;
199 case OPT_MD_:
200 jcf_dependency_init (1);
201 dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
202 break;
204 case OPT_MF:
205 jcf_dependency_set_dep_file (arg);
206 dependency_tracking |= DEPEND_FILE_ALREADY_SET;
207 break;
209 case OPT_MM:
210 jcf_dependency_init (0);
211 dependency_tracking |= DEPEND_ENABLE;
212 break;
214 case OPT_MMD_:
215 jcf_dependency_init (0);
216 dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
217 break;
219 case OPT_MP:
220 jcf_dependency_print_dummies ();
221 break;
223 case OPT_MT:
224 jcf_dependency_set_target (arg);
225 dependency_tracking |= DEPEND_TARGET_SET;
226 break;
228 case OPT_Wall:
229 flag_wall = value;
230 /* When -Wall given, enable -Wunused. We do this because the C
231 compiler does it, and people expect it. */
232 warn_unused = value;
233 break;
235 case OPT_fenable_assertions_:
236 add_enable_assert (arg, value);
237 break;
239 case OPT_fenable_assertions:
240 add_enable_assert ("", value);
241 break;
243 case OPT_fdisable_assertions_:
244 add_enable_assert (arg, !value);
245 break;
247 case OPT_fdisable_assertions:
248 add_enable_assert ("", !value);
249 break;
251 case OPT_fassume_compiled_:
252 add_assume_compiled (arg, !value);
253 break;
255 case OPT_fassume_compiled:
256 add_assume_compiled ("", !value);
257 break;
259 case OPT_fbootclasspath_:
260 jcf_path_bootclasspath_arg (arg);
261 break;
263 case OPT_faux_classpath:
264 case OPT_fclasspath_:
265 jcf_path_classpath_arg (arg);
266 break;
268 case OPT_fcompile_resource_:
269 resource_name = arg;
270 break;
272 case OPT_fdump_:
273 if (!g->get_dumps ()->dump_switch_p (arg))
274 return false;
275 break;
277 case OPT_fencoding_:
278 /* Nothing. */
279 break;
281 case OPT_fextdirs_:
282 jcf_path_extdirs_arg (arg);
283 break;
285 case OPT_foutput_class_dir_:
286 /* FIXME: remove; this is handled by ecj1 now. */
287 break;
289 case OPT_version:
290 v_flag = 1;
291 break;
293 case OPT_fsource_filename_:
294 java_read_sourcefilenames (arg);
295 break;
297 default:
298 if (cl_options[code].flags & CL_Java)
299 break;
300 gcc_unreachable ();
303 return true;
306 /* Global open file. */
307 FILE *finput;
309 static bool
310 java_init (void)
312 /* FIXME: Indirect dispatch isn't yet compatible with static class
313 init optimization. */
314 if (flag_indirect_dispatch)
315 always_initialize_class_p = true;
317 if (!flag_indirect_dispatch)
318 flag_indirect_classes = false;
320 jcf_path_seal (v_flag);
322 java_init_decl_processing ();
324 using_eh_for_cleanups ();
326 return true;
329 static void
330 java_finish (void)
332 jcf_dependency_write ();
335 /* Buffer used by lang_printable_name. */
336 static char *decl_buf = NULL;
338 /* Allocated size of decl_buf. */
339 static int decl_buflen = 0;
341 /* Length of used part of decl_buf; position for next character. */
342 static int decl_bufpos = 0;
344 /* Append the string STR to decl_buf.
345 It length is given by LEN; -1 means the string is nul-terminated. */
347 static void
348 put_decl_string (const char *str, int len)
350 if (len < 0)
351 len = strlen (str);
352 if (decl_bufpos + len >= decl_buflen)
354 if (decl_buf == NULL)
356 decl_buflen = len + 100;
357 decl_buf = XNEWVEC (char, decl_buflen);
359 else
361 decl_buflen *= 2;
362 decl_buf = XRESIZEVAR (char, decl_buf, decl_buflen);
365 strcpy (decl_buf + decl_bufpos, str);
366 decl_bufpos += len;
369 /* Append to decl_buf a printable name for NODE.
370 Depending on VERBOSITY, more information about NODE
371 is printed. Read the comments of decl_printable_name in
372 langhooks.h for more. */
374 static void
375 put_decl_node (tree node, int verbosity)
377 int was_pointer = 0;
378 if (TREE_CODE (node) == POINTER_TYPE)
380 node = TREE_TYPE (node);
381 was_pointer = 1;
383 if (DECL_P (node) && DECL_NAME (node) != NULL_TREE)
385 if (TREE_CODE (node) == FUNCTION_DECL)
387 if (verbosity == 0 && DECL_NAME (node))
388 /* We have been instructed to just print the bare name
389 of the function. */
391 put_decl_node (DECL_NAME (node), 0);
392 return;
395 /* We want to print the type the DECL belongs to. We don't do
396 that when we handle constructors. */
397 if (! DECL_CONSTRUCTOR_P (node)
398 && ! DECL_ARTIFICIAL (node) && DECL_CONTEXT (node)
399 /* We want to print qualified DECL names only
400 if verbosity is higher than 1. */
401 && verbosity >= 1)
403 put_decl_node (TREE_CODE (DECL_CONTEXT (node)) == FUNCTION_DECL
404 ? DECL_CONTEXT (node)
405 : TYPE_NAME (DECL_CONTEXT (node)),
406 verbosity);
407 put_decl_string (".", 1);
409 if (! DECL_CONSTRUCTOR_P (node))
410 put_decl_node (DECL_NAME (node), verbosity);
411 if (TREE_TYPE (node) != NULL_TREE
412 /* We want to print function parameters only if verbosity
413 is higher than 2. */
414 && verbosity >= 2)
416 int i = 0;
417 tree args = TYPE_ARG_TYPES (TREE_TYPE (node));
418 if (TREE_CODE (TREE_TYPE (node)) == METHOD_TYPE)
419 args = TREE_CHAIN (args);
420 put_decl_string ("(", 1);
421 for ( ; args != NULL_TREE && args != end_params_node;
422 args = TREE_CHAIN (args), i++)
424 if (i > 0)
425 put_decl_string (",", 1);
426 put_decl_node (TREE_VALUE (args), verbosity);
428 put_decl_string (")", 1);
431 else
432 put_decl_node (DECL_NAME (node), verbosity);
434 else if (TYPE_P (node) && TYPE_NAME (node) != NULL_TREE)
436 if (TREE_CODE (node) == RECORD_TYPE && TYPE_ARRAY_P (node)
437 /* Print detailed array information only if verbosity is higher
438 than 2. */
439 && verbosity >= 2)
441 put_decl_node (TYPE_ARRAY_ELEMENT (node), verbosity);
442 put_decl_string("[]", 2);
444 else if (node == promoted_byte_type_node)
445 put_decl_string ("byte", 4);
446 else if (node == promoted_short_type_node)
447 put_decl_string ("short", 5);
448 else if (node == promoted_char_type_node)
449 put_decl_string ("char", 4);
450 else if (node == promoted_boolean_type_node)
451 put_decl_string ("boolean", 7);
452 else if (node == void_type_node && was_pointer)
453 put_decl_string ("null", 4);
454 else
455 put_decl_node (TYPE_NAME (node), verbosity);
457 else if (TREE_CODE (node) == IDENTIFIER_NODE)
458 put_decl_string (IDENTIFIER_POINTER (node), IDENTIFIER_LENGTH (node));
459 else
460 put_decl_string ("<unknown>", -1);
463 /* Return a user-friendly name for DECL.
464 The resulting string is only valid until the next call.
465 The value of the hook decl_printable_name is this function,
466 which is also called directly by java_print_error_function. */
468 const char *
469 lang_printable_name (tree decl, int v)
471 decl_bufpos = 0;
472 put_decl_node (decl, v);
473 put_decl_string ("", 1);
474 return decl_buf;
477 /* Print on stderr the current class and method context. This function
478 is the value of the hook print_error_function. */
480 static GTY(()) tree last_error_function_context;
481 static GTY(()) tree last_error_function;
482 static void
483 java_print_error_function (diagnostic_context *context ATTRIBUTE_UNUSED,
484 const char *file,
485 diagnostic_info *diagnostic ATTRIBUTE_UNUSED)
487 /* Don't print error messages with bogus function prototypes. */
488 if (inhibit_error_function_printing)
489 return;
491 if (current_function_decl != NULL
492 && DECL_CONTEXT (current_function_decl) != NULL
493 && DECL_CONTEXT (current_function_decl) != last_error_function_context)
495 if (file)
496 fprintf (stderr, "%s: ", file);
498 last_error_function_context = DECL_CONTEXT (current_function_decl);
499 fprintf (stderr, "In class '%s':\n",
500 lang_printable_name (last_error_function_context, 0));
502 if (last_error_function != current_function_decl)
504 if (file)
505 fprintf (stderr, "%s: ", file);
507 if (current_function_decl == NULL)
508 fprintf (stderr, "At top level:\n");
509 else
511 const char *name = lang_printable_name (current_function_decl, 2);
512 fprintf (stderr, "In %s '%s':\n",
513 (DECL_CONSTRUCTOR_P (current_function_decl) ? "constructor"
514 : "method"),
515 name);
518 last_error_function = current_function_decl;
523 /* Called to install the PRINT_ERROR_FUNCTION hook differently
524 according to LEVEL. LEVEL is 1 during early parsing, when function
525 prototypes aren't fully resolved. java_print_error_function is set
526 so it doesn't print incomplete function prototypes. When LEVEL is
527 2, function prototypes are fully resolved and can be printed when
528 reporting errors. */
530 void
531 lang_init_source (int level)
533 inhibit_error_function_printing = (level == 1);
536 static unsigned int
537 java_option_lang_mask (void)
539 return CL_Java;
542 /* Initialize options structure OPTS. */
544 static void
545 java_init_options_struct (struct gcc_options *opts)
547 opts->x_flag_bounds_check = 1;
548 opts->x_flag_exceptions = 1;
549 opts->x_flag_non_call_exceptions = 1;
551 /* In Java floating point operations never trap. */
552 opts->x_flag_trapping_math = 0;
553 opts->frontend_set_flag_trapping_math = true;
555 /* In Java arithmetic overflow always wraps around. */
556 opts->x_flag_wrapv = 1;
558 /* Java requires left-to-right evaluation of subexpressions. */
559 opts->x_flag_evaluation_order = 1;
561 /* Java catches NULL pointer exceptions, thus we can not necessarily
562 rely on a pointer having a non-NULL value after a dereference. */
563 opts->x_flag_delete_null_pointer_checks = 0;
566 static void
567 java_init_options (unsigned int decoded_options_count ATTRIBUTE_UNUSED,
568 struct cl_decoded_option *decoded_options ATTRIBUTE_UNUSED)
570 jcf_path_init ();
573 /* Post-switch processing. */
574 static bool
575 java_post_options (const char **pfilename)
577 const char *filename = *pfilename;
579 /* Excess precision other than "fast" requires front-end
580 support. */
581 if (flag_excess_precision_cmdline == EXCESS_PRECISION_STANDARD
582 && TARGET_FLT_EVAL_METHOD_NON_DEFAULT)
583 sorry ("-fexcess-precision=standard for Java");
584 flag_excess_precision_cmdline = EXCESS_PRECISION_FAST;
586 /* An absolute requirement: if we're not using indirect dispatch, we
587 must always verify everything. */
588 if (! flag_indirect_dispatch)
589 flag_verify_invocations = true;
591 if (flag_reduced_reflection)
593 if (flag_indirect_dispatch)
594 error ("-findirect-dispatch is incompatible "
595 "with -freduced-reflection");
596 if (flag_jni)
597 error ("-fjni is incompatible with -freduced-reflection");
600 /* Open input file. */
602 if (filename == 0 || !strcmp (filename, "-"))
604 finput = stdin;
605 filename = "stdin";
607 if (dependency_tracking)
608 error ("can%'t do dependency tracking with input from stdin");
610 else
612 if (dependency_tracking)
614 const char *dot;
616 /* If the target is set and the output filename is set, then
617 there's no processing to do here. Otherwise we must
618 compute one or the other. */
619 if (! ((dependency_tracking & DEPEND_TARGET_SET)
620 && (dependency_tracking & DEPEND_FILE_ALREADY_SET)))
622 dot = strrchr (filename, '.');
623 if (dot == NULL)
624 error ("couldn%'t determine target name for dependency tracking");
625 else
627 char *buf = XNEWVEC (char, dot - filename +
628 3 + sizeof (TARGET_OBJECT_SUFFIX));
629 strncpy (buf, filename, dot - filename);
631 /* If emitting class files, we might have multiple
632 targets. The class generation code takes care of
633 registering them. Otherwise we compute the
634 target name here. */
635 if ((dependency_tracking & DEPEND_TARGET_SET))
636 ; /* Nothing. */
637 else
639 strcpy (buf + (dot - filename), TARGET_OBJECT_SUFFIX);
640 jcf_dependency_set_target (buf);
643 if ((dependency_tracking & DEPEND_FILE_ALREADY_SET))
644 ; /* Nothing. */
645 else if ((dependency_tracking & DEPEND_SET_FILE))
647 strcpy (buf + (dot - filename), ".d");
648 jcf_dependency_set_dep_file (buf);
650 else
651 jcf_dependency_set_dep_file ("-");
653 free (buf);
658 linemap_add (line_table, LC_ENTER, false, filename, 0);
659 linemap_add (line_table, LC_RENAME, false, "<built-in>", 0);
661 /* Initialize the compiler back end. */
662 return false;
665 /* Return either DECL or its known constant value (if it has one). */
667 tree
668 decl_constant_value (tree decl)
670 if (/* Don't change a variable array bound or initial value to a constant
671 in a place where a variable is invalid. */
672 current_function_decl != 0
673 && ! TREE_THIS_VOLATILE (decl)
674 && TREE_READONLY (decl)
675 && DECL_INITIAL (decl) != 0
676 && TREE_CODE (DECL_INITIAL (decl)) != ERROR_MARK
677 /* This is invalid if initial value is not constant.
678 If it has either a function call, a memory reference,
679 or a variable, then re-evaluating it could give different results. */
680 && TREE_CONSTANT (DECL_INITIAL (decl))
681 /* Check for cases where this is sub-optimal, even though valid. */
682 && TREE_CODE (DECL_INITIAL (decl)) != CONSTRUCTOR)
683 return DECL_INITIAL (decl);
684 return decl;
687 /* Every call to a static constructor has an associated boolean
688 variable which is in the outermost scope of the calling method.
689 This variable is used to avoid multiple calls to the static
690 constructor for each class.
692 It looks something like this:
694 foo ()
696 boolean dummy = OtherClass.is_initialized;
700 if (! dummy)
701 OtherClass.initialize();
703 ... use OtherClass.data ...
706 Each of these boolean variables has an entry in the
707 DECL_FUNCTION_INIT_TEST_TABLE of a method. When inlining a method
708 we must merge the DECL_FUNCTION_INIT_TEST_TABLE from the function
709 being inlined and create the boolean variables in the outermost
710 scope of the method being inlined into. */
712 /* Create a mapping from a boolean variable in a method being inlined
713 to one in the scope of the method being inlined into. */
716 merge_init_test_initialization (treetreehash_entry **entry, void *x)
718 struct treetreehash_entry *ite = *entry;
719 splay_tree decl_map = (splay_tree)x;
720 splay_tree_node n;
721 tree *init_test_decl;
723 /* See if we have remapped this declaration. If we haven't there's
724 a bug in the inliner. */
725 n = splay_tree_lookup (decl_map, (splay_tree_key) ite->value);
726 gcc_assert (n);
728 /* Create a new entry for the class and its remapped boolean
729 variable. If we already have a mapping for this class we've
730 already initialized it, so don't overwrite the value. */
731 init_test_decl = java_treetreehash_new
732 (DECL_FUNCTION_INIT_TEST_TABLE (current_function_decl), ite->key);
733 if (!*init_test_decl)
734 *init_test_decl = (tree)n->value;
736 /* This fixes a weird case.
738 The front end assumes that once we have called a method that
739 initializes some class, we can assume the class is initialized. It
740 does this by setting the DECL_INITIAL of the init_test_decl for that
741 class, and no initializations are emitted for that class.
743 However, what if the method that is supposed to do the initialization
744 is itself inlined in the caller? When expanding the called method
745 we'll assume that the class initialization has already been done,
746 because the DECL_INITIAL of the init_test_decl is set.
748 To fix this we remove the DECL_INITIAL (in the caller scope) of all
749 the init_test_decls corresponding to classes initialized by the
750 inlined method. This makes the caller no longer assume that the
751 method being inlined does any class initializations. */
752 DECL_INITIAL (*init_test_decl) = NULL;
754 return true;
757 /* Merge the DECL_FUNCTION_INIT_TEST_TABLE from the function we're
758 inlining. */
760 void
761 java_inlining_merge_static_initializers (tree fn, void *decl_map)
763 DECL_FUNCTION_INIT_TEST_TABLE (fn)
764 ->traverse<void *, merge_init_test_initialization> (decl_map);
767 /* Lookup a DECL_FUNCTION_INIT_TEST_TABLE entry in the method we're
768 inlining into. If we already have a corresponding entry in that
769 class we don't need to create another one, so we create a mapping
770 from the variable in the inlined class to the corresponding
771 pre-existing one. */
774 inline_init_test_initialization (treetreehash_entry **entry, void *x)
776 struct treetreehash_entry *ite = *entry;
777 splay_tree decl_map = (splay_tree)x;
779 tree h = java_treetreehash_find
780 (DECL_FUNCTION_INIT_TEST_TABLE (current_function_decl), ite->key);
781 if (! h)
782 return true;
783 splay_tree_insert (decl_map,
784 (splay_tree_key) ite->value,
785 (splay_tree_value) h);
786 return true;
789 /* Look up the boolean variables in the DECL_FUNCTION_INIT_TEST_TABLE
790 of a method being inlined. For each hone, if we already have a
791 variable associated with the same class in the method being inlined
792 into, create a new mapping for it. */
794 void
795 java_inlining_map_static_initializers (tree fn, void *decl_map)
797 DECL_FUNCTION_INIT_TEST_TABLE (fn)
798 ->traverse<void *, inline_init_test_initialization> (decl_map);
801 /* Avoid voluminous output for deep recursion of compound exprs. */
803 static void
804 dump_compound_expr (dump_info_p di, tree t)
806 int i;
808 for (i=0; i<2; i++)
810 switch (TREE_CODE (TREE_OPERAND (t, i)))
812 case COMPOUND_EXPR:
813 dump_compound_expr (di, TREE_OPERAND (t, i));
814 break;
816 default:
817 dump_child ("expr", TREE_OPERAND (t, i));
822 static bool
823 java_dump_tree (void *dump_info, tree t)
825 enum tree_code code;
826 dump_info_p di = (dump_info_p) dump_info;
828 /* Figure out what kind of node this is. */
829 code = TREE_CODE (t);
831 switch (code)
833 case FUNCTION_DECL:
834 dump_child ("args", DECL_ARGUMENTS (t));
835 if (DECL_EXTERNAL (t))
836 dump_string (di, "undefined");
837 if (TREE_PUBLIC (t))
838 dump_string (di, "extern");
839 else
840 dump_string (di, "static");
841 if (DECL_LANG_SPECIFIC (t) && !dump_flag (di, TDF_SLIM, t))
842 dump_child ("inline body", DECL_SAVED_TREE (t));
843 return true;
845 case RETURN_EXPR:
846 dump_child ("expr", TREE_OPERAND (t, 0));
847 return true;
849 case GOTO_EXPR:
850 dump_child ("goto", TREE_OPERAND (t, 0));
851 return true;
853 case LABEL_EXPR:
854 dump_child ("label", TREE_OPERAND (t, 0));
855 return true;
857 case BLOCK:
858 if (BLOCK_EXPR_BODY (t))
860 tree local = BLOCK_VARS (t);
861 while (local)
863 tree next = TREE_CHAIN (local);
864 dump_child ("var", local);
865 local = next;
869 tree block = BLOCK_EXPR_BODY (t);
870 dump_child ("body", block);
871 block = TREE_CHAIN (block);
874 return true;
876 case COMPOUND_EXPR:
877 if (!dump_flag (di, TDF_SLIM, t))
878 return false;
879 dump_compound_expr (di, t);
880 return true;
882 default:
883 break;
885 return false;
888 /* Java calls can't, in general, be sibcalls because we need an
889 accurate stack trace in order to guarantee correct operation of
890 methods such as Class.forName(String) and
891 SecurityManager.getClassContext(). */
893 static bool
894 java_decl_ok_for_sibcall (const_tree decl)
896 return (decl != NULL && DECL_CONTEXT (decl) == output_class
897 && !DECL_UNINLINABLE (decl));
900 static enum classify_record
901 java_classify_record (tree type)
903 if (! CLASS_P (type))
904 return RECORD_IS_STRUCT;
906 if (CLASS_INTERFACE (TYPE_NAME (type)))
907 return RECORD_IS_INTERFACE;
909 return RECORD_IS_CLASS;
912 static GTY(()) tree java_eh_personality_decl;
914 static tree
915 java_eh_personality (void)
917 if (!java_eh_personality_decl)
918 java_eh_personality_decl = build_personality_function ("gcj");
919 return java_eh_personality_decl;
922 #include "gt-java-lang.h"