1 /* Callgraph handling code.
2 Copyright (C) 2003-2014 Free Software Foundation, Inc.
3 Contributed by Jan Hubicka
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 /* This file contains basic routines manipulating call graph
23 The call-graph is a data structure designed for intra-procedural optimization.
24 It represents a multi-graph where nodes are functions and edges are call sites. */
28 #include "coretypes.h"
33 #include "print-tree.h"
34 #include "tree-inline.h"
35 #include "langhooks.h"
43 #include "tree-ssa-alias.h"
44 #include "internal-fn.h"
46 #include "gimple-expr.h"
48 #include "gimple-iterator.h"
51 #include "gimple-ssa.h"
55 #include "value-prof.h"
57 #include "diagnostic-core.h"
59 #include "ipa-utils.h"
60 #include "lto-streamer.h"
61 #include "ipa-inline.h"
63 #include "gimple-pretty-print.h"
67 /* FIXME: Only for PROP_loops, but cgraph shouldn't have to know about this. */
68 #include "tree-pass.h"
70 static void cgraph_node_remove_callers (struct cgraph_node
*node
);
71 static inline void cgraph_edge_remove_caller (struct cgraph_edge
*e
);
72 static inline void cgraph_edge_remove_callee (struct cgraph_edge
*e
);
74 /* Queue of cgraph nodes scheduled to be lowered. */
75 symtab_node
*x_cgraph_nodes_queue
;
76 #define cgraph_nodes_queue ((struct cgraph_node *)x_cgraph_nodes_queue)
78 /* Number of nodes in existence. */
81 /* Maximal uid used in cgraph nodes. */
84 /* Maximal uid used in cgraph edges. */
85 int cgraph_edge_max_uid
;
87 /* Set when whole unit has been analyzed so we can access global info. */
88 bool cgraph_global_info_ready
= false;
90 /* What state callgraph is in right now. */
91 enum cgraph_state cgraph_state
= CGRAPH_STATE_PARSING
;
93 /* Set when the cgraph is fully build and the basic flags are computed. */
94 bool cgraph_function_flags_ready
= false;
96 /* List of hooks triggered on cgraph_edge events. */
97 struct cgraph_edge_hook_list
{
98 cgraph_edge_hook hook
;
100 struct cgraph_edge_hook_list
*next
;
103 /* List of hooks triggered on cgraph_node events. */
104 struct cgraph_node_hook_list
{
105 cgraph_node_hook hook
;
107 struct cgraph_node_hook_list
*next
;
110 /* List of hooks triggered on events involving two cgraph_edges. */
111 struct cgraph_2edge_hook_list
{
112 cgraph_2edge_hook hook
;
114 struct cgraph_2edge_hook_list
*next
;
117 /* List of hooks triggered on events involving two cgraph_nodes. */
118 struct cgraph_2node_hook_list
{
119 cgraph_2node_hook hook
;
121 struct cgraph_2node_hook_list
*next
;
124 /* List of hooks triggered when an edge is removed. */
125 struct cgraph_edge_hook_list
*first_cgraph_edge_removal_hook
;
126 /* List of hooks triggered when a node is removed. */
127 struct cgraph_node_hook_list
*first_cgraph_node_removal_hook
;
128 /* List of hooks triggered when an edge is duplicated. */
129 struct cgraph_2edge_hook_list
*first_cgraph_edge_duplicated_hook
;
130 /* List of hooks triggered when a node is duplicated. */
131 struct cgraph_2node_hook_list
*first_cgraph_node_duplicated_hook
;
132 /* List of hooks triggered when an function is inserted. */
133 struct cgraph_node_hook_list
*first_cgraph_function_insertion_hook
;
135 /* Head of a linked list of unused (freed) call graph nodes.
136 Do not GTY((delete)) this list so UIDs gets reliably recycled. */
137 static GTY(()) struct cgraph_node
*free_nodes
;
138 /* Head of a linked list of unused (freed) call graph edges.
139 Do not GTY((delete)) this list so UIDs gets reliably recycled. */
140 static GTY(()) struct cgraph_edge
*free_edges
;
142 /* Did procss_same_body_aliases run? */
143 bool cpp_implicit_aliases_done
;
145 /* Map a cgraph_node to cgraph_function_version_info using this htab.
146 The cgraph_function_version_info has a THIS_NODE field that is the
147 corresponding cgraph_node.. */
149 static GTY((param_is (struct cgraph_function_version_info
))) htab_t
150 cgraph_fnver_htab
= NULL
;
152 /* Hash function for cgraph_fnver_htab. */
154 cgraph_fnver_htab_hash (const void *ptr
)
156 int uid
= ((const struct cgraph_function_version_info
*)ptr
)->this_node
->uid
;
157 return (hashval_t
)(uid
);
160 /* eq function for cgraph_fnver_htab. */
162 cgraph_fnver_htab_eq (const void *p1
, const void *p2
)
164 const struct cgraph_function_version_info
*n1
165 = (const struct cgraph_function_version_info
*)p1
;
166 const struct cgraph_function_version_info
*n2
167 = (const struct cgraph_function_version_info
*)p2
;
169 return n1
->this_node
->uid
== n2
->this_node
->uid
;
172 /* Mark as GC root all allocated nodes. */
173 static GTY(()) struct cgraph_function_version_info
*
174 version_info_node
= NULL
;
176 /* Get the cgraph_function_version_info node corresponding to node. */
177 struct cgraph_function_version_info
*
178 get_cgraph_node_version (struct cgraph_node
*node
)
180 struct cgraph_function_version_info
*ret
;
181 struct cgraph_function_version_info key
;
182 key
.this_node
= node
;
184 if (cgraph_fnver_htab
== NULL
)
187 ret
= (struct cgraph_function_version_info
*)
188 htab_find (cgraph_fnver_htab
, &key
);
193 /* Insert a new cgraph_function_version_info node into cgraph_fnver_htab
194 corresponding to cgraph_node NODE. */
195 struct cgraph_function_version_info
*
196 insert_new_cgraph_node_version (struct cgraph_node
*node
)
200 version_info_node
= NULL
;
201 version_info_node
= ggc_cleared_alloc
<cgraph_function_version_info
> ();
202 version_info_node
->this_node
= node
;
204 if (cgraph_fnver_htab
== NULL
)
205 cgraph_fnver_htab
= htab_create_ggc (2, cgraph_fnver_htab_hash
,
206 cgraph_fnver_htab_eq
, NULL
);
208 slot
= htab_find_slot (cgraph_fnver_htab
, version_info_node
, INSERT
);
209 gcc_assert (slot
!= NULL
);
210 *slot
= version_info_node
;
211 return version_info_node
;
214 /* Remove the cgraph_function_version_info and cgraph_node for DECL. This
215 DECL is a duplicate declaration. */
217 delete_function_version (tree decl
)
219 struct cgraph_node
*decl_node
= cgraph_get_node (decl
);
220 struct cgraph_function_version_info
*decl_v
= NULL
;
222 if (decl_node
== NULL
)
225 decl_v
= get_cgraph_node_version (decl_node
);
230 if (decl_v
->prev
!= NULL
)
231 decl_v
->prev
->next
= decl_v
->next
;
233 if (decl_v
->next
!= NULL
)
234 decl_v
->next
->prev
= decl_v
->prev
;
236 if (cgraph_fnver_htab
!= NULL
)
237 htab_remove_elt (cgraph_fnver_htab
, decl_v
);
239 cgraph_remove_node (decl_node
);
242 /* Record that DECL1 and DECL2 are semantically identical function
245 record_function_versions (tree decl1
, tree decl2
)
247 struct cgraph_node
*decl1_node
= cgraph_get_create_node (decl1
);
248 struct cgraph_node
*decl2_node
= cgraph_get_create_node (decl2
);
249 struct cgraph_function_version_info
*decl1_v
= NULL
;
250 struct cgraph_function_version_info
*decl2_v
= NULL
;
251 struct cgraph_function_version_info
*before
;
252 struct cgraph_function_version_info
*after
;
254 gcc_assert (decl1_node
!= NULL
&& decl2_node
!= NULL
);
255 decl1_v
= get_cgraph_node_version (decl1_node
);
256 decl2_v
= get_cgraph_node_version (decl2_node
);
258 if (decl1_v
!= NULL
&& decl2_v
!= NULL
)
262 decl1_v
= insert_new_cgraph_node_version (decl1_node
);
265 decl2_v
= insert_new_cgraph_node_version (decl2_node
);
267 /* Chain decl2_v and decl1_v. All semantically identical versions
268 will be chained together. */
273 while (before
->next
!= NULL
)
274 before
= before
->next
;
276 while (after
->prev
!= NULL
)
279 before
->next
= after
;
280 after
->prev
= before
;
283 /* Macros to access the next item in the list of free cgraph nodes and
285 #define NEXT_FREE_NODE(NODE) cgraph ((NODE)->next)
286 #define SET_NEXT_FREE_NODE(NODE,NODE2) ((NODE))->next = NODE2
287 #define NEXT_FREE_EDGE(EDGE) (EDGE)->prev_caller
289 /* Register HOOK to be called with DATA on each removed edge. */
290 struct cgraph_edge_hook_list
*
291 cgraph_add_edge_removal_hook (cgraph_edge_hook hook
, void *data
)
293 struct cgraph_edge_hook_list
*entry
;
294 struct cgraph_edge_hook_list
**ptr
= &first_cgraph_edge_removal_hook
;
296 entry
= (struct cgraph_edge_hook_list
*) xmalloc (sizeof (*entry
));
306 /* Remove ENTRY from the list of hooks called on removing edges. */
308 cgraph_remove_edge_removal_hook (struct cgraph_edge_hook_list
*entry
)
310 struct cgraph_edge_hook_list
**ptr
= &first_cgraph_edge_removal_hook
;
312 while (*ptr
!= entry
)
318 /* Call all edge removal hooks. */
320 cgraph_call_edge_removal_hooks (struct cgraph_edge
*e
)
322 struct cgraph_edge_hook_list
*entry
= first_cgraph_edge_removal_hook
;
325 entry
->hook (e
, entry
->data
);
330 /* Register HOOK to be called with DATA on each removed node. */
331 struct cgraph_node_hook_list
*
332 cgraph_add_node_removal_hook (cgraph_node_hook hook
, void *data
)
334 struct cgraph_node_hook_list
*entry
;
335 struct cgraph_node_hook_list
**ptr
= &first_cgraph_node_removal_hook
;
337 entry
= (struct cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
347 /* Remove ENTRY from the list of hooks called on removing nodes. */
349 cgraph_remove_node_removal_hook (struct cgraph_node_hook_list
*entry
)
351 struct cgraph_node_hook_list
**ptr
= &first_cgraph_node_removal_hook
;
353 while (*ptr
!= entry
)
359 /* Call all node removal hooks. */
361 cgraph_call_node_removal_hooks (struct cgraph_node
*node
)
363 struct cgraph_node_hook_list
*entry
= first_cgraph_node_removal_hook
;
366 entry
->hook (node
, entry
->data
);
371 /* Register HOOK to be called with DATA on each inserted node. */
372 struct cgraph_node_hook_list
*
373 cgraph_add_function_insertion_hook (cgraph_node_hook hook
, void *data
)
375 struct cgraph_node_hook_list
*entry
;
376 struct cgraph_node_hook_list
**ptr
= &first_cgraph_function_insertion_hook
;
378 entry
= (struct cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
388 /* Remove ENTRY from the list of hooks called on inserted nodes. */
390 cgraph_remove_function_insertion_hook (struct cgraph_node_hook_list
*entry
)
392 struct cgraph_node_hook_list
**ptr
= &first_cgraph_function_insertion_hook
;
394 while (*ptr
!= entry
)
400 /* Call all node insertion hooks. */
402 cgraph_call_function_insertion_hooks (struct cgraph_node
*node
)
404 struct cgraph_node_hook_list
*entry
= first_cgraph_function_insertion_hook
;
407 entry
->hook (node
, entry
->data
);
412 /* Register HOOK to be called with DATA on each duplicated edge. */
413 struct cgraph_2edge_hook_list
*
414 cgraph_add_edge_duplication_hook (cgraph_2edge_hook hook
, void *data
)
416 struct cgraph_2edge_hook_list
*entry
;
417 struct cgraph_2edge_hook_list
**ptr
= &first_cgraph_edge_duplicated_hook
;
419 entry
= (struct cgraph_2edge_hook_list
*) xmalloc (sizeof (*entry
));
429 /* Remove ENTRY from the list of hooks called on duplicating edges. */
431 cgraph_remove_edge_duplication_hook (struct cgraph_2edge_hook_list
*entry
)
433 struct cgraph_2edge_hook_list
**ptr
= &first_cgraph_edge_duplicated_hook
;
435 while (*ptr
!= entry
)
441 /* Call all edge duplication hooks. */
443 cgraph_call_edge_duplication_hooks (struct cgraph_edge
*cs1
,
444 struct cgraph_edge
*cs2
)
446 struct cgraph_2edge_hook_list
*entry
= first_cgraph_edge_duplicated_hook
;
449 entry
->hook (cs1
, cs2
, entry
->data
);
454 /* Register HOOK to be called with DATA on each duplicated node. */
455 struct cgraph_2node_hook_list
*
456 cgraph_add_node_duplication_hook (cgraph_2node_hook hook
, void *data
)
458 struct cgraph_2node_hook_list
*entry
;
459 struct cgraph_2node_hook_list
**ptr
= &first_cgraph_node_duplicated_hook
;
461 entry
= (struct cgraph_2node_hook_list
*) xmalloc (sizeof (*entry
));
471 /* Remove ENTRY from the list of hooks called on duplicating nodes. */
473 cgraph_remove_node_duplication_hook (struct cgraph_2node_hook_list
*entry
)
475 struct cgraph_2node_hook_list
**ptr
= &first_cgraph_node_duplicated_hook
;
477 while (*ptr
!= entry
)
483 /* Call all node duplication hooks. */
485 cgraph_call_node_duplication_hooks (struct cgraph_node
*node1
,
486 struct cgraph_node
*node2
)
488 struct cgraph_2node_hook_list
*entry
= first_cgraph_node_duplicated_hook
;
491 entry
->hook (node1
, node2
, entry
->data
);
496 /* Allocate new callgraph node. */
498 static inline struct cgraph_node
*
499 cgraph_allocate_node (void)
501 struct cgraph_node
*node
;
506 free_nodes
= NEXT_FREE_NODE (node
);
510 node
= ggc_cleared_alloc
<cgraph_node
> ();
511 node
->uid
= cgraph_max_uid
++;
517 /* Allocate new callgraph node and insert it into basic data structures. */
520 cgraph_create_empty_node (void)
522 struct cgraph_node
*node
= cgraph_allocate_node ();
524 node
->type
= SYMTAB_FUNCTION
;
525 node
->frequency
= NODE_FREQUENCY_NORMAL
;
526 node
->count_materialization_scale
= REG_BR_PROB_BASE
;
531 /* Return cgraph node assigned to DECL. Create new one when needed. */
534 cgraph_create_node (tree decl
)
536 struct cgraph_node
*node
= cgraph_create_empty_node ();
537 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
540 symtab_register_node (node
);
542 if (DECL_CONTEXT (decl
) && TREE_CODE (DECL_CONTEXT (decl
)) == FUNCTION_DECL
)
544 node
->origin
= cgraph_get_create_node (DECL_CONTEXT (decl
));
545 node
->next_nested
= node
->origin
->nested
;
546 node
->origin
->nested
= node
;
551 /* Try to find a call graph node for declaration DECL and if it does not exist
552 or if it corresponds to an inline clone, create a new one. */
555 cgraph_get_create_node (tree decl
)
557 struct cgraph_node
*first_clone
= cgraph_get_node (decl
);
559 if (first_clone
&& !first_clone
->global
.inlined_to
)
562 struct cgraph_node
*node
= cgraph_create_node (decl
);
565 first_clone
->clone_of
= node
;
566 node
->clones
= first_clone
;
567 symtab_prevail_in_asm_name_hash (node
);
568 node
->decl
->decl_with_vis
.symtab_node
= node
;
570 fprintf (dump_file
, "Introduced new external node "
571 "(%s/%i) and turned into root of the clone tree.\n",
572 xstrdup (node
->name ()), node
->order
);
575 fprintf (dump_file
, "Introduced new external node "
576 "(%s/%i).\n", xstrdup (node
->name ()),
581 /* Mark ALIAS as an alias to DECL. DECL_NODE is cgraph node representing
582 the function body is associated with (not necessarily cgraph_node (DECL). */
585 cgraph_create_function_alias (tree alias
, tree target
)
587 struct cgraph_node
*alias_node
;
589 gcc_assert (TREE_CODE (target
) == FUNCTION_DECL
590 || TREE_CODE (target
) == IDENTIFIER_NODE
);
591 gcc_assert (TREE_CODE (alias
) == FUNCTION_DECL
);
592 alias_node
= cgraph_get_create_node (alias
);
593 gcc_assert (!alias_node
->definition
);
594 alias_node
->alias_target
= target
;
595 alias_node
->definition
= true;
596 alias_node
->alias
= true;
597 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (alias
)) != NULL
)
598 alias_node
->weakref
= true;
602 /* Attempt to mark ALIAS as an alias to DECL. Return alias node if successful
604 Same body aliases are output whenever the body of DECL is output,
605 and cgraph_get_node (ALIAS) transparently returns cgraph_get_node (DECL). */
608 cgraph_same_body_alias (struct cgraph_node
*decl_node ATTRIBUTE_UNUSED
, tree alias
, tree decl
)
610 struct cgraph_node
*n
;
611 #ifndef ASM_OUTPUT_DEF
612 /* If aliases aren't supported by the assembler, fail. */
615 /* Langhooks can create same body aliases of symbols not defined.
616 Those are useless. Drop them on the floor. */
617 if (cgraph_global_info_ready
)
620 n
= cgraph_create_function_alias (alias
, decl
);
621 n
->cpp_implicit_alias
= true;
622 if (cpp_implicit_aliases_done
)
623 symtab_resolve_alias (n
,
624 cgraph_get_node (decl
));
628 /* Add thunk alias into callgraph. The alias declaration is ALIAS and it
629 aliases DECL with an adjustments made into the first parameter.
630 See comments in thunk_adjust for detail on the parameters. */
633 cgraph_add_thunk (struct cgraph_node
*decl_node ATTRIBUTE_UNUSED
,
634 tree alias
, tree decl ATTRIBUTE_UNUSED
,
636 HOST_WIDE_INT fixed_offset
, HOST_WIDE_INT virtual_value
,
640 struct cgraph_node
*node
;
642 node
= cgraph_get_node (alias
);
644 cgraph_reset_node (node
);
646 node
= cgraph_create_node (alias
);
647 gcc_checking_assert (!virtual_offset
648 || wi::eq_p (virtual_offset
, virtual_value
));
649 node
->thunk
.fixed_offset
= fixed_offset
;
650 node
->thunk
.this_adjusting
= this_adjusting
;
651 node
->thunk
.virtual_value
= virtual_value
;
652 node
->thunk
.virtual_offset_p
= virtual_offset
!= NULL
;
653 node
->thunk
.alias
= real_alias
;
654 node
->thunk
.thunk_p
= true;
655 node
->definition
= true;
660 /* Return the cgraph node that has ASMNAME for its DECL_ASSEMBLER_NAME.
661 Return NULL if there's no such node. */
664 cgraph_node_for_asm (tree asmname
)
666 /* We do not want to look at inline clones. */
667 for (symtab_node
*node
= symtab_node_for_asm (asmname
);
669 node
= node
->next_sharing_asm_name
)
671 cgraph_node
*cn
= dyn_cast
<cgraph_node
*> (node
);
672 if (cn
&& !cn
->global
.inlined_to
)
678 /* Returns a hash value for X (which really is a cgraph_edge). */
681 edge_hash (const void *x
)
683 return htab_hash_pointer (((const struct cgraph_edge
*) x
)->call_stmt
);
686 /* Return nonzero if the call_stmt of of cgraph_edge X is stmt *Y. */
689 edge_eq (const void *x
, const void *y
)
691 return ((const struct cgraph_edge
*) x
)->call_stmt
== y
;
694 /* Add call graph edge E to call site hash of its caller. */
697 cgraph_update_edge_in_call_site_hash (struct cgraph_edge
*e
)
700 slot
= htab_find_slot_with_hash (e
->caller
->call_site_hash
,
702 htab_hash_pointer (e
->call_stmt
),
707 /* Add call graph edge E to call site hash of its caller. */
710 cgraph_add_edge_to_call_site_hash (struct cgraph_edge
*e
)
713 /* There are two speculative edges for every statement (one direct,
714 one indirect); always hash the direct one. */
715 if (e
->speculative
&& e
->indirect_unknown_callee
)
717 slot
= htab_find_slot_with_hash (e
->caller
->call_site_hash
,
719 htab_hash_pointer (e
->call_stmt
),
723 gcc_assert (((struct cgraph_edge
*)*slot
)->speculative
);
728 gcc_assert (!*slot
|| e
->speculative
);
732 /* Return the callgraph edge representing the GIMPLE_CALL statement
736 cgraph_edge (struct cgraph_node
*node
, gimple call_stmt
)
738 struct cgraph_edge
*e
, *e2
;
741 if (node
->call_site_hash
)
742 return (struct cgraph_edge
*)
743 htab_find_with_hash (node
->call_site_hash
, call_stmt
,
744 htab_hash_pointer (call_stmt
));
746 /* This loop may turn out to be performance problem. In such case adding
747 hashtables into call nodes with very many edges is probably best
748 solution. It is not good idea to add pointer into CALL_EXPR itself
749 because we want to make possible having multiple cgraph nodes representing
750 different clones of the same body before the body is actually cloned. */
751 for (e
= node
->callees
; e
; e
= e
->next_callee
)
753 if (e
->call_stmt
== call_stmt
)
759 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
761 if (e
->call_stmt
== call_stmt
)
768 node
->call_site_hash
= htab_create_ggc (120, edge_hash
, edge_eq
, NULL
);
769 for (e2
= node
->callees
; e2
; e2
= e2
->next_callee
)
770 cgraph_add_edge_to_call_site_hash (e2
);
771 for (e2
= node
->indirect_calls
; e2
; e2
= e2
->next_callee
)
772 cgraph_add_edge_to_call_site_hash (e2
);
779 /* Change field call_stmt of edge E to NEW_STMT.
780 If UPDATE_SPECULATIVE and E is any component of speculative
781 edge, then update all components. */
784 cgraph_set_call_stmt (struct cgraph_edge
*e
, gimple new_stmt
,
785 bool update_speculative
)
789 /* Speculative edges has three component, update all of them
791 if (update_speculative
&& e
->speculative
)
793 struct cgraph_edge
*direct
, *indirect
;
796 cgraph_speculative_call_info (e
, direct
, indirect
, ref
);
797 cgraph_set_call_stmt (direct
, new_stmt
, false);
798 cgraph_set_call_stmt (indirect
, new_stmt
, false);
799 ref
->stmt
= new_stmt
;
803 /* Only direct speculative edges go to call_site_hash. */
804 if (e
->caller
->call_site_hash
805 && (!e
->speculative
|| !e
->indirect_unknown_callee
))
807 htab_remove_elt_with_hash (e
->caller
->call_site_hash
,
809 htab_hash_pointer (e
->call_stmt
));
812 e
->call_stmt
= new_stmt
;
813 if (e
->indirect_unknown_callee
814 && (decl
= gimple_call_fndecl (new_stmt
)))
816 /* Constant propagation (and possibly also inlining?) can turn an
817 indirect call into a direct one. */
818 struct cgraph_node
*new_callee
= cgraph_get_node (decl
);
820 gcc_checking_assert (new_callee
);
821 e
= cgraph_make_edge_direct (e
, new_callee
);
824 push_cfun (DECL_STRUCT_FUNCTION (e
->caller
->decl
));
825 e
->can_throw_external
= stmt_can_throw_external (new_stmt
);
827 if (e
->caller
->call_site_hash
)
828 cgraph_add_edge_to_call_site_hash (e
);
831 /* Allocate a cgraph_edge structure and fill it with data according to the
832 parameters of which only CALLEE can be NULL (when creating an indirect call
835 static struct cgraph_edge
*
836 cgraph_create_edge_1 (struct cgraph_node
*caller
, struct cgraph_node
*callee
,
837 gimple call_stmt
, gcov_type count
, int freq
,
838 bool indir_unknown_callee
)
840 struct cgraph_edge
*edge
;
842 /* LTO does not actually have access to the call_stmt since these
843 have not been loaded yet. */
846 /* This is a rather expensive check possibly triggering
847 construction of call stmt hashtable. */
848 #ifdef ENABLE_CHECKING
849 struct cgraph_edge
*e
;
850 gcc_checking_assert (!(e
=cgraph_edge (caller
, call_stmt
)) || e
->speculative
);
853 gcc_assert (is_gimple_call (call_stmt
));
859 free_edges
= NEXT_FREE_EDGE (edge
);
863 edge
= ggc_alloc
<struct cgraph_edge
> ();
864 edge
->uid
= cgraph_edge_max_uid
++;
868 edge
->caller
= caller
;
869 edge
->callee
= callee
;
870 edge
->prev_caller
= NULL
;
871 edge
->next_caller
= NULL
;
872 edge
->prev_callee
= NULL
;
873 edge
->next_callee
= NULL
;
874 edge
->lto_stmt_uid
= 0;
877 gcc_assert (count
>= 0);
878 edge
->frequency
= freq
;
879 gcc_assert (freq
>= 0);
880 gcc_assert (freq
<= CGRAPH_FREQ_MAX
);
882 edge
->call_stmt
= call_stmt
;
883 push_cfun (DECL_STRUCT_FUNCTION (caller
->decl
));
884 edge
->can_throw_external
885 = call_stmt
? stmt_can_throw_external (call_stmt
) : false;
888 && callee
&& callee
->decl
889 && !gimple_check_call_matching_types (call_stmt
, callee
->decl
,
891 edge
->call_stmt_cannot_inline_p
= true;
893 edge
->call_stmt_cannot_inline_p
= false;
895 edge
->indirect_info
= NULL
;
896 edge
->indirect_inlining_edge
= 0;
897 edge
->speculative
= false;
898 edge
->indirect_unknown_callee
= indir_unknown_callee
;
899 if (call_stmt
&& caller
->call_site_hash
)
900 cgraph_add_edge_to_call_site_hash (edge
);
905 /* Create edge from CALLER to CALLEE in the cgraph. */
908 cgraph_create_edge (struct cgraph_node
*caller
, struct cgraph_node
*callee
,
909 gimple call_stmt
, gcov_type count
, int freq
)
911 struct cgraph_edge
*edge
= cgraph_create_edge_1 (caller
, callee
, call_stmt
,
914 initialize_inline_failed (edge
);
916 edge
->next_caller
= callee
->callers
;
918 callee
->callers
->prev_caller
= edge
;
919 edge
->next_callee
= caller
->callees
;
921 caller
->callees
->prev_callee
= edge
;
922 caller
->callees
= edge
;
923 callee
->callers
= edge
;
928 /* Allocate cgraph_indirect_call_info and set its fields to default values. */
930 struct cgraph_indirect_call_info
*
931 cgraph_allocate_init_indirect_info (void)
933 struct cgraph_indirect_call_info
*ii
;
935 ii
= ggc_cleared_alloc
<cgraph_indirect_call_info
> ();
936 ii
->param_index
= -1;
940 /* Create an indirect edge with a yet-undetermined callee where the call
941 statement destination is a formal parameter of the caller with index
945 cgraph_create_indirect_edge (struct cgraph_node
*caller
, gimple call_stmt
,
947 gcov_type count
, int freq
)
949 struct cgraph_edge
*edge
= cgraph_create_edge_1 (caller
, NULL
, call_stmt
,
953 initialize_inline_failed (edge
);
955 edge
->indirect_info
= cgraph_allocate_init_indirect_info ();
956 edge
->indirect_info
->ecf_flags
= ecf_flags
;
958 /* Record polymorphic call info. */
960 && (target
= gimple_call_fn (call_stmt
))
961 && virtual_method_call_p (target
))
964 HOST_WIDE_INT otr_token
;
965 ipa_polymorphic_call_context context
;
967 get_polymorphic_call_info (caller
->decl
,
969 &otr_type
, &otr_token
,
970 &context
, call_stmt
);
972 /* Only record types can have virtual calls. */
973 gcc_assert (TREE_CODE (otr_type
) == RECORD_TYPE
);
974 edge
->indirect_info
->polymorphic
= true;
975 edge
->indirect_info
->param_index
= -1;
976 edge
->indirect_info
->otr_token
= otr_token
;
977 edge
->indirect_info
->otr_type
= otr_type
;
978 edge
->indirect_info
->outer_type
= context
.outer_type
;
979 edge
->indirect_info
->offset
= context
.offset
;
980 edge
->indirect_info
->maybe_in_construction
981 = context
.maybe_in_construction
;
982 edge
->indirect_info
->maybe_derived_type
= context
.maybe_derived_type
;
985 edge
->next_callee
= caller
->indirect_calls
;
986 if (caller
->indirect_calls
)
987 caller
->indirect_calls
->prev_callee
= edge
;
988 caller
->indirect_calls
= edge
;
993 /* Remove the edge E from the list of the callers of the callee. */
996 cgraph_edge_remove_callee (struct cgraph_edge
*e
)
998 gcc_assert (!e
->indirect_unknown_callee
);
1000 e
->prev_caller
->next_caller
= e
->next_caller
;
1002 e
->next_caller
->prev_caller
= e
->prev_caller
;
1003 if (!e
->prev_caller
)
1004 e
->callee
->callers
= e
->next_caller
;
1007 /* Remove the edge E from the list of the callees of the caller. */
1010 cgraph_edge_remove_caller (struct cgraph_edge
*e
)
1013 e
->prev_callee
->next_callee
= e
->next_callee
;
1015 e
->next_callee
->prev_callee
= e
->prev_callee
;
1016 if (!e
->prev_callee
)
1018 if (e
->indirect_unknown_callee
)
1019 e
->caller
->indirect_calls
= e
->next_callee
;
1021 e
->caller
->callees
= e
->next_callee
;
1023 if (e
->caller
->call_site_hash
)
1024 htab_remove_elt_with_hash (e
->caller
->call_site_hash
,
1026 htab_hash_pointer (e
->call_stmt
));
1029 /* Put the edge onto the free list. */
1032 cgraph_free_edge (struct cgraph_edge
*e
)
1036 if (e
->indirect_info
)
1037 ggc_free (e
->indirect_info
);
1039 /* Clear out the edge so we do not dangle pointers. */
1040 memset (e
, 0, sizeof (*e
));
1042 NEXT_FREE_EDGE (e
) = free_edges
;
1046 /* Remove the edge E in the cgraph. */
1049 cgraph_remove_edge (struct cgraph_edge
*e
)
1051 /* Call all edge removal hooks. */
1052 cgraph_call_edge_removal_hooks (e
);
1054 if (!e
->indirect_unknown_callee
)
1055 /* Remove from callers list of the callee. */
1056 cgraph_edge_remove_callee (e
);
1058 /* Remove from callees list of the callers. */
1059 cgraph_edge_remove_caller (e
);
1061 /* Put the edge onto the free list. */
1062 cgraph_free_edge (e
);
1065 /* Set callee of call graph edge E and add it to the corresponding set of
1069 cgraph_set_edge_callee (struct cgraph_edge
*e
, struct cgraph_node
*n
)
1071 e
->prev_caller
= NULL
;
1073 n
->callers
->prev_caller
= e
;
1074 e
->next_caller
= n
->callers
;
1079 /* Turn edge E into speculative call calling N2. Update
1080 the profile so the direct call is taken COUNT times
1083 At clone materialization time, the indirect call E will
1086 if (call_dest == N2)
1091 At this time the function just creates the direct call,
1092 the referencd representing the if conditional and attaches
1093 them all to the orginal indirect call statement.
1095 Return direct edge created. */
1097 struct cgraph_edge
*
1098 cgraph_turn_edge_to_speculative (struct cgraph_edge
*e
,
1099 struct cgraph_node
*n2
,
1100 gcov_type direct_count
,
1101 int direct_frequency
)
1103 struct cgraph_node
*n
= e
->caller
;
1104 struct ipa_ref
*ref
= NULL
;
1105 struct cgraph_edge
*e2
;
1109 fprintf (dump_file
, "Indirect call -> speculative call"
1110 " %s/%i => %s/%i\n",
1111 xstrdup (n
->name ()), n
->order
,
1112 xstrdup (n2
->name ()), n2
->order
);
1114 e
->speculative
= true;
1115 e2
= cgraph_create_edge (n
, n2
, e
->call_stmt
, direct_count
, direct_frequency
);
1116 initialize_inline_failed (e2
);
1117 e2
->speculative
= true;
1118 if (TREE_NOTHROW (n2
->decl
))
1119 e2
->can_throw_external
= false;
1121 e2
->can_throw_external
= e
->can_throw_external
;
1122 e2
->lto_stmt_uid
= e
->lto_stmt_uid
;
1123 e
->count
-= e2
->count
;
1124 e
->frequency
-= e2
->frequency
;
1125 cgraph_call_edge_duplication_hooks (e
, e2
);
1126 ref
= n
->add_reference (n2
, IPA_REF_ADDR
, e
->call_stmt
);
1127 ref
->lto_stmt_uid
= e
->lto_stmt_uid
;
1128 ref
->speculative
= e
->speculative
;
1129 cgraph_mark_address_taken_node (n2
);
1133 /* Speculative call consist of three components:
1134 1) an indirect edge representing the original call
1135 2) an direct edge representing the new call
1136 3) ADDR_EXPR reference representing the speculative check.
1137 All three components are attached to single statement (the indirect
1138 call) and if one of them exists, all of them must exist.
1140 Given speculative call edge E, return all three components.
1144 cgraph_speculative_call_info (struct cgraph_edge
*e
,
1145 struct cgraph_edge
*&direct
,
1146 struct cgraph_edge
*&indirect
,
1147 struct ipa_ref
*&reference
)
1149 struct ipa_ref
*ref
;
1151 struct cgraph_edge
*e2
;
1153 if (!e
->indirect_unknown_callee
)
1154 for (e2
= e
->caller
->indirect_calls
;
1155 e2
->call_stmt
!= e
->call_stmt
|| e2
->lto_stmt_uid
!= e
->lto_stmt_uid
;
1156 e2
= e2
->next_callee
)
1161 /* We can take advantage of the call stmt hash. */
1164 e
= cgraph_edge (e
->caller
, e2
->call_stmt
);
1165 gcc_assert (e
->speculative
&& !e
->indirect_unknown_callee
);
1168 for (e
= e
->caller
->callees
;
1169 e2
->call_stmt
!= e
->call_stmt
1170 || e2
->lto_stmt_uid
!= e
->lto_stmt_uid
;
1174 gcc_assert (e
->speculative
&& e2
->speculative
);
1179 for (i
= 0; e
->caller
->iterate_reference (i
, ref
); i
++)
1180 if (ref
->speculative
1181 && ((ref
->stmt
&& ref
->stmt
== e
->call_stmt
)
1182 || (!ref
->stmt
&& ref
->lto_stmt_uid
== e
->lto_stmt_uid
)))
1188 /* Speculative edge always consist of all three components - direct edge,
1189 indirect and reference. */
1191 gcc_assert (e
&& e2
&& ref
);
1194 /* Redirect callee of E to N. The function does not update underlying
1198 cgraph_redirect_edge_callee (struct cgraph_edge
*e
, struct cgraph_node
*n
)
1200 /* Remove from callers list of the current callee. */
1201 cgraph_edge_remove_callee (e
);
1203 /* Insert to callers list of the new callee. */
1204 cgraph_set_edge_callee (e
, n
);
1207 /* Speculative call EDGE turned out to be direct call to CALLE_DECL.
1208 Remove the speculative call sequence and return edge representing the call.
1209 It is up to caller to redirect the call as appropriate. */
1211 struct cgraph_edge
*
1212 cgraph_resolve_speculation (struct cgraph_edge
*edge
, tree callee_decl
)
1214 struct cgraph_edge
*e2
;
1215 struct ipa_ref
*ref
;
1217 gcc_assert (edge
->speculative
);
1218 cgraph_speculative_call_info (edge
, e2
, edge
, ref
);
1220 || !symtab_semantically_equivalent_p (ref
->referred
,
1221 symtab_get_node (callee_decl
)))
1227 fprintf (dump_file
, "Speculative indirect call %s/%i => %s/%i has "
1228 "turned out to have contradicting known target ",
1229 xstrdup (edge
->caller
->name ()), edge
->caller
->order
,
1230 xstrdup (e2
->callee
->name ()), e2
->callee
->order
);
1231 print_generic_expr (dump_file
, callee_decl
, 0);
1232 fprintf (dump_file
, "\n");
1236 fprintf (dump_file
, "Removing speculative call %s/%i => %s/%i\n",
1237 xstrdup (edge
->caller
->name ()), edge
->caller
->order
,
1238 xstrdup (e2
->callee
->name ()), e2
->callee
->order
);
1244 struct cgraph_edge
*tmp
= edge
;
1246 fprintf (dump_file
, "Speculative call turned into direct call.\n");
1249 /* FIXME: If EDGE is inlined, we should scale up the frequencies and counts
1250 in the functions inlined through it. */
1252 edge
->count
+= e2
->count
;
1253 edge
->frequency
+= e2
->frequency
;
1254 if (edge
->frequency
> CGRAPH_FREQ_MAX
)
1255 edge
->frequency
= CGRAPH_FREQ_MAX
;
1256 edge
->speculative
= false;
1257 e2
->speculative
= false;
1258 ref
->remove_reference ();
1259 if (e2
->indirect_unknown_callee
|| e2
->inline_failed
)
1260 cgraph_remove_edge (e2
);
1262 cgraph_remove_node_and_inline_clones (e2
->callee
, NULL
);
1263 if (edge
->caller
->call_site_hash
)
1264 cgraph_update_edge_in_call_site_hash (edge
);
1268 /* Make an indirect EDGE with an unknown callee an ordinary edge leading to
1269 CALLEE. DELTA is an integer constant that is to be added to the this
1270 pointer (first parameter) to compensate for skipping a thunk adjustment. */
1272 struct cgraph_edge
*
1273 cgraph_make_edge_direct (struct cgraph_edge
*edge
, struct cgraph_node
*callee
)
1275 gcc_assert (edge
->indirect_unknown_callee
);
1277 /* If we are redirecting speculative call, make it non-speculative. */
1278 if (edge
->indirect_unknown_callee
&& edge
->speculative
)
1280 edge
= cgraph_resolve_speculation (edge
, callee
->decl
);
1282 /* On successful speculation just return the pre existing direct edge. */
1283 if (!edge
->indirect_unknown_callee
)
1287 edge
->indirect_unknown_callee
= 0;
1288 ggc_free (edge
->indirect_info
);
1289 edge
->indirect_info
= NULL
;
1291 /* Get the edge out of the indirect edge list. */
1292 if (edge
->prev_callee
)
1293 edge
->prev_callee
->next_callee
= edge
->next_callee
;
1294 if (edge
->next_callee
)
1295 edge
->next_callee
->prev_callee
= edge
->prev_callee
;
1296 if (!edge
->prev_callee
)
1297 edge
->caller
->indirect_calls
= edge
->next_callee
;
1299 /* Put it into the normal callee list */
1300 edge
->prev_callee
= NULL
;
1301 edge
->next_callee
= edge
->caller
->callees
;
1302 if (edge
->caller
->callees
)
1303 edge
->caller
->callees
->prev_callee
= edge
;
1304 edge
->caller
->callees
= edge
;
1306 /* Insert to callers list of the new callee. */
1307 cgraph_set_edge_callee (edge
, callee
);
1309 if (edge
->call_stmt
)
1310 edge
->call_stmt_cannot_inline_p
1311 = !gimple_check_call_matching_types (edge
->call_stmt
, callee
->decl
,
1314 /* We need to re-determine the inlining status of the edge. */
1315 initialize_inline_failed (edge
);
1319 /* If necessary, change the function declaration in the call statement
1320 associated with E so that it corresponds to the edge callee. */
1323 cgraph_redirect_edge_call_stmt_to_callee (struct cgraph_edge
*e
)
1325 tree decl
= gimple_call_fndecl (e
->call_stmt
);
1326 tree lhs
= gimple_call_lhs (e
->call_stmt
);
1328 gimple_stmt_iterator gsi
;
1329 #ifdef ENABLE_CHECKING
1330 struct cgraph_node
*node
;
1335 struct cgraph_edge
*e2
;
1337 struct ipa_ref
*ref
;
1339 cgraph_speculative_call_info (e
, e
, e2
, ref
);
1340 /* If there already is an direct call (i.e. as a result of inliner's
1341 substitution), forget about speculating. */
1343 e
= cgraph_resolve_speculation (e
, decl
);
1344 /* If types do not match, speculation was likely wrong.
1345 The direct edge was posisbly redirected to the clone with a different
1346 signature. We did not update the call statement yet, so compare it
1347 with the reference that still points to the proper type. */
1348 else if (!gimple_check_call_matching_types (e
->call_stmt
,
1349 ref
->referred
->decl
,
1353 fprintf (dump_file
, "Not expanding speculative call of %s/%i -> %s/%i\n"
1355 xstrdup (e
->caller
->name ()),
1357 xstrdup (e
->callee
->name ()),
1359 e
= cgraph_resolve_speculation (e
, NULL
);
1360 /* We are producing the final function body and will throw away the
1361 callgraph edges really soon. Reset the counts/frequencies to
1362 keep verifier happy in the case of roundoff errors. */
1363 e
->count
= gimple_bb (e
->call_stmt
)->count
;
1364 e
->frequency
= compute_call_stmt_bb_frequency
1365 (e
->caller
->decl
, gimple_bb (e
->call_stmt
));
1367 /* Expand speculation into GIMPLE code. */
1372 "Expanding speculative call of %s/%i -> %s/%i count:"
1374 xstrdup (e
->caller
->name ()),
1376 xstrdup (e
->callee
->name ()),
1379 gcc_assert (e2
->speculative
);
1380 push_cfun (DECL_STRUCT_FUNCTION (e
->caller
->decl
));
1381 new_stmt
= gimple_ic (e
->call_stmt
, cgraph (ref
->referred
),
1382 e
->count
|| e2
->count
1383 ? RDIV (e
->count
* REG_BR_PROB_BASE
,
1384 e
->count
+ e2
->count
)
1385 : e
->frequency
|| e2
->frequency
1386 ? RDIV (e
->frequency
* REG_BR_PROB_BASE
,
1387 e
->frequency
+ e2
->frequency
)
1388 : REG_BR_PROB_BASE
/ 2,
1389 e
->count
, e
->count
+ e2
->count
);
1390 e
->speculative
= false;
1391 cgraph_set_call_stmt_including_clones (e
->caller
, e
->call_stmt
,
1393 e
->frequency
= compute_call_stmt_bb_frequency
1394 (e
->caller
->decl
, gimple_bb (e
->call_stmt
));
1395 e2
->frequency
= compute_call_stmt_bb_frequency
1396 (e2
->caller
->decl
, gimple_bb (e2
->call_stmt
));
1397 e2
->speculative
= false;
1398 ref
->speculative
= false;
1400 /* Indirect edges are not both in the call site hash.
1402 if (e
->caller
->call_site_hash
)
1403 cgraph_update_edge_in_call_site_hash (e2
);
1405 /* Continue redirecting E to proper target. */
1409 if (e
->indirect_unknown_callee
1410 || decl
== e
->callee
->decl
)
1411 return e
->call_stmt
;
1413 #ifdef ENABLE_CHECKING
1416 node
= cgraph_get_node (decl
);
1417 gcc_assert (!node
|| !node
->clone
.combined_args_to_skip
);
1421 if (cgraph_dump_file
)
1423 fprintf (cgraph_dump_file
, "updating call of %s/%i -> %s/%i: ",
1424 xstrdup (e
->caller
->name ()), e
->caller
->order
,
1425 xstrdup (e
->callee
->name ()), e
->callee
->order
);
1426 print_gimple_stmt (cgraph_dump_file
, e
->call_stmt
, 0, dump_flags
);
1427 if (e
->callee
->clone
.combined_args_to_skip
)
1429 fprintf (cgraph_dump_file
, " combined args to skip: ");
1430 dump_bitmap (cgraph_dump_file
,
1431 e
->callee
->clone
.combined_args_to_skip
);
1435 if (e
->callee
->clone
.combined_args_to_skip
)
1440 = gimple_call_copy_skip_args (e
->call_stmt
,
1441 e
->callee
->clone
.combined_args_to_skip
);
1442 gimple_call_set_fndecl (new_stmt
, e
->callee
->decl
);
1443 gimple_call_set_fntype (new_stmt
, gimple_call_fntype (e
->call_stmt
));
1445 if (gimple_vdef (new_stmt
)
1446 && TREE_CODE (gimple_vdef (new_stmt
)) == SSA_NAME
)
1447 SSA_NAME_DEF_STMT (gimple_vdef (new_stmt
)) = new_stmt
;
1449 gsi
= gsi_for_stmt (e
->call_stmt
);
1450 gsi_replace (&gsi
, new_stmt
, false);
1451 /* We need to defer cleaning EH info on the new statement to
1452 fixup-cfg. We may not have dominator information at this point
1453 and thus would end up with unreachable blocks and have no way
1454 to communicate that we need to run CFG cleanup then. */
1455 lp_nr
= lookup_stmt_eh_lp (e
->call_stmt
);
1458 remove_stmt_from_eh_lp (e
->call_stmt
);
1459 add_stmt_to_eh_lp (new_stmt
, lp_nr
);
1464 new_stmt
= e
->call_stmt
;
1465 gimple_call_set_fndecl (new_stmt
, e
->callee
->decl
);
1466 update_stmt_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
), new_stmt
);
1469 /* If the call becomes noreturn, remove the lhs. */
1470 if (lhs
&& (gimple_call_flags (new_stmt
) & ECF_NORETURN
))
1472 if (TREE_CODE (lhs
) == SSA_NAME
)
1474 tree var
= create_tmp_reg_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
),
1475 TREE_TYPE (lhs
), NULL
);
1476 var
= get_or_create_ssa_default_def
1477 (DECL_STRUCT_FUNCTION (e
->caller
->decl
), var
);
1478 gimple set_stmt
= gimple_build_assign (lhs
, var
);
1479 gsi
= gsi_for_stmt (new_stmt
);
1480 gsi_insert_before_without_update (&gsi
, set_stmt
, GSI_SAME_STMT
);
1481 update_stmt_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
), set_stmt
);
1483 gimple_call_set_lhs (new_stmt
, NULL_TREE
);
1484 update_stmt_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
), new_stmt
);
1487 /* If new callee has no static chain, remove it. */
1488 if (gimple_call_chain (new_stmt
) && !DECL_STATIC_CHAIN (e
->callee
->decl
))
1490 gimple_call_set_chain (new_stmt
, NULL
);
1491 update_stmt_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
), new_stmt
);
1494 cgraph_set_call_stmt_including_clones (e
->caller
, e
->call_stmt
, new_stmt
, false);
1496 if (cgraph_dump_file
)
1498 fprintf (cgraph_dump_file
, " updated to:");
1499 print_gimple_stmt (cgraph_dump_file
, e
->call_stmt
, 0, dump_flags
);
1504 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1505 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
1506 of OLD_STMT if it was previously call statement.
1507 If NEW_STMT is NULL, the call has been dropped without any
1511 cgraph_update_edges_for_call_stmt_node (struct cgraph_node
*node
,
1512 gimple old_stmt
, tree old_call
,
1515 tree new_call
= (new_stmt
&& is_gimple_call (new_stmt
))
1516 ? gimple_call_fndecl (new_stmt
) : 0;
1518 /* We are seeing indirect calls, then there is nothing to update. */
1519 if (!new_call
&& !old_call
)
1521 /* See if we turned indirect call into direct call or folded call to one builtin
1522 into different builtin. */
1523 if (old_call
!= new_call
)
1525 struct cgraph_edge
*e
= cgraph_edge (node
, old_stmt
);
1526 struct cgraph_edge
*ne
= NULL
;
1532 /* See if the edge is already there and has the correct callee. It
1533 might be so because of indirect inlining has already updated
1534 it. We also might've cloned and redirected the edge. */
1535 if (new_call
&& e
->callee
)
1537 struct cgraph_node
*callee
= e
->callee
;
1540 if (callee
->decl
== new_call
1541 || callee
->former_clone_of
== new_call
)
1543 cgraph_set_call_stmt (e
, new_stmt
);
1546 callee
= callee
->clone_of
;
1550 /* Otherwise remove edge and create new one; we can't simply redirect
1551 since function has changed, so inline plan and other information
1552 attached to edge is invalid. */
1554 frequency
= e
->frequency
;
1555 if (e
->indirect_unknown_callee
|| e
->inline_failed
)
1556 cgraph_remove_edge (e
);
1558 cgraph_remove_node_and_inline_clones (e
->callee
, NULL
);
1562 /* We are seeing new direct call; compute profile info based on BB. */
1563 basic_block bb
= gimple_bb (new_stmt
);
1565 frequency
= compute_call_stmt_bb_frequency (current_function_decl
,
1571 ne
= cgraph_create_edge (node
, cgraph_get_create_node (new_call
),
1572 new_stmt
, count
, frequency
);
1573 gcc_assert (ne
->inline_failed
);
1576 /* We only updated the call stmt; update pointer in cgraph edge.. */
1577 else if (old_stmt
!= new_stmt
)
1578 cgraph_set_call_stmt (cgraph_edge (node
, old_stmt
), new_stmt
);
1581 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1582 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1583 of OLD_STMT before it was updated (updating can happen inplace). */
1586 cgraph_update_edges_for_call_stmt (gimple old_stmt
, tree old_decl
, gimple new_stmt
)
1588 struct cgraph_node
*orig
= cgraph_get_node (cfun
->decl
);
1589 struct cgraph_node
*node
;
1591 gcc_checking_assert (orig
);
1592 cgraph_update_edges_for_call_stmt_node (orig
, old_stmt
, old_decl
, new_stmt
);
1594 for (node
= orig
->clones
; node
!= orig
;)
1596 cgraph_update_edges_for_call_stmt_node (node
, old_stmt
, old_decl
, new_stmt
);
1598 node
= node
->clones
;
1599 else if (node
->next_sibling_clone
)
1600 node
= node
->next_sibling_clone
;
1603 while (node
!= orig
&& !node
->next_sibling_clone
)
1604 node
= node
->clone_of
;
1606 node
= node
->next_sibling_clone
;
1612 /* Remove all callees from the node. */
1615 cgraph_node_remove_callees (struct cgraph_node
*node
)
1617 struct cgraph_edge
*e
, *f
;
1619 /* It is sufficient to remove the edges from the lists of callers of
1620 the callees. The callee list of the node can be zapped with one
1622 for (e
= node
->callees
; e
; e
= f
)
1625 cgraph_call_edge_removal_hooks (e
);
1626 if (!e
->indirect_unknown_callee
)
1627 cgraph_edge_remove_callee (e
);
1628 cgraph_free_edge (e
);
1630 for (e
= node
->indirect_calls
; e
; e
= f
)
1633 cgraph_call_edge_removal_hooks (e
);
1634 if (!e
->indirect_unknown_callee
)
1635 cgraph_edge_remove_callee (e
);
1636 cgraph_free_edge (e
);
1638 node
->indirect_calls
= NULL
;
1639 node
->callees
= NULL
;
1640 if (node
->call_site_hash
)
1642 htab_delete (node
->call_site_hash
);
1643 node
->call_site_hash
= NULL
;
1647 /* Remove all callers from the node. */
1650 cgraph_node_remove_callers (struct cgraph_node
*node
)
1652 struct cgraph_edge
*e
, *f
;
1654 /* It is sufficient to remove the edges from the lists of callees of
1655 the callers. The caller list of the node can be zapped with one
1657 for (e
= node
->callers
; e
; e
= f
)
1660 cgraph_call_edge_removal_hooks (e
);
1661 cgraph_edge_remove_caller (e
);
1662 cgraph_free_edge (e
);
1664 node
->callers
= NULL
;
1667 /* Helper function for cgraph_release_function_body and free_lang_data.
1668 It releases body from function DECL without having to inspect its
1669 possibly non-existent symtab node. */
1672 release_function_body (tree decl
)
1674 if (DECL_STRUCT_FUNCTION (decl
))
1676 push_cfun (DECL_STRUCT_FUNCTION (decl
));
1680 cfun
->curr_properties
&= ~PROP_loops
;
1681 loop_optimizer_finalize ();
1683 if (cfun
->gimple_df
)
1686 delete_tree_cfg_annotations ();
1691 gcc_assert (!dom_info_available_p (CDI_DOMINATORS
));
1692 gcc_assert (!dom_info_available_p (CDI_POST_DOMINATORS
));
1696 if (cfun
->value_histograms
)
1699 gimple_set_body (decl
, NULL
);
1700 /* Struct function hangs a lot of data that would leak if we didn't
1701 removed all pointers to it. */
1702 ggc_free (DECL_STRUCT_FUNCTION (decl
));
1703 DECL_STRUCT_FUNCTION (decl
) = NULL
;
1705 DECL_SAVED_TREE (decl
) = NULL
;
1708 /* Release memory used to represent body of function NODE.
1709 Use this only for functions that are released before being translated to
1710 target code (i.e. RTL). Functions that are compiled to RTL and beyond
1711 are free'd in final.c via free_after_compilation(). */
1714 cgraph_release_function_body (struct cgraph_node
*node
)
1716 node
->ipa_transforms_to_apply
.release ();
1717 if (!node
->used_as_abstract_origin
&& cgraph_state
!= CGRAPH_STATE_PARSING
)
1719 DECL_RESULT (node
->decl
) = NULL
;
1720 DECL_ARGUMENTS (node
->decl
) = NULL
;
1722 /* If the node is abstract and needed, then do not clear DECL_INITIAL
1723 of its associated function function declaration because it's
1724 needed to emit debug info later. */
1725 if (!node
->used_as_abstract_origin
&& DECL_INITIAL (node
->decl
))
1726 DECL_INITIAL (node
->decl
) = error_mark_node
;
1727 release_function_body (node
->decl
);
1728 if (node
->lto_file_data
)
1729 lto_free_function_in_decl_state_for_node (node
);
1732 /* Remove the node from cgraph. */
1735 cgraph_remove_node (struct cgraph_node
*node
)
1737 struct cgraph_node
*n
;
1738 int uid
= node
->uid
;
1740 cgraph_call_node_removal_hooks (node
);
1741 cgraph_node_remove_callers (node
);
1742 cgraph_node_remove_callees (node
);
1743 node
->ipa_transforms_to_apply
.release ();
1745 /* Incremental inlining access removed nodes stored in the postorder list.
1747 node
->force_output
= false;
1748 node
->forced_by_abi
= false;
1749 for (n
= node
->nested
; n
; n
= n
->next_nested
)
1751 node
->nested
= NULL
;
1754 struct cgraph_node
**node2
= &node
->origin
->nested
;
1756 while (*node2
!= node
)
1757 node2
= &(*node2
)->next_nested
;
1758 *node2
= node
->next_nested
;
1760 symtab_unregister_node (node
);
1761 if (node
->prev_sibling_clone
)
1762 node
->prev_sibling_clone
->next_sibling_clone
= node
->next_sibling_clone
;
1763 else if (node
->clone_of
)
1764 node
->clone_of
->clones
= node
->next_sibling_clone
;
1765 if (node
->next_sibling_clone
)
1766 node
->next_sibling_clone
->prev_sibling_clone
= node
->prev_sibling_clone
;
1769 struct cgraph_node
*n
, *next
;
1773 for (n
= node
->clones
; n
->next_sibling_clone
; n
= n
->next_sibling_clone
)
1774 n
->clone_of
= node
->clone_of
;
1775 n
->clone_of
= node
->clone_of
;
1776 n
->next_sibling_clone
= node
->clone_of
->clones
;
1777 if (node
->clone_of
->clones
)
1778 node
->clone_of
->clones
->prev_sibling_clone
= n
;
1779 node
->clone_of
->clones
= node
->clones
;
1783 /* We are removing node with clones. This makes clones inconsistent,
1784 but assume they will be removed subsequently and just keep clone
1785 tree intact. This can happen in unreachable function removal since
1786 we remove unreachable functions in random order, not by bottom-up
1787 walk of clone trees. */
1788 for (n
= node
->clones
; n
; n
= next
)
1790 next
= n
->next_sibling_clone
;
1791 n
->next_sibling_clone
= NULL
;
1792 n
->prev_sibling_clone
= NULL
;
1798 /* While all the clones are removed after being proceeded, the function
1799 itself is kept in the cgraph even after it is compiled. Check whether
1800 we are done with this body and reclaim it proactively if this is the case.
1802 if (cgraph_state
!= CGRAPH_LTO_STREAMING
)
1804 n
= cgraph_get_node (node
->decl
);
1806 || (!n
->clones
&& !n
->clone_of
&& !n
->global
.inlined_to
1807 && (cgraph_global_info_ready
1808 && (TREE_ASM_WRITTEN (n
->decl
)
1809 || DECL_EXTERNAL (n
->decl
)
1811 || (!flag_wpa
&& n
->in_other_partition
)))))
1812 cgraph_release_function_body (node
);
1816 if (node
->call_site_hash
)
1818 htab_delete (node
->call_site_hash
);
1819 node
->call_site_hash
= NULL
;
1823 /* Clear out the node to NULL all pointers and add the node to the free
1825 memset (node
, 0, sizeof (*node
));
1826 node
->type
= SYMTAB_FUNCTION
;
1828 SET_NEXT_FREE_NODE (node
, free_nodes
);
1832 /* Likewise indicate that a node is having address taken. */
1835 cgraph_mark_address_taken_node (struct cgraph_node
*node
)
1837 /* Indirect inlining can figure out that all uses of the address are
1839 if (node
->global
.inlined_to
)
1841 gcc_assert (cfun
->after_inlining
);
1842 gcc_assert (node
->callers
->indirect_inlining_edge
);
1845 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1846 IPA_REF_ADDR reference exists (and thus it should be set on node
1847 representing alias we take address of) and as a test whether address
1848 of the object was taken (and thus it should be set on node alias is
1849 referring to). We should remove the first use and the remove the
1851 node
->address_taken
= 1;
1852 node
= cgraph_function_or_thunk_node (node
, NULL
);
1853 node
->address_taken
= 1;
1856 /* Return local info for the compiled function. */
1858 struct cgraph_local_info
*
1859 cgraph_local_info (tree decl
)
1861 struct cgraph_node
*node
;
1863 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1864 node
= cgraph_get_node (decl
);
1867 return &node
->local
;
1870 /* Return local info for the compiled function. */
1872 struct cgraph_global_info
*
1873 cgraph_global_info (tree decl
)
1875 struct cgraph_node
*node
;
1877 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
&& cgraph_global_info_ready
);
1878 node
= cgraph_get_node (decl
);
1881 return &node
->global
;
1884 /* Return local info for the compiled function. */
1886 struct cgraph_rtl_info
*
1887 cgraph_rtl_info (tree decl
)
1889 struct cgraph_node
*node
;
1891 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1892 node
= cgraph_get_node (decl
);
1894 || (decl
!= current_function_decl
1895 && !TREE_ASM_WRITTEN (node
->decl
)))
1900 /* Return a string describing the failure REASON. */
1903 cgraph_inline_failed_string (cgraph_inline_failed_t reason
)
1906 #define DEFCIFCODE(code, type, string) string,
1908 static const char *cif_string_table
[CIF_N_REASONS
] = {
1909 #include "cif-code.def"
1912 /* Signedness of an enum type is implementation defined, so cast it
1913 to unsigned before testing. */
1914 gcc_assert ((unsigned) reason
< CIF_N_REASONS
);
1915 return cif_string_table
[reason
];
1918 /* Return a type describing the failure REASON. */
1920 cgraph_inline_failed_type_t
1921 cgraph_inline_failed_type (cgraph_inline_failed_t reason
)
1924 #define DEFCIFCODE(code, type, string) type,
1926 static cgraph_inline_failed_type_t cif_type_table
[CIF_N_REASONS
] = {
1927 #include "cif-code.def"
1930 /* Signedness of an enum type is implementation defined, so cast it
1931 to unsigned before testing. */
1932 gcc_assert ((unsigned) reason
< CIF_N_REASONS
);
1933 return cif_type_table
[reason
];
1936 /* Names used to print out the availability enum. */
1937 const char * const cgraph_availability_names
[] =
1938 {"unset", "not_available", "overwritable", "available", "local"};
1941 /* Dump call graph node NODE to file F. */
1944 dump_cgraph_node (FILE *f
, struct cgraph_node
*node
)
1946 struct cgraph_edge
*edge
;
1947 int indirect_calls_count
= 0;
1949 dump_symtab_base (f
, node
);
1951 if (node
->global
.inlined_to
)
1952 fprintf (f
, " Function %s/%i is inline copy in %s/%i\n",
1953 xstrdup (node
->name ()),
1955 xstrdup (node
->global
.inlined_to
->name ()),
1956 node
->global
.inlined_to
->order
);
1958 fprintf (f
, " Clone of %s/%i\n",
1959 node
->clone_of
->asm_name (),
1960 node
->clone_of
->order
);
1961 if (cgraph_function_flags_ready
)
1962 fprintf (f
, " Availability: %s\n",
1963 cgraph_availability_names
[cgraph_function_body_availability (node
)]);
1965 if (node
->profile_id
)
1966 fprintf (f
, " Profile id: %i\n",
1968 fprintf (f
, " First run: %i\n", node
->tp_first_run
);
1969 fprintf (f
, " Function flags:");
1971 fprintf (f
, " executed %"PRId64
"x",
1972 (int64_t)node
->count
);
1974 fprintf (f
, " nested in: %s", node
->origin
->asm_name ());
1975 if (gimple_has_body_p (node
->decl
))
1976 fprintf (f
, " body");
1978 fprintf (f
, " process");
1979 if (node
->local
.local
)
1980 fprintf (f
, " local");
1981 if (node
->local
.redefined_extern_inline
)
1982 fprintf (f
, " redefined_extern_inline");
1983 if (node
->only_called_at_startup
)
1984 fprintf (f
, " only_called_at_startup");
1985 if (node
->only_called_at_exit
)
1986 fprintf (f
, " only_called_at_exit");
1988 fprintf (f
, " tm_clone");
1989 if (DECL_STATIC_CONSTRUCTOR (node
->decl
))
1990 fprintf (f
," static_constructor (priority:%i)", node
->get_init_priority ());
1991 if (DECL_STATIC_DESTRUCTOR (node
->decl
))
1992 fprintf (f
," static_destructor (priority:%i)", node
->get_fini_priority ());
1996 if (node
->thunk
.thunk_p
)
1998 fprintf (f
, " Thunk");
1999 if (node
->thunk
.alias
)
2000 fprintf (f
, " of %s (asm: %s)",
2001 lang_hooks
.decl_printable_name (node
->thunk
.alias
, 2),
2002 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (node
->thunk
.alias
)));
2003 fprintf (f
, " fixed offset %i virtual value %i has "
2004 "virtual offset %i)\n",
2005 (int)node
->thunk
.fixed_offset
,
2006 (int)node
->thunk
.virtual_value
,
2007 (int)node
->thunk
.virtual_offset_p
);
2009 if (node
->alias
&& node
->thunk
.alias
2010 && DECL_P (node
->thunk
.alias
))
2012 fprintf (f
, " Alias of %s",
2013 lang_hooks
.decl_printable_name (node
->thunk
.alias
, 2));
2014 if (DECL_ASSEMBLER_NAME_SET_P (node
->thunk
.alias
))
2015 fprintf (f
, " (asm: %s)",
2016 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (node
->thunk
.alias
)));
2020 fprintf (f
, " Called by: ");
2022 for (edge
= node
->callers
; edge
; edge
= edge
->next_caller
)
2024 fprintf (f
, "%s/%i ", edge
->caller
->asm_name (),
2025 edge
->caller
->order
);
2027 fprintf (f
, "(%"PRId64
"x) ",
2028 (int64_t)edge
->count
);
2029 if (edge
->frequency
)
2030 fprintf (f
, "(%.2f per call) ",
2031 edge
->frequency
/ (double)CGRAPH_FREQ_BASE
);
2032 if (edge
->speculative
)
2033 fprintf (f
, "(speculative) ");
2034 if (!edge
->inline_failed
)
2035 fprintf (f
, "(inlined) ");
2036 if (edge
->indirect_inlining_edge
)
2037 fprintf (f
, "(indirect_inlining) ");
2038 if (edge
->can_throw_external
)
2039 fprintf (f
, "(can throw external) ");
2042 fprintf (f
, "\n Calls: ");
2043 for (edge
= node
->callees
; edge
; edge
= edge
->next_callee
)
2045 fprintf (f
, "%s/%i ", edge
->callee
->asm_name (),
2046 edge
->callee
->order
);
2047 if (edge
->speculative
)
2048 fprintf (f
, "(speculative) ");
2049 if (!edge
->inline_failed
)
2050 fprintf (f
, "(inlined) ");
2051 if (edge
->indirect_inlining_edge
)
2052 fprintf (f
, "(indirect_inlining) ");
2054 fprintf (f
, "(%"PRId64
"x) ",
2055 (int64_t)edge
->count
);
2056 if (edge
->frequency
)
2057 fprintf (f
, "(%.2f per call) ",
2058 edge
->frequency
/ (double)CGRAPH_FREQ_BASE
);
2059 if (edge
->can_throw_external
)
2060 fprintf (f
, "(can throw external) ");
2064 for (edge
= node
->indirect_calls
; edge
; edge
= edge
->next_callee
)
2065 indirect_calls_count
++;
2066 if (indirect_calls_count
)
2067 fprintf (f
, " Has %i outgoing edges for indirect calls.\n",
2068 indirect_calls_count
);
2072 /* Dump call graph node NODE to stderr. */
2075 debug_cgraph_node (struct cgraph_node
*node
)
2077 dump_cgraph_node (stderr
, node
);
2081 /* Dump the callgraph to file F. */
2084 dump_cgraph (FILE *f
)
2086 struct cgraph_node
*node
;
2088 fprintf (f
, "callgraph:\n\n");
2089 FOR_EACH_FUNCTION (node
)
2090 dump_cgraph_node (f
, node
);
2094 /* Dump the call graph to stderr. */
2099 dump_cgraph (stderr
);
2102 /* Return true when the DECL can possibly be inlined. */
2104 cgraph_function_possibly_inlined_p (tree decl
)
2106 if (!cgraph_global_info_ready
)
2107 return !DECL_UNINLINABLE (decl
);
2108 return DECL_POSSIBLY_INLINED (decl
);
2111 /* NODE is no longer nested function; update cgraph accordingly. */
2113 cgraph_unnest_node (struct cgraph_node
*node
)
2115 struct cgraph_node
**node2
= &node
->origin
->nested
;
2116 gcc_assert (node
->origin
);
2118 while (*node2
!= node
)
2119 node2
= &(*node2
)->next_nested
;
2120 *node2
= node
->next_nested
;
2121 node
->origin
= NULL
;
2124 /* Return function availability. See cgraph.h for description of individual
2127 cgraph_function_body_availability (struct cgraph_node
*node
)
2129 enum availability avail
;
2130 if (!node
->analyzed
)
2131 avail
= AVAIL_NOT_AVAILABLE
;
2132 else if (node
->local
.local
)
2133 avail
= AVAIL_LOCAL
;
2134 else if (node
->alias
&& node
->weakref
)
2135 cgraph_function_or_thunk_node (node
, &avail
);
2136 else if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (node
->decl
)))
2137 avail
= AVAIL_OVERWRITABLE
;
2138 else if (!node
->externally_visible
)
2139 avail
= AVAIL_AVAILABLE
;
2140 /* Inline functions are safe to be analyzed even if their symbol can
2141 be overwritten at runtime. It is not meaningful to enforce any sane
2142 behaviour on replacing inline function by different body. */
2143 else if (DECL_DECLARED_INLINE_P (node
->decl
))
2144 avail
= AVAIL_AVAILABLE
;
2146 /* If the function can be overwritten, return OVERWRITABLE. Take
2147 care at least of two notable extensions - the COMDAT functions
2148 used to share template instantiations in C++ (this is symmetric
2149 to code cp_cannot_inline_tree_fn and probably shall be shared and
2150 the inlinability hooks completely eliminated).
2152 ??? Does the C++ one definition rule allow us to always return
2153 AVAIL_AVAILABLE here? That would be good reason to preserve this
2156 else if (decl_replaceable_p (node
->decl
)
2157 && !DECL_EXTERNAL (node
->decl
))
2158 avail
= AVAIL_OVERWRITABLE
;
2159 else avail
= AVAIL_AVAILABLE
;
2164 /* Worker for cgraph_node_can_be_local_p. */
2166 cgraph_node_cannot_be_local_p_1 (struct cgraph_node
*node
,
2167 void *data ATTRIBUTE_UNUSED
)
2169 return !(!node
->force_output
2170 && ((DECL_COMDAT (node
->decl
)
2171 && !node
->forced_by_abi
2172 && !symtab_used_from_object_file_p (node
)
2173 && !node
->same_comdat_group
)
2174 || !node
->externally_visible
));
2177 /* Return true if NODE can be made local for API change.
2178 Extern inline functions and C++ COMDAT functions can be made local
2179 at the expense of possible code size growth if function is used in multiple
2180 compilation units. */
2182 cgraph_node_can_be_local_p (struct cgraph_node
*node
)
2184 return (!node
->address_taken
2185 && !cgraph_for_node_and_aliases (node
,
2186 cgraph_node_cannot_be_local_p_1
,
2190 /* Call calback on NODE, thunks and aliases associated to NODE.
2191 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2195 cgraph_for_node_thunks_and_aliases (struct cgraph_node
*node
,
2196 bool (*callback
) (struct cgraph_node
*, void *),
2198 bool include_overwritable
)
2200 struct cgraph_edge
*e
;
2201 struct ipa_ref
*ref
;
2203 if (callback (node
, data
))
2205 for (e
= node
->callers
; e
; e
= e
->next_caller
)
2206 if (e
->caller
->thunk
.thunk_p
2207 && (include_overwritable
2208 || cgraph_function_body_availability (e
->caller
) > AVAIL_OVERWRITABLE
))
2209 if (cgraph_for_node_thunks_and_aliases (e
->caller
, callback
, data
,
2210 include_overwritable
))
2213 FOR_EACH_ALIAS (node
, ref
)
2215 struct cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
2216 if (include_overwritable
2217 || cgraph_function_body_availability (alias
) > AVAIL_OVERWRITABLE
)
2218 if (cgraph_for_node_thunks_and_aliases (alias
, callback
, data
,
2219 include_overwritable
))
2225 /* Call calback on NODE and aliases associated to NODE.
2226 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2230 cgraph_for_node_and_aliases (struct cgraph_node
*node
,
2231 bool (*callback
) (struct cgraph_node
*, void *),
2233 bool include_overwritable
)
2235 struct ipa_ref
*ref
;
2237 if (callback (node
, data
))
2240 FOR_EACH_ALIAS (node
, ref
)
2242 struct cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
2243 if (include_overwritable
2244 || cgraph_function_body_availability (alias
) > AVAIL_OVERWRITABLE
)
2245 if (cgraph_for_node_and_aliases (alias
, callback
, data
,
2246 include_overwritable
))
2252 /* Worker to bring NODE local. */
2255 cgraph_make_node_local_1 (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
2257 gcc_checking_assert (cgraph_node_can_be_local_p (node
));
2258 if (DECL_COMDAT (node
->decl
) || DECL_EXTERNAL (node
->decl
))
2260 symtab_make_decl_local (node
->decl
);
2262 node
->set_section (NULL
);
2263 node
->set_comdat_group (NULL
);
2264 node
->externally_visible
= false;
2265 node
->forced_by_abi
= false;
2266 node
->local
.local
= true;
2267 node
->set_section (NULL
);
2268 node
->unique_name
= (node
->resolution
== LDPR_PREVAILING_DEF_IRONLY
2269 || node
->resolution
== LDPR_PREVAILING_DEF_IRONLY_EXP
);
2270 node
->resolution
= LDPR_PREVAILING_DEF_IRONLY
;
2271 gcc_assert (cgraph_function_body_availability (node
) == AVAIL_LOCAL
);
2276 /* Bring NODE local. */
2279 cgraph_make_node_local (struct cgraph_node
*node
)
2281 cgraph_for_node_thunks_and_aliases (node
, cgraph_make_node_local_1
,
2285 /* Worker to set nothrow flag. */
2288 cgraph_set_nothrow_flag_1 (struct cgraph_node
*node
, void *data
)
2290 struct cgraph_edge
*e
;
2292 TREE_NOTHROW (node
->decl
) = data
!= NULL
;
2295 for (e
= node
->callers
; e
; e
= e
->next_caller
)
2296 e
->can_throw_external
= false;
2300 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
2301 if any to NOTHROW. */
2304 cgraph_set_nothrow_flag (struct cgraph_node
*node
, bool nothrow
)
2306 cgraph_for_node_thunks_and_aliases (node
, cgraph_set_nothrow_flag_1
,
2307 (void *)(size_t)nothrow
, false);
2310 /* Worker to set const flag. */
2313 cgraph_set_const_flag_1 (struct cgraph_node
*node
, void *data
)
2315 /* Static constructors and destructors without a side effect can be
2317 if (data
&& !((size_t)data
& 2))
2319 if (DECL_STATIC_CONSTRUCTOR (node
->decl
))
2320 DECL_STATIC_CONSTRUCTOR (node
->decl
) = 0;
2321 if (DECL_STATIC_DESTRUCTOR (node
->decl
))
2322 DECL_STATIC_DESTRUCTOR (node
->decl
) = 0;
2324 TREE_READONLY (node
->decl
) = data
!= NULL
;
2325 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = ((size_t)data
& 2) != 0;
2329 /* Set TREE_READONLY on NODE's decl and on aliases of NODE
2330 if any to READONLY. */
2333 cgraph_set_const_flag (struct cgraph_node
*node
, bool readonly
, bool looping
)
2335 cgraph_for_node_thunks_and_aliases (node
, cgraph_set_const_flag_1
,
2336 (void *)(size_t)(readonly
+ (int)looping
* 2),
2340 /* Worker to set pure flag. */
2343 cgraph_set_pure_flag_1 (struct cgraph_node
*node
, void *data
)
2345 /* Static constructors and destructors without a side effect can be
2347 if (data
&& !((size_t)data
& 2))
2349 if (DECL_STATIC_CONSTRUCTOR (node
->decl
))
2350 DECL_STATIC_CONSTRUCTOR (node
->decl
) = 0;
2351 if (DECL_STATIC_DESTRUCTOR (node
->decl
))
2352 DECL_STATIC_DESTRUCTOR (node
->decl
) = 0;
2354 DECL_PURE_P (node
->decl
) = data
!= NULL
;
2355 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = ((size_t)data
& 2) != 0;
2359 /* Set DECL_PURE_P on NODE's decl and on aliases of NODE
2363 cgraph_set_pure_flag (struct cgraph_node
*node
, bool pure
, bool looping
)
2365 cgraph_for_node_thunks_and_aliases (node
, cgraph_set_pure_flag_1
,
2366 (void *)(size_t)(pure
+ (int)looping
* 2),
2370 /* Return true when NODE can not return or throw and thus
2371 it is safe to ignore its side effects for IPA analysis. */
2374 cgraph_node_cannot_return (struct cgraph_node
*node
)
2376 int flags
= flags_from_decl_or_type (node
->decl
);
2377 if (!flag_exceptions
)
2378 return (flags
& ECF_NORETURN
) != 0;
2380 return ((flags
& (ECF_NORETURN
| ECF_NOTHROW
))
2381 == (ECF_NORETURN
| ECF_NOTHROW
));
2384 /* Return true when call of E can not lead to return from caller
2385 and thus it is safe to ignore its side effects for IPA analysis
2386 when computing side effects of the caller.
2387 FIXME: We could actually mark all edges that have no reaching
2388 patch to the exit block or throw to get better results. */
2390 cgraph_edge_cannot_lead_to_return (struct cgraph_edge
*e
)
2392 if (cgraph_node_cannot_return (e
->caller
))
2394 if (e
->indirect_unknown_callee
)
2396 int flags
= e
->indirect_info
->ecf_flags
;
2397 if (!flag_exceptions
)
2398 return (flags
& ECF_NORETURN
) != 0;
2400 return ((flags
& (ECF_NORETURN
| ECF_NOTHROW
))
2401 == (ECF_NORETURN
| ECF_NOTHROW
));
2404 return cgraph_node_cannot_return (e
->callee
);
2407 /* Return true when function NODE can be removed from callgraph
2408 if all direct calls are eliminated. */
2411 cgraph_can_remove_if_no_direct_calls_and_refs_p (struct cgraph_node
*node
)
2413 gcc_assert (!node
->global
.inlined_to
);
2414 /* Extern inlines can always go, we will use the external definition. */
2415 if (DECL_EXTERNAL (node
->decl
))
2417 /* When function is needed, we can not remove it. */
2418 if (node
->force_output
|| node
->used_from_other_partition
)
2420 if (DECL_STATIC_CONSTRUCTOR (node
->decl
)
2421 || DECL_STATIC_DESTRUCTOR (node
->decl
))
2423 /* Only COMDAT functions can be removed if externally visible. */
2424 if (node
->externally_visible
2425 && (!DECL_COMDAT (node
->decl
)
2426 || node
->forced_by_abi
2427 || symtab_used_from_object_file_p (node
)))
2432 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2435 nonremovable_p (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
2437 return !cgraph_can_remove_if_no_direct_calls_and_refs_p (node
);
2440 /* Return true when function NODE and its aliases can be removed from callgraph
2441 if all direct calls are eliminated. */
2444 cgraph_can_remove_if_no_direct_calls_p (struct cgraph_node
*node
)
2446 /* Extern inlines can always go, we will use the external definition. */
2447 if (DECL_EXTERNAL (node
->decl
))
2449 if (node
->address_taken
)
2451 return !cgraph_for_node_and_aliases (node
, nonremovable_p
, NULL
, true);
2454 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2457 used_from_object_file_p (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
2459 return symtab_used_from_object_file_p (node
);
2462 /* Return true when function NODE can be expected to be removed
2463 from program when direct calls in this compilation unit are removed.
2465 As a special case COMDAT functions are
2466 cgraph_can_remove_if_no_direct_calls_p while the are not
2467 cgraph_only_called_directly_p (it is possible they are called from other
2470 This function behaves as cgraph_only_called_directly_p because eliminating
2471 all uses of COMDAT function does not make it necessarily disappear from
2472 the program unless we are compiling whole program or we do LTO. In this
2473 case we know we win since dynamic linking will not really discard the
2474 linkonce section. */
2477 cgraph_will_be_removed_from_program_if_no_direct_calls (struct cgraph_node
*node
)
2479 gcc_assert (!node
->global
.inlined_to
);
2480 if (cgraph_for_node_and_aliases (node
, used_from_object_file_p
, NULL
, true))
2482 if (!in_lto_p
&& !flag_whole_program
)
2483 return cgraph_only_called_directly_p (node
);
2486 if (DECL_EXTERNAL (node
->decl
))
2488 return cgraph_can_remove_if_no_direct_calls_p (node
);
2493 /* Worker for cgraph_only_called_directly_p. */
2496 cgraph_not_only_called_directly_p_1 (struct cgraph_node
*node
, void *data ATTRIBUTE_UNUSED
)
2498 return !cgraph_only_called_directly_or_aliased_p (node
);
2501 /* Return true when function NODE and all its aliases are only called
2503 i.e. it is not externally visible, address was not taken and
2504 it is not used in any other non-standard way. */
2507 cgraph_only_called_directly_p (struct cgraph_node
*node
)
2509 gcc_assert (cgraph_function_or_thunk_node (node
, NULL
) == node
);
2510 return !cgraph_for_node_and_aliases (node
, cgraph_not_only_called_directly_p_1
,
2515 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
2518 collect_callers_of_node_1 (struct cgraph_node
*node
, void *data
)
2520 vec
<cgraph_edge_p
> *redirect_callers
= (vec
<cgraph_edge_p
> *)data
;
2521 struct cgraph_edge
*cs
;
2522 enum availability avail
;
2523 cgraph_function_or_thunk_node (node
, &avail
);
2525 if (avail
> AVAIL_OVERWRITABLE
)
2526 for (cs
= node
->callers
; cs
!= NULL
; cs
= cs
->next_caller
)
2527 if (!cs
->indirect_inlining_edge
)
2528 redirect_callers
->safe_push (cs
);
2532 /* Collect all callers of NODE and its aliases that are known to lead to NODE
2533 (i.e. are not overwritable). */
2536 collect_callers_of_node (struct cgraph_node
*node
)
2538 vec
<cgraph_edge_p
> redirect_callers
= vNULL
;
2539 cgraph_for_node_and_aliases (node
, collect_callers_of_node_1
,
2540 &redirect_callers
, false);
2541 return redirect_callers
;
2544 /* Return TRUE if NODE2 a clone of NODE or is equivalent to it. */
2547 clone_of_p (struct cgraph_node
*node
, struct cgraph_node
*node2
)
2549 bool skipped_thunk
= false;
2550 node
= cgraph_function_or_thunk_node (node
, NULL
);
2551 node2
= cgraph_function_or_thunk_node (node2
, NULL
);
2553 /* There are no virtual clones of thunks so check former_clone_of or if we
2554 might have skipped thunks because this adjustments are no longer
2556 while (node
->thunk
.thunk_p
)
2558 if (node2
->former_clone_of
== node
->decl
)
2560 if (!node
->thunk
.this_adjusting
)
2562 node
= cgraph_function_or_thunk_node (node
->callees
->callee
, NULL
);
2563 skipped_thunk
= true;
2568 if (!node2
->clone
.args_to_skip
2569 || !bitmap_bit_p (node2
->clone
.args_to_skip
, 0))
2571 if (node2
->former_clone_of
== node
->decl
)
2573 else if (!node2
->clone_of
)
2577 while (node
!= node2
&& node2
)
2578 node2
= node2
->clone_of
;
2579 return node2
!= NULL
;
2582 /* Verify edge E count and frequency. */
2585 verify_edge_count_and_frequency (struct cgraph_edge
*e
)
2587 bool error_found
= false;
2590 error ("caller edge count is negative");
2593 if (e
->frequency
< 0)
2595 error ("caller edge frequency is negative");
2598 if (e
->frequency
> CGRAPH_FREQ_MAX
)
2600 error ("caller edge frequency is too large");
2603 if (gimple_has_body_p (e
->caller
->decl
)
2604 && !e
->caller
->global
.inlined_to
2606 /* FIXME: Inline-analysis sets frequency to 0 when edge is optimized out.
2607 Remove this once edges are actually removed from the function at that time. */
2609 || (inline_edge_summary_vec
.exists ()
2610 && ((inline_edge_summary_vec
.length () <= (unsigned) e
->uid
)
2611 || !inline_edge_summary (e
)->predicate
)))
2613 != compute_call_stmt_bb_frequency (e
->caller
->decl
,
2614 gimple_bb (e
->call_stmt
))))
2616 error ("caller edge frequency %i does not match BB frequency %i",
2618 compute_call_stmt_bb_frequency (e
->caller
->decl
,
2619 gimple_bb (e
->call_stmt
)));
2625 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
2627 cgraph_debug_gimple_stmt (struct function
*this_cfun
, gimple stmt
)
2629 bool fndecl_was_null
= false;
2630 /* debug_gimple_stmt needs correct cfun */
2631 if (cfun
!= this_cfun
)
2632 set_cfun (this_cfun
);
2633 /* ...and an actual current_function_decl */
2634 if (!current_function_decl
)
2636 current_function_decl
= this_cfun
->decl
;
2637 fndecl_was_null
= true;
2639 debug_gimple_stmt (stmt
);
2640 if (fndecl_was_null
)
2641 current_function_decl
= NULL
;
2644 /* Verify that call graph edge E corresponds to DECL from the associated
2645 statement. Return true if the verification should fail. */
2648 verify_edge_corresponds_to_fndecl (struct cgraph_edge
*e
, tree decl
)
2650 struct cgraph_node
*node
;
2652 if (!decl
|| e
->callee
->global
.inlined_to
)
2654 if (cgraph_state
== CGRAPH_LTO_STREAMING
)
2656 node
= cgraph_get_node (decl
);
2658 /* We do not know if a node from a different partition is an alias or what it
2659 aliases and therefore cannot do the former_clone_of check reliably. When
2660 body_removed is set, we have lost all information about what was alias or
2661 thunk of and also cannot proceed. */
2663 || node
->body_removed
2664 || node
->in_other_partition
2665 || e
->callee
->in_other_partition
)
2668 /* Optimizers can redirect unreachable calls or calls triggering undefined
2669 behaviour to builtin_unreachable. */
2670 if (DECL_BUILT_IN_CLASS (e
->callee
->decl
) == BUILT_IN_NORMAL
2671 && DECL_FUNCTION_CODE (e
->callee
->decl
) == BUILT_IN_UNREACHABLE
)
2673 node
= cgraph_function_or_thunk_node (node
, NULL
);
2675 if (e
->callee
->former_clone_of
!= node
->decl
2676 && (node
!= cgraph_function_or_thunk_node (e
->callee
, NULL
))
2677 && !clone_of_p (node
, e
->callee
))
2683 /* Verify cgraph nodes of given cgraph node. */
2685 verify_cgraph_node (struct cgraph_node
*node
)
2687 struct cgraph_edge
*e
;
2688 struct function
*this_cfun
= DECL_STRUCT_FUNCTION (node
->decl
);
2689 basic_block this_block
;
2690 gimple_stmt_iterator gsi
;
2691 bool error_found
= false;
2696 timevar_push (TV_CGRAPH_VERIFY
);
2697 error_found
|= verify_symtab_base (node
);
2698 for (e
= node
->callees
; e
; e
= e
->next_callee
)
2701 error ("aux field set for edge %s->%s",
2702 identifier_to_locale (e
->caller
->name ()),
2703 identifier_to_locale (e
->callee
->name ()));
2706 if (node
->count
< 0)
2708 error ("execution count is negative");
2711 if (node
->global
.inlined_to
&& node
->same_comdat_group
)
2713 error ("inline clone in same comdat group list");
2716 if (!node
->definition
&& !node
->in_other_partition
&& node
->local
.local
)
2718 error ("local symbols must be defined");
2721 if (node
->global
.inlined_to
&& node
->externally_visible
)
2723 error ("externally visible inline clone");
2726 if (node
->global
.inlined_to
&& node
->address_taken
)
2728 error ("inline clone with address taken");
2731 if (node
->global
.inlined_to
&& node
->force_output
)
2733 error ("inline clone is forced to output");
2736 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
2740 error ("aux field set for indirect edge from %s",
2741 identifier_to_locale (e
->caller
->name ()));
2744 if (!e
->indirect_unknown_callee
2745 || !e
->indirect_info
)
2747 error ("An indirect edge from %s is not marked as indirect or has "
2748 "associated indirect_info, the corresponding statement is: ",
2749 identifier_to_locale (e
->caller
->name ()));
2750 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2754 bool check_comdat
= symtab_comdat_local_p (node
);
2755 for (e
= node
->callers
; e
; e
= e
->next_caller
)
2757 if (verify_edge_count_and_frequency (e
))
2760 && !symtab_in_same_comdat_p (e
->caller
, node
))
2762 error ("comdat-local function called by %s outside its comdat",
2763 identifier_to_locale (e
->caller
->name ()));
2766 if (!e
->inline_failed
)
2768 if (node
->global
.inlined_to
2769 != (e
->caller
->global
.inlined_to
2770 ? e
->caller
->global
.inlined_to
: e
->caller
))
2772 error ("inlined_to pointer is wrong");
2775 if (node
->callers
->next_caller
)
2777 error ("multiple inline callers");
2782 if (node
->global
.inlined_to
)
2784 error ("inlined_to pointer set for noninline callers");
2788 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
2789 if (verify_edge_count_and_frequency (e
))
2791 if (!node
->callers
&& node
->global
.inlined_to
)
2793 error ("inlined_to pointer is set but no predecessors found");
2796 if (node
->global
.inlined_to
== node
)
2798 error ("inlined_to pointer refers to itself");
2804 struct cgraph_node
*n
;
2805 for (n
= node
->clone_of
->clones
; n
; n
= n
->next_sibling_clone
)
2810 error ("node has wrong clone_of");
2816 struct cgraph_node
*n
;
2817 for (n
= node
->clones
; n
; n
= n
->next_sibling_clone
)
2818 if (n
->clone_of
!= node
)
2822 error ("node has wrong clone list");
2826 if ((node
->prev_sibling_clone
|| node
->next_sibling_clone
) && !node
->clone_of
)
2828 error ("node is in clone list but it is not clone");
2831 if (!node
->prev_sibling_clone
&& node
->clone_of
&& node
->clone_of
->clones
!= node
)
2833 error ("node has wrong prev_clone pointer");
2836 if (node
->prev_sibling_clone
&& node
->prev_sibling_clone
->next_sibling_clone
!= node
)
2838 error ("double linked list of clones corrupted");
2842 if (node
->analyzed
&& node
->alias
)
2844 bool ref_found
= false;
2846 struct ipa_ref
*ref
= NULL
;
2850 error ("Alias has call edges");
2853 for (i
= 0; node
->iterate_reference (i
, ref
); i
++)
2854 if (ref
->use
!= IPA_REF_ALIAS
)
2856 error ("Alias has non-alias reference");
2861 error ("Alias has more than one alias reference");
2868 error ("Analyzed alias has no reference");
2872 if (node
->analyzed
&& node
->thunk
.thunk_p
)
2876 error ("No edge out of thunk node");
2879 else if (node
->callees
->next_callee
)
2881 error ("More than one edge out of thunk node");
2884 if (gimple_has_body_p (node
->decl
))
2886 error ("Thunk is not supposed to have body");
2890 else if (node
->analyzed
&& gimple_has_body_p (node
->decl
)
2891 && !TREE_ASM_WRITTEN (node
->decl
)
2892 && (!DECL_EXTERNAL (node
->decl
) || node
->global
.inlined_to
)
2897 pointer_set_t
*stmts
= pointer_set_create ();
2899 struct ipa_ref
*ref
= NULL
;
2901 /* Reach the trees by walking over the CFG, and note the
2902 enclosing basic-blocks in the call edges. */
2903 FOR_EACH_BB_FN (this_block
, this_cfun
)
2905 for (gsi
= gsi_start_phis (this_block
);
2906 !gsi_end_p (gsi
); gsi_next (&gsi
))
2907 pointer_set_insert (stmts
, gsi_stmt (gsi
));
2908 for (gsi
= gsi_start_bb (this_block
);
2912 gimple stmt
= gsi_stmt (gsi
);
2913 pointer_set_insert (stmts
, stmt
);
2914 if (is_gimple_call (stmt
))
2916 struct cgraph_edge
*e
= cgraph_edge (node
, stmt
);
2917 tree decl
= gimple_call_fndecl (stmt
);
2922 error ("shared call_stmt:");
2923 cgraph_debug_gimple_stmt (this_cfun
, stmt
);
2926 if (!e
->indirect_unknown_callee
)
2928 if (verify_edge_corresponds_to_fndecl (e
, decl
))
2930 error ("edge points to wrong declaration:");
2931 debug_tree (e
->callee
->decl
);
2932 fprintf (stderr
," Instead of:");
2939 error ("an indirect edge with unknown callee "
2940 "corresponding to a call_stmt with "
2941 "a known declaration:");
2943 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2949 error ("missing callgraph edge for call stmt:");
2950 cgraph_debug_gimple_stmt (this_cfun
, stmt
);
2957 node
->iterate_reference (i
, ref
); i
++)
2958 if (ref
->stmt
&& !pointer_set_contains (stmts
, ref
->stmt
))
2960 error ("reference to dead statement");
2961 cgraph_debug_gimple_stmt (this_cfun
, ref
->stmt
);
2964 pointer_set_destroy (stmts
);
2967 /* No CFG available?! */
2970 for (e
= node
->callees
; e
; e
= e
->next_callee
)
2974 error ("edge %s->%s has no corresponding call_stmt",
2975 identifier_to_locale (e
->caller
->name ()),
2976 identifier_to_locale (e
->callee
->name ()));
2977 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2982 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
2984 if (!e
->aux
&& !e
->speculative
)
2986 error ("an indirect edge from %s has no corresponding call_stmt",
2987 identifier_to_locale (e
->caller
->name ()));
2988 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
2996 dump_cgraph_node (stderr
, node
);
2997 internal_error ("verify_cgraph_node failed");
2999 timevar_pop (TV_CGRAPH_VERIFY
);
3002 /* Verify whole cgraph structure. */
3004 verify_cgraph (void)
3006 struct cgraph_node
*node
;
3011 FOR_EACH_FUNCTION (node
)
3012 verify_cgraph_node (node
);
3015 /* Given NODE, walk the alias chain to return the function NODE is alias of.
3016 Walk through thunk, too.
3017 When AVAILABILITY is non-NULL, get minimal availability in the chain. */
3019 struct cgraph_node
*
3020 cgraph_function_node (struct cgraph_node
*node
, enum availability
*availability
)
3024 node
= cgraph_function_or_thunk_node (node
, availability
);
3025 if (node
->thunk
.thunk_p
)
3027 node
= node
->callees
->callee
;
3030 enum availability a
;
3031 a
= cgraph_function_body_availability (node
);
3032 if (a
< *availability
)
3035 node
= cgraph_function_or_thunk_node (node
, availability
);
3037 } while (node
&& node
->thunk
.thunk_p
);
3041 /* When doing LTO, read NODE's body from disk if it is not already present. */
3044 cgraph_get_body (struct cgraph_node
*node
)
3046 struct lto_file_decl_data
*file_data
;
3047 const char *data
, *name
;
3049 tree decl
= node
->decl
;
3051 if (DECL_RESULT (decl
))
3054 gcc_assert (in_lto_p
);
3056 timevar_push (TV_IPA_LTO_GIMPLE_IN
);
3058 file_data
= node
->lto_file_data
;
3059 name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl
));
3061 /* We may have renamed the declaration, e.g., a static function. */
3062 name
= lto_get_decl_name_mapping (file_data
, name
);
3064 data
= lto_get_section_data (file_data
, LTO_section_function_body
,
3068 dump_cgraph_node (stderr
, node
);
3069 fatal_error ("%s: section %s is missing",
3070 file_data
->file_name
,
3074 gcc_assert (DECL_STRUCT_FUNCTION (decl
) == NULL
);
3076 lto_input_function_body (file_data
, node
, data
);
3077 lto_stats
.num_function_bodies
++;
3078 lto_free_section_data (file_data
, LTO_section_function_body
, name
,
3080 lto_free_function_in_decl_state_for_node (node
);
3082 timevar_pop (TV_IPA_LTO_GIMPLE_IN
);
3087 /* Verify if the type of the argument matches that of the function
3088 declaration. If we cannot verify this or there is a mismatch,
3092 gimple_check_call_args (gimple stmt
, tree fndecl
, bool args_count_match
)
3095 unsigned int i
, nargs
;
3097 /* Calls to internal functions always match their signature. */
3098 if (gimple_call_internal_p (stmt
))
3101 nargs
= gimple_call_num_args (stmt
);
3103 /* Get argument types for verification. */
3105 parms
= TYPE_ARG_TYPES (TREE_TYPE (fndecl
));
3107 parms
= TYPE_ARG_TYPES (gimple_call_fntype (stmt
));
3109 /* Verify if the type of the argument matches that of the function
3110 declaration. If we cannot verify this or there is a mismatch,
3112 if (fndecl
&& DECL_ARGUMENTS (fndecl
))
3114 for (i
= 0, p
= DECL_ARGUMENTS (fndecl
);
3116 i
++, p
= DECL_CHAIN (p
))
3119 /* We cannot distinguish a varargs function from the case
3120 of excess parameters, still deferring the inlining decision
3121 to the callee is possible. */
3124 arg
= gimple_call_arg (stmt
, i
);
3125 if (p
== error_mark_node
3126 || DECL_ARG_TYPE (p
) == error_mark_node
3127 || arg
== error_mark_node
3128 || (!types_compatible_p (DECL_ARG_TYPE (p
), TREE_TYPE (arg
))
3129 && !fold_convertible_p (DECL_ARG_TYPE (p
), arg
)))
3132 if (args_count_match
&& p
)
3137 for (i
= 0, p
= parms
; i
< nargs
; i
++, p
= TREE_CHAIN (p
))
3140 /* If this is a varargs function defer inlining decision
3144 arg
= gimple_call_arg (stmt
, i
);
3145 if (TREE_VALUE (p
) == error_mark_node
3146 || arg
== error_mark_node
3147 || TREE_CODE (TREE_VALUE (p
)) == VOID_TYPE
3148 || (!types_compatible_p (TREE_VALUE (p
), TREE_TYPE (arg
))
3149 && !fold_convertible_p (TREE_VALUE (p
), arg
)))
3161 /* Verify if the type of the argument and lhs of CALL_STMT matches
3162 that of the function declaration CALLEE. If ARGS_COUNT_MATCH is
3163 true, the arg count needs to be the same.
3164 If we cannot verify this or there is a mismatch, return false. */
3167 gimple_check_call_matching_types (gimple call_stmt
, tree callee
,
3168 bool args_count_match
)
3172 if ((DECL_RESULT (callee
)
3173 && !DECL_BY_REFERENCE (DECL_RESULT (callee
))
3174 && (lhs
= gimple_call_lhs (call_stmt
)) != NULL_TREE
3175 && !useless_type_conversion_p (TREE_TYPE (DECL_RESULT (callee
)),
3177 && !fold_convertible_p (TREE_TYPE (DECL_RESULT (callee
)), lhs
))
3178 || !gimple_check_call_args (call_stmt
, callee
, args_count_match
))
3183 #include "gt-cgraph.h"