1 /* Java(TM) language-specific utility routines.
2 Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
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)
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, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, 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 /* Hacked by Per Bothner <bothner@cygnus.com> February 1996. */
30 #include "coretypes.h"
36 #include "java-tree.h"
39 #include "langhooks.h"
40 #include "langhooks-def.h"
44 #include "diagnostic.h"
45 #include "tree-inline.h"
46 #include "splay-tree.h"
47 #include "tree-dump.h"
51 static bool java_init (void);
52 static void java_finish (void);
53 static unsigned int java_init_options (unsigned int, const char **);
54 static bool java_post_options (const char **);
56 static int java_handle_option (size_t scode
, const char *arg
, int value
);
57 static void put_decl_string (const char *, int);
58 static void put_decl_node (tree
);
59 static void java_print_error_function (diagnostic_context
*, const char *);
60 static tree
java_tree_inlining_walk_subtrees (tree
*, int *, walk_tree_fn
,
62 static int java_unsafe_for_reeval (tree
);
63 static int merge_init_test_initialization (void * *, void *);
64 static int inline_init_test_initialization (void * *, void *);
65 static bool java_can_use_bit_fields_p (void);
66 static bool java_dump_tree (void *, tree
);
67 static void dump_compound_expr (dump_info_p
, tree
);
68 static bool java_decl_ok_for_sibcall (tree
);
69 static int java_estimate_num_insns (tree
);
71 #ifndef TARGET_OBJECT_SUFFIX
72 # define TARGET_OBJECT_SUFFIX ".o"
75 /* Table indexed by tree code giving a string containing a character
76 classifying the tree code. Possibilities are
77 t, d, s, c, r, <, 1 and 2. See java/java-tree.def for details. */
79 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE,
81 const char tree_code_type
[] = {
84 #include "java-tree.def"
88 /* Table indexed by tree code giving number of expression
89 operands beyond the fixed part of the node structure.
90 Not used for types or decls. */
92 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) LENGTH,
94 const unsigned char tree_code_length
[] = {
97 #include "java-tree.def"
101 /* Names of tree components.
102 Used for printing out the tree and error messages. */
103 #define DEFTREECODE(SYM, NAME, TYPE, LEN) NAME,
105 const char *const tree_code_name
[] = {
108 #include "java-tree.def"
112 /* Used to avoid printing error messages with bogus function
113 prototypes. Starts out false. */
114 static bool inhibit_error_function_printing
;
116 int compiling_from_source
;
118 const char *resource_name
;
120 int flag_emit_class_files
= 0;
122 /* Nonzero if input file is a file with a list of filenames to compile. */
124 int flag_filelist_file
= 0;
126 /* When nonzero, we emit xref strings. Values of the flag for xref
127 backends are defined in xref_flag_table, xref.c. */
129 int flag_emit_xref
= 0;
131 /* When nonzero, -Wall was turned on. */
134 /* When nonzero, check for redundant modifier uses. */
135 int flag_redundant
= 0;
137 /* When nonzero, call a library routine to do integer divisions. */
138 int flag_use_divide_subroutine
= 1;
140 /* When nonzero, generate code for the Boehm GC. */
141 int flag_use_boehm_gc
= 0;
143 /* When nonzero, assume the runtime uses a hash table to map an
144 object to its synchronization structure. */
145 int flag_hash_synchronization
;
147 /* When nonzero, permit the use of the assert keyword. */
150 /* When nonzero, assume all native functions are implemented with
154 /* When nonzero, warn when source file is newer than matching class
158 /* When nonzero, generate checks for references to NULL. */
159 int flag_check_references
= 0;
161 /* The encoding of the source file. */
162 const char *current_encoding
= NULL
;
164 /* When nonzero, report the now deprecated empty statements. */
165 int flag_extraneous_semicolon
;
167 /* When nonzero, report use of deprecated classes, methods, or fields. */
168 int flag_deprecated
= 1;
170 /* When nonzero, always check for a non gcj generated classes archive. */
171 int flag_force_classes_archive_check
;
173 /* When zero, don't optimize static class initialization. This flag shouldn't
174 be tested alone, use STATIC_CLASS_INITIALIZATION_OPTIMIZATION_P instead. */
175 int flag_optimize_sci
= 1;
177 /* When nonzero, use offset tables for virtual method calls
178 in order to improve binary compatibility. */
179 int flag_indirect_dispatch
= 0;
181 /* When zero, don't generate runtime array store checks. */
182 int flag_store_check
= 1;
184 /* When nonzero, print extra version information. */
185 static int v_flag
= 0;
187 /* Set nonzero if the user specified -finline-functions on the command
189 int flag_really_inline
= 0;
193 /* Variable controlling how dependency tracking is enabled in
195 static int dependency_tracking
= 0;
197 /* Flag values for DEPENDENCY_TRACKING. */
198 #define DEPEND_SET_FILE 1
199 #define DEPEND_ENABLE 2
200 #define DEPEND_TARGET_SET 4
201 #define DEPEND_FILE_ALREADY_SET 8
203 struct language_function
GTY(())
208 #undef LANG_HOOKS_NAME
209 #define LANG_HOOKS_NAME "GNU Java"
210 #undef LANG_HOOKS_INIT
211 #define LANG_HOOKS_INIT java_init
212 #undef LANG_HOOKS_FINISH
213 #define LANG_HOOKS_FINISH java_finish
214 #undef LANG_HOOKS_INIT_OPTIONS
215 #define LANG_HOOKS_INIT_OPTIONS java_init_options
216 #undef LANG_HOOKS_HANDLE_OPTION
217 #define LANG_HOOKS_HANDLE_OPTION java_handle_option
218 #undef LANG_HOOKS_POST_OPTIONS
219 #define LANG_HOOKS_POST_OPTIONS java_post_options
220 #undef LANG_HOOKS_PARSE_FILE
221 #define LANG_HOOKS_PARSE_FILE java_parse_file
222 #undef LANG_HOOKS_UNSAFE_FOR_REEVAL
223 #define LANG_HOOKS_UNSAFE_FOR_REEVAL java_unsafe_for_reeval
224 #undef LANG_HOOKS_MARK_ADDRESSABLE
225 #define LANG_HOOKS_MARK_ADDRESSABLE java_mark_addressable
226 #undef LANG_HOOKS_EXPAND_EXPR
227 #define LANG_HOOKS_EXPAND_EXPR java_expand_expr
228 #undef LANG_HOOKS_TRUTHVALUE_CONVERSION
229 #define LANG_HOOKS_TRUTHVALUE_CONVERSION java_truthvalue_conversion
230 #undef LANG_HOOKS_DUP_LANG_SPECIFIC_DECL
231 #define LANG_HOOKS_DUP_LANG_SPECIFIC_DECL java_dup_lang_specific_decl
232 #undef LANG_HOOKS_DECL_PRINTABLE_NAME
233 #define LANG_HOOKS_DECL_PRINTABLE_NAME lang_printable_name
234 #undef LANG_HOOKS_PRINT_ERROR_FUNCTION
235 #define LANG_HOOKS_PRINT_ERROR_FUNCTION java_print_error_function
236 #undef LANG_HOOKS_CAN_USE_BIT_FIELDS_P
237 #define LANG_HOOKS_CAN_USE_BIT_FIELDS_P java_can_use_bit_fields_p
239 #undef LANG_HOOKS_TYPE_FOR_MODE
240 #define LANG_HOOKS_TYPE_FOR_MODE java_type_for_mode
241 #undef LANG_HOOKS_TYPE_FOR_SIZE
242 #define LANG_HOOKS_TYPE_FOR_SIZE java_type_for_size
243 #undef LANG_HOOKS_SIGNED_TYPE
244 #define LANG_HOOKS_SIGNED_TYPE java_signed_type
245 #undef LANG_HOOKS_UNSIGNED_TYPE
246 #define LANG_HOOKS_UNSIGNED_TYPE java_unsigned_type
247 #undef LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE
248 #define LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE java_signed_or_unsigned_type
250 #undef LANG_HOOKS_TREE_INLINING_WALK_SUBTREES
251 #define LANG_HOOKS_TREE_INLINING_WALK_SUBTREES java_tree_inlining_walk_subtrees
253 #undef LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS
254 #define LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS java_estimate_num_insns
256 #undef LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN
257 #define LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN java_dump_tree
259 #undef LANG_HOOKS_DECL_OK_FOR_SIBCALL
260 #define LANG_HOOKS_DECL_OK_FOR_SIBCALL java_decl_ok_for_sibcall
262 /* Each front end provides its own. */
263 const struct lang_hooks lang_hooks
= LANG_HOOKS_INITIALIZER
;
266 * process java-specific compiler command-line options
267 * return 0, but do not complain if the option is not recognized.
270 java_handle_option (size_t scode
, const char *arg
, int value
)
272 enum opt_code code
= (enum opt_code
) scode
;
280 jcf_path_include_arg (arg
);
284 jcf_dependency_init (1);
285 dependency_tracking
|= DEPEND_ENABLE
;
289 jcf_dependency_init (1);
290 dependency_tracking
|= DEPEND_SET_FILE
| DEPEND_ENABLE
;
294 jcf_dependency_set_dep_file (arg
);
295 dependency_tracking
|= DEPEND_FILE_ALREADY_SET
;
299 jcf_dependency_init (0);
300 dependency_tracking
|= DEPEND_ENABLE
;
304 jcf_dependency_init (0);
305 dependency_tracking
|= DEPEND_SET_FILE
| DEPEND_ENABLE
;
309 jcf_dependency_print_dummies ();
313 jcf_dependency_set_target (arg
);
314 dependency_tracking
|= DEPEND_TARGET_SET
;
319 flag_redundant
= value
;
320 flag_extraneous_semicolon
= value
;
321 /* When -Wall given, enable -Wunused. We do this because the C
322 compiler does it, and people expect it. */
326 case OPT_Wdeprecated
:
327 flag_deprecated
= value
;
330 case OPT_Wextraneous_semicolon
:
331 flag_extraneous_semicolon
= value
;
334 case OPT_Wout_of_date
:
338 case OPT_Wredundant_modifiers
:
339 flag_redundant
= value
;
346 case OPT_fassume_compiled_
:
347 add_assume_compiled (arg
, !value
);
350 case OPT_fassume_compiled
:
351 add_assume_compiled ("", !value
);
354 case OPT_fbootclasspath_
:
355 jcf_path_bootclasspath_arg (arg
);
358 case OPT_fcheck_references
:
359 flag_check_references
= value
;
362 case OPT_fclasspath_
:
363 case OPT_fCLASSPATH_
:
364 jcf_path_classpath_arg (arg
);
367 case OPT_fcompile_resource_
:
372 if (!dump_switch_p (arg
))
376 case OPT_femit_class_file
:
377 case OPT_femit_class_files
:
378 flag_emit_class_files
= value
;
382 current_encoding
= arg
;
386 jcf_path_extdirs_arg (arg
);
389 case OPT_ffilelist_file
:
390 flag_filelist_file
= value
;
393 case OPT_fforce_classes_archive_check
:
394 flag_force_classes_archive_check
= value
;
397 case OPT_fhash_synchronization
:
398 flag_hash_synchronization
= value
;
401 case OPT_findirect_dispatch
:
402 flag_indirect_dispatch
= value
;
405 case OPT_finline_functions
:
406 flag_inline_functions
= value
;
407 flag_really_inline
= value
;
414 case OPT_foptimize_static_class_initialization
:
415 flag_optimize_sci
= value
;
418 case OPT_foutput_class_dir_
:
419 jcf_write_base_directory
= arg
;
422 case OPT_fstore_check
:
423 flag_store_check
= value
;
426 case OPT_fuse_boehm_gc
:
427 flag_use_boehm_gc
= value
;
430 case OPT_fuse_divide_subroutine
:
431 flag_use_divide_subroutine
= value
;
442 /* Global open file. */
449 extern int flag_minimal_debug
;
450 flag_minimal_debug
= 0;
453 if (flag_inline_functions
)
454 flag_inline_trees
= 1;
456 /* Force minimum function alignment if g++ uses the least significant
457 bit of function pointers to store the virtual bit. This is required
458 to keep vtables compatible. */
459 if (TARGET_PTRMEMFUNC_VBIT_LOCATION
== ptrmemfunc_vbit_in_pfn
460 && force_align_functions_log
< 1)
461 force_align_functions_log
= 1;
463 jcf_path_seal (v_flag
);
465 java_init_decl_processing ();
467 using_eh_for_cleanups ();
475 jcf_dependency_write ();
478 /* Buffer used by lang_printable_name. */
479 static char *decl_buf
= NULL
;
481 /* Allocated size of decl_buf. */
482 static int decl_buflen
= 0;
484 /* Length of used part of decl_buf; position for next character. */
485 static int decl_bufpos
= 0;
487 /* Append the string STR to decl_buf.
488 It length is given by LEN; -1 means the string is nul-terminated. */
491 put_decl_string (const char *str
, int len
)
495 if (decl_bufpos
+ len
>= decl_buflen
)
497 if (decl_buf
== NULL
)
499 decl_buflen
= len
+ 100;
500 decl_buf
= xmalloc (decl_buflen
);
505 decl_buf
= xrealloc (decl_buf
, decl_buflen
);
508 strcpy (decl_buf
+ decl_bufpos
, str
);
512 /* Append to decl_buf a printable name for NODE. */
515 put_decl_node (tree node
)
518 if (TREE_CODE (node
) == POINTER_TYPE
)
520 node
= TREE_TYPE (node
);
523 if (TREE_CODE_CLASS (TREE_CODE (node
)) == 'd'
524 && DECL_NAME (node
) != NULL_TREE
)
526 if (TREE_CODE (node
) == FUNCTION_DECL
)
528 /* We want to print the type the DECL belongs to. We don't do
529 that when we handle constructors. */
530 if (! DECL_CONSTRUCTOR_P (node
)
531 && ! DECL_ARTIFICIAL (node
) && DECL_CONTEXT (node
))
533 put_decl_node (TYPE_NAME (DECL_CONTEXT (node
)));
534 put_decl_string (".", 1);
536 if (! DECL_CONSTRUCTOR_P (node
))
537 put_decl_node (DECL_NAME (node
));
538 if (TREE_TYPE (node
) != NULL_TREE
)
541 tree args
= TYPE_ARG_TYPES (TREE_TYPE (node
));
542 if (TREE_CODE (TREE_TYPE (node
)) == METHOD_TYPE
)
543 args
= TREE_CHAIN (args
);
544 put_decl_string ("(", 1);
545 for ( ; args
!= end_params_node
; args
= TREE_CHAIN (args
), i
++)
548 put_decl_string (",", 1);
549 put_decl_node (TREE_VALUE (args
));
551 put_decl_string (")", 1);
555 put_decl_node (DECL_NAME (node
));
557 else if (TREE_CODE_CLASS (TREE_CODE (node
)) == 't'
558 && TYPE_NAME (node
) != NULL_TREE
)
560 if (TREE_CODE (node
) == RECORD_TYPE
&& TYPE_ARRAY_P (node
))
562 put_decl_node (TYPE_ARRAY_ELEMENT (node
));
563 put_decl_string("[]", 2);
565 else if (node
== promoted_byte_type_node
)
566 put_decl_string ("byte", 4);
567 else if (node
== promoted_short_type_node
)
568 put_decl_string ("short", 5);
569 else if (node
== promoted_char_type_node
)
570 put_decl_string ("char", 4);
571 else if (node
== promoted_boolean_type_node
)
572 put_decl_string ("boolean", 7);
573 else if (node
== void_type_node
&& was_pointer
)
574 put_decl_string ("null", 4);
576 put_decl_node (TYPE_NAME (node
));
578 else if (TREE_CODE (node
) == IDENTIFIER_NODE
)
579 put_decl_string (IDENTIFIER_POINTER (node
), IDENTIFIER_LENGTH (node
));
581 put_decl_string ("<unknown>", -1);
584 /* Return a user-friendly name for DECL.
585 The resulting string is only valid until the next call.
586 The value of the hook decl_printable_name is this function,
587 which is also called directly by java_print_error_function. */
590 lang_printable_name (tree decl
, int v
__attribute__ ((__unused__
)))
593 put_decl_node (decl
);
594 put_decl_string ("", 1);
598 /* Does the same thing that lang_printable_name, but add a leading
599 space to the DECL name string -- With Leading Space. */
602 lang_printable_name_wls (tree decl
, int v
__attribute__ ((__unused__
)))
605 put_decl_node (decl
);
606 put_decl_string ("", 1);
611 /* Print on stderr the current class and method context. This function
612 is the value of the hook print_error_function. */
614 static GTY(()) tree last_error_function_context
;
615 static GTY(()) tree last_error_function
;
617 java_print_error_function (diagnostic_context
*context ATTRIBUTE_UNUSED
,
620 /* Don't print error messages with bogus function prototypes. */
621 if (inhibit_error_function_printing
)
624 if (current_function_decl
!= NULL
625 && DECL_CONTEXT (current_function_decl
) != last_error_function_context
)
628 fprintf (stderr
, "%s: ", file
);
630 last_error_function_context
= DECL_CONTEXT (current_function_decl
);
631 fprintf (stderr
, "In class `%s':\n",
632 lang_printable_name (last_error_function_context
, 0));
634 if (last_error_function
!= current_function_decl
)
637 fprintf (stderr
, "%s: ", file
);
639 if (current_function_decl
== NULL
)
640 fprintf (stderr
, "At top level:\n");
643 const char *name
= lang_printable_name (current_function_decl
, 2);
644 fprintf (stderr
, "In %s `%s':\n",
645 (DECL_CONSTRUCTOR_P (current_function_decl
) ? "constructor"
650 last_error_function
= current_function_decl
;
655 /* Called to install the PRINT_ERROR_FUNCTION hook differently
656 according to LEVEL. LEVEL is 1 during early parsing, when function
657 prototypes aren't fully resolved. java_print_error_function is set
658 so it doesn't print incomplete function prototypes. When LEVEL is
659 2, function prototypes are fully resolved and can be printed when
662 void lang_init_source (int level
)
664 inhibit_error_function_printing
= (level
== 1);
668 java_init_options (unsigned int argc ATTRIBUTE_UNUSED
,
669 const char **argv ATTRIBUTE_UNUSED
)
671 flag_bounds_check
= 1;
673 flag_non_call_exceptions
= 1;
675 /* In Java floating point operations never trap. */
676 flag_trapping_math
= 0;
678 /* In Java arithmetic overflow always wraps around. */
687 java_can_use_bit_fields_p (void)
689 /* The bit-field optimizations cause problems when generating class
691 return flag_emit_class_files
? false : true;
694 /* Post-switch processing. */
696 java_post_options (const char **pfilename
)
698 const char *filename
= *pfilename
;
700 /* Use tree inlining if possible. Function instrumentation is only
701 done in the RTL level, so we disable tree inlining. */
702 if (! flag_instrument_function_entry_exit
)
706 if (flag_inline_functions
)
708 flag_inline_trees
= 2;
709 flag_inline_functions
= 0;
713 /* Open input file. */
715 if (filename
== 0 || !strcmp (filename
, "-"))
720 if (dependency_tracking
)
721 error ("can't do dependency tracking with input from stdin");
725 if (dependency_tracking
)
729 /* If the target is set and the output filename is set, then
730 there's no processing to do here. Otherwise we must
731 compute one or the other. */
732 if (! ((dependency_tracking
& DEPEND_TARGET_SET
)
733 && (dependency_tracking
& DEPEND_FILE_ALREADY_SET
)))
735 dot
= strrchr (filename
, '.');
737 error ("couldn't determine target name for dependency tracking");
740 char *buf
= xmalloc (dot
- filename
+
741 3 + sizeof (TARGET_OBJECT_SUFFIX
));
742 strncpy (buf
, filename
, dot
- filename
);
744 /* If emitting class files, we might have multiple
745 targets. The class generation code takes care of
746 registering them. Otherwise we compute the
748 if ((dependency_tracking
& DEPEND_TARGET_SET
))
750 else if (flag_emit_class_files
)
751 jcf_dependency_set_target (NULL
);
754 strcpy (buf
+ (dot
- filename
), TARGET_OBJECT_SUFFIX
);
755 jcf_dependency_set_target (buf
);
758 if ((dependency_tracking
& DEPEND_FILE_ALREADY_SET
))
760 else if ((dependency_tracking
& DEPEND_SET_FILE
))
762 strcpy (buf
+ (dot
- filename
), ".d");
763 jcf_dependency_set_dep_file (buf
);
766 jcf_dependency_set_dep_file ("-");
774 /* Initialize the compiler back end. */
778 /* Return either DECL or its known constant value (if it has one). */
781 decl_constant_value (tree decl
)
783 if (/* Don't change a variable array bound or initial value to a constant
784 in a place where a variable is invalid. */
785 current_function_decl
!= 0
786 && ! TREE_THIS_VOLATILE (decl
)
787 && TREE_READONLY (decl
)
788 && DECL_INITIAL (decl
) != 0
789 && TREE_CODE (DECL_INITIAL (decl
)) != ERROR_MARK
790 /* This is invalid if initial value is not constant.
791 If it has either a function call, a memory reference,
792 or a variable, then re-evaluating it could give different results. */
793 && TREE_CONSTANT (DECL_INITIAL (decl
))
794 /* Check for cases where this is sub-optimal, even though valid. */
795 && TREE_CODE (DECL_INITIAL (decl
)) != CONSTRUCTOR
)
796 return DECL_INITIAL (decl
);
800 /* Walk the language specific tree nodes during inlining. */
803 java_tree_inlining_walk_subtrees (tree
*tp ATTRIBUTE_UNUSED
,
804 int *subtrees ATTRIBUTE_UNUSED
,
805 walk_tree_fn func ATTRIBUTE_UNUSED
,
806 void *data ATTRIBUTE_UNUSED
,
807 void *htab ATTRIBUTE_UNUSED
)
812 #define WALK_SUBTREE(NODE) \
815 result = walk_tree (&(NODE), func, data, htab); \
825 code
= TREE_CODE (t
);
829 if (BLOCK_EXPR_BODY (t
))
831 tree
*prev
= &BLOCK_EXPR_BODY (*tp
);
834 WALK_SUBTREE (*prev
);
835 prev
= &TREE_CHAIN (*prev
);
846 /* Called from unsafe_for_reeval. */
848 java_unsafe_for_reeval (tree t
)
850 switch (TREE_CODE (t
))
853 /* Our expander tries to expand the variables twice. Boom. */
854 if (BLOCK_EXPR_DECLS (t
) != NULL
)
856 return unsafe_for_reeval (BLOCK_EXPR_BODY (t
));
865 /* Every call to a static constructor has an associated boolean
866 variable which is in the outermost scope of the calling method.
867 This variable is used to avoid multiple calls to the static
868 constructor for each class.
870 It looks something like this:
874 boolean dummy = OtherClass.is_initialized;
879 OtherClass.initialize();
881 ... use OtherClass.data ...
884 Each of these boolean variables has an entry in the
885 DECL_FUNCTION_INIT_TEST_TABLE of a method. When inlining a method
886 we must merge the DECL_FUNCTION_INIT_TEST_TABLE from the function
887 being inlined and create the boolean variables in the outermost
888 scope of the method being inlined into. */
890 /* Create a mapping from a boolean variable in a method being inlined
891 to one in the scope of the method being inlined into. */
894 merge_init_test_initialization (void **entry
, void *x
)
896 struct treetreehash_entry
*ite
= (struct treetreehash_entry
*) *entry
;
897 splay_tree decl_map
= (splay_tree
)x
;
899 tree
*init_test_decl
;
901 /* See if we have remapped this declaration. If we haven't there's
902 a bug in the inliner. */
903 n
= splay_tree_lookup (decl_map
, (splay_tree_key
) ite
->value
);
907 /* Create a new entry for the class and its remapped boolean
908 variable. If we already have a mapping for this class we've
909 already initialized it, so don't overwrite the value. */
910 init_test_decl
= java_treetreehash_new
911 (DECL_FUNCTION_INIT_TEST_TABLE (current_function_decl
), ite
->key
);
912 if (!*init_test_decl
)
913 *init_test_decl
= (tree
)n
->value
;
918 /* Merge the DECL_FUNCTION_INIT_TEST_TABLE from the function we're
922 java_inlining_merge_static_initializers (tree fn
, void *decl_map
)
925 (DECL_FUNCTION_INIT_TEST_TABLE (fn
),
926 merge_init_test_initialization
, decl_map
);
929 /* Lookup a DECL_FUNCTION_INIT_TEST_TABLE entry in the method we're
930 inlining into. If we already have a corresponding entry in that
931 class we don't need to create another one, so we create a mapping
932 from the variable in the inlined class to the corresponding
936 inline_init_test_initialization (void **entry
, void *x
)
938 struct treetreehash_entry
*ite
= (struct treetreehash_entry
*) *entry
;
939 splay_tree decl_map
= (splay_tree
)x
;
941 tree h
= java_treetreehash_find
942 (DECL_FUNCTION_INIT_TEST_TABLE (current_function_decl
), ite
->key
);
946 splay_tree_insert (decl_map
,
947 (splay_tree_key
) ite
->value
,
948 (splay_tree_value
) h
);
953 /* Look up the boolean variables in the DECL_FUNCTION_INIT_TEST_TABLE
954 of a method being inlined. For each hone, if we already have a
955 variable associated with the same class in the method being inlined
956 into, create a new mapping for it. */
959 java_inlining_map_static_initializers (tree fn
, void *decl_map
)
962 (DECL_FUNCTION_INIT_TEST_TABLE (fn
),
963 inline_init_test_initialization
, decl_map
);
966 /* Avoid voluminous output for deep recursion of compound exprs. */
969 dump_compound_expr (dump_info_p di
, tree t
)
975 switch (TREE_CODE (TREE_OPERAND (t
, i
)))
978 dump_compound_expr (di
, TREE_OPERAND (t
, i
));
981 case EXPR_WITH_FILE_LOCATION
:
983 tree wfl_node
= EXPR_WFL_NODE (TREE_OPERAND (t
, i
));
984 dump_child ("expr", wfl_node
);
989 dump_child ("expr", TREE_OPERAND (t
, i
));
995 java_dump_tree (void *dump_info
, tree t
)
998 dump_info_p di
= (dump_info_p
) dump_info
;
1000 /* Figure out what kind of node this is. */
1001 code
= TREE_CODE (t
);
1006 dump_child ("args", DECL_ARGUMENTS (t
));
1007 if (DECL_EXTERNAL (t
))
1008 dump_string (di
, "undefined");
1009 if (TREE_PUBLIC (t
))
1010 dump_string (di
, "extern");
1012 dump_string (di
, "static");
1013 if (DECL_LANG_SPECIFIC (t
))
1014 dump_child ("body", DECL_FUNCTION_BODY (t
));
1015 if (DECL_LANG_SPECIFIC (t
) && !dump_flag (di
, TDF_SLIM
, t
))
1016 dump_child ("inline body", DECL_SAVED_TREE (t
));
1020 dump_child ("expr", TREE_OPERAND (t
, 0));
1024 dump_child ("goto", TREE_OPERAND (t
, 0));
1028 dump_child ("label", TREE_OPERAND (t
, 0));
1031 case LABELED_BLOCK_EXPR
:
1032 dump_child ("label", TREE_OPERAND (t
, 0));
1033 dump_child ("block", TREE_OPERAND (t
, 1));
1036 case EXIT_BLOCK_EXPR
:
1037 dump_child ("block", TREE_OPERAND (t
, 0));
1038 dump_child ("val", TREE_OPERAND (t
, 1));
1042 if (BLOCK_EXPR_BODY (t
))
1044 tree local
= BLOCK_VARS (t
);
1047 tree next
= TREE_CHAIN (local
);
1048 dump_child ("var", local
);
1053 tree block
= BLOCK_EXPR_BODY (t
);
1054 dump_child ("body", block
);
1055 block
= TREE_CHAIN (block
);
1061 if (!dump_flag (di
, TDF_SLIM
, t
))
1063 dump_compound_expr (di
, t
);
1072 /* Java calls can't, in general, be sibcalls because we need an
1073 accurate stack trace in order to guarantee correct operation of
1074 methods such as Class.forName(String) and
1075 SecurityManager.getClassContext(). */
1078 java_decl_ok_for_sibcall (tree decl
)
1080 return decl
!= NULL
&& DECL_CONTEXT (decl
) == current_class
;
1083 /* Used by estimate_num_insns. Estimate number of instructions seen
1084 by given statement. */
1086 java_estimate_num_insns_1 (tree
*tp
, int *walk_subtrees
, void *data
)
1091 if (TYPE_P (x
) || DECL_P (x
))
1096 /* Assume that constants and references counts nothing. These should
1097 be majorized by amount of operations amoung them we count later
1098 and are common target of CSE and similar optimizations. */
1099 if (TREE_CODE_CLASS (TREE_CODE (x
)) == 'c'
1100 || TREE_CODE_CLASS (TREE_CODE (x
)) == 'r')
1102 switch (TREE_CODE (x
))
1104 /* Reconginze assignments of large structures and constructors of
1109 int size
= int_size_in_bytes (TREE_TYPE (x
));
1111 if (!size
|| size
> MOVE_MAX_PIECES
)
1114 *count
+= 2 * (size
+ MOVE_MAX
- 1) / MOVE_MAX
;
1118 /* Few special cases of expensive operations. This is usefull
1119 to avoid inlining on functions having too many of these. */
1120 case TRUNC_DIV_EXPR
:
1122 case FLOOR_DIV_EXPR
:
1123 case ROUND_DIV_EXPR
:
1124 case TRUNC_MOD_EXPR
:
1126 case FLOOR_MOD_EXPR
:
1127 case ROUND_MOD_EXPR
:
1130 case METHOD_CALL_EXPR
:
1132 case NEW_ARRAY_EXPR
:
1133 case NEW_ANONYMOUS_ARRAY_EXPR
:
1134 case NEW_CLASS_EXPR
:
1137 /* Various containers that will produce no code themselves. */
1144 case IDENTIFIER_NODE
:
1145 case PLACEHOLDER_EXPR
:
1146 case WITH_CLEANUP_EXPR
:
1147 case CLEANUP_POINT_EXPR
:
1149 case VIEW_CONVERT_EXPR
:
1155 case TRY_CATCH_EXPR
:
1156 case TRY_FINALLY_EXPR
:
1159 case LABELED_BLOCK_EXPR
:
1160 case EXIT_BLOCK_EXPR
:
1161 case EXPR_WITH_FILE_LOCATION
:
1162 case UNARY_PLUS_EXPR
:
1177 /* Estimate number of instructions that will be created by expanding the body. */
1179 java_estimate_num_insns (tree decl
)
1182 walk_tree (&DECL_SAVED_TREE (decl
), java_estimate_num_insns_1
, &num
, NULL
);
1186 #include "gt-java-lang.h"