1 /* Callgraph handling code.
2 Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
3 2011, 2012 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
24 The call-graph is a data structure designed for intra-procedural optimization.
25 It represents a multi-graph where nodes are functions and edges are call sites. */
29 #include "coretypes.h"
32 #include "tree-inline.h"
33 #include "langhooks.h"
40 #include "basic-block.h"
46 #include "tree-flow.h"
47 #include "value-prof.h"
49 #include "diagnostic-core.h"
51 #include "ipa-utils.h"
52 #include "lto-streamer.h"
53 #include "ipa-inline.h"
55 #include "gimple-pretty-print.h"
57 /* FIXME: Only for PROP_loops, but cgraph shouldn't have to know about this. */
58 #include "tree-pass.h"
60 static void cgraph_node_remove_callers (struct cgraph_node
*node
);
61 static inline void cgraph_edge_remove_caller (struct cgraph_edge
*e
);
62 static inline void cgraph_edge_remove_callee (struct cgraph_edge
*e
);
64 /* Queue of cgraph nodes scheduled to be lowered. */
65 symtab_node x_cgraph_nodes_queue
;
66 #define cgraph_nodes_queue ((struct cgraph_node *)x_cgraph_nodes_queue)
68 /* Number of nodes in existence. */
71 /* Maximal uid used in cgraph nodes. */
74 /* Maximal uid used in cgraph edges. */
75 int cgraph_edge_max_uid
;
77 /* Set when whole unit has been analyzed so we can access global info. */
78 bool cgraph_global_info_ready
= false;
80 /* What state callgraph is in right now. */
81 enum cgraph_state cgraph_state
= CGRAPH_STATE_PARSING
;
83 /* Set when the cgraph is fully build and the basic flags are computed. */
84 bool cgraph_function_flags_ready
= false;
86 /* List of hooks triggered on cgraph_edge events. */
87 struct cgraph_edge_hook_list
{
88 cgraph_edge_hook hook
;
90 struct cgraph_edge_hook_list
*next
;
93 /* List of hooks triggered on cgraph_node events. */
94 struct cgraph_node_hook_list
{
95 cgraph_node_hook hook
;
97 struct cgraph_node_hook_list
*next
;
100 /* List of hooks triggered on events involving two cgraph_edges. */
101 struct cgraph_2edge_hook_list
{
102 cgraph_2edge_hook hook
;
104 struct cgraph_2edge_hook_list
*next
;
107 /* List of hooks triggered on events involving two cgraph_nodes. */
108 struct cgraph_2node_hook_list
{
109 cgraph_2node_hook hook
;
111 struct cgraph_2node_hook_list
*next
;
114 /* List of hooks triggered when an edge is removed. */
115 struct cgraph_edge_hook_list
*first_cgraph_edge_removal_hook
;
116 /* List of hooks triggered when a node is removed. */
117 struct cgraph_node_hook_list
*first_cgraph_node_removal_hook
;
118 /* List of hooks triggered when an edge is duplicated. */
119 struct cgraph_2edge_hook_list
*first_cgraph_edge_duplicated_hook
;
120 /* List of hooks triggered when a node is duplicated. */
121 struct cgraph_2node_hook_list
*first_cgraph_node_duplicated_hook
;
122 /* List of hooks triggered when an function is inserted. */
123 struct cgraph_node_hook_list
*first_cgraph_function_insertion_hook
;
125 /* Head of a linked list of unused (freed) call graph nodes.
126 Do not GTY((delete)) this list so UIDs gets reliably recycled. */
127 static GTY(()) struct cgraph_node
*free_nodes
;
128 /* Head of a linked list of unused (freed) call graph edges.
129 Do not GTY((delete)) this list so UIDs gets reliably recycled. */
130 static GTY(()) struct cgraph_edge
*free_edges
;
132 /* Did procss_same_body_aliases run? */
133 bool same_body_aliases_done
;
135 /* Macros to access the next item in the list of free cgraph nodes and
137 #define NEXT_FREE_NODE(NODE) cgraph ((NODE)->symbol.next)
138 #define SET_NEXT_FREE_NODE(NODE,NODE2) ((NODE))->symbol.next = (symtab_node)NODE2
139 #define NEXT_FREE_EDGE(EDGE) (EDGE)->prev_caller
141 /* Register HOOK to be called with DATA on each removed edge. */
142 struct cgraph_edge_hook_list
*
143 cgraph_add_edge_removal_hook (cgraph_edge_hook hook
, void *data
)
145 struct cgraph_edge_hook_list
*entry
;
146 struct cgraph_edge_hook_list
**ptr
= &first_cgraph_edge_removal_hook
;
148 entry
= (struct cgraph_edge_hook_list
*) xmalloc (sizeof (*entry
));
158 /* Remove ENTRY from the list of hooks called on removing edges. */
160 cgraph_remove_edge_removal_hook (struct cgraph_edge_hook_list
*entry
)
162 struct cgraph_edge_hook_list
**ptr
= &first_cgraph_edge_removal_hook
;
164 while (*ptr
!= entry
)
170 /* Call all edge removal hooks. */
172 cgraph_call_edge_removal_hooks (struct cgraph_edge
*e
)
174 struct cgraph_edge_hook_list
*entry
= first_cgraph_edge_removal_hook
;
177 entry
->hook (e
, entry
->data
);
182 /* Register HOOK to be called with DATA on each removed node. */
183 struct cgraph_node_hook_list
*
184 cgraph_add_node_removal_hook (cgraph_node_hook hook
, void *data
)
186 struct cgraph_node_hook_list
*entry
;
187 struct cgraph_node_hook_list
**ptr
= &first_cgraph_node_removal_hook
;
189 entry
= (struct cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
199 /* Remove ENTRY from the list of hooks called on removing nodes. */
201 cgraph_remove_node_removal_hook (struct cgraph_node_hook_list
*entry
)
203 struct cgraph_node_hook_list
**ptr
= &first_cgraph_node_removal_hook
;
205 while (*ptr
!= entry
)
211 /* Call all node removal hooks. */
213 cgraph_call_node_removal_hooks (struct cgraph_node
*node
)
215 struct cgraph_node_hook_list
*entry
= first_cgraph_node_removal_hook
;
218 entry
->hook (node
, entry
->data
);
223 /* Register HOOK to be called with DATA on each inserted node. */
224 struct cgraph_node_hook_list
*
225 cgraph_add_function_insertion_hook (cgraph_node_hook hook
, void *data
)
227 struct cgraph_node_hook_list
*entry
;
228 struct cgraph_node_hook_list
**ptr
= &first_cgraph_function_insertion_hook
;
230 entry
= (struct cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
240 /* Remove ENTRY from the list of hooks called on inserted nodes. */
242 cgraph_remove_function_insertion_hook (struct cgraph_node_hook_list
*entry
)
244 struct cgraph_node_hook_list
**ptr
= &first_cgraph_function_insertion_hook
;
246 while (*ptr
!= entry
)
252 /* Call all node insertion hooks. */
254 cgraph_call_function_insertion_hooks (struct cgraph_node
*node
)
256 struct cgraph_node_hook_list
*entry
= first_cgraph_function_insertion_hook
;
259 entry
->hook (node
, entry
->data
);
264 /* Register HOOK to be called with DATA on each duplicated edge. */
265 struct cgraph_2edge_hook_list
*
266 cgraph_add_edge_duplication_hook (cgraph_2edge_hook hook
, void *data
)
268 struct cgraph_2edge_hook_list
*entry
;
269 struct cgraph_2edge_hook_list
**ptr
= &first_cgraph_edge_duplicated_hook
;
271 entry
= (struct cgraph_2edge_hook_list
*) xmalloc (sizeof (*entry
));
281 /* Remove ENTRY from the list of hooks called on duplicating edges. */
283 cgraph_remove_edge_duplication_hook (struct cgraph_2edge_hook_list
*entry
)
285 struct cgraph_2edge_hook_list
**ptr
= &first_cgraph_edge_duplicated_hook
;
287 while (*ptr
!= entry
)
293 /* Call all edge duplication hooks. */
295 cgraph_call_edge_duplication_hooks (struct cgraph_edge
*cs1
,
296 struct cgraph_edge
*cs2
)
298 struct cgraph_2edge_hook_list
*entry
= first_cgraph_edge_duplicated_hook
;
301 entry
->hook (cs1
, cs2
, entry
->data
);
306 /* Register HOOK to be called with DATA on each duplicated node. */
307 struct cgraph_2node_hook_list
*
308 cgraph_add_node_duplication_hook (cgraph_2node_hook hook
, void *data
)
310 struct cgraph_2node_hook_list
*entry
;
311 struct cgraph_2node_hook_list
**ptr
= &first_cgraph_node_duplicated_hook
;
313 entry
= (struct cgraph_2node_hook_list
*) xmalloc (sizeof (*entry
));
323 /* Remove ENTRY from the list of hooks called on duplicating nodes. */
325 cgraph_remove_node_duplication_hook (struct cgraph_2node_hook_list
*entry
)
327 struct cgraph_2node_hook_list
**ptr
= &first_cgraph_node_duplicated_hook
;
329 while (*ptr
!= entry
)
335 /* Call all node duplication hooks. */
337 cgraph_call_node_duplication_hooks (struct cgraph_node
*node1
,
338 struct cgraph_node
*node2
)
340 struct cgraph_2node_hook_list
*entry
= first_cgraph_node_duplicated_hook
;
343 entry
->hook (node1
, node2
, entry
->data
);
348 /* Allocate new callgraph node. */
350 static inline struct cgraph_node
*
351 cgraph_allocate_node (void)
353 struct cgraph_node
*node
;
358 free_nodes
= NEXT_FREE_NODE (node
);
362 node
= ggc_alloc_cleared_cgraph_node ();
363 node
->uid
= cgraph_max_uid
++;
369 /* Allocate new callgraph node and insert it into basic data structures. */
372 cgraph_create_empty_node (void)
374 struct cgraph_node
*node
= cgraph_allocate_node ();
376 node
->symbol
.type
= SYMTAB_FUNCTION
;
377 node
->frequency
= NODE_FREQUENCY_NORMAL
;
378 node
->count_materialization_scale
= REG_BR_PROB_BASE
;
383 /* Return cgraph node assigned to DECL. Create new one when needed. */
386 cgraph_create_node (tree decl
)
388 struct cgraph_node
*node
= cgraph_create_empty_node ();
389 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
391 node
->symbol
.decl
= decl
;
392 symtab_register_node ((symtab_node
) node
);
394 if (DECL_CONTEXT (decl
) && TREE_CODE (DECL_CONTEXT (decl
)) == FUNCTION_DECL
)
396 node
->origin
= cgraph_get_create_node (DECL_CONTEXT (decl
));
397 node
->next_nested
= node
->origin
->nested
;
398 node
->origin
->nested
= node
;
403 /* Try to find a call graph node for declaration DECL and if it does not exist,
407 cgraph_get_create_node (tree decl
)
409 struct cgraph_node
*node
;
411 node
= cgraph_get_node (decl
);
415 return cgraph_create_node (decl
);
418 /* Mark ALIAS as an alias to DECL. DECL_NODE is cgraph node representing
419 the function body is associated with (not necessarily cgraph_node (DECL). */
422 cgraph_create_function_alias (tree alias
, tree decl
)
424 struct cgraph_node
*alias_node
;
426 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
427 gcc_assert (TREE_CODE (alias
) == FUNCTION_DECL
);
428 alias_node
= cgraph_get_create_node (alias
);
429 gcc_assert (!alias_node
->local
.finalized
);
430 alias_node
->thunk
.alias
= decl
;
431 alias_node
->local
.finalized
= true;
432 alias_node
->alias
= 1;
436 /* Attempt to mark ALIAS as an alias to DECL. Return alias node if successful
438 Same body aliases are output whenever the body of DECL is output,
439 and cgraph_get_node (ALIAS) transparently returns cgraph_get_node (DECL). */
442 cgraph_same_body_alias (struct cgraph_node
*decl_node ATTRIBUTE_UNUSED
, tree alias
, tree decl
)
444 struct cgraph_node
*n
;
445 #ifndef ASM_OUTPUT_DEF
446 /* If aliases aren't supported by the assembler, fail. */
449 /* Langhooks can create same body aliases of symbols not defined.
450 Those are useless. Drop them on the floor. */
451 if (cgraph_global_info_ready
)
454 n
= cgraph_create_function_alias (alias
, decl
);
455 n
->same_body_alias
= true;
456 if (same_body_aliases_done
)
457 ipa_record_reference ((symtab_node
)n
, (symtab_node
)cgraph_get_node (decl
),
458 IPA_REF_ALIAS
, NULL
);
462 /* Add thunk alias into callgraph. The alias declaration is ALIAS and it
463 aliases DECL with an adjustments made into the first parameter.
464 See comments in thunk_adjust for detail on the parameters. */
467 cgraph_add_thunk (struct cgraph_node
*decl_node ATTRIBUTE_UNUSED
,
468 tree alias
, tree decl ATTRIBUTE_UNUSED
,
470 HOST_WIDE_INT fixed_offset
, HOST_WIDE_INT virtual_value
,
474 struct cgraph_node
*node
;
476 node
= cgraph_get_node (alias
);
479 gcc_assert (node
->local
.finalized
);
480 gcc_assert (!node
->alias
);
481 gcc_assert (!node
->thunk
.thunk_p
);
482 cgraph_remove_node (node
);
485 node
= cgraph_create_node (alias
);
486 gcc_checking_assert (!virtual_offset
487 || tree_to_double_int (virtual_offset
) ==
488 double_int::from_shwi (virtual_value
));
489 node
->thunk
.fixed_offset
= fixed_offset
;
490 node
->thunk
.this_adjusting
= this_adjusting
;
491 node
->thunk
.virtual_value
= virtual_value
;
492 node
->thunk
.virtual_offset_p
= virtual_offset
!= NULL
;
493 node
->thunk
.alias
= real_alias
;
494 node
->thunk
.thunk_p
= true;
495 node
->local
.finalized
= true;
500 /* Return the cgraph node that has ASMNAME for its DECL_ASSEMBLER_NAME.
501 Return NULL if there's no such node. */
504 cgraph_node_for_asm (tree asmname
)
506 /* We do not want to look at inline clones. */
507 for (symtab_node node
= symtab_node_for_asm (asmname
);
509 node
= node
->symbol
.next_sharing_asm_name
)
511 cgraph_node
*cn
= dyn_cast
<cgraph_node
> (node
);
512 if (cn
&& !cn
->global
.inlined_to
)
518 /* Returns a hash value for X (which really is a cgraph_edge). */
521 edge_hash (const void *x
)
523 return htab_hash_pointer (((const struct cgraph_edge
*) x
)->call_stmt
);
526 /* Return nonzero if the call_stmt of of cgraph_edge X is stmt *Y. */
529 edge_eq (const void *x
, const void *y
)
531 return ((const struct cgraph_edge
*) x
)->call_stmt
== y
;
534 /* Add call graph edge E to call site hash of its caller. */
537 cgraph_add_edge_to_call_site_hash (struct cgraph_edge
*e
)
540 slot
= htab_find_slot_with_hash (e
->caller
->call_site_hash
,
542 htab_hash_pointer (e
->call_stmt
),
548 /* Return the callgraph edge representing the GIMPLE_CALL statement
552 cgraph_edge (struct cgraph_node
*node
, gimple call_stmt
)
554 struct cgraph_edge
*e
, *e2
;
557 if (node
->call_site_hash
)
558 return (struct cgraph_edge
*)
559 htab_find_with_hash (node
->call_site_hash
, call_stmt
,
560 htab_hash_pointer (call_stmt
));
562 /* This loop may turn out to be performance problem. In such case adding
563 hashtables into call nodes with very many edges is probably best
564 solution. It is not good idea to add pointer into CALL_EXPR itself
565 because we want to make possible having multiple cgraph nodes representing
566 different clones of the same body before the body is actually cloned. */
567 for (e
= node
->callees
; e
; e
= e
->next_callee
)
569 if (e
->call_stmt
== call_stmt
)
575 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
577 if (e
->call_stmt
== call_stmt
)
584 node
->call_site_hash
= htab_create_ggc (120, edge_hash
, edge_eq
, NULL
);
585 for (e2
= node
->callees
; e2
; e2
= e2
->next_callee
)
586 cgraph_add_edge_to_call_site_hash (e2
);
587 for (e2
= node
->indirect_calls
; e2
; e2
= e2
->next_callee
)
588 cgraph_add_edge_to_call_site_hash (e2
);
595 /* Change field call_stmt of edge E to NEW_STMT. */
598 cgraph_set_call_stmt (struct cgraph_edge
*e
, gimple new_stmt
)
602 if (e
->caller
->call_site_hash
)
604 htab_remove_elt_with_hash (e
->caller
->call_site_hash
,
606 htab_hash_pointer (e
->call_stmt
));
609 e
->call_stmt
= new_stmt
;
610 if (e
->indirect_unknown_callee
611 && (decl
= gimple_call_fndecl (new_stmt
)))
613 /* Constant propagation (and possibly also inlining?) can turn an
614 indirect call into a direct one. */
615 struct cgraph_node
*new_callee
= cgraph_get_node (decl
);
617 gcc_checking_assert (new_callee
);
618 cgraph_make_edge_direct (e
, new_callee
);
621 push_cfun (DECL_STRUCT_FUNCTION (e
->caller
->symbol
.decl
));
622 e
->can_throw_external
= stmt_can_throw_external (new_stmt
);
624 if (e
->caller
->call_site_hash
)
625 cgraph_add_edge_to_call_site_hash (e
);
628 /* Allocate a cgraph_edge structure and fill it with data according to the
629 parameters of which only CALLEE can be NULL (when creating an indirect call
632 static struct cgraph_edge
*
633 cgraph_create_edge_1 (struct cgraph_node
*caller
, struct cgraph_node
*callee
,
634 gimple call_stmt
, gcov_type count
, int freq
)
636 struct cgraph_edge
*edge
;
638 /* LTO does not actually have access to the call_stmt since these
639 have not been loaded yet. */
642 /* This is a rather expensive check possibly triggering
643 construction of call stmt hashtable. */
644 gcc_checking_assert (!cgraph_edge (caller
, call_stmt
));
646 gcc_assert (is_gimple_call (call_stmt
));
652 free_edges
= NEXT_FREE_EDGE (edge
);
656 edge
= ggc_alloc_cgraph_edge ();
657 edge
->uid
= cgraph_edge_max_uid
++;
661 edge
->caller
= caller
;
662 edge
->callee
= callee
;
663 edge
->prev_caller
= NULL
;
664 edge
->next_caller
= NULL
;
665 edge
->prev_callee
= NULL
;
666 edge
->next_callee
= NULL
;
669 gcc_assert (count
>= 0);
670 edge
->frequency
= freq
;
671 gcc_assert (freq
>= 0);
672 gcc_assert (freq
<= CGRAPH_FREQ_MAX
);
674 edge
->call_stmt
= call_stmt
;
675 push_cfun (DECL_STRUCT_FUNCTION (caller
->symbol
.decl
));
676 edge
->can_throw_external
677 = call_stmt
? stmt_can_throw_external (call_stmt
) : false;
680 && callee
&& callee
->symbol
.decl
681 && !gimple_check_call_matching_types (call_stmt
, callee
->symbol
.decl
))
682 edge
->call_stmt_cannot_inline_p
= true;
684 edge
->call_stmt_cannot_inline_p
= false;
685 if (call_stmt
&& caller
->call_site_hash
)
686 cgraph_add_edge_to_call_site_hash (edge
);
688 edge
->indirect_info
= NULL
;
689 edge
->indirect_inlining_edge
= 0;
694 /* Create edge from CALLER to CALLEE in the cgraph. */
697 cgraph_create_edge (struct cgraph_node
*caller
, struct cgraph_node
*callee
,
698 gimple call_stmt
, gcov_type count
, int freq
)
700 struct cgraph_edge
*edge
= cgraph_create_edge_1 (caller
, callee
, call_stmt
,
703 edge
->indirect_unknown_callee
= 0;
704 initialize_inline_failed (edge
);
706 edge
->next_caller
= callee
->callers
;
708 callee
->callers
->prev_caller
= edge
;
709 edge
->next_callee
= caller
->callees
;
711 caller
->callees
->prev_callee
= edge
;
712 caller
->callees
= edge
;
713 callee
->callers
= edge
;
718 /* Allocate cgraph_indirect_call_info and set its fields to default values. */
720 struct cgraph_indirect_call_info
*
721 cgraph_allocate_init_indirect_info (void)
723 struct cgraph_indirect_call_info
*ii
;
725 ii
= ggc_alloc_cleared_cgraph_indirect_call_info ();
726 ii
->param_index
= -1;
730 /* Create an indirect edge with a yet-undetermined callee where the call
731 statement destination is a formal parameter of the caller with index
735 cgraph_create_indirect_edge (struct cgraph_node
*caller
, gimple call_stmt
,
737 gcov_type count
, int freq
)
739 struct cgraph_edge
*edge
= cgraph_create_edge_1 (caller
, NULL
, call_stmt
,
742 edge
->indirect_unknown_callee
= 1;
743 initialize_inline_failed (edge
);
745 edge
->indirect_info
= cgraph_allocate_init_indirect_info ();
746 edge
->indirect_info
->ecf_flags
= ecf_flags
;
748 edge
->next_callee
= caller
->indirect_calls
;
749 if (caller
->indirect_calls
)
750 caller
->indirect_calls
->prev_callee
= edge
;
751 caller
->indirect_calls
= edge
;
756 /* Remove the edge E from the list of the callers of the callee. */
759 cgraph_edge_remove_callee (struct cgraph_edge
*e
)
761 gcc_assert (!e
->indirect_unknown_callee
);
763 e
->prev_caller
->next_caller
= e
->next_caller
;
765 e
->next_caller
->prev_caller
= e
->prev_caller
;
767 e
->callee
->callers
= e
->next_caller
;
770 /* Remove the edge E from the list of the callees of the caller. */
773 cgraph_edge_remove_caller (struct cgraph_edge
*e
)
776 e
->prev_callee
->next_callee
= e
->next_callee
;
778 e
->next_callee
->prev_callee
= e
->prev_callee
;
781 if (e
->indirect_unknown_callee
)
782 e
->caller
->indirect_calls
= e
->next_callee
;
784 e
->caller
->callees
= e
->next_callee
;
786 if (e
->caller
->call_site_hash
)
787 htab_remove_elt_with_hash (e
->caller
->call_site_hash
,
789 htab_hash_pointer (e
->call_stmt
));
792 /* Put the edge onto the free list. */
795 cgraph_free_edge (struct cgraph_edge
*e
)
799 /* Clear out the edge so we do not dangle pointers. */
800 memset (e
, 0, sizeof (*e
));
802 NEXT_FREE_EDGE (e
) = free_edges
;
806 /* Remove the edge E in the cgraph. */
809 cgraph_remove_edge (struct cgraph_edge
*e
)
811 /* Call all edge removal hooks. */
812 cgraph_call_edge_removal_hooks (e
);
814 if (!e
->indirect_unknown_callee
)
815 /* Remove from callers list of the callee. */
816 cgraph_edge_remove_callee (e
);
818 /* Remove from callees list of the callers. */
819 cgraph_edge_remove_caller (e
);
821 /* Put the edge onto the free list. */
822 cgraph_free_edge (e
);
825 /* Set callee of call graph edge E and add it to the corresponding set of
829 cgraph_set_edge_callee (struct cgraph_edge
*e
, struct cgraph_node
*n
)
831 e
->prev_caller
= NULL
;
833 n
->callers
->prev_caller
= e
;
834 e
->next_caller
= n
->callers
;
839 /* Redirect callee of E to N. The function does not update underlying
843 cgraph_redirect_edge_callee (struct cgraph_edge
*e
, struct cgraph_node
*n
)
845 /* Remove from callers list of the current callee. */
846 cgraph_edge_remove_callee (e
);
848 /* Insert to callers list of the new callee. */
849 cgraph_set_edge_callee (e
, n
);
852 /* Make an indirect EDGE with an unknown callee an ordinary edge leading to
853 CALLEE. DELTA is an integer constant that is to be added to the this
854 pointer (first parameter) to compensate for skipping a thunk adjustment. */
857 cgraph_make_edge_direct (struct cgraph_edge
*edge
, struct cgraph_node
*callee
)
859 edge
->indirect_unknown_callee
= 0;
861 /* Get the edge out of the indirect edge list. */
862 if (edge
->prev_callee
)
863 edge
->prev_callee
->next_callee
= edge
->next_callee
;
864 if (edge
->next_callee
)
865 edge
->next_callee
->prev_callee
= edge
->prev_callee
;
866 if (!edge
->prev_callee
)
867 edge
->caller
->indirect_calls
= edge
->next_callee
;
869 /* Put it into the normal callee list */
870 edge
->prev_callee
= NULL
;
871 edge
->next_callee
= edge
->caller
->callees
;
872 if (edge
->caller
->callees
)
873 edge
->caller
->callees
->prev_callee
= edge
;
874 edge
->caller
->callees
= edge
;
876 /* Insert to callers list of the new callee. */
877 cgraph_set_edge_callee (edge
, callee
);
880 edge
->call_stmt_cannot_inline_p
881 = !gimple_check_call_matching_types (edge
->call_stmt
, callee
->symbol
.decl
);
883 /* We need to re-determine the inlining status of the edge. */
884 initialize_inline_failed (edge
);
887 /* If necessary, change the function declaration in the call statement
888 associated with E so that it corresponds to the edge callee. */
891 cgraph_redirect_edge_call_stmt_to_callee (struct cgraph_edge
*e
)
893 tree decl
= gimple_call_fndecl (e
->call_stmt
);
895 gimple_stmt_iterator gsi
;
896 #ifdef ENABLE_CHECKING
897 struct cgraph_node
*node
;
900 if (e
->indirect_unknown_callee
901 || decl
== e
->callee
->symbol
.decl
)
904 #ifdef ENABLE_CHECKING
907 node
= cgraph_get_node (decl
);
908 gcc_assert (!node
|| !node
->clone
.combined_args_to_skip
);
912 if (cgraph_dump_file
)
914 fprintf (cgraph_dump_file
, "updating call of %s/%i -> %s/%i: ",
915 xstrdup (cgraph_node_name (e
->caller
)), e
->caller
->uid
,
916 xstrdup (cgraph_node_name (e
->callee
)), e
->callee
->uid
);
917 print_gimple_stmt (cgraph_dump_file
, e
->call_stmt
, 0, dump_flags
);
918 if (e
->callee
->clone
.combined_args_to_skip
)
920 fprintf (cgraph_dump_file
, " combined args to skip: ");
921 dump_bitmap (cgraph_dump_file
,
922 e
->callee
->clone
.combined_args_to_skip
);
926 if (e
->callee
->clone
.combined_args_to_skip
)
931 = gimple_call_copy_skip_args (e
->call_stmt
,
932 e
->callee
->clone
.combined_args_to_skip
);
933 gimple_call_set_fndecl (new_stmt
, e
->callee
->symbol
.decl
);
935 if (gimple_vdef (new_stmt
)
936 && TREE_CODE (gimple_vdef (new_stmt
)) == SSA_NAME
)
937 SSA_NAME_DEF_STMT (gimple_vdef (new_stmt
)) = new_stmt
;
939 gsi
= gsi_for_stmt (e
->call_stmt
);
940 gsi_replace (&gsi
, new_stmt
, false);
941 /* We need to defer cleaning EH info on the new statement to
942 fixup-cfg. We may not have dominator information at this point
943 and thus would end up with unreachable blocks and have no way
944 to communicate that we need to run CFG cleanup then. */
945 lp_nr
= lookup_stmt_eh_lp (e
->call_stmt
);
948 remove_stmt_from_eh_lp (e
->call_stmt
);
949 add_stmt_to_eh_lp (new_stmt
, lp_nr
);
954 new_stmt
= e
->call_stmt
;
955 gimple_call_set_fndecl (new_stmt
, e
->callee
->symbol
.decl
);
956 update_stmt (new_stmt
);
959 cgraph_set_call_stmt_including_clones (e
->caller
, e
->call_stmt
, new_stmt
);
961 if (cgraph_dump_file
)
963 fprintf (cgraph_dump_file
, " updated to:");
964 print_gimple_stmt (cgraph_dump_file
, e
->call_stmt
, 0, dump_flags
);
969 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
970 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
971 of OLD_STMT if it was previously call statement.
972 If NEW_STMT is NULL, the call has been dropped without any
976 cgraph_update_edges_for_call_stmt_node (struct cgraph_node
*node
,
977 gimple old_stmt
, tree old_call
,
980 tree new_call
= (new_stmt
&& is_gimple_call (new_stmt
))
981 ? gimple_call_fndecl (new_stmt
) : 0;
983 /* We are seeing indirect calls, then there is nothing to update. */
984 if (!new_call
&& !old_call
)
986 /* See if we turned indirect call into direct call or folded call to one builtin
987 into different builtin. */
988 if (old_call
!= new_call
)
990 struct cgraph_edge
*e
= cgraph_edge (node
, old_stmt
);
991 struct cgraph_edge
*ne
= NULL
;
997 /* See if the edge is already there and has the correct callee. It
998 might be so because of indirect inlining has already updated
999 it. We also might've cloned and redirected the edge. */
1000 if (new_call
&& e
->callee
)
1002 struct cgraph_node
*callee
= e
->callee
;
1005 if (callee
->symbol
.decl
== new_call
1006 || callee
->former_clone_of
== new_call
)
1008 callee
= callee
->clone_of
;
1012 /* Otherwise remove edge and create new one; we can't simply redirect
1013 since function has changed, so inline plan and other information
1014 attached to edge is invalid. */
1016 frequency
= e
->frequency
;
1017 cgraph_remove_edge (e
);
1021 /* We are seeing new direct call; compute profile info based on BB. */
1022 basic_block bb
= gimple_bb (new_stmt
);
1024 frequency
= compute_call_stmt_bb_frequency (current_function_decl
,
1030 ne
= cgraph_create_edge (node
, cgraph_get_create_node (new_call
),
1031 new_stmt
, count
, frequency
);
1032 gcc_assert (ne
->inline_failed
);
1035 /* We only updated the call stmt; update pointer in cgraph edge.. */
1036 else if (old_stmt
!= new_stmt
)
1037 cgraph_set_call_stmt (cgraph_edge (node
, old_stmt
), new_stmt
);
1040 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1041 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1042 of OLD_STMT before it was updated (updating can happen inplace). */
1045 cgraph_update_edges_for_call_stmt (gimple old_stmt
, tree old_decl
, gimple new_stmt
)
1047 struct cgraph_node
*orig
= cgraph_get_node (cfun
->decl
);
1048 struct cgraph_node
*node
;
1050 gcc_checking_assert (orig
);
1051 cgraph_update_edges_for_call_stmt_node (orig
, old_stmt
, old_decl
, new_stmt
);
1053 for (node
= orig
->clones
; node
!= orig
;)
1055 cgraph_update_edges_for_call_stmt_node (node
, old_stmt
, old_decl
, new_stmt
);
1057 node
= node
->clones
;
1058 else if (node
->next_sibling_clone
)
1059 node
= node
->next_sibling_clone
;
1062 while (node
!= orig
&& !node
->next_sibling_clone
)
1063 node
= node
->clone_of
;
1065 node
= node
->next_sibling_clone
;
1071 /* Remove all callees from the node. */
1074 cgraph_node_remove_callees (struct cgraph_node
*node
)
1076 struct cgraph_edge
*e
, *f
;
1078 /* It is sufficient to remove the edges from the lists of callers of
1079 the callees. The callee list of the node can be zapped with one
1081 for (e
= node
->callees
; e
; e
= f
)
1084 cgraph_call_edge_removal_hooks (e
);
1085 if (!e
->indirect_unknown_callee
)
1086 cgraph_edge_remove_callee (e
);
1087 cgraph_free_edge (e
);
1089 for (e
= node
->indirect_calls
; e
; e
= f
)
1092 cgraph_call_edge_removal_hooks (e
);
1093 if (!e
->indirect_unknown_callee
)
1094 cgraph_edge_remove_callee (e
);
1095 cgraph_free_edge (e
);
1097 node
->indirect_calls
= NULL
;
1098 node
->callees
= NULL
;
1099 if (node
->call_site_hash
)
1101 htab_delete (node
->call_site_hash
);
1102 node
->call_site_hash
= NULL
;
1106 /* Remove all callers from the node. */
1109 cgraph_node_remove_callers (struct cgraph_node
*node
)
1111 struct cgraph_edge
*e
, *f
;
1113 /* It is sufficient to remove the edges from the lists of callees of
1114 the callers. The caller list of the node can be zapped with one
1116 for (e
= node
->callers
; e
; e
= f
)
1119 cgraph_call_edge_removal_hooks (e
);
1120 cgraph_edge_remove_caller (e
);
1121 cgraph_free_edge (e
);
1123 node
->callers
= NULL
;
1126 /* Release memory used to represent body of function NODE. */
1129 cgraph_release_function_body (struct cgraph_node
*node
)
1131 if (DECL_STRUCT_FUNCTION (node
->symbol
.decl
))
1133 push_cfun (DECL_STRUCT_FUNCTION (node
->symbol
.decl
));
1137 cfun
->curr_properties
&= ~PROP_loops
;
1138 loop_optimizer_finalize ();
1140 if (cfun
->gimple_df
)
1143 delete_tree_cfg_annotations ();
1148 gcc_assert (dom_computed
[0] == DOM_NONE
);
1149 gcc_assert (dom_computed
[1] == DOM_NONE
);
1152 if (cfun
->value_histograms
)
1155 gimple_set_body (node
->symbol
.decl
, NULL
);
1156 VEC_free (ipa_opt_pass
, heap
,
1157 node
->ipa_transforms_to_apply
);
1158 /* Struct function hangs a lot of data that would leak if we didn't
1159 removed all pointers to it. */
1160 ggc_free (DECL_STRUCT_FUNCTION (node
->symbol
.decl
));
1161 DECL_STRUCT_FUNCTION (node
->symbol
.decl
) = NULL
;
1163 DECL_SAVED_TREE (node
->symbol
.decl
) = NULL
;
1164 /* If the node is abstract and needed, then do not clear DECL_INITIAL
1165 of its associated function function declaration because it's
1166 needed to emit debug info later. */
1167 if (!node
->abstract_and_needed
&& DECL_INITIAL (node
->symbol
.decl
))
1168 DECL_INITIAL (node
->symbol
.decl
) = error_mark_node
;
1171 /* Remove the node from cgraph. */
1174 cgraph_remove_node (struct cgraph_node
*node
)
1176 struct cgraph_node
*n
;
1177 int uid
= node
->uid
;
1179 cgraph_call_node_removal_hooks (node
);
1180 cgraph_node_remove_callers (node
);
1181 cgraph_node_remove_callees (node
);
1182 VEC_free (ipa_opt_pass
, heap
,
1183 node
->ipa_transforms_to_apply
);
1185 /* Incremental inlining access removed nodes stored in the postorder list.
1187 node
->symbol
.force_output
= false;
1188 for (n
= node
->nested
; n
; n
= n
->next_nested
)
1190 node
->nested
= NULL
;
1193 struct cgraph_node
**node2
= &node
->origin
->nested
;
1195 while (*node2
!= node
)
1196 node2
= &(*node2
)->next_nested
;
1197 *node2
= node
->next_nested
;
1199 symtab_unregister_node ((symtab_node
)node
);
1200 if (node
->prev_sibling_clone
)
1201 node
->prev_sibling_clone
->next_sibling_clone
= node
->next_sibling_clone
;
1202 else if (node
->clone_of
)
1203 node
->clone_of
->clones
= node
->next_sibling_clone
;
1204 if (node
->next_sibling_clone
)
1205 node
->next_sibling_clone
->prev_sibling_clone
= node
->prev_sibling_clone
;
1208 struct cgraph_node
*n
, *next
;
1212 for (n
= node
->clones
; n
->next_sibling_clone
; n
= n
->next_sibling_clone
)
1213 n
->clone_of
= node
->clone_of
;
1214 n
->clone_of
= node
->clone_of
;
1215 n
->next_sibling_clone
= node
->clone_of
->clones
;
1216 if (node
->clone_of
->clones
)
1217 node
->clone_of
->clones
->prev_sibling_clone
= n
;
1218 node
->clone_of
->clones
= node
->clones
;
1222 /* We are removing node with clones. This makes clones inconsistent,
1223 but assume they will be removed subsequently and just keep clone
1224 tree intact. This can happen in unreachable function removal since
1225 we remove unreachable functions in random order, not by bottom-up
1226 walk of clone trees. */
1227 for (n
= node
->clones
; n
; n
= next
)
1229 next
= n
->next_sibling_clone
;
1230 n
->next_sibling_clone
= NULL
;
1231 n
->prev_sibling_clone
= NULL
;
1237 /* While all the clones are removed after being proceeded, the function
1238 itself is kept in the cgraph even after it is compiled. Check whether
1239 we are done with this body and reclaim it proactively if this is the case.
1241 n
= cgraph_get_node (node
->symbol
.decl
);
1243 || (!n
->clones
&& !n
->clone_of
&& !n
->global
.inlined_to
1244 && (cgraph_global_info_ready
1245 && (TREE_ASM_WRITTEN (n
->symbol
.decl
)
1246 || DECL_EXTERNAL (n
->symbol
.decl
)
1248 || n
->symbol
.in_other_partition
))))
1249 cgraph_release_function_body (node
);
1251 node
->symbol
.decl
= NULL
;
1252 if (node
->call_site_hash
)
1254 htab_delete (node
->call_site_hash
);
1255 node
->call_site_hash
= NULL
;
1259 /* Clear out the node to NULL all pointers and add the node to the free
1261 memset (node
, 0, sizeof(*node
));
1262 node
->symbol
.type
= SYMTAB_FUNCTION
;
1264 SET_NEXT_FREE_NODE (node
, free_nodes
);
1268 /* Likewise indicate that a node is having address taken. */
1271 cgraph_mark_address_taken_node (struct cgraph_node
*node
)
1273 gcc_assert (!node
->global
.inlined_to
);
1274 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1275 IPA_REF_ADDR reference exists (and thus it should be set on node
1276 representing alias we take address of) and as a test whether address
1277 of the object was taken (and thus it should be set on node alias is
1278 referring to). We should remove the first use and the remove the
1280 node
->symbol
.address_taken
= 1;
1281 node
= cgraph_function_or_thunk_node (node
, NULL
);
1282 node
->symbol
.address_taken
= 1;
1285 /* Return local info for the compiled function. */
1287 struct cgraph_local_info
*
1288 cgraph_local_info (tree decl
)
1290 struct cgraph_node
*node
;
1292 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1293 node
= cgraph_get_node (decl
);
1296 return &node
->local
;
1299 /* Return local info for the compiled function. */
1301 struct cgraph_global_info
*
1302 cgraph_global_info (tree decl
)
1304 struct cgraph_node
*node
;
1306 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
&& cgraph_global_info_ready
);
1307 node
= cgraph_get_node (decl
);
1310 return &node
->global
;
1313 /* Return local info for the compiled function. */
1315 struct cgraph_rtl_info
*
1316 cgraph_rtl_info (tree decl
)
1318 struct cgraph_node
*node
;
1320 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1321 node
= cgraph_get_node (decl
);
1323 || (decl
!= current_function_decl
1324 && !TREE_ASM_WRITTEN (node
->symbol
.decl
)))
1329 /* Return a string describing the failure REASON. */
1332 cgraph_inline_failed_string (cgraph_inline_failed_t reason
)
1335 #define DEFCIFCODE(code, string) string,
1337 static const char *cif_string_table
[CIF_N_REASONS
] = {
1338 #include "cif-code.def"
1341 /* Signedness of an enum type is implementation defined, so cast it
1342 to unsigned before testing. */
1343 gcc_assert ((unsigned) reason
< CIF_N_REASONS
);
1344 return cif_string_table
[reason
];
1347 /* Names used to print out the availability enum. */
1348 const char * const cgraph_availability_names
[] =
1349 {"unset", "not_available", "overwritable", "available", "local"};
1352 /* Dump call graph node NODE to file F. */
1355 dump_cgraph_node (FILE *f
, struct cgraph_node
*node
)
1357 struct cgraph_edge
*edge
;
1358 int indirect_calls_count
= 0;
1360 dump_symtab_base (f
, (symtab_node
) node
);
1362 if (node
->global
.inlined_to
)
1363 fprintf (f
, " Function %s/%i is inline copy in %s/%i\n",
1364 xstrdup (cgraph_node_name (node
)),
1366 xstrdup (cgraph_node_name (node
->global
.inlined_to
)),
1367 node
->global
.inlined_to
->symbol
.order
);
1369 fprintf (f
, " Clone of %s/%i\n",
1370 cgraph_node_asm_name (node
->clone_of
),
1371 node
->clone_of
->symbol
.order
);
1372 if (cgraph_function_flags_ready
)
1373 fprintf (f
, " Availability: %s\n",
1374 cgraph_availability_names
[cgraph_function_body_availability (node
)]);
1376 fprintf (f
, " Function flags:");
1378 fprintf (f
, " analyzed");
1380 fprintf (f
, " executed "HOST_WIDEST_INT_PRINT_DEC
"x",
1381 (HOST_WIDEST_INT
)node
->count
);
1383 fprintf (f
, " nested in: %s", cgraph_node_asm_name (node
->origin
));
1384 if (gimple_has_body_p (node
->symbol
.decl
))
1385 fprintf (f
, " body");
1387 fprintf (f
, " process");
1388 if (node
->local
.local
)
1389 fprintf (f
, " local");
1390 if (node
->local
.finalized
)
1391 fprintf (f
, " finalized");
1392 if (node
->local
.redefined_extern_inline
)
1393 fprintf (f
, " redefined_extern_inline");
1394 if (node
->only_called_at_startup
)
1395 fprintf (f
, " only_called_at_startup");
1396 if (node
->only_called_at_exit
)
1397 fprintf (f
, " only_called_at_exit");
1398 else if (node
->alias
)
1399 fprintf (f
, " alias");
1401 fprintf (f
, " tm_clone");
1405 if (node
->thunk
.thunk_p
)
1407 fprintf (f
, " Thunk of %s (asm: %s) fixed offset %i virtual value %i has "
1408 "virtual offset %i)\n",
1409 lang_hooks
.decl_printable_name (node
->thunk
.alias
, 2),
1410 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (node
->thunk
.alias
)),
1411 (int)node
->thunk
.fixed_offset
,
1412 (int)node
->thunk
.virtual_value
,
1413 (int)node
->thunk
.virtual_offset_p
);
1415 if (node
->alias
&& node
->thunk
.alias
)
1417 fprintf (f
, " Alias of %s",
1418 lang_hooks
.decl_printable_name (node
->thunk
.alias
, 2));
1419 if (DECL_ASSEMBLER_NAME_SET_P (node
->thunk
.alias
))
1420 fprintf (f
, " (asm: %s)",
1421 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (node
->thunk
.alias
)));
1425 fprintf (f
, " Called by: ");
1427 for (edge
= node
->callers
; edge
; edge
= edge
->next_caller
)
1429 fprintf (f
, "%s/%i ", cgraph_node_asm_name (edge
->caller
),
1430 edge
->caller
->symbol
.order
);
1432 fprintf (f
, "("HOST_WIDEST_INT_PRINT_DEC
"x) ",
1433 (HOST_WIDEST_INT
)edge
->count
);
1434 if (edge
->frequency
)
1435 fprintf (f
, "(%.2f per call) ",
1436 edge
->frequency
/ (double)CGRAPH_FREQ_BASE
);
1437 if (!edge
->inline_failed
)
1438 fprintf(f
, "(inlined) ");
1439 if (edge
->indirect_inlining_edge
)
1440 fprintf(f
, "(indirect_inlining) ");
1441 if (edge
->can_throw_external
)
1442 fprintf(f
, "(can throw external) ");
1445 fprintf (f
, "\n Calls: ");
1446 for (edge
= node
->callees
; edge
; edge
= edge
->next_callee
)
1448 fprintf (f
, "%s/%i ", cgraph_node_asm_name (edge
->callee
),
1449 edge
->callee
->symbol
.order
);
1450 if (!edge
->inline_failed
)
1451 fprintf(f
, "(inlined) ");
1452 if (edge
->indirect_inlining_edge
)
1453 fprintf(f
, "(indirect_inlining) ");
1455 fprintf (f
, "("HOST_WIDEST_INT_PRINT_DEC
"x) ",
1456 (HOST_WIDEST_INT
)edge
->count
);
1457 if (edge
->frequency
)
1458 fprintf (f
, "(%.2f per call) ",
1459 edge
->frequency
/ (double)CGRAPH_FREQ_BASE
);
1460 if (edge
->can_throw_external
)
1461 fprintf(f
, "(can throw external) ");
1465 for (edge
= node
->indirect_calls
; edge
; edge
= edge
->next_callee
)
1466 indirect_calls_count
++;
1467 if (indirect_calls_count
)
1468 fprintf (f
, " Has %i outgoing edges for indirect calls.\n",
1469 indirect_calls_count
);
1473 /* Dump call graph node NODE to stderr. */
1476 debug_cgraph_node (struct cgraph_node
*node
)
1478 dump_cgraph_node (stderr
, node
);
1482 /* Dump the callgraph to file F. */
1485 dump_cgraph (FILE *f
)
1487 struct cgraph_node
*node
;
1489 fprintf (f
, "callgraph:\n\n");
1490 FOR_EACH_FUNCTION (node
)
1491 dump_cgraph_node (f
, node
);
1495 /* Dump the call graph to stderr. */
1500 dump_cgraph (stderr
);
1503 /* Return true when the DECL can possibly be inlined. */
1505 cgraph_function_possibly_inlined_p (tree decl
)
1507 if (!cgraph_global_info_ready
)
1508 return !DECL_UNINLINABLE (decl
);
1509 return DECL_POSSIBLY_INLINED (decl
);
1512 /* NODE is no longer nested function; update cgraph accordingly. */
1514 cgraph_unnest_node (struct cgraph_node
*node
)
1516 struct cgraph_node
**node2
= &node
->origin
->nested
;
1517 gcc_assert (node
->origin
);
1519 while (*node2
!= node
)
1520 node2
= &(*node2
)->next_nested
;
1521 *node2
= node
->next_nested
;
1522 node
->origin
= NULL
;
1525 /* Return function availability. See cgraph.h for description of individual
1528 cgraph_function_body_availability (struct cgraph_node
*node
)
1530 enum availability avail
;
1531 gcc_assert (cgraph_function_flags_ready
);
1532 if (!node
->analyzed
)
1533 avail
= AVAIL_NOT_AVAILABLE
;
1534 else if (node
->local
.local
)
1535 avail
= AVAIL_LOCAL
;
1536 else if (!node
->symbol
.externally_visible
)
1537 avail
= AVAIL_AVAILABLE
;
1538 /* Inline functions are safe to be analyzed even if their symbol can
1539 be overwritten at runtime. It is not meaningful to enforce any sane
1540 behaviour on replacing inline function by different body. */
1541 else if (DECL_DECLARED_INLINE_P (node
->symbol
.decl
))
1542 avail
= AVAIL_AVAILABLE
;
1544 /* If the function can be overwritten, return OVERWRITABLE. Take
1545 care at least of two notable extensions - the COMDAT functions
1546 used to share template instantiations in C++ (this is symmetric
1547 to code cp_cannot_inline_tree_fn and probably shall be shared and
1548 the inlinability hooks completely eliminated).
1550 ??? Does the C++ one definition rule allow us to always return
1551 AVAIL_AVAILABLE here? That would be good reason to preserve this
1554 else if (decl_replaceable_p (node
->symbol
.decl
)
1555 && !DECL_EXTERNAL (node
->symbol
.decl
))
1556 avail
= AVAIL_OVERWRITABLE
;
1557 else avail
= AVAIL_AVAILABLE
;
1562 /* Worker for cgraph_node_can_be_local_p. */
1564 cgraph_node_cannot_be_local_p_1 (struct cgraph_node
*node
,
1565 void *data ATTRIBUTE_UNUSED
)
1567 return !(!node
->symbol
.force_output
1568 && ((DECL_COMDAT (node
->symbol
.decl
)
1569 && !node
->symbol
.same_comdat_group
)
1570 || !node
->symbol
.externally_visible
));
1573 /* Return true if NODE can be made local for API change.
1574 Extern inline functions and C++ COMDAT functions can be made local
1575 at the expense of possible code size growth if function is used in multiple
1576 compilation units. */
1578 cgraph_node_can_be_local_p (struct cgraph_node
*node
)
1580 return (!node
->symbol
.address_taken
1581 && !cgraph_for_node_and_aliases (node
,
1582 cgraph_node_cannot_be_local_p_1
,
1586 /* Call calback on NODE, thunks and aliases associated to NODE.
1587 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
1591 cgraph_for_node_thunks_and_aliases (struct cgraph_node
*node
,
1592 bool (*callback
) (struct cgraph_node
*, void *),
1594 bool include_overwritable
)
1596 struct cgraph_edge
*e
;
1598 struct ipa_ref
*ref
;
1600 if (callback (node
, data
))
1602 for (e
= node
->callers
; e
; e
= e
->next_caller
)
1603 if (e
->caller
->thunk
.thunk_p
1604 && (include_overwritable
1605 || cgraph_function_body_availability (e
->caller
) > AVAIL_OVERWRITABLE
))
1606 if (cgraph_for_node_thunks_and_aliases (e
->caller
, callback
, data
,
1607 include_overwritable
))
1609 for (i
= 0; ipa_ref_list_referring_iterate (&node
->symbol
.ref_list
, i
, ref
); i
++)
1610 if (ref
->use
== IPA_REF_ALIAS
)
1612 struct cgraph_node
*alias
= ipa_ref_referring_node (ref
);
1613 if (include_overwritable
1614 || cgraph_function_body_availability (alias
) > AVAIL_OVERWRITABLE
)
1615 if (cgraph_for_node_thunks_and_aliases (alias
, callback
, data
,
1616 include_overwritable
))
1622 /* Call calback on NODE and aliases associated to NODE.
1623 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
1627 cgraph_for_node_and_aliases (struct cgraph_node
*node
,
1628 bool (*callback
) (struct cgraph_node
*, void *),
1630 bool include_overwritable
)
1633 struct ipa_ref
*ref
;
1635 if (callback (node
, data
))
1637 for (i
= 0; ipa_ref_list_referring_iterate (&node
->symbol
.ref_list
, i
, ref
); i
++)
1638 if (ref
->use
== IPA_REF_ALIAS
)
1640 struct cgraph_node
*alias
= ipa_ref_referring_node (ref
);
1641 if (include_overwritable
1642 || cgraph_function_body_availability (alias
) > AVAIL_OVERWRITABLE
)
1643 if (cgraph_for_node_and_aliases (alias
, callback
, data
,
1644 include_overwritable
))
1650 /* Worker to bring NODE local. */
1653 cgraph_make_node_local_1 (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
1655 gcc_checking_assert (cgraph_node_can_be_local_p (node
));
1656 if (DECL_COMDAT (node
->symbol
.decl
) || DECL_EXTERNAL (node
->symbol
.decl
))
1658 symtab_make_decl_local (node
->symbol
.decl
);
1660 node
->symbol
.externally_visible
= false;
1661 node
->local
.local
= true;
1662 node
->symbol
.resolution
= LDPR_PREVAILING_DEF_IRONLY
;
1663 gcc_assert (cgraph_function_body_availability (node
) == AVAIL_LOCAL
);
1668 /* Bring NODE local. */
1671 cgraph_make_node_local (struct cgraph_node
*node
)
1673 cgraph_for_node_thunks_and_aliases (node
, cgraph_make_node_local_1
,
1677 /* Worker to set nothrow flag. */
1680 cgraph_set_nothrow_flag_1 (struct cgraph_node
*node
, void *data
)
1682 struct cgraph_edge
*e
;
1684 TREE_NOTHROW (node
->symbol
.decl
) = data
!= NULL
;
1687 for (e
= node
->callers
; e
; e
= e
->next_caller
)
1688 e
->can_throw_external
= false;
1692 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
1693 if any to NOTHROW. */
1696 cgraph_set_nothrow_flag (struct cgraph_node
*node
, bool nothrow
)
1698 cgraph_for_node_thunks_and_aliases (node
, cgraph_set_nothrow_flag_1
,
1699 (void *)(size_t)nothrow
, false);
1702 /* Worker to set const flag. */
1705 cgraph_set_const_flag_1 (struct cgraph_node
*node
, void *data
)
1707 /* Static constructors and destructors without a side effect can be
1709 if (data
&& !((size_t)data
& 2))
1711 if (DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
))
1712 DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
) = 0;
1713 if (DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
))
1714 DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
) = 0;
1716 TREE_READONLY (node
->symbol
.decl
) = data
!= NULL
;
1717 DECL_LOOPING_CONST_OR_PURE_P (node
->symbol
.decl
) = ((size_t)data
& 2) != 0;
1721 /* Set TREE_READONLY on NODE's decl and on aliases of NODE
1722 if any to READONLY. */
1725 cgraph_set_const_flag (struct cgraph_node
*node
, bool readonly
, bool looping
)
1727 cgraph_for_node_thunks_and_aliases (node
, cgraph_set_const_flag_1
,
1728 (void *)(size_t)(readonly
+ (int)looping
* 2),
1732 /* Worker to set pure flag. */
1735 cgraph_set_pure_flag_1 (struct cgraph_node
*node
, void *data
)
1737 /* Static constructors and destructors without a side effect can be
1739 if (data
&& !((size_t)data
& 2))
1741 if (DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
))
1742 DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
) = 0;
1743 if (DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
))
1744 DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
) = 0;
1746 DECL_PURE_P (node
->symbol
.decl
) = data
!= NULL
;
1747 DECL_LOOPING_CONST_OR_PURE_P (node
->symbol
.decl
) = ((size_t)data
& 2) != 0;
1751 /* Set DECL_PURE_P on NODE's decl and on aliases of NODE
1755 cgraph_set_pure_flag (struct cgraph_node
*node
, bool pure
, bool looping
)
1757 cgraph_for_node_thunks_and_aliases (node
, cgraph_set_pure_flag_1
,
1758 (void *)(size_t)(pure
+ (int)looping
* 2),
1762 /* Data used by cgraph_propagate_frequency. */
1764 struct cgraph_propagate_frequency_data
1766 bool maybe_unlikely_executed
;
1767 bool maybe_executed_once
;
1768 bool only_called_at_startup
;
1769 bool only_called_at_exit
;
1772 /* Worker for cgraph_propagate_frequency_1. */
1775 cgraph_propagate_frequency_1 (struct cgraph_node
*node
, void *data
)
1777 struct cgraph_propagate_frequency_data
*d
;
1778 struct cgraph_edge
*edge
;
1780 d
= (struct cgraph_propagate_frequency_data
*)data
;
1781 for (edge
= node
->callers
;
1782 edge
&& (d
->maybe_unlikely_executed
|| d
->maybe_executed_once
1783 || d
->only_called_at_startup
|| d
->only_called_at_exit
);
1784 edge
= edge
->next_caller
)
1786 if (edge
->caller
!= node
)
1788 d
->only_called_at_startup
&= edge
->caller
->only_called_at_startup
;
1789 /* It makes sense to put main() together with the static constructors.
1790 It will be executed for sure, but rest of functions called from
1791 main are definitely not at startup only. */
1792 if (MAIN_NAME_P (DECL_NAME (edge
->caller
->symbol
.decl
)))
1793 d
->only_called_at_startup
= 0;
1794 d
->only_called_at_exit
&= edge
->caller
->only_called_at_exit
;
1796 if (!edge
->frequency
)
1798 switch (edge
->caller
->frequency
)
1800 case NODE_FREQUENCY_UNLIKELY_EXECUTED
:
1802 case NODE_FREQUENCY_EXECUTED_ONCE
:
1803 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
1804 fprintf (dump_file
, " Called by %s that is executed once\n",
1805 cgraph_node_name (edge
->caller
));
1806 d
->maybe_unlikely_executed
= false;
1807 if (inline_edge_summary (edge
)->loop_depth
)
1809 d
->maybe_executed_once
= false;
1810 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
1811 fprintf (dump_file
, " Called in loop\n");
1814 case NODE_FREQUENCY_HOT
:
1815 case NODE_FREQUENCY_NORMAL
:
1816 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
1817 fprintf (dump_file
, " Called by %s that is normal or hot\n",
1818 cgraph_node_name (edge
->caller
));
1819 d
->maybe_unlikely_executed
= false;
1820 d
->maybe_executed_once
= false;
1824 return edge
!= NULL
;
1827 /* See if the frequency of NODE can be updated based on frequencies of its
1830 cgraph_propagate_frequency (struct cgraph_node
*node
)
1832 struct cgraph_propagate_frequency_data d
= {true, true, true, true};
1833 bool changed
= false;
1835 if (!node
->local
.local
)
1837 gcc_assert (node
->analyzed
);
1838 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
1839 fprintf (dump_file
, "Processing frequency %s\n", cgraph_node_name (node
));
1841 cgraph_for_node_and_aliases (node
, cgraph_propagate_frequency_1
, &d
, true);
1843 if ((d
.only_called_at_startup
&& !d
.only_called_at_exit
)
1844 && !node
->only_called_at_startup
)
1846 node
->only_called_at_startup
= true;
1848 fprintf (dump_file
, "Node %s promoted to only called at startup.\n",
1849 cgraph_node_name (node
));
1852 if ((d
.only_called_at_exit
&& !d
.only_called_at_startup
)
1853 && !node
->only_called_at_exit
)
1855 node
->only_called_at_exit
= true;
1857 fprintf (dump_file
, "Node %s promoted to only called at exit.\n",
1858 cgraph_node_name (node
));
1861 /* These come either from profile or user hints; never update them. */
1862 if (node
->frequency
== NODE_FREQUENCY_HOT
1863 || node
->frequency
== NODE_FREQUENCY_UNLIKELY_EXECUTED
)
1865 if (d
.maybe_unlikely_executed
)
1867 node
->frequency
= NODE_FREQUENCY_UNLIKELY_EXECUTED
;
1869 fprintf (dump_file
, "Node %s promoted to unlikely executed.\n",
1870 cgraph_node_name (node
));
1873 else if (d
.maybe_executed_once
&& node
->frequency
!= NODE_FREQUENCY_EXECUTED_ONCE
)
1875 node
->frequency
= NODE_FREQUENCY_EXECUTED_ONCE
;
1877 fprintf (dump_file
, "Node %s promoted to executed once.\n",
1878 cgraph_node_name (node
));
1884 /* Return true when NODE can not return or throw and thus
1885 it is safe to ignore its side effects for IPA analysis. */
1888 cgraph_node_cannot_return (struct cgraph_node
*node
)
1890 int flags
= flags_from_decl_or_type (node
->symbol
.decl
);
1891 if (!flag_exceptions
)
1892 return (flags
& ECF_NORETURN
) != 0;
1894 return ((flags
& (ECF_NORETURN
| ECF_NOTHROW
))
1895 == (ECF_NORETURN
| ECF_NOTHROW
));
1898 /* Return true when call of E can not lead to return from caller
1899 and thus it is safe to ignore its side effects for IPA analysis
1900 when computing side effects of the caller.
1901 FIXME: We could actually mark all edges that have no reaching
1902 patch to EXIT_BLOCK_PTR or throw to get better results. */
1904 cgraph_edge_cannot_lead_to_return (struct cgraph_edge
*e
)
1906 if (cgraph_node_cannot_return (e
->caller
))
1908 if (e
->indirect_unknown_callee
)
1910 int flags
= e
->indirect_info
->ecf_flags
;
1911 if (!flag_exceptions
)
1912 return (flags
& ECF_NORETURN
) != 0;
1914 return ((flags
& (ECF_NORETURN
| ECF_NOTHROW
))
1915 == (ECF_NORETURN
| ECF_NOTHROW
));
1918 return cgraph_node_cannot_return (e
->callee
);
1921 /* Return true when function NODE can be removed from callgraph
1922 if all direct calls are eliminated. */
1925 cgraph_can_remove_if_no_direct_calls_and_refs_p (struct cgraph_node
*node
)
1927 gcc_assert (!node
->global
.inlined_to
);
1928 /* Extern inlines can always go, we will use the external definition. */
1929 if (DECL_EXTERNAL (node
->symbol
.decl
))
1931 /* When function is needed, we can not remove it. */
1932 if (node
->symbol
.force_output
|| node
->symbol
.used_from_other_partition
)
1934 if (DECL_STATIC_CONSTRUCTOR (node
->symbol
.decl
)
1935 || DECL_STATIC_DESTRUCTOR (node
->symbol
.decl
))
1937 /* Only COMDAT functions can be removed if externally visible. */
1938 if (node
->symbol
.externally_visible
1939 && (!DECL_COMDAT (node
->symbol
.decl
)
1940 || symtab_used_from_object_file_p ((symtab_node
) node
)))
1945 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
1948 nonremovable_p (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
1950 return !cgraph_can_remove_if_no_direct_calls_and_refs_p (node
);
1953 /* Return true when function NODE and its aliases can be removed from callgraph
1954 if all direct calls are eliminated. */
1957 cgraph_can_remove_if_no_direct_calls_p (struct cgraph_node
*node
)
1959 /* Extern inlines can always go, we will use the external definition. */
1960 if (DECL_EXTERNAL (node
->symbol
.decl
))
1962 if (node
->symbol
.address_taken
)
1964 return !cgraph_for_node_and_aliases (node
, nonremovable_p
, NULL
, true);
1967 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
1970 used_from_object_file_p (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
1972 return symtab_used_from_object_file_p ((symtab_node
) node
);
1975 /* Return true when function NODE can be expected to be removed
1976 from program when direct calls in this compilation unit are removed.
1978 As a special case COMDAT functions are
1979 cgraph_can_remove_if_no_direct_calls_p while the are not
1980 cgraph_only_called_directly_p (it is possible they are called from other
1983 This function behaves as cgraph_only_called_directly_p because eliminating
1984 all uses of COMDAT function does not make it necessarily disappear from
1985 the program unless we are compiling whole program or we do LTO. In this
1986 case we know we win since dynamic linking will not really discard the
1987 linkonce section. */
1990 cgraph_will_be_removed_from_program_if_no_direct_calls (struct cgraph_node
*node
)
1992 gcc_assert (!node
->global
.inlined_to
);
1993 if (cgraph_for_node_and_aliases (node
, used_from_object_file_p
, NULL
, true))
1995 if (!in_lto_p
&& !flag_whole_program
)
1996 return cgraph_only_called_directly_p (node
);
1999 if (DECL_EXTERNAL (node
->symbol
.decl
))
2001 return cgraph_can_remove_if_no_direct_calls_p (node
);
2006 /* Worker for cgraph_only_called_directly_p. */
2009 cgraph_not_only_called_directly_p_1 (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
2011 return !cgraph_only_called_directly_or_aliased_p (node
);
2014 /* Return true when function NODE and all its aliases are only called
2016 i.e. it is not externally visible, address was not taken and
2017 it is not used in any other non-standard way. */
2020 cgraph_only_called_directly_p (struct cgraph_node
*node
)
2022 gcc_assert (cgraph_function_or_thunk_node (node
, NULL
) == node
);
2023 return !cgraph_for_node_and_aliases (node
, cgraph_not_only_called_directly_p_1
,
2028 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
2031 collect_callers_of_node_1 (struct cgraph_node
*node
, void *data
)
2033 VEC (cgraph_edge_p
, heap
) ** redirect_callers
= (VEC (cgraph_edge_p
, heap
) **)data
;
2034 struct cgraph_edge
*cs
;
2035 enum availability avail
;
2036 cgraph_function_or_thunk_node (node
, &avail
);
2038 if (avail
> AVAIL_OVERWRITABLE
)
2039 for (cs
= node
->callers
; cs
!= NULL
; cs
= cs
->next_caller
)
2040 if (!cs
->indirect_inlining_edge
)
2041 VEC_safe_push (cgraph_edge_p
, heap
, *redirect_callers
, cs
);
2045 /* Collect all callers of NODE and its aliases that are known to lead to NODE
2046 (i.e. are not overwritable). */
2048 VEC (cgraph_edge_p
, heap
) *
2049 collect_callers_of_node (struct cgraph_node
*node
)
2051 VEC (cgraph_edge_p
, heap
) * redirect_callers
= NULL
;
2052 cgraph_for_node_and_aliases (node
, collect_callers_of_node_1
,
2053 &redirect_callers
, false);
2054 return redirect_callers
;
2057 /* Return TRUE if NODE2 is equivalent to NODE or its clone. */
2059 clone_of_p (struct cgraph_node
*node
, struct cgraph_node
*node2
)
2061 node
= cgraph_function_or_thunk_node (node
, NULL
);
2062 node2
= cgraph_function_or_thunk_node (node2
, NULL
);
2063 while (node
!= node2
&& node2
)
2064 node2
= node2
->clone_of
;
2065 return node2
!= NULL
;
2068 /* Verify edge E count and frequency. */
2071 verify_edge_count_and_frequency (struct cgraph_edge
*e
)
2073 bool error_found
= false;
2076 error ("caller edge count is negative");
2079 if (e
->frequency
< 0)
2081 error ("caller edge frequency is negative");
2084 if (e
->frequency
> CGRAPH_FREQ_MAX
)
2086 error ("caller edge frequency is too large");
2089 if (gimple_has_body_p (e
->caller
->symbol
.decl
)
2090 && !e
->caller
->global
.inlined_to
2091 /* FIXME: Inline-analysis sets frequency to 0 when edge is optimized out.
2092 Remove this once edges are actually removed from the function at that time. */
2094 || (inline_edge_summary_vec
2095 && ((VEC_length(inline_edge_summary_t
, inline_edge_summary_vec
)
2096 <= (unsigned) e
->uid
)
2097 || !inline_edge_summary (e
)->predicate
)))
2099 != compute_call_stmt_bb_frequency (e
->caller
->symbol
.decl
,
2100 gimple_bb (e
->call_stmt
))))
2102 error ("caller edge frequency %i does not match BB frequency %i",
2104 compute_call_stmt_bb_frequency (e
->caller
->symbol
.decl
,
2105 gimple_bb (e
->call_stmt
)));
2111 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
2113 cgraph_debug_gimple_stmt (struct function
*this_cfun
, gimple stmt
)
2115 /* debug_gimple_stmt needs correct cfun */
2116 if (cfun
!= this_cfun
)
2117 set_cfun (this_cfun
);
2118 debug_gimple_stmt (stmt
);
2121 /* Verify that call graph edge E corresponds to DECL from the associated
2122 statement. Return true if the verification should fail. */
2125 verify_edge_corresponds_to_fndecl (struct cgraph_edge
*e
, tree decl
)
2127 struct cgraph_node
*node
;
2129 if (!decl
|| e
->callee
->global
.inlined_to
)
2131 node
= cgraph_get_node (decl
);
2133 /* We do not know if a node from a different partition is an alias or what it
2134 aliases and therefore cannot do the former_clone_of check reliably. */
2135 if (!node
|| node
->symbol
.in_other_partition
)
2137 node
= cgraph_function_or_thunk_node (node
, NULL
);
2139 if ((e
->callee
->former_clone_of
!= node
->symbol
.decl
2140 && (!node
->same_body_alias
2141 || e
->callee
->former_clone_of
!= node
->thunk
.alias
))
2142 /* IPA-CP sometimes redirect edge to clone and then back to the former
2143 function. This ping-pong has to go, eventually. */
2144 && (node
!= cgraph_function_or_thunk_node (e
->callee
, NULL
))
2145 && !clone_of_p (node
, e
->callee
)
2146 /* If decl is a same body alias of some other decl, allow e->callee to be
2147 a clone of a clone of that other decl too. */
2148 && (!node
->same_body_alias
2149 || !clone_of_p (cgraph_get_node (node
->thunk
.alias
), e
->callee
)))
2155 /* Verify cgraph nodes of given cgraph node. */
2157 verify_cgraph_node (struct cgraph_node
*node
)
2159 struct cgraph_edge
*e
;
2160 struct function
*this_cfun
= DECL_STRUCT_FUNCTION (node
->symbol
.decl
);
2161 basic_block this_block
;
2162 gimple_stmt_iterator gsi
;
2163 bool error_found
= false;
2168 timevar_push (TV_CGRAPH_VERIFY
);
2169 error_found
|= verify_symtab_base ((symtab_node
) node
);
2170 for (e
= node
->callees
; e
; e
= e
->next_callee
)
2173 error ("aux field set for edge %s->%s",
2174 identifier_to_locale (cgraph_node_name (e
->caller
)),
2175 identifier_to_locale (cgraph_node_name (e
->callee
)));
2178 if (node
->count
< 0)
2180 error ("execution count is negative");
2183 if (node
->global
.inlined_to
&& node
->symbol
.same_comdat_group
)
2185 error ("inline clone in same comdat group list");
2188 if (node
->global
.inlined_to
&& node
->symbol
.externally_visible
)
2190 error ("externally visible inline clone");
2193 if (node
->global
.inlined_to
&& node
->symbol
.address_taken
)
2195 error ("inline clone with address taken");
2198 if (node
->global
.inlined_to
&& node
->symbol
.force_output
)
2200 error ("inline clone is forced to output");
2203 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
2207 error ("aux field set for indirect edge from %s",
2208 identifier_to_locale (cgraph_node_name (e
->caller
)));
2211 if (!e
->indirect_unknown_callee
2212 || !e
->indirect_info
)
2214 error ("An indirect edge from %s is not marked as indirect or has "
2215 "associated indirect_info, the corresponding statement is: ",
2216 identifier_to_locale (cgraph_node_name (e
->caller
)));
2217 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2221 for (e
= node
->callers
; e
; e
= e
->next_caller
)
2223 if (verify_edge_count_and_frequency (e
))
2225 if (!e
->inline_failed
)
2227 if (node
->global
.inlined_to
2228 != (e
->caller
->global
.inlined_to
2229 ? e
->caller
->global
.inlined_to
: e
->caller
))
2231 error ("inlined_to pointer is wrong");
2234 if (node
->callers
->next_caller
)
2236 error ("multiple inline callers");
2241 if (node
->global
.inlined_to
)
2243 error ("inlined_to pointer set for noninline callers");
2247 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
2248 if (verify_edge_count_and_frequency (e
))
2250 if (!node
->callers
&& node
->global
.inlined_to
)
2252 error ("inlined_to pointer is set but no predecessors found");
2255 if (node
->global
.inlined_to
== node
)
2257 error ("inlined_to pointer refers to itself");
2263 struct cgraph_node
*n
;
2264 for (n
= node
->clone_of
->clones
; n
; n
= n
->next_sibling_clone
)
2269 error ("node has wrong clone_of");
2275 struct cgraph_node
*n
;
2276 for (n
= node
->clones
; n
; n
= n
->next_sibling_clone
)
2277 if (n
->clone_of
!= node
)
2281 error ("node has wrong clone list");
2285 if ((node
->prev_sibling_clone
|| node
->next_sibling_clone
) && !node
->clone_of
)
2287 error ("node is in clone list but it is not clone");
2290 if (!node
->prev_sibling_clone
&& node
->clone_of
&& node
->clone_of
->clones
!= node
)
2292 error ("node has wrong prev_clone pointer");
2295 if (node
->prev_sibling_clone
&& node
->prev_sibling_clone
->next_sibling_clone
!= node
)
2297 error ("double linked list of clones corrupted");
2301 if (node
->analyzed
&& node
->alias
)
2303 bool ref_found
= false;
2305 struct ipa_ref
*ref
;
2309 error ("Alias has call edges");
2312 for (i
= 0; ipa_ref_list_reference_iterate (&node
->symbol
.ref_list
,
2314 if (ref
->use
!= IPA_REF_ALIAS
)
2316 error ("Alias has non-alias reference");
2321 error ("Alias has more than one alias reference");
2328 error ("Analyzed alias has no reference");
2332 if (node
->analyzed
&& node
->thunk
.thunk_p
)
2336 error ("No edge out of thunk node");
2339 else if (node
->callees
->next_callee
)
2341 error ("More than one edge out of thunk node");
2344 if (gimple_has_body_p (node
->symbol
.decl
))
2346 error ("Thunk is not supposed to have body");
2350 else if (node
->analyzed
&& gimple_has_body_p (node
->symbol
.decl
)
2351 && !TREE_ASM_WRITTEN (node
->symbol
.decl
)
2352 && (!DECL_EXTERNAL (node
->symbol
.decl
) || node
->global
.inlined_to
)
2357 /* The nodes we're interested in are never shared, so walk
2358 the tree ignoring duplicates. */
2359 struct pointer_set_t
*visited_nodes
= pointer_set_create ();
2360 /* Reach the trees by walking over the CFG, and note the
2361 enclosing basic-blocks in the call edges. */
2362 FOR_EACH_BB_FN (this_block
, this_cfun
)
2363 for (gsi
= gsi_start_bb (this_block
);
2367 gimple stmt
= gsi_stmt (gsi
);
2368 if (is_gimple_call (stmt
))
2370 struct cgraph_edge
*e
= cgraph_edge (node
, stmt
);
2371 tree decl
= gimple_call_fndecl (stmt
);
2376 error ("shared call_stmt:");
2377 cgraph_debug_gimple_stmt (this_cfun
, stmt
);
2380 if (!e
->indirect_unknown_callee
)
2382 if (verify_edge_corresponds_to_fndecl (e
, decl
))
2384 error ("edge points to wrong declaration:");
2385 debug_tree (e
->callee
->symbol
.decl
);
2386 fprintf (stderr
," Instead of:");
2393 error ("an indirect edge with unknown callee "
2394 "corresponding to a call_stmt with "
2395 "a known declaration:");
2397 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2403 error ("missing callgraph edge for call stmt:");
2404 cgraph_debug_gimple_stmt (this_cfun
, stmt
);
2409 pointer_set_destroy (visited_nodes
);
2412 /* No CFG available?! */
2415 for (e
= node
->callees
; e
; e
= e
->next_callee
)
2419 error ("edge %s->%s has no corresponding call_stmt",
2420 identifier_to_locale (cgraph_node_name (e
->caller
)),
2421 identifier_to_locale (cgraph_node_name (e
->callee
)));
2422 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2427 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
2431 error ("an indirect edge from %s has no corresponding call_stmt",
2432 identifier_to_locale (cgraph_node_name (e
->caller
)));
2433 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2441 dump_cgraph_node (stderr
, node
);
2442 internal_error ("verify_cgraph_node failed");
2444 timevar_pop (TV_CGRAPH_VERIFY
);
2447 /* Verify whole cgraph structure. */
2449 verify_cgraph (void)
2451 struct cgraph_node
*node
;
2456 FOR_EACH_FUNCTION (node
)
2457 verify_cgraph_node (node
);
2459 #include "gt-cgraph.h"