1 /* Perform optimizations on tree structure.
2 Copyright (C) 1998, 1999, 2000, 2001, 2002, 2004
3 Free Software Foundation, Inc.
4 Written by Mark Michell (mark@codesourcery.com).
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it
9 under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GCC is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING. If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
25 #include "coretypes.h"
30 #include "insn-config.h"
32 #include "integrate.h"
38 #include "tree-inline.h"
40 #include "langhooks.h"
41 #include "diagnostic.h"
42 #include "tree-dump.h"
43 #include "tree-simple.h"
47 static tree calls_setjmp_r (tree *, int *, void *);
48 static void update_cloned_parm (tree, tree);
50 /* Called from calls_setjmp_p via walk_tree. */
53 calls_setjmp_r (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED,
54 void *data ATTRIBUTE_UNUSED)
56 /* We're only interested in FUNCTION_DECLS. */
57 if (TREE_CODE (*tp) != FUNCTION_DECL)
60 return setjmp_call_p (*tp) ? *tp : NULL_TREE;
63 /* Returns nonzero if FN calls `setjmp' or some other function that
64 can return more than once. This function is conservative; it may
65 occasionally return a nonzero value even when FN does not actually
69 calls_setjmp_p (tree fn)
71 return walk_tree_without_duplicates (&DECL_SAVED_TREE (fn),
76 /* CLONED_PARM is a copy of CLONE, generated for a cloned constructor
77 or destructor. Update it to ensure that the source-position for
78 the cloned parameter matches that for the original, and that the
79 debugging generation code will be able to find the original PARM. */
82 update_cloned_parm (tree parm, tree cloned_parm)
84 DECL_ABSTRACT_ORIGIN (cloned_parm) = parm;
86 /* We may have taken its address. */
87 TREE_ADDRESSABLE (cloned_parm) = TREE_ADDRESSABLE (parm);
89 /* The definition might have different constness. */
90 TREE_READONLY (cloned_parm) = TREE_READONLY (parm);
92 TREE_USED (cloned_parm) = TREE_USED (parm);
94 /* The name may have changed from the declaration. */
95 DECL_NAME (cloned_parm) = DECL_NAME (parm);
96 DECL_SOURCE_LOCATION (cloned_parm) = DECL_SOURCE_LOCATION (parm);
99 /* FN is a function that has a complete body. Clone the body as
100 necessary. Returns nonzero if there's no longer any need to
101 process the main body. */
104 maybe_clone_body (tree fn)
108 /* We only clone constructors and destructors. */
109 if (!DECL_MAYBE_IN_CHARGE_CONSTRUCTOR_P (fn)
110 && !DECL_MAYBE_IN_CHARGE_DESTRUCTOR_P (fn))
113 /* Emit the DWARF1 abstract instance. */
114 (*debug_hooks->deferred_inline_function) (fn);
116 /* We know that any clones immediately follow FN in the TYPE_METHODS
118 for (clone = TREE_CHAIN (fn);
119 clone && DECL_CLONED_FUNCTION_P (clone);
120 clone = TREE_CHAIN (clone))
127 /* Update CLONE's source position information to match FN's. */
128 DECL_SOURCE_LOCATION (clone) = DECL_SOURCE_LOCATION (fn);
129 DECL_INLINE (clone) = DECL_INLINE (fn);
130 DECL_DECLARED_INLINE_P (clone) = DECL_DECLARED_INLINE_P (fn);
131 DECL_COMDAT (clone) = DECL_COMDAT (fn);
132 DECL_WEAK (clone) = DECL_WEAK (fn);
133 DECL_ONE_ONLY (clone) = DECL_ONE_ONLY (fn);
134 DECL_SECTION_NAME (clone) = DECL_SECTION_NAME (fn);
135 DECL_USE_TEMPLATE (clone) = DECL_USE_TEMPLATE (fn);
136 DECL_EXTERNAL (clone) = DECL_EXTERNAL (fn);
137 DECL_INTERFACE_KNOWN (clone) = DECL_INTERFACE_KNOWN (fn);
138 DECL_NOT_REALLY_EXTERN (clone) = DECL_NOT_REALLY_EXTERN (fn);
139 TREE_PUBLIC (clone) = TREE_PUBLIC (fn);
140 DECL_VISIBILITY (clone) = DECL_VISIBILITY (fn);
142 /* Adjust the parameter names and locations. */
143 parm = DECL_ARGUMENTS (fn);
144 clone_parm = DECL_ARGUMENTS (clone);
145 /* Update the `this' parameter, which is always first. */
146 update_cloned_parm (parm, clone_parm);
147 parm = TREE_CHAIN (parm);
148 clone_parm = TREE_CHAIN (clone_parm);
149 if (DECL_HAS_IN_CHARGE_PARM_P (fn))
150 parm = TREE_CHAIN (parm);
151 if (DECL_HAS_VTT_PARM_P (fn))
152 parm = TREE_CHAIN (parm);
153 if (DECL_HAS_VTT_PARM_P (clone))
154 clone_parm = TREE_CHAIN (clone_parm);
156 parm = TREE_CHAIN (parm), clone_parm = TREE_CHAIN (clone_parm))
157 /* Update this parameter. */
158 update_cloned_parm (parm, clone_parm);
160 /* Start processing the function. */
161 push_to_top_level ();
162 start_function (NULL_TREE, clone, NULL_TREE, SF_PRE_PARSED);
164 /* Remap the parameters. */
165 decl_map = splay_tree_new (splay_tree_compare_pointers, NULL, NULL);
167 parm = DECL_ARGUMENTS (fn),
168 clone_parm = DECL_ARGUMENTS (clone);
171 parm = TREE_CHAIN (parm))
173 /* Map the in-charge parameter to an appropriate constant. */
174 if (DECL_HAS_IN_CHARGE_PARM_P (fn) && parmno == 1)
177 in_charge = in_charge_arg_for_name (DECL_NAME (clone));
178 splay_tree_insert (decl_map,
179 (splay_tree_key) parm,
180 (splay_tree_value) in_charge);
182 else if (DECL_ARTIFICIAL (parm)
183 && DECL_NAME (parm) == vtt_parm_identifier)
185 /* For a subobject constructor or destructor, the next
186 argument is the VTT parameter. Remap the VTT_PARM
187 from the CLONE to this parameter. */
188 if (DECL_HAS_VTT_PARM_P (clone))
190 DECL_ABSTRACT_ORIGIN (clone_parm) = parm;
191 splay_tree_insert (decl_map,
192 (splay_tree_key) parm,
193 (splay_tree_value) clone_parm);
194 clone_parm = TREE_CHAIN (clone_parm);
196 /* Otherwise, map the VTT parameter to `NULL'. */
199 splay_tree_insert (decl_map,
200 (splay_tree_key) parm,
201 (splay_tree_value) null_pointer_node);
204 /* Map other parameters to their equivalents in the cloned
208 splay_tree_insert (decl_map,
209 (splay_tree_key) parm,
210 (splay_tree_value) clone_parm);
211 clone_parm = TREE_CHAIN (clone_parm);
215 /* Clone the body. */
216 clone_body (clone, fn, decl_map);
219 splay_tree_delete (decl_map);
221 /* The clone can throw iff the original function can throw. */
222 cp_function_chain->can_throw = !TREE_NOTHROW (fn);
224 /* Now, expand this function into RTL, if appropriate. */
226 BLOCK_ABSTRACT_ORIGIN (DECL_INITIAL (clone)) = DECL_INITIAL (fn);
227 expand_or_defer_fn (clone);
228 pop_from_top_level ();
231 /* We don't need to process the original function any further. */