* doc/invoke.texi: Add cpu_type power6.
[official-gcc.git] / gcc / cgraphunit.c
blob33028b2f331a693ccc97eb14a610282976b1e317
1 /* Callgraph based intraprocedural optimizations.
2 Copyright (C) 2003, 2004, 2005 Free Software Foundation, Inc.
3 Contributed by Jan Hubicka
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 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 the Free
19 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
20 02110-1301, USA. */
22 /* This module implements main driver of compilation process as well as
23 few basic intraprocedural optimizers.
25 The main scope of this file is to act as an interface in between
26 tree based frontends and the backend (and middle end)
28 The front-end is supposed to use following functionality:
30 - cgraph_finalize_function
32 This function is called once front-end has parsed whole body of function
33 and it is certain that the function body nor the declaration will change.
35 (There is one exception needed for implementing GCC extern inline function.)
37 - cgraph_varpool_finalize_variable
39 This function has same behavior as the above but is used for static
40 variables.
42 - cgraph_finalize_compilation_unit
44 This function is called once compilation unit is finalized and it will
45 no longer change.
47 In the unit-at-a-time the call-graph construction and local function
48 analysis takes place here. Bodies of unreachable functions are released
49 to conserve memory usage.
51 ??? The compilation unit in this point of view should be compilation
52 unit as defined by the language - for instance C frontend allows multiple
53 compilation units to be parsed at once and it should call function each
54 time parsing is done so we save memory.
56 - cgraph_optimize
58 In this unit-at-a-time compilation the intra procedural analysis takes
59 place here. In particular the static functions whose address is never
60 taken are marked as local. Backend can then use this information to
61 modify calling conventions, do better inlining or similar optimizations.
63 - cgraph_assemble_pending_functions
64 - cgraph_varpool_assemble_pending_variables
66 In non-unit-at-a-time mode these functions can be used to force compilation
67 of functions or variables that are known to be needed at given stage
68 of compilation
70 - cgraph_mark_needed_node
71 - cgraph_varpool_mark_needed_node
73 When function or variable is referenced by some hidden way (for instance
74 via assembly code and marked by attribute "used"), the call-graph data structure
75 must be updated accordingly by this function.
77 - analyze_expr callback
79 This function is responsible for lowering tree nodes not understood by
80 generic code into understandable ones or alternatively marking
81 callgraph and varpool nodes referenced by the as needed.
83 ??? On the tree-ssa genericizing should take place here and we will avoid
84 need for these hooks (replacing them by genericizing hook)
86 - expand_function callback
88 This function is used to expand function and pass it into RTL back-end.
89 Front-end should not make any assumptions about when this function can be
90 called. In particular cgraph_assemble_pending_functions,
91 cgraph_varpool_assemble_pending_variables, cgraph_finalize_function,
92 cgraph_varpool_finalize_function, cgraph_optimize can cause arbitrarily
93 previously finalized functions to be expanded.
95 We implement two compilation modes.
97 - unit-at-a-time: In this mode analyzing of all functions is deferred
98 to cgraph_finalize_compilation_unit and expansion into cgraph_optimize.
100 In cgraph_finalize_compilation_unit the reachable functions are
101 analyzed. During analysis the call-graph edges from reachable
102 functions are constructed and their destinations are marked as
103 reachable. References to functions and variables are discovered too
104 and variables found to be needed output to the assembly file. Via
105 mark_referenced call in assemble_variable functions referenced by
106 static variables are noticed too.
108 The intra-procedural information is produced and its existence
109 indicated by global_info_ready. Once this flag is set it is impossible
110 to change function from !reachable to reachable and thus
111 assemble_variable no longer call mark_referenced.
113 Finally the call-graph is topologically sorted and all reachable functions
114 that has not been completely inlined or are not external are output.
116 ??? It is possible that reference to function or variable is optimized
117 out. We can not deal with this nicely because topological order is not
118 suitable for it. For tree-ssa we may consider another pass doing
119 optimization and re-discovering reachable functions.
121 ??? Reorganize code so variables are output very last and only if they
122 really has been referenced by produced code, so we catch more cases
123 where reference has been optimized out.
125 - non-unit-at-a-time
127 All functions are variables are output as early as possible to conserve
128 memory consumption. This may or may not result in less memory used but
129 it is still needed for some legacy code that rely on particular ordering
130 of things output from the compiler.
132 Varpool data structures are not used and variables are output directly.
134 Functions are output early using call of
135 cgraph_assemble_pending_function from cgraph_finalize_function. The
136 decision on whether function is needed is made more conservative so
137 uninlininable static functions are needed too. During the call-graph
138 construction the edge destinations are not marked as reachable and it
139 is completely relied upn assemble_variable to mark them. */
142 #include "config.h"
143 #include "system.h"
144 #include "coretypes.h"
145 #include "tm.h"
146 #include "tree.h"
147 #include "rtl.h"
148 #include "tree-flow.h"
149 #include "tree-inline.h"
150 #include "langhooks.h"
151 #include "pointer-set.h"
152 #include "toplev.h"
153 #include "flags.h"
154 #include "ggc.h"
155 #include "debug.h"
156 #include "target.h"
157 #include "cgraph.h"
158 #include "diagnostic.h"
159 #include "timevar.h"
160 #include "params.h"
161 #include "fibheap.h"
162 #include "c-common.h"
163 #include "intl.h"
164 #include "function.h"
165 #include "ipa-prop.h"
166 #include "tree-gimple.h"
167 #include "tree-pass.h"
168 #include "output.h"
170 static void cgraph_expand_all_functions (void);
171 static void cgraph_mark_functions_to_output (void);
172 static void cgraph_expand_function (struct cgraph_node *);
173 static tree record_reference (tree *, int *, void *);
174 static void cgraph_output_pending_asms (void);
176 /* Records tree nodes seen in record_reference. Simply using
177 walk_tree_without_duplicates doesn't guarantee each node is visited
178 once because it gets a new htab upon each recursive call from
179 record_reference itself. */
180 static struct pointer_set_t *visited_nodes;
182 static FILE *cgraph_dump_file;
184 /* Determine if function DECL is needed. That is, visible to something
185 either outside this translation unit, something magic in the system
186 configury, or (if not doing unit-at-a-time) to something we havn't
187 seen yet. */
189 static bool
190 decide_is_function_needed (struct cgraph_node *node, tree decl)
192 tree origin;
193 if (MAIN_NAME_P (DECL_NAME (decl))
194 && TREE_PUBLIC (decl))
196 node->local.externally_visible = true;
197 return true;
200 /* If the user told us it is used, then it must be so. */
201 if (node->local.externally_visible
202 || lookup_attribute ("used", DECL_ATTRIBUTES (decl)))
203 return true;
205 /* ??? If the assembler name is set by hand, it is possible to assemble
206 the name later after finalizing the function and the fact is noticed
207 in assemble_name then. This is arguably a bug. */
208 if (DECL_ASSEMBLER_NAME_SET_P (decl)
209 && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
210 return true;
212 /* If we decided it was needed before, but at the time we didn't have
213 the body of the function available, then it's still needed. We have
214 to go back and re-check its dependencies now. */
215 if (node->needed)
216 return true;
218 /* Externally visible functions must be output. The exception is
219 COMDAT functions that must be output only when they are needed.
221 When not optimizing, also output the static functions. (see
222 PR24561), but don't do so for always_inline functions, functions
223 declared inline and nested functions. These was optimized out
224 in the original implementation and it is unclear whether we want
225 to change the behavior here. */
226 if (((TREE_PUBLIC (decl)
227 || (!optimize && !node->local.disregard_inline_limits
228 && !DECL_DECLARED_INLINE_P (decl)
229 && !node->origin))
230 && !flag_whole_program)
231 && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl))
232 return true;
234 /* Constructors and destructors are reachable from the runtime by
235 some mechanism. */
236 if (DECL_STATIC_CONSTRUCTOR (decl) || DECL_STATIC_DESTRUCTOR (decl))
237 return true;
239 if (flag_unit_at_a_time)
240 return false;
242 /* If not doing unit at a time, then we'll only defer this function
243 if its marked for inlining. Otherwise we want to emit it now. */
245 /* "extern inline" functions are never output locally. */
246 if (DECL_EXTERNAL (decl))
247 return false;
248 /* Nested functions of extern inline function shall not be emit unless
249 we inlined the origin. */
250 for (origin = decl_function_context (decl); origin;
251 origin = decl_function_context (origin))
252 if (DECL_EXTERNAL (origin))
253 return false;
254 /* We want to emit COMDAT functions only when absolutely necessary. */
255 if (DECL_COMDAT (decl))
256 return false;
257 if (!DECL_INLINE (decl)
258 || (!node->local.disregard_inline_limits
259 /* When declared inline, defer even the uninlinable functions.
260 This allows them to be eliminated when unused. */
261 && !DECL_DECLARED_INLINE_P (decl)
262 && (!node->local.inlinable || !cgraph_default_inline_p (node, NULL))))
263 return true;
265 return false;
268 /* Walk the decls we marked as necessary and see if they reference new
269 variables or functions and add them into the worklists. */
270 static bool
271 cgraph_varpool_analyze_pending_decls (void)
273 bool changed = false;
274 timevar_push (TV_CGRAPH);
276 while (cgraph_varpool_first_unanalyzed_node)
278 tree decl = cgraph_varpool_first_unanalyzed_node->decl;
280 cgraph_varpool_first_unanalyzed_node->analyzed = true;
282 cgraph_varpool_first_unanalyzed_node = cgraph_varpool_first_unanalyzed_node->next_needed;
284 if (DECL_INITIAL (decl))
286 visited_nodes = pointer_set_create ();
287 walk_tree (&DECL_INITIAL (decl), record_reference, NULL, visited_nodes);
288 pointer_set_destroy (visited_nodes);
289 visited_nodes = NULL;
291 changed = true;
293 timevar_pop (TV_CGRAPH);
294 return changed;
297 /* Optimization of function bodies might've rendered some variables as
298 unnecessary so we want to avoid these from being compiled.
300 This is done by pruning the queue and keeping only the variables that
301 really appear needed (ie they are either externally visible or referenced
302 by compiled function). Re-doing the reachability analysis on variables
303 brings back the remaining variables referenced by these. */
304 static void
305 cgraph_varpool_remove_unreferenced_decls (void)
307 struct cgraph_varpool_node *next, *node = cgraph_varpool_nodes_queue;
309 cgraph_varpool_reset_queue ();
311 if (errorcount || sorrycount)
312 return;
314 while (node)
316 tree decl = node->decl;
317 next = node->next_needed;
318 node->needed = 0;
320 if (node->finalized
321 && ((DECL_ASSEMBLER_NAME_SET_P (decl)
322 && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
323 || node->force_output
324 || decide_is_variable_needed (node, decl)
325 /* ??? Cgraph does not yet rule the world with an iron hand,
326 and does not control the emission of debug information.
327 After a variable has its DECL_RTL set, we must assume that
328 it may be referenced by the debug information, and we can
329 no longer elide it. */
330 || DECL_RTL_SET_P (decl)))
331 cgraph_varpool_mark_needed_node (node);
333 node = next;
335 /* Make sure we mark alias targets as used targets. */
336 finish_aliases_1 ();
337 cgraph_varpool_analyze_pending_decls ();
341 /* When not doing unit-at-a-time, output all functions enqueued.
342 Return true when such a functions were found. */
344 bool
345 cgraph_assemble_pending_functions (void)
347 bool output = false;
349 if (flag_unit_at_a_time)
350 return false;
352 cgraph_output_pending_asms ();
354 while (cgraph_nodes_queue)
356 struct cgraph_node *n = cgraph_nodes_queue;
358 cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
359 n->next_needed = NULL;
360 if (!n->global.inlined_to
361 && !n->alias
362 && !DECL_EXTERNAL (n->decl))
364 cgraph_expand_function (n);
365 output = true;
369 /* Process CGRAPH_EXPAND_QUEUE, these are functions created during
370 the expansion process. Note that this queue may grow as its
371 being processed, as the new functions may generate new ones. */
372 while (cgraph_expand_queue)
374 struct cgraph_node *n = cgraph_expand_queue;
375 cgraph_expand_queue = cgraph_expand_queue->next_needed;
376 n->next_needed = NULL;
377 cgraph_finalize_function (n->decl, false);
378 output = true;
381 return output;
385 /* As an GCC extension we allow redefinition of the function. The
386 semantics when both copies of bodies differ is not well defined.
387 We replace the old body with new body so in unit at a time mode
388 we always use new body, while in normal mode we may end up with
389 old body inlined into some functions and new body expanded and
390 inlined in others.
392 ??? It may make more sense to use one body for inlining and other
393 body for expanding the function but this is difficult to do. */
395 static void
396 cgraph_reset_node (struct cgraph_node *node)
398 /* If node->output is set, then this is a unit-at-a-time compilation
399 and we have already begun whole-unit analysis. This is *not*
400 testing for whether we've already emitted the function. That
401 case can be sort-of legitimately seen with real function
402 redefinition errors. I would argue that the front end should
403 never present us with such a case, but don't enforce that for now. */
404 gcc_assert (!node->output);
406 /* Reset our data structures so we can analyze the function again. */
407 memset (&node->local, 0, sizeof (node->local));
408 memset (&node->global, 0, sizeof (node->global));
409 memset (&node->rtl, 0, sizeof (node->rtl));
410 node->analyzed = false;
411 node->local.redefined_extern_inline = true;
412 node->local.finalized = false;
414 if (!flag_unit_at_a_time)
416 struct cgraph_node *n;
418 for (n = cgraph_nodes; n; n = n->next)
419 if (n->global.inlined_to == node)
420 cgraph_remove_node (n);
423 cgraph_node_remove_callees (node);
425 /* We may need to re-queue the node for assembling in case
426 we already proceeded it and ignored as not needed. */
427 if (node->reachable && !flag_unit_at_a_time)
429 struct cgraph_node *n;
431 for (n = cgraph_nodes_queue; n; n = n->next_needed)
432 if (n == node)
433 break;
434 if (!n)
435 node->reachable = 0;
439 static void
440 cgraph_lower_function (struct cgraph_node *node)
442 if (node->lowered)
443 return;
444 tree_lowering_passes (node->decl);
445 node->lowered = true;
448 /* DECL has been parsed. Take it, queue it, compile it at the whim of the
449 logic in effect. If NESTED is true, then our caller cannot stand to have
450 the garbage collector run at the moment. We would need to either create
451 a new GC context, or just not compile right now. */
453 void
454 cgraph_finalize_function (tree decl, bool nested)
456 struct cgraph_node *node = cgraph_node (decl);
458 if (node->local.finalized)
459 cgraph_reset_node (node);
461 notice_global_symbol (decl);
462 node->decl = decl;
463 node->local.finalized = true;
464 node->lowered = DECL_STRUCT_FUNCTION (decl)->cfg != NULL;
465 if (node->nested)
466 lower_nested_functions (decl);
467 gcc_assert (!node->nested);
469 /* If not unit at a time, then we need to create the call graph
470 now, so that called functions can be queued and emitted now. */
471 if (!flag_unit_at_a_time)
473 cgraph_analyze_function (node);
474 cgraph_decide_inlining_incrementally (node, false);
477 if (decide_is_function_needed (node, decl))
478 cgraph_mark_needed_node (node);
480 /* Since we reclaim unreachable nodes at the end of every language
481 level unit, we need to be conservative about possible entry points
482 there. */
483 if ((TREE_PUBLIC (decl) && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl)))
484 cgraph_mark_reachable_node (node);
486 /* If not unit at a time, go ahead and emit everything we've found
487 to be reachable at this time. */
488 if (!nested)
490 if (!cgraph_assemble_pending_functions ())
491 ggc_collect ();
494 /* If we've not yet emitted decl, tell the debug info about it. */
495 if (!TREE_ASM_WRITTEN (decl))
496 (*debug_hooks->deferred_inline_function) (decl);
498 /* Possibly warn about unused parameters. */
499 if (warn_unused_parameter)
500 do_warn_unused_parameter (decl);
503 /* Walk tree and record all calls. Called via walk_tree. */
504 static tree
505 record_reference (tree *tp, int *walk_subtrees, void *data)
507 tree t = *tp;
509 switch (TREE_CODE (t))
511 case VAR_DECL:
512 /* ??? Really, we should mark this decl as *potentially* referenced
513 by this function and re-examine whether the decl is actually used
514 after rtl has been generated. */
515 if (TREE_STATIC (t) || DECL_EXTERNAL (t))
517 cgraph_varpool_mark_needed_node (cgraph_varpool_node (t));
518 if (lang_hooks.callgraph.analyze_expr)
519 return lang_hooks.callgraph.analyze_expr (tp, walk_subtrees,
520 data);
522 break;
524 case FDESC_EXPR:
525 case ADDR_EXPR:
526 if (flag_unit_at_a_time)
528 /* Record dereferences to the functions. This makes the
529 functions reachable unconditionally. */
530 tree decl = TREE_OPERAND (*tp, 0);
531 if (TREE_CODE (decl) == FUNCTION_DECL)
532 cgraph_mark_needed_node (cgraph_node (decl));
534 break;
536 default:
537 /* Save some cycles by not walking types and declaration as we
538 won't find anything useful there anyway. */
539 if (IS_TYPE_OR_DECL_P (*tp))
541 *walk_subtrees = 0;
542 break;
545 if ((unsigned int) TREE_CODE (t) >= LAST_AND_UNUSED_TREE_CODE)
546 return lang_hooks.callgraph.analyze_expr (tp, walk_subtrees, data);
547 break;
550 return NULL;
553 /* Create cgraph edges for function calls inside BODY from NODE. */
555 static void
556 cgraph_create_edges (struct cgraph_node *node, tree body)
558 basic_block bb;
560 struct function *this_cfun = DECL_STRUCT_FUNCTION (body);
561 block_stmt_iterator bsi;
562 tree step;
563 visited_nodes = pointer_set_create ();
565 /* Reach the trees by walking over the CFG, and note the
566 enclosing basic-blocks in the call edges. */
567 FOR_EACH_BB_FN (bb, this_cfun)
568 for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi))
570 tree stmt = bsi_stmt (bsi);
571 tree call = get_call_expr_in (stmt);
572 tree decl;
574 if (call && (decl = get_callee_fndecl (call)))
576 cgraph_create_edge (node, cgraph_node (decl), stmt,
577 bb->count,
578 bb->loop_depth);
579 walk_tree (&TREE_OPERAND (call, 1),
580 record_reference, node, visited_nodes);
581 if (TREE_CODE (stmt) == MODIFY_EXPR)
582 walk_tree (&TREE_OPERAND (stmt, 0),
583 record_reference, node, visited_nodes);
585 else
586 walk_tree (bsi_stmt_ptr (bsi), record_reference, node, visited_nodes);
589 /* Look for initializers of constant variables and private statics. */
590 for (step = DECL_STRUCT_FUNCTION (body)->unexpanded_var_list;
591 step;
592 step = TREE_CHAIN (step))
594 tree decl = TREE_VALUE (step);
595 if (TREE_CODE (decl) == VAR_DECL
596 && (TREE_STATIC (decl) && !DECL_EXTERNAL (decl))
597 && flag_unit_at_a_time)
598 cgraph_varpool_finalize_decl (decl);
599 else if (TREE_CODE (decl) == VAR_DECL && DECL_INITIAL (decl))
600 walk_tree (&DECL_INITIAL (decl), record_reference, node, visited_nodes);
603 pointer_set_destroy (visited_nodes);
604 visited_nodes = NULL;
607 /* Give initial reasons why inlining would fail. Those gets
608 either NULLified or usually overwritten by more precise reason
609 later. */
610 static void
611 initialize_inline_failed (struct cgraph_node *node)
613 struct cgraph_edge *e;
615 for (e = node->callers; e; e = e->next_caller)
617 gcc_assert (!e->callee->global.inlined_to);
618 gcc_assert (e->inline_failed);
619 if (node->local.redefined_extern_inline)
620 e->inline_failed = N_("redefined extern inline functions are not "
621 "considered for inlining");
622 else if (!node->local.inlinable)
623 e->inline_failed = N_("function not inlinable");
624 else
625 e->inline_failed = N_("function not considered for inlining");
629 /* Rebuild call edges from current function after a passes not aware
630 of cgraph updating. */
631 static unsigned int
632 rebuild_cgraph_edges (void)
634 basic_block bb;
635 struct cgraph_node *node = cgraph_node (current_function_decl);
636 block_stmt_iterator bsi;
638 cgraph_node_remove_callees (node);
640 node->count = ENTRY_BLOCK_PTR->count;
642 FOR_EACH_BB (bb)
643 for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi))
645 tree stmt = bsi_stmt (bsi);
646 tree call = get_call_expr_in (stmt);
647 tree decl;
649 if (call && (decl = get_callee_fndecl (call)))
650 cgraph_create_edge (node, cgraph_node (decl), stmt,
651 bb->count,
652 bb->loop_depth);
654 initialize_inline_failed (node);
655 gcc_assert (!node->global.inlined_to);
656 return 0;
659 struct tree_opt_pass pass_rebuild_cgraph_edges =
661 NULL, /* name */
662 NULL, /* gate */
663 rebuild_cgraph_edges, /* execute */
664 NULL, /* sub */
665 NULL, /* next */
666 0, /* static_pass_number */
667 0, /* tv_id */
668 PROP_cfg, /* properties_required */
669 0, /* properties_provided */
670 0, /* properties_destroyed */
671 0, /* todo_flags_start */
672 0, /* todo_flags_finish */
673 0 /* letter */
676 /* Verify cgraph nodes of given cgraph node. */
677 void
678 verify_cgraph_node (struct cgraph_node *node)
680 struct cgraph_edge *e;
681 struct cgraph_node *main_clone;
682 struct function *this_cfun = DECL_STRUCT_FUNCTION (node->decl);
683 basic_block this_block;
684 block_stmt_iterator bsi;
685 bool error_found = false;
687 timevar_push (TV_CGRAPH_VERIFY);
688 for (e = node->callees; e; e = e->next_callee)
689 if (e->aux)
691 error ("aux field set for edge %s->%s",
692 cgraph_node_name (e->caller), cgraph_node_name (e->callee));
693 error_found = true;
695 if (node->count < 0)
697 error ("Execution count is negative");
698 error_found = true;
700 for (e = node->callers; e; e = e->next_caller)
702 if (e->count < 0)
704 error ("caller edge count is negative");
705 error_found = true;
707 if (!e->inline_failed)
709 if (node->global.inlined_to
710 != (e->caller->global.inlined_to
711 ? e->caller->global.inlined_to : e->caller))
713 error ("inlined_to pointer is wrong");
714 error_found = true;
716 if (node->callers->next_caller)
718 error ("multiple inline callers");
719 error_found = true;
722 else
723 if (node->global.inlined_to)
725 error ("inlined_to pointer set for noninline callers");
726 error_found = true;
729 if (!node->callers && node->global.inlined_to)
731 error ("inlined_to pointer is set but no predecessors found");
732 error_found = true;
734 if (node->global.inlined_to == node)
736 error ("inlined_to pointer refers to itself");
737 error_found = true;
740 for (main_clone = cgraph_node (node->decl); main_clone;
741 main_clone = main_clone->next_clone)
742 if (main_clone == node)
743 break;
744 if (!cgraph_node (node->decl))
746 error ("node not found in cgraph_hash");
747 error_found = true;
750 if (node->analyzed
751 && DECL_SAVED_TREE (node->decl) && !TREE_ASM_WRITTEN (node->decl)
752 && (!DECL_EXTERNAL (node->decl) || node->global.inlined_to))
754 if (this_cfun->cfg)
756 /* The nodes we're interested in are never shared, so walk
757 the tree ignoring duplicates. */
758 visited_nodes = pointer_set_create ();
759 /* Reach the trees by walking over the CFG, and note the
760 enclosing basic-blocks in the call edges. */
761 FOR_EACH_BB_FN (this_block, this_cfun)
762 for (bsi = bsi_start (this_block); !bsi_end_p (bsi); bsi_next (&bsi))
764 tree stmt = bsi_stmt (bsi);
765 tree call = get_call_expr_in (stmt);
766 tree decl;
767 if (call && (decl = get_callee_fndecl (call)))
769 struct cgraph_edge *e = cgraph_edge (node, stmt);
770 if (e)
772 if (e->aux)
774 error ("shared call_stmt:");
775 debug_generic_stmt (stmt);
776 error_found = true;
778 if (e->callee->decl != cgraph_node (decl)->decl
779 && e->inline_failed)
781 error ("edge points to wrong declaration:");
782 debug_tree (e->callee->decl);
783 fprintf (stderr," Instead of:");
784 debug_tree (decl);
786 e->aux = (void *)1;
788 else
790 error ("missing callgraph edge for call stmt:");
791 debug_generic_stmt (stmt);
792 error_found = true;
796 pointer_set_destroy (visited_nodes);
797 visited_nodes = NULL;
799 else
800 /* No CFG available?! */
801 gcc_unreachable ();
803 for (e = node->callees; e; e = e->next_callee)
805 if (!e->aux)
807 error ("edge %s->%s has no corresponding call_stmt",
808 cgraph_node_name (e->caller),
809 cgraph_node_name (e->callee));
810 debug_generic_stmt (e->call_stmt);
811 error_found = true;
813 e->aux = 0;
816 if (error_found)
818 dump_cgraph_node (stderr, node);
819 internal_error ("verify_cgraph_node failed");
821 timevar_pop (TV_CGRAPH_VERIFY);
824 /* Verify whole cgraph structure. */
825 void
826 verify_cgraph (void)
828 struct cgraph_node *node;
830 if (sorrycount || errorcount)
831 return;
833 for (node = cgraph_nodes; node; node = node->next)
834 verify_cgraph_node (node);
837 /* Output one variable, if necessary. Return whether we output it. */
838 static bool
839 cgraph_varpool_assemble_decl (struct cgraph_varpool_node *node)
841 tree decl = node->decl;
843 if (!TREE_ASM_WRITTEN (decl)
844 && !node->alias
845 && !DECL_EXTERNAL (decl)
846 && (TREE_CODE (decl) != VAR_DECL || !DECL_HAS_VALUE_EXPR_P (decl)))
848 assemble_variable (decl, 0, 1, 0);
849 /* Local static variables are never seen by check_global_declarations
850 so we need to output debug info by hand. */
851 if (DECL_CONTEXT (decl)
852 && (TREE_CODE (DECL_CONTEXT (decl)) == BLOCK
853 || TREE_CODE (DECL_CONTEXT (decl)) == FUNCTION_DECL)
854 && errorcount == 0 && sorrycount == 0)
856 timevar_push (TV_SYMOUT);
857 (*debug_hooks->global_decl) (decl);
858 timevar_pop (TV_SYMOUT);
860 return true;
863 return false;
866 /* Output all variables enqueued to be assembled. */
867 bool
868 cgraph_varpool_assemble_pending_decls (void)
870 bool changed = false;
872 if (errorcount || sorrycount)
873 return false;
875 /* EH might mark decls as needed during expansion. This should be safe since
876 we don't create references to new function, but it should not be used
877 elsewhere. */
878 cgraph_varpool_analyze_pending_decls ();
880 while (cgraph_varpool_nodes_queue)
882 struct cgraph_varpool_node *node = cgraph_varpool_nodes_queue;
884 cgraph_varpool_nodes_queue = cgraph_varpool_nodes_queue->next_needed;
885 if (cgraph_varpool_assemble_decl (node))
886 changed = true;
887 node->next_needed = NULL;
889 return changed;
892 /* Output all asm statements we have stored up to be output. */
894 static void
895 cgraph_output_pending_asms (void)
897 struct cgraph_asm_node *can;
899 if (errorcount || sorrycount)
900 return;
902 for (can = cgraph_asm_nodes; can; can = can->next)
903 assemble_asm (can->asm_str);
904 cgraph_asm_nodes = NULL;
907 /* Analyze the function scheduled to be output. */
908 void
909 cgraph_analyze_function (struct cgraph_node *node)
911 tree decl = node->decl;
913 current_function_decl = decl;
914 push_cfun (DECL_STRUCT_FUNCTION (decl));
915 cgraph_lower_function (node);
917 /* First kill forward declaration so reverse inlining works properly. */
918 cgraph_create_edges (node, decl);
920 node->local.inlinable = tree_inlinable_function_p (decl);
921 node->local.self_insns = estimate_num_insns (decl);
922 if (node->local.inlinable)
923 node->local.disregard_inline_limits
924 = lang_hooks.tree_inlining.disregard_inline_limits (decl);
925 initialize_inline_failed (node);
926 if (flag_really_no_inline && !node->local.disregard_inline_limits)
927 node->local.inlinable = 0;
928 /* Inlining characteristics are maintained by the cgraph_mark_inline. */
929 node->global.insns = node->local.self_insns;
931 node->analyzed = true;
932 pop_cfun ();
933 current_function_decl = NULL;
936 /* Analyze the whole compilation unit once it is parsed completely. */
938 void
939 cgraph_finalize_compilation_unit (void)
941 struct cgraph_node *node;
942 /* Keep track of already processed nodes when called multiple times for
943 intermodule optimization. */
944 static struct cgraph_node *first_analyzed;
946 finish_aliases_1 ();
948 if (!flag_unit_at_a_time)
950 cgraph_output_pending_asms ();
951 cgraph_assemble_pending_functions ();
952 return;
955 if (!quiet_flag)
957 fprintf (stderr, "\nAnalyzing compilation unit");
958 fflush (stderr);
961 timevar_push (TV_CGRAPH);
962 cgraph_varpool_analyze_pending_decls ();
963 if (cgraph_dump_file)
965 fprintf (cgraph_dump_file, "Initial entry points:");
966 for (node = cgraph_nodes; node != first_analyzed; node = node->next)
967 if (node->needed && DECL_SAVED_TREE (node->decl))
968 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
969 fprintf (cgraph_dump_file, "\n");
972 /* Propagate reachability flag and lower representation of all reachable
973 functions. In the future, lowering will introduce new functions and
974 new entry points on the way (by template instantiation and virtual
975 method table generation for instance). */
976 while (cgraph_nodes_queue)
978 struct cgraph_edge *edge;
979 tree decl = cgraph_nodes_queue->decl;
981 node = cgraph_nodes_queue;
982 cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
983 node->next_needed = NULL;
985 /* ??? It is possible to create extern inline function and later using
986 weak alias attribute to kill its body. See
987 gcc.c-torture/compile/20011119-1.c */
988 if (!DECL_SAVED_TREE (decl))
990 cgraph_reset_node (node);
991 continue;
994 gcc_assert (!node->analyzed && node->reachable);
995 gcc_assert (DECL_SAVED_TREE (decl));
997 cgraph_analyze_function (node);
999 for (edge = node->callees; edge; edge = edge->next_callee)
1000 if (!edge->callee->reachable)
1001 cgraph_mark_reachable_node (edge->callee);
1003 cgraph_varpool_analyze_pending_decls ();
1006 /* Collect entry points to the unit. */
1008 if (cgraph_dump_file)
1010 fprintf (cgraph_dump_file, "Unit entry points:");
1011 for (node = cgraph_nodes; node != first_analyzed; node = node->next)
1012 if (node->needed && DECL_SAVED_TREE (node->decl))
1013 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1014 fprintf (cgraph_dump_file, "\n\nInitial ");
1015 dump_cgraph (cgraph_dump_file);
1018 if (cgraph_dump_file)
1019 fprintf (cgraph_dump_file, "\nReclaiming functions:");
1021 for (node = cgraph_nodes; node != first_analyzed; node = node->next)
1023 tree decl = node->decl;
1025 if (node->local.finalized && !DECL_SAVED_TREE (decl))
1026 cgraph_reset_node (node);
1028 if (!node->reachable && DECL_SAVED_TREE (decl))
1030 if (cgraph_dump_file)
1031 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1032 cgraph_remove_node (node);
1033 continue;
1035 else
1036 node->next_needed = NULL;
1037 gcc_assert (!node->local.finalized || DECL_SAVED_TREE (decl));
1038 gcc_assert (node->analyzed == node->local.finalized);
1040 if (cgraph_dump_file)
1042 fprintf (cgraph_dump_file, "\n\nReclaimed ");
1043 dump_cgraph (cgraph_dump_file);
1045 first_analyzed = cgraph_nodes;
1046 ggc_collect ();
1047 timevar_pop (TV_CGRAPH);
1049 /* Figure out what functions we want to assemble. */
1051 static void
1052 cgraph_mark_functions_to_output (void)
1054 struct cgraph_node *node;
1056 for (node = cgraph_nodes; node; node = node->next)
1058 tree decl = node->decl;
1059 struct cgraph_edge *e;
1061 gcc_assert (!node->output);
1063 for (e = node->callers; e; e = e->next_caller)
1064 if (e->inline_failed)
1065 break;
1067 /* We need to output all local functions that are used and not
1068 always inlined, as well as those that are reachable from
1069 outside the current compilation unit. */
1070 if (DECL_SAVED_TREE (decl)
1071 && !node->global.inlined_to
1072 && (node->needed
1073 || (e && node->reachable))
1074 && !TREE_ASM_WRITTEN (decl)
1075 && !DECL_EXTERNAL (decl))
1076 node->output = 1;
1077 else
1079 /* We should've reclaimed all functions that are not needed. */
1080 #ifdef ENABLE_CHECKING
1081 if (!node->global.inlined_to && DECL_SAVED_TREE (decl)
1082 && !DECL_EXTERNAL (decl))
1084 dump_cgraph_node (stderr, node);
1085 internal_error ("failed to reclaim unneeded function");
1087 #endif
1088 gcc_assert (node->global.inlined_to || !DECL_SAVED_TREE (decl)
1089 || DECL_EXTERNAL (decl));
1096 /* Expand function specified by NODE. */
1098 static void
1099 cgraph_expand_function (struct cgraph_node *node)
1101 tree decl = node->decl;
1103 /* We ought to not compile any inline clones. */
1104 gcc_assert (!node->global.inlined_to);
1106 if (flag_unit_at_a_time)
1107 announce_function (decl);
1109 cgraph_lower_function (node);
1111 /* Generate RTL for the body of DECL. */
1112 lang_hooks.callgraph.expand_function (decl);
1114 /* Make sure that BE didn't give up on compiling. */
1115 /* ??? Can happen with nested function of extern inline. */
1116 gcc_assert (TREE_ASM_WRITTEN (node->decl));
1118 current_function_decl = NULL;
1119 if (!cgraph_preserve_function_body_p (node->decl))
1121 DECL_SAVED_TREE (node->decl) = NULL;
1122 DECL_STRUCT_FUNCTION (node->decl) = NULL;
1123 DECL_INITIAL (node->decl) = error_mark_node;
1124 /* Eliminate all call edges. This is important so the call_expr no longer
1125 points to the dead function body. */
1126 cgraph_node_remove_callees (node);
1129 cgraph_function_flags_ready = true;
1132 /* Return true when CALLER_DECL should be inlined into CALLEE_DECL. */
1134 bool
1135 cgraph_inline_p (struct cgraph_edge *e, const char **reason)
1137 *reason = e->inline_failed;
1138 return !e->inline_failed;
1143 /* Expand all functions that must be output.
1145 Attempt to topologically sort the nodes so function is output when
1146 all called functions are already assembled to allow data to be
1147 propagated across the callgraph. Use a stack to get smaller distance
1148 between a function and its callees (later we may choose to use a more
1149 sophisticated algorithm for function reordering; we will likely want
1150 to use subsections to make the output functions appear in top-down
1151 order). */
1153 static void
1154 cgraph_expand_all_functions (void)
1156 struct cgraph_node *node;
1157 struct cgraph_node **order = XCNEWVEC (struct cgraph_node *, cgraph_n_nodes);
1158 int order_pos = 0, new_order_pos = 0;
1159 int i;
1161 order_pos = cgraph_postorder (order);
1162 gcc_assert (order_pos == cgraph_n_nodes);
1164 /* Garbage collector may remove inline clones we eliminate during
1165 optimization. So we must be sure to not reference them. */
1166 for (i = 0; i < order_pos; i++)
1167 if (order[i]->output)
1168 order[new_order_pos++] = order[i];
1170 for (i = new_order_pos - 1; i >= 0; i--)
1172 node = order[i];
1173 if (node->output)
1175 gcc_assert (node->reachable);
1176 node->output = 0;
1177 cgraph_expand_function (node);
1181 free (order);
1183 /* Process CGRAPH_EXPAND_QUEUE, these are functions created during
1184 the expansion process. Note that this queue may grow as its
1185 being processed, as the new functions may generate new ones. */
1186 while (cgraph_expand_queue)
1188 node = cgraph_expand_queue;
1189 cgraph_expand_queue = cgraph_expand_queue->next_needed;
1190 node->next_needed = NULL;
1191 node->output = 0;
1192 node->lowered = DECL_STRUCT_FUNCTION (node->decl)->cfg != NULL;
1193 cgraph_expand_function (node);
1197 /* This is used to sort the node types by the cgraph order number. */
1199 struct cgraph_order_sort
1201 enum { ORDER_UNDEFINED = 0, ORDER_FUNCTION, ORDER_VAR, ORDER_ASM } kind;
1202 union
1204 struct cgraph_node *f;
1205 struct cgraph_varpool_node *v;
1206 struct cgraph_asm_node *a;
1207 } u;
1210 /* Output all functions, variables, and asm statements in the order
1211 according to their order fields, which is the order in which they
1212 appeared in the file. This implements -fno-toplevel-reorder. In
1213 this mode we may output functions and variables which don't really
1214 need to be output. */
1216 static void
1217 cgraph_output_in_order (void)
1219 int max;
1220 size_t size;
1221 struct cgraph_order_sort *nodes;
1222 int i;
1223 struct cgraph_node *pf;
1224 struct cgraph_varpool_node *pv;
1225 struct cgraph_asm_node *pa;
1227 max = cgraph_order;
1228 size = max * sizeof (struct cgraph_order_sort);
1229 nodes = (struct cgraph_order_sort *) alloca (size);
1230 memset (nodes, 0, size);
1232 cgraph_varpool_analyze_pending_decls ();
1234 for (pf = cgraph_nodes; pf; pf = pf->next)
1236 if (pf->output)
1238 i = pf->order;
1239 gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1240 nodes[i].kind = ORDER_FUNCTION;
1241 nodes[i].u.f = pf;
1245 for (pv = cgraph_varpool_nodes_queue; pv; pv = pv->next_needed)
1247 i = pv->order;
1248 gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1249 nodes[i].kind = ORDER_VAR;
1250 nodes[i].u.v = pv;
1253 for (pa = cgraph_asm_nodes; pa; pa = pa->next)
1255 i = pa->order;
1256 gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1257 nodes[i].kind = ORDER_ASM;
1258 nodes[i].u.a = pa;
1261 for (i = 0; i < max; ++i)
1263 switch (nodes[i].kind)
1265 case ORDER_FUNCTION:
1266 nodes[i].u.f->output = 0;
1267 cgraph_expand_function (nodes[i].u.f);
1268 break;
1270 case ORDER_VAR:
1271 cgraph_varpool_assemble_decl (nodes[i].u.v);
1272 break;
1274 case ORDER_ASM:
1275 assemble_asm (nodes[i].u.a->asm_str);
1276 break;
1278 case ORDER_UNDEFINED:
1279 break;
1281 default:
1282 gcc_unreachable ();
1286 cgraph_asm_nodes = NULL;
1289 /* Mark visibility of all functions.
1291 A local function is one whose calls can occur only in the current
1292 compilation unit and all its calls are explicit, so we can change
1293 its calling convention. We simply mark all static functions whose
1294 address is not taken as local.
1296 We also change the TREE_PUBLIC flag of all declarations that are public
1297 in language point of view but we want to overwrite this default
1298 via visibilities for the backend point of view. */
1300 static void
1301 cgraph_function_and_variable_visibility (void)
1303 struct cgraph_node *node;
1304 struct cgraph_varpool_node *vnode;
1306 for (node = cgraph_nodes; node; node = node->next)
1308 if (node->reachable
1309 && (DECL_COMDAT (node->decl)
1310 || (!flag_whole_program
1311 && TREE_PUBLIC (node->decl) && !DECL_EXTERNAL (node->decl))))
1312 node->local.externally_visible = true;
1313 if (!node->local.externally_visible && node->analyzed
1314 && !DECL_EXTERNAL (node->decl))
1316 gcc_assert (flag_whole_program || !TREE_PUBLIC (node->decl));
1317 TREE_PUBLIC (node->decl) = 0;
1319 node->local.local = (!node->needed
1320 && node->analyzed
1321 && !DECL_EXTERNAL (node->decl)
1322 && !node->local.externally_visible);
1324 for (vnode = cgraph_varpool_nodes_queue; vnode; vnode = vnode->next_needed)
1326 if (vnode->needed
1327 && !flag_whole_program
1328 && (DECL_COMDAT (vnode->decl) || TREE_PUBLIC (vnode->decl)))
1329 vnode->externally_visible = 1;
1330 if (!vnode->externally_visible)
1332 gcc_assert (flag_whole_program || !TREE_PUBLIC (vnode->decl));
1333 TREE_PUBLIC (vnode->decl) = 0;
1335 gcc_assert (TREE_STATIC (vnode->decl));
1338 /* Because we have to be conservative on the boundaries of source
1339 level units, it is possible that we marked some functions in
1340 reachable just because they might be used later via external
1341 linkage, but after making them local they are really unreachable
1342 now. */
1343 cgraph_remove_unreachable_nodes (true, cgraph_dump_file);
1345 if (cgraph_dump_file)
1347 fprintf (cgraph_dump_file, "\nMarking local functions:");
1348 for (node = cgraph_nodes; node; node = node->next)
1349 if (node->local.local)
1350 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1351 fprintf (cgraph_dump_file, "\n\n");
1352 fprintf (cgraph_dump_file, "\nMarking externally visible functions:");
1353 for (node = cgraph_nodes; node; node = node->next)
1354 if (node->local.externally_visible)
1355 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1356 fprintf (cgraph_dump_file, "\n\n");
1358 cgraph_function_flags_ready = true;
1361 /* Return true when function body of DECL still needs to be kept around
1362 for later re-use. */
1363 bool
1364 cgraph_preserve_function_body_p (tree decl)
1366 struct cgraph_node *node;
1367 if (!cgraph_global_info_ready)
1368 return (DECL_INLINE (decl) && !flag_really_no_inline);
1369 /* Look if there is any clone around. */
1370 for (node = cgraph_node (decl); node; node = node->next_clone)
1371 if (node->global.inlined_to)
1372 return true;
1373 return false;
1376 static void
1377 ipa_passes (void)
1379 cfun = NULL;
1380 tree_register_cfg_hooks ();
1381 bitmap_obstack_initialize (NULL);
1382 execute_ipa_pass_list (all_ipa_passes);
1383 bitmap_obstack_release (NULL);
1386 /* Perform simple optimizations based on callgraph. */
1388 void
1389 cgraph_optimize (void)
1391 #ifdef ENABLE_CHECKING
1392 verify_cgraph ();
1393 #endif
1394 if (!flag_unit_at_a_time)
1396 cgraph_output_pending_asms ();
1397 cgraph_varpool_assemble_pending_decls ();
1398 return;
1401 process_pending_assemble_externals ();
1403 /* Frontend may output common variables after the unit has been finalized.
1404 It is safe to deal with them here as they are always zero initialized. */
1405 cgraph_varpool_analyze_pending_decls ();
1407 timevar_push (TV_CGRAPHOPT);
1408 if (!quiet_flag)
1409 fprintf (stderr, "Performing intraprocedural optimizations\n");
1411 cgraph_function_and_variable_visibility ();
1412 if (cgraph_dump_file)
1414 fprintf (cgraph_dump_file, "Marked ");
1415 dump_cgraph (cgraph_dump_file);
1418 /* Don't run the IPA passes if there was any error or sorry messages. */
1419 if (errorcount == 0 && sorrycount == 0)
1420 ipa_passes ();
1422 /* This pass remove bodies of extern inline functions we never inlined.
1423 Do this later so other IPA passes see what is really going on. */
1424 cgraph_remove_unreachable_nodes (false, dump_file);
1425 cgraph_global_info_ready = true;
1426 if (cgraph_dump_file)
1428 fprintf (cgraph_dump_file, "Optimized ");
1429 dump_cgraph (cgraph_dump_file);
1430 dump_varpool (cgraph_dump_file);
1432 timevar_pop (TV_CGRAPHOPT);
1434 /* Output everything. */
1435 if (!quiet_flag)
1436 fprintf (stderr, "Assembling functions:\n");
1437 #ifdef ENABLE_CHECKING
1438 verify_cgraph ();
1439 #endif
1441 cgraph_mark_functions_to_output ();
1443 if (!flag_toplevel_reorder)
1444 cgraph_output_in_order ();
1445 else
1447 cgraph_output_pending_asms ();
1449 cgraph_expand_all_functions ();
1450 cgraph_varpool_remove_unreferenced_decls ();
1452 cgraph_varpool_assemble_pending_decls ();
1455 if (cgraph_dump_file)
1457 fprintf (cgraph_dump_file, "\nFinal ");
1458 dump_cgraph (cgraph_dump_file);
1460 #ifdef ENABLE_CHECKING
1461 verify_cgraph ();
1462 /* Double check that all inline clones are gone and that all
1463 function bodies have been released from memory. */
1464 if (flag_unit_at_a_time
1465 && !dump_enabled_p (TDI_tree_all)
1466 && !(sorrycount || errorcount))
1468 struct cgraph_node *node;
1469 bool error_found = false;
1471 for (node = cgraph_nodes; node; node = node->next)
1472 if (node->analyzed
1473 && (node->global.inlined_to
1474 || DECL_SAVED_TREE (node->decl)))
1476 error_found = true;
1477 dump_cgraph_node (stderr, node);
1479 if (error_found)
1480 internal_error ("nodes with no released memory found");
1482 #endif
1485 /* Generate and emit a static constructor or destructor. WHICH must be
1486 one of 'I' or 'D'. BODY should be a STATEMENT_LIST containing
1487 GENERIC statements. */
1489 void
1490 cgraph_build_static_cdtor (char which, tree body, int priority)
1492 static int counter = 0;
1493 char which_buf[16];
1494 tree decl, name, resdecl;
1496 sprintf (which_buf, "%c_%d", which, counter++);
1497 name = get_file_function_name_long (which_buf);
1499 decl = build_decl (FUNCTION_DECL, name,
1500 build_function_type (void_type_node, void_list_node));
1501 current_function_decl = decl;
1503 resdecl = build_decl (RESULT_DECL, NULL_TREE, void_type_node);
1504 DECL_ARTIFICIAL (resdecl) = 1;
1505 DECL_IGNORED_P (resdecl) = 1;
1506 DECL_RESULT (decl) = resdecl;
1508 allocate_struct_function (decl);
1510 TREE_STATIC (decl) = 1;
1511 TREE_USED (decl) = 1;
1512 DECL_ARTIFICIAL (decl) = 1;
1513 DECL_IGNORED_P (decl) = 1;
1514 DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (decl) = 1;
1515 DECL_SAVED_TREE (decl) = body;
1516 TREE_PUBLIC (decl) = ! targetm.have_ctors_dtors;
1517 DECL_UNINLINABLE (decl) = 1;
1519 DECL_INITIAL (decl) = make_node (BLOCK);
1520 TREE_USED (DECL_INITIAL (decl)) = 1;
1522 DECL_SOURCE_LOCATION (decl) = input_location;
1523 cfun->function_end_locus = input_location;
1525 switch (which)
1527 case 'I':
1528 DECL_STATIC_CONSTRUCTOR (decl) = 1;
1529 break;
1530 case 'D':
1531 DECL_STATIC_DESTRUCTOR (decl) = 1;
1532 break;
1533 default:
1534 gcc_unreachable ();
1537 gimplify_function_tree (decl);
1539 /* ??? We will get called LATE in the compilation process. */
1540 if (cgraph_global_info_ready)
1542 tree_lowering_passes (decl);
1543 tree_rest_of_compilation (decl);
1545 else
1546 cgraph_finalize_function (decl, 0);
1548 if (targetm.have_ctors_dtors)
1550 void (*fn) (rtx, int);
1552 if (which == 'I')
1553 fn = targetm.asm_out.constructor;
1554 else
1555 fn = targetm.asm_out.destructor;
1556 fn (XEXP (DECL_RTL (decl), 0), priority);
1560 void
1561 init_cgraph (void)
1563 cgraph_dump_file = dump_begin (TDI_cgraph, NULL);
1566 /* The edges representing the callers of the NEW_VERSION node were
1567 fixed by cgraph_function_versioning (), now the call_expr in their
1568 respective tree code should be updated to call the NEW_VERSION. */
1570 static void
1571 update_call_expr (struct cgraph_node *new_version)
1573 struct cgraph_edge *e;
1575 gcc_assert (new_version);
1576 for (e = new_version->callers; e; e = e->next_caller)
1577 /* Update the call expr on the edges
1578 to call the new version. */
1579 TREE_OPERAND (TREE_OPERAND (get_call_expr_in (e->call_stmt), 0), 0) = new_version->decl;
1583 /* Create a new cgraph node which is the new version of
1584 OLD_VERSION node. REDIRECT_CALLERS holds the callers
1585 edges which should be redirected to point to
1586 NEW_VERSION. ALL the callees edges of OLD_VERSION
1587 are cloned to the new version node. Return the new
1588 version node. */
1590 static struct cgraph_node *
1591 cgraph_copy_node_for_versioning (struct cgraph_node *old_version,
1592 tree new_decl,
1593 VEC(cgraph_edge_p,heap) *redirect_callers)
1595 struct cgraph_node *new_version;
1596 struct cgraph_edge *e, *new_e;
1597 struct cgraph_edge *next_callee;
1598 unsigned i;
1600 gcc_assert (old_version);
1602 new_version = cgraph_node (new_decl);
1604 new_version->analyzed = true;
1605 new_version->local = old_version->local;
1606 new_version->global = old_version->global;
1607 new_version->rtl = new_version->rtl;
1608 new_version->reachable = true;
1609 new_version->count = old_version->count;
1611 /* Clone the old node callees. Recursive calls are
1612 also cloned. */
1613 for (e = old_version->callees;e; e=e->next_callee)
1615 new_e = cgraph_clone_edge (e, new_version, e->call_stmt, 0, e->loop_nest, true);
1616 new_e->count = e->count;
1618 /* Fix recursive calls.
1619 If OLD_VERSION has a recursive call after the
1620 previous edge cloning, the new version will have an edge
1621 pointing to the old version, which is wrong;
1622 Redirect it to point to the new version. */
1623 for (e = new_version->callees ; e; e = next_callee)
1625 next_callee = e->next_callee;
1626 if (e->callee == old_version)
1627 cgraph_redirect_edge_callee (e, new_version);
1629 if (!next_callee)
1630 break;
1632 for (i = 0; VEC_iterate (cgraph_edge_p, redirect_callers, i, e); i++)
1634 /* Redirect calls to the old version node to point to its new
1635 version. */
1636 cgraph_redirect_edge_callee (e, new_version);
1639 return new_version;
1642 /* Perform function versioning.
1643 Function versioning includes copying of the tree and
1644 a callgraph update (creating a new cgraph node and updating
1645 its callees and callers).
1647 REDIRECT_CALLERS varray includes the edges to be redirected
1648 to the new version.
1650 TREE_MAP is a mapping of tree nodes we want to replace with
1651 new ones (according to results of prior analysis).
1652 OLD_VERSION_NODE is the node that is versioned.
1653 It returns the new version's cgraph node. */
1655 struct cgraph_node *
1656 cgraph_function_versioning (struct cgraph_node *old_version_node,
1657 VEC(cgraph_edge_p,heap) *redirect_callers,
1658 varray_type tree_map)
1660 tree old_decl = old_version_node->decl;
1661 struct cgraph_node *new_version_node = NULL;
1662 tree new_decl;
1664 if (!tree_versionable_function_p (old_decl))
1665 return NULL;
1667 /* Make a new FUNCTION_DECL tree node for the
1668 new version. */
1669 new_decl = copy_node (old_decl);
1671 /* Create the new version's call-graph node.
1672 and update the edges of the new node. */
1673 new_version_node =
1674 cgraph_copy_node_for_versioning (old_version_node, new_decl,
1675 redirect_callers);
1677 /* Copy the OLD_VERSION_NODE function tree to the new version. */
1678 tree_function_versioning (old_decl, new_decl, tree_map, false);
1679 /* Update the call_expr on the edges to call the new version node. */
1680 update_call_expr (new_version_node);
1682 /* Update the new version's properties.
1683 Make The new version visible only within this translation unit.
1684 ??? We cannot use COMDAT linkage because there is no
1685 ABI support for this. */
1686 DECL_EXTERNAL (new_version_node->decl) = 0;
1687 DECL_ONE_ONLY (new_version_node->decl) = 0;
1688 TREE_PUBLIC (new_version_node->decl) = 0;
1689 DECL_COMDAT (new_version_node->decl) = 0;
1690 new_version_node->local.externally_visible = 0;
1691 new_version_node->local.local = 1;
1692 new_version_node->lowered = true;
1693 return new_version_node;
1696 /* Produce separate function body for inline clones so the offline copy can be
1697 modified without affecting them. */
1698 struct cgraph_node *
1699 save_inline_function_body (struct cgraph_node *node)
1701 struct cgraph_node *first_clone;
1703 gcc_assert (node == cgraph_node (node->decl));
1705 cgraph_lower_function (node);
1707 /* In non-unit-at-a-time we construct full fledged clone we never output to
1708 assembly file. This clone is pointed out by inline_decl of original function
1709 and inlining infrastructure knows how to deal with this. */
1710 if (!flag_unit_at_a_time)
1712 struct cgraph_edge *e;
1714 first_clone = cgraph_clone_node (node, node->count, 0, false);
1715 first_clone->needed = 0;
1716 first_clone->reachable = 1;
1717 /* Recursively clone all bodies. */
1718 for (e = first_clone->callees; e; e = e->next_callee)
1719 if (!e->inline_failed)
1720 cgraph_clone_inlined_nodes (e, true, false);
1722 else
1723 first_clone = node->next_clone;
1725 first_clone->decl = copy_node (node->decl);
1726 node->next_clone = NULL;
1727 if (!flag_unit_at_a_time)
1728 node->inline_decl = first_clone->decl;
1729 first_clone->prev_clone = NULL;
1730 cgraph_insert_node_to_hashtable (first_clone);
1731 gcc_assert (first_clone == cgraph_node (first_clone->decl));
1733 /* Copy the OLD_VERSION_NODE function tree to the new version. */
1734 tree_function_versioning (node->decl, first_clone->decl, NULL, true);
1736 DECL_EXTERNAL (first_clone->decl) = 0;
1737 DECL_ONE_ONLY (first_clone->decl) = 0;
1738 TREE_PUBLIC (first_clone->decl) = 0;
1739 DECL_COMDAT (first_clone->decl) = 0;
1741 for (node = first_clone->next_clone; node; node = node->next_clone)
1742 node->decl = first_clone->decl;
1743 #ifdef ENABLE_CHECKING
1744 verify_cgraph_node (first_clone);
1745 #endif
1746 return first_clone;