-dA enhancement
[official-gcc.git] / gcc / cgraphunit.c
blob93d5c06ce97ae4e923b862977e9360e9272ac035
1 /* Callgraph based interprocedural optimizations.
2 Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
3 2011 Free Software Foundation, Inc.
4 Contributed by Jan Hubicka
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 /* This module implements main driver of compilation process as well as
23 few basic interprocedural 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
36 function.)
38 - varpool_finalize_variable
40 This function has same behavior as the above but is used for static
41 variables.
43 - cgraph_finalize_compilation_unit
45 This function is called once (source level) compilation unit is finalized
46 and it will no longer change.
48 In the the call-graph construction and local function
49 analysis takes place here. Bodies of unreachable functions are released
50 to conserve memory usage.
52 The function can be called multiple times when multiple source level
53 compilation units are combined (such as in C frontend)
55 - cgraph_optimize
57 In this unit-at-a-time compilation the intra procedural analysis takes
58 place here. In particular the static functions whose address is never
59 taken are marked as local. Backend can then use this information to
60 modify calling conventions, do better inlining or similar optimizations.
62 - cgraph_mark_needed_node
63 - varpool_mark_needed_node
65 When function or variable is referenced by some hidden way the call-graph
66 data structure must be updated accordingly by this function.
67 There should be little need to call this function and all the references
68 should be made explicit to cgraph code. At present these functions are
69 used by C++ frontend to explicitly mark the keyed methods.
71 - analyze_expr callback
73 This function is responsible for lowering tree nodes not understood by
74 generic code into understandable ones or alternatively marking
75 callgraph and varpool nodes referenced by the as needed.
77 ??? On the tree-ssa genericizing should take place here and we will avoid
78 need for these hooks (replacing them by genericizing hook)
80 Analyzing of all functions is deferred
81 to cgraph_finalize_compilation_unit and expansion into cgraph_optimize.
83 In cgraph_finalize_compilation_unit the reachable functions are
84 analyzed. During analysis the call-graph edges from reachable
85 functions are constructed and their destinations are marked as
86 reachable. References to functions and variables are discovered too
87 and variables found to be needed output to the assembly file. Via
88 mark_referenced call in assemble_variable functions referenced by
89 static variables are noticed too.
91 The intra-procedural information is produced and its existence
92 indicated by global_info_ready. Once this flag is set it is impossible
93 to change function from !reachable to reachable and thus
94 assemble_variable no longer call mark_referenced.
96 Finally the call-graph is topologically sorted and all reachable functions
97 that has not been completely inlined or are not external are output.
99 ??? It is possible that reference to function or variable is optimized
100 out. We can not deal with this nicely because topological order is not
101 suitable for it. For tree-ssa we may consider another pass doing
102 optimization and re-discovering reachable functions.
104 ??? Reorganize code so variables are output very last and only if they
105 really has been referenced by produced code, so we catch more cases
106 where reference has been optimized out. */
109 #include "config.h"
110 #include "system.h"
111 #include "coretypes.h"
112 #include "tm.h"
113 #include "tree.h"
114 #include "rtl.h"
115 #include "tree-flow.h"
116 #include "tree-inline.h"
117 #include "langhooks.h"
118 #include "pointer-set.h"
119 #include "toplev.h"
120 #include "flags.h"
121 #include "ggc.h"
122 #include "debug.h"
123 #include "target.h"
124 #include "cgraph.h"
125 #include "diagnostic.h"
126 #include "tree-pretty-print.h"
127 #include "gimple-pretty-print.h"
128 #include "timevar.h"
129 #include "params.h"
130 #include "fibheap.h"
131 #include "intl.h"
132 #include "function.h"
133 #include "ipa-prop.h"
134 #include "gimple.h"
135 #include "tree-iterator.h"
136 #include "tree-pass.h"
137 #include "tree-dump.h"
138 #include "output.h"
139 #include "coverage.h"
140 #include "plugin.h"
142 static void cgraph_expand_all_functions (void);
143 static void cgraph_mark_functions_to_output (void);
144 static void cgraph_expand_function (struct cgraph_node *);
145 static void cgraph_output_pending_asms (void);
147 FILE *cgraph_dump_file;
149 /* Used for vtable lookup in thunk adjusting. */
150 static GTY (()) tree vtable_entry_type;
152 /* Determine if function DECL is needed. That is, visible to something
153 either outside this translation unit, something magic in the system
154 configury. */
156 bool
157 cgraph_decide_is_function_needed (struct cgraph_node *node, tree decl)
159 /* If the user told us it is used, then it must be so. */
160 if (node->local.externally_visible)
161 return true;
163 /* ??? If the assembler name is set by hand, it is possible to assemble
164 the name later after finalizing the function and the fact is noticed
165 in assemble_name then. This is arguably a bug. */
166 if (DECL_ASSEMBLER_NAME_SET_P (decl)
167 && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
168 return true;
170 /* With -fkeep-inline-functions we are keeping all inline functions except
171 for extern inline ones. */
172 if (flag_keep_inline_functions
173 && DECL_DECLARED_INLINE_P (decl)
174 && !DECL_EXTERNAL (decl)
175 && !lookup_attribute ("always_inline", DECL_ATTRIBUTES (decl)))
176 return true;
178 /* If we decided it was needed before, but at the time we didn't have
179 the body of the function available, then it's still needed. We have
180 to go back and re-check its dependencies now. */
181 if (node->needed)
182 return true;
184 /* Externally visible functions must be output. The exception is
185 COMDAT functions that must be output only when they are needed.
187 When not optimizing, also output the static functions. (see
188 PR24561), but don't do so for always_inline functions, functions
189 declared inline and nested functions. These were optimized out
190 in the original implementation and it is unclear whether we want
191 to change the behavior here. */
192 if (((TREE_PUBLIC (decl)
193 || (!optimize
194 && !node->local.disregard_inline_limits
195 && !DECL_DECLARED_INLINE_P (decl)
196 && !(DECL_CONTEXT (decl)
197 && TREE_CODE (DECL_CONTEXT (decl)) == FUNCTION_DECL)))
198 && !flag_whole_program
199 && !flag_lto)
200 && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl))
201 return true;
203 return false;
206 /* Process CGRAPH_NEW_FUNCTIONS and perform actions necessary to add these
207 functions into callgraph in a way so they look like ordinary reachable
208 functions inserted into callgraph already at construction time. */
210 bool
211 cgraph_process_new_functions (void)
213 bool output = false;
214 tree fndecl;
215 struct cgraph_node *node;
217 varpool_analyze_pending_decls ();
218 /* Note that this queue may grow as its being processed, as the new
219 functions may generate new ones. */
220 while (cgraph_new_nodes)
222 node = cgraph_new_nodes;
223 fndecl = node->decl;
224 cgraph_new_nodes = cgraph_new_nodes->next_needed;
225 switch (cgraph_state)
227 case CGRAPH_STATE_CONSTRUCTION:
228 /* At construction time we just need to finalize function and move
229 it into reachable functions list. */
231 node->next_needed = NULL;
232 cgraph_finalize_function (fndecl, false);
233 cgraph_mark_reachable_node (node);
234 output = true;
235 break;
237 case CGRAPH_STATE_IPA:
238 case CGRAPH_STATE_IPA_SSA:
239 /* When IPA optimization already started, do all essential
240 transformations that has been already performed on the whole
241 cgraph but not on this function. */
243 gimple_register_cfg_hooks ();
244 if (!node->analyzed)
245 cgraph_analyze_function (node);
246 push_cfun (DECL_STRUCT_FUNCTION (fndecl));
247 current_function_decl = fndecl;
248 if ((cgraph_state == CGRAPH_STATE_IPA_SSA
249 && !gimple_in_ssa_p (DECL_STRUCT_FUNCTION (fndecl)))
250 /* When not optimizing, be sure we run early local passes anyway
251 to expand OMP. */
252 || !optimize)
253 execute_pass_list (pass_early_local_passes.pass.sub);
254 else
255 compute_inline_parameters (node);
256 free_dominance_info (CDI_POST_DOMINATORS);
257 free_dominance_info (CDI_DOMINATORS);
258 pop_cfun ();
259 current_function_decl = NULL;
260 break;
262 case CGRAPH_STATE_EXPANSION:
263 /* Functions created during expansion shall be compiled
264 directly. */
265 node->process = 0;
266 cgraph_expand_function (node);
267 break;
269 default:
270 gcc_unreachable ();
271 break;
273 cgraph_call_function_insertion_hooks (node);
274 varpool_analyze_pending_decls ();
276 return output;
279 /* As an GCC extension we allow redefinition of the function. The
280 semantics when both copies of bodies differ is not well defined.
281 We replace the old body with new body so in unit at a time mode
282 we always use new body, while in normal mode we may end up with
283 old body inlined into some functions and new body expanded and
284 inlined in others.
286 ??? It may make more sense to use one body for inlining and other
287 body for expanding the function but this is difficult to do. */
289 static void
290 cgraph_reset_node (struct cgraph_node *node)
292 /* If node->process is set, then we have already begun whole-unit analysis.
293 This is *not* testing for whether we've already emitted the function.
294 That case can be sort-of legitimately seen with real function redefinition
295 errors. I would argue that the front end should never present us with
296 such a case, but don't enforce that for now. */
297 gcc_assert (!node->process);
299 /* Reset our data structures so we can analyze the function again. */
300 memset (&node->local, 0, sizeof (node->local));
301 memset (&node->global, 0, sizeof (node->global));
302 memset (&node->rtl, 0, sizeof (node->rtl));
303 node->analyzed = false;
304 node->local.redefined_extern_inline = true;
305 node->local.finalized = false;
307 cgraph_node_remove_callees (node);
309 /* We may need to re-queue the node for assembling in case
310 we already proceeded it and ignored as not needed or got
311 a re-declaration in IMA mode. */
312 if (node->reachable)
314 struct cgraph_node *n;
316 for (n = cgraph_nodes_queue; n; n = n->next_needed)
317 if (n == node)
318 break;
319 if (!n)
320 node->reachable = 0;
324 static void
325 cgraph_lower_function (struct cgraph_node *node)
327 if (node->lowered)
328 return;
330 if (node->nested)
331 lower_nested_functions (node->decl);
332 gcc_assert (!node->nested);
334 tree_lowering_passes (node->decl);
335 node->lowered = true;
338 /* DECL has been parsed. Take it, queue it, compile it at the whim of the
339 logic in effect. If NESTED is true, then our caller cannot stand to have
340 the garbage collector run at the moment. We would need to either create
341 a new GC context, or just not compile right now. */
343 void
344 cgraph_finalize_function (tree decl, bool nested)
346 struct cgraph_node *node = cgraph_node (decl);
348 if (node->local.finalized)
349 cgraph_reset_node (node);
351 node->pid = cgraph_max_pid ++;
352 notice_global_symbol (decl);
353 node->local.finalized = true;
354 node->lowered = DECL_STRUCT_FUNCTION (decl)->cfg != NULL;
355 node->finalized_by_frontend = true;
357 if (cgraph_decide_is_function_needed (node, decl))
358 cgraph_mark_needed_node (node);
360 /* Since we reclaim unreachable nodes at the end of every language
361 level unit, we need to be conservative about possible entry points
362 there. */
363 if ((TREE_PUBLIC (decl) && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl))
364 || DECL_STATIC_CONSTRUCTOR (decl)
365 || DECL_STATIC_DESTRUCTOR (decl)
366 /* COMDAT virtual functions may be referenced by vtable from
367 other compilation unit. Still we want to devirtualize calls
368 to those so we need to analyze them.
369 FIXME: We should introduce may edges for this purpose and update
370 their handling in unreachable function removal and inliner too. */
371 || (DECL_VIRTUAL_P (decl) && (DECL_COMDAT (decl) || DECL_EXTERNAL (decl))))
372 cgraph_mark_reachable_node (node);
374 /* If we've not yet emitted decl, tell the debug info about it. */
375 if (!TREE_ASM_WRITTEN (decl))
376 (*debug_hooks->deferred_inline_function) (decl);
378 /* Possibly warn about unused parameters. */
379 if (warn_unused_parameter)
380 do_warn_unused_parameter (decl);
382 if (!nested)
383 ggc_collect ();
386 /* C99 extern inline keywords allow changing of declaration after function
387 has been finalized. We need to re-decide if we want to mark the function as
388 needed then. */
390 void
391 cgraph_mark_if_needed (tree decl)
393 struct cgraph_node *node = cgraph_node (decl);
394 if (node->local.finalized && cgraph_decide_is_function_needed (node, decl))
395 cgraph_mark_needed_node (node);
398 /* Return TRUE if NODE2 is equivalent to NODE or its clone. */
399 static bool
400 clone_of_p (struct cgraph_node *node, struct cgraph_node *node2)
402 while (node != node2 && node2)
403 node2 = node2->clone_of;
404 return node2 != NULL;
407 /* Verify edge E count and frequency. */
409 static bool
410 verify_edge_count_and_frequency (struct cgraph_edge *e)
412 bool error_found = false;
413 if (e->count < 0)
415 error ("caller edge count is negative");
416 error_found = true;
418 if (e->frequency < 0)
420 error ("caller edge frequency is negative");
421 error_found = true;
423 if (e->frequency > CGRAPH_FREQ_MAX)
425 error ("caller edge frequency is too large");
426 error_found = true;
428 if (gimple_has_body_p (e->caller->decl)
429 && !e->caller->global.inlined_to
430 && (e->frequency
431 != compute_call_stmt_bb_frequency (e->caller->decl,
432 gimple_bb (e->call_stmt))))
434 error ("caller edge frequency %i does not match BB frequency %i",
435 e->frequency,
436 compute_call_stmt_bb_frequency (e->caller->decl,
437 gimple_bb (e->call_stmt)));
438 error_found = true;
440 return error_found;
443 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
444 static void
445 cgraph_debug_gimple_stmt (struct function *this_cfun, gimple stmt)
447 /* debug_gimple_stmt needs correct cfun */
448 if (cfun != this_cfun)
449 set_cfun (this_cfun);
450 debug_gimple_stmt (stmt);
453 /* Verify cgraph nodes of given cgraph node. */
454 DEBUG_FUNCTION void
455 verify_cgraph_node (struct cgraph_node *node)
457 struct cgraph_edge *e;
458 struct function *this_cfun = DECL_STRUCT_FUNCTION (node->decl);
459 basic_block this_block;
460 gimple_stmt_iterator gsi;
461 bool error_found = false;
463 if (seen_error ())
464 return;
466 timevar_push (TV_CGRAPH_VERIFY);
467 for (e = node->callees; e; e = e->next_callee)
468 if (e->aux)
470 error ("aux field set for edge %s->%s",
471 identifier_to_locale (cgraph_node_name (e->caller)),
472 identifier_to_locale (cgraph_node_name (e->callee)));
473 error_found = true;
475 if (node->count < 0)
477 error ("execution count is negative");
478 error_found = true;
480 if (node->global.inlined_to && node->local.externally_visible)
482 error ("externally visible inline clone");
483 error_found = true;
485 if (node->global.inlined_to && node->address_taken)
487 error ("inline clone with address taken");
488 error_found = true;
490 if (node->global.inlined_to && node->needed)
492 error ("inline clone is needed");
493 error_found = true;
495 for (e = node->indirect_calls; e; e = e->next_callee)
497 if (e->aux)
499 error ("aux field set for indirect edge from %s",
500 identifier_to_locale (cgraph_node_name (e->caller)));
501 error_found = true;
503 if (!e->indirect_unknown_callee
504 || !e->indirect_info)
506 error ("An indirect edge from %s is not marked as indirect or has "
507 "associated indirect_info, the corresponding statement is: ",
508 identifier_to_locale (cgraph_node_name (e->caller)));
509 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
510 error_found = true;
513 for (e = node->callers; e; e = e->next_caller)
515 if (verify_edge_count_and_frequency (e))
516 error_found = true;
517 if (!e->inline_failed)
519 if (node->global.inlined_to
520 != (e->caller->global.inlined_to
521 ? e->caller->global.inlined_to : e->caller))
523 error ("inlined_to pointer is wrong");
524 error_found = true;
526 if (node->callers->next_caller)
528 error ("multiple inline callers");
529 error_found = true;
532 else
533 if (node->global.inlined_to)
535 error ("inlined_to pointer set for noninline callers");
536 error_found = true;
539 for (e = node->indirect_calls; e; e = e->next_callee)
540 if (verify_edge_count_and_frequency (e))
541 error_found = true;
542 if (!node->callers && node->global.inlined_to)
544 error ("inlined_to pointer is set but no predecessors found");
545 error_found = true;
547 if (node->global.inlined_to == node)
549 error ("inlined_to pointer refers to itself");
550 error_found = true;
553 if (!cgraph_get_node (node->decl))
555 error ("node not found in cgraph_hash");
556 error_found = true;
559 if (node->clone_of)
561 struct cgraph_node *n;
562 for (n = node->clone_of->clones; n; n = n->next_sibling_clone)
563 if (n == node)
564 break;
565 if (!n)
567 error ("node has wrong clone_of");
568 error_found = true;
571 if (node->clones)
573 struct cgraph_node *n;
574 for (n = node->clones; n; n = n->next_sibling_clone)
575 if (n->clone_of != node)
576 break;
577 if (n)
579 error ("node has wrong clone list");
580 error_found = true;
583 if ((node->prev_sibling_clone || node->next_sibling_clone) && !node->clone_of)
585 error ("node is in clone list but it is not clone");
586 error_found = true;
588 if (!node->prev_sibling_clone && node->clone_of && node->clone_of->clones != node)
590 error ("node has wrong prev_clone pointer");
591 error_found = true;
593 if (node->prev_sibling_clone && node->prev_sibling_clone->next_sibling_clone != node)
595 error ("double linked list of clones corrupted");
596 error_found = true;
598 if (node->same_comdat_group)
600 struct cgraph_node *n = node->same_comdat_group;
602 if (!DECL_ONE_ONLY (node->decl))
604 error ("non-DECL_ONE_ONLY node in a same_comdat_group list");
605 error_found = true;
607 if (n == node)
609 error ("node is alone in a comdat group");
610 error_found = true;
614 if (!n->same_comdat_group)
616 error ("same_comdat_group is not a circular list");
617 error_found = true;
618 break;
620 n = n->same_comdat_group;
622 while (n != node);
625 if (node->analyzed && gimple_has_body_p (node->decl)
626 && !TREE_ASM_WRITTEN (node->decl)
627 && (!DECL_EXTERNAL (node->decl) || node->global.inlined_to)
628 && !flag_wpa)
630 if (this_cfun->cfg)
632 /* The nodes we're interested in are never shared, so walk
633 the tree ignoring duplicates. */
634 struct pointer_set_t *visited_nodes = pointer_set_create ();
635 /* Reach the trees by walking over the CFG, and note the
636 enclosing basic-blocks in the call edges. */
637 FOR_EACH_BB_FN (this_block, this_cfun)
638 for (gsi = gsi_start_bb (this_block);
639 !gsi_end_p (gsi);
640 gsi_next (&gsi))
642 gimple stmt = gsi_stmt (gsi);
643 if (is_gimple_call (stmt))
645 struct cgraph_edge *e = cgraph_edge (node, stmt);
646 tree decl = gimple_call_fndecl (stmt);
647 if (e)
649 if (e->aux)
651 error ("shared call_stmt:");
652 cgraph_debug_gimple_stmt (this_cfun, stmt);
653 error_found = true;
655 if (!e->indirect_unknown_callee)
657 struct cgraph_node *n;
659 if (e->callee->same_body_alias)
661 error ("edge points to same body alias:");
662 debug_tree (e->callee->decl);
663 error_found = true;
665 else if (!e->callee->global.inlined_to
666 && decl
667 && cgraph_get_node (decl)
668 && (e->callee->former_clone_of
669 != cgraph_get_node (decl)->decl)
670 && !clone_of_p (cgraph_node (decl),
671 e->callee))
673 error ("edge points to wrong declaration:");
674 debug_tree (e->callee->decl);
675 fprintf (stderr," Instead of:");
676 debug_tree (decl);
677 error_found = true;
679 else if (decl
680 && (n = cgraph_get_node_or_alias (decl))
681 && (n->same_body_alias
682 && n->thunk.thunk_p))
684 error ("a call to thunk improperly represented "
685 "in the call graph:");
686 cgraph_debug_gimple_stmt (this_cfun, stmt);
687 error_found = true;
690 else if (decl)
692 error ("an indirect edge with unknown callee "
693 "corresponding to a call_stmt with "
694 "a known declaration:");
695 error_found = true;
696 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
698 e->aux = (void *)1;
700 else if (decl)
702 error ("missing callgraph edge for call stmt:");
703 cgraph_debug_gimple_stmt (this_cfun, stmt);
704 error_found = true;
708 pointer_set_destroy (visited_nodes);
710 else
711 /* No CFG available?! */
712 gcc_unreachable ();
714 for (e = node->callees; e; e = e->next_callee)
716 if (!e->aux)
718 error ("edge %s->%s has no corresponding call_stmt",
719 identifier_to_locale (cgraph_node_name (e->caller)),
720 identifier_to_locale (cgraph_node_name (e->callee)));
721 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
722 error_found = true;
724 e->aux = 0;
726 for (e = node->indirect_calls; e; e = e->next_callee)
728 if (!e->aux)
730 error ("an indirect edge from %s has no corresponding call_stmt",
731 identifier_to_locale (cgraph_node_name (e->caller)));
732 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
733 error_found = true;
735 e->aux = 0;
738 if (error_found)
740 dump_cgraph_node (stderr, node);
741 internal_error ("verify_cgraph_node failed");
743 timevar_pop (TV_CGRAPH_VERIFY);
746 /* Verify whole cgraph structure. */
747 DEBUG_FUNCTION void
748 verify_cgraph (void)
750 struct cgraph_node *node;
752 if (seen_error ())
753 return;
755 for (node = cgraph_nodes; node; node = node->next)
756 verify_cgraph_node (node);
759 /* Output all asm statements we have stored up to be output. */
761 static void
762 cgraph_output_pending_asms (void)
764 struct cgraph_asm_node *can;
766 if (seen_error ())
767 return;
769 for (can = cgraph_asm_nodes; can; can = can->next)
770 assemble_asm (can->asm_str);
771 cgraph_asm_nodes = NULL;
774 /* Analyze the function scheduled to be output. */
775 void
776 cgraph_analyze_function (struct cgraph_node *node)
778 tree save = current_function_decl;
779 tree decl = node->decl;
781 current_function_decl = decl;
782 push_cfun (DECL_STRUCT_FUNCTION (decl));
784 assign_assembler_name_if_neeeded (node->decl);
786 /* disregard_inline_limits affects topological order of the early optimization,
787 so we need to compute it ahead of rest of inline parameters. */
788 node->local.disregard_inline_limits
789 = DECL_DISREGARD_INLINE_LIMITS (node->decl);
791 /* Make sure to gimplify bodies only once. During analyzing a
792 function we lower it, which will require gimplified nested
793 functions, so we can end up here with an already gimplified
794 body. */
795 if (!gimple_body (decl))
796 gimplify_function_tree (decl);
797 dump_function (TDI_generic, decl);
799 cgraph_lower_function (node);
800 node->analyzed = true;
802 pop_cfun ();
803 current_function_decl = save;
806 /* Process attributes common for vars and functions. */
808 static void
809 process_common_attributes (tree decl)
811 tree weakref = lookup_attribute ("weakref", DECL_ATTRIBUTES (decl));
813 if (weakref && !lookup_attribute ("alias", DECL_ATTRIBUTES (decl)))
815 warning_at (DECL_SOURCE_LOCATION (decl), OPT_Wattributes,
816 "%<weakref%> attribute should be accompanied with"
817 " an %<alias%> attribute");
818 DECL_WEAK (decl) = 0;
819 DECL_ATTRIBUTES (decl) = remove_attribute ("weakref",
820 DECL_ATTRIBUTES (decl));
824 /* Look for externally_visible and used attributes and mark cgraph nodes
825 accordingly.
827 We cannot mark the nodes at the point the attributes are processed (in
828 handle_*_attribute) because the copy of the declarations available at that
829 point may not be canonical. For example, in:
831 void f();
832 void f() __attribute__((used));
834 the declaration we see in handle_used_attribute will be the second
835 declaration -- but the front end will subsequently merge that declaration
836 with the original declaration and discard the second declaration.
838 Furthermore, we can't mark these nodes in cgraph_finalize_function because:
840 void f() {}
841 void f() __attribute__((externally_visible));
843 is valid.
845 So, we walk the nodes at the end of the translation unit, applying the
846 attributes at that point. */
848 static void
849 process_function_and_variable_attributes (struct cgraph_node *first,
850 struct varpool_node *first_var)
852 struct cgraph_node *node;
853 struct varpool_node *vnode;
855 for (node = cgraph_nodes; node != first; node = node->next)
857 tree decl = node->decl;
858 if (DECL_PRESERVE_P (decl))
859 cgraph_mark_needed_node (node);
860 if (TARGET_DLLIMPORT_DECL_ATTRIBUTES
861 && lookup_attribute ("dllexport", DECL_ATTRIBUTES (decl))
862 && TREE_PUBLIC (node->decl))
864 if (node->local.finalized)
865 cgraph_mark_needed_node (node);
867 else if (lookup_attribute ("externally_visible", DECL_ATTRIBUTES (decl)))
869 if (! TREE_PUBLIC (node->decl))
870 warning_at (DECL_SOURCE_LOCATION (node->decl), OPT_Wattributes,
871 "%<externally_visible%>"
872 " attribute have effect only on public objects");
873 else if (node->local.finalized)
874 cgraph_mark_needed_node (node);
876 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (decl))
877 && node->local.finalized)
879 warning_at (DECL_SOURCE_LOCATION (node->decl), OPT_Wattributes,
880 "%<weakref%> attribute ignored"
881 " because function is defined");
882 DECL_WEAK (decl) = 0;
883 DECL_ATTRIBUTES (decl) = remove_attribute ("weakref",
884 DECL_ATTRIBUTES (decl));
886 process_common_attributes (decl);
888 for (vnode = varpool_nodes; vnode != first_var; vnode = vnode->next)
890 tree decl = vnode->decl;
891 if (DECL_PRESERVE_P (decl))
893 vnode->force_output = true;
894 if (vnode->finalized)
895 varpool_mark_needed_node (vnode);
897 if (TARGET_DLLIMPORT_DECL_ATTRIBUTES
898 && lookup_attribute ("dllexport", DECL_ATTRIBUTES (decl))
899 && TREE_PUBLIC (vnode->decl))
901 if (vnode->finalized)
902 varpool_mark_needed_node (vnode);
904 else if (lookup_attribute ("externally_visible", DECL_ATTRIBUTES (decl)))
906 if (! TREE_PUBLIC (vnode->decl))
907 warning_at (DECL_SOURCE_LOCATION (vnode->decl), OPT_Wattributes,
908 "%<externally_visible%>"
909 " attribute have effect only on public objects");
910 else if (vnode->finalized)
911 varpool_mark_needed_node (vnode);
913 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (decl))
914 && vnode->finalized
915 && DECL_INITIAL (decl))
917 warning_at (DECL_SOURCE_LOCATION (vnode->decl), OPT_Wattributes,
918 "%<weakref%> attribute ignored"
919 " because variable is initialized");
920 DECL_WEAK (decl) = 0;
921 DECL_ATTRIBUTES (decl) = remove_attribute ("weakref",
922 DECL_ATTRIBUTES (decl));
924 process_common_attributes (decl);
928 /* Process CGRAPH_NODES_NEEDED queue, analyze each function (and transitively
929 each reachable functions) and build cgraph.
930 The function can be called multiple times after inserting new nodes
931 into beginning of queue. Just the new part of queue is re-scanned then. */
933 static void
934 cgraph_analyze_functions (void)
936 /* Keep track of already processed nodes when called multiple times for
937 intermodule optimization. */
938 static struct cgraph_node *first_analyzed;
939 struct cgraph_node *first_processed = first_analyzed;
940 static struct varpool_node *first_analyzed_var;
941 struct cgraph_node *node, *next;
943 bitmap_obstack_initialize (NULL);
944 process_function_and_variable_attributes (first_processed,
945 first_analyzed_var);
946 first_processed = cgraph_nodes;
947 first_analyzed_var = varpool_nodes;
948 varpool_analyze_pending_decls ();
949 if (cgraph_dump_file)
951 fprintf (cgraph_dump_file, "Initial entry points:");
952 for (node = cgraph_nodes; node != first_analyzed; node = node->next)
953 if (node->needed)
954 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
955 fprintf (cgraph_dump_file, "\n");
957 cgraph_process_new_functions ();
959 /* Propagate reachability flag and lower representation of all reachable
960 functions. In the future, lowering will introduce new functions and
961 new entry points on the way (by template instantiation and virtual
962 method table generation for instance). */
963 while (cgraph_nodes_queue)
965 struct cgraph_edge *edge;
966 tree decl = cgraph_nodes_queue->decl;
968 node = cgraph_nodes_queue;
969 cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
970 node->next_needed = NULL;
972 /* ??? It is possible to create extern inline function and later using
973 weak alias attribute to kill its body. See
974 gcc.c-torture/compile/20011119-1.c */
975 if (!DECL_STRUCT_FUNCTION (decl))
977 cgraph_reset_node (node);
978 continue;
981 if (!node->analyzed)
982 cgraph_analyze_function (node);
984 for (edge = node->callees; edge; edge = edge->next_callee)
985 if (!edge->callee->reachable)
986 cgraph_mark_reachable_node (edge->callee);
988 if (node->same_comdat_group)
990 for (next = node->same_comdat_group;
991 next != node;
992 next = next->same_comdat_group)
993 cgraph_mark_reachable_node (next);
996 /* If decl is a clone of an abstract function, mark that abstract
997 function so that we don't release its body. The DECL_INITIAL() of that
998 abstract function declaration will be later needed to output debug info. */
999 if (DECL_ABSTRACT_ORIGIN (decl))
1001 struct cgraph_node *origin_node = cgraph_node (DECL_ABSTRACT_ORIGIN (decl));
1002 origin_node->abstract_and_needed = true;
1005 /* We finalize local static variables during constructing callgraph
1006 edges. Process their attributes too. */
1007 process_function_and_variable_attributes (first_processed,
1008 first_analyzed_var);
1009 first_processed = cgraph_nodes;
1010 first_analyzed_var = varpool_nodes;
1011 varpool_analyze_pending_decls ();
1012 cgraph_process_new_functions ();
1015 /* Collect entry points to the unit. */
1016 if (cgraph_dump_file)
1018 fprintf (cgraph_dump_file, "Unit entry points:");
1019 for (node = cgraph_nodes; node != first_analyzed; node = node->next)
1020 if (node->needed)
1021 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1022 fprintf (cgraph_dump_file, "\n\nInitial ");
1023 dump_cgraph (cgraph_dump_file);
1024 dump_varpool (cgraph_dump_file);
1027 if (cgraph_dump_file)
1028 fprintf (cgraph_dump_file, "\nReclaiming functions:");
1030 for (node = cgraph_nodes; node != first_analyzed; node = next)
1032 tree decl = node->decl;
1033 next = node->next;
1035 if (node->local.finalized && !gimple_has_body_p (decl))
1036 cgraph_reset_node (node);
1038 if (!node->reachable && gimple_has_body_p (decl))
1040 if (cgraph_dump_file)
1041 fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1042 cgraph_remove_node (node);
1043 continue;
1045 else
1046 node->next_needed = NULL;
1047 gcc_assert (!node->local.finalized || gimple_has_body_p (decl));
1048 gcc_assert (node->analyzed == node->local.finalized);
1050 if (cgraph_dump_file)
1052 fprintf (cgraph_dump_file, "\n\nReclaimed ");
1053 dump_cgraph (cgraph_dump_file);
1054 dump_varpool (cgraph_dump_file);
1056 bitmap_obstack_release (NULL);
1057 first_analyzed = cgraph_nodes;
1058 ggc_collect ();
1062 /* Analyze the whole compilation unit once it is parsed completely. */
1064 void
1065 cgraph_finalize_compilation_unit (void)
1067 timevar_push (TV_CGRAPH);
1069 /* If we're here there's no current function anymore. Some frontends
1070 are lazy in clearing these. */
1071 current_function_decl = NULL;
1072 set_cfun (NULL);
1074 /* Do not skip analyzing the functions if there were errors, we
1075 miss diagnostics for following functions otherwise. */
1077 /* Emit size functions we didn't inline. */
1078 finalize_size_functions ();
1080 /* Mark alias targets necessary and emit diagnostics. */
1081 finish_aliases_1 ();
1083 if (!quiet_flag)
1085 fprintf (stderr, "\nAnalyzing compilation unit\n");
1086 fflush (stderr);
1089 /* Gimplify and lower all functions, compute reachability and
1090 remove unreachable nodes. */
1091 cgraph_analyze_functions ();
1093 /* Mark alias targets necessary and emit diagnostics. */
1094 finish_aliases_1 ();
1096 /* Gimplify and lower thunks. */
1097 cgraph_analyze_functions ();
1099 /* Finally drive the pass manager. */
1100 cgraph_optimize ();
1102 timevar_pop (TV_CGRAPH);
1106 /* Figure out what functions we want to assemble. */
1108 static void
1109 cgraph_mark_functions_to_output (void)
1111 struct cgraph_node *node;
1112 #ifdef ENABLE_CHECKING
1113 bool check_same_comdat_groups = false;
1115 for (node = cgraph_nodes; node; node = node->next)
1116 gcc_assert (!node->process);
1117 #endif
1119 for (node = cgraph_nodes; node; node = node->next)
1121 tree decl = node->decl;
1122 struct cgraph_edge *e;
1124 gcc_assert (!node->process || node->same_comdat_group);
1125 if (node->process)
1126 continue;
1128 for (e = node->callers; e; e = e->next_caller)
1129 if (e->inline_failed)
1130 break;
1132 /* We need to output all local functions that are used and not
1133 always inlined, as well as those that are reachable from
1134 outside the current compilation unit. */
1135 if (node->analyzed
1136 && !node->global.inlined_to
1137 && (!cgraph_only_called_directly_p (node)
1138 || (e && node->reachable))
1139 && !TREE_ASM_WRITTEN (decl)
1140 && !DECL_EXTERNAL (decl))
1142 node->process = 1;
1143 if (node->same_comdat_group)
1145 struct cgraph_node *next;
1146 for (next = node->same_comdat_group;
1147 next != node;
1148 next = next->same_comdat_group)
1149 next->process = 1;
1152 else if (node->same_comdat_group)
1154 #ifdef ENABLE_CHECKING
1155 check_same_comdat_groups = true;
1156 #endif
1158 else
1160 /* We should've reclaimed all functions that are not needed. */
1161 #ifdef ENABLE_CHECKING
1162 if (!node->global.inlined_to
1163 && gimple_has_body_p (decl)
1164 /* FIXME: in ltrans unit when offline copy is outside partition but inline copies
1165 are inside partition, we can end up not removing the body since we no longer
1166 have analyzed node pointing to it. */
1167 && !node->in_other_partition
1168 && !DECL_EXTERNAL (decl))
1170 dump_cgraph_node (stderr, node);
1171 internal_error ("failed to reclaim unneeded function");
1173 #endif
1174 gcc_assert (node->global.inlined_to
1175 || !gimple_has_body_p (decl)
1176 || node->in_other_partition
1177 || DECL_EXTERNAL (decl));
1182 #ifdef ENABLE_CHECKING
1183 if (check_same_comdat_groups)
1184 for (node = cgraph_nodes; node; node = node->next)
1185 if (node->same_comdat_group && !node->process)
1187 tree decl = node->decl;
1188 if (!node->global.inlined_to
1189 && gimple_has_body_p (decl)
1190 /* FIXME: in ltrans unit when offline copy is outside partition but inline copies
1191 are inside partition, we can end up not removing the body since we no longer
1192 have analyzed node pointing to it. */
1193 && !node->in_other_partition
1194 && !DECL_EXTERNAL (decl))
1196 dump_cgraph_node (stderr, node);
1197 internal_error ("failed to reclaim unneeded function");
1200 #endif
1203 /* DECL is FUNCTION_DECL. Initialize datastructures so DECL is a function
1204 in lowered gimple form.
1206 Set current_function_decl and cfun to newly constructed empty function body.
1207 return basic block in the function body. */
1209 static basic_block
1210 init_lowered_empty_function (tree decl)
1212 basic_block bb;
1214 current_function_decl = decl;
1215 allocate_struct_function (decl, false);
1216 gimple_register_cfg_hooks ();
1217 init_empty_tree_cfg ();
1218 init_tree_ssa (cfun);
1219 init_ssa_operands ();
1220 cfun->gimple_df->in_ssa_p = true;
1221 DECL_INITIAL (decl) = make_node (BLOCK);
1223 DECL_SAVED_TREE (decl) = error_mark_node;
1224 cfun->curr_properties |=
1225 (PROP_gimple_lcf | PROP_gimple_leh | PROP_cfg | PROP_referenced_vars |
1226 PROP_ssa);
1228 /* Create BB for body of the function and connect it properly. */
1229 bb = create_basic_block (NULL, (void *) 0, ENTRY_BLOCK_PTR);
1230 make_edge (ENTRY_BLOCK_PTR, bb, 0);
1231 make_edge (bb, EXIT_BLOCK_PTR, 0);
1233 return bb;
1236 /* Adjust PTR by the constant FIXED_OFFSET, and by the vtable
1237 offset indicated by VIRTUAL_OFFSET, if that is
1238 non-null. THIS_ADJUSTING is nonzero for a this adjusting thunk and
1239 zero for a result adjusting thunk. */
1241 static tree
1242 thunk_adjust (gimple_stmt_iterator * bsi,
1243 tree ptr, bool this_adjusting,
1244 HOST_WIDE_INT fixed_offset, tree virtual_offset)
1246 gimple stmt;
1247 tree ret;
1249 if (this_adjusting
1250 && fixed_offset != 0)
1252 stmt = gimple_build_assign (ptr,
1253 fold_build2_loc (input_location,
1254 POINTER_PLUS_EXPR,
1255 TREE_TYPE (ptr), ptr,
1256 size_int (fixed_offset)));
1257 gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1260 /* If there's a virtual offset, look up that value in the vtable and
1261 adjust the pointer again. */
1262 if (virtual_offset)
1264 tree vtabletmp;
1265 tree vtabletmp2;
1266 tree vtabletmp3;
1267 tree offsettmp;
1269 if (!vtable_entry_type)
1271 tree vfunc_type = make_node (FUNCTION_TYPE);
1272 TREE_TYPE (vfunc_type) = integer_type_node;
1273 TYPE_ARG_TYPES (vfunc_type) = NULL_TREE;
1274 layout_type (vfunc_type);
1276 vtable_entry_type = build_pointer_type (vfunc_type);
1279 vtabletmp =
1280 create_tmp_var (build_pointer_type
1281 (build_pointer_type (vtable_entry_type)), "vptr");
1283 /* The vptr is always at offset zero in the object. */
1284 stmt = gimple_build_assign (vtabletmp,
1285 build1 (NOP_EXPR, TREE_TYPE (vtabletmp),
1286 ptr));
1287 gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1288 mark_symbols_for_renaming (stmt);
1289 find_referenced_vars_in (stmt);
1291 /* Form the vtable address. */
1292 vtabletmp2 = create_tmp_var (TREE_TYPE (TREE_TYPE (vtabletmp)),
1293 "vtableaddr");
1294 stmt = gimple_build_assign (vtabletmp2,
1295 build_simple_mem_ref (vtabletmp));
1296 gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1297 mark_symbols_for_renaming (stmt);
1298 find_referenced_vars_in (stmt);
1300 /* Find the entry with the vcall offset. */
1301 stmt = gimple_build_assign (vtabletmp2,
1302 fold_build2_loc (input_location,
1303 POINTER_PLUS_EXPR,
1304 TREE_TYPE (vtabletmp2),
1305 vtabletmp2,
1306 fold_convert (sizetype,
1307 virtual_offset)));
1308 gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1310 /* Get the offset itself. */
1311 vtabletmp3 = create_tmp_var (TREE_TYPE (TREE_TYPE (vtabletmp2)),
1312 "vcalloffset");
1313 stmt = gimple_build_assign (vtabletmp3,
1314 build_simple_mem_ref (vtabletmp2));
1315 gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1316 mark_symbols_for_renaming (stmt);
1317 find_referenced_vars_in (stmt);
1319 /* Cast to sizetype. */
1320 offsettmp = create_tmp_var (sizetype, "offset");
1321 stmt = gimple_build_assign (offsettmp, fold_convert (sizetype, vtabletmp3));
1322 gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1323 mark_symbols_for_renaming (stmt);
1324 find_referenced_vars_in (stmt);
1326 /* Adjust the `this' pointer. */
1327 ptr = fold_build2_loc (input_location,
1328 POINTER_PLUS_EXPR, TREE_TYPE (ptr), ptr,
1329 offsettmp);
1332 if (!this_adjusting
1333 && fixed_offset != 0)
1334 /* Adjust the pointer by the constant. */
1336 tree ptrtmp;
1338 if (TREE_CODE (ptr) == VAR_DECL)
1339 ptrtmp = ptr;
1340 else
1342 ptrtmp = create_tmp_var (TREE_TYPE (ptr), "ptr");
1343 stmt = gimple_build_assign (ptrtmp, ptr);
1344 gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1345 mark_symbols_for_renaming (stmt);
1346 find_referenced_vars_in (stmt);
1348 ptr = fold_build2_loc (input_location,
1349 POINTER_PLUS_EXPR, TREE_TYPE (ptrtmp), ptrtmp,
1350 size_int (fixed_offset));
1353 /* Emit the statement and gimplify the adjustment expression. */
1354 ret = create_tmp_var (TREE_TYPE (ptr), "adjusted_this");
1355 stmt = gimple_build_assign (ret, ptr);
1356 mark_symbols_for_renaming (stmt);
1357 find_referenced_vars_in (stmt);
1358 gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1360 return ret;
1363 /* Produce assembler for thunk NODE. */
1365 static void
1366 assemble_thunk (struct cgraph_node *node)
1368 bool this_adjusting = node->thunk.this_adjusting;
1369 HOST_WIDE_INT fixed_offset = node->thunk.fixed_offset;
1370 HOST_WIDE_INT virtual_value = node->thunk.virtual_value;
1371 tree virtual_offset = NULL;
1372 tree alias = node->thunk.alias;
1373 tree thunk_fndecl = node->decl;
1374 tree a = DECL_ARGUMENTS (thunk_fndecl);
1376 current_function_decl = thunk_fndecl;
1378 /* Ensure thunks are emitted in their correct sections. */
1379 resolve_unique_section (thunk_fndecl, 0, flag_function_sections);
1381 if (this_adjusting
1382 && targetm.asm_out.can_output_mi_thunk (thunk_fndecl, fixed_offset,
1383 virtual_value, alias))
1385 const char *fnname;
1386 tree fn_block;
1388 DECL_RESULT (thunk_fndecl)
1389 = build_decl (DECL_SOURCE_LOCATION (thunk_fndecl),
1390 RESULT_DECL, 0, integer_type_node);
1391 fnname = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk_fndecl));
1393 /* The back end expects DECL_INITIAL to contain a BLOCK, so we
1394 create one. */
1395 fn_block = make_node (BLOCK);
1396 BLOCK_VARS (fn_block) = a;
1397 DECL_INITIAL (thunk_fndecl) = fn_block;
1398 init_function_start (thunk_fndecl);
1399 cfun->is_thunk = 1;
1400 assemble_start_function (thunk_fndecl, fnname);
1402 targetm.asm_out.output_mi_thunk (asm_out_file, thunk_fndecl,
1403 fixed_offset, virtual_value, alias);
1405 assemble_end_function (thunk_fndecl, fnname);
1406 init_insn_lengths ();
1407 free_after_compilation (cfun);
1408 set_cfun (NULL);
1409 TREE_ASM_WRITTEN (thunk_fndecl) = 1;
1411 else
1413 tree restype;
1414 basic_block bb, then_bb, else_bb, return_bb;
1415 gimple_stmt_iterator bsi;
1416 int nargs = 0;
1417 tree arg;
1418 int i;
1419 tree resdecl;
1420 tree restmp = NULL;
1421 VEC(tree, heap) *vargs;
1423 gimple call;
1424 gimple ret;
1426 DECL_IGNORED_P (thunk_fndecl) = 1;
1427 bitmap_obstack_initialize (NULL);
1429 if (node->thunk.virtual_offset_p)
1430 virtual_offset = size_int (virtual_value);
1432 /* Build the return declaration for the function. */
1433 restype = TREE_TYPE (TREE_TYPE (thunk_fndecl));
1434 if (DECL_RESULT (thunk_fndecl) == NULL_TREE)
1436 resdecl = build_decl (input_location, RESULT_DECL, 0, restype);
1437 DECL_ARTIFICIAL (resdecl) = 1;
1438 DECL_IGNORED_P (resdecl) = 1;
1439 DECL_RESULT (thunk_fndecl) = resdecl;
1441 else
1442 resdecl = DECL_RESULT (thunk_fndecl);
1444 bb = then_bb = else_bb = return_bb = init_lowered_empty_function (thunk_fndecl);
1446 bsi = gsi_start_bb (bb);
1448 /* Build call to the function being thunked. */
1449 if (!VOID_TYPE_P (restype))
1451 if (!is_gimple_reg_type (restype))
1453 restmp = resdecl;
1454 add_local_decl (cfun, restmp);
1455 BLOCK_VARS (DECL_INITIAL (current_function_decl)) = restmp;
1457 else
1458 restmp = create_tmp_var_raw (restype, "retval");
1461 for (arg = a; arg; arg = DECL_CHAIN (arg))
1462 nargs++;
1463 vargs = VEC_alloc (tree, heap, nargs);
1464 if (this_adjusting)
1465 VEC_quick_push (tree, vargs,
1466 thunk_adjust (&bsi,
1467 a, 1, fixed_offset,
1468 virtual_offset));
1469 else
1470 VEC_quick_push (tree, vargs, a);
1471 for (i = 1, arg = DECL_CHAIN (a); i < nargs; i++, arg = DECL_CHAIN (arg))
1472 VEC_quick_push (tree, vargs, arg);
1473 call = gimple_build_call_vec (build_fold_addr_expr_loc (0, alias), vargs);
1474 VEC_free (tree, heap, vargs);
1475 gimple_call_set_cannot_inline (call, true);
1476 gimple_call_set_from_thunk (call, true);
1477 if (restmp)
1478 gimple_call_set_lhs (call, restmp);
1479 gsi_insert_after (&bsi, call, GSI_NEW_STMT);
1480 mark_symbols_for_renaming (call);
1481 find_referenced_vars_in (call);
1482 update_stmt (call);
1484 if (restmp && !this_adjusting)
1486 tree true_label = NULL_TREE;
1488 if (TREE_CODE (TREE_TYPE (restmp)) == POINTER_TYPE)
1490 gimple stmt;
1491 /* If the return type is a pointer, we need to
1492 protect against NULL. We know there will be an
1493 adjustment, because that's why we're emitting a
1494 thunk. */
1495 then_bb = create_basic_block (NULL, (void *) 0, bb);
1496 return_bb = create_basic_block (NULL, (void *) 0, then_bb);
1497 else_bb = create_basic_block (NULL, (void *) 0, else_bb);
1498 remove_edge (single_succ_edge (bb));
1499 true_label = gimple_block_label (then_bb);
1500 stmt = gimple_build_cond (NE_EXPR, restmp,
1501 build_zero_cst (TREE_TYPE (restmp)),
1502 NULL_TREE, NULL_TREE);
1503 gsi_insert_after (&bsi, stmt, GSI_NEW_STMT);
1504 make_edge (bb, then_bb, EDGE_TRUE_VALUE);
1505 make_edge (bb, else_bb, EDGE_FALSE_VALUE);
1506 make_edge (return_bb, EXIT_BLOCK_PTR, 0);
1507 make_edge (then_bb, return_bb, EDGE_FALLTHRU);
1508 make_edge (else_bb, return_bb, EDGE_FALLTHRU);
1509 bsi = gsi_last_bb (then_bb);
1512 restmp = thunk_adjust (&bsi, restmp, /*this_adjusting=*/0,
1513 fixed_offset, virtual_offset);
1514 if (true_label)
1516 gimple stmt;
1517 bsi = gsi_last_bb (else_bb);
1518 stmt = gimple_build_assign (restmp,
1519 build_zero_cst (TREE_TYPE (restmp)));
1520 gsi_insert_after (&bsi, stmt, GSI_NEW_STMT);
1521 bsi = gsi_last_bb (return_bb);
1524 else
1525 gimple_call_set_tail (call, true);
1527 /* Build return value. */
1528 ret = gimple_build_return (restmp);
1529 gsi_insert_after (&bsi, ret, GSI_NEW_STMT);
1531 delete_unreachable_blocks ();
1532 update_ssa (TODO_update_ssa);
1534 cgraph_remove_same_body_alias (node);
1535 /* Since we want to emit the thunk, we explicitly mark its name as
1536 referenced. */
1537 cgraph_add_new_function (thunk_fndecl, true);
1538 bitmap_obstack_release (NULL);
1540 current_function_decl = NULL;
1543 /* Expand function specified by NODE. */
1545 static void
1546 cgraph_expand_function (struct cgraph_node *node)
1548 tree decl = node->decl;
1550 /* We ought to not compile any inline clones. */
1551 gcc_assert (!node->global.inlined_to);
1553 announce_function (decl);
1554 node->process = 0;
1555 if (node->same_body)
1557 struct cgraph_node *alias, *next;
1558 bool saved_alias = node->alias;
1559 for (alias = node->same_body;
1560 alias && alias->next; alias = alias->next)
1562 /* Walk aliases in the order they were created; it is possible that
1563 thunks refers to the aliases made earlier. */
1564 for (; alias; alias = next)
1566 next = alias->previous;
1567 if (!alias->thunk.thunk_p)
1568 assemble_alias (alias->decl,
1569 DECL_ASSEMBLER_NAME (alias->thunk.alias));
1570 else
1571 assemble_thunk (alias);
1573 node->alias = saved_alias;
1574 cgraph_process_new_functions ();
1577 gcc_assert (node->lowered);
1579 /* Generate RTL for the body of DECL. */
1580 tree_rest_of_compilation (decl);
1582 /* Make sure that BE didn't give up on compiling. */
1583 gcc_assert (TREE_ASM_WRITTEN (decl));
1584 current_function_decl = NULL;
1585 gcc_assert (!cgraph_preserve_function_body_p (decl));
1586 cgraph_release_function_body (node);
1587 /* Eliminate all call edges. This is important so the GIMPLE_CALL no longer
1588 points to the dead function body. */
1589 cgraph_node_remove_callees (node);
1591 cgraph_function_flags_ready = true;
1594 /* Return true when CALLER_DECL should be inlined into CALLEE_DECL. */
1596 bool
1597 cgraph_inline_p (struct cgraph_edge *e, cgraph_inline_failed_t *reason)
1599 *reason = e->inline_failed;
1600 return !e->inline_failed;
1605 /* Expand all functions that must be output.
1607 Attempt to topologically sort the nodes so function is output when
1608 all called functions are already assembled to allow data to be
1609 propagated across the callgraph. Use a stack to get smaller distance
1610 between a function and its callees (later we may choose to use a more
1611 sophisticated algorithm for function reordering; we will likely want
1612 to use subsections to make the output functions appear in top-down
1613 order). */
1615 static void
1616 cgraph_expand_all_functions (void)
1618 struct cgraph_node *node;
1619 struct cgraph_node **order = XCNEWVEC (struct cgraph_node *, cgraph_n_nodes);
1620 int order_pos, new_order_pos = 0;
1621 int i;
1623 order_pos = cgraph_postorder (order);
1624 gcc_assert (order_pos == cgraph_n_nodes);
1626 /* Garbage collector may remove inline clones we eliminate during
1627 optimization. So we must be sure to not reference them. */
1628 for (i = 0; i < order_pos; i++)
1629 if (order[i]->process)
1630 order[new_order_pos++] = order[i];
1632 for (i = new_order_pos - 1; i >= 0; i--)
1634 node = order[i];
1635 if (node->process)
1637 gcc_assert (node->reachable);
1638 node->process = 0;
1639 cgraph_expand_function (node);
1642 cgraph_process_new_functions ();
1644 free (order);
1648 /* This is used to sort the node types by the cgraph order number. */
1650 enum cgraph_order_sort_kind
1652 ORDER_UNDEFINED = 0,
1653 ORDER_FUNCTION,
1654 ORDER_VAR,
1655 ORDER_ASM
1658 struct cgraph_order_sort
1660 enum cgraph_order_sort_kind kind;
1661 union
1663 struct cgraph_node *f;
1664 struct varpool_node *v;
1665 struct cgraph_asm_node *a;
1666 } u;
1669 /* Output all functions, variables, and asm statements in the order
1670 according to their order fields, which is the order in which they
1671 appeared in the file. This implements -fno-toplevel-reorder. In
1672 this mode we may output functions and variables which don't really
1673 need to be output. */
1675 static void
1676 cgraph_output_in_order (void)
1678 int max;
1679 struct cgraph_order_sort *nodes;
1680 int i;
1681 struct cgraph_node *pf;
1682 struct varpool_node *pv;
1683 struct cgraph_asm_node *pa;
1685 max = cgraph_order;
1686 nodes = XCNEWVEC (struct cgraph_order_sort, max);
1688 varpool_analyze_pending_decls ();
1690 for (pf = cgraph_nodes; pf; pf = pf->next)
1692 if (pf->process)
1694 i = pf->order;
1695 gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1696 nodes[i].kind = ORDER_FUNCTION;
1697 nodes[i].u.f = pf;
1701 for (pv = varpool_nodes_queue; pv; pv = pv->next_needed)
1703 i = pv->order;
1704 gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1705 nodes[i].kind = ORDER_VAR;
1706 nodes[i].u.v = pv;
1709 for (pa = cgraph_asm_nodes; pa; pa = pa->next)
1711 i = pa->order;
1712 gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1713 nodes[i].kind = ORDER_ASM;
1714 nodes[i].u.a = pa;
1717 /* In toplevel reorder mode we output all statics; mark them as needed. */
1718 for (i = 0; i < max; ++i)
1720 if (nodes[i].kind == ORDER_VAR)
1722 varpool_mark_needed_node (nodes[i].u.v);
1725 varpool_empty_needed_queue ();
1727 for (i = 0; i < max; ++i)
1728 if (nodes[i].kind == ORDER_VAR)
1729 varpool_finalize_named_section_flags (nodes[i].u.v);
1731 for (i = 0; i < max; ++i)
1733 switch (nodes[i].kind)
1735 case ORDER_FUNCTION:
1736 nodes[i].u.f->process = 0;
1737 cgraph_expand_function (nodes[i].u.f);
1738 break;
1740 case ORDER_VAR:
1741 varpool_assemble_decl (nodes[i].u.v);
1742 break;
1744 case ORDER_ASM:
1745 assemble_asm (nodes[i].u.a->asm_str);
1746 break;
1748 case ORDER_UNDEFINED:
1749 break;
1751 default:
1752 gcc_unreachable ();
1756 cgraph_asm_nodes = NULL;
1757 free (nodes);
1760 /* Return true when function body of DECL still needs to be kept around
1761 for later re-use. */
1762 bool
1763 cgraph_preserve_function_body_p (tree decl)
1765 struct cgraph_node *node;
1767 gcc_assert (cgraph_global_info_ready);
1768 /* Look if there is any clone around. */
1769 node = cgraph_node (decl);
1770 if (node->clones)
1771 return true;
1772 return false;
1775 static void
1776 ipa_passes (void)
1778 set_cfun (NULL);
1779 current_function_decl = NULL;
1780 gimple_register_cfg_hooks ();
1781 bitmap_obstack_initialize (NULL);
1783 invoke_plugin_callbacks (PLUGIN_ALL_IPA_PASSES_START, NULL);
1785 if (!in_lto_p)
1787 execute_ipa_pass_list (all_small_ipa_passes);
1788 if (seen_error ())
1789 return;
1792 /* If pass_all_early_optimizations was not scheduled, the state of
1793 the cgraph will not be properly updated. Update it now. */
1794 if (cgraph_state < CGRAPH_STATE_IPA_SSA)
1795 cgraph_state = CGRAPH_STATE_IPA_SSA;
1797 if (!in_lto_p)
1799 /* Generate coverage variables and constructors. */
1800 coverage_finish ();
1802 /* Process new functions added. */
1803 set_cfun (NULL);
1804 current_function_decl = NULL;
1805 cgraph_process_new_functions ();
1807 execute_ipa_summary_passes
1808 ((struct ipa_opt_pass_d *) all_regular_ipa_passes);
1811 /* Some targets need to handle LTO assembler output specially. */
1812 if (flag_generate_lto)
1813 targetm.asm_out.lto_start ();
1815 execute_ipa_summary_passes ((struct ipa_opt_pass_d *) all_lto_gen_passes);
1817 if (!in_lto_p)
1818 ipa_write_summaries ();
1820 if (flag_generate_lto)
1821 targetm.asm_out.lto_end ();
1823 if (!flag_ltrans)
1824 execute_ipa_pass_list (all_regular_ipa_passes);
1825 invoke_plugin_callbacks (PLUGIN_ALL_IPA_PASSES_END, NULL);
1827 bitmap_obstack_release (NULL);
1831 /* Perform simple optimizations based on callgraph. */
1833 void
1834 cgraph_optimize (void)
1836 if (seen_error ())
1837 return;
1839 #ifdef ENABLE_CHECKING
1840 verify_cgraph ();
1841 #endif
1843 /* Frontend may output common variables after the unit has been finalized.
1844 It is safe to deal with them here as they are always zero initialized. */
1845 varpool_analyze_pending_decls ();
1847 timevar_push (TV_CGRAPHOPT);
1848 if (pre_ipa_mem_report)
1850 fprintf (stderr, "Memory consumption before IPA\n");
1851 dump_memory_report (false);
1853 if (!quiet_flag)
1854 fprintf (stderr, "Performing interprocedural optimizations\n");
1855 cgraph_state = CGRAPH_STATE_IPA;
1857 /* Don't run the IPA passes if there was any error or sorry messages. */
1858 if (!seen_error ())
1859 ipa_passes ();
1861 /* Do nothing else if any IPA pass found errors. */
1862 if (seen_error ())
1864 timevar_pop (TV_CGRAPHOPT);
1865 return;
1868 /* This pass remove bodies of extern inline functions we never inlined.
1869 Do this later so other IPA passes see what is really going on. */
1870 cgraph_remove_unreachable_nodes (false, dump_file);
1871 cgraph_global_info_ready = true;
1872 if (cgraph_dump_file)
1874 fprintf (cgraph_dump_file, "Optimized ");
1875 dump_cgraph (cgraph_dump_file);
1876 dump_varpool (cgraph_dump_file);
1878 if (post_ipa_mem_report)
1880 fprintf (stderr, "Memory consumption after IPA\n");
1881 dump_memory_report (false);
1883 timevar_pop (TV_CGRAPHOPT);
1885 /* Output everything. */
1886 (*debug_hooks->assembly_start) ();
1887 if (!quiet_flag)
1888 fprintf (stderr, "Assembling functions:\n");
1889 #ifdef ENABLE_CHECKING
1890 verify_cgraph ();
1891 #endif
1893 cgraph_materialize_all_clones ();
1894 cgraph_mark_functions_to_output ();
1896 cgraph_state = CGRAPH_STATE_EXPANSION;
1897 if (!flag_toplevel_reorder)
1898 cgraph_output_in_order ();
1899 else
1901 cgraph_output_pending_asms ();
1903 cgraph_expand_all_functions ();
1904 varpool_remove_unreferenced_decls ();
1906 varpool_assemble_pending_decls ();
1908 cgraph_process_new_functions ();
1909 cgraph_state = CGRAPH_STATE_FINISHED;
1911 if (cgraph_dump_file)
1913 fprintf (cgraph_dump_file, "\nFinal ");
1914 dump_cgraph (cgraph_dump_file);
1915 dump_varpool (cgraph_dump_file);
1917 #ifdef ENABLE_CHECKING
1918 verify_cgraph ();
1919 /* Double check that all inline clones are gone and that all
1920 function bodies have been released from memory. */
1921 if (!seen_error ())
1923 struct cgraph_node *node;
1924 bool error_found = false;
1926 for (node = cgraph_nodes; node; node = node->next)
1927 if (node->analyzed
1928 && (node->global.inlined_to
1929 || gimple_has_body_p (node->decl)))
1931 error_found = true;
1932 dump_cgraph_node (stderr, node);
1934 if (error_found)
1935 internal_error ("nodes with unreleased memory found");
1937 #endif
1940 void
1941 init_cgraph (void)
1943 if (!cgraph_dump_file)
1944 cgraph_dump_file = dump_begin (TDI_cgraph, NULL);
1947 /* The edges representing the callers of the NEW_VERSION node were
1948 fixed by cgraph_function_versioning (), now the call_expr in their
1949 respective tree code should be updated to call the NEW_VERSION. */
1951 static void
1952 update_call_expr (struct cgraph_node *new_version)
1954 struct cgraph_edge *e;
1956 gcc_assert (new_version);
1958 /* Update the call expr on the edges to call the new version. */
1959 for (e = new_version->callers; e; e = e->next_caller)
1961 struct function *inner_function = DECL_STRUCT_FUNCTION (e->caller->decl);
1962 gimple_call_set_fndecl (e->call_stmt, new_version->decl);
1963 maybe_clean_eh_stmt_fn (inner_function, e->call_stmt);
1968 /* Create a new cgraph node which is the new version of
1969 OLD_VERSION node. REDIRECT_CALLERS holds the callers
1970 edges which should be redirected to point to
1971 NEW_VERSION. ALL the callees edges of OLD_VERSION
1972 are cloned to the new version node. Return the new
1973 version node.
1975 If non-NULL BLOCK_TO_COPY determine what basic blocks
1976 was copied to prevent duplications of calls that are dead
1977 in the clone. */
1979 static struct cgraph_node *
1980 cgraph_copy_node_for_versioning (struct cgraph_node *old_version,
1981 tree new_decl,
1982 VEC(cgraph_edge_p,heap) *redirect_callers,
1983 bitmap bbs_to_copy)
1985 struct cgraph_node *new_version;
1986 struct cgraph_edge *e;
1987 unsigned i;
1989 gcc_assert (old_version);
1991 new_version = cgraph_node (new_decl);
1993 new_version->analyzed = true;
1994 new_version->local = old_version->local;
1995 new_version->local.externally_visible = false;
1996 new_version->local.local = true;
1997 new_version->local.vtable_method = false;
1998 new_version->global = old_version->global;
1999 new_version->rtl = old_version->rtl;
2000 new_version->reachable = true;
2001 new_version->count = old_version->count;
2003 for (e = old_version->callees; e; e=e->next_callee)
2004 if (!bbs_to_copy
2005 || bitmap_bit_p (bbs_to_copy, gimple_bb (e->call_stmt)->index))
2006 cgraph_clone_edge (e, new_version, e->call_stmt,
2007 e->lto_stmt_uid, REG_BR_PROB_BASE,
2008 CGRAPH_FREQ_BASE,
2009 e->loop_nest, true);
2010 for (e = old_version->indirect_calls; e; e=e->next_callee)
2011 if (!bbs_to_copy
2012 || bitmap_bit_p (bbs_to_copy, gimple_bb (e->call_stmt)->index))
2013 cgraph_clone_edge (e, new_version, e->call_stmt,
2014 e->lto_stmt_uid, REG_BR_PROB_BASE,
2015 CGRAPH_FREQ_BASE,
2016 e->loop_nest, true);
2017 FOR_EACH_VEC_ELT (cgraph_edge_p, redirect_callers, i, e)
2019 /* Redirect calls to the old version node to point to its new
2020 version. */
2021 cgraph_redirect_edge_callee (e, new_version);
2024 return new_version;
2027 /* Perform function versioning.
2028 Function versioning includes copying of the tree and
2029 a callgraph update (creating a new cgraph node and updating
2030 its callees and callers).
2032 REDIRECT_CALLERS varray includes the edges to be redirected
2033 to the new version.
2035 TREE_MAP is a mapping of tree nodes we want to replace with
2036 new ones (according to results of prior analysis).
2037 OLD_VERSION_NODE is the node that is versioned.
2038 It returns the new version's cgraph node.
2039 If non-NULL ARGS_TO_SKIP determine function parameters to remove
2040 from new version.
2041 If non-NULL BLOCK_TO_COPY determine what basic blocks to copy.
2042 If non_NULL NEW_ENTRY determine new entry BB of the clone. */
2044 struct cgraph_node *
2045 cgraph_function_versioning (struct cgraph_node *old_version_node,
2046 VEC(cgraph_edge_p,heap) *redirect_callers,
2047 VEC (ipa_replace_map_p,gc)* tree_map,
2048 bitmap args_to_skip,
2049 bitmap bbs_to_copy,
2050 basic_block new_entry_block,
2051 const char *clone_name)
2053 tree old_decl = old_version_node->decl;
2054 struct cgraph_node *new_version_node = NULL;
2055 tree new_decl;
2057 if (!tree_versionable_function_p (old_decl))
2058 return NULL;
2060 gcc_assert (old_version_node->local.can_change_signature || !args_to_skip);
2062 /* Make a new FUNCTION_DECL tree node for the
2063 new version. */
2064 if (!args_to_skip)
2065 new_decl = copy_node (old_decl);
2066 else
2067 new_decl = build_function_decl_skip_args (old_decl, args_to_skip);
2069 /* Generate a new name for the new version. */
2070 DECL_NAME (new_decl) = clone_function_name (old_decl, clone_name);
2071 SET_DECL_ASSEMBLER_NAME (new_decl, DECL_NAME (new_decl));
2072 SET_DECL_RTL (new_decl, NULL);
2074 /* Create the new version's call-graph node.
2075 and update the edges of the new node. */
2076 new_version_node =
2077 cgraph_copy_node_for_versioning (old_version_node, new_decl,
2078 redirect_callers, bbs_to_copy);
2080 /* Copy the OLD_VERSION_NODE function tree to the new version. */
2081 tree_function_versioning (old_decl, new_decl, tree_map, false, args_to_skip,
2082 bbs_to_copy, new_entry_block);
2084 /* Update the new version's properties.
2085 Make The new version visible only within this translation unit. Make sure
2086 that is not weak also.
2087 ??? We cannot use COMDAT linkage because there is no
2088 ABI support for this. */
2089 cgraph_make_decl_local (new_version_node->decl);
2090 DECL_VIRTUAL_P (new_version_node->decl) = 0;
2091 new_version_node->local.externally_visible = 0;
2092 new_version_node->local.local = 1;
2093 new_version_node->lowered = true;
2095 /* Update the call_expr on the edges to call the new version node. */
2096 update_call_expr (new_version_node);
2098 cgraph_call_function_insertion_hooks (new_version_node);
2099 return new_version_node;
2102 /* Produce separate function body for inline clones so the offline copy can be
2103 modified without affecting them. */
2104 struct cgraph_node *
2105 save_inline_function_body (struct cgraph_node *node)
2107 struct cgraph_node *first_clone, *n;
2109 gcc_assert (node == cgraph_node (node->decl));
2111 cgraph_lower_function (node);
2113 first_clone = node->clones;
2115 first_clone->decl = copy_node (node->decl);
2116 cgraph_insert_node_to_hashtable (first_clone);
2117 gcc_assert (first_clone == cgraph_node (first_clone->decl));
2118 if (first_clone->next_sibling_clone)
2120 for (n = first_clone->next_sibling_clone; n->next_sibling_clone; n = n->next_sibling_clone)
2121 n->clone_of = first_clone;
2122 n->clone_of = first_clone;
2123 n->next_sibling_clone = first_clone->clones;
2124 if (first_clone->clones)
2125 first_clone->clones->prev_sibling_clone = n;
2126 first_clone->clones = first_clone->next_sibling_clone;
2127 first_clone->next_sibling_clone->prev_sibling_clone = NULL;
2128 first_clone->next_sibling_clone = NULL;
2129 gcc_assert (!first_clone->prev_sibling_clone);
2131 first_clone->clone_of = NULL;
2132 node->clones = NULL;
2134 if (first_clone->clones)
2135 for (n = first_clone->clones; n != first_clone;)
2137 gcc_assert (n->decl == node->decl);
2138 n->decl = first_clone->decl;
2139 if (n->clones)
2140 n = n->clones;
2141 else if (n->next_sibling_clone)
2142 n = n->next_sibling_clone;
2143 else
2145 while (n != first_clone && !n->next_sibling_clone)
2146 n = n->clone_of;
2147 if (n != first_clone)
2148 n = n->next_sibling_clone;
2152 /* Copy the OLD_VERSION_NODE function tree to the new version. */
2153 tree_function_versioning (node->decl, first_clone->decl, NULL, true, NULL,
2154 NULL, NULL);
2156 DECL_EXTERNAL (first_clone->decl) = 0;
2157 DECL_COMDAT_GROUP (first_clone->decl) = NULL_TREE;
2158 TREE_PUBLIC (first_clone->decl) = 0;
2159 DECL_COMDAT (first_clone->decl) = 0;
2160 VEC_free (ipa_opt_pass, heap,
2161 first_clone->ipa_transforms_to_apply);
2162 first_clone->ipa_transforms_to_apply = NULL;
2164 #ifdef ENABLE_CHECKING
2165 verify_cgraph_node (first_clone);
2166 #endif
2167 return first_clone;
2170 /* Given virtual clone, turn it into actual clone. */
2171 static void
2172 cgraph_materialize_clone (struct cgraph_node *node)
2174 bitmap_obstack_initialize (NULL);
2175 node->former_clone_of = node->clone_of->decl;
2176 if (node->clone_of->former_clone_of)
2177 node->former_clone_of = node->clone_of->former_clone_of;
2178 /* Copy the OLD_VERSION_NODE function tree to the new version. */
2179 tree_function_versioning (node->clone_of->decl, node->decl,
2180 node->clone.tree_map, true,
2181 node->clone.args_to_skip, NULL, NULL);
2182 if (cgraph_dump_file)
2184 dump_function_to_file (node->clone_of->decl, cgraph_dump_file, dump_flags);
2185 dump_function_to_file (node->decl, cgraph_dump_file, dump_flags);
2188 /* Function is no longer clone. */
2189 if (node->next_sibling_clone)
2190 node->next_sibling_clone->prev_sibling_clone = node->prev_sibling_clone;
2191 if (node->prev_sibling_clone)
2192 node->prev_sibling_clone->next_sibling_clone = node->next_sibling_clone;
2193 else
2194 node->clone_of->clones = node->next_sibling_clone;
2195 node->next_sibling_clone = NULL;
2196 node->prev_sibling_clone = NULL;
2197 if (!node->clone_of->analyzed && !node->clone_of->clones)
2199 cgraph_release_function_body (node->clone_of);
2200 cgraph_node_remove_callees (node->clone_of);
2201 ipa_remove_all_references (&node->clone_of->ref_list);
2203 node->clone_of = NULL;
2204 bitmap_obstack_release (NULL);
2207 /* If necessary, change the function declaration in the call statement
2208 associated with E so that it corresponds to the edge callee. */
2210 gimple
2211 cgraph_redirect_edge_call_stmt_to_callee (struct cgraph_edge *e)
2213 tree decl = gimple_call_fndecl (e->call_stmt);
2214 gimple new_stmt;
2215 gimple_stmt_iterator gsi;
2216 bool gsi_computed = false;
2217 #ifdef ENABLE_CHECKING
2218 struct cgraph_node *node;
2219 #endif
2221 if (e->indirect_unknown_callee
2222 || decl == e->callee->decl
2223 /* Don't update call from same body alias to the real function. */
2224 || (decl && cgraph_get_node (decl) == cgraph_get_node (e->callee->decl)))
2225 return e->call_stmt;
2227 #ifdef ENABLE_CHECKING
2228 if (decl)
2230 node = cgraph_get_node (decl);
2231 gcc_assert (!node || !node->clone.combined_args_to_skip);
2233 #endif
2235 if (cgraph_dump_file)
2237 fprintf (cgraph_dump_file, "updating call of %s/%i -> %s/%i: ",
2238 cgraph_node_name (e->caller), e->caller->uid,
2239 cgraph_node_name (e->callee), e->callee->uid);
2240 print_gimple_stmt (cgraph_dump_file, e->call_stmt, 0, dump_flags);
2241 if (e->callee->clone.combined_args_to_skip)
2243 fprintf (cgraph_dump_file, " combined args to skip: ");
2244 dump_bitmap (cgraph_dump_file,
2245 e->callee->clone.combined_args_to_skip);
2249 if (e->indirect_info &&
2250 e->indirect_info->thunk_delta != 0
2251 && (!e->callee->clone.combined_args_to_skip
2252 || !bitmap_bit_p (e->callee->clone.combined_args_to_skip, 0)))
2254 if (cgraph_dump_file)
2255 fprintf (cgraph_dump_file, " Thunk delta is "
2256 HOST_WIDE_INT_PRINT_DEC "\n", e->indirect_info->thunk_delta);
2257 gsi = gsi_for_stmt (e->call_stmt);
2258 gsi_computed = true;
2259 gimple_adjust_this_by_delta (&gsi,
2260 build_int_cst (sizetype,
2261 e->indirect_info->thunk_delta));
2262 e->indirect_info->thunk_delta = 0;
2265 if (e->callee->clone.combined_args_to_skip)
2267 int lp_nr;
2269 new_stmt
2270 = gimple_call_copy_skip_args (e->call_stmt,
2271 e->callee->clone.combined_args_to_skip);
2272 gimple_call_set_fndecl (new_stmt, e->callee->decl);
2274 if (gimple_vdef (new_stmt)
2275 && TREE_CODE (gimple_vdef (new_stmt)) == SSA_NAME)
2276 SSA_NAME_DEF_STMT (gimple_vdef (new_stmt)) = new_stmt;
2278 if (!gsi_computed)
2279 gsi = gsi_for_stmt (e->call_stmt);
2280 gsi_replace (&gsi, new_stmt, false);
2281 /* We need to defer cleaning EH info on the new statement to
2282 fixup-cfg. We may not have dominator information at this point
2283 and thus would end up with unreachable blocks and have no way
2284 to communicate that we need to run CFG cleanup then. */
2285 lp_nr = lookup_stmt_eh_lp (e->call_stmt);
2286 if (lp_nr != 0)
2288 remove_stmt_from_eh_lp (e->call_stmt);
2289 add_stmt_to_eh_lp (new_stmt, lp_nr);
2292 else
2294 new_stmt = e->call_stmt;
2295 gimple_call_set_fndecl (new_stmt, e->callee->decl);
2296 update_stmt (new_stmt);
2299 cgraph_set_call_stmt_including_clones (e->caller, e->call_stmt, new_stmt);
2301 if (cgraph_dump_file)
2303 fprintf (cgraph_dump_file, " updated to:");
2304 print_gimple_stmt (cgraph_dump_file, e->call_stmt, 0, dump_flags);
2306 return new_stmt;
2309 /* Once all functions from compilation unit are in memory, produce all clones
2310 and update all calls. We might also do this on demand if we don't want to
2311 bring all functions to memory prior compilation, but current WHOPR
2312 implementation does that and it is is bit easier to keep everything right in
2313 this order. */
2314 void
2315 cgraph_materialize_all_clones (void)
2317 struct cgraph_node *node;
2318 bool stabilized = false;
2320 if (cgraph_dump_file)
2321 fprintf (cgraph_dump_file, "Materializing clones\n");
2322 #ifdef ENABLE_CHECKING
2323 verify_cgraph ();
2324 #endif
2326 /* We can also do topological order, but number of iterations should be
2327 bounded by number of IPA passes since single IPA pass is probably not
2328 going to create clones of clones it created itself. */
2329 while (!stabilized)
2331 stabilized = true;
2332 for (node = cgraph_nodes; node; node = node->next)
2334 if (node->clone_of && node->decl != node->clone_of->decl
2335 && !gimple_has_body_p (node->decl))
2337 if (gimple_has_body_p (node->clone_of->decl))
2339 if (cgraph_dump_file)
2341 fprintf (cgraph_dump_file, "cloning %s to %s\n",
2342 cgraph_node_name (node->clone_of),
2343 cgraph_node_name (node));
2344 if (node->clone.tree_map)
2346 unsigned int i;
2347 fprintf (cgraph_dump_file, " replace map: ");
2348 for (i = 0; i < VEC_length (ipa_replace_map_p,
2349 node->clone.tree_map);
2350 i++)
2352 struct ipa_replace_map *replace_info;
2353 replace_info = VEC_index (ipa_replace_map_p,
2354 node->clone.tree_map,
2356 print_generic_expr (cgraph_dump_file, replace_info->old_tree, 0);
2357 fprintf (cgraph_dump_file, " -> ");
2358 print_generic_expr (cgraph_dump_file, replace_info->new_tree, 0);
2359 fprintf (cgraph_dump_file, "%s%s;",
2360 replace_info->replace_p ? "(replace)":"",
2361 replace_info->ref_p ? "(ref)":"");
2363 fprintf (cgraph_dump_file, "\n");
2365 if (node->clone.args_to_skip)
2367 fprintf (cgraph_dump_file, " args_to_skip: ");
2368 dump_bitmap (cgraph_dump_file, node->clone.args_to_skip);
2370 if (node->clone.args_to_skip)
2372 fprintf (cgraph_dump_file, " combined_args_to_skip:");
2373 dump_bitmap (cgraph_dump_file, node->clone.combined_args_to_skip);
2376 cgraph_materialize_clone (node);
2377 stabilized = false;
2382 for (node = cgraph_nodes; node; node = node->next)
2383 if (!node->analyzed && node->callees)
2384 cgraph_node_remove_callees (node);
2385 if (cgraph_dump_file)
2386 fprintf (cgraph_dump_file, "Materialization Call site updates done.\n");
2387 #ifdef ENABLE_CHECKING
2388 verify_cgraph ();
2389 #endif
2390 cgraph_remove_unreachable_nodes (false, cgraph_dump_file);
2393 #include "gt-cgraphunit.h"