* check-init.c, decl.c, expr.c, gcj.texi, java-tree.h,
[official-gcc.git] / gcc / cgraphunit.c
blob012cb7c23089d25586617a0efecf779c65f585cf
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_analyze_function (struct cgraph_node *node);
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. */
220 if ((TREE_PUBLIC (decl) && !flag_whole_program)
221 && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl))
222 return true;
224 /* Constructors and destructors are reachable from the runtime by
225 some mechanism. */
226 if (DECL_STATIC_CONSTRUCTOR (decl) || DECL_STATIC_DESTRUCTOR (decl))
227 return true;
229 if (flag_unit_at_a_time)
230 return false;
232 /* If not doing unit at a time, then we'll only defer this function
233 if its marked for inlining. Otherwise we want to emit it now. */
235 /* "extern inline" functions are never output locally. */
236 if (DECL_EXTERNAL (decl))
237 return false;
238 /* Nested functions of extern inline function shall not be emit unless
239 we inlined the origin. */
240 for (origin = decl_function_context (decl); origin;
241 origin = decl_function_context (origin))
242 if (DECL_EXTERNAL (origin))
243 return false;
244 /* We want to emit COMDAT functions only when absolutely necessary. */
245 if (DECL_COMDAT (decl))
246 return false;
247 if (!DECL_INLINE (decl)
248 || (!node->local.disregard_inline_limits
249 /* When declared inline, defer even the uninlinable functions.
250 This allows them to be eliminated when unused. */
251 && !DECL_DECLARED_INLINE_P (decl)
252 && (!node->local.inlinable || !cgraph_default_inline_p (node, NULL))))
253 return true;
255 return false;
258 /* Walk the decls we marked as necessary and see if they reference new
259 variables or functions and add them into the worklists. */
260 static bool
261 cgraph_varpool_analyze_pending_decls (void)
263 bool changed = false;
264 timevar_push (TV_CGRAPH);
266 while (cgraph_varpool_first_unanalyzed_node)
268 tree decl = cgraph_varpool_first_unanalyzed_node->decl;
270 cgraph_varpool_first_unanalyzed_node->analyzed = true;
272 cgraph_varpool_first_unanalyzed_node = cgraph_varpool_first_unanalyzed_node->next_needed;
274 if (DECL_INITIAL (decl))
276 visited_nodes = pointer_set_create ();
277 walk_tree (&DECL_INITIAL (decl), record_reference, NULL, visited_nodes);
278 pointer_set_destroy (visited_nodes);
279 visited_nodes = NULL;
281 changed = true;
283 timevar_pop (TV_CGRAPH);
284 return changed;
287 /* Optimization of function bodies might've rendered some variables as
288 unnecessary so we want to avoid these from being compiled.
290 This is done by pruning the queue and keeping only the variables that
291 really appear needed (ie they are either externally visible or referenced
292 by compiled function). Re-doing the reachability analysis on variables
293 brings back the remaining variables referenced by these. */
294 static void
295 cgraph_varpool_remove_unreferenced_decls (void)
297 struct cgraph_varpool_node *next, *node = cgraph_varpool_nodes_queue;
299 cgraph_varpool_reset_queue ();
301 if (errorcount || sorrycount)
302 return;
304 while (node)
306 tree decl = node->decl;
307 next = node->next_needed;
308 node->needed = 0;
310 if (node->finalized
311 && ((DECL_ASSEMBLER_NAME_SET_P (decl)
312 && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
313 || node->force_output
314 || decide_is_variable_needed (node, decl)))
315 cgraph_varpool_mark_needed_node (node);
317 node = next;
319 cgraph_varpool_analyze_pending_decls ();
323 /* When not doing unit-at-a-time, output all functions enqueued.
324 Return true when such a functions were found. */
326 bool
327 cgraph_assemble_pending_functions (void)
329 bool output = false;
331 if (flag_unit_at_a_time)
332 return false;
334 while (cgraph_nodes_queue)
336 struct cgraph_node *n = cgraph_nodes_queue;
338 cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
339 n->next_needed = NULL;
340 if (!n->global.inlined_to
341 && !n->alias
342 && !DECL_EXTERNAL (n->decl))
344 cgraph_expand_function (n);
345 output = true;
349 return output;
351 /* As an GCC extension we allow redefinition of the function. The
352 semantics when both copies of bodies differ is not well defined.
353 We replace the old body with new body so in unit at a time mode
354 we always use new body, while in normal mode we may end up with
355 old body inlined into some functions and new body expanded and
356 inlined in others.
358 ??? It may make more sense to use one body for inlining and other
359 body for expanding the function but this is difficult to do. */
361 static void
362 cgraph_reset_node (struct cgraph_node *node)
364 /* If node->output is set, then this is a unit-at-a-time compilation
365 and we have already begun whole-unit analysis. This is *not*
366 testing for whether we've already emitted the function. That
367 case can be sort-of legitimately seen with real function
368 redefinition errors. I would argue that the front end should
369 never present us with such a case, but don't enforce that for now. */
370 gcc_assert (!node->output);
372 /* Reset our data structures so we can analyze the function again. */
373 memset (&node->local, 0, sizeof (node->local));
374 memset (&node->global, 0, sizeof (node->global));
375 memset (&node->rtl, 0, sizeof (node->rtl));
376 node->analyzed = false;
377 node->local.redefined_extern_inline = true;
378 node->local.finalized = false;
380 if (!flag_unit_at_a_time)
382 struct cgraph_node *n;
384 for (n = cgraph_nodes; n; n = n->next)
385 if (n->global.inlined_to == node)
386 cgraph_remove_node (n);
389 cgraph_node_remove_callees (node);
391 /* We may need to re-queue the node for assembling in case
392 we already proceeded it and ignored as not needed. */
393 if (node->reachable && !flag_unit_at_a_time)
395 struct cgraph_node *n;
397 for (n = cgraph_nodes_queue; n; n = n->next_needed)
398 if (n == node)
399 break;
400 if (!n)
401 node->reachable = 0;
405 /* DECL has been parsed. Take it, queue it, compile it at the whim of the
406 logic in effect. If NESTED is true, then our caller cannot stand to have
407 the garbage collector run at the moment. We would need to either create
408 a new GC context, or just not compile right now. */
410 void
411 cgraph_finalize_function (tree decl, bool nested)
413 struct cgraph_node *node = cgraph_node (decl);
415 if (node->local.finalized)
416 cgraph_reset_node (node);
418 notice_global_symbol (decl);
419 node->decl = decl;
420 node->local.finalized = true;
421 node->lowered = DECL_STRUCT_FUNCTION (decl)->cfg != NULL;
422 if (node->nested)
423 lower_nested_functions (decl);
424 gcc_assert (!node->nested);
426 /* If not unit at a time, then we need to create the call graph
427 now, so that called functions can be queued and emitted now. */
428 if (!flag_unit_at_a_time)
430 cgraph_analyze_function (node);
431 cgraph_decide_inlining_incrementally (node, false);
434 if (decide_is_function_needed (node, decl))
435 cgraph_mark_needed_node (node);
437 /* Since we reclaim unreachable nodes at the end of every language
438 level unit, we need to be conservative about possible entry points
439 there. */
440 if ((TREE_PUBLIC (decl) && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl)))
441 cgraph_mark_reachable_node (node);
443 /* If not unit at a time, go ahead and emit everything we've found
444 to be reachable at this time. */
445 if (!nested)
447 if (!cgraph_assemble_pending_functions ())
448 ggc_collect ();
451 /* If we've not yet emitted decl, tell the debug info about it. */
452 if (!TREE_ASM_WRITTEN (decl))
453 (*debug_hooks->deferred_inline_function) (decl);
455 /* Possibly warn about unused parameters. */
456 if (warn_unused_parameter)
457 do_warn_unused_parameter (decl);
460 void
461 cgraph_lower_function (struct cgraph_node *node)
463 if (node->lowered)
464 return;
465 tree_lowering_passes (node->decl);
466 node->lowered = true;
469 /* Walk tree and record all calls. Called via walk_tree. */
470 static tree
471 record_reference (tree *tp, int *walk_subtrees, void *data)
473 tree t = *tp;
475 switch (TREE_CODE (t))
477 case VAR_DECL:
478 /* ??? Really, we should mark this decl as *potentially* referenced
479 by this function and re-examine whether the decl is actually used
480 after rtl has been generated. */
481 if (TREE_STATIC (t) || DECL_EXTERNAL (t))
483 cgraph_varpool_mark_needed_node (cgraph_varpool_node (t));
484 if (lang_hooks.callgraph.analyze_expr)
485 return lang_hooks.callgraph.analyze_expr (tp, walk_subtrees,
486 data);
488 break;
490 case FDESC_EXPR:
491 case ADDR_EXPR:
492 if (flag_unit_at_a_time)
494 /* Record dereferences to the functions. This makes the
495 functions reachable unconditionally. */
496 tree decl = TREE_OPERAND (*tp, 0);
497 if (TREE_CODE (decl) == FUNCTION_DECL)
498 cgraph_mark_needed_node (cgraph_node (decl));
500 break;
502 default:
503 /* Save some cycles by not walking types and declaration as we
504 won't find anything useful there anyway. */
505 if (IS_TYPE_OR_DECL_P (*tp))
507 *walk_subtrees = 0;
508 break;
511 if ((unsigned int) TREE_CODE (t) >= LAST_AND_UNUSED_TREE_CODE)
512 return lang_hooks.callgraph.analyze_expr (tp, walk_subtrees, data);
513 break;
516 return NULL;
519 /* Create cgraph edges for function calls inside BODY from NODE. */
521 static void
522 cgraph_create_edges (struct cgraph_node *node, tree body)
524 basic_block bb;
526 struct function *this_cfun = DECL_STRUCT_FUNCTION (body);
527 block_stmt_iterator bsi;
528 tree step;
529 visited_nodes = pointer_set_create ();
531 /* Reach the trees by walking over the CFG, and note the
532 enclosing basic-blocks in the call edges. */
533 FOR_EACH_BB_FN (bb, this_cfun)
534 for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi))
536 tree stmt = bsi_stmt (bsi);
537 tree call = get_call_expr_in (stmt);
538 tree decl;
540 if (call && (decl = get_callee_fndecl (call)))
542 cgraph_create_edge (node, cgraph_node (decl), stmt,
543 bb->count,
544 bb->loop_depth);
545 walk_tree (&TREE_OPERAND (call, 1),
546 record_reference, node, visited_nodes);
547 if (TREE_CODE (stmt) == MODIFY_EXPR)
548 walk_tree (&TREE_OPERAND (stmt, 0),
549 record_reference, node, visited_nodes);
551 else
552 walk_tree (bsi_stmt_ptr (bsi), record_reference, node, visited_nodes);
555 /* Look for initializers of constant variables and private statics. */
556 for (step = DECL_STRUCT_FUNCTION (body)->unexpanded_var_list;
557 step;
558 step = TREE_CHAIN (step))
560 tree decl = TREE_VALUE (step);
561 if (TREE_CODE (decl) == VAR_DECL
562 && (TREE_STATIC (decl) && !DECL_EXTERNAL (decl))
563 && flag_unit_at_a_time)
564 cgraph_varpool_finalize_decl (decl);
565 else if (TREE_CODE (decl) == VAR_DECL && DECL_INITIAL (decl))
566 walk_tree (&DECL_INITIAL (decl), record_reference, node, visited_nodes);
569 pointer_set_destroy (visited_nodes);
570 visited_nodes = NULL;
573 /* Give initial reasons why inlining would fail. Those gets
574 either NULLified or usually overwritten by more precise reason
575 later. */
576 static void
577 initialize_inline_failed (struct cgraph_node *node)
579 struct cgraph_edge *e;
581 for (e = node->callers; e; e = e->next_caller)
583 gcc_assert (!e->callee->global.inlined_to);
584 gcc_assert (e->inline_failed);
585 if (node->local.redefined_extern_inline)
586 e->inline_failed = N_("redefined extern inline functions are not "
587 "considered for inlining");
588 else if (!node->local.inlinable)
589 e->inline_failed = N_("function not inlinable");
590 else
591 e->inline_failed = N_("function not considered for inlining");
595 /* Rebuild call edges from current function after a passes not aware
596 of cgraph updating. */
597 static void
598 rebuild_cgraph_edges (void)
600 basic_block bb;
601 struct cgraph_node *node = cgraph_node (current_function_decl);
602 block_stmt_iterator bsi;
604 cgraph_node_remove_callees (node);
606 node->count = ENTRY_BLOCK_PTR->count;
608 FOR_EACH_BB (bb)
609 for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi))
611 tree stmt = bsi_stmt (bsi);
612 tree call = get_call_expr_in (stmt);
613 tree decl;
615 if (call && (decl = get_callee_fndecl (call)))
616 cgraph_create_edge (node, cgraph_node (decl), stmt,
617 bb->count,
618 bb->loop_depth);
620 initialize_inline_failed (node);
621 gcc_assert (!node->global.inlined_to);
624 struct tree_opt_pass pass_rebuild_cgraph_edges =
626 NULL, /* name */
627 NULL, /* gate */
628 rebuild_cgraph_edges, /* execute */
629 NULL, /* sub */
630 NULL, /* next */
631 0, /* static_pass_number */
632 0, /* tv_id */
633 PROP_cfg, /* properties_required */
634 0, /* properties_provided */
635 0, /* properties_destroyed */
636 0, /* todo_flags_start */
637 0, /* todo_flags_finish */
638 0 /* letter */
641 /* Verify cgraph nodes of given cgraph node. */
642 void
643 verify_cgraph_node (struct cgraph_node *node)
645 struct cgraph_edge *e;
646 struct cgraph_node *main_clone;
647 struct function *this_cfun = DECL_STRUCT_FUNCTION (node->decl);
648 basic_block this_block;
649 block_stmt_iterator bsi;
650 bool error_found = false;
652 timevar_push (TV_CGRAPH_VERIFY);
653 for (e = node->callees; e; e = e->next_callee)
654 if (e->aux)
656 error ("aux field set for edge %s->%s",
657 cgraph_node_name (e->caller), cgraph_node_name (e->callee));
658 error_found = true;
660 for (e = node->callers; e; e = e->next_caller)
662 if (!e->inline_failed)
664 if (node->global.inlined_to
665 != (e->caller->global.inlined_to
666 ? e->caller->global.inlined_to : e->caller))
668 error ("inlined_to pointer is wrong");
669 error_found = true;
671 if (node->callers->next_caller)
673 error ("multiple inline callers");
674 error_found = true;
677 else
678 if (node->global.inlined_to)
680 error ("inlined_to pointer set for noninline callers");
681 error_found = true;
684 if (!node->callers && node->global.inlined_to)
686 error ("inlined_to pointer is set but no predecesors found");
687 error_found = true;
689 if (node->global.inlined_to == node)
691 error ("inlined_to pointer refers to itself");
692 error_found = true;
695 for (main_clone = cgraph_node (node->decl); main_clone;
696 main_clone = main_clone->next_clone)
697 if (main_clone == node)
698 break;
699 if (!node)
701 error ("node not found in DECL_ASSEMBLER_NAME hash");
702 error_found = true;
705 if (node->analyzed
706 && DECL_SAVED_TREE (node->decl) && !TREE_ASM_WRITTEN (node->decl)
707 && (!DECL_EXTERNAL (node->decl) || node->global.inlined_to))
709 if (this_cfun->cfg)
711 /* The nodes we're interested in are never shared, so walk
712 the tree ignoring duplicates. */
713 visited_nodes = pointer_set_create ();
714 /* Reach the trees by walking over the CFG, and note the
715 enclosing basic-blocks in the call edges. */
716 FOR_EACH_BB_FN (this_block, this_cfun)
717 for (bsi = bsi_start (this_block); !bsi_end_p (bsi); bsi_next (&bsi))
719 tree stmt = bsi_stmt (bsi);
720 tree call = get_call_expr_in (stmt);
721 tree decl;
722 if (call && (decl = get_callee_fndecl (call)))
724 struct cgraph_edge *e = cgraph_edge (node, stmt);
725 if (e)
727 if (e->aux)
729 error ("shared call_stmt:");
730 debug_generic_stmt (stmt);
731 error_found = true;
733 if (e->callee->decl != cgraph_node (decl)->decl)
735 error ("edge points to wrong declaration:");
736 debug_tree (e->callee->decl);
737 fprintf (stderr," Instead of:");
738 debug_tree (decl);
740 e->aux = (void *)1;
742 else
744 error ("missing callgraph edge for call stmt:");
745 debug_generic_stmt (stmt);
746 error_found = true;
750 pointer_set_destroy (visited_nodes);
751 visited_nodes = NULL;
753 else
754 /* No CFG available?! */
755 gcc_unreachable ();
757 for (e = node->callees; e; e = e->next_callee)
759 if (!e->aux)
761 error ("edge %s->%s has no corresponding call_stmt",
762 cgraph_node_name (e->caller),
763 cgraph_node_name (e->callee));
764 debug_generic_stmt (e->call_stmt);
765 error_found = true;
767 e->aux = 0;
770 if (error_found)
772 dump_cgraph_node (stderr, node);
773 internal_error ("verify_cgraph_node failed");
775 timevar_pop (TV_CGRAPH_VERIFY);
778 /* Verify whole cgraph structure. */
779 void
780 verify_cgraph (void)
782 struct cgraph_node *node;
784 if (sorrycount || errorcount)
785 return;
787 for (node = cgraph_nodes; node; node = node->next)
788 verify_cgraph_node (node);
792 /* Output all variables enqueued to be assembled. */
793 bool
794 cgraph_varpool_assemble_pending_decls (void)
796 bool changed = false;
798 if (errorcount || sorrycount)
799 return false;
801 /* EH might mark decls as needed during expansion. This should be safe since
802 we don't create references to new function, but it should not be used
803 elsewhere. */
804 cgraph_varpool_analyze_pending_decls ();
806 while (cgraph_varpool_nodes_queue)
808 tree decl = cgraph_varpool_nodes_queue->decl;
809 struct cgraph_varpool_node *node = cgraph_varpool_nodes_queue;
811 cgraph_varpool_nodes_queue = cgraph_varpool_nodes_queue->next_needed;
812 if (!TREE_ASM_WRITTEN (decl) && !node->alias && !DECL_EXTERNAL (decl))
814 assemble_variable (decl, 0, 1, 0);
815 /* Local static variables are never seen by check_global_declarations
816 so we need to output debug info by hand. */
817 if (DECL_CONTEXT (decl)
818 && (TREE_CODE (DECL_CONTEXT (decl)) == BLOCK
819 || TREE_CODE (DECL_CONTEXT (decl)) == FUNCTION_DECL)
820 && errorcount == 0 && sorrycount == 0)
822 timevar_push (TV_SYMOUT);
823 (*debug_hooks->global_decl) (decl);
824 timevar_pop (TV_SYMOUT);
826 changed = true;
828 node->next_needed = NULL;
830 return changed;
833 /* Analyze the function scheduled to be output. */
834 static void
835 cgraph_analyze_function (struct cgraph_node *node)
837 tree decl = node->decl;
839 current_function_decl = decl;
840 push_cfun (DECL_STRUCT_FUNCTION (decl));
841 cgraph_lower_function (node);
843 /* First kill forward declaration so reverse inlining works properly. */
844 cgraph_create_edges (node, decl);
846 node->local.inlinable = tree_inlinable_function_p (decl);
847 node->local.self_insns = estimate_num_insns (decl);
848 if (node->local.inlinable)
849 node->local.disregard_inline_limits
850 = lang_hooks.tree_inlining.disregard_inline_limits (decl);
851 initialize_inline_failed (node);
852 if (flag_really_no_inline && !node->local.disregard_inline_limits)
853 node->local.inlinable = 0;
854 /* Inlining characteristics are maintained by the cgraph_mark_inline. */
855 node->global.insns = node->local.self_insns;
857 node->analyzed = true;
858 pop_cfun ();
859 current_function_decl = NULL;
862 /* Analyze the whole compilation unit once it is parsed completely. */
864 void
865 cgraph_finalize_compilation_unit (void)
867 struct cgraph_node *node;
868 /* Keep track of already processed nodes when called multiple times for
869 intermodule optimization. */
870 static struct cgraph_node *first_analyzed;
872 finish_aliases_1 ();
874 if (!flag_unit_at_a_time)
876 cgraph_assemble_pending_functions ();
877 return;
880 if (!quiet_flag)
882 fprintf (stderr, "\nAnalyzing compilation unit");
883 fflush (stderr);
886 timevar_push (TV_CGRAPH);
887 cgraph_varpool_analyze_pending_decls ();
888 if (cgraph_dump_file)
890 fprintf (cgraph_dump_file, "Initial entry points:");
891 for (node = cgraph_nodes; node != first_analyzed; node = node->next)
892 if (node->needed && DECL_SAVED_TREE (node->decl))
893 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
894 fprintf (cgraph_dump_file, "\n");
897 /* Propagate reachability flag and lower representation of all reachable
898 functions. In the future, lowering will introduce new functions and
899 new entry points on the way (by template instantiation and virtual
900 method table generation for instance). */
901 while (cgraph_nodes_queue)
903 struct cgraph_edge *edge;
904 tree decl = cgraph_nodes_queue->decl;
906 node = cgraph_nodes_queue;
907 cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
908 node->next_needed = NULL;
910 /* ??? It is possible to create extern inline function and later using
911 weak alias attribute to kill its body. See
912 gcc.c-torture/compile/20011119-1.c */
913 if (!DECL_SAVED_TREE (decl))
915 cgraph_reset_node (node);
916 continue;
919 gcc_assert (!node->analyzed && node->reachable);
920 gcc_assert (DECL_SAVED_TREE (decl));
922 cgraph_analyze_function (node);
924 for (edge = node->callees; edge; edge = edge->next_callee)
925 if (!edge->callee->reachable)
926 cgraph_mark_reachable_node (edge->callee);
928 cgraph_varpool_analyze_pending_decls ();
931 /* Collect entry points to the unit. */
933 if (cgraph_dump_file)
935 fprintf (cgraph_dump_file, "Unit entry points:");
936 for (node = cgraph_nodes; node != first_analyzed; node = node->next)
937 if (node->needed && DECL_SAVED_TREE (node->decl))
938 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
939 fprintf (cgraph_dump_file, "\n\nInitial ");
940 dump_cgraph (cgraph_dump_file);
943 if (cgraph_dump_file)
944 fprintf (cgraph_dump_file, "\nReclaiming functions:");
946 for (node = cgraph_nodes; node != first_analyzed; node = node->next)
948 tree decl = node->decl;
950 if (node->local.finalized && !DECL_SAVED_TREE (decl))
951 cgraph_reset_node (node);
953 if (!node->reachable && DECL_SAVED_TREE (decl))
955 if (cgraph_dump_file)
956 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
957 cgraph_remove_node (node);
958 continue;
960 else
961 node->next_needed = NULL;
962 gcc_assert (!node->local.finalized || DECL_SAVED_TREE (decl));
963 gcc_assert (node->analyzed == node->local.finalized);
965 if (cgraph_dump_file)
967 fprintf (cgraph_dump_file, "\n\nReclaimed ");
968 dump_cgraph (cgraph_dump_file);
970 first_analyzed = cgraph_nodes;
971 ggc_collect ();
972 timevar_pop (TV_CGRAPH);
974 /* Figure out what functions we want to assemble. */
976 static void
977 cgraph_mark_functions_to_output (void)
979 struct cgraph_node *node;
981 for (node = cgraph_nodes; node; node = node->next)
983 tree decl = node->decl;
984 struct cgraph_edge *e;
986 gcc_assert (!node->output);
988 for (e = node->callers; e; e = e->next_caller)
989 if (e->inline_failed)
990 break;
992 /* We need to output all local functions that are used and not
993 always inlined, as well as those that are reachable from
994 outside the current compilation unit. */
995 if (DECL_SAVED_TREE (decl)
996 && !node->global.inlined_to
997 && (node->needed
998 || (e && node->reachable))
999 && !TREE_ASM_WRITTEN (decl)
1000 && !DECL_EXTERNAL (decl))
1001 node->output = 1;
1002 else
1004 /* We should've reclaimed all functions that are not needed. */
1005 #ifdef ENABLE_CHECKING
1006 if (!node->global.inlined_to && DECL_SAVED_TREE (decl)
1007 && !DECL_EXTERNAL (decl))
1009 dump_cgraph_node (stderr, node);
1010 internal_error ("failed to reclaim unneeded function");
1012 #endif
1013 gcc_assert (node->global.inlined_to || !DECL_SAVED_TREE (decl)
1014 || DECL_EXTERNAL (decl));
1021 /* Expand function specified by NODE. */
1023 static void
1024 cgraph_expand_function (struct cgraph_node *node)
1026 tree decl = node->decl;
1028 /* We ought to not compile any inline clones. */
1029 gcc_assert (!node->global.inlined_to);
1031 if (flag_unit_at_a_time)
1032 announce_function (decl);
1034 cgraph_lower_function (node);
1036 /* Generate RTL for the body of DECL. */
1037 lang_hooks.callgraph.expand_function (decl);
1039 /* Make sure that BE didn't give up on compiling. */
1040 /* ??? Can happen with nested function of extern inline. */
1041 gcc_assert (TREE_ASM_WRITTEN (node->decl));
1043 current_function_decl = NULL;
1044 if (!cgraph_preserve_function_body_p (node->decl))
1046 DECL_SAVED_TREE (node->decl) = NULL;
1047 DECL_STRUCT_FUNCTION (node->decl) = NULL;
1048 DECL_INITIAL (node->decl) = error_mark_node;
1049 /* Eliminate all call edges. This is important so the call_expr no longer
1050 points to the dead function body. */
1051 cgraph_node_remove_callees (node);
1054 cgraph_function_flags_ready = true;
1057 /* Return true when CALLER_DECL should be inlined into CALLEE_DECL. */
1059 bool
1060 cgraph_inline_p (struct cgraph_edge *e, const char **reason)
1062 *reason = e->inline_failed;
1063 return !e->inline_failed;
1068 /* Expand all functions that must be output.
1070 Attempt to topologically sort the nodes so function is output when
1071 all called functions are already assembled to allow data to be
1072 propagated across the callgraph. Use a stack to get smaller distance
1073 between a function and its callees (later we may choose to use a more
1074 sophisticated algorithm for function reordering; we will likely want
1075 to use subsections to make the output functions appear in top-down
1076 order). */
1078 static void
1079 cgraph_expand_all_functions (void)
1081 struct cgraph_node *node;
1082 struct cgraph_node **order =
1083 xcalloc (cgraph_n_nodes, sizeof (struct cgraph_node *));
1084 int order_pos = 0, new_order_pos = 0;
1085 int i;
1087 order_pos = cgraph_postorder (order);
1088 gcc_assert (order_pos == cgraph_n_nodes);
1090 /* Garbage collector may remove inline clones we eliminate during
1091 optimization. So we must be sure to not reference them. */
1092 for (i = 0; i < order_pos; i++)
1093 if (order[i]->output)
1094 order[new_order_pos++] = order[i];
1096 for (i = new_order_pos - 1; i >= 0; i--)
1098 node = order[i];
1099 if (node->output)
1101 gcc_assert (node->reachable);
1102 node->output = 0;
1103 cgraph_expand_function (node);
1106 free (order);
1109 /* Mark visibility of all functions.
1111 A local function is one whose calls can occur only in the current
1112 compilation unit and all its calls are explicit, so we can change
1113 its calling convention. We simply mark all static functions whose
1114 address is not taken as local.
1116 We also change the TREE_PUBLIC flag of all declarations that are public
1117 in language point of view but we want to overwrite this default
1118 via visibilities for the backend point of view. */
1120 static void
1121 cgraph_function_and_variable_visibility (void)
1123 struct cgraph_node *node;
1124 struct cgraph_varpool_node *vnode;
1126 for (node = cgraph_nodes; node; node = node->next)
1128 if (node->reachable
1129 && (DECL_COMDAT (node->decl)
1130 || (!flag_whole_program
1131 && TREE_PUBLIC (node->decl) && !DECL_EXTERNAL (node->decl))))
1132 node->local.externally_visible = true;
1133 if (!node->local.externally_visible && node->analyzed
1134 && !DECL_EXTERNAL (node->decl))
1136 gcc_assert (flag_whole_program || !TREE_PUBLIC (node->decl));
1137 TREE_PUBLIC (node->decl) = 0;
1139 node->local.local = (!node->needed
1140 && node->analyzed
1141 && !DECL_EXTERNAL (node->decl)
1142 && !node->local.externally_visible);
1144 for (vnode = cgraph_varpool_nodes_queue; vnode; vnode = vnode->next_needed)
1146 if (vnode->needed
1147 && !flag_whole_program
1148 && (DECL_COMDAT (vnode->decl) || TREE_PUBLIC (vnode->decl)))
1149 vnode->externally_visible = 1;
1150 if (!vnode->externally_visible)
1152 gcc_assert (flag_whole_program || !TREE_PUBLIC (vnode->decl));
1153 TREE_PUBLIC (vnode->decl) = 0;
1155 gcc_assert (TREE_STATIC (vnode->decl));
1158 /* Because we have to be conservative on the boundaries of source
1159 level units, it is possible that we marked some functions in
1160 reachable just because they might be used later via external
1161 linkage, but after making them local they are really unreachable
1162 now. */
1163 cgraph_remove_unreachable_nodes (true, cgraph_dump_file);
1165 if (cgraph_dump_file)
1167 fprintf (cgraph_dump_file, "\nMarking local functions:");
1168 for (node = cgraph_nodes; node; node = node->next)
1169 if (node->local.local)
1170 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1171 fprintf (cgraph_dump_file, "\n\n");
1172 fprintf (cgraph_dump_file, "\nMarking externally visible functions:");
1173 for (node = cgraph_nodes; node; node = node->next)
1174 if (node->local.externally_visible)
1175 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1176 fprintf (cgraph_dump_file, "\n\n");
1178 cgraph_function_flags_ready = true;
1181 /* Return true when function body of DECL still needs to be kept around
1182 for later re-use. */
1183 bool
1184 cgraph_preserve_function_body_p (tree decl)
1186 struct cgraph_node *node;
1187 /* Keep the body; we're going to dump it. */
1188 if (dump_enabled_p (TDI_tree_all))
1189 return true;
1190 if (!cgraph_global_info_ready)
1191 return (DECL_INLINE (decl) && !flag_really_no_inline);
1192 /* Look if there is any clone around. */
1193 for (node = cgraph_node (decl); node; node = node->next_clone)
1194 if (node->global.inlined_to)
1195 return true;
1196 return false;
1199 static void
1200 ipa_passes (void)
1202 cfun = NULL;
1203 tree_register_cfg_hooks ();
1204 bitmap_obstack_initialize (NULL);
1205 execute_ipa_pass_list (all_ipa_passes);
1206 bitmap_obstack_release (NULL);
1209 /* Perform simple optimizations based on callgraph. */
1211 void
1212 cgraph_optimize (void)
1214 #ifdef ENABLE_CHECKING
1215 verify_cgraph ();
1216 #endif
1217 if (!flag_unit_at_a_time)
1219 cgraph_varpool_assemble_pending_decls ();
1220 return;
1223 process_pending_assemble_externals ();
1225 /* Frontend may output common variables after the unit has been finalized.
1226 It is safe to deal with them here as they are always zero initialized. */
1227 cgraph_varpool_analyze_pending_decls ();
1229 timevar_push (TV_CGRAPHOPT);
1230 if (!quiet_flag)
1231 fprintf (stderr, "Performing intraprocedural optimizations\n");
1233 cgraph_function_and_variable_visibility ();
1234 if (cgraph_dump_file)
1236 fprintf (cgraph_dump_file, "Marked ");
1237 dump_cgraph (cgraph_dump_file);
1239 ipa_passes ();
1240 /* This pass remove bodies of extern inline functions we never inlined.
1241 Do this later so other IPA passes see what is really going on. */
1242 cgraph_remove_unreachable_nodes (false, dump_file);
1243 cgraph_global_info_ready = true;
1244 if (cgraph_dump_file)
1246 fprintf (cgraph_dump_file, "Optimized ");
1247 dump_cgraph (cgraph_dump_file);
1248 dump_varpool (cgraph_dump_file);
1250 timevar_pop (TV_CGRAPHOPT);
1252 /* Output everything. */
1253 if (!quiet_flag)
1254 fprintf (stderr, "Assembling functions:\n");
1255 #ifdef ENABLE_CHECKING
1256 verify_cgraph ();
1257 #endif
1259 cgraph_mark_functions_to_output ();
1260 cgraph_expand_all_functions ();
1261 cgraph_varpool_remove_unreferenced_decls ();
1263 cgraph_varpool_assemble_pending_decls ();
1265 if (cgraph_dump_file)
1267 fprintf (cgraph_dump_file, "\nFinal ");
1268 dump_cgraph (cgraph_dump_file);
1270 #ifdef ENABLE_CHECKING
1271 verify_cgraph ();
1272 /* Double check that all inline clones are gone and that all
1273 function bodies have been released from memory. */
1274 if (flag_unit_at_a_time
1275 && !dump_enabled_p (TDI_tree_all)
1276 && !(sorrycount || errorcount))
1278 struct cgraph_node *node;
1279 bool error_found = false;
1281 for (node = cgraph_nodes; node; node = node->next)
1282 if (node->analyzed
1283 && (node->global.inlined_to
1284 || DECL_SAVED_TREE (node->decl)))
1286 error_found = true;
1287 dump_cgraph_node (stderr, node);
1289 if (error_found)
1290 internal_error ("nodes with no released memory found");
1292 #endif
1295 /* Generate and emit a static constructor or destructor. WHICH must be
1296 one of 'I' or 'D'. BODY should be a STATEMENT_LIST containing
1297 GENERIC statements. */
1299 void
1300 cgraph_build_static_cdtor (char which, tree body, int priority)
1302 static int counter = 0;
1303 char which_buf[16];
1304 tree decl, name, resdecl;
1306 sprintf (which_buf, "%c_%d", which, counter++);
1307 name = get_file_function_name_long (which_buf);
1309 decl = build_decl (FUNCTION_DECL, name,
1310 build_function_type (void_type_node, void_list_node));
1311 current_function_decl = decl;
1313 resdecl = build_decl (RESULT_DECL, NULL_TREE, void_type_node);
1314 DECL_ARTIFICIAL (resdecl) = 1;
1315 DECL_IGNORED_P (resdecl) = 1;
1316 DECL_RESULT (decl) = resdecl;
1318 allocate_struct_function (decl);
1320 TREE_STATIC (decl) = 1;
1321 TREE_USED (decl) = 1;
1322 DECL_ARTIFICIAL (decl) = 1;
1323 DECL_IGNORED_P (decl) = 1;
1324 DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (decl) = 1;
1325 DECL_SAVED_TREE (decl) = body;
1326 TREE_PUBLIC (decl) = ! targetm.have_ctors_dtors;
1327 DECL_UNINLINABLE (decl) = 1;
1329 DECL_INITIAL (decl) = make_node (BLOCK);
1330 TREE_USED (DECL_INITIAL (decl)) = 1;
1332 DECL_SOURCE_LOCATION (decl) = input_location;
1333 cfun->function_end_locus = input_location;
1335 switch (which)
1337 case 'I':
1338 DECL_STATIC_CONSTRUCTOR (decl) = 1;
1339 break;
1340 case 'D':
1341 DECL_STATIC_DESTRUCTOR (decl) = 1;
1342 break;
1343 default:
1344 gcc_unreachable ();
1347 gimplify_function_tree (decl);
1349 /* ??? We will get called LATE in the compilation process. */
1350 if (cgraph_global_info_ready)
1352 tree_lowering_passes (decl);
1353 tree_rest_of_compilation (decl);
1355 else
1356 cgraph_finalize_function (decl, 0);
1358 if (targetm.have_ctors_dtors)
1360 void (*fn) (rtx, int);
1362 if (which == 'I')
1363 fn = targetm.asm_out.constructor;
1364 else
1365 fn = targetm.asm_out.destructor;
1366 fn (XEXP (DECL_RTL (decl), 0), priority);
1370 void
1371 init_cgraph (void)
1373 cgraph_dump_file = dump_begin (TDI_cgraph, NULL);
1376 /* The edges representing the callers of the NEW_VERSION node were
1377 fixed by cgraph_function_versioning (), now the call_expr in their
1378 respective tree code should be updated to call the NEW_VERSION. */
1380 static void
1381 update_call_expr (struct cgraph_node *new_version)
1383 struct cgraph_edge *e;
1385 gcc_assert (new_version);
1386 for (e = new_version->callers; e; e = e->next_caller)
1387 /* Update the call expr on the edges
1388 to call the new version. */
1389 TREE_OPERAND (TREE_OPERAND (get_call_expr_in (e->call_stmt), 0), 0) = new_version->decl;
1393 /* Create a new cgraph node which is the new version of
1394 OLD_VERSION node. REDIRECT_CALLERS holds the callers
1395 edges which should be redirected to point to
1396 NEW_VERSION. ALL the callees edges of OLD_VERSION
1397 are cloned to the new version node. Return the new
1398 version node. */
1400 static struct cgraph_node *
1401 cgraph_copy_node_for_versioning (struct cgraph_node *old_version,
1402 tree new_decl, varray_type redirect_callers)
1404 struct cgraph_node *new_version;
1405 struct cgraph_edge *e, *new_e;
1406 struct cgraph_edge *next_callee;
1407 unsigned i;
1409 gcc_assert (old_version);
1411 new_version = cgraph_node (new_decl);
1413 new_version->analyzed = true;
1414 new_version->local = old_version->local;
1415 new_version->global = old_version->global;
1416 new_version->rtl = new_version->rtl;
1417 new_version->reachable = true;
1418 new_version->count = old_version->count;
1420 /* Clone the old node callees. Recursive calls are
1421 also cloned. */
1422 for (e = old_version->callees;e; e=e->next_callee)
1424 new_e = cgraph_clone_edge (e, new_version, e->call_stmt, 0, e->loop_nest, true);
1425 new_e->count = e->count;
1427 /* Fix recursive calls.
1428 If OLD_VERSION has a recursive call after the
1429 previous edge cloning, the new version will have an edge
1430 pointing to the old version, which is wrong;
1431 Redirect it to point to the new version. */
1432 for (e = new_version->callees ; e; e = next_callee)
1434 next_callee = e->next_callee;
1435 if (e->callee == old_version)
1436 cgraph_redirect_edge_callee (e, new_version);
1438 if (!next_callee)
1439 break;
1441 if (redirect_callers)
1442 for (i = 0; i < VARRAY_ACTIVE_SIZE (redirect_callers); i++)
1444 e = VARRAY_GENERIC_PTR (redirect_callers, i);
1445 /* Redirect calls to the old version node
1446 to point to it's new version. */
1447 cgraph_redirect_edge_callee (e, new_version);
1450 return new_version;
1453 /* Perform function versioning.
1454 Function versioning includes copying of the tree and
1455 a callgraph update (creating a new cgraph node and updating
1456 its callees and callers).
1458 REDIRECT_CALLERS varray includes the edges to be redirected
1459 to the new version.
1461 TREE_MAP is a mapping of tree nodes we want to replace with
1462 new ones (according to results of prior analysis).
1463 OLD_VERSION_NODE is the node that is versioned.
1464 It returns the new version's cgraph node. */
1466 struct cgraph_node *
1467 cgraph_function_versioning (struct cgraph_node *old_version_node,
1468 varray_type redirect_callers,
1469 varray_type tree_map)
1471 tree old_decl = old_version_node->decl;
1472 struct cgraph_node *new_version_node = NULL;
1473 tree new_decl;
1475 if (!tree_versionable_function_p (old_decl))
1476 return NULL;
1478 /* Make a new FUNCTION_DECL tree node for the
1479 new version. */
1480 new_decl = copy_node (old_decl);
1482 /* Create the new version's call-graph node.
1483 and update the edges of the new node. */
1484 new_version_node =
1485 cgraph_copy_node_for_versioning (old_version_node, new_decl,
1486 redirect_callers);
1488 /* Copy the OLD_VERSION_NODE function tree to the new version. */
1489 tree_function_versioning (old_decl, new_decl, tree_map);
1490 /* Update the call_expr on the edges to call the new version node. */
1491 update_call_expr (new_version_node);
1493 /* Update the new version's properties.
1494 Make The new version visible only within this translation unit.
1495 ??? We cannot use COMDAT linkage because there is no
1496 ABI support for this. */
1497 DECL_EXTERNAL (new_version_node->decl) = 0;
1498 DECL_ONE_ONLY (new_version_node->decl) = 0;
1499 TREE_PUBLIC (new_version_node->decl) = 0;
1500 DECL_COMDAT (new_version_node->decl) = 0;
1501 new_version_node->local.externally_visible = 0;
1502 new_version_node->local.local = 1;
1503 new_version_node->lowered = true;
1504 return new_version_node;