1 /* Callgraph handling code.
2 Copyright (C) 2003-2013 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 3, or (at your option) any later
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
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 /* This file contains basic routines manipulating call graph
23 The call-graph is a data structure designed for intra-procedural optimization.
24 It represents a multi-graph where nodes are functions and edges are call sites. */
28 #include "coretypes.h"
31 #include "tree-inline.h"
32 #include "langhooks.h"
39 #include "basic-block.h"
46 #include "value-prof.h"
48 #include "diagnostic-core.h"
50 #include "ipa-utils.h"
51 #include "lto-streamer.h"
52 #include "ipa-inline.h"
54 #include "gimple-pretty-print.h"
56 /* FIXME: Only for PROP_loops, but cgraph shouldn't have to know about this. */
57 #include "tree-pass.h"
59 static void cgraph_node_remove_callers (struct cgraph_node
*node
);
60 static inline void cgraph_edge_remove_caller (struct cgraph_edge
*e
);
61 static inline void cgraph_edge_remove_callee (struct cgraph_edge
*e
);
63 /* Queue of cgraph nodes scheduled to be lowered. */
64 symtab_node x_cgraph_nodes_queue
;
65 #define cgraph_nodes_queue ((struct cgraph_node *)x_cgraph_nodes_queue)
67 /* Number of nodes in existence. */
70 /* Maximal uid used in cgraph nodes. */
73 /* Maximal uid used in cgraph edges. */
74 int cgraph_edge_max_uid
;
76 /* Set when whole unit has been analyzed so we can access global info. */
77 bool cgraph_global_info_ready
= false;
79 /* What state callgraph is in right now. */
80 enum cgraph_state cgraph_state
= CGRAPH_STATE_PARSING
;
82 /* Set when the cgraph is fully build and the basic flags are computed. */
83 bool cgraph_function_flags_ready
= false;
85 /* List of hooks triggered on cgraph_edge events. */
86 struct cgraph_edge_hook_list
{
87 cgraph_edge_hook hook
;
89 struct cgraph_edge_hook_list
*next
;
92 /* List of hooks triggered on cgraph_node events. */
93 struct cgraph_node_hook_list
{
94 cgraph_node_hook hook
;
96 struct cgraph_node_hook_list
*next
;
99 /* List of hooks triggered on events involving two cgraph_edges. */
100 struct cgraph_2edge_hook_list
{
101 cgraph_2edge_hook hook
;
103 struct cgraph_2edge_hook_list
*next
;
106 /* List of hooks triggered on events involving two cgraph_nodes. */
107 struct cgraph_2node_hook_list
{
108 cgraph_2node_hook hook
;
110 struct cgraph_2node_hook_list
*next
;
113 /* List of hooks triggered when an edge is removed. */
114 struct cgraph_edge_hook_list
*first_cgraph_edge_removal_hook
;
115 /* List of hooks triggered when a node is removed. */
116 struct cgraph_node_hook_list
*first_cgraph_node_removal_hook
;
117 /* List of hooks triggered when an edge is duplicated. */
118 struct cgraph_2edge_hook_list
*first_cgraph_edge_duplicated_hook
;
119 /* List of hooks triggered when a node is duplicated. */
120 struct cgraph_2node_hook_list
*first_cgraph_node_duplicated_hook
;
121 /* List of hooks triggered when an function is inserted. */
122 struct cgraph_node_hook_list
*first_cgraph_function_insertion_hook
;
124 /* Head of a linked list of unused (freed) call graph nodes.
125 Do not GTY((delete)) this list so UIDs gets reliably recycled. */
126 static GTY(()) struct cgraph_node
*free_nodes
;
127 /* Head of a linked list of unused (freed) call graph edges.
128 Do not GTY((delete)) this list so UIDs gets reliably recycled. */
129 static GTY(()) struct cgraph_edge
*free_edges
;
131 /* Did procss_same_body_aliases run? */
132 bool cpp_implicit_aliases_done
;
134 /* Map a cgraph_node to cgraph_function_version_info using this htab.
135 The cgraph_function_version_info has a THIS_NODE field that is the
136 corresponding cgraph_node.. */
138 static htab_t
GTY((param_is (struct cgraph_function_version_info
*)))
139 cgraph_fnver_htab
= NULL
;
141 /* Hash function for cgraph_fnver_htab. */
143 cgraph_fnver_htab_hash (const void *ptr
)
145 int uid
= ((const struct cgraph_function_version_info
*)ptr
)->this_node
->uid
;
146 return (hashval_t
)(uid
);
149 /* eq function for cgraph_fnver_htab. */
151 cgraph_fnver_htab_eq (const void *p1
, const void *p2
)
153 const struct cgraph_function_version_info
*n1
154 = (const struct cgraph_function_version_info
*)p1
;
155 const struct cgraph_function_version_info
*n2
156 = (const struct cgraph_function_version_info
*)p2
;
158 return n1
->this_node
->uid
== n2
->this_node
->uid
;
161 /* Mark as GC root all allocated nodes. */
162 static GTY(()) struct cgraph_function_version_info
*
163 version_info_node
= NULL
;
165 /* Get the cgraph_function_version_info node corresponding to node. */
166 struct cgraph_function_version_info
*
167 get_cgraph_node_version (struct cgraph_node
*node
)
169 struct cgraph_function_version_info
*ret
;
170 struct cgraph_function_version_info key
;
171 key
.this_node
= node
;
173 if (cgraph_fnver_htab
== NULL
)
176 ret
= (struct cgraph_function_version_info
*)
177 htab_find (cgraph_fnver_htab
, &key
);
182 /* Insert a new cgraph_function_version_info node into cgraph_fnver_htab
183 corresponding to cgraph_node NODE. */
184 struct cgraph_function_version_info
*
185 insert_new_cgraph_node_version (struct cgraph_node
*node
)
189 version_info_node
= NULL
;
190 version_info_node
= ggc_alloc_cleared_cgraph_function_version_info ();
191 version_info_node
->this_node
= node
;
193 if (cgraph_fnver_htab
== NULL
)
194 cgraph_fnver_htab
= htab_create_ggc (2, cgraph_fnver_htab_hash
,
195 cgraph_fnver_htab_eq
, NULL
);
197 slot
= htab_find_slot (cgraph_fnver_htab
, version_info_node
, INSERT
);
198 gcc_assert (slot
!= NULL
);
199 *slot
= version_info_node
;
200 return version_info_node
;
203 /* Remove the cgraph_function_version_info and cgraph_node for DECL. This
204 DECL is a duplicate declaration. */
206 delete_function_version (tree decl
)
208 struct cgraph_node
*decl_node
= cgraph_get_node (decl
);
209 struct cgraph_function_version_info
*decl_v
= NULL
;
211 if (decl_node
== NULL
)
214 decl_v
= get_cgraph_node_version (decl_node
);
219 if (decl_v
->prev
!= NULL
)
220 decl_v
->prev
->next
= decl_v
->next
;
222 if (decl_v
->next
!= NULL
)
223 decl_v
->next
->prev
= decl_v
->prev
;
225 if (cgraph_fnver_htab
!= NULL
)
226 htab_remove_elt (cgraph_fnver_htab
, decl_v
);
228 cgraph_remove_node (decl_node
);
231 /* Record that DECL1 and DECL2 are semantically identical function
234 record_function_versions (tree decl1
, tree decl2
)
236 struct cgraph_node
*decl1_node
= cgraph_get_create_node (decl1
);
237 struct cgraph_node
*decl2_node
= cgraph_get_create_node (decl2
);
238 struct cgraph_function_version_info
*decl1_v
= NULL
;
239 struct cgraph_function_version_info
*decl2_v
= NULL
;
240 struct cgraph_function_version_info
*before
;
241 struct cgraph_function_version_info
*after
;
243 gcc_assert (decl1_node
!= NULL
&& decl2_node
!= NULL
);
244 decl1_v
= get_cgraph_node_version (decl1_node
);
245 decl2_v
= get_cgraph_node_version (decl2_node
);
247 if (decl1_v
!= NULL
&& decl2_v
!= NULL
)
251 decl1_v
= insert_new_cgraph_node_version (decl1_node
);
254 decl2_v
= insert_new_cgraph_node_version (decl2_node
);
256 /* Chain decl2_v and decl1_v. All semantically identical versions
257 will be chained together. */
262 while (before
->next
!= NULL
)
263 before
= before
->next
;
265 while (after
->prev
!= NULL
)
268 before
->next
= after
;
269 after
->prev
= before
;
272 /* Macros to access the next item in the list of free cgraph nodes and
274 #define NEXT_FREE_NODE(NODE) cgraph ((NODE)->symbol.next)
275 #define SET_NEXT_FREE_NODE(NODE,NODE2) ((NODE))->symbol.next = (symtab_node)NODE2
276 #define NEXT_FREE_EDGE(EDGE) (EDGE)->prev_caller
278 /* Register HOOK to be called with DATA on each removed edge. */
279 struct cgraph_edge_hook_list
*
280 cgraph_add_edge_removal_hook (cgraph_edge_hook hook
, void *data
)
282 struct cgraph_edge_hook_list
*entry
;
283 struct cgraph_edge_hook_list
**ptr
= &first_cgraph_edge_removal_hook
;
285 entry
= (struct cgraph_edge_hook_list
*) xmalloc (sizeof (*entry
));
295 /* Remove ENTRY from the list of hooks called on removing edges. */
297 cgraph_remove_edge_removal_hook (struct cgraph_edge_hook_list
*entry
)
299 struct cgraph_edge_hook_list
**ptr
= &first_cgraph_edge_removal_hook
;
301 while (*ptr
!= entry
)
307 /* Call all edge removal hooks. */
309 cgraph_call_edge_removal_hooks (struct cgraph_edge
*e
)
311 struct cgraph_edge_hook_list
*entry
= first_cgraph_edge_removal_hook
;
314 entry
->hook (e
, entry
->data
);
319 /* Register HOOK to be called with DATA on each removed node. */
320 struct cgraph_node_hook_list
*
321 cgraph_add_node_removal_hook (cgraph_node_hook hook
, void *data
)
323 struct cgraph_node_hook_list
*entry
;
324 struct cgraph_node_hook_list
**ptr
= &first_cgraph_node_removal_hook
;
326 entry
= (struct cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
336 /* Remove ENTRY from the list of hooks called on removing nodes. */
338 cgraph_remove_node_removal_hook (struct cgraph_node_hook_list
*entry
)
340 struct cgraph_node_hook_list
**ptr
= &first_cgraph_node_removal_hook
;
342 while (*ptr
!= entry
)
348 /* Call all node removal hooks. */
350 cgraph_call_node_removal_hooks (struct cgraph_node
*node
)
352 struct cgraph_node_hook_list
*entry
= first_cgraph_node_removal_hook
;
355 entry
->hook (node
, entry
->data
);
360 /* Register HOOK to be called with DATA on each inserted node. */
361 struct cgraph_node_hook_list
*
362 cgraph_add_function_insertion_hook (cgraph_node_hook hook
, void *data
)
364 struct cgraph_node_hook_list
*entry
;
365 struct cgraph_node_hook_list
**ptr
= &first_cgraph_function_insertion_hook
;
367 entry
= (struct cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
377 /* Remove ENTRY from the list of hooks called on inserted nodes. */
379 cgraph_remove_function_insertion_hook (struct cgraph_node_hook_list
*entry
)
381 struct cgraph_node_hook_list
**ptr
= &first_cgraph_function_insertion_hook
;
383 while (*ptr
!= entry
)
389 /* Call all node insertion hooks. */
391 cgraph_call_function_insertion_hooks (struct cgraph_node
*node
)
393 struct cgraph_node_hook_list
*entry
= first_cgraph_function_insertion_hook
;
396 entry
->hook (node
, entry
->data
);
401 /* Register HOOK to be called with DATA on each duplicated edge. */
402 struct cgraph_2edge_hook_list
*
403 cgraph_add_edge_duplication_hook (cgraph_2edge_hook hook
, void *data
)
405 struct cgraph_2edge_hook_list
*entry
;
406 struct cgraph_2edge_hook_list
**ptr
= &first_cgraph_edge_duplicated_hook
;
408 entry
= (struct cgraph_2edge_hook_list
*) xmalloc (sizeof (*entry
));
418 /* Remove ENTRY from the list of hooks called on duplicating edges. */
420 cgraph_remove_edge_duplication_hook (struct cgraph_2edge_hook_list
*entry
)
422 struct cgraph_2edge_hook_list
**ptr
= &first_cgraph_edge_duplicated_hook
;
424 while (*ptr
!= entry
)
430 /* Call all edge duplication hooks. */
432 cgraph_call_edge_duplication_hooks (struct cgraph_edge
*cs1
,
433 struct cgraph_edge
*cs2
)
435 struct cgraph_2edge_hook_list
*entry
= first_cgraph_edge_duplicated_hook
;
438 entry
->hook (cs1
, cs2
, entry
->data
);
443 /* Register HOOK to be called with DATA on each duplicated node. */
444 struct cgraph_2node_hook_list
*
445 cgraph_add_node_duplication_hook (cgraph_2node_hook hook
, void *data
)
447 struct cgraph_2node_hook_list
*entry
;
448 struct cgraph_2node_hook_list
**ptr
= &first_cgraph_node_duplicated_hook
;
450 entry
= (struct cgraph_2node_hook_list
*) xmalloc (sizeof (*entry
));
460 /* Remove ENTRY from the list of hooks called on duplicating nodes. */
462 cgraph_remove_node_duplication_hook (struct cgraph_2node_hook_list
*entry
)
464 struct cgraph_2node_hook_list
**ptr
= &first_cgraph_node_duplicated_hook
;
466 while (*ptr
!= entry
)
472 /* Call all node duplication hooks. */
474 cgraph_call_node_duplication_hooks (struct cgraph_node
*node1
,
475 struct cgraph_node
*node2
)
477 struct cgraph_2node_hook_list
*entry
= first_cgraph_node_duplicated_hook
;
480 entry
->hook (node1
, node2
, entry
->data
);
485 /* Allocate new callgraph node. */
487 static inline struct cgraph_node
*
488 cgraph_allocate_node (void)
490 struct cgraph_node
*node
;
495 free_nodes
= NEXT_FREE_NODE (node
);
499 node
= ggc_alloc_cleared_cgraph_node ();
500 node
->uid
= cgraph_max_uid
++;
506 /* Allocate new callgraph node and insert it into basic data structures. */
509 cgraph_create_empty_node (void)
511 struct cgraph_node
*node
= cgraph_allocate_node ();
513 node
->symbol
.type
= SYMTAB_FUNCTION
;
514 node
->frequency
= NODE_FREQUENCY_NORMAL
;
515 node
->count_materialization_scale
= REG_BR_PROB_BASE
;
520 /* Return cgraph node assigned to DECL. Create new one when needed. */
523 cgraph_create_node (tree decl
)
525 struct cgraph_node
*node
= cgraph_create_empty_node ();
526 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
528 node
->symbol
.decl
= decl
;
529 symtab_register_node ((symtab_node
) node
);
531 if (DECL_CONTEXT (decl
) && TREE_CODE (DECL_CONTEXT (decl
)) == FUNCTION_DECL
)
533 node
->origin
= cgraph_get_create_node (DECL_CONTEXT (decl
));
534 node
->next_nested
= node
->origin
->nested
;
535 node
->origin
->nested
= node
;
540 /* Try to find a call graph node for declaration DECL and if it does not exist,
544 cgraph_get_create_node (tree decl
)
546 struct cgraph_node
*node
;
548 node
= cgraph_get_node (decl
);
552 return cgraph_create_node (decl
);
555 /* Mark ALIAS as an alias to DECL. DECL_NODE is cgraph node representing
556 the function body is associated with (not necessarily cgraph_node (DECL). */
559 cgraph_create_function_alias (tree alias
, tree target
)
561 struct cgraph_node
*alias_node
;
563 gcc_assert (TREE_CODE (target
) == FUNCTION_DECL
564 || TREE_CODE (target
) == IDENTIFIER_NODE
);
565 gcc_assert (TREE_CODE (alias
) == FUNCTION_DECL
);
566 alias_node
= cgraph_get_create_node (alias
);
567 gcc_assert (!alias_node
->symbol
.definition
);
568 alias_node
->symbol
.alias_target
= target
;
569 alias_node
->symbol
.definition
= true;
570 alias_node
->symbol
.alias
= true;
571 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (alias
)) != NULL
)
572 alias_node
->symbol
.weakref
= true;
576 /* Attempt to mark ALIAS as an alias to DECL. Return alias node if successful
578 Same body aliases are output whenever the body of DECL is output,
579 and cgraph_get_node (ALIAS) transparently returns cgraph_get_node (DECL). */
582 cgraph_same_body_alias (struct cgraph_node
*decl_node ATTRIBUTE_UNUSED
, tree alias
, tree decl
)
584 struct cgraph_node
*n
;
585 #ifndef ASM_OUTPUT_DEF
586 /* If aliases aren't supported by the assembler, fail. */
589 /* Langhooks can create same body aliases of symbols not defined.
590 Those are useless. Drop them on the floor. */
591 if (cgraph_global_info_ready
)
594 n
= cgraph_create_function_alias (alias
, decl
);
595 n
->symbol
.cpp_implicit_alias
= true;
596 if (cpp_implicit_aliases_done
)
597 symtab_resolve_alias ((symtab_node
)n
,
598 (symtab_node
)cgraph_get_node (decl
));
602 /* Add thunk alias into callgraph. The alias declaration is ALIAS and it
603 aliases DECL with an adjustments made into the first parameter.
604 See comments in thunk_adjust for detail on the parameters. */
607 cgraph_add_thunk (struct cgraph_node
*decl_node ATTRIBUTE_UNUSED
,
608 tree alias
, tree decl ATTRIBUTE_UNUSED
,
610 HOST_WIDE_INT fixed_offset
, HOST_WIDE_INT virtual_value
,
614 struct cgraph_node
*node
;
616 node
= cgraph_get_node (alias
);
619 gcc_assert (node
->symbol
.definition
);
620 gcc_assert (!node
->symbol
.alias
);
621 gcc_assert (!node
->thunk
.thunk_p
);
622 cgraph_remove_node (node
);
625 node
= cgraph_create_node (alias
);
626 gcc_checking_assert (!virtual_offset
627 || tree_to_double_int (virtual_offset
) ==
628 double_int::from_shwi (virtual_value
));
629 node
->thunk
.fixed_offset
= fixed_offset
;
630 node
->thunk
.this_adjusting
= this_adjusting
;
631 node
->thunk
.virtual_value
= virtual_value
;
632 node
->thunk
.virtual_offset_p
= virtual_offset
!= NULL
;
633 node
->thunk
.alias
= real_alias
;
634 node
->thunk
.thunk_p
= true;
635 node
->symbol
.definition
= true;
640 /* Return the cgraph node that has ASMNAME for its DECL_ASSEMBLER_NAME.
641 Return NULL if there's no such node. */
644 cgraph_node_for_asm (tree asmname
)
646 /* We do not want to look at inline clones. */
647 for (symtab_node node
= symtab_node_for_asm (asmname
);
649 node
= node
->symbol
.next_sharing_asm_name
)
651 cgraph_node
*cn
= dyn_cast
<cgraph_node
> (node
);
652 if (cn
&& !cn
->global
.inlined_to
)
658 /* Returns a hash value for X (which really is a cgraph_edge). */
661 edge_hash (const void *x
)
663 return htab_hash_pointer (((const struct cgraph_edge
*) x
)->call_stmt
);
666 /* Return nonzero if the call_stmt of of cgraph_edge X is stmt *Y. */
669 edge_eq (const void *x
, const void *y
)
671 return ((const struct cgraph_edge
*) x
)->call_stmt
== y
;
674 /* Add call graph edge E to call site hash of its caller. */
677 cgraph_update_edge_in_call_site_hash (struct cgraph_edge
*e
)
680 slot
= htab_find_slot_with_hash (e
->caller
->call_site_hash
,
682 htab_hash_pointer (e
->call_stmt
),
687 /* Add call graph edge E to call site hash of its caller. */
690 cgraph_add_edge_to_call_site_hash (struct cgraph_edge
*e
)
693 /* There are two speculative edges for every statement (one direct,
694 one indirect); always hash the direct one. */
695 if (e
->speculative
&& e
->indirect_unknown_callee
)
697 slot
= htab_find_slot_with_hash (e
->caller
->call_site_hash
,
699 htab_hash_pointer (e
->call_stmt
),
703 gcc_assert (((struct cgraph_edge
*)*slot
)->speculative
);
708 gcc_assert (!*slot
|| e
->speculative
);
712 /* Return the callgraph edge representing the GIMPLE_CALL statement
716 cgraph_edge (struct cgraph_node
*node
, gimple call_stmt
)
718 struct cgraph_edge
*e
, *e2
;
721 if (node
->call_site_hash
)
722 return (struct cgraph_edge
*)
723 htab_find_with_hash (node
->call_site_hash
, call_stmt
,
724 htab_hash_pointer (call_stmt
));
726 /* This loop may turn out to be performance problem. In such case adding
727 hashtables into call nodes with very many edges is probably best
728 solution. It is not good idea to add pointer into CALL_EXPR itself
729 because we want to make possible having multiple cgraph nodes representing
730 different clones of the same body before the body is actually cloned. */
731 for (e
= node
->callees
; e
; e
= e
->next_callee
)
733 if (e
->call_stmt
== call_stmt
)
739 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
741 if (e
->call_stmt
== call_stmt
)
748 node
->call_site_hash
= htab_create_ggc (120, edge_hash
, edge_eq
, NULL
);
749 for (e2
= node
->callees
; e2
; e2
= e2
->next_callee
)
750 cgraph_add_edge_to_call_site_hash (e2
);
751 for (e2
= node
->indirect_calls
; e2
; e2
= e2
->next_callee
)
752 cgraph_add_edge_to_call_site_hash (e2
);
759 /* Change field call_stmt of edge E to NEW_STMT.
760 If UPDATE_SPECULATIVE and E is any component of speculative
761 edge, then update all components. */
764 cgraph_set_call_stmt (struct cgraph_edge
*e
, gimple new_stmt
,
765 bool update_speculative
)
769 /* Speculative edges has three component, update all of them
771 if (update_speculative
&& e
->speculative
)
773 struct cgraph_edge
*direct
, *indirect
;
776 cgraph_speculative_call_info (e
, direct
, indirect
, ref
);
777 cgraph_set_call_stmt (direct
, new_stmt
, false);
778 cgraph_set_call_stmt (indirect
, new_stmt
, false);
779 ref
->stmt
= new_stmt
;
783 /* Only direct speculative edges go to call_site_hash. */
784 if (e
->caller
->call_site_hash
785 && (!e
->speculative
|| !e
->indirect_unknown_callee
))
787 htab_remove_elt_with_hash (e
->caller
->call_site_hash
,
789 htab_hash_pointer (e
->call_stmt
));
792 e
->call_stmt
= new_stmt
;
793 if (e
->indirect_unknown_callee
794 && (decl
= gimple_call_fndecl (new_stmt
)))
796 /* Constant propagation (and possibly also inlining?) can turn an
797 indirect call into a direct one. */
798 struct cgraph_node
*new_callee
= cgraph_get_node (decl
);
800 gcc_checking_assert (new_callee
);
801 e
= cgraph_make_edge_direct (e
, new_callee
);
804 push_cfun (DECL_STRUCT_FUNCTION (e
->caller
->symbol
.decl
));
805 e
->can_throw_external
= stmt_can_throw_external (new_stmt
);
807 if (e
->caller
->call_site_hash
)
808 cgraph_add_edge_to_call_site_hash (e
);
811 /* Allocate a cgraph_edge structure and fill it with data according to the
812 parameters of which only CALLEE can be NULL (when creating an indirect call
815 static struct cgraph_edge
*
816 cgraph_create_edge_1 (struct cgraph_node
*caller
, struct cgraph_node
*callee
,
817 gimple call_stmt
, gcov_type count
, int freq
)
819 struct cgraph_edge
*edge
;
821 /* LTO does not actually have access to the call_stmt since these
822 have not been loaded yet. */
825 /* This is a rather expensive check possibly triggering
826 construction of call stmt hashtable. */
827 #ifdef ENABLE_CHECKING
828 struct cgraph_edge
*e
;
829 gcc_checking_assert (!(e
=cgraph_edge (caller
, call_stmt
)) || e
->speculative
);
832 gcc_assert (is_gimple_call (call_stmt
));
838 free_edges
= NEXT_FREE_EDGE (edge
);
842 edge
= ggc_alloc_cgraph_edge ();
843 edge
->uid
= cgraph_edge_max_uid
++;
847 edge
->caller
= caller
;
848 edge
->callee
= callee
;
849 edge
->prev_caller
= NULL
;
850 edge
->next_caller
= NULL
;
851 edge
->prev_callee
= NULL
;
852 edge
->next_callee
= NULL
;
853 edge
->lto_stmt_uid
= 0;
856 gcc_assert (count
>= 0);
857 edge
->frequency
= freq
;
858 gcc_assert (freq
>= 0);
859 gcc_assert (freq
<= CGRAPH_FREQ_MAX
);
861 edge
->call_stmt
= call_stmt
;
862 push_cfun (DECL_STRUCT_FUNCTION (caller
->symbol
.decl
));
863 edge
->can_throw_external
864 = call_stmt
? stmt_can_throw_external (call_stmt
) : false;
867 && callee
&& callee
->symbol
.decl
868 && !gimple_check_call_matching_types (call_stmt
, callee
->symbol
.decl
,
870 edge
->call_stmt_cannot_inline_p
= true;
872 edge
->call_stmt_cannot_inline_p
= false;
874 edge
->indirect_info
= NULL
;
875 edge
->indirect_inlining_edge
= 0;
876 edge
->speculative
= false;
877 if (call_stmt
&& caller
->call_site_hash
)
878 cgraph_add_edge_to_call_site_hash (edge
);
883 /* Create edge from CALLER to CALLEE in the cgraph. */
886 cgraph_create_edge (struct cgraph_node
*caller
, struct cgraph_node
*callee
,
887 gimple call_stmt
, gcov_type count
, int freq
)
889 struct cgraph_edge
*edge
= cgraph_create_edge_1 (caller
, callee
, call_stmt
,
892 edge
->indirect_unknown_callee
= 0;
893 initialize_inline_failed (edge
);
895 edge
->next_caller
= callee
->callers
;
897 callee
->callers
->prev_caller
= edge
;
898 edge
->next_callee
= caller
->callees
;
900 caller
->callees
->prev_callee
= edge
;
901 caller
->callees
= edge
;
902 callee
->callers
= edge
;
907 /* Allocate cgraph_indirect_call_info and set its fields to default values. */
909 struct cgraph_indirect_call_info
*
910 cgraph_allocate_init_indirect_info (void)
912 struct cgraph_indirect_call_info
*ii
;
914 ii
= ggc_alloc_cleared_cgraph_indirect_call_info ();
915 ii
->param_index
= -1;
919 /* Create an indirect edge with a yet-undetermined callee where the call
920 statement destination is a formal parameter of the caller with index
924 cgraph_create_indirect_edge (struct cgraph_node
*caller
, gimple call_stmt
,
926 gcov_type count
, int freq
)
928 struct cgraph_edge
*edge
= cgraph_create_edge_1 (caller
, NULL
, call_stmt
,
932 edge
->indirect_unknown_callee
= 1;
933 initialize_inline_failed (edge
);
935 edge
->indirect_info
= cgraph_allocate_init_indirect_info ();
936 edge
->indirect_info
->ecf_flags
= ecf_flags
;
938 /* Record polymorphic call info. */
940 && (target
= gimple_call_fn (call_stmt
))
941 && virtual_method_call_p (target
))
943 tree type
= obj_type_ref_class (target
);
946 /* Only record types can have virtual calls. */
947 gcc_assert (TREE_CODE (type
) == RECORD_TYPE
);
948 edge
->indirect_info
->param_index
= -1;
949 edge
->indirect_info
->otr_token
950 = tree_low_cst (OBJ_TYPE_REF_TOKEN (target
), 1);
951 edge
->indirect_info
->otr_type
= type
;
952 edge
->indirect_info
->polymorphic
= 1;
955 edge
->next_callee
= caller
->indirect_calls
;
956 if (caller
->indirect_calls
)
957 caller
->indirect_calls
->prev_callee
= edge
;
958 caller
->indirect_calls
= edge
;
963 /* Remove the edge E from the list of the callers of the callee. */
966 cgraph_edge_remove_callee (struct cgraph_edge
*e
)
968 gcc_assert (!e
->indirect_unknown_callee
);
970 e
->prev_caller
->next_caller
= e
->next_caller
;
972 e
->next_caller
->prev_caller
= e
->prev_caller
;
974 e
->callee
->callers
= e
->next_caller
;
977 /* Remove the edge E from the list of the callees of the caller. */
980 cgraph_edge_remove_caller (struct cgraph_edge
*e
)
983 e
->prev_callee
->next_callee
= e
->next_callee
;
985 e
->next_callee
->prev_callee
= e
->prev_callee
;
988 if (e
->indirect_unknown_callee
)
989 e
->caller
->indirect_calls
= e
->next_callee
;
991 e
->caller
->callees
= e
->next_callee
;
993 if (e
->caller
->call_site_hash
)
994 htab_remove_elt_with_hash (e
->caller
->call_site_hash
,
996 htab_hash_pointer (e
->call_stmt
));
999 /* Put the edge onto the free list. */
1002 cgraph_free_edge (struct cgraph_edge
*e
)
1006 if (e
->indirect_info
)
1007 ggc_free (e
->indirect_info
);
1009 /* Clear out the edge so we do not dangle pointers. */
1010 memset (e
, 0, sizeof (*e
));
1012 NEXT_FREE_EDGE (e
) = free_edges
;
1016 /* Remove the edge E in the cgraph. */
1019 cgraph_remove_edge (struct cgraph_edge
*e
)
1021 /* Call all edge removal hooks. */
1022 cgraph_call_edge_removal_hooks (e
);
1024 if (!e
->indirect_unknown_callee
)
1025 /* Remove from callers list of the callee. */
1026 cgraph_edge_remove_callee (e
);
1028 /* Remove from callees list of the callers. */
1029 cgraph_edge_remove_caller (e
);
1031 /* Put the edge onto the free list. */
1032 cgraph_free_edge (e
);
1035 /* Set callee of call graph edge E and add it to the corresponding set of
1039 cgraph_set_edge_callee (struct cgraph_edge
*e
, struct cgraph_node
*n
)
1041 e
->prev_caller
= NULL
;
1043 n
->callers
->prev_caller
= e
;
1044 e
->next_caller
= n
->callers
;
1049 /* Turn edge E into speculative call calling N2. Update
1050 the profile so the direct call is taken COUNT times
1053 At clone materialization time, the indirect call E will
1056 if (call_dest == N2)
1061 At this time the function just creates the direct call,
1062 the referencd representing the if conditional and attaches
1063 them all to the orginal indirect call statement.
1065 Return direct edge created. */
1067 struct cgraph_edge
*
1068 cgraph_turn_edge_to_speculative (struct cgraph_edge
*e
,
1069 struct cgraph_node
*n2
,
1070 gcov_type direct_count
,
1071 int direct_frequency
)
1073 struct cgraph_node
*n
= e
->caller
;
1074 struct ipa_ref
*ref
;
1075 struct cgraph_edge
*e2
;
1079 fprintf (dump_file
, "Indirect call -> speculative call"
1080 " %s/%i => %s/%i\n",
1081 xstrdup (cgraph_node_name (n
)), n
->symbol
.order
,
1082 xstrdup (cgraph_node_name (n2
)), n2
->symbol
.order
);
1084 e
->speculative
= true;
1085 e2
= cgraph_create_edge (n
, n2
, e
->call_stmt
, direct_count
, direct_frequency
);
1086 initialize_inline_failed (e2
);
1087 e2
->speculative
= true;
1088 if (TREE_NOTHROW (n2
->symbol
.decl
))
1089 e2
->can_throw_external
= false;
1091 e2
->can_throw_external
= e
->can_throw_external
;
1092 e2
->lto_stmt_uid
= e
->lto_stmt_uid
;
1093 e
->count
-= e2
->count
;
1094 e
->frequency
-= e2
->frequency
;
1095 cgraph_call_edge_duplication_hooks (e
, e2
);
1096 ref
= ipa_record_reference ((symtab_node
)n
, (symtab_node
)n2
,
1097 IPA_REF_ADDR
, e
->call_stmt
);
1098 ref
->lto_stmt_uid
= e
->lto_stmt_uid
;
1099 ref
->speculative
= e
->speculative
;
1100 cgraph_mark_address_taken_node (n2
);
1104 /* Speculative call consist of three components:
1105 1) an indirect edge representing the original call
1106 2) an direct edge representing the new call
1107 3) ADDR_EXPR reference representing the speculative check.
1108 All three components are attached to single statement (the indirect
1109 call) and if one of them exists, all of them must exist.
1111 Given speculative call edge E, return all three components.
1115 cgraph_speculative_call_info (struct cgraph_edge
*e
,
1116 struct cgraph_edge
*&direct
,
1117 struct cgraph_edge
*&indirect
,
1118 struct ipa_ref
*&reference
)
1120 struct ipa_ref
*ref
;
1122 struct cgraph_edge
*e2
;
1124 if (!e
->indirect_unknown_callee
)
1125 for (e2
= e
->caller
->indirect_calls
;
1126 e2
->call_stmt
!= e
->call_stmt
|| e2
->lto_stmt_uid
!= e
->lto_stmt_uid
;
1127 e2
= e2
->next_callee
)
1132 /* We can take advantage of the call stmt hash. */
1135 e
= cgraph_edge (e
->caller
, e2
->call_stmt
);
1136 gcc_assert (e
->speculative
&& !e
->indirect_unknown_callee
);
1139 for (e
= e
->caller
->callees
;
1140 e2
->call_stmt
!= e
->call_stmt
1141 || e2
->lto_stmt_uid
!= e
->lto_stmt_uid
;
1145 gcc_assert (e
->speculative
&& e2
->speculative
);
1150 for (i
= 0; ipa_ref_list_reference_iterate (&e
->caller
->symbol
.ref_list
,
1152 if (ref
->speculative
1153 && ((ref
->stmt
&& ref
->stmt
== e
->call_stmt
)
1154 || (!ref
->stmt
&& ref
->lto_stmt_uid
== e
->lto_stmt_uid
)))
1160 /* Speculative edge always consist of all three components - direct edge,
1161 indirect and reference. */
1163 gcc_assert (e
&& e2
&& ref
);
1166 /* Redirect callee of E to N. The function does not update underlying
1170 cgraph_redirect_edge_callee (struct cgraph_edge
*e
, struct cgraph_node
*n
)
1172 /* Remove from callers list of the current callee. */
1173 cgraph_edge_remove_callee (e
);
1175 /* Insert to callers list of the new callee. */
1176 cgraph_set_edge_callee (e
, n
);
1179 /* Speculative call EDGE turned out to be direct call to CALLE_DECL.
1180 Remove the speculative call sequence and return edge representing the call.
1181 It is up to caller to redirect the call as appropriate. */
1183 struct cgraph_edge
*
1184 cgraph_resolve_speculation (struct cgraph_edge
*edge
, tree callee_decl
)
1186 struct cgraph_edge
*e2
;
1187 struct ipa_ref
*ref
;
1189 gcc_assert (edge
->speculative
);
1190 cgraph_speculative_call_info (edge
, e2
, edge
, ref
);
1192 || !symtab_semantically_equivalent_p ((symtab_node
) ref
->referred
,
1193 symtab_get_node (callee_decl
)))
1199 fprintf (dump_file
, "Speculative indirect call %s/%i => %s/%i has "
1200 "turned out to have contradicting known target ",
1201 xstrdup (cgraph_node_name (edge
->caller
)), edge
->caller
->symbol
.order
,
1202 xstrdup (cgraph_node_name (e2
->callee
)), e2
->callee
->symbol
.order
);
1203 print_generic_expr (dump_file
, callee_decl
, 0);
1204 fprintf (dump_file
, "\n");
1208 fprintf (dump_file
, "Removing speculative call %s/%i => %s/%i\n",
1209 xstrdup (cgraph_node_name (edge
->caller
)), edge
->caller
->symbol
.order
,
1210 xstrdup (cgraph_node_name (e2
->callee
)), e2
->callee
->symbol
.order
);
1216 struct cgraph_edge
*tmp
= edge
;
1218 fprintf (dump_file
, "Speculative call turned into direct call.\n");
1221 /* FIXME: If EDGE is inlined, we should scale up the frequencies and counts
1222 in the functions inlined through it. */
1224 edge
->count
+= e2
->count
;
1225 edge
->frequency
+= e2
->frequency
;
1226 if (edge
->frequency
> CGRAPH_FREQ_MAX
)
1227 edge
->frequency
= CGRAPH_FREQ_MAX
;
1228 edge
->speculative
= false;
1229 e2
->speculative
= false;
1230 ipa_remove_reference (ref
);
1231 if (e2
->indirect_unknown_callee
|| e2
->inline_failed
)
1232 cgraph_remove_edge (e2
);
1234 cgraph_remove_node_and_inline_clones (e2
->callee
, NULL
);
1235 if (edge
->caller
->call_site_hash
)
1236 cgraph_update_edge_in_call_site_hash (edge
);
1240 /* Make an indirect EDGE with an unknown callee an ordinary edge leading to
1241 CALLEE. DELTA is an integer constant that is to be added to the this
1242 pointer (first parameter) to compensate for skipping a thunk adjustment. */
1244 struct cgraph_edge
*
1245 cgraph_make_edge_direct (struct cgraph_edge
*edge
, struct cgraph_node
*callee
)
1247 gcc_assert (edge
->indirect_unknown_callee
);
1249 /* If we are redirecting speculative call, make it non-speculative. */
1250 if (edge
->indirect_unknown_callee
&& edge
->speculative
)
1252 edge
= cgraph_resolve_speculation (edge
, callee
->symbol
.decl
);
1254 /* On successful speculation just return the pre existing direct edge. */
1255 if (!edge
->indirect_unknown_callee
)
1259 edge
->indirect_unknown_callee
= 0;
1260 ggc_free (edge
->indirect_info
);
1261 edge
->indirect_info
= NULL
;
1263 /* Get the edge out of the indirect edge list. */
1264 if (edge
->prev_callee
)
1265 edge
->prev_callee
->next_callee
= edge
->next_callee
;
1266 if (edge
->next_callee
)
1267 edge
->next_callee
->prev_callee
= edge
->prev_callee
;
1268 if (!edge
->prev_callee
)
1269 edge
->caller
->indirect_calls
= edge
->next_callee
;
1271 /* Put it into the normal callee list */
1272 edge
->prev_callee
= NULL
;
1273 edge
->next_callee
= edge
->caller
->callees
;
1274 if (edge
->caller
->callees
)
1275 edge
->caller
->callees
->prev_callee
= edge
;
1276 edge
->caller
->callees
= edge
;
1278 /* Insert to callers list of the new callee. */
1279 cgraph_set_edge_callee (edge
, callee
);
1281 if (edge
->call_stmt
)
1282 edge
->call_stmt_cannot_inline_p
1283 = !gimple_check_call_matching_types (edge
->call_stmt
, callee
->symbol
.decl
,
1286 /* We need to re-determine the inlining status of the edge. */
1287 initialize_inline_failed (edge
);
1291 /* If necessary, change the function declaration in the call statement
1292 associated with E so that it corresponds to the edge callee. */
1295 cgraph_redirect_edge_call_stmt_to_callee (struct cgraph_edge
*e
)
1297 tree decl
= gimple_call_fndecl (e
->call_stmt
);
1299 gimple_stmt_iterator gsi
;
1300 #ifdef ENABLE_CHECKING
1301 struct cgraph_node
*node
;
1306 struct cgraph_edge
*e2
;
1308 struct ipa_ref
*ref
;
1310 cgraph_speculative_call_info (e
, e
, e2
, ref
);
1311 /* If there already is an direct call (i.e. as a result of inliner's
1312 substitution), forget about speculating. */
1314 e
= cgraph_resolve_speculation (e
, decl
);
1315 /* If types do not match, speculation was likely wrong.
1316 The direct edge was posisbly redirected to the clone with a different
1317 signature. We did not update the call statement yet, so compare it
1318 with the reference that still points to the proper type. */
1319 else if (!gimple_check_call_matching_types (e
->call_stmt
,
1320 ref
->referred
->symbol
.decl
,
1324 fprintf (dump_file
, "Not expanding speculative call of %s/%i -> %s/%i\n"
1326 xstrdup (cgraph_node_name (e
->caller
)),
1327 e
->caller
->symbol
.order
,
1328 xstrdup (cgraph_node_name (e
->callee
)),
1329 e
->callee
->symbol
.order
);
1330 e
= cgraph_resolve_speculation (e
, NULL
);
1331 /* We are producing the final function body and will throw away the
1332 callgraph edges really soon. Reset the counts/frequencies to
1333 keep verifier happy in the case of roundoff errors. */
1334 e
->count
= gimple_bb (e
->call_stmt
)->count
;
1335 e
->frequency
= compute_call_stmt_bb_frequency
1336 (e
->caller
->symbol
.decl
, gimple_bb (e
->call_stmt
));
1338 /* Expand speculation into GIMPLE code. */
1343 "Expanding speculative call of %s/%i -> %s/%i count:"
1344 HOST_WIDEST_INT_PRINT_DEC
"\n",
1345 xstrdup (cgraph_node_name (e
->caller
)),
1346 e
->caller
->symbol
.order
,
1347 xstrdup (cgraph_node_name (e
->callee
)),
1348 e
->callee
->symbol
.order
,
1349 (HOST_WIDEST_INT
)e
->count
);
1350 gcc_assert (e2
->speculative
);
1351 push_cfun (DECL_STRUCT_FUNCTION (e
->caller
->symbol
.decl
));
1352 new_stmt
= gimple_ic (e
->call_stmt
, cgraph (ref
->referred
),
1353 e
->count
|| e2
->count
1354 ? RDIV (e
->count
* REG_BR_PROB_BASE
,
1355 e
->count
+ e2
->count
)
1356 : e
->frequency
|| e2
->frequency
1357 ? RDIV (e
->frequency
* REG_BR_PROB_BASE
,
1358 e
->frequency
+ e2
->frequency
)
1359 : REG_BR_PROB_BASE
/ 2,
1360 e
->count
, e
->count
+ e2
->count
);
1361 e
->speculative
= false;
1362 cgraph_set_call_stmt_including_clones (e
->caller
, e
->call_stmt
,
1364 e
->frequency
= compute_call_stmt_bb_frequency
1365 (e
->caller
->symbol
.decl
, gimple_bb (e
->call_stmt
));
1366 e2
->frequency
= compute_call_stmt_bb_frequency
1367 (e2
->caller
->symbol
.decl
, gimple_bb (e2
->call_stmt
));
1368 e2
->speculative
= false;
1369 ref
->speculative
= false;
1371 /* Indirect edges are not both in the call site hash.
1373 if (e
->caller
->call_site_hash
)
1374 cgraph_update_edge_in_call_site_hash (e2
);
1376 /* Continue redirecting E to proper target. */
1380 if (e
->indirect_unknown_callee
1381 || decl
== e
->callee
->symbol
.decl
)
1382 return e
->call_stmt
;
1384 #ifdef ENABLE_CHECKING
1387 node
= cgraph_get_node (decl
);
1388 gcc_assert (!node
|| !node
->clone
.combined_args_to_skip
);
1392 if (cgraph_dump_file
)
1394 fprintf (cgraph_dump_file
, "updating call of %s/%i -> %s/%i: ",
1395 xstrdup (cgraph_node_name (e
->caller
)), e
->caller
->symbol
.order
,
1396 xstrdup (cgraph_node_name (e
->callee
)), e
->callee
->symbol
.order
);
1397 print_gimple_stmt (cgraph_dump_file
, e
->call_stmt
, 0, dump_flags
);
1398 if (e
->callee
->clone
.combined_args_to_skip
)
1400 fprintf (cgraph_dump_file
, " combined args to skip: ");
1401 dump_bitmap (cgraph_dump_file
,
1402 e
->callee
->clone
.combined_args_to_skip
);
1406 if (e
->callee
->clone
.combined_args_to_skip
)
1411 = gimple_call_copy_skip_args (e
->call_stmt
,
1412 e
->callee
->clone
.combined_args_to_skip
);
1413 gimple_call_set_fndecl (new_stmt
, e
->callee
->symbol
.decl
);
1414 gimple_call_set_fntype (new_stmt
, gimple_call_fntype (e
->call_stmt
));
1416 if (gimple_vdef (new_stmt
)
1417 && TREE_CODE (gimple_vdef (new_stmt
)) == SSA_NAME
)
1418 SSA_NAME_DEF_STMT (gimple_vdef (new_stmt
)) = new_stmt
;
1420 gsi
= gsi_for_stmt (e
->call_stmt
);
1421 gsi_replace (&gsi
, new_stmt
, false);
1422 /* We need to defer cleaning EH info on the new statement to
1423 fixup-cfg. We may not have dominator information at this point
1424 and thus would end up with unreachable blocks and have no way
1425 to communicate that we need to run CFG cleanup then. */
1426 lp_nr
= lookup_stmt_eh_lp (e
->call_stmt
);
1429 remove_stmt_from_eh_lp (e
->call_stmt
);
1430 add_stmt_to_eh_lp (new_stmt
, lp_nr
);
1435 new_stmt
= e
->call_stmt
;
1436 gimple_call_set_fndecl (new_stmt
, e
->callee
->symbol
.decl
);
1437 update_stmt (new_stmt
);
1440 cgraph_set_call_stmt_including_clones (e
->caller
, e
->call_stmt
, new_stmt
, false);
1442 if (cgraph_dump_file
)
1444 fprintf (cgraph_dump_file
, " updated to:");
1445 print_gimple_stmt (cgraph_dump_file
, e
->call_stmt
, 0, dump_flags
);
1450 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1451 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
1452 of OLD_STMT if it was previously call statement.
1453 If NEW_STMT is NULL, the call has been dropped without any
1457 cgraph_update_edges_for_call_stmt_node (struct cgraph_node
*node
,
1458 gimple old_stmt
, tree old_call
,
1461 tree new_call
= (new_stmt
&& is_gimple_call (new_stmt
))
1462 ? gimple_call_fndecl (new_stmt
) : 0;
1464 /* We are seeing indirect calls, then there is nothing to update. */
1465 if (!new_call
&& !old_call
)
1467 /* See if we turned indirect call into direct call or folded call to one builtin
1468 into different builtin. */
1469 if (old_call
!= new_call
)
1471 struct cgraph_edge
*e
= cgraph_edge (node
, old_stmt
);
1472 struct cgraph_edge
*ne
= NULL
;
1478 /* See if the edge is already there and has the correct callee. It
1479 might be so because of indirect inlining has already updated
1480 it. We also might've cloned and redirected the edge. */
1481 if (new_call
&& e
->callee
)
1483 struct cgraph_node
*callee
= e
->callee
;
1486 if (callee
->symbol
.decl
== new_call
1487 || callee
->former_clone_of
== new_call
)
1489 callee
= callee
->clone_of
;
1493 /* Otherwise remove edge and create new one; we can't simply redirect
1494 since function has changed, so inline plan and other information
1495 attached to edge is invalid. */
1497 frequency
= e
->frequency
;
1498 cgraph_remove_edge (e
);
1502 /* We are seeing new direct call; compute profile info based on BB. */
1503 basic_block bb
= gimple_bb (new_stmt
);
1505 frequency
= compute_call_stmt_bb_frequency (current_function_decl
,
1511 ne
= cgraph_create_edge (node
, cgraph_get_create_node (new_call
),
1512 new_stmt
, count
, frequency
);
1513 gcc_assert (ne
->inline_failed
);
1516 /* We only updated the call stmt; update pointer in cgraph edge.. */
1517 else if (old_stmt
!= new_stmt
)
1518 cgraph_set_call_stmt (cgraph_edge (node
, old_stmt
), new_stmt
);
1521 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1522 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1523 of OLD_STMT before it was updated (updating can happen inplace). */
1526 cgraph_update_edges_for_call_stmt (gimple old_stmt
, tree old_decl
, gimple new_stmt
)
1528 struct cgraph_node
*orig
= cgraph_get_node (cfun
->decl
);
1529 struct cgraph_node
*node
;
1531 gcc_checking_assert (orig
);
1532 cgraph_update_edges_for_call_stmt_node (orig
, old_stmt
, old_decl
, new_stmt
);
1534 for (node
= orig
->clones
; node
!= orig
;)
1536 cgraph_update_edges_for_call_stmt_node (node
, old_stmt
, old_decl
, new_stmt
);
1538 node
= node
->clones
;
1539 else if (node
->next_sibling_clone
)
1540 node
= node
->next_sibling_clone
;
1543 while (node
!= orig
&& !node
->next_sibling_clone
)
1544 node
= node
->clone_of
;
1546 node
= node
->next_sibling_clone
;
1552 /* Remove all callees from the node. */
1555 cgraph_node_remove_callees (struct cgraph_node
*node
)
1557 struct cgraph_edge
*e
, *f
;
1559 /* It is sufficient to remove the edges from the lists of callers of
1560 the callees. The callee list of the node can be zapped with one
1562 for (e
= node
->callees
; e
; e
= f
)
1565 cgraph_call_edge_removal_hooks (e
);
1566 if (!e
->indirect_unknown_callee
)
1567 cgraph_edge_remove_callee (e
);
1568 cgraph_free_edge (e
);
1570 for (e
= node
->indirect_calls
; e
; e
= f
)
1573 cgraph_call_edge_removal_hooks (e
);
1574 if (!e
->indirect_unknown_callee
)
1575 cgraph_edge_remove_callee (e
);
1576 cgraph_free_edge (e
);
1578 node
->indirect_calls
= NULL
;
1579 node
->callees
= NULL
;
1580 if (node
->call_site_hash
)
1582 htab_delete (node
->call_site_hash
);
1583 node
->call_site_hash
= NULL
;
1587 /* Remove all callers from the node. */
1590 cgraph_node_remove_callers (struct cgraph_node
*node
)
1592 struct cgraph_edge
*e
, *f
;
1594 /* It is sufficient to remove the edges from the lists of callees of
1595 the callers. The caller list of the node can be zapped with one
1597 for (e
= node
->callers
; e
; e
= f
)
1600 cgraph_call_edge_removal_hooks (e
);
1601 cgraph_edge_remove_caller (e
);
1602 cgraph_free_edge (e
);
1604 node
->callers
= NULL
;
1607 /* Helper function for cgraph_release_function_body and free_lang_data.
1608 It releases body from function DECL without having to inspect its
1609 possibly non-existent symtab node. */
1612 release_function_body (tree decl
)
1614 if (DECL_STRUCT_FUNCTION (decl
))
1616 push_cfun (DECL_STRUCT_FUNCTION (decl
));
1620 cfun
->curr_properties
&= ~PROP_loops
;
1621 loop_optimizer_finalize ();
1623 if (cfun
->gimple_df
)
1626 delete_tree_cfg_annotations ();
1631 gcc_assert (dom_computed
[0] == DOM_NONE
);
1632 gcc_assert (dom_computed
[1] == DOM_NONE
);
1636 if (cfun
->value_histograms
)
1639 gimple_set_body (decl
, NULL
);
1640 /* Struct function hangs a lot of data that would leak if we didn't
1641 removed all pointers to it. */
1642 ggc_free (DECL_STRUCT_FUNCTION (decl
));
1643 DECL_STRUCT_FUNCTION (decl
) = NULL
;
1645 DECL_SAVED_TREE (decl
) = NULL
;
1648 /* Release memory used to represent body of function NODE.
1649 Use this only for functions that are released before being translated to
1650 target code (i.e. RTL). Functions that are compiled to RTL and beyond
1651 are free'd in final.c via free_after_compilation(). */
1654 cgraph_release_function_body (struct cgraph_node
*node
)
1656 node
->ipa_transforms_to_apply
.release ();
1657 if (!node
->used_as_abstract_origin
&& cgraph_state
!= CGRAPH_STATE_PARSING
)
1659 DECL_RESULT (node
->symbol
.decl
) = NULL
;
1660 DECL_ARGUMENTS (node
->symbol
.decl
) = NULL
;
1662 /* If the node is abstract and needed, then do not clear DECL_INITIAL
1663 of its associated function function declaration because it's
1664 needed to emit debug info later. */
1665 if (!node
->used_as_abstract_origin
&& DECL_INITIAL (node
->symbol
.decl
))
1666 DECL_INITIAL (node
->symbol
.decl
) = error_mark_node
;
1667 release_function_body (node
->symbol
.decl
);
1668 if (node
->symbol
.lto_file_data
)
1669 lto_free_function_in_decl_state_for_node ((symtab_node
) node
);
1672 /* Remove the node from cgraph. */
1675 cgraph_remove_node (struct cgraph_node
*node
)
1677 struct cgraph_node
*n
;
1678 int uid
= node
->uid
;
1680 cgraph_call_node_removal_hooks (node
);
1681 cgraph_node_remove_callers (node
);
1682 cgraph_node_remove_callees (node
);
1683 node
->ipa_transforms_to_apply
.release ();
1685 /* Incremental inlining access removed nodes stored in the postorder list.
1687 node
->symbol
.force_output
= false;
1688 node
->symbol
.forced_by_abi
= false;
1689 for (n
= node
->nested
; n
; n
= n
->next_nested
)
1691 node
->nested
= NULL
;
1694 struct cgraph_node
**node2
= &node
->origin
->nested
;
1696 while (*node2
!= node
)
1697 node2
= &(*node2
)->next_nested
;
1698 *node2
= node
->next_nested
;
1700 symtab_unregister_node ((symtab_node
)node
);
1701 if (node
->prev_sibling_clone
)
1702 node
->prev_sibling_clone
->next_sibling_clone
= node
->next_sibling_clone
;
1703 else if (node
->clone_of
)
1704 node
->clone_of
->clones
= node
->next_sibling_clone
;
1705 if (node
->next_sibling_clone
)
1706 node
->next_sibling_clone
->prev_sibling_clone
= node
->prev_sibling_clone
;
1709 struct cgraph_node
*n
, *next
;
1713 for (n
= node
->clones
; n
->next_sibling_clone
; n
= n
->next_sibling_clone
)
1714 n
->clone_of
= node
->clone_of
;
1715 n
->clone_of
= node
->clone_of
;
1716 n
->next_sibling_clone
= node
->clone_of
->clones
;
1717 if (node
->clone_of
->clones
)
1718 node
->clone_of
->clones
->prev_sibling_clone
= n
;
1719 node
->clone_of
->clones
= node
->clones
;
1723 /* We are removing node with clones. This makes clones inconsistent,
1724 but assume they will be removed subsequently and just keep clone
1725 tree intact. This can happen in unreachable function removal since
1726 we remove unreachable functions in random order, not by bottom-up
1727 walk of clone trees. */
1728 for (n
= node
->clones
; n
; n
= next
)
1730 next
= n
->next_sibling_clone
;
1731 n
->next_sibling_clone
= NULL
;
1732 n
->prev_sibling_clone
= NULL
;
1738 /* While all the clones are removed after being proceeded, the function
1739 itself is kept in the cgraph even after it is compiled. Check whether
1740 we are done with this body and reclaim it proactively if this is the case.
1742 if (cgraph_state
!= CGRAPH_LTO_STREAMING
)
1744 n
= cgraph_get_node (node
->symbol
.decl
);
1746 || (!n
->clones
&& !n
->clone_of
&& !n
->global
.inlined_to
1747 && (cgraph_global_info_ready
1748 && (TREE_ASM_WRITTEN (n
->symbol
.decl
)
1749 || DECL_EXTERNAL (n
->symbol
.decl
)
1750 || !n
->symbol
.analyzed
1751 || (!flag_wpa
&& n
->symbol
.in_other_partition
)))))
1752 cgraph_release_function_body (node
);
1755 node
->symbol
.decl
= NULL
;
1756 if (node
->call_site_hash
)
1758 htab_delete (node
->call_site_hash
);
1759 node
->call_site_hash
= NULL
;
1763 /* Clear out the node to NULL all pointers and add the node to the free
1765 memset (node
, 0, sizeof (*node
));
1766 node
->symbol
.type
= SYMTAB_FUNCTION
;
1768 SET_NEXT_FREE_NODE (node
, free_nodes
);
1772 /* Likewise indicate that a node is having address taken. */
1775 cgraph_mark_address_taken_node (struct cgraph_node
*node
)
1777 /* Indirect inlining can figure out that all uses of the address are
1779 if (node
->global
.inlined_to
)
1781 gcc_assert (cfun
->after_inlining
);
1782 gcc_assert (node
->callers
->indirect_inlining_edge
);
1785 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1786 IPA_REF_ADDR reference exists (and thus it should be set on node
1787 representing alias we take address of) and as a test whether address
1788 of the object was taken (and thus it should be set on node alias is
1789 referring to). We should remove the first use and the remove the
1791 node
->symbol
.address_taken
= 1;
1792 node
= cgraph_function_or_thunk_node (node
, NULL
);
1793 node
->symbol
.address_taken
= 1;
1796 /* Return local info for the compiled function. */
1798 struct cgraph_local_info
*
1799 cgraph_local_info (tree decl
)
1801 struct cgraph_node
*node
;
1803 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1804 node
= cgraph_get_node (decl
);
1807 return &node
->local
;
1810 /* Return local info for the compiled function. */
1812 struct cgraph_global_info
*
1813 cgraph_global_info (tree decl
)
1815 struct cgraph_node
*node
;
1817 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
&& cgraph_global_info_ready
);
1818 node
= cgraph_get_node (decl
);
1821 return &node
->global
;
1824 /* Return local info for the compiled function. */
1826 struct cgraph_rtl_info
*
1827 cgraph_rtl_info (tree decl
)
1829 struct cgraph_node
*node
;
1831 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1832 node
= cgraph_get_node (decl
);
1834 || (decl
!= current_function_decl
1835 && !TREE_ASM_WRITTEN (node
->symbol
.decl
)))
1840 /* Return a string describing the failure REASON. */
1843 cgraph_inline_failed_string (cgraph_inline_failed_t reason
)
1846 #define DEFCIFCODE(code, string) string,
1848 static const char *cif_string_table
[CIF_N_REASONS
] = {
1849 #include "cif-code.def"
1852 /* Signedness of an enum type is implementation defined, so cast it
1853 to unsigned before testing. */
1854 gcc_assert ((unsigned) reason
< CIF_N_REASONS
);
1855 return cif_string_table
[reason
];
1858 /* Names used to print out the availability enum. */
1859 const char * const cgraph_availability_names
[] =
1860 {"unset", "not_available", "overwritable", "available", "local"};
1863 /* Dump call graph node NODE to file F. */
1866 dump_cgraph_node (FILE *f
, struct cgraph_node
*node
)
1868 struct cgraph_edge
*edge
;
1869 int indirect_calls_count
= 0;
1871 dump_symtab_base (f
, (symtab_node
) node
);
1873 if (node
->global
.inlined_to
)
1874 fprintf (f
, " Function %s/%i is inline copy in %s/%i\n",
1875 xstrdup (cgraph_node_name (node
)),
1877 xstrdup (cgraph_node_name (node
->global
.inlined_to
)),
1878 node
->global
.inlined_to
->symbol
.order
);
1880 fprintf (f
, " Clone of %s/%i\n",
1881 cgraph_node_asm_name (node
->clone_of
),
1882 node
->clone_of
->symbol
.order
);
1883 if (cgraph_function_flags_ready
)
1884 fprintf (f
, " Availability: %s\n",
1885 cgraph_availability_names
[cgraph_function_body_availability (node
)]);
1887 if (node
->profile_id
)
1888 fprintf (f
, " Profile id: %i\n",
1890 fprintf (f
, " Function flags:");
1892 fprintf (f
, " executed "HOST_WIDEST_INT_PRINT_DEC
"x",
1893 (HOST_WIDEST_INT
)node
->count
);
1895 fprintf (f
, " nested in: %s", cgraph_node_asm_name (node
->origin
));
1896 if (gimple_has_body_p (node
->symbol
.decl
))
1897 fprintf (f
, " body");
1899 fprintf (f
, " process");
1900 if (node
->local
.local
)
1901 fprintf (f
, " local");
1902 if (node
->local
.redefined_extern_inline
)
1903 fprintf (f
, " redefined_extern_inline");
1904 if (node
->only_called_at_startup
)
1905 fprintf (f
, " only_called_at_startup");
1906 if (node
->only_called_at_exit
)
1907 fprintf (f
, " only_called_at_exit");
1909 fprintf (f
, " tm_clone");
1913 if (node
->thunk
.thunk_p
)
1915 fprintf (f
, " Thunk");
1916 if (node
->thunk
.alias
)
1917 fprintf (f
, " of %s (asm: %s)",
1918 lang_hooks
.decl_printable_name (node
->thunk
.alias
, 2),
1919 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (node
->thunk
.alias
)));
1920 fprintf (f
, " fixed offset %i virtual value %i has "
1921 "virtual offset %i)\n",
1922 (int)node
->thunk
.fixed_offset
,
1923 (int)node
->thunk
.virtual_value
,
1924 (int)node
->thunk
.virtual_offset_p
);
1926 if (node
->symbol
.alias
&& node
->thunk
.alias
1927 && DECL_P (node
->thunk
.alias
))
1929 fprintf (f
, " Alias of %s",
1930 lang_hooks
.decl_printable_name (node
->thunk
.alias
, 2));
1931 if (DECL_ASSEMBLER_NAME_SET_P (node
->thunk
.alias
))
1932 fprintf (f
, " (asm: %s)",
1933 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (node
->thunk
.alias
)));
1937 fprintf (f
, " Called by: ");
1939 for (edge
= node
->callers
; edge
; edge
= edge
->next_caller
)
1941 fprintf (f
, "%s/%i ", cgraph_node_asm_name (edge
->caller
),
1942 edge
->caller
->symbol
.order
);
1944 fprintf (f
, "("HOST_WIDEST_INT_PRINT_DEC
"x) ",
1945 (HOST_WIDEST_INT
)edge
->count
);
1946 if (edge
->frequency
)
1947 fprintf (f
, "(%.2f per call) ",
1948 edge
->frequency
/ (double)CGRAPH_FREQ_BASE
);
1949 if (edge
->speculative
)
1950 fprintf (f
, "(speculative) ");
1951 if (!edge
->inline_failed
)
1952 fprintf (f
, "(inlined) ");
1953 if (edge
->indirect_inlining_edge
)
1954 fprintf (f
, "(indirect_inlining) ");
1955 if (edge
->can_throw_external
)
1956 fprintf (f
, "(can throw external) ");
1959 fprintf (f
, "\n Calls: ");
1960 for (edge
= node
->callees
; edge
; edge
= edge
->next_callee
)
1962 fprintf (f
, "%s/%i ", cgraph_node_asm_name (edge
->callee
),
1963 edge
->callee
->symbol
.order
);
1964 if (edge
->speculative
)
1965 fprintf (f
, "(speculative) ");
1966 if (!edge
->inline_failed
)
1967 fprintf (f
, "(inlined) ");
1968 if (edge
->indirect_inlining_edge
)
1969 fprintf (f
, "(indirect_inlining) ");
1971 fprintf (f
, "("HOST_WIDEST_INT_PRINT_DEC
"x) ",
1972 (HOST_WIDEST_INT
)edge
->count
);
1973 if (edge
->frequency
)
1974 fprintf (f
, "(%.2f per call) ",
1975 edge
->frequency
/ (double)CGRAPH_FREQ_BASE
);
1976 if (edge
->can_throw_external
)
1977 fprintf (f
, "(can throw external) ");
1981 for (edge
= node
->indirect_calls
; edge
; edge
= edge
->next_callee
)
1982 indirect_calls_count
++;
1983 if (indirect_calls_count
)
1984 fprintf (f
, " Has %i outgoing edges for indirect calls.\n",
1985 indirect_calls_count
);
1989 /* Dump call graph node NODE to stderr. */
1992 debug_cgraph_node (struct cgraph_node
*node
)
1994 dump_cgraph_node (stderr
, node
);
1998 /* Dump the callgraph to file F. */
2001 dump_cgraph (FILE *f
)
2003 struct cgraph_node
*node
;
2005 fprintf (f
, "callgraph:\n\n");
2006 FOR_EACH_FUNCTION (node
)
2007 dump_cgraph_node (f
, node
);
2011 /* Dump the call graph to stderr. */
2016 dump_cgraph (stderr
);
2019 /* Return true when the DECL can possibly be inlined. */
2021 cgraph_function_possibly_inlined_p (tree decl
)
2023 if (!cgraph_global_info_ready
)
2024 return !DECL_UNINLINABLE (decl
);
2025 return DECL_POSSIBLY_INLINED (decl
);
2028 /* NODE is no longer nested function; update cgraph accordingly. */
2030 cgraph_unnest_node (struct cgraph_node
*node
)
2032 struct cgraph_node
**node2
= &node
->origin
->nested
;
2033 gcc_assert (node
->origin
);
2035 while (*node2
!= node
)
2036 node2
= &(*node2
)->next_nested
;
2037 *node2
= node
->next_nested
;
2038 node
->origin
= NULL
;
2041 /* Return function availability. See cgraph.h for description of individual
2044 cgraph_function_body_availability (struct cgraph_node
*node
)
2046 enum availability avail
;
2047 if (!node
->symbol
.analyzed
)
2048 avail
= AVAIL_NOT_AVAILABLE
;
2049 else if (node
->local
.local
)
2050 avail
= AVAIL_LOCAL
;
2051 else if (node
->symbol
.alias
&& node
->symbol
.weakref
)
2052 cgraph_function_or_thunk_node (node
, &avail
);
2053 else if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (node
->symbol
.decl
)))
2054 avail
= AVAIL_OVERWRITABLE
;
2055 else if (!node
->symbol
.externally_visible
)
2056 avail
= AVAIL_AVAILABLE
;
2057 /* Inline functions are safe to be analyzed even if their symbol can
2058 be overwritten at runtime. It is not meaningful to enforce any sane
2059 behaviour on replacing inline function by different body. */
2060 else if (DECL_DECLARED_INLINE_P (node
->symbol
.decl
))
2061 avail
= AVAIL_AVAILABLE
;
2063 /* If the function can be overwritten, return OVERWRITABLE. Take
2064 care at least of two notable extensions - the COMDAT functions
2065 used to share template instantiations in C++ (this is symmetric
2066 to code cp_cannot_inline_tree_fn and probably shall be shared and
2067 the inlinability hooks completely eliminated).
2069 ??? Does the C++ one definition rule allow us to always return
2070 AVAIL_AVAILABLE here? That would be good reason to preserve this
2073 else if (decl_replaceable_p (node
->symbol
.decl
)
2074 && !DECL_EXTERNAL (node
->symbol
.decl
))
2075 avail
= AVAIL_OVERWRITABLE
;
2076 else avail
= AVAIL_AVAILABLE
;
2081 /* Worker for cgraph_node_can_be_local_p. */
2083 cgraph_node_cannot_be_local_p_1 (struct cgraph_node
*node
,
2084 void *data ATTRIBUTE_UNUSED
)
2086 return !(!node
->symbol
.force_output
2087 && ((DECL_COMDAT (node
->symbol
.decl
)
2088 && !node
->symbol
.forced_by_abi
2089 && !symtab_used_from_object_file_p ((symtab_node
) node
)
2090 && !node
->symbol
.same_comdat_group
)
2091 || !node
->symbol
.externally_visible
));
2094 /* Return true if NODE can be made local for API change.
2095 Extern inline functions and C++ COMDAT functions can be made local
2096 at the expense of possible code size growth if function is used in multiple
2097 compilation units. */
2099 cgraph_node_can_be_local_p (struct cgraph_node
*node
)
2101 return (!node
->symbol
.address_taken
2102 && !cgraph_for_node_and_aliases (node
,
2103 cgraph_node_cannot_be_local_p_1
,
2107 /* Call calback on NODE, thunks and aliases associated to NODE.
2108 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2112 cgraph_for_node_thunks_and_aliases (struct cgraph_node
*node
,
2113 bool (*callback
) (struct cgraph_node
*, void *),
2115 bool include_overwritable
)
2117 struct cgraph_edge
*e
;
2119 struct ipa_ref
*ref
;
2121 if (callback (node
, data
))
2123 for (e
= node
->callers
; e
; e
= e
->next_caller
)
2124 if (e
->caller
->thunk
.thunk_p
2125 && (include_overwritable
2126 || cgraph_function_body_availability (e
->caller
) > AVAIL_OVERWRITABLE
))
2127 if (cgraph_for_node_thunks_and_aliases (e
->caller
, callback
, data
,
2128 include_overwritable
))
2130 for (i
= 0; ipa_ref_list_referring_iterate (&node
->symbol
.ref_list
, i
, ref
); i
++)
2131 if (ref
->use
== IPA_REF_ALIAS
)
2133 struct cgraph_node
*alias
= ipa_ref_referring_node (ref
);
2134 if (include_overwritable
2135 || cgraph_function_body_availability (alias
) > AVAIL_OVERWRITABLE
)
2136 if (cgraph_for_node_thunks_and_aliases (alias
, callback
, data
,
2137 include_overwritable
))
2143 /* Call calback on NODE and aliases associated to NODE.
2144 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2148 cgraph_for_node_and_aliases (struct cgraph_node
*node
,
2149 bool (*callback
) (struct cgraph_node
*, void *),
2151 bool include_overwritable
)
2154 struct ipa_ref
*ref
;
2156 if (callback (node
, data
))
2158 for (i
= 0; ipa_ref_list_referring_iterate (&node
->symbol
.ref_list
, i
, ref
); i
++)
2159 if (ref
->use
== IPA_REF_ALIAS
)
2161 struct cgraph_node
*alias
= ipa_ref_referring_node (ref
);
2162 if (include_overwritable
2163 || cgraph_function_body_availability (alias
) > AVAIL_OVERWRITABLE
)
2164 if (cgraph_for_node_and_aliases (alias
, callback
, data
,
2165 include_overwritable
))
2171 /* Worker to bring NODE local. */
2174 cgraph_make_node_local_1 (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
2176 gcc_checking_assert (cgraph_node_can_be_local_p (node
));
2177 if (DECL_COMDAT (node
->symbol
.decl
) || DECL_EXTERNAL (node
->symbol
.decl
))
2179 symtab_make_decl_local (node
->symbol
.decl
);
2181 node
->symbol
.externally_visible
= false;
2182 node
->symbol
.forced_by_abi
= false;
2183 node
->local
.local
= true;
2184 node
->symbol
.unique_name
= (node
->symbol
.resolution
== LDPR_PREVAILING_DEF_IRONLY
2185 || node
->symbol
.resolution
== LDPR_PREVAILING_DEF_IRONLY_EXP
);
2186 node
->symbol
.resolution
= LDPR_PREVAILING_DEF_IRONLY
;
2187 gcc_assert (cgraph_function_body_availability (node
) == AVAIL_LOCAL
);
2192 /* Bring NODE local. */
2195 cgraph_make_node_local (struct cgraph_node
*node
)
2197 cgraph_for_node_thunks_and_aliases (node
, cgraph_make_node_local_1
,
2201 /* Worker to set nothrow flag. */
2204 cgraph_set_nothrow_flag_1 (struct cgraph_node
*node
, void *data
)
2206 struct cgraph_edge
*e
;
2208 TREE_NOTHROW (node
->symbol
.decl
) = data
!= NULL
;
2211 for (e
= node
->callers
; e
; e
= e
->next_caller
)
2212 e
->can_throw_external
= false;
2216 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
2217 if any to NOTHROW. */
2220 cgraph_set_nothrow_flag (struct cgraph_node
*node
, bool nothrow
)
2222 cgraph_for_node_thunks_and_aliases (node
, cgraph_set_nothrow_flag_1
,
2223 (void *)(size_t)nothrow
, false);
2226 /* Worker to set const flag. */
2229 cgraph_set_const_flag_1 (struct cgraph_node
*node
, void *data
)
2231 /* Static constructors and destructors without a side effect can be
2233 if (data
&& !((size_t)data
& 2))
2235 if (DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
))
2236 DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
) = 0;
2237 if (DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
))
2238 DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
) = 0;
2240 TREE_READONLY (node
->symbol
.decl
) = data
!= NULL
;
2241 DECL_LOOPING_CONST_OR_PURE_P (node
->symbol
.decl
) = ((size_t)data
& 2) != 0;
2245 /* Set TREE_READONLY on NODE's decl and on aliases of NODE
2246 if any to READONLY. */
2249 cgraph_set_const_flag (struct cgraph_node
*node
, bool readonly
, bool looping
)
2251 cgraph_for_node_thunks_and_aliases (node
, cgraph_set_const_flag_1
,
2252 (void *)(size_t)(readonly
+ (int)looping
* 2),
2256 /* Worker to set pure flag. */
2259 cgraph_set_pure_flag_1 (struct cgraph_node
*node
, void *data
)
2261 /* Static constructors and destructors without a side effect can be
2263 if (data
&& !((size_t)data
& 2))
2265 if (DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
))
2266 DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
) = 0;
2267 if (DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
))
2268 DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
) = 0;
2270 DECL_PURE_P (node
->symbol
.decl
) = data
!= NULL
;
2271 DECL_LOOPING_CONST_OR_PURE_P (node
->symbol
.decl
) = ((size_t)data
& 2) != 0;
2275 /* Set DECL_PURE_P on NODE's decl and on aliases of NODE
2279 cgraph_set_pure_flag (struct cgraph_node
*node
, bool pure
, bool looping
)
2281 cgraph_for_node_thunks_and_aliases (node
, cgraph_set_pure_flag_1
,
2282 (void *)(size_t)(pure
+ (int)looping
* 2),
2286 /* Return true when NODE can not return or throw and thus
2287 it is safe to ignore its side effects for IPA analysis. */
2290 cgraph_node_cannot_return (struct cgraph_node
*node
)
2292 int flags
= flags_from_decl_or_type (node
->symbol
.decl
);
2293 if (!flag_exceptions
)
2294 return (flags
& ECF_NORETURN
) != 0;
2296 return ((flags
& (ECF_NORETURN
| ECF_NOTHROW
))
2297 == (ECF_NORETURN
| ECF_NOTHROW
));
2300 /* Return true when call of E can not lead to return from caller
2301 and thus it is safe to ignore its side effects for IPA analysis
2302 when computing side effects of the caller.
2303 FIXME: We could actually mark all edges that have no reaching
2304 patch to EXIT_BLOCK_PTR or throw to get better results. */
2306 cgraph_edge_cannot_lead_to_return (struct cgraph_edge
*e
)
2308 if (cgraph_node_cannot_return (e
->caller
))
2310 if (e
->indirect_unknown_callee
)
2312 int flags
= e
->indirect_info
->ecf_flags
;
2313 if (!flag_exceptions
)
2314 return (flags
& ECF_NORETURN
) != 0;
2316 return ((flags
& (ECF_NORETURN
| ECF_NOTHROW
))
2317 == (ECF_NORETURN
| ECF_NOTHROW
));
2320 return cgraph_node_cannot_return (e
->callee
);
2323 /* Return true when function NODE can be removed from callgraph
2324 if all direct calls are eliminated. */
2327 cgraph_can_remove_if_no_direct_calls_and_refs_p (struct cgraph_node
*node
)
2329 gcc_assert (!node
->global
.inlined_to
);
2330 /* Extern inlines can always go, we will use the external definition. */
2331 if (DECL_EXTERNAL (node
->symbol
.decl
))
2333 /* When function is needed, we can not remove it. */
2334 if (node
->symbol
.force_output
|| node
->symbol
.used_from_other_partition
)
2336 if (DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
)
2337 || DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
))
2339 /* Only COMDAT functions can be removed if externally visible. */
2340 if (node
->symbol
.externally_visible
2341 && (!DECL_COMDAT (node
->symbol
.decl
)
2342 || node
->symbol
.forced_by_abi
2343 || symtab_used_from_object_file_p ((symtab_node
) node
)))
2348 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2351 nonremovable_p (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
2353 return !cgraph_can_remove_if_no_direct_calls_and_refs_p (node
);
2356 /* Return true when function NODE and its aliases can be removed from callgraph
2357 if all direct calls are eliminated. */
2360 cgraph_can_remove_if_no_direct_calls_p (struct cgraph_node
*node
)
2362 /* Extern inlines can always go, we will use the external definition. */
2363 if (DECL_EXTERNAL (node
->symbol
.decl
))
2365 if (node
->symbol
.address_taken
)
2367 return !cgraph_for_node_and_aliases (node
, nonremovable_p
, NULL
, true);
2370 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2373 used_from_object_file_p (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
2375 return symtab_used_from_object_file_p ((symtab_node
) node
);
2378 /* Return true when function NODE can be expected to be removed
2379 from program when direct calls in this compilation unit are removed.
2381 As a special case COMDAT functions are
2382 cgraph_can_remove_if_no_direct_calls_p while the are not
2383 cgraph_only_called_directly_p (it is possible they are called from other
2386 This function behaves as cgraph_only_called_directly_p because eliminating
2387 all uses of COMDAT function does not make it necessarily disappear from
2388 the program unless we are compiling whole program or we do LTO. In this
2389 case we know we win since dynamic linking will not really discard the
2390 linkonce section. */
2393 cgraph_will_be_removed_from_program_if_no_direct_calls (struct cgraph_node
*node
)
2395 gcc_assert (!node
->global
.inlined_to
);
2396 if (cgraph_for_node_and_aliases (node
, used_from_object_file_p
, NULL
, true))
2398 if (!in_lto_p
&& !flag_whole_program
)
2399 return cgraph_only_called_directly_p (node
);
2402 if (DECL_EXTERNAL (node
->symbol
.decl
))
2404 return cgraph_can_remove_if_no_direct_calls_p (node
);
2409 /* Worker for cgraph_only_called_directly_p. */
2412 cgraph_not_only_called_directly_p_1 (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
2414 return !cgraph_only_called_directly_or_aliased_p (node
);
2417 /* Return true when function NODE and all its aliases are only called
2419 i.e. it is not externally visible, address was not taken and
2420 it is not used in any other non-standard way. */
2423 cgraph_only_called_directly_p (struct cgraph_node
*node
)
2425 gcc_assert (cgraph_function_or_thunk_node (node
, NULL
) == node
);
2426 return !cgraph_for_node_and_aliases (node
, cgraph_not_only_called_directly_p_1
,
2431 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
2434 collect_callers_of_node_1 (struct cgraph_node
*node
, void *data
)
2436 vec
<cgraph_edge_p
> *redirect_callers
= (vec
<cgraph_edge_p
> *)data
;
2437 struct cgraph_edge
*cs
;
2438 enum availability avail
;
2439 cgraph_function_or_thunk_node (node
, &avail
);
2441 if (avail
> AVAIL_OVERWRITABLE
)
2442 for (cs
= node
->callers
; cs
!= NULL
; cs
= cs
->next_caller
)
2443 if (!cs
->indirect_inlining_edge
)
2444 redirect_callers
->safe_push (cs
);
2448 /* Collect all callers of NODE and its aliases that are known to lead to NODE
2449 (i.e. are not overwritable). */
2452 collect_callers_of_node (struct cgraph_node
*node
)
2454 vec
<cgraph_edge_p
> redirect_callers
= vNULL
;
2455 cgraph_for_node_and_aliases (node
, collect_callers_of_node_1
,
2456 &redirect_callers
, false);
2457 return redirect_callers
;
2460 /* Return TRUE if NODE2 is equivalent to NODE or its clone. */
2462 clone_of_p (struct cgraph_node
*node
, struct cgraph_node
*node2
)
2464 node
= cgraph_function_or_thunk_node (node
, NULL
);
2465 node2
= cgraph_function_or_thunk_node (node2
, NULL
);
2466 while (node
!= node2
&& node2
)
2467 node2
= node2
->clone_of
;
2468 return node2
!= NULL
;
2471 /* Verify edge E count and frequency. */
2474 verify_edge_count_and_frequency (struct cgraph_edge
*e
)
2476 bool error_found
= false;
2479 error ("caller edge count is negative");
2482 if (e
->frequency
< 0)
2484 error ("caller edge frequency is negative");
2487 if (e
->frequency
> CGRAPH_FREQ_MAX
)
2489 error ("caller edge frequency is too large");
2492 if (gimple_has_body_p (e
->caller
->symbol
.decl
)
2493 && !e
->caller
->global
.inlined_to
2495 /* FIXME: Inline-analysis sets frequency to 0 when edge is optimized out.
2496 Remove this once edges are actually removed from the function at that time. */
2498 || (inline_edge_summary_vec
.exists ()
2499 && ((inline_edge_summary_vec
.length () <= (unsigned) e
->uid
)
2500 || !inline_edge_summary (e
)->predicate
)))
2502 != compute_call_stmt_bb_frequency (e
->caller
->symbol
.decl
,
2503 gimple_bb (e
->call_stmt
))))
2505 error ("caller edge frequency %i does not match BB frequency %i",
2507 compute_call_stmt_bb_frequency (e
->caller
->symbol
.decl
,
2508 gimple_bb (e
->call_stmt
)));
2514 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
2516 cgraph_debug_gimple_stmt (struct function
*this_cfun
, gimple stmt
)
2518 bool fndecl_was_null
= false;
2519 /* debug_gimple_stmt needs correct cfun */
2520 if (cfun
!= this_cfun
)
2521 set_cfun (this_cfun
);
2522 /* ...and an actual current_function_decl */
2523 if (!current_function_decl
)
2525 current_function_decl
= this_cfun
->decl
;
2526 fndecl_was_null
= true;
2528 debug_gimple_stmt (stmt
);
2529 if (fndecl_was_null
)
2530 current_function_decl
= NULL
;
2533 /* Verify that call graph edge E corresponds to DECL from the associated
2534 statement. Return true if the verification should fail. */
2537 verify_edge_corresponds_to_fndecl (struct cgraph_edge
*e
, tree decl
)
2539 struct cgraph_node
*node
;
2541 if (!decl
|| e
->callee
->global
.inlined_to
)
2543 if (cgraph_state
== CGRAPH_LTO_STREAMING
)
2545 node
= cgraph_get_node (decl
);
2547 /* We do not know if a node from a different partition is an alias or what it
2548 aliases and therefore cannot do the former_clone_of check reliably. */
2549 if (!node
|| node
->symbol
.in_other_partition
|| e
->callee
->symbol
.in_other_partition
)
2551 node
= cgraph_function_or_thunk_node (node
, NULL
);
2553 if (e
->callee
->former_clone_of
!= node
->symbol
.decl
2554 /* IPA-CP sometimes redirect edge to clone and then back to the former
2555 function. This ping-pong has to go, eventually. */
2556 && (node
!= cgraph_function_or_thunk_node (e
->callee
, NULL
))
2557 && !clone_of_p (cgraph_function_or_thunk_node (node
, NULL
), e
->callee
))
2563 /* Verify cgraph nodes of given cgraph node. */
2565 verify_cgraph_node (struct cgraph_node
*node
)
2567 struct cgraph_edge
*e
;
2568 struct function
*this_cfun
= DECL_STRUCT_FUNCTION (node
->symbol
.decl
);
2569 basic_block this_block
;
2570 gimple_stmt_iterator gsi
;
2571 bool error_found
= false;
2576 timevar_push (TV_CGRAPH_VERIFY
);
2577 error_found
|= verify_symtab_base ((symtab_node
) node
);
2578 for (e
= node
->callees
; e
; e
= e
->next_callee
)
2581 error ("aux field set for edge %s->%s",
2582 identifier_to_locale (cgraph_node_name (e
->caller
)),
2583 identifier_to_locale (cgraph_node_name (e
->callee
)));
2586 if (node
->count
< 0)
2588 error ("execution count is negative");
2591 if (node
->global
.inlined_to
&& node
->symbol
.same_comdat_group
)
2593 error ("inline clone in same comdat group list");
2596 if (!node
->symbol
.definition
&& !node
->symbol
.in_other_partition
&& node
->local
.local
)
2598 error ("local symbols must be defined");
2601 if (node
->global
.inlined_to
&& node
->symbol
.externally_visible
)
2603 error ("externally visible inline clone");
2606 if (node
->global
.inlined_to
&& node
->symbol
.address_taken
)
2608 error ("inline clone with address taken");
2611 if (node
->global
.inlined_to
&& node
->symbol
.force_output
)
2613 error ("inline clone is forced to output");
2616 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
2620 error ("aux field set for indirect edge from %s",
2621 identifier_to_locale (cgraph_node_name (e
->caller
)));
2624 if (!e
->indirect_unknown_callee
2625 || !e
->indirect_info
)
2627 error ("An indirect edge from %s is not marked as indirect or has "
2628 "associated indirect_info, the corresponding statement is: ",
2629 identifier_to_locale (cgraph_node_name (e
->caller
)));
2630 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2634 for (e
= node
->callers
; e
; e
= e
->next_caller
)
2636 if (verify_edge_count_and_frequency (e
))
2638 if (!e
->inline_failed
)
2640 if (node
->global
.inlined_to
2641 != (e
->caller
->global
.inlined_to
2642 ? e
->caller
->global
.inlined_to
: e
->caller
))
2644 error ("inlined_to pointer is wrong");
2647 if (node
->callers
->next_caller
)
2649 error ("multiple inline callers");
2654 if (node
->global
.inlined_to
)
2656 error ("inlined_to pointer set for noninline callers");
2660 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
2661 if (verify_edge_count_and_frequency (e
))
2663 if (!node
->callers
&& node
->global
.inlined_to
)
2665 error ("inlined_to pointer is set but no predecessors found");
2668 if (node
->global
.inlined_to
== node
)
2670 error ("inlined_to pointer refers to itself");
2676 struct cgraph_node
*n
;
2677 for (n
= node
->clone_of
->clones
; n
; n
= n
->next_sibling_clone
)
2682 error ("node has wrong clone_of");
2688 struct cgraph_node
*n
;
2689 for (n
= node
->clones
; n
; n
= n
->next_sibling_clone
)
2690 if (n
->clone_of
!= node
)
2694 error ("node has wrong clone list");
2698 if ((node
->prev_sibling_clone
|| node
->next_sibling_clone
) && !node
->clone_of
)
2700 error ("node is in clone list but it is not clone");
2703 if (!node
->prev_sibling_clone
&& node
->clone_of
&& node
->clone_of
->clones
!= node
)
2705 error ("node has wrong prev_clone pointer");
2708 if (node
->prev_sibling_clone
&& node
->prev_sibling_clone
->next_sibling_clone
!= node
)
2710 error ("double linked list of clones corrupted");
2714 if (node
->symbol
.analyzed
&& node
->symbol
.alias
)
2716 bool ref_found
= false;
2718 struct ipa_ref
*ref
;
2722 error ("Alias has call edges");
2725 for (i
= 0; ipa_ref_list_reference_iterate (&node
->symbol
.ref_list
,
2727 if (ref
->use
!= IPA_REF_ALIAS
)
2729 error ("Alias has non-alias reference");
2734 error ("Alias has more than one alias reference");
2741 error ("Analyzed alias has no reference");
2745 if (node
->symbol
.analyzed
&& node
->thunk
.thunk_p
)
2749 error ("No edge out of thunk node");
2752 else if (node
->callees
->next_callee
)
2754 error ("More than one edge out of thunk node");
2757 if (gimple_has_body_p (node
->symbol
.decl
))
2759 error ("Thunk is not supposed to have body");
2763 else if (node
->symbol
.analyzed
&& gimple_has_body_p (node
->symbol
.decl
)
2764 && !TREE_ASM_WRITTEN (node
->symbol
.decl
)
2765 && (!DECL_EXTERNAL (node
->symbol
.decl
) || node
->global
.inlined_to
)
2770 pointer_set_t
*stmts
= pointer_set_create ();
2772 struct ipa_ref
*ref
;
2774 /* Reach the trees by walking over the CFG, and note the
2775 enclosing basic-blocks in the call edges. */
2776 FOR_EACH_BB_FN (this_block
, this_cfun
)
2778 for (gsi
= gsi_start_phis (this_block
);
2779 !gsi_end_p (gsi
); gsi_next (&gsi
))
2780 pointer_set_insert (stmts
, gsi_stmt (gsi
));
2781 for (gsi
= gsi_start_bb (this_block
);
2785 gimple stmt
= gsi_stmt (gsi
);
2786 pointer_set_insert (stmts
, stmt
);
2787 if (is_gimple_call (stmt
))
2789 struct cgraph_edge
*e
= cgraph_edge (node
, stmt
);
2790 tree decl
= gimple_call_fndecl (stmt
);
2795 error ("shared call_stmt:");
2796 cgraph_debug_gimple_stmt (this_cfun
, stmt
);
2799 if (!e
->indirect_unknown_callee
)
2801 if (verify_edge_corresponds_to_fndecl (e
, decl
))
2803 error ("edge points to wrong declaration:");
2804 debug_tree (e
->callee
->symbol
.decl
);
2805 fprintf (stderr
," Instead of:");
2812 error ("an indirect edge with unknown callee "
2813 "corresponding to a call_stmt with "
2814 "a known declaration:");
2816 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2822 error ("missing callgraph edge for call stmt:");
2823 cgraph_debug_gimple_stmt (this_cfun
, stmt
);
2830 ipa_ref_list_reference_iterate (&node
->symbol
.ref_list
, i
, ref
);
2832 if (ref
->stmt
&& !pointer_set_contains (stmts
, ref
->stmt
))
2834 error ("reference to dead statement");
2835 cgraph_debug_gimple_stmt (this_cfun
, ref
->stmt
);
2838 pointer_set_destroy (stmts
);
2841 /* No CFG available?! */
2844 for (e
= node
->callees
; e
; e
= e
->next_callee
)
2848 error ("edge %s->%s has no corresponding call_stmt",
2849 identifier_to_locale (cgraph_node_name (e
->caller
)),
2850 identifier_to_locale (cgraph_node_name (e
->callee
)));
2851 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2856 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
2858 if (!e
->aux
&& !e
->speculative
)
2860 error ("an indirect edge from %s has no corresponding call_stmt",
2861 identifier_to_locale (cgraph_node_name (e
->caller
)));
2862 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2870 dump_cgraph_node (stderr
, node
);
2871 internal_error ("verify_cgraph_node failed");
2873 timevar_pop (TV_CGRAPH_VERIFY
);
2876 /* Verify whole cgraph structure. */
2878 verify_cgraph (void)
2880 struct cgraph_node
*node
;
2885 FOR_EACH_FUNCTION (node
)
2886 verify_cgraph_node (node
);
2889 /* Create external decl node for DECL.
2890 The difference i nbetween cgraph_get_create_node and
2891 cgraph_get_create_real_symbol_node is that cgraph_get_create_node
2892 may return inline clone, while cgraph_get_create_real_symbol_node
2893 will create a new node in this case.
2894 FIXME: This function should be removed once clones are put out of decl
2897 struct cgraph_node
*
2898 cgraph_get_create_real_symbol_node (tree decl
)
2900 struct cgraph_node
*first_clone
= cgraph_get_node (decl
);
2901 struct cgraph_node
*node
;
2902 /* create symbol table node. even if inline clone exists, we can not take
2903 it as a target of non-inlined call. */
2904 node
= cgraph_get_node (decl
);
2905 if (node
&& !node
->global
.inlined_to
)
2908 node
= cgraph_create_node (decl
);
2910 /* ok, we previously inlined the function, then removed the offline copy and
2911 now we want it back for external call. this can happen when devirtualizing
2912 while inlining function called once that happens after extern inlined and
2913 virtuals are already removed. in this case introduce the external node
2914 and make it available for call. */
2917 first_clone
->clone_of
= node
;
2918 node
->clones
= first_clone
;
2919 symtab_prevail_in_asm_name_hash ((symtab_node
) node
);
2920 symtab_insert_node_to_hashtable ((symtab_node
) node
);
2922 fprintf (dump_file
, "Introduced new external node "
2923 "(%s/%i) and turned into root of the clone tree.\n",
2924 xstrdup (cgraph_node_name (node
)), node
->symbol
.order
);
2927 fprintf (dump_file
, "Introduced new external node "
2928 "(%s/%i).\n", xstrdup (cgraph_node_name (node
)),
2929 node
->symbol
.order
);
2934 /* Given NODE, walk the alias chain to return the function NODE is alias of.
2935 Walk through thunk, too.
2936 When AVAILABILITY is non-NULL, get minimal availability in the chain. */
2938 struct cgraph_node
*
2939 cgraph_function_node (struct cgraph_node
*node
, enum availability
*availability
)
2943 node
= cgraph_function_or_thunk_node (node
, availability
);
2944 if (node
->thunk
.thunk_p
)
2946 node
= node
->callees
->callee
;
2949 enum availability a
;
2950 a
= cgraph_function_body_availability (node
);
2951 if (a
< *availability
)
2954 node
= cgraph_function_or_thunk_node (node
, availability
);
2956 } while (node
&& node
->thunk
.thunk_p
);
2960 /* When doing LTO, read NODE's body from disk if it is not already present. */
2963 cgraph_get_body (struct cgraph_node
*node
)
2965 struct lto_file_decl_data
*file_data
;
2966 const char *data
, *name
;
2968 tree decl
= node
->symbol
.decl
;
2970 if (DECL_RESULT (decl
))
2973 gcc_assert (in_lto_p
);
2975 file_data
= node
->symbol
.lto_file_data
;
2976 name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl
));
2978 /* We may have renamed the declaration, e.g., a static function. */
2979 name
= lto_get_decl_name_mapping (file_data
, name
);
2981 data
= lto_get_section_data (file_data
, LTO_section_function_body
,
2985 dump_cgraph_node (stderr
, node
);
2986 fatal_error ("%s: section %s is missing",
2987 file_data
->file_name
,
2991 gcc_assert (DECL_STRUCT_FUNCTION (decl
) == NULL
);
2993 lto_input_function_body (file_data
, node
, data
);
2994 lto_stats
.num_function_bodies
++;
2995 lto_free_section_data (file_data
, LTO_section_function_body
, name
,
2997 lto_free_function_in_decl_state_for_node ((symtab_node
) node
);
3001 #include "gt-cgraph.h"