1 /* Callgraph handling code.
2 Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
3 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
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
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 file contains basic routines manipulating call graph
26 The call-graph is data structure designed for intra-procedural optimization
27 but it is also used in non-unit-at-a-time compilation to allow easier code
30 The call-graph consist of nodes and edges represented via linked lists.
31 Each function (external or not) corresponds to the unique node.
33 The mapping from declarations to call-graph nodes is done using hash table
34 based on DECL_UID. The call-graph nodes are created lazily using
35 cgraph_node function when called for unknown declaration.
37 The callgraph at the moment does not represent indirect calls or calls
38 from other compilation unit. Flag NEEDED is set for each node that may
39 be accessed in such an invisible way and it shall be considered an
40 entry point to the callgraph.
42 Interprocedural information:
44 Callgraph is place to store data needed for interprocedural optimization.
45 All data structures are divided into three components: local_info that
46 is produced while analyzing the function, global_info that is result
47 of global walking of the callgraph on the end of compilation and
48 rtl_info used by RTL backend to propagate data from already compiled
49 functions to their callers.
53 The function inlining information is decided in advance and maintained
54 in the callgraph as so called inline plan.
55 For each inlined call, the callee's node is cloned to represent the
56 new function copy produced by inliner.
57 Each inlined call gets a unique corresponding clone node of the callee
58 and the data structure is updated while inlining is performed, so
59 the clones are eliminated and their callee edges redirected to the
62 Each edge has "inline_failed" field. When the field is set to NULL,
63 the call will be inlined. When it is non-NULL it contains a reason
64 why inlining wasn't performed. */
68 #include "coretypes.h"
71 #include "tree-inline.h"
72 #include "langhooks.h"
79 #include "basic-block.h"
84 #include "tree-dump.h"
85 #include "tree-flow.h"
86 #include "value-prof.h"
88 #include "diagnostic.h"
91 static void cgraph_node_remove_callers (struct cgraph_node
*node
);
92 static inline void cgraph_edge_remove_caller (struct cgraph_edge
*e
);
93 static inline void cgraph_edge_remove_callee (struct cgraph_edge
*e
);
95 /* Hash table used to convert declarations into nodes. */
96 static GTY((param_is (struct cgraph_node
))) htab_t cgraph_hash
;
97 /* Hash table used to convert assembler names into nodes. */
98 static GTY((param_is (struct cgraph_node
))) htab_t assembler_name_hash
;
100 /* The linked list of cgraph nodes. */
101 struct cgraph_node
*cgraph_nodes
;
103 /* Queue of cgraph nodes scheduled to be lowered. */
104 struct cgraph_node
*cgraph_nodes_queue
;
106 /* Queue of cgraph nodes scheduled to be added into cgraph. This is a
107 secondary queue used during optimization to accommodate passes that
108 may generate new functions that need to be optimized and expanded. */
109 struct cgraph_node
*cgraph_new_nodes
;
111 /* Number of nodes in existence. */
114 /* Maximal uid used in cgraph nodes. */
117 /* Maximal uid used in cgraph edges. */
118 int cgraph_edge_max_uid
;
120 /* Maximal pid used for profiling */
123 /* Set when whole unit has been analyzed so we can access global info. */
124 bool cgraph_global_info_ready
= false;
126 /* What state callgraph is in right now. */
127 enum cgraph_state cgraph_state
= CGRAPH_STATE_CONSTRUCTION
;
129 /* Set when the cgraph is fully build and the basic flags are computed. */
130 bool cgraph_function_flags_ready
= false;
132 /* Linked list of cgraph asm nodes. */
133 struct cgraph_asm_node
*cgraph_asm_nodes
;
135 /* Last node in cgraph_asm_nodes. */
136 static GTY(()) struct cgraph_asm_node
*cgraph_asm_last_node
;
138 /* The order index of the next cgraph node to be created. This is
139 used so that we can sort the cgraph nodes in order by when we saw
140 them, to support -fno-toplevel-reorder. */
143 /* List of hooks trigerred on cgraph_edge events. */
144 struct cgraph_edge_hook_list
{
145 cgraph_edge_hook hook
;
147 struct cgraph_edge_hook_list
*next
;
150 /* List of hooks trigerred on cgraph_node events. */
151 struct cgraph_node_hook_list
{
152 cgraph_node_hook hook
;
154 struct cgraph_node_hook_list
*next
;
157 /* List of hooks trigerred on events involving two cgraph_edges. */
158 struct cgraph_2edge_hook_list
{
159 cgraph_2edge_hook hook
;
161 struct cgraph_2edge_hook_list
*next
;
164 /* List of hooks trigerred on events involving two cgraph_nodes. */
165 struct cgraph_2node_hook_list
{
166 cgraph_2node_hook hook
;
168 struct cgraph_2node_hook_list
*next
;
171 /* List of hooks triggered when an edge is removed. */
172 struct cgraph_edge_hook_list
*first_cgraph_edge_removal_hook
;
173 /* List of hooks triggered when a node is removed. */
174 struct cgraph_node_hook_list
*first_cgraph_node_removal_hook
;
175 /* List of hooks triggered when an edge is duplicated. */
176 struct cgraph_2edge_hook_list
*first_cgraph_edge_duplicated_hook
;
177 /* List of hooks triggered when a node is duplicated. */
178 struct cgraph_2node_hook_list
*first_cgraph_node_duplicated_hook
;
179 /* List of hooks triggered when an function is inserted. */
180 struct cgraph_node_hook_list
*first_cgraph_function_insertion_hook
;
182 /* Head of a linked list of unused (freed) call graph nodes.
183 Do not GTY((delete)) this list so UIDs gets reliably recycled. */
184 static GTY(()) struct cgraph_node
*free_nodes
;
185 /* Head of a linked list of unused (freed) call graph edges.
186 Do not GTY((delete)) this list so UIDs gets reliably recycled. */
187 static GTY(()) struct cgraph_edge
*free_edges
;
189 /* Macros to access the next item in the list of free cgraph nodes and
191 #define NEXT_FREE_NODE(NODE) (NODE)->next
192 #define NEXT_FREE_EDGE(EDGE) (EDGE)->prev_caller
194 /* Register HOOK to be called with DATA on each removed edge. */
195 struct cgraph_edge_hook_list
*
196 cgraph_add_edge_removal_hook (cgraph_edge_hook hook
, void *data
)
198 struct cgraph_edge_hook_list
*entry
;
199 struct cgraph_edge_hook_list
**ptr
= &first_cgraph_edge_removal_hook
;
201 entry
= (struct cgraph_edge_hook_list
*) xmalloc (sizeof (*entry
));
211 /* Remove ENTRY from the list of hooks called on removing edges. */
213 cgraph_remove_edge_removal_hook (struct cgraph_edge_hook_list
*entry
)
215 struct cgraph_edge_hook_list
**ptr
= &first_cgraph_edge_removal_hook
;
217 while (*ptr
!= entry
)
223 /* Call all edge removal hooks. */
225 cgraph_call_edge_removal_hooks (struct cgraph_edge
*e
)
227 struct cgraph_edge_hook_list
*entry
= first_cgraph_edge_removal_hook
;
230 entry
->hook (e
, entry
->data
);
235 /* Register HOOK to be called with DATA on each removed node. */
236 struct cgraph_node_hook_list
*
237 cgraph_add_node_removal_hook (cgraph_node_hook hook
, void *data
)
239 struct cgraph_node_hook_list
*entry
;
240 struct cgraph_node_hook_list
**ptr
= &first_cgraph_node_removal_hook
;
242 entry
= (struct cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
252 /* Remove ENTRY from the list of hooks called on removing nodes. */
254 cgraph_remove_node_removal_hook (struct cgraph_node_hook_list
*entry
)
256 struct cgraph_node_hook_list
**ptr
= &first_cgraph_node_removal_hook
;
258 while (*ptr
!= entry
)
264 /* Call all node removal hooks. */
266 cgraph_call_node_removal_hooks (struct cgraph_node
*node
)
268 struct cgraph_node_hook_list
*entry
= first_cgraph_node_removal_hook
;
271 entry
->hook (node
, entry
->data
);
276 /* Register HOOK to be called with DATA on each inserted node. */
277 struct cgraph_node_hook_list
*
278 cgraph_add_function_insertion_hook (cgraph_node_hook hook
, void *data
)
280 struct cgraph_node_hook_list
*entry
;
281 struct cgraph_node_hook_list
**ptr
= &first_cgraph_function_insertion_hook
;
283 entry
= (struct cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
293 /* Remove ENTRY from the list of hooks called on inserted nodes. */
295 cgraph_remove_function_insertion_hook (struct cgraph_node_hook_list
*entry
)
297 struct cgraph_node_hook_list
**ptr
= &first_cgraph_function_insertion_hook
;
299 while (*ptr
!= entry
)
305 /* Call all node insertion hooks. */
307 cgraph_call_function_insertion_hooks (struct cgraph_node
*node
)
309 struct cgraph_node_hook_list
*entry
= first_cgraph_function_insertion_hook
;
312 entry
->hook (node
, entry
->data
);
317 /* Register HOOK to be called with DATA on each duplicated edge. */
318 struct cgraph_2edge_hook_list
*
319 cgraph_add_edge_duplication_hook (cgraph_2edge_hook hook
, void *data
)
321 struct cgraph_2edge_hook_list
*entry
;
322 struct cgraph_2edge_hook_list
**ptr
= &first_cgraph_edge_duplicated_hook
;
324 entry
= (struct cgraph_2edge_hook_list
*) xmalloc (sizeof (*entry
));
334 /* Remove ENTRY from the list of hooks called on duplicating edges. */
336 cgraph_remove_edge_duplication_hook (struct cgraph_2edge_hook_list
*entry
)
338 struct cgraph_2edge_hook_list
**ptr
= &first_cgraph_edge_duplicated_hook
;
340 while (*ptr
!= entry
)
346 /* Call all edge duplication hooks. */
348 cgraph_call_edge_duplication_hooks (struct cgraph_edge
*cs1
,
349 struct cgraph_edge
*cs2
)
351 struct cgraph_2edge_hook_list
*entry
= first_cgraph_edge_duplicated_hook
;
354 entry
->hook (cs1
, cs2
, entry
->data
);
359 /* Register HOOK to be called with DATA on each duplicated node. */
360 struct cgraph_2node_hook_list
*
361 cgraph_add_node_duplication_hook (cgraph_2node_hook hook
, void *data
)
363 struct cgraph_2node_hook_list
*entry
;
364 struct cgraph_2node_hook_list
**ptr
= &first_cgraph_node_duplicated_hook
;
366 entry
= (struct cgraph_2node_hook_list
*) xmalloc (sizeof (*entry
));
376 /* Remove ENTRY from the list of hooks called on duplicating nodes. */
378 cgraph_remove_node_duplication_hook (struct cgraph_2node_hook_list
*entry
)
380 struct cgraph_2node_hook_list
**ptr
= &first_cgraph_node_duplicated_hook
;
382 while (*ptr
!= entry
)
388 /* Call all node duplication hooks. */
390 cgraph_call_node_duplication_hooks (struct cgraph_node
*node1
,
391 struct cgraph_node
*node2
)
393 struct cgraph_2node_hook_list
*entry
= first_cgraph_node_duplicated_hook
;
396 entry
->hook (node1
, node2
, entry
->data
);
401 /* Returns a hash code for P. */
404 hash_node (const void *p
)
406 const struct cgraph_node
*n
= (const struct cgraph_node
*) p
;
407 return (hashval_t
) DECL_UID (n
->decl
);
411 /* Returns nonzero if P1 and P2 are equal. */
414 eq_node (const void *p1
, const void *p2
)
416 const struct cgraph_node
*n1
= (const struct cgraph_node
*) p1
;
417 const struct cgraph_node
*n2
= (const struct cgraph_node
*) p2
;
418 return DECL_UID (n1
->decl
) == DECL_UID (n2
->decl
);
421 /* Allocate new callgraph node. */
423 static inline struct cgraph_node
*
424 cgraph_allocate_node (void)
426 struct cgraph_node
*node
;
431 free_nodes
= NEXT_FREE_NODE (node
);
435 node
= GGC_CNEW (struct cgraph_node
);
436 node
->uid
= cgraph_max_uid
++;
442 /* Allocate new callgraph node and insert it into basic data structures. */
444 static struct cgraph_node
*
445 cgraph_create_node (void)
447 struct cgraph_node
*node
= cgraph_allocate_node ();
449 node
->next
= cgraph_nodes
;
451 node
->order
= cgraph_order
++;
453 cgraph_nodes
->previous
= node
;
454 node
->previous
= NULL
;
455 node
->global
.estimated_growth
= INT_MIN
;
461 /* Return cgraph node assigned to DECL. Create new one when needed. */
464 cgraph_node (tree decl
)
466 struct cgraph_node key
, *node
, **slot
;
468 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
471 cgraph_hash
= htab_create_ggc (10, hash_node
, eq_node
, NULL
);
475 slot
= (struct cgraph_node
**) htab_find_slot (cgraph_hash
, &key
, INSERT
);
480 if (node
->same_body_alias
)
481 node
= node
->same_body
;
485 node
= cgraph_create_node ();
488 if (DECL_CONTEXT (decl
) && TREE_CODE (DECL_CONTEXT (decl
)) == FUNCTION_DECL
)
490 node
->origin
= cgraph_node (DECL_CONTEXT (decl
));
491 node
->next_nested
= node
->origin
->nested
;
492 node
->origin
->nested
= node
;
494 if (assembler_name_hash
)
497 tree name
= DECL_ASSEMBLER_NAME (decl
);
499 aslot
= htab_find_slot_with_hash (assembler_name_hash
, name
,
500 decl_assembler_name_hash (name
),
502 /* We can have multiple declarations with same assembler name. For C++
503 it is __builtin_strlen and strlen, for instance. Do we need to
504 record them all? Original implementation marked just first one
505 so lets hope for the best. */
512 /* Mark ALIAS as an alias to DECL. */
514 static struct cgraph_node
*
515 cgraph_same_body_alias_1 (tree alias
, tree decl
)
517 struct cgraph_node key
, *alias_node
, *decl_node
, **slot
;
519 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
520 gcc_assert (TREE_CODE (alias
) == FUNCTION_DECL
);
521 decl_node
= cgraph_node (decl
);
525 slot
= (struct cgraph_node
**) htab_find_slot (cgraph_hash
, &key
, INSERT
);
527 /* If the cgraph_node has been already created, fail. */
531 alias_node
= cgraph_allocate_node ();
532 alias_node
->decl
= alias
;
533 alias_node
->same_body_alias
= 1;
534 alias_node
->same_body
= decl_node
;
535 alias_node
->previous
= NULL
;
536 if (decl_node
->same_body
)
537 decl_node
->same_body
->previous
= alias_node
;
538 alias_node
->next
= decl_node
->same_body
;
539 alias_node
->thunk
.alias
= decl
;
540 decl_node
->same_body
= alias_node
;
545 /* Attempt to mark ALIAS as an alias to DECL. Return TRUE if successful.
546 Same body aliases are output whenever the body of DECL is output,
547 and cgraph_node (ALIAS) transparently returns cgraph_node (DECL). */
550 cgraph_same_body_alias (tree alias
, tree decl
)
552 #ifndef ASM_OUTPUT_DEF
553 /* If aliases aren't supported by the assembler, fail. */
557 /*gcc_assert (!assembler_name_hash);*/
559 return cgraph_same_body_alias_1 (alias
, decl
) != NULL
;
563 cgraph_add_thunk (tree alias
, tree decl
, bool this_adjusting
,
564 HOST_WIDE_INT fixed_offset
, HOST_WIDE_INT virtual_value
,
568 struct cgraph_node
*node
= cgraph_get_node (alias
);
572 gcc_assert (node
->local
.finalized
);
573 gcc_assert (!node
->same_body
);
574 cgraph_remove_node (node
);
577 node
= cgraph_same_body_alias_1 (alias
, decl
);
579 #ifdef ENABLE_CHECKING
580 gcc_assert (!virtual_offset
581 || tree_int_cst_equal (virtual_offset
, size_int (virtual_value
)));
583 node
->thunk
.fixed_offset
= fixed_offset
;
584 node
->thunk
.this_adjusting
= this_adjusting
;
585 node
->thunk
.virtual_value
= virtual_value
;
586 node
->thunk
.virtual_offset_p
= virtual_offset
!= NULL
;
587 node
->thunk
.alias
= real_alias
;
588 node
->thunk
.thunk_p
= true;
591 /* Returns the cgraph node assigned to DECL or NULL if no cgraph node
595 cgraph_get_node (tree decl
)
597 struct cgraph_node key
, *node
= NULL
, **slot
;
599 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
606 slot
= (struct cgraph_node
**) htab_find_slot (cgraph_hash
, &key
,
612 if (node
->same_body_alias
)
613 node
= node
->same_body
;
618 /* Insert already constructed node into hashtable. */
621 cgraph_insert_node_to_hashtable (struct cgraph_node
*node
)
623 struct cgraph_node
**slot
;
625 slot
= (struct cgraph_node
**) htab_find_slot (cgraph_hash
, node
, INSERT
);
631 /* Returns a hash code for P. */
634 hash_node_by_assembler_name (const void *p
)
636 const struct cgraph_node
*n
= (const struct cgraph_node
*) p
;
637 return (hashval_t
) decl_assembler_name_hash (DECL_ASSEMBLER_NAME (n
->decl
));
640 /* Returns nonzero if P1 and P2 are equal. */
643 eq_assembler_name (const void *p1
, const void *p2
)
645 const struct cgraph_node
*n1
= (const struct cgraph_node
*) p1
;
646 const_tree name
= (const_tree
)p2
;
647 return (decl_assembler_name_equal (n1
->decl
, name
));
650 /* Return the cgraph node that has ASMNAME for its DECL_ASSEMBLER_NAME.
651 Return NULL if there's no such node. */
654 cgraph_node_for_asm (tree asmname
)
656 struct cgraph_node
*node
;
659 if (!assembler_name_hash
)
661 assembler_name_hash
=
662 htab_create_ggc (10, hash_node_by_assembler_name
, eq_assembler_name
,
664 for (node
= cgraph_nodes
; node
; node
= node
->next
)
665 if (!node
->global
.inlined_to
)
667 tree name
= DECL_ASSEMBLER_NAME (node
->decl
);
668 slot
= htab_find_slot_with_hash (assembler_name_hash
, name
,
669 decl_assembler_name_hash (name
),
671 /* We can have multiple declarations with same assembler name. For C++
672 it is __builtin_strlen and strlen, for instance. Do we need to
673 record them all? Original implementation marked just first one
674 so lets hope for the best. */
679 struct cgraph_node
*alias
;
681 for (alias
= node
->same_body
; alias
; alias
= alias
->next
)
684 name
= DECL_ASSEMBLER_NAME (alias
->decl
);
685 hash
= decl_assembler_name_hash (name
);
686 slot
= htab_find_slot_with_hash (assembler_name_hash
, name
,
695 slot
= htab_find_slot_with_hash (assembler_name_hash
, asmname
,
696 decl_assembler_name_hash (asmname
),
701 node
= (struct cgraph_node
*) *slot
;
702 if (node
->same_body_alias
)
703 node
= node
->same_body
;
709 /* Returns a hash value for X (which really is a die_struct). */
712 edge_hash (const void *x
)
714 return htab_hash_pointer (((const struct cgraph_edge
*) x
)->call_stmt
);
717 /* Return nonzero if decl_id of die_struct X is the same as UID of decl *Y. */
720 edge_eq (const void *x
, const void *y
)
722 return ((const struct cgraph_edge
*) x
)->call_stmt
== y
;
726 /* Return the callgraph edge representing the GIMPLE_CALL statement
730 cgraph_edge (struct cgraph_node
*node
, gimple call_stmt
)
732 struct cgraph_edge
*e
, *e2
;
735 if (node
->call_site_hash
)
736 return (struct cgraph_edge
*)
737 htab_find_with_hash (node
->call_site_hash
, call_stmt
,
738 htab_hash_pointer (call_stmt
));
740 /* This loop may turn out to be performance problem. In such case adding
741 hashtables into call nodes with very many edges is probably best
742 solution. It is not good idea to add pointer into CALL_EXPR itself
743 because we want to make possible having multiple cgraph nodes representing
744 different clones of the same body before the body is actually cloned. */
745 for (e
= node
->callees
; e
; e
= e
->next_callee
)
747 if (e
->call_stmt
== call_stmt
)
754 node
->call_site_hash
= htab_create_ggc (120, edge_hash
, edge_eq
, NULL
);
755 for (e2
= node
->callees
; e2
; e2
= e2
->next_callee
)
758 slot
= htab_find_slot_with_hash (node
->call_site_hash
,
760 htab_hash_pointer (e2
->call_stmt
),
771 /* Change field call_stmt of edge E to NEW_STMT. */
774 cgraph_set_call_stmt (struct cgraph_edge
*e
, gimple new_stmt
)
776 if (e
->caller
->call_site_hash
)
778 htab_remove_elt_with_hash (e
->caller
->call_site_hash
,
780 htab_hash_pointer (e
->call_stmt
));
782 e
->call_stmt
= new_stmt
;
783 push_cfun (DECL_STRUCT_FUNCTION (e
->caller
->decl
));
784 e
->can_throw_external
= stmt_can_throw_external (new_stmt
);
786 if (e
->caller
->call_site_hash
)
789 slot
= htab_find_slot_with_hash (e
->caller
->call_site_hash
,
792 (e
->call_stmt
), INSERT
);
798 /* Like cgraph_set_call_stmt but walk the clone tree and update all
799 clones sharing the same function body. */
802 cgraph_set_call_stmt_including_clones (struct cgraph_node
*orig
,
803 gimple old_stmt
, gimple new_stmt
)
805 struct cgraph_node
*node
;
806 struct cgraph_edge
*edge
= cgraph_edge (orig
, old_stmt
);
809 cgraph_set_call_stmt (edge
, new_stmt
);
815 struct cgraph_edge
*edge
= cgraph_edge (node
, old_stmt
);
817 cgraph_set_call_stmt (edge
, new_stmt
);
820 else if (node
->next_sibling_clone
)
821 node
= node
->next_sibling_clone
;
824 while (node
!= orig
&& !node
->next_sibling_clone
)
825 node
= node
->clone_of
;
827 node
= node
->next_sibling_clone
;
832 /* Like cgraph_create_edge walk the clone tree and update all clones sharing
833 same function body. If clones already have edge for OLD_STMT; only
834 update the edge same way as cgraph_set_call_stmt_including_clones does.
836 TODO: COUNT and LOOP_DEPTH should be properly distributed based on relative
837 frequencies of the clones. */
840 cgraph_create_edge_including_clones (struct cgraph_node
*orig
,
841 struct cgraph_node
*callee
,
843 gimple stmt
, gcov_type count
,
844 int freq
, int loop_depth
,
845 cgraph_inline_failed_t reason
)
847 struct cgraph_node
*node
;
848 struct cgraph_edge
*edge
;
850 if (!cgraph_edge (orig
, stmt
))
852 edge
= cgraph_create_edge (orig
, callee
, stmt
, count
, freq
, loop_depth
);
853 edge
->inline_failed
= reason
;
860 struct cgraph_edge
*edge
= cgraph_edge (node
, old_stmt
);
862 /* It is possible that clones already contain the edge while
863 master didn't. Either we promoted indirect call into direct
864 call in the clone or we are processing clones of unreachable
865 master where edges has been rmeoved. */
867 cgraph_set_call_stmt (edge
, stmt
);
868 else if (!cgraph_edge (node
, stmt
))
870 edge
= cgraph_create_edge (node
, callee
, stmt
, count
,
872 edge
->inline_failed
= reason
;
877 else if (node
->next_sibling_clone
)
878 node
= node
->next_sibling_clone
;
881 while (node
!= orig
&& !node
->next_sibling_clone
)
882 node
= node
->clone_of
;
884 node
= node
->next_sibling_clone
;
889 /* Give initial reasons why inlining would fail on EDGE. This gets either
890 nullified or usually overwritten by more precise reasons later. */
893 initialize_inline_failed (struct cgraph_edge
*e
)
895 struct cgraph_node
*callee
= e
->callee
;
897 if (!callee
->analyzed
)
898 e
->inline_failed
= CIF_BODY_NOT_AVAILABLE
;
899 else if (callee
->local
.redefined_extern_inline
)
900 e
->inline_failed
= CIF_REDEFINED_EXTERN_INLINE
;
901 else if (!callee
->local
.inlinable
)
902 e
->inline_failed
= CIF_FUNCTION_NOT_INLINABLE
;
903 else if (e
->call_stmt
&& gimple_call_cannot_inline_p (e
->call_stmt
))
904 e
->inline_failed
= CIF_MISMATCHED_ARGUMENTS
;
906 e
->inline_failed
= CIF_FUNCTION_NOT_CONSIDERED
;
909 /* Create edge from CALLER to CALLEE in the cgraph. */
912 cgraph_create_edge (struct cgraph_node
*caller
, struct cgraph_node
*callee
,
913 gimple call_stmt
, gcov_type count
, int freq
, int nest
)
915 struct cgraph_edge
*edge
;
918 /* LTO does not actually have access to the call_stmt since these
919 have not been loaded yet. */
922 #ifdef ENABLE_CHECKING
923 /* This is rather pricely check possibly trigerring construction of
924 call stmt hashtable. */
925 gcc_assert (!cgraph_edge (caller
, call_stmt
));
928 gcc_assert (is_gimple_call (call_stmt
));
934 free_edges
= NEXT_FREE_EDGE (edge
);
938 edge
= GGC_NEW (struct cgraph_edge
);
939 edge
->uid
= cgraph_edge_max_uid
++;
944 edge
->caller
= caller
;
945 edge
->callee
= callee
;
946 edge
->call_stmt
= call_stmt
;
947 push_cfun (DECL_STRUCT_FUNCTION (caller
->decl
));
948 edge
->can_throw_external
949 = call_stmt
? stmt_can_throw_external (call_stmt
) : false;
951 edge
->prev_caller
= NULL
;
952 edge
->next_caller
= callee
->callers
;
954 callee
->callers
->prev_caller
= edge
;
955 edge
->prev_callee
= NULL
;
956 edge
->next_callee
= caller
->callees
;
958 caller
->callees
->prev_callee
= edge
;
959 caller
->callees
= edge
;
960 callee
->callers
= edge
;
962 gcc_assert (count
>= 0);
963 edge
->frequency
= freq
;
964 gcc_assert (freq
>= 0);
965 gcc_assert (freq
<= CGRAPH_FREQ_MAX
);
966 edge
->loop_nest
= nest
;
967 edge
->indirect_call
= 0;
968 edge
->call_stmt_cannot_inline_p
=
969 (call_stmt
? gimple_call_cannot_inline_p (call_stmt
) : false);
970 if (call_stmt
&& caller
->call_site_hash
)
973 slot
= htab_find_slot_with_hash (caller
->call_site_hash
,
982 initialize_inline_failed (edge
);
987 /* Remove the edge E from the list of the callers of the callee. */
990 cgraph_edge_remove_callee (struct cgraph_edge
*e
)
993 e
->prev_caller
->next_caller
= e
->next_caller
;
995 e
->next_caller
->prev_caller
= e
->prev_caller
;
997 e
->callee
->callers
= e
->next_caller
;
1000 /* Remove the edge E from the list of the callees of the caller. */
1003 cgraph_edge_remove_caller (struct cgraph_edge
*e
)
1006 e
->prev_callee
->next_callee
= e
->next_callee
;
1008 e
->next_callee
->prev_callee
= e
->prev_callee
;
1009 if (!e
->prev_callee
)
1010 e
->caller
->callees
= e
->next_callee
;
1011 if (e
->caller
->call_site_hash
)
1012 htab_remove_elt_with_hash (e
->caller
->call_site_hash
,
1014 htab_hash_pointer (e
->call_stmt
));
1017 /* Put the edge onto the free list. */
1020 cgraph_free_edge (struct cgraph_edge
*e
)
1024 /* Clear out the edge so we do not dangle pointers. */
1025 memset (e
, 0, sizeof (*e
));
1027 NEXT_FREE_EDGE (e
) = free_edges
;
1031 /* Remove the edge E in the cgraph. */
1034 cgraph_remove_edge (struct cgraph_edge
*e
)
1036 /* Call all edge removal hooks. */
1037 cgraph_call_edge_removal_hooks (e
);
1039 /* Remove from callers list of the callee. */
1040 cgraph_edge_remove_callee (e
);
1042 /* Remove from callees list of the callers. */
1043 cgraph_edge_remove_caller (e
);
1045 /* Put the edge onto the free list. */
1046 cgraph_free_edge (e
);
1049 /* Redirect callee of E to N. The function does not update underlying
1053 cgraph_redirect_edge_callee (struct cgraph_edge
*e
, struct cgraph_node
*n
)
1055 /* Remove from callers list of the current callee. */
1056 cgraph_edge_remove_callee (e
);
1058 /* Insert to callers list of the new callee. */
1059 e
->prev_caller
= NULL
;
1061 n
->callers
->prev_caller
= e
;
1062 e
->next_caller
= n
->callers
;
1068 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1069 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
1070 of OLD_STMT if it was previously call statement. */
1073 cgraph_update_edges_for_call_stmt_node (struct cgraph_node
*node
,
1074 gimple old_stmt
, tree old_call
, gimple new_stmt
)
1076 tree new_call
= (is_gimple_call (new_stmt
)) ? gimple_call_fndecl (new_stmt
) : 0;
1078 /* We are seeing indirect calls, then there is nothing to update. */
1079 if (!new_call
&& !old_call
)
1081 /* See if we turned indirect call into direct call or folded call to one builtin
1082 into different bultin. */
1083 if (old_call
!= new_call
)
1085 struct cgraph_edge
*e
= cgraph_edge (node
, old_stmt
);
1086 struct cgraph_edge
*ne
= NULL
;
1093 /* See if the call is already there. It might be because of indirect
1094 inlining already found it. */
1095 if (new_call
&& e
->callee
->decl
== new_call
)
1098 /* Otherwise remove edge and create new one; we can't simply redirect
1099 since function has changed, so inline plan and other information
1100 attached to edge is invalid. */
1102 frequency
= e
->frequency
;
1103 loop_nest
= e
->loop_nest
;
1104 cgraph_remove_edge (e
);
1108 /* We are seeing new direct call; compute profile info based on BB. */
1109 basic_block bb
= gimple_bb (new_stmt
);
1111 frequency
= compute_call_stmt_bb_frequency (current_function_decl
,
1113 loop_nest
= bb
->loop_depth
;
1118 ne
= cgraph_create_edge (node
, cgraph_node (new_call
),
1119 new_stmt
, count
, frequency
,
1121 gcc_assert (ne
->inline_failed
);
1124 /* We only updated the call stmt; update pointer in cgraph edge.. */
1125 else if (old_stmt
!= new_stmt
)
1126 cgraph_set_call_stmt (cgraph_edge (node
, old_stmt
), new_stmt
);
1129 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1130 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1131 of OLD_STMT before it was updated (updating can happen inplace). */
1134 cgraph_update_edges_for_call_stmt (gimple old_stmt
, tree old_decl
, gimple new_stmt
)
1136 struct cgraph_node
*orig
= cgraph_node (cfun
->decl
);
1137 struct cgraph_node
*node
;
1139 cgraph_update_edges_for_call_stmt_node (orig
, old_stmt
, old_decl
, new_stmt
);
1141 for (node
= orig
->clones
; node
!= orig
;)
1143 cgraph_update_edges_for_call_stmt_node (node
, old_stmt
, old_decl
, new_stmt
);
1145 node
= node
->clones
;
1146 else if (node
->next_sibling_clone
)
1147 node
= node
->next_sibling_clone
;
1150 while (node
!= orig
&& !node
->next_sibling_clone
)
1151 node
= node
->clone_of
;
1153 node
= node
->next_sibling_clone
;
1159 /* Remove all callees from the node. */
1162 cgraph_node_remove_callees (struct cgraph_node
*node
)
1164 struct cgraph_edge
*e
, *f
;
1166 /* It is sufficient to remove the edges from the lists of callers of
1167 the callees. The callee list of the node can be zapped with one
1169 for (e
= node
->callees
; e
; e
= f
)
1172 cgraph_call_edge_removal_hooks (e
);
1173 cgraph_edge_remove_callee (e
);
1174 cgraph_free_edge (e
);
1176 node
->callees
= NULL
;
1177 if (node
->call_site_hash
)
1179 htab_delete (node
->call_site_hash
);
1180 node
->call_site_hash
= NULL
;
1184 /* Remove all callers from the node. */
1187 cgraph_node_remove_callers (struct cgraph_node
*node
)
1189 struct cgraph_edge
*e
, *f
;
1191 /* It is sufficient to remove the edges from the lists of callees of
1192 the callers. The caller list of the node can be zapped with one
1194 for (e
= node
->callers
; e
; e
= f
)
1197 cgraph_call_edge_removal_hooks (e
);
1198 cgraph_edge_remove_caller (e
);
1199 cgraph_free_edge (e
);
1201 node
->callers
= NULL
;
1204 /* Release memory used to represent body of function NODE. */
1207 cgraph_release_function_body (struct cgraph_node
*node
)
1209 if (DECL_STRUCT_FUNCTION (node
->decl
))
1211 tree old_decl
= current_function_decl
;
1212 push_cfun (DECL_STRUCT_FUNCTION (node
->decl
));
1213 if (cfun
->gimple_df
)
1215 current_function_decl
= node
->decl
;
1217 delete_tree_cfg_annotations ();
1219 current_function_decl
= old_decl
;
1223 gcc_assert (dom_computed
[0] == DOM_NONE
);
1224 gcc_assert (dom_computed
[1] == DOM_NONE
);
1227 if (cfun
->value_histograms
)
1229 gcc_assert (!current_loops
);
1231 gimple_set_body (node
->decl
, NULL
);
1232 VEC_free (ipa_opt_pass
, heap
,
1233 node
->ipa_transforms_to_apply
);
1234 /* Struct function hangs a lot of data that would leak if we didn't
1235 removed all pointers to it. */
1236 ggc_free (DECL_STRUCT_FUNCTION (node
->decl
));
1237 DECL_STRUCT_FUNCTION (node
->decl
) = NULL
;
1239 DECL_SAVED_TREE (node
->decl
) = NULL
;
1240 /* If the node is abstract and needed, then do not clear DECL_INITIAL
1241 of its associated function function declaration because it's
1242 needed to emit debug info later. */
1243 if (!node
->abstract_and_needed
)
1244 DECL_INITIAL (node
->decl
) = error_mark_node
;
1247 /* Remove same body alias node. */
1250 cgraph_remove_same_body_alias (struct cgraph_node
*node
)
1253 int uid
= node
->uid
;
1255 gcc_assert (node
->same_body_alias
);
1257 node
->previous
->next
= node
->next
;
1259 node
->same_body
->same_body
= node
->next
;
1261 node
->next
->previous
= node
->previous
;
1263 node
->previous
= NULL
;
1264 slot
= htab_find_slot (cgraph_hash
, node
, NO_INSERT
);
1266 htab_clear_slot (cgraph_hash
, slot
);
1267 if (assembler_name_hash
)
1269 tree name
= DECL_ASSEMBLER_NAME (node
->decl
);
1270 slot
= htab_find_slot_with_hash (assembler_name_hash
, name
,
1271 decl_assembler_name_hash (name
),
1273 if (slot
&& *slot
== node
)
1274 htab_clear_slot (assembler_name_hash
, slot
);
1277 /* Clear out the node to NULL all pointers and add the node to the free
1279 memset (node
, 0, sizeof(*node
));
1281 NEXT_FREE_NODE (node
) = free_nodes
;
1285 /* Remove the node from cgraph. */
1288 cgraph_remove_node (struct cgraph_node
*node
)
1291 bool kill_body
= false;
1292 struct cgraph_node
*n
;
1293 int uid
= node
->uid
;
1295 cgraph_call_node_removal_hooks (node
);
1296 cgraph_node_remove_callers (node
);
1297 cgraph_node_remove_callees (node
);
1298 VEC_free (ipa_opt_pass
, heap
,
1299 node
->ipa_transforms_to_apply
);
1301 /* Incremental inlining access removed nodes stored in the postorder list.
1303 node
->needed
= node
->reachable
= false;
1304 for (n
= node
->nested
; n
; n
= n
->next_nested
)
1306 node
->nested
= NULL
;
1309 struct cgraph_node
**node2
= &node
->origin
->nested
;
1311 while (*node2
!= node
)
1312 node2
= &(*node2
)->next_nested
;
1313 *node2
= node
->next_nested
;
1316 node
->previous
->next
= node
->next
;
1318 cgraph_nodes
= node
->next
;
1320 node
->next
->previous
= node
->previous
;
1322 node
->previous
= NULL
;
1323 slot
= htab_find_slot (cgraph_hash
, node
, NO_INSERT
);
1326 struct cgraph_node
*next_inline_clone
;
1328 for (next_inline_clone
= node
->clones
;
1329 next_inline_clone
&& next_inline_clone
->decl
!= node
->decl
;
1330 next_inline_clone
= next_inline_clone
->next_sibling_clone
)
1333 /* If there is inline clone of the node being removed, we need
1334 to put it into the position of removed node and reorganize all
1335 other clones to be based on it. */
1336 if (next_inline_clone
)
1338 struct cgraph_node
*n
;
1339 struct cgraph_node
*new_clones
;
1341 *slot
= next_inline_clone
;
1343 /* Unlink inline clone from the list of clones of removed node. */
1344 if (next_inline_clone
->next_sibling_clone
)
1345 next_inline_clone
->next_sibling_clone
->prev_sibling_clone
1346 = next_inline_clone
->prev_sibling_clone
;
1347 if (next_inline_clone
->prev_sibling_clone
)
1349 gcc_assert (node
->clones
!= next_inline_clone
);
1350 next_inline_clone
->prev_sibling_clone
->next_sibling_clone
1351 = next_inline_clone
->next_sibling_clone
;
1355 gcc_assert (node
->clones
== next_inline_clone
);
1356 node
->clones
= next_inline_clone
->next_sibling_clone
;
1359 new_clones
= node
->clones
;
1360 node
->clones
= NULL
;
1362 /* Copy clone info. */
1363 next_inline_clone
->clone
= node
->clone
;
1365 /* Now place it into clone tree at same level at NODE. */
1366 next_inline_clone
->clone_of
= node
->clone_of
;
1367 next_inline_clone
->prev_sibling_clone
= NULL
;
1368 next_inline_clone
->next_sibling_clone
= NULL
;
1371 if (node
->clone_of
->clones
)
1372 node
->clone_of
->clones
->prev_sibling_clone
= next_inline_clone
;
1373 next_inline_clone
->next_sibling_clone
= node
->clone_of
->clones
;
1374 node
->clone_of
->clones
= next_inline_clone
;
1377 /* Merge the clone list. */
1380 if (!next_inline_clone
->clones
)
1381 next_inline_clone
->clones
= new_clones
;
1384 n
= next_inline_clone
->clones
;
1385 while (n
->next_sibling_clone
)
1386 n
= n
->next_sibling_clone
;
1387 n
->next_sibling_clone
= new_clones
;
1388 new_clones
->prev_sibling_clone
= n
;
1392 /* Update clone_of pointers. */
1396 n
->clone_of
= next_inline_clone
;
1397 n
= n
->next_sibling_clone
;
1402 htab_clear_slot (cgraph_hash
, slot
);
1407 if (node
->prev_sibling_clone
)
1408 node
->prev_sibling_clone
->next_sibling_clone
= node
->next_sibling_clone
;
1409 else if (node
->clone_of
)
1410 node
->clone_of
->clones
= node
->next_sibling_clone
;
1411 if (node
->next_sibling_clone
)
1412 node
->next_sibling_clone
->prev_sibling_clone
= node
->prev_sibling_clone
;
1415 struct cgraph_node
*n
, *next
;
1419 for (n
= node
->clones
; n
->next_sibling_clone
; n
= n
->next_sibling_clone
)
1420 n
->clone_of
= node
->clone_of
;
1421 n
->clone_of
= node
->clone_of
;
1422 n
->next_sibling_clone
= node
->clone_of
->clones
;
1423 if (node
->clone_of
->clones
)
1424 node
->clone_of
->clones
->prev_sibling_clone
= n
;
1425 node
->clone_of
->clones
= node
->clones
;
1429 /* We are removing node with clones. this makes clones inconsistent,
1430 but assume they will be removed subsequently and just keep clone
1431 tree intact. This can happen in unreachable function removal since
1432 we remove unreachable functions in random order, not by bottom-up
1433 walk of clone trees. */
1434 for (n
= node
->clones
; n
; n
= next
)
1436 next
= n
->next_sibling_clone
;
1437 n
->next_sibling_clone
= NULL
;
1438 n
->prev_sibling_clone
= NULL
;
1444 while (node
->same_body
)
1445 cgraph_remove_same_body_alias (node
->same_body
);
1447 if (node
->same_comdat_group
)
1449 struct cgraph_node
*prev
;
1450 for (prev
= node
->same_comdat_group
;
1451 prev
->same_comdat_group
!= node
;
1452 prev
= prev
->same_comdat_group
)
1454 if (node
->same_comdat_group
== prev
)
1455 prev
->same_comdat_group
= NULL
;
1457 prev
->same_comdat_group
= node
->same_comdat_group
;
1458 node
->same_comdat_group
= NULL
;
1461 /* While all the clones are removed after being proceeded, the function
1462 itself is kept in the cgraph even after it is compiled. Check whether
1463 we are done with this body and reclaim it proactively if this is the case.
1465 if (!kill_body
&& *slot
)
1467 struct cgraph_node
*n
= (struct cgraph_node
*) *slot
;
1468 if (!n
->clones
&& !n
->clone_of
&& !n
->global
.inlined_to
1469 && (cgraph_global_info_ready
1470 && (TREE_ASM_WRITTEN (n
->decl
) || DECL_EXTERNAL (n
->decl
)
1471 || n
->in_other_partition
)))
1474 if (assembler_name_hash
)
1476 tree name
= DECL_ASSEMBLER_NAME (node
->decl
);
1477 slot
= htab_find_slot_with_hash (assembler_name_hash
, name
,
1478 decl_assembler_name_hash (name
),
1480 /* Inline clones are not hashed. */
1481 if (slot
&& *slot
== node
)
1482 htab_clear_slot (assembler_name_hash
, slot
);
1486 cgraph_release_function_body (node
);
1488 if (node
->call_site_hash
)
1490 htab_delete (node
->call_site_hash
);
1491 node
->call_site_hash
= NULL
;
1495 /* Clear out the node to NULL all pointers and add the node to the free
1497 memset (node
, 0, sizeof(*node
));
1499 NEXT_FREE_NODE (node
) = free_nodes
;
1503 /* Remove the node from cgraph. */
1506 cgraph_remove_node_and_inline_clones (struct cgraph_node
*node
)
1508 struct cgraph_edge
*e
, *next
;
1509 for (e
= node
->callees
; e
; e
= next
)
1511 next
= e
->next_callee
;
1512 if (!e
->inline_failed
)
1513 cgraph_remove_node_and_inline_clones (e
->callee
);
1515 cgraph_remove_node (node
);
1518 /* Notify finalize_compilation_unit that given node is reachable. */
1521 cgraph_mark_reachable_node (struct cgraph_node
*node
)
1523 if (!node
->reachable
&& node
->local
.finalized
)
1525 notice_global_symbol (node
->decl
);
1526 node
->reachable
= 1;
1527 gcc_assert (!cgraph_global_info_ready
);
1529 node
->next_needed
= cgraph_nodes_queue
;
1530 cgraph_nodes_queue
= node
;
1534 /* Likewise indicate that a node is needed, i.e. reachable via some
1538 cgraph_mark_needed_node (struct cgraph_node
*node
)
1541 gcc_assert (!node
->global
.inlined_to
);
1542 cgraph_mark_reachable_node (node
);
1545 /* Likewise indicate that a node is having address taken. */
1548 cgraph_mark_address_taken_node (struct cgraph_node
*node
)
1550 node
->address_taken
= 1;
1551 cgraph_mark_needed_node (node
);
1554 /* Return local info for the compiled function. */
1556 struct cgraph_local_info
*
1557 cgraph_local_info (tree decl
)
1559 struct cgraph_node
*node
;
1561 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1562 node
= cgraph_node (decl
);
1563 return &node
->local
;
1566 /* Return local info for the compiled function. */
1568 struct cgraph_global_info
*
1569 cgraph_global_info (tree decl
)
1571 struct cgraph_node
*node
;
1573 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
&& cgraph_global_info_ready
);
1574 node
= cgraph_node (decl
);
1575 return &node
->global
;
1578 /* Return local info for the compiled function. */
1580 struct cgraph_rtl_info
*
1581 cgraph_rtl_info (tree decl
)
1583 struct cgraph_node
*node
;
1585 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1586 node
= cgraph_node (decl
);
1587 if (decl
!= current_function_decl
1588 && !TREE_ASM_WRITTEN (node
->decl
))
1593 /* Return a string describing the failure REASON. */
1596 cgraph_inline_failed_string (cgraph_inline_failed_t reason
)
1599 #define DEFCIFCODE(code, string) string,
1601 static const char *cif_string_table
[CIF_N_REASONS
] = {
1602 #include "cif-code.def"
1605 /* Signedness of an enum type is implementation defined, so cast it
1606 to unsigned before testing. */
1607 gcc_assert ((unsigned) reason
< CIF_N_REASONS
);
1608 return cif_string_table
[reason
];
1611 /* Return name of the node used in debug output. */
1613 cgraph_node_name (struct cgraph_node
*node
)
1615 return lang_hooks
.decl_printable_name (node
->decl
, 2);
1618 /* Names used to print out the availability enum. */
1619 const char * const cgraph_availability_names
[] =
1620 {"unset", "not_available", "overwritable", "available", "local"};
1623 /* Dump call graph node NODE to file F. */
1626 dump_cgraph_node (FILE *f
, struct cgraph_node
*node
)
1628 struct cgraph_edge
*edge
;
1629 fprintf (f
, "%s/%i(%i)", cgraph_node_name (node
), node
->uid
,
1631 dump_addr (f
, " @", (void *)node
);
1632 if (DECL_ASSEMBLER_NAME_SET_P (node
->decl
))
1633 fprintf (f
, " (asm: %s)", IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (node
->decl
)));
1634 if (node
->global
.inlined_to
)
1635 fprintf (f
, " (inline copy in %s/%i)",
1636 cgraph_node_name (node
->global
.inlined_to
),
1637 node
->global
.inlined_to
->uid
);
1639 fprintf (f
, " (clone of %s/%i)",
1640 cgraph_node_name (node
->clone_of
),
1641 node
->clone_of
->uid
);
1642 if (cgraph_function_flags_ready
)
1643 fprintf (f
, " availability:%s",
1644 cgraph_availability_names
[cgraph_function_body_availability (node
)]);
1646 fprintf (f
, " analyzed");
1647 if (node
->in_other_partition
)
1648 fprintf (f
, " in_other_partition");
1650 fprintf (f
, " executed "HOST_WIDEST_INT_PRINT_DEC
"x",
1651 (HOST_WIDEST_INT
)node
->count
);
1652 if (node
->local
.inline_summary
.self_time
)
1653 fprintf (f
, " %i time, %i benefit", node
->local
.inline_summary
.self_time
,
1654 node
->local
.inline_summary
.time_inlining_benefit
);
1655 if (node
->global
.time
&& node
->global
.time
1656 != node
->local
.inline_summary
.self_time
)
1657 fprintf (f
, " (%i after inlining)", node
->global
.time
);
1658 if (node
->local
.inline_summary
.self_size
)
1659 fprintf (f
, " %i size, %i benefit", node
->local
.inline_summary
.self_size
,
1660 node
->local
.inline_summary
.size_inlining_benefit
);
1661 if (node
->global
.size
&& node
->global
.size
1662 != node
->local
.inline_summary
.self_size
)
1663 fprintf (f
, " (%i after inlining)", node
->global
.size
);
1664 if (node
->local
.inline_summary
.estimated_self_stack_size
)
1665 fprintf (f
, " %i bytes stack usage", (int)node
->local
.inline_summary
.estimated_self_stack_size
);
1666 if (node
->global
.estimated_stack_size
!= node
->local
.inline_summary
.estimated_self_stack_size
)
1667 fprintf (f
, " %i bytes after inlining", (int)node
->global
.estimated_stack_size
);
1669 fprintf (f
, " nested in: %s", cgraph_node_name (node
->origin
));
1671 fprintf (f
, " needed");
1672 if (node
->address_taken
)
1673 fprintf (f
, " address_taken");
1674 else if (node
->reachable
)
1675 fprintf (f
, " reachable");
1676 else if (node
->reachable_from_other_partition
)
1677 fprintf (f
, " reachable_from_other_partition");
1678 if (gimple_has_body_p (node
->decl
))
1679 fprintf (f
, " body");
1681 fprintf (f
, " process");
1682 if (node
->local
.local
)
1683 fprintf (f
, " local");
1684 if (node
->local
.externally_visible
)
1685 fprintf (f
, " externally_visible");
1686 if (node
->local
.finalized
)
1687 fprintf (f
, " finalized");
1688 if (node
->local
.disregard_inline_limits
)
1689 fprintf (f
, " always_inline");
1690 else if (node
->local
.inlinable
)
1691 fprintf (f
, " inlinable");
1692 if (node
->local
.redefined_extern_inline
)
1693 fprintf (f
, " redefined_extern_inline");
1694 if (TREE_ASM_WRITTEN (node
->decl
))
1695 fprintf (f
, " asm_written");
1697 fprintf (f
, "\n called by: ");
1698 for (edge
= node
->callers
; edge
; edge
= edge
->next_caller
)
1700 fprintf (f
, "%s/%i ", cgraph_node_name (edge
->caller
),
1703 fprintf (f
, "("HOST_WIDEST_INT_PRINT_DEC
"x) ",
1704 (HOST_WIDEST_INT
)edge
->count
);
1705 if (edge
->frequency
)
1706 fprintf (f
, "(%.2f per call) ",
1707 edge
->frequency
/ (double)CGRAPH_FREQ_BASE
);
1708 if (!edge
->inline_failed
)
1709 fprintf(f
, "(inlined) ");
1710 if (edge
->indirect_call
)
1711 fprintf(f
, "(indirect) ");
1712 if (edge
->can_throw_external
)
1713 fprintf(f
, "(can throw external) ");
1716 fprintf (f
, "\n calls: ");
1717 for (edge
= node
->callees
; edge
; edge
= edge
->next_callee
)
1719 fprintf (f
, "%s/%i ", cgraph_node_name (edge
->callee
),
1721 if (!edge
->inline_failed
)
1722 fprintf(f
, "(inlined) ");
1723 if (edge
->indirect_call
)
1724 fprintf(f
, "(indirect) ");
1726 fprintf (f
, "("HOST_WIDEST_INT_PRINT_DEC
"x) ",
1727 (HOST_WIDEST_INT
)edge
->count
);
1728 if (edge
->frequency
)
1729 fprintf (f
, "(%.2f per call) ",
1730 edge
->frequency
/ (double)CGRAPH_FREQ_BASE
);
1731 if (edge
->loop_nest
)
1732 fprintf (f
, "(nested in %i loops) ", edge
->loop_nest
);
1733 if (edge
->can_throw_external
)
1734 fprintf(f
, "(can throw external) ");
1738 if (node
->same_body
)
1740 struct cgraph_node
*n
;
1741 fprintf (f
, " aliases & thunks:");
1742 for (n
= node
->same_body
; n
; n
= n
->next
)
1744 fprintf (f
, " %s/%i", cgraph_node_name (n
), n
->uid
);
1745 if (n
->thunk
.thunk_p
)
1747 fprintf (f
, " (thunk of %s fixed ofset %i virtual value %i has "
1748 "virtual offset %i",
1749 lang_hooks
.decl_printable_name (n
->thunk
.alias
, 2),
1750 (int)n
->thunk
.fixed_offset
,
1751 (int)n
->thunk
.virtual_value
,
1752 (int)n
->thunk
.virtual_offset_p
);
1761 /* Dump call graph node NODE to stderr. */
1764 debug_cgraph_node (struct cgraph_node
*node
)
1766 dump_cgraph_node (stderr
, node
);
1770 /* Dump the callgraph to file F. */
1773 dump_cgraph (FILE *f
)
1775 struct cgraph_node
*node
;
1777 fprintf (f
, "callgraph:\n\n");
1778 for (node
= cgraph_nodes
; node
; node
= node
->next
)
1779 dump_cgraph_node (f
, node
);
1783 /* Dump the call graph to stderr. */
1788 dump_cgraph (stderr
);
1792 /* Set the DECL_ASSEMBLER_NAME and update cgraph hashtables. */
1795 change_decl_assembler_name (tree decl
, tree name
)
1797 gcc_assert (!assembler_name_hash
);
1798 if (!DECL_ASSEMBLER_NAME_SET_P (decl
))
1800 SET_DECL_ASSEMBLER_NAME (decl
, name
);
1803 if (name
== DECL_ASSEMBLER_NAME (decl
))
1806 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl
))
1807 && DECL_RTL_SET_P (decl
))
1808 warning (0, "%D renamed after being referenced in assembly", decl
);
1810 SET_DECL_ASSEMBLER_NAME (decl
, name
);
1813 /* Add a top-level asm statement to the list. */
1815 struct cgraph_asm_node
*
1816 cgraph_add_asm_node (tree asm_str
)
1818 struct cgraph_asm_node
*node
;
1820 node
= GGC_CNEW (struct cgraph_asm_node
);
1821 node
->asm_str
= asm_str
;
1822 node
->order
= cgraph_order
++;
1824 if (cgraph_asm_nodes
== NULL
)
1825 cgraph_asm_nodes
= node
;
1827 cgraph_asm_last_node
->next
= node
;
1828 cgraph_asm_last_node
= node
;
1832 /* Return true when the DECL can possibly be inlined. */
1834 cgraph_function_possibly_inlined_p (tree decl
)
1836 if (!cgraph_global_info_ready
)
1837 return !DECL_UNINLINABLE (decl
);
1838 return DECL_POSSIBLY_INLINED (decl
);
1841 /* Create clone of E in the node N represented by CALL_EXPR the callgraph. */
1842 struct cgraph_edge
*
1843 cgraph_clone_edge (struct cgraph_edge
*e
, struct cgraph_node
*n
,
1844 gimple call_stmt
, unsigned stmt_uid
, gcov_type count_scale
,
1845 int freq_scale
, int loop_nest
, bool update_original
)
1847 struct cgraph_edge
*new_edge
;
1848 gcov_type count
= e
->count
* count_scale
/ REG_BR_PROB_BASE
;
1851 /* We do not want to ignore loop nest after frequency drops to 0. */
1854 freq
= e
->frequency
* (gcov_type
) freq_scale
/ CGRAPH_FREQ_BASE
;
1855 if (freq
> CGRAPH_FREQ_MAX
)
1856 freq
= CGRAPH_FREQ_MAX
;
1857 new_edge
= cgraph_create_edge (n
, e
->callee
, call_stmt
, count
, freq
,
1858 e
->loop_nest
+ loop_nest
);
1860 new_edge
->inline_failed
= e
->inline_failed
;
1861 new_edge
->indirect_call
= e
->indirect_call
;
1862 new_edge
->lto_stmt_uid
= stmt_uid
;
1863 if (update_original
)
1865 e
->count
-= new_edge
->count
;
1869 cgraph_call_edge_duplication_hooks (e
, new_edge
);
1873 /* Create node representing clone of N executed COUNT times. Decrease
1874 the execution counts from original node too.
1876 When UPDATE_ORIGINAL is true, the counts are subtracted from the original
1877 function's profile to reflect the fact that part of execution is handled
1879 struct cgraph_node
*
1880 cgraph_clone_node (struct cgraph_node
*n
, gcov_type count
, int freq
,
1881 int loop_nest
, bool update_original
,
1882 VEC(cgraph_edge_p
,heap
) *redirect_callers
)
1884 struct cgraph_node
*new_node
= cgraph_create_node ();
1885 struct cgraph_edge
*e
;
1886 gcov_type count_scale
;
1889 new_node
->decl
= n
->decl
;
1890 new_node
->origin
= n
->origin
;
1891 if (new_node
->origin
)
1893 new_node
->next_nested
= new_node
->origin
->nested
;
1894 new_node
->origin
->nested
= new_node
;
1896 new_node
->analyzed
= n
->analyzed
;
1897 new_node
->local
= n
->local
;
1898 new_node
->local
.externally_visible
= false;
1899 new_node
->global
= n
->global
;
1900 new_node
->rtl
= n
->rtl
;
1901 new_node
->count
= count
;
1902 new_node
->clone
= n
->clone
;
1903 new_node
->clone
.tree_map
= 0;
1906 if (new_node
->count
> n
->count
)
1907 count_scale
= REG_BR_PROB_BASE
;
1909 count_scale
= new_node
->count
* REG_BR_PROB_BASE
/ n
->count
;
1913 if (update_original
)
1920 for (i
= 0; VEC_iterate (cgraph_edge_p
, redirect_callers
, i
, e
); i
++)
1922 /* Redirect calls to the old version node to point to its new
1924 cgraph_redirect_edge_callee (e
, new_node
);
1928 for (e
= n
->callees
;e
; e
=e
->next_callee
)
1929 cgraph_clone_edge (e
, new_node
, e
->call_stmt
, e
->lto_stmt_uid
,
1930 count_scale
, freq
, loop_nest
, update_original
);
1932 new_node
->next_sibling_clone
= n
->clones
;
1934 n
->clones
->prev_sibling_clone
= new_node
;
1935 n
->clones
= new_node
;
1936 new_node
->clone_of
= n
;
1938 cgraph_call_node_duplication_hooks (n
, new_node
);
1942 /* Create a new name for omp child function. Returns an identifier. */
1944 static GTY(()) unsigned int clone_fn_id_num
;
1947 clone_function_name (tree decl
)
1949 tree name
= DECL_ASSEMBLER_NAME (decl
);
1950 size_t len
= IDENTIFIER_LENGTH (name
);
1951 char *tmp_name
, *prefix
;
1953 prefix
= XALLOCAVEC (char, len
+ strlen ("_clone") + 1);
1954 memcpy (prefix
, IDENTIFIER_POINTER (name
), len
);
1955 strcpy (prefix
+ len
, "_clone");
1956 #ifndef NO_DOT_IN_LABEL
1958 #elif !defined NO_DOLLAR_IN_LABEL
1961 ASM_FORMAT_PRIVATE_NAME (tmp_name
, prefix
, clone_fn_id_num
++);
1962 return get_identifier (tmp_name
);
1965 /* Create callgraph node clone with new declaration. The actual body will
1966 be copied later at compilation stage.
1968 TODO: after merging in ipa-sra use function call notes instead of args_to_skip
1971 struct cgraph_node
*
1972 cgraph_create_virtual_clone (struct cgraph_node
*old_node
,
1973 VEC(cgraph_edge_p
,heap
) *redirect_callers
,
1974 VEC(ipa_replace_map_p
,gc
) *tree_map
,
1975 bitmap args_to_skip
)
1977 tree old_decl
= old_node
->decl
;
1978 struct cgraph_node
*new_node
= NULL
;
1980 struct cgraph_node key
, **slot
;
1982 gcc_assert (tree_versionable_function_p (old_decl
));
1984 /* Make a new FUNCTION_DECL tree node */
1986 new_decl
= copy_node (old_decl
);
1988 new_decl
= build_function_decl_skip_args (old_decl
, args_to_skip
);
1989 DECL_STRUCT_FUNCTION (new_decl
) = NULL
;
1991 /* Generate a new name for the new version. */
1992 DECL_NAME (new_decl
) = clone_function_name (old_decl
);
1993 SET_DECL_ASSEMBLER_NAME (new_decl
, DECL_NAME (new_decl
));
1994 SET_DECL_RTL (new_decl
, NULL
);
1996 new_node
= cgraph_clone_node (old_node
, old_node
->count
,
1997 CGRAPH_FREQ_BASE
, 0, false,
1999 new_node
->decl
= new_decl
;
2000 /* Update the properties.
2001 Make clone visible only within this translation unit. Make sure
2002 that is not weak also.
2003 ??? We cannot use COMDAT linkage because there is no
2004 ABI support for this. */
2005 DECL_EXTERNAL (new_node
->decl
) = 0;
2006 DECL_COMDAT_GROUP (new_node
->decl
) = 0;
2007 TREE_PUBLIC (new_node
->decl
) = 0;
2008 DECL_COMDAT (new_node
->decl
) = 0;
2009 DECL_WEAK (new_node
->decl
) = 0;
2010 new_node
->clone
.tree_map
= tree_map
;
2011 new_node
->clone
.args_to_skip
= args_to_skip
;
2013 new_node
->clone
.combined_args_to_skip
= old_node
->clone
.combined_args_to_skip
;
2014 else if (old_node
->clone
.combined_args_to_skip
)
2016 int newi
= 0, oldi
= 0;
2018 bitmap new_args_to_skip
= BITMAP_GGC_ALLOC ();
2019 struct cgraph_node
*orig_node
;
2020 for (orig_node
= old_node
; orig_node
->clone_of
; orig_node
= orig_node
->clone_of
)
2022 for (arg
= DECL_ARGUMENTS (orig_node
->decl
); arg
; arg
= TREE_CHAIN (arg
), oldi
++)
2024 if (bitmap_bit_p (old_node
->clone
.combined_args_to_skip
, oldi
))
2026 bitmap_set_bit (new_args_to_skip
, oldi
);
2029 if (bitmap_bit_p (args_to_skip
, newi
))
2030 bitmap_set_bit (new_args_to_skip
, oldi
);
2033 new_node
->clone
.combined_args_to_skip
= new_args_to_skip
;
2036 new_node
->clone
.combined_args_to_skip
= args_to_skip
;
2037 new_node
->local
.externally_visible
= 0;
2038 new_node
->local
.local
= 1;
2039 new_node
->lowered
= true;
2040 new_node
->reachable
= true;
2042 key
.decl
= new_decl
;
2043 slot
= (struct cgraph_node
**) htab_find_slot (cgraph_hash
, &key
, INSERT
);
2044 gcc_assert (!*slot
);
2046 if (assembler_name_hash
)
2049 tree name
= DECL_ASSEMBLER_NAME (new_decl
);
2051 aslot
= htab_find_slot_with_hash (assembler_name_hash
, name
,
2052 decl_assembler_name_hash (name
),
2054 gcc_assert (!*aslot
);
2061 /* NODE is no longer nested function; update cgraph accordingly. */
2063 cgraph_unnest_node (struct cgraph_node
*node
)
2065 struct cgraph_node
**node2
= &node
->origin
->nested
;
2066 gcc_assert (node
->origin
);
2068 while (*node2
!= node
)
2069 node2
= &(*node2
)->next_nested
;
2070 *node2
= node
->next_nested
;
2071 node
->origin
= NULL
;
2074 /* Return function availability. See cgraph.h for description of individual
2077 cgraph_function_body_availability (struct cgraph_node
*node
)
2079 enum availability avail
;
2080 gcc_assert (cgraph_function_flags_ready
);
2081 if (!node
->analyzed
)
2082 avail
= AVAIL_NOT_AVAILABLE
;
2083 else if (node
->local
.local
)
2084 avail
= AVAIL_LOCAL
;
2085 else if (!node
->local
.externally_visible
)
2086 avail
= AVAIL_AVAILABLE
;
2087 /* Inline functions are safe to be analyzed even if their sybol can
2088 be overwritten at runtime. It is not meaningful to enfore any sane
2089 behaviour on replacing inline function by different body. */
2090 else if (DECL_DECLARED_INLINE_P (node
->decl
))
2091 avail
= AVAIL_AVAILABLE
;
2093 /* If the function can be overwritten, return OVERWRITABLE. Take
2094 care at least of two notable extensions - the COMDAT functions
2095 used to share template instantiations in C++ (this is symmetric
2096 to code cp_cannot_inline_tree_fn and probably shall be shared and
2097 the inlinability hooks completely eliminated).
2099 ??? Does the C++ one definition rule allow us to always return
2100 AVAIL_AVAILABLE here? That would be good reason to preserve this
2103 else if (DECL_REPLACEABLE_P (node
->decl
) && !DECL_EXTERNAL (node
->decl
))
2104 avail
= AVAIL_OVERWRITABLE
;
2105 else avail
= AVAIL_AVAILABLE
;
2110 /* Add the function FNDECL to the call graph.
2111 Unlike cgraph_finalize_function, this function is intended to be used
2112 by middle end and allows insertion of new function at arbitrary point
2113 of compilation. The function can be either in high, low or SSA form
2116 The function is assumed to be reachable and have address taken (so no
2117 API breaking optimizations are performed on it).
2119 Main work done by this function is to enqueue the function for later
2120 processing to avoid need the passes to be re-entrant. */
2123 cgraph_add_new_function (tree fndecl
, bool lowered
)
2125 struct cgraph_node
*node
;
2126 switch (cgraph_state
)
2128 case CGRAPH_STATE_CONSTRUCTION
:
2129 /* Just enqueue function to be processed at nearest occurrence. */
2130 node
= cgraph_node (fndecl
);
2131 node
->next_needed
= cgraph_new_nodes
;
2133 node
->lowered
= true;
2134 cgraph_new_nodes
= node
;
2137 case CGRAPH_STATE_IPA
:
2138 case CGRAPH_STATE_IPA_SSA
:
2139 case CGRAPH_STATE_EXPANSION
:
2140 /* Bring the function into finalized state and enqueue for later
2141 analyzing and compilation. */
2142 node
= cgraph_node (fndecl
);
2143 node
->local
.local
= false;
2144 node
->local
.finalized
= true;
2145 node
->reachable
= node
->needed
= true;
2146 if (!lowered
&& cgraph_state
== CGRAPH_STATE_EXPANSION
)
2148 push_cfun (DECL_STRUCT_FUNCTION (fndecl
));
2149 current_function_decl
= fndecl
;
2150 gimple_register_cfg_hooks ();
2151 tree_lowering_passes (fndecl
);
2152 bitmap_obstack_initialize (NULL
);
2153 if (!gimple_in_ssa_p (DECL_STRUCT_FUNCTION (fndecl
)))
2154 execute_pass_list (pass_early_local_passes
.pass
.sub
);
2155 bitmap_obstack_release (NULL
);
2157 current_function_decl
= NULL
;
2162 node
->lowered
= true;
2163 node
->next_needed
= cgraph_new_nodes
;
2164 cgraph_new_nodes
= node
;
2167 case CGRAPH_STATE_FINISHED
:
2168 /* At the very end of compilation we have to do all the work up
2170 push_cfun (DECL_STRUCT_FUNCTION (fndecl
));
2171 current_function_decl
= fndecl
;
2172 gimple_register_cfg_hooks ();
2174 tree_lowering_passes (fndecl
);
2175 bitmap_obstack_initialize (NULL
);
2176 if (!gimple_in_ssa_p (DECL_STRUCT_FUNCTION (fndecl
)))
2177 execute_pass_list (pass_early_local_passes
.pass
.sub
);
2178 bitmap_obstack_release (NULL
);
2179 tree_rest_of_compilation (fndecl
);
2181 current_function_decl
= NULL
;
2185 /* Set a personality if required and we already passed EH lowering. */
2187 && (function_needs_eh_personality (DECL_STRUCT_FUNCTION (fndecl
))
2188 == eh_personality_lang
))
2189 DECL_FUNCTION_PERSONALITY (fndecl
) = lang_hooks
.eh_personality ();
2192 /* Return true if NODE can be made local for API change.
2193 Extern inline functions and C++ COMDAT functions can be made local
2194 at the expense of possible code size growth if function is used in multiple
2195 compilation units. */
2197 cgraph_node_can_be_local_p (struct cgraph_node
*node
)
2199 return (!node
->needed
2200 && ((DECL_COMDAT (node
->decl
) && !node
->same_comdat_group
)
2201 || !node
->local
.externally_visible
));
2204 /* Make DECL local. FIXME: We shouldn't need to mess with rtl this early,
2205 but other code such as notice_global_symbol generates rtl. */
2207 cgraph_make_decl_local (tree decl
)
2211 if (TREE_CODE (decl
) == VAR_DECL
)
2212 DECL_COMMON (decl
) = 0;
2213 else if (TREE_CODE (decl
) == FUNCTION_DECL
)
2215 DECL_COMDAT (decl
) = 0;
2216 DECL_COMDAT_GROUP (decl
) = 0;
2217 DECL_WEAK (decl
) = 0;
2218 DECL_EXTERNAL (decl
) = 0;
2222 TREE_PUBLIC (decl
) = 0;
2223 if (!DECL_RTL_SET_P (decl
))
2226 /* Update rtl flags. */
2227 make_decl_rtl (decl
);
2229 rtl
= DECL_RTL (decl
);
2233 symbol
= XEXP (rtl
, 0);
2234 if (GET_CODE (symbol
) != SYMBOL_REF
)
2237 SYMBOL_REF_WEAK (symbol
) = DECL_WEAK (decl
);
2240 /* Bring NODE local. */
2242 cgraph_make_node_local (struct cgraph_node
*node
)
2244 gcc_assert (cgraph_node_can_be_local_p (node
));
2245 if (DECL_COMDAT (node
->decl
) || DECL_EXTERNAL (node
->decl
))
2247 struct cgraph_node
*alias
;
2248 cgraph_make_decl_local (node
->decl
);
2250 for (alias
= node
->same_body
; alias
; alias
= alias
->next
)
2251 cgraph_make_decl_local (alias
->decl
);
2253 node
->local
.externally_visible
= false;
2254 node
->local
.local
= true;
2255 gcc_assert (cgraph_function_body_availability (node
) == AVAIL_LOCAL
);
2259 /* Set TREE_NOTHROW on NODE's decl and on same_body aliases of NODE
2260 if any to NOTHROW. */
2263 cgraph_set_nothrow_flag (struct cgraph_node
*node
, bool nothrow
)
2265 struct cgraph_node
*alias
;
2266 TREE_NOTHROW (node
->decl
) = nothrow
;
2267 for (alias
= node
->same_body
; alias
; alias
= alias
->next
)
2268 TREE_NOTHROW (alias
->decl
) = nothrow
;
2271 /* Set TREE_READONLY on NODE's decl and on same_body aliases of NODE
2272 if any to READONLY. */
2275 cgraph_set_readonly_flag (struct cgraph_node
*node
, bool readonly
)
2277 struct cgraph_node
*alias
;
2278 TREE_READONLY (node
->decl
) = readonly
;
2279 for (alias
= node
->same_body
; alias
; alias
= alias
->next
)
2280 TREE_READONLY (alias
->decl
) = readonly
;
2283 /* Set DECL_PURE_P on NODE's decl and on same_body aliases of NODE
2287 cgraph_set_pure_flag (struct cgraph_node
*node
, bool pure
)
2289 struct cgraph_node
*alias
;
2290 DECL_PURE_P (node
->decl
) = pure
;
2291 for (alias
= node
->same_body
; alias
; alias
= alias
->next
)
2292 DECL_PURE_P (alias
->decl
) = pure
;
2295 /* Set DECL_LOOPING_CONST_OR_PURE_P on NODE's decl and on
2296 same_body aliases of NODE if any to LOOPING_CONST_OR_PURE. */
2299 cgraph_set_looping_const_or_pure_flag (struct cgraph_node
*node
,
2300 bool looping_const_or_pure
)
2302 struct cgraph_node
*alias
;
2303 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = looping_const_or_pure
;
2304 for (alias
= node
->same_body
; alias
; alias
= alias
->next
)
2305 DECL_LOOPING_CONST_OR_PURE_P (alias
->decl
) = looping_const_or_pure
;
2308 #include "gt-cgraph.h"