1 /* Callgraph handling code.
2 Copyright (C) 2003-2018 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 inter-procedural
24 optimization. It represents a multi-graph where nodes are functions
25 (symbols within symbol table) and edges are call sites. */
29 #include "coretypes.h"
36 #include "alloc-pool.h"
37 #include "gimple-ssa.h"
39 #include "lto-streamer.h"
40 #include "fold-const.h"
43 #include "print-tree.h"
44 #include "langhooks.h"
47 #include "gimple-iterator.h"
50 #include "value-prof.h"
51 #include "ipa-utils.h"
52 #include "symbol-summary.h"
55 #include "ipa-fnsummary.h"
57 #include "gimple-pretty-print.h"
63 #include "stringpool.h"
66 /* FIXME: Only for PROP_loops, but cgraph shouldn't have to know about this. */
67 #include "tree-pass.h"
69 /* Queue of cgraph nodes scheduled to be lowered. */
70 symtab_node
*x_cgraph_nodes_queue
;
71 #define cgraph_nodes_queue ((cgraph_node *)x_cgraph_nodes_queue)
73 /* Symbol table global context. */
76 /* List of hooks triggered on cgraph_edge events. */
77 struct cgraph_edge_hook_list
{
78 cgraph_edge_hook hook
;
80 struct cgraph_edge_hook_list
*next
;
83 /* List of hooks triggered on cgraph_node events. */
84 struct cgraph_node_hook_list
{
85 cgraph_node_hook hook
;
87 struct cgraph_node_hook_list
*next
;
90 /* List of hooks triggered on events involving two cgraph_edges. */
91 struct cgraph_2edge_hook_list
{
92 cgraph_2edge_hook hook
;
94 struct cgraph_2edge_hook_list
*next
;
97 /* List of hooks triggered on events involving two cgraph_nodes. */
98 struct cgraph_2node_hook_list
{
99 cgraph_2node_hook hook
;
101 struct cgraph_2node_hook_list
*next
;
104 /* Hash descriptor for cgraph_function_version_info. */
106 struct function_version_hasher
: ggc_ptr_hash
<cgraph_function_version_info
>
108 static hashval_t
hash (cgraph_function_version_info
*);
109 static bool equal (cgraph_function_version_info
*,
110 cgraph_function_version_info
*);
113 /* Map a cgraph_node to cgraph_function_version_info using this htab.
114 The cgraph_function_version_info has a THIS_NODE field that is the
115 corresponding cgraph_node.. */
117 static GTY(()) hash_table
<function_version_hasher
> *cgraph_fnver_htab
= NULL
;
119 /* Hash function for cgraph_fnver_htab. */
121 function_version_hasher::hash (cgraph_function_version_info
*ptr
)
123 int uid
= ptr
->this_node
->get_uid ();
124 return (hashval_t
)(uid
);
127 /* eq function for cgraph_fnver_htab. */
129 function_version_hasher::equal (cgraph_function_version_info
*n1
,
130 cgraph_function_version_info
*n2
)
132 return n1
->this_node
->get_uid () == n2
->this_node
->get_uid ();
135 /* Mark as GC root all allocated nodes. */
136 static GTY(()) struct cgraph_function_version_info
*
137 version_info_node
= NULL
;
139 /* Return true if NODE's address can be compared. */
142 symtab_node::address_can_be_compared_p ()
144 /* Address of virtual tables and functions is never compared. */
145 if (DECL_VIRTUAL_P (decl
))
147 /* Address of C++ cdtors is never compared. */
148 if (is_a
<cgraph_node
*> (this)
149 && (DECL_CXX_CONSTRUCTOR_P (decl
)
150 || DECL_CXX_DESTRUCTOR_P (decl
)))
152 /* Constant pool symbols addresses are never compared.
153 flag_merge_constants permits us to assume the same on readonly vars. */
154 if (is_a
<varpool_node
*> (this)
155 && (DECL_IN_CONSTANT_POOL (decl
)
156 || (flag_merge_constants
>= 2
157 && TREE_READONLY (decl
) && !TREE_THIS_VOLATILE (decl
))))
162 /* Get the cgraph_function_version_info node corresponding to node. */
163 cgraph_function_version_info
*
164 cgraph_node::function_version (void)
166 cgraph_function_version_info key
;
167 key
.this_node
= this;
169 if (cgraph_fnver_htab
== NULL
)
172 return cgraph_fnver_htab
->find (&key
);
175 /* Insert a new cgraph_function_version_info node into cgraph_fnver_htab
176 corresponding to cgraph_node NODE. */
177 cgraph_function_version_info
*
178 cgraph_node::insert_new_function_version (void)
180 version_info_node
= NULL
;
181 version_info_node
= ggc_cleared_alloc
<cgraph_function_version_info
> ();
182 version_info_node
->this_node
= this;
184 if (cgraph_fnver_htab
== NULL
)
185 cgraph_fnver_htab
= hash_table
<function_version_hasher
>::create_ggc (2);
187 *cgraph_fnver_htab
->find_slot (version_info_node
, INSERT
)
189 return version_info_node
;
192 /* Remove the cgraph_function_version_info node given by DECL_V. */
194 delete_function_version (cgraph_function_version_info
*decl_v
)
199 if (decl_v
->prev
!= NULL
)
200 decl_v
->prev
->next
= decl_v
->next
;
202 if (decl_v
->next
!= NULL
)
203 decl_v
->next
->prev
= decl_v
->prev
;
205 if (cgraph_fnver_htab
!= NULL
)
206 cgraph_fnver_htab
->remove_elt (decl_v
);
209 /* Remove the cgraph_function_version_info and cgraph_node for DECL. This
210 DECL is a duplicate declaration. */
212 cgraph_node::delete_function_version_by_decl (tree decl
)
214 cgraph_node
*decl_node
= cgraph_node::get (decl
);
216 if (decl_node
== NULL
)
219 delete_function_version (decl_node
->function_version ());
221 decl_node
->remove ();
224 /* Record that DECL1 and DECL2 are semantically identical function
227 cgraph_node::record_function_versions (tree decl1
, tree decl2
)
229 cgraph_node
*decl1_node
= cgraph_node::get_create (decl1
);
230 cgraph_node
*decl2_node
= cgraph_node::get_create (decl2
);
231 cgraph_function_version_info
*decl1_v
= NULL
;
232 cgraph_function_version_info
*decl2_v
= NULL
;
233 cgraph_function_version_info
*before
;
234 cgraph_function_version_info
*after
;
236 gcc_assert (decl1_node
!= NULL
&& decl2_node
!= NULL
);
237 decl1_v
= decl1_node
->function_version ();
238 decl2_v
= decl2_node
->function_version ();
240 if (decl1_v
!= NULL
&& decl2_v
!= NULL
)
244 decl1_v
= decl1_node
->insert_new_function_version ();
247 decl2_v
= decl2_node
->insert_new_function_version ();
249 /* Chain decl2_v and decl1_v. All semantically identical versions
250 will be chained together. */
255 while (before
->next
!= NULL
)
256 before
= before
->next
;
258 while (after
->prev
!= NULL
)
261 before
->next
= after
;
262 after
->prev
= before
;
265 /* Initialize callgraph dump file. */
268 symbol_table::initialize (void)
271 dump_file
= dump_begin (TDI_cgraph
, NULL
);
273 if (!ipa_clones_dump_file
)
274 ipa_clones_dump_file
= dump_begin (TDI_clones
, NULL
);
277 /* Allocate new callgraph node and insert it into basic data structures. */
280 symbol_table::create_empty (void)
282 cgraph_node
*node
= allocate_cgraph_symbol ();
284 node
->type
= SYMTAB_FUNCTION
;
285 node
->frequency
= NODE_FREQUENCY_NORMAL
;
286 node
->count_materialization_scale
= REG_BR_PROB_BASE
;
292 /* Register HOOK to be called with DATA on each removed edge. */
293 cgraph_edge_hook_list
*
294 symbol_table::add_edge_removal_hook (cgraph_edge_hook hook
, void *data
)
296 cgraph_edge_hook_list
*entry
;
297 cgraph_edge_hook_list
**ptr
= &m_first_edge_removal_hook
;
299 entry
= (cgraph_edge_hook_list
*) xmalloc (sizeof (*entry
));
309 /* Remove ENTRY from the list of hooks called on removing edges. */
311 symbol_table::remove_edge_removal_hook (cgraph_edge_hook_list
*entry
)
313 cgraph_edge_hook_list
**ptr
= &m_first_edge_removal_hook
;
315 while (*ptr
!= entry
)
321 /* Call all edge removal hooks. */
323 symbol_table::call_edge_removal_hooks (cgraph_edge
*e
)
325 cgraph_edge_hook_list
*entry
= m_first_edge_removal_hook
;
328 entry
->hook (e
, entry
->data
);
333 /* Register HOOK to be called with DATA on each removed node. */
334 cgraph_node_hook_list
*
335 symbol_table::add_cgraph_removal_hook (cgraph_node_hook hook
, void *data
)
337 cgraph_node_hook_list
*entry
;
338 cgraph_node_hook_list
**ptr
= &m_first_cgraph_removal_hook
;
340 entry
= (cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
350 /* Remove ENTRY from the list of hooks called on removing nodes. */
352 symbol_table::remove_cgraph_removal_hook (cgraph_node_hook_list
*entry
)
354 cgraph_node_hook_list
**ptr
= &m_first_cgraph_removal_hook
;
356 while (*ptr
!= entry
)
362 /* Call all node removal hooks. */
364 symbol_table::call_cgraph_removal_hooks (cgraph_node
*node
)
366 cgraph_node_hook_list
*entry
= m_first_cgraph_removal_hook
;
369 entry
->hook (node
, entry
->data
);
374 /* Call all node removal hooks. */
376 symbol_table::call_cgraph_insertion_hooks (cgraph_node
*node
)
378 cgraph_node_hook_list
*entry
= m_first_cgraph_insertion_hook
;
381 entry
->hook (node
, entry
->data
);
387 /* Register HOOK to be called with DATA on each inserted node. */
388 cgraph_node_hook_list
*
389 symbol_table::add_cgraph_insertion_hook (cgraph_node_hook hook
, void *data
)
391 cgraph_node_hook_list
*entry
;
392 cgraph_node_hook_list
**ptr
= &m_first_cgraph_insertion_hook
;
394 entry
= (cgraph_node_hook_list
*) xmalloc (sizeof (*entry
));
404 /* Remove ENTRY from the list of hooks called on inserted nodes. */
406 symbol_table::remove_cgraph_insertion_hook (cgraph_node_hook_list
*entry
)
408 cgraph_node_hook_list
**ptr
= &m_first_cgraph_insertion_hook
;
410 while (*ptr
!= entry
)
416 /* Register HOOK to be called with DATA on each duplicated edge. */
417 cgraph_2edge_hook_list
*
418 symbol_table::add_edge_duplication_hook (cgraph_2edge_hook hook
, void *data
)
420 cgraph_2edge_hook_list
*entry
;
421 cgraph_2edge_hook_list
**ptr
= &m_first_edge_duplicated_hook
;
423 entry
= (cgraph_2edge_hook_list
*) xmalloc (sizeof (*entry
));
433 /* Remove ENTRY from the list of hooks called on duplicating edges. */
435 symbol_table::remove_edge_duplication_hook (cgraph_2edge_hook_list
*entry
)
437 cgraph_2edge_hook_list
**ptr
= &m_first_edge_duplicated_hook
;
439 while (*ptr
!= entry
)
445 /* Call all edge duplication hooks. */
447 symbol_table::call_edge_duplication_hooks (cgraph_edge
*cs1
, cgraph_edge
*cs2
)
449 cgraph_2edge_hook_list
*entry
= m_first_edge_duplicated_hook
;
452 entry
->hook (cs1
, cs2
, entry
->data
);
457 /* Register HOOK to be called with DATA on each duplicated node. */
458 cgraph_2node_hook_list
*
459 symbol_table::add_cgraph_duplication_hook (cgraph_2node_hook hook
, void *data
)
461 cgraph_2node_hook_list
*entry
;
462 cgraph_2node_hook_list
**ptr
= &m_first_cgraph_duplicated_hook
;
464 entry
= (cgraph_2node_hook_list
*) xmalloc (sizeof (*entry
));
474 /* Remove ENTRY from the list of hooks called on duplicating nodes. */
476 symbol_table::remove_cgraph_duplication_hook (cgraph_2node_hook_list
*entry
)
478 cgraph_2node_hook_list
**ptr
= &m_first_cgraph_duplicated_hook
;
480 while (*ptr
!= entry
)
486 /* Call all node duplication hooks. */
488 symbol_table::call_cgraph_duplication_hooks (cgraph_node
*node
,
491 cgraph_2node_hook_list
*entry
= m_first_cgraph_duplicated_hook
;
494 entry
->hook (node
, node2
, entry
->data
);
499 /* Return cgraph node assigned to DECL. Create new one when needed. */
502 cgraph_node::create (tree decl
)
504 cgraph_node
*node
= symtab
->create_empty ();
505 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
509 node
->count
= profile_count::uninitialized ();
511 if ((flag_openacc
|| flag_openmp
)
512 && lookup_attribute ("omp declare target", DECL_ATTRIBUTES (decl
)))
514 node
->offloadable
= 1;
515 if (ENABLE_OFFLOADING
)
516 g
->have_offload
= true;
519 if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (decl
)))
520 node
->ifunc_resolver
= true;
522 node
->register_symbol ();
524 if (DECL_CONTEXT (decl
) && TREE_CODE (DECL_CONTEXT (decl
)) == FUNCTION_DECL
)
526 node
->origin
= cgraph_node::get_create (DECL_CONTEXT (decl
));
527 node
->next_nested
= node
->origin
->nested
;
528 node
->origin
->nested
= node
;
533 /* Try to find a call graph node for declaration DECL and if it does not exist
534 or if it corresponds to an inline clone, create a new one. */
537 cgraph_node::get_create (tree decl
)
539 cgraph_node
*first_clone
= cgraph_node::get (decl
);
541 if (first_clone
&& !first_clone
->global
.inlined_to
)
544 cgraph_node
*node
= cgraph_node::create (decl
);
547 first_clone
->clone_of
= node
;
548 node
->clones
= first_clone
;
549 symtab
->symtab_prevail_in_asm_name_hash (node
);
550 node
->decl
->decl_with_vis
.symtab_node
= node
;
552 fprintf (dump_file
, "Introduced new external node "
553 "(%s) and turned into root of the clone tree.\n",
557 fprintf (dump_file
, "Introduced new external node "
558 "(%s).\n", node
->dump_name ());
562 /* Mark ALIAS as an alias to DECL. DECL_NODE is cgraph node representing
563 the function body is associated with (not necessarily cgraph_node (DECL). */
566 cgraph_node::create_alias (tree alias
, tree target
)
568 cgraph_node
*alias_node
;
570 gcc_assert (TREE_CODE (target
) == FUNCTION_DECL
571 || TREE_CODE (target
) == IDENTIFIER_NODE
);
572 gcc_assert (TREE_CODE (alias
) == FUNCTION_DECL
);
573 alias_node
= cgraph_node::get_create (alias
);
574 gcc_assert (!alias_node
->definition
);
575 alias_node
->alias_target
= target
;
576 alias_node
->definition
= true;
577 alias_node
->alias
= true;
578 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (alias
)) != NULL
)
579 alias_node
->transparent_alias
= alias_node
->weakref
= true;
580 if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (alias
)))
581 alias_node
->ifunc_resolver
= true;
585 /* Attempt to mark ALIAS as an alias to DECL. Return alias node if successful
587 Same body aliases are output whenever the body of DECL is output,
588 and cgraph_node::get (ALIAS) transparently returns
589 cgraph_node::get (DECL). */
592 cgraph_node::create_same_body_alias (tree alias
, tree decl
)
596 /* If aliases aren't supported by the assembler, fail. */
597 if (!TARGET_SUPPORTS_ALIASES
)
600 /* Langhooks can create same body aliases of symbols not defined.
601 Those are useless. Drop them on the floor. */
602 if (symtab
->global_info_ready
)
605 n
= cgraph_node::create_alias (alias
, decl
);
606 n
->cpp_implicit_alias
= true;
607 if (symtab
->cpp_implicit_aliases_done
)
608 n
->resolve_alias (cgraph_node::get (decl
));
612 /* Add thunk alias into callgraph. The alias declaration is ALIAS and it
613 aliases DECL with an adjustments made into the first parameter.
614 See comments in struct cgraph_thunk_info for detail on the parameters. */
617 cgraph_node::create_thunk (tree alias
, tree
, bool this_adjusting
,
618 HOST_WIDE_INT fixed_offset
,
619 HOST_WIDE_INT virtual_value
,
625 node
= cgraph_node::get (alias
);
629 node
= cgraph_node::create (alias
);
631 /* Make sure that if VIRTUAL_OFFSET is in sync with VIRTUAL_VALUE. */
632 gcc_checking_assert (virtual_offset
633 ? virtual_value
== wi::to_wide (virtual_offset
)
634 : virtual_value
== 0);
636 node
->thunk
.fixed_offset
= fixed_offset
;
637 node
->thunk
.virtual_value
= virtual_value
;
638 node
->thunk
.alias
= real_alias
;
639 node
->thunk
.this_adjusting
= this_adjusting
;
640 node
->thunk
.virtual_offset_p
= virtual_offset
!= NULL
;
641 node
->thunk
.thunk_p
= true;
642 node
->definition
= true;
647 /* Return the cgraph node that has ASMNAME for its DECL_ASSEMBLER_NAME.
648 Return NULL if there's no such node. */
651 cgraph_node::get_for_asmname (tree asmname
)
653 /* We do not want to look at inline clones. */
654 for (symtab_node
*node
= symtab_node::get_for_asmname (asmname
);
656 node
= node
->next_sharing_asm_name
)
658 cgraph_node
*cn
= dyn_cast
<cgraph_node
*> (node
);
659 if (cn
&& !cn
->global
.inlined_to
)
665 /* Returns a hash value for X (which really is a cgraph_edge). */
668 cgraph_edge_hasher::hash (cgraph_edge
*e
)
670 /* This is a really poor hash function, but it is what htab_hash_pointer
672 return (hashval_t
) ((intptr_t)e
->call_stmt
>> 3);
675 /* Returns a hash value for X (which really is a cgraph_edge). */
678 cgraph_edge_hasher::hash (gimple
*call_stmt
)
680 /* This is a really poor hash function, but it is what htab_hash_pointer
682 return (hashval_t
) ((intptr_t)call_stmt
>> 3);
685 /* Return nonzero if the call_stmt of cgraph_edge X is stmt *Y. */
688 cgraph_edge_hasher::equal (cgraph_edge
*x
, gimple
*y
)
690 return x
->call_stmt
== y
;
693 /* Add call graph edge E to call site hash of its caller. */
696 cgraph_update_edge_in_call_site_hash (cgraph_edge
*e
)
698 gimple
*call
= e
->call_stmt
;
699 *e
->caller
->call_site_hash
->find_slot_with_hash
700 (call
, cgraph_edge_hasher::hash (call
), INSERT
) = e
;
703 /* Add call graph edge E to call site hash of its caller. */
706 cgraph_add_edge_to_call_site_hash (cgraph_edge
*e
)
708 /* There are two speculative edges for every statement (one direct,
709 one indirect); always hash the direct one. */
710 if (e
->speculative
&& e
->indirect_unknown_callee
)
712 cgraph_edge
**slot
= e
->caller
->call_site_hash
->find_slot_with_hash
713 (e
->call_stmt
, cgraph_edge_hasher::hash (e
->call_stmt
), INSERT
);
716 gcc_assert (((cgraph_edge
*)*slot
)->speculative
);
721 gcc_assert (!*slot
|| e
->speculative
);
725 /* Return the callgraph edge representing the GIMPLE_CALL statement
729 cgraph_node::get_edge (gimple
*call_stmt
)
735 return call_site_hash
->find_with_hash
736 (call_stmt
, cgraph_edge_hasher::hash (call_stmt
));
738 /* This loop may turn out to be performance problem. In such case adding
739 hashtables into call nodes with very many edges is probably best
740 solution. It is not good idea to add pointer into CALL_EXPR itself
741 because we want to make possible having multiple cgraph nodes representing
742 different clones of the same body before the body is actually cloned. */
743 for (e
= callees
; e
; e
= e
->next_callee
)
745 if (e
->call_stmt
== call_stmt
)
751 for (e
= indirect_calls
; e
; e
= e
->next_callee
)
753 if (e
->call_stmt
== call_stmt
)
760 call_site_hash
= hash_table
<cgraph_edge_hasher
>::create_ggc (120);
761 for (e2
= callees
; e2
; e2
= e2
->next_callee
)
762 cgraph_add_edge_to_call_site_hash (e2
);
763 for (e2
= indirect_calls
; e2
; e2
= e2
->next_callee
)
764 cgraph_add_edge_to_call_site_hash (e2
);
771 /* Change field call_stmt of edge to NEW_STMT.
772 If UPDATE_SPECULATIVE and E is any component of speculative
773 edge, then update all components. */
776 cgraph_edge::set_call_stmt (gcall
*new_stmt
, bool update_speculative
)
780 /* Speculative edges has three component, update all of them
782 if (update_speculative
&& speculative
)
784 cgraph_edge
*direct
, *indirect
;
787 speculative_call_info (direct
, indirect
, ref
);
788 direct
->set_call_stmt (new_stmt
, false);
789 indirect
->set_call_stmt (new_stmt
, false);
790 ref
->stmt
= new_stmt
;
794 /* Only direct speculative edges go to call_site_hash. */
795 if (caller
->call_site_hash
796 && (!speculative
|| !indirect_unknown_callee
))
798 caller
->call_site_hash
->remove_elt_with_hash
799 (call_stmt
, cgraph_edge_hasher::hash (call_stmt
));
802 cgraph_edge
*e
= this;
804 call_stmt
= new_stmt
;
805 if (indirect_unknown_callee
806 && (decl
= gimple_call_fndecl (new_stmt
)))
808 /* Constant propagation (and possibly also inlining?) can turn an
809 indirect call into a direct one. */
810 cgraph_node
*new_callee
= cgraph_node::get (decl
);
812 gcc_checking_assert (new_callee
);
813 e
= make_direct (new_callee
);
816 push_cfun (DECL_STRUCT_FUNCTION (e
->caller
->decl
));
817 e
->can_throw_external
= stmt_can_throw_external (new_stmt
);
819 if (e
->caller
->call_site_hash
)
820 cgraph_add_edge_to_call_site_hash (e
);
823 /* Allocate a cgraph_edge structure and fill it with data according to the
824 parameters of which only CALLEE can be NULL (when creating an indirect call
828 symbol_table::create_edge (cgraph_node
*caller
, cgraph_node
*callee
,
829 gcall
*call_stmt
, profile_count count
,
830 bool indir_unknown_callee
)
834 /* LTO does not actually have access to the call_stmt since these
835 have not been loaded yet. */
838 /* This is a rather expensive check possibly triggering
839 construction of call stmt hashtable. */
841 gcc_checking_assert (!(e
= caller
->get_edge (call_stmt
))
844 gcc_assert (is_gimple_call (call_stmt
));
850 free_edges
= NEXT_FREE_EDGE (edge
);
853 edge
= ggc_alloc
<cgraph_edge
> ();
857 gcc_assert (++edges_max_uid
!= 0);
858 edge
->m_uid
= edges_max_uid
;
860 edge
->caller
= caller
;
861 edge
->callee
= callee
;
862 edge
->prev_caller
= NULL
;
863 edge
->next_caller
= NULL
;
864 edge
->prev_callee
= NULL
;
865 edge
->next_callee
= NULL
;
866 edge
->lto_stmt_uid
= 0;
870 edge
->call_stmt
= call_stmt
;
871 push_cfun (DECL_STRUCT_FUNCTION (caller
->decl
));
872 edge
->can_throw_external
873 = call_stmt
? stmt_can_throw_external (call_stmt
) : false;
876 && callee
&& callee
->decl
877 && !gimple_check_call_matching_types (call_stmt
, callee
->decl
,
880 edge
->inline_failed
= CIF_MISMATCHED_ARGUMENTS
;
881 edge
->call_stmt_cannot_inline_p
= true;
885 edge
->inline_failed
= CIF_FUNCTION_NOT_CONSIDERED
;
886 edge
->call_stmt_cannot_inline_p
= false;
889 edge
->indirect_info
= NULL
;
890 edge
->indirect_inlining_edge
= 0;
891 edge
->speculative
= false;
892 edge
->indirect_unknown_callee
= indir_unknown_callee
;
893 if (opt_for_fn (edge
->caller
->decl
, flag_devirtualize
)
894 && call_stmt
&& DECL_STRUCT_FUNCTION (caller
->decl
))
895 edge
->in_polymorphic_cdtor
896 = decl_maybe_in_construction_p (NULL
, NULL
, call_stmt
,
899 edge
->in_polymorphic_cdtor
= caller
->thunk
.thunk_p
;
900 if (call_stmt
&& caller
->call_site_hash
)
901 cgraph_add_edge_to_call_site_hash (edge
);
906 /* Create edge from a given function to CALLEE in the cgraph. */
909 cgraph_node::create_edge (cgraph_node
*callee
,
910 gcall
*call_stmt
, profile_count count
)
912 cgraph_edge
*edge
= symtab
->create_edge (this, callee
, call_stmt
, count
,
915 initialize_inline_failed (edge
);
917 edge
->next_caller
= callee
->callers
;
919 callee
->callers
->prev_caller
= edge
;
920 edge
->next_callee
= callees
;
922 callees
->prev_callee
= edge
;
924 callee
->callers
= edge
;
929 /* Allocate cgraph_indirect_call_info and set its fields to default values. */
931 cgraph_indirect_call_info
*
932 cgraph_allocate_init_indirect_info (void)
934 cgraph_indirect_call_info
*ii
;
936 ii
= ggc_cleared_alloc
<cgraph_indirect_call_info
> ();
937 ii
->param_index
= -1;
941 /* Create an indirect edge with a yet-undetermined callee where the call
942 statement destination is a formal parameter of the caller with index
946 cgraph_node::create_indirect_edge (gcall
*call_stmt
, int ecf_flags
,
948 bool compute_indirect_info
)
950 cgraph_edge
*edge
= symtab
->create_edge (this, NULL
, call_stmt
,
954 initialize_inline_failed (edge
);
956 edge
->indirect_info
= cgraph_allocate_init_indirect_info ();
957 edge
->indirect_info
->ecf_flags
= ecf_flags
;
958 edge
->indirect_info
->vptr_changed
= true;
960 /* Record polymorphic call info. */
961 if (compute_indirect_info
963 && (target
= gimple_call_fn (call_stmt
))
964 && virtual_method_call_p (target
))
966 ipa_polymorphic_call_context
context (decl
, target
, call_stmt
);
968 /* Only record types can have virtual calls. */
969 edge
->indirect_info
->polymorphic
= true;
970 edge
->indirect_info
->param_index
= -1;
971 edge
->indirect_info
->otr_token
972 = tree_to_uhwi (OBJ_TYPE_REF_TOKEN (target
));
973 edge
->indirect_info
->otr_type
= obj_type_ref_class (target
);
974 gcc_assert (TREE_CODE (edge
->indirect_info
->otr_type
) == RECORD_TYPE
);
975 edge
->indirect_info
->context
= context
;
978 edge
->next_callee
= indirect_calls
;
980 indirect_calls
->prev_callee
= edge
;
981 indirect_calls
= edge
;
986 /* Remove the edge from the list of the callees of the caller. */
989 cgraph_edge::remove_caller (void)
992 prev_callee
->next_callee
= next_callee
;
994 next_callee
->prev_callee
= prev_callee
;
997 if (indirect_unknown_callee
)
998 caller
->indirect_calls
= next_callee
;
1000 caller
->callees
= next_callee
;
1002 if (caller
->call_site_hash
)
1003 caller
->call_site_hash
->remove_elt_with_hash
1004 (call_stmt
, cgraph_edge_hasher::hash (call_stmt
));
1007 /* Put the edge onto the free list. */
1010 symbol_table::free_edge (cgraph_edge
*e
)
1012 if (e
->indirect_info
)
1013 ggc_free (e
->indirect_info
);
1015 /* Clear out the edge so we do not dangle pointers. */
1016 memset (e
, 0, sizeof (*e
));
1017 NEXT_FREE_EDGE (e
) = free_edges
;
1022 /* Remove the edge in the cgraph. */
1025 cgraph_edge::remove (void)
1027 /* Call all edge removal hooks. */
1028 symtab
->call_edge_removal_hooks (this);
1030 if (!indirect_unknown_callee
)
1031 /* Remove from callers list of the callee. */
1034 /* Remove from callees list of the callers. */
1037 /* Put the edge onto the free list. */
1038 symtab
->free_edge (this);
1041 /* Turn edge into speculative call calling N2. Update
1042 the profile so the direct call is taken COUNT times
1045 At clone materialization time, the indirect call E will
1048 if (call_dest == N2)
1053 At this time the function just creates the direct call,
1054 the referencd representing the if conditional and attaches
1055 them all to the orginal indirect call statement.
1057 Return direct edge created. */
1060 cgraph_edge::make_speculative (cgraph_node
*n2
, profile_count direct_count
)
1062 cgraph_node
*n
= caller
;
1063 ipa_ref
*ref
= NULL
;
1067 fprintf (dump_file
, "Indirect call -> speculative call %s => %s\n",
1068 n
->dump_name (), n2
->dump_name ());
1070 e2
= n
->create_edge (n2
, call_stmt
, direct_count
);
1071 initialize_inline_failed (e2
);
1072 e2
->speculative
= true;
1073 if (TREE_NOTHROW (n2
->decl
))
1074 e2
->can_throw_external
= false;
1076 e2
->can_throw_external
= can_throw_external
;
1077 e2
->lto_stmt_uid
= lto_stmt_uid
;
1078 e2
->in_polymorphic_cdtor
= in_polymorphic_cdtor
;
1080 symtab
->call_edge_duplication_hooks (this, e2
);
1081 ref
= n
->create_reference (n2
, IPA_REF_ADDR
, call_stmt
);
1082 ref
->lto_stmt_uid
= lto_stmt_uid
;
1083 ref
->speculative
= speculative
;
1084 n2
->mark_address_taken ();
1088 /* Speculative call consist of three components:
1089 1) an indirect edge representing the original call
1090 2) an direct edge representing the new call
1091 3) ADDR_EXPR reference representing the speculative check.
1092 All three components are attached to single statement (the indirect
1093 call) and if one of them exists, all of them must exist.
1095 Given speculative call edge, return all three components.
1099 cgraph_edge::speculative_call_info (cgraph_edge
*&direct
,
1100 cgraph_edge
*&indirect
,
1101 ipa_ref
*&reference
)
1106 cgraph_edge
*e
= this;
1108 if (!e
->indirect_unknown_callee
)
1109 for (e2
= e
->caller
->indirect_calls
;
1110 e2
->call_stmt
!= e
->call_stmt
|| e2
->lto_stmt_uid
!= e
->lto_stmt_uid
;
1111 e2
= e2
->next_callee
)
1116 /* We can take advantage of the call stmt hash. */
1119 e
= e
->caller
->get_edge (e2
->call_stmt
);
1120 gcc_assert (e
->speculative
&& !e
->indirect_unknown_callee
);
1123 for (e
= e
->caller
->callees
;
1124 e2
->call_stmt
!= e
->call_stmt
1125 || e2
->lto_stmt_uid
!= e
->lto_stmt_uid
;
1129 gcc_assert (e
->speculative
&& e2
->speculative
);
1134 for (i
= 0; e
->caller
->iterate_reference (i
, ref
); i
++)
1135 if (ref
->speculative
1136 && ((ref
->stmt
&& ref
->stmt
== e
->call_stmt
)
1137 || (!ref
->stmt
&& ref
->lto_stmt_uid
== e
->lto_stmt_uid
)))
1143 /* Speculative edge always consist of all three components - direct edge,
1144 indirect and reference. */
1146 gcc_assert (e
&& e2
&& ref
);
1149 /* Speculative call edge turned out to be direct call to CALLE_DECL.
1150 Remove the speculative call sequence and return edge representing the call.
1151 It is up to caller to redirect the call as appropriate. */
1154 cgraph_edge::resolve_speculation (tree callee_decl
)
1156 cgraph_edge
*edge
= this;
1160 gcc_assert (edge
->speculative
);
1161 edge
->speculative_call_info (e2
, edge
, ref
);
1163 || !ref
->referred
->semantically_equivalent_p
1164 (symtab_node::get (callee_decl
)))
1170 fprintf (dump_file
, "Speculative indirect call %s => %s has "
1171 "turned out to have contradicting known target ",
1172 edge
->caller
->dump_name (),
1173 e2
->callee
->dump_name ());
1174 print_generic_expr (dump_file
, callee_decl
);
1175 fprintf (dump_file
, "\n");
1179 fprintf (dump_file
, "Removing speculative call %s => %s\n",
1180 edge
->caller
->dump_name (),
1181 e2
->callee
->dump_name ());
1187 cgraph_edge
*tmp
= edge
;
1189 fprintf (dump_file
, "Speculative call turned into direct call.\n");
1192 /* FIXME: If EDGE is inlined, we should scale up the frequencies and counts
1193 in the functions inlined through it. */
1195 edge
->count
+= e2
->count
;
1196 edge
->speculative
= false;
1197 e2
->speculative
= false;
1198 ref
->remove_reference ();
1199 if (e2
->indirect_unknown_callee
|| e2
->inline_failed
)
1202 e2
->callee
->remove_symbol_and_inline_clones ();
1203 if (edge
->caller
->call_site_hash
)
1204 cgraph_update_edge_in_call_site_hash (edge
);
1208 /* Make an indirect edge with an unknown callee an ordinary edge leading to
1209 CALLEE. DELTA is an integer constant that is to be added to the this
1210 pointer (first parameter) to compensate for skipping a thunk adjustment. */
1213 cgraph_edge::make_direct (cgraph_node
*callee
)
1215 cgraph_edge
*edge
= this;
1216 gcc_assert (indirect_unknown_callee
);
1218 /* If we are redirecting speculative call, make it non-speculative. */
1219 if (indirect_unknown_callee
&& speculative
)
1221 edge
= edge
->resolve_speculation (callee
->decl
);
1223 /* On successful speculation just return the pre existing direct edge. */
1224 if (!indirect_unknown_callee
)
1228 indirect_unknown_callee
= 0;
1229 ggc_free (indirect_info
);
1230 indirect_info
= NULL
;
1232 /* Get the edge out of the indirect edge list. */
1234 prev_callee
->next_callee
= next_callee
;
1236 next_callee
->prev_callee
= prev_callee
;
1238 caller
->indirect_calls
= next_callee
;
1240 /* Put it into the normal callee list */
1242 next_callee
= caller
->callees
;
1243 if (caller
->callees
)
1244 caller
->callees
->prev_callee
= edge
;
1245 caller
->callees
= edge
;
1247 /* Insert to callers list of the new callee. */
1248 edge
->set_callee (callee
);
1251 && !gimple_check_call_matching_types (call_stmt
, callee
->decl
, false))
1253 call_stmt_cannot_inline_p
= true;
1254 inline_failed
= CIF_MISMATCHED_ARGUMENTS
;
1257 /* We need to re-determine the inlining status of the edge. */
1258 initialize_inline_failed (edge
);
1262 /* If necessary, change the function declaration in the call statement
1263 associated with E so that it corresponds to the edge callee. */
1266 cgraph_edge::redirect_call_stmt_to_callee (void)
1268 cgraph_edge
*e
= this;
1270 tree decl
= gimple_call_fndecl (e
->call_stmt
);
1272 gimple_stmt_iterator gsi
;
1280 e
->speculative_call_info (e
, e2
, ref
);
1281 /* If there already is an direct call (i.e. as a result of inliner's
1282 substitution), forget about speculating. */
1284 e
= e
->resolve_speculation (decl
);
1285 /* If types do not match, speculation was likely wrong.
1286 The direct edge was possibly redirected to the clone with a different
1287 signature. We did not update the call statement yet, so compare it
1288 with the reference that still points to the proper type. */
1289 else if (!gimple_check_call_matching_types (e
->call_stmt
,
1290 ref
->referred
->decl
,
1294 fprintf (dump_file
, "Not expanding speculative call of %s -> %s\n"
1296 e
->caller
->dump_name (),
1297 e
->callee
->dump_name ());
1298 e
= e
->resolve_speculation ();
1299 /* We are producing the final function body and will throw away the
1300 callgraph edges really soon. Reset the counts/frequencies to
1301 keep verifier happy in the case of roundoff errors. */
1302 e
->count
= gimple_bb (e
->call_stmt
)->count
;
1304 /* Expand speculation into GIMPLE code. */
1310 "Expanding speculative call of %s -> %s count: ",
1311 e
->caller
->dump_name (),
1312 e
->callee
->dump_name ());
1313 e
->count
.dump (dump_file
);
1314 fprintf (dump_file
, "\n");
1316 gcc_assert (e2
->speculative
);
1317 push_cfun (DECL_STRUCT_FUNCTION (e
->caller
->decl
));
1319 profile_probability prob
= e
->count
.probability_in (e
->count
1321 if (!prob
.initialized_p ())
1322 prob
= profile_probability::even ();
1323 new_stmt
= gimple_ic (e
->call_stmt
,
1324 dyn_cast
<cgraph_node
*> (ref
->referred
),
1326 e
->speculative
= false;
1327 e
->caller
->set_call_stmt_including_clones (e
->call_stmt
, new_stmt
,
1329 e
->count
= gimple_bb (e
->call_stmt
)->count
;
1330 e2
->speculative
= false;
1331 e2
->count
= gimple_bb (e2
->call_stmt
)->count
;
1332 ref
->speculative
= false;
1334 /* Indirect edges are not both in the call site hash.
1336 if (e
->caller
->call_site_hash
)
1337 cgraph_update_edge_in_call_site_hash (e2
);
1339 /* Continue redirecting E to proper target. */
1344 if (e
->indirect_unknown_callee
1345 || decl
== e
->callee
->decl
)
1346 return e
->call_stmt
;
1348 if (flag_checking
&& decl
)
1350 cgraph_node
*node
= cgraph_node::get (decl
);
1351 gcc_assert (!node
|| !node
->clone
.combined_args_to_skip
);
1354 if (symtab
->dump_file
)
1356 fprintf (symtab
->dump_file
, "updating call of %s -> %s: ",
1357 e
->caller
->dump_name (), e
->callee
->dump_name ());
1358 print_gimple_stmt (symtab
->dump_file
, e
->call_stmt
, 0, dump_flags
);
1359 if (e
->callee
->clone
.combined_args_to_skip
)
1361 fprintf (symtab
->dump_file
, " combined args to skip: ");
1362 dump_bitmap (symtab
->dump_file
,
1363 e
->callee
->clone
.combined_args_to_skip
);
1367 if (e
->callee
->clone
.combined_args_to_skip
)
1371 new_stmt
= e
->call_stmt
;
1372 if (e
->callee
->clone
.combined_args_to_skip
)
1374 = gimple_call_copy_skip_args (new_stmt
,
1375 e
->callee
->clone
.combined_args_to_skip
);
1376 tree old_fntype
= gimple_call_fntype (e
->call_stmt
);
1377 gimple_call_set_fndecl (new_stmt
, e
->callee
->decl
);
1378 cgraph_node
*origin
= e
->callee
;
1379 while (origin
->clone_of
)
1380 origin
= origin
->clone_of
;
1382 if ((origin
->former_clone_of
1383 && old_fntype
== TREE_TYPE (origin
->former_clone_of
))
1384 || old_fntype
== TREE_TYPE (origin
->decl
))
1385 gimple_call_set_fntype (new_stmt
, TREE_TYPE (e
->callee
->decl
));
1388 bitmap skip
= e
->callee
->clone
.combined_args_to_skip
;
1389 tree t
= cgraph_build_function_type_skip_args (old_fntype
, skip
,
1391 gimple_call_set_fntype (new_stmt
, t
);
1394 if (gimple_vdef (new_stmt
)
1395 && TREE_CODE (gimple_vdef (new_stmt
)) == SSA_NAME
)
1396 SSA_NAME_DEF_STMT (gimple_vdef (new_stmt
)) = new_stmt
;
1398 gsi
= gsi_for_stmt (e
->call_stmt
);
1400 /* For optimized away parameters, add on the caller side
1402 DEBUG D#X => parm_Y(D)
1403 stmts and associate D#X with parm in decl_debug_args_lookup
1404 vector to say for debug info that if parameter parm had been passed,
1405 it would have value parm_Y(D). */
1406 if (e
->callee
->clone
.combined_args_to_skip
&& MAY_HAVE_DEBUG_BIND_STMTS
)
1408 vec
<tree
, va_gc
> **debug_args
1409 = decl_debug_args_lookup (e
->callee
->decl
);
1410 tree old_decl
= gimple_call_fndecl (e
->call_stmt
);
1411 if (debug_args
&& old_decl
)
1414 unsigned i
= 0, num
;
1415 unsigned len
= vec_safe_length (*debug_args
);
1416 unsigned nargs
= gimple_call_num_args (e
->call_stmt
);
1417 for (parm
= DECL_ARGUMENTS (old_decl
), num
= 0;
1418 parm
&& num
< nargs
;
1419 parm
= DECL_CHAIN (parm
), num
++)
1420 if (bitmap_bit_p (e
->callee
->clone
.combined_args_to_skip
, num
)
1421 && is_gimple_reg (parm
))
1425 while (i
< len
&& (**debug_args
)[i
] != DECL_ORIGIN (parm
))
1431 && (**debug_args
)[i
] != DECL_ORIGIN (parm
))
1436 tree ddecl
= (**debug_args
)[i
+ 1];
1437 tree arg
= gimple_call_arg (e
->call_stmt
, num
);
1438 if (!useless_type_conversion_p (TREE_TYPE (ddecl
),
1442 if (!fold_convertible_p (TREE_TYPE (ddecl
), arg
))
1444 if (TREE_CODE (arg
) == SSA_NAME
1445 && gimple_assign_cast_p (SSA_NAME_DEF_STMT (arg
))
1447 = gimple_assign_rhs1 (SSA_NAME_DEF_STMT (arg
)))
1448 && useless_type_conversion_p (TREE_TYPE (ddecl
),
1452 arg
= fold_convert (TREE_TYPE (ddecl
), arg
);
1456 = gimple_build_debug_bind (ddecl
, unshare_expr (arg
),
1458 gsi_insert_before (&gsi
, def_temp
, GSI_SAME_STMT
);
1463 gsi_replace (&gsi
, new_stmt
, false);
1464 /* We need to defer cleaning EH info on the new statement to
1465 fixup-cfg. We may not have dominator information at this point
1466 and thus would end up with unreachable blocks and have no way
1467 to communicate that we need to run CFG cleanup then. */
1468 lp_nr
= lookup_stmt_eh_lp (e
->call_stmt
);
1471 remove_stmt_from_eh_lp (e
->call_stmt
);
1472 add_stmt_to_eh_lp (new_stmt
, lp_nr
);
1477 new_stmt
= e
->call_stmt
;
1478 gimple_call_set_fndecl (new_stmt
, e
->callee
->decl
);
1479 update_stmt_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
), new_stmt
);
1482 /* If changing the call to __cxa_pure_virtual or similar noreturn function,
1483 adjust gimple_call_fntype too. */
1484 if (gimple_call_noreturn_p (new_stmt
)
1485 && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (e
->callee
->decl
)))
1486 && TYPE_ARG_TYPES (TREE_TYPE (e
->callee
->decl
))
1487 && (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (e
->callee
->decl
)))
1489 gimple_call_set_fntype (new_stmt
, TREE_TYPE (e
->callee
->decl
));
1491 /* If the call becomes noreturn, remove the LHS if possible. */
1492 tree lhs
= gimple_call_lhs (new_stmt
);
1494 && gimple_call_noreturn_p (new_stmt
)
1495 && (VOID_TYPE_P (TREE_TYPE (gimple_call_fntype (new_stmt
)))
1496 || should_remove_lhs_p (lhs
)))
1498 if (TREE_CODE (lhs
) == SSA_NAME
)
1500 tree var
= create_tmp_reg_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
),
1501 TREE_TYPE (lhs
), NULL
);
1502 var
= get_or_create_ssa_default_def
1503 (DECL_STRUCT_FUNCTION (e
->caller
->decl
), var
);
1504 gimple
*set_stmt
= gimple_build_assign (lhs
, var
);
1505 gsi
= gsi_for_stmt (new_stmt
);
1506 gsi_insert_before_without_update (&gsi
, set_stmt
, GSI_SAME_STMT
);
1507 update_stmt_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
), set_stmt
);
1509 gimple_call_set_lhs (new_stmt
, NULL_TREE
);
1510 update_stmt_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
), new_stmt
);
1513 /* If new callee has no static chain, remove it. */
1514 if (gimple_call_chain (new_stmt
) && !DECL_STATIC_CHAIN (e
->callee
->decl
))
1516 gimple_call_set_chain (new_stmt
, NULL
);
1517 update_stmt_fn (DECL_STRUCT_FUNCTION (e
->caller
->decl
), new_stmt
);
1520 maybe_remove_unused_call_args (DECL_STRUCT_FUNCTION (e
->caller
->decl
),
1523 e
->caller
->set_call_stmt_including_clones (e
->call_stmt
, new_stmt
, false);
1525 if (symtab
->dump_file
)
1527 fprintf (symtab
->dump_file
, " updated to:");
1528 print_gimple_stmt (symtab
->dump_file
, e
->call_stmt
, 0, dump_flags
);
1533 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1534 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
1535 of OLD_STMT if it was previously call statement.
1536 If NEW_STMT is NULL, the call has been dropped without any
1540 cgraph_update_edges_for_call_stmt_node (cgraph_node
*node
,
1541 gimple
*old_stmt
, tree old_call
,
1544 tree new_call
= (new_stmt
&& is_gimple_call (new_stmt
))
1545 ? gimple_call_fndecl (new_stmt
) : 0;
1547 /* We are seeing indirect calls, then there is nothing to update. */
1548 if (!new_call
&& !old_call
)
1550 /* See if we turned indirect call into direct call or folded call to one builtin
1551 into different builtin. */
1552 if (old_call
!= new_call
)
1554 cgraph_edge
*e
= node
->get_edge (old_stmt
);
1555 cgraph_edge
*ne
= NULL
;
1556 profile_count count
;
1560 /* Keep calls marked as dead dead. */
1561 if (new_stmt
&& is_gimple_call (new_stmt
) && e
->callee
1562 && DECL_BUILT_IN_CLASS (e
->callee
->decl
) == BUILT_IN_NORMAL
1563 && DECL_FUNCTION_CODE (e
->callee
->decl
) == BUILT_IN_UNREACHABLE
)
1565 node
->get_edge (old_stmt
)->set_call_stmt
1566 (as_a
<gcall
*> (new_stmt
));
1569 /* See if the edge is already there and has the correct callee. It
1570 might be so because of indirect inlining has already updated
1571 it. We also might've cloned and redirected the edge. */
1572 if (new_call
&& e
->callee
)
1574 cgraph_node
*callee
= e
->callee
;
1577 if (callee
->decl
== new_call
1578 || callee
->former_clone_of
== new_call
)
1580 e
->set_call_stmt (as_a
<gcall
*> (new_stmt
));
1583 callee
= callee
->clone_of
;
1587 /* Otherwise remove edge and create new one; we can't simply redirect
1588 since function has changed, so inline plan and other information
1589 attached to edge is invalid. */
1591 if (e
->indirect_unknown_callee
|| e
->inline_failed
)
1594 e
->callee
->remove_symbol_and_inline_clones ();
1598 /* We are seeing new direct call; compute profile info based on BB. */
1599 basic_block bb
= gimple_bb (new_stmt
);
1605 ne
= node
->create_edge (cgraph_node::get_create (new_call
),
1606 as_a
<gcall
*> (new_stmt
), count
);
1607 gcc_assert (ne
->inline_failed
);
1610 /* We only updated the call stmt; update pointer in cgraph edge.. */
1611 else if (old_stmt
!= new_stmt
)
1612 node
->get_edge (old_stmt
)->set_call_stmt (as_a
<gcall
*> (new_stmt
));
1615 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1616 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1617 of OLD_STMT before it was updated (updating can happen inplace). */
1620 cgraph_update_edges_for_call_stmt (gimple
*old_stmt
, tree old_decl
,
1623 cgraph_node
*orig
= cgraph_node::get (cfun
->decl
);
1626 gcc_checking_assert (orig
);
1627 cgraph_update_edges_for_call_stmt_node (orig
, old_stmt
, old_decl
, new_stmt
);
1629 for (node
= orig
->clones
; node
!= orig
;)
1631 cgraph_update_edges_for_call_stmt_node (node
, old_stmt
, old_decl
, new_stmt
);
1633 node
= node
->clones
;
1634 else if (node
->next_sibling_clone
)
1635 node
= node
->next_sibling_clone
;
1638 while (node
!= orig
&& !node
->next_sibling_clone
)
1639 node
= node
->clone_of
;
1641 node
= node
->next_sibling_clone
;
1647 /* Remove all callees from the node. */
1650 cgraph_node::remove_callees (void)
1654 /* It is sufficient to remove the edges from the lists of callers of
1655 the callees. The callee list of the node can be zapped with one
1657 for (e
= callees
; e
; e
= f
)
1660 symtab
->call_edge_removal_hooks (e
);
1661 if (!e
->indirect_unknown_callee
)
1662 e
->remove_callee ();
1663 symtab
->free_edge (e
);
1665 for (e
= indirect_calls
; e
; e
= f
)
1668 symtab
->call_edge_removal_hooks (e
);
1669 if (!e
->indirect_unknown_callee
)
1670 e
->remove_callee ();
1671 symtab
->free_edge (e
);
1673 indirect_calls
= NULL
;
1677 call_site_hash
->empty ();
1678 call_site_hash
= NULL
;
1682 /* Remove all callers from the node. */
1685 cgraph_node::remove_callers (void)
1689 /* It is sufficient to remove the edges from the lists of callees of
1690 the callers. The caller list of the node can be zapped with one
1692 for (e
= callers
; e
; e
= f
)
1695 symtab
->call_edge_removal_hooks (e
);
1696 e
->remove_caller ();
1697 symtab
->free_edge (e
);
1702 /* Helper function for cgraph_release_function_body and free_lang_data.
1703 It releases body from function DECL without having to inspect its
1704 possibly non-existent symtab node. */
1707 release_function_body (tree decl
)
1709 function
*fn
= DECL_STRUCT_FUNCTION (decl
);
1713 && loops_for_fn (fn
))
1715 fn
->curr_properties
&= ~PROP_loops
;
1716 loop_optimizer_finalize (fn
);
1720 delete_tree_ssa (fn
);
1725 gcc_assert (!dom_info_available_p (fn
, CDI_DOMINATORS
));
1726 gcc_assert (!dom_info_available_p (fn
, CDI_POST_DOMINATORS
));
1727 delete_tree_cfg_annotations (fn
);
1731 if (fn
->value_histograms
)
1732 free_histograms (fn
);
1733 gimple_set_body (decl
, NULL
);
1734 /* Struct function hangs a lot of data that would leak if we didn't
1735 removed all pointers to it. */
1737 DECL_STRUCT_FUNCTION (decl
) = NULL
;
1739 DECL_SAVED_TREE (decl
) = NULL
;
1742 /* Release memory used to represent body of function.
1743 Use this only for functions that are released before being translated to
1744 target code (i.e. RTL). Functions that are compiled to RTL and beyond
1745 are free'd in final.c via free_after_compilation().
1746 KEEP_ARGUMENTS are useful only if you want to rebuild body as thunk. */
1749 cgraph_node::release_body (bool keep_arguments
)
1751 ipa_transforms_to_apply
.release ();
1752 if (!used_as_abstract_origin
&& symtab
->state
!= PARSING
)
1754 DECL_RESULT (decl
) = NULL
;
1756 if (!keep_arguments
)
1757 DECL_ARGUMENTS (decl
) = NULL
;
1759 /* If the node is abstract and needed, then do not clear
1760 DECL_INITIAL of its associated function declaration because it's
1761 needed to emit debug info later. */
1762 if (!used_as_abstract_origin
&& DECL_INITIAL (decl
))
1763 DECL_INITIAL (decl
) = error_mark_node
;
1764 release_function_body (decl
);
1767 lto_free_function_in_decl_state_for_node (this);
1768 lto_file_data
= NULL
;
1772 /* Remove function from symbol table. */
1775 cgraph_node::remove (void)
1779 if (symtab
->ipa_clones_dump_file
&& symtab
->cloned_nodes
.contains (this))
1780 fprintf (symtab
->ipa_clones_dump_file
,
1781 "Callgraph removal;%s;%d;%s;%d;%d\n", asm_name (), order
,
1782 DECL_SOURCE_FILE (decl
), DECL_SOURCE_LINE (decl
),
1783 DECL_SOURCE_COLUMN (decl
));
1785 symtab
->call_cgraph_removal_hooks (this);
1788 ipa_transforms_to_apply
.release ();
1789 delete_function_version (function_version ());
1791 /* Incremental inlining access removed nodes stored in the postorder list.
1793 force_output
= false;
1794 forced_by_abi
= false;
1795 for (n
= nested
; n
; n
= n
->next_nested
)
1800 cgraph_node
**node2
= &origin
->nested
;
1802 while (*node2
!= this)
1803 node2
= &(*node2
)->next_nested
;
1804 *node2
= next_nested
;
1807 if (prev_sibling_clone
)
1808 prev_sibling_clone
->next_sibling_clone
= next_sibling_clone
;
1810 clone_of
->clones
= next_sibling_clone
;
1811 if (next_sibling_clone
)
1812 next_sibling_clone
->prev_sibling_clone
= prev_sibling_clone
;
1815 cgraph_node
*n
, *next
;
1819 for (n
= clones
; n
->next_sibling_clone
; n
= n
->next_sibling_clone
)
1820 n
->clone_of
= clone_of
;
1821 n
->clone_of
= clone_of
;
1822 n
->next_sibling_clone
= clone_of
->clones
;
1823 if (clone_of
->clones
)
1824 clone_of
->clones
->prev_sibling_clone
= n
;
1825 clone_of
->clones
= clones
;
1829 /* We are removing node with clones. This makes clones inconsistent,
1830 but assume they will be removed subsequently and just keep clone
1831 tree intact. This can happen in unreachable function removal since
1832 we remove unreachable functions in random order, not by bottom-up
1833 walk of clone trees. */
1834 for (n
= clones
; n
; n
= next
)
1836 next
= n
->next_sibling_clone
;
1837 n
->next_sibling_clone
= NULL
;
1838 n
->prev_sibling_clone
= NULL
;
1844 /* While all the clones are removed after being proceeded, the function
1845 itself is kept in the cgraph even after it is compiled. Check whether
1846 we are done with this body and reclaim it proactively if this is the case.
1848 if (symtab
->state
!= LTO_STREAMING
)
1850 n
= cgraph_node::get (decl
);
1852 || (!n
->clones
&& !n
->clone_of
&& !n
->global
.inlined_to
1853 && ((symtab
->global_info_ready
|| in_lto_p
)
1854 && (TREE_ASM_WRITTEN (n
->decl
)
1855 || DECL_EXTERNAL (n
->decl
)
1857 || (!flag_wpa
&& n
->in_other_partition
)))))
1862 lto_free_function_in_decl_state_for_node (this);
1863 lto_file_data
= NULL
;
1869 call_site_hash
->empty ();
1870 call_site_hash
= NULL
;
1873 symtab
->release_symbol (this);
1876 /* Likewise indicate that a node is having address taken. */
1879 cgraph_node::mark_address_taken (void)
1881 /* Indirect inlining can figure out that all uses of the address are
1883 if (global
.inlined_to
)
1885 gcc_assert (cfun
->after_inlining
);
1886 gcc_assert (callers
->indirect_inlining_edge
);
1889 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1890 IPA_REF_ADDR reference exists (and thus it should be set on node
1891 representing alias we take address of) and as a test whether address
1892 of the object was taken (and thus it should be set on node alias is
1893 referring to). We should remove the first use and the remove the
1896 cgraph_node
*node
= ultimate_alias_target ();
1897 node
->address_taken
= 1;
1900 /* Return local info for the compiled function. */
1903 cgraph_node::local_info (tree decl
)
1905 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1906 cgraph_node
*node
= get (decl
);
1909 return &node
->ultimate_alias_target ()->local
;
1912 /* Return local info for the compiled function. */
1915 cgraph_node::rtl_info (tree decl
)
1917 gcc_assert (TREE_CODE (decl
) == FUNCTION_DECL
);
1918 cgraph_node
*node
= get (decl
);
1921 enum availability avail
;
1922 node
= node
->ultimate_alias_target (&avail
);
1923 if (decl
!= current_function_decl
1924 && (avail
< AVAIL_AVAILABLE
1925 || (node
->decl
!= current_function_decl
1926 && !TREE_ASM_WRITTEN (node
->decl
))))
1928 /* Allocate if it doesn't exist. */
1929 if (node
->rtl
== NULL
)
1930 node
->rtl
= ggc_cleared_alloc
<cgraph_rtl_info
> ();
1934 /* Return a string describing the failure REASON. */
1937 cgraph_inline_failed_string (cgraph_inline_failed_t reason
)
1940 #define DEFCIFCODE(code, type, string) string,
1942 static const char *cif_string_table
[CIF_N_REASONS
] = {
1943 #include "cif-code.def"
1946 /* Signedness of an enum type is implementation defined, so cast it
1947 to unsigned before testing. */
1948 gcc_assert ((unsigned) reason
< CIF_N_REASONS
);
1949 return cif_string_table
[reason
];
1952 /* Return a type describing the failure REASON. */
1954 cgraph_inline_failed_type_t
1955 cgraph_inline_failed_type (cgraph_inline_failed_t reason
)
1958 #define DEFCIFCODE(code, type, string) type,
1960 static cgraph_inline_failed_type_t cif_type_table
[CIF_N_REASONS
] = {
1961 #include "cif-code.def"
1964 /* Signedness of an enum type is implementation defined, so cast it
1965 to unsigned before testing. */
1966 gcc_assert ((unsigned) reason
< CIF_N_REASONS
);
1967 return cif_type_table
[reason
];
1970 /* Names used to print out the availability enum. */
1971 const char * const cgraph_availability_names
[] =
1972 {"unset", "not_available", "overwritable", "available", "local"};
1974 /* Output flags of edge to a file F. */
1977 cgraph_edge::dump_edge_flags (FILE *f
)
1980 fprintf (f
, "(speculative) ");
1982 fprintf (f
, "(inlined) ");
1983 if (call_stmt_cannot_inline_p
)
1984 fprintf (f
, "(call_stmt_cannot_inline_p) ");
1985 if (indirect_inlining_edge
)
1986 fprintf (f
, "(indirect_inlining) ");
1987 if (count
.initialized_p ())
1992 fprintf (f
, "%.2f per call) ", sreal_frequency ().to_double ());
1994 if (can_throw_external
)
1995 fprintf (f
, "(can throw external) ");
1998 /* Dump call graph node to file F. */
2001 cgraph_node::dump (FILE *f
)
2007 if (global
.inlined_to
)
2008 fprintf (f
, " Function %s is inline copy in %s\n",
2010 global
.inlined_to
->dump_name ());
2012 fprintf (f
, " Clone of %s\n", clone_of
->dump_asm_name ());
2013 if (symtab
->function_flags_ready
)
2014 fprintf (f
, " Availability: %s\n",
2015 cgraph_availability_names
[get_availability ()]);
2018 fprintf (f
, " Profile id: %i\n",
2020 fprintf (f
, " First run: %i\n", tp_first_run
);
2021 cgraph_function_version_info
*vi
= function_version ();
2024 fprintf (f
, " Version info: ");
2025 if (vi
->prev
!= NULL
)
2027 fprintf (f
, "prev: ");
2028 fprintf (f
, "%s ", vi
->prev
->this_node
->dump_asm_name ());
2030 if (vi
->next
!= NULL
)
2032 fprintf (f
, "next: ");
2033 fprintf (f
, "%s ", vi
->next
->this_node
->dump_asm_name ());
2035 if (vi
->dispatcher_resolver
!= NULL_TREE
)
2036 fprintf (f
, "dispatcher: %s",
2037 lang_hooks
.decl_printable_name (vi
->dispatcher_resolver
, 2));
2041 fprintf (f
, " Function flags:");
2042 if (count
.initialized_p ())
2044 fprintf (f
, " count: ");
2048 fprintf (f
, " nested in: %s", origin
->asm_name ());
2049 if (gimple_has_body_p (decl
))
2050 fprintf (f
, " body");
2052 fprintf (f
, " process");
2054 fprintf (f
, " local");
2055 if (local
.redefined_extern_inline
)
2056 fprintf (f
, " redefined_extern_inline");
2057 if (only_called_at_startup
)
2058 fprintf (f
, " only_called_at_startup");
2059 if (only_called_at_exit
)
2060 fprintf (f
, " only_called_at_exit");
2062 fprintf (f
, " tm_clone");
2063 if (calls_comdat_local
)
2064 fprintf (f
, " calls_comdat_local");
2066 fprintf (f
, " icf_merged");
2068 fprintf (f
, " merged_comdat");
2070 fprintf (f
, " split_part");
2071 if (indirect_call_target
)
2072 fprintf (f
, " indirect_call_target");
2074 fprintf (f
, " nonfreeing_fn");
2075 if (DECL_STATIC_CONSTRUCTOR (decl
))
2076 fprintf (f
," static_constructor (priority:%i)", get_init_priority ());
2077 if (DECL_STATIC_DESTRUCTOR (decl
))
2078 fprintf (f
," static_destructor (priority:%i)", get_fini_priority ());
2079 if (frequency
== NODE_FREQUENCY_HOT
)
2080 fprintf (f
, " hot");
2081 if (frequency
== NODE_FREQUENCY_UNLIKELY_EXECUTED
)
2082 fprintf (f
, " unlikely_executed");
2083 if (frequency
== NODE_FREQUENCY_EXECUTED_ONCE
)
2084 fprintf (f
, " executed_once");
2085 if (only_called_at_startup
)
2086 fprintf (f
, " only_called_at_startup");
2087 if (only_called_at_exit
)
2088 fprintf (f
, " only_called_at_exit");
2089 if (opt_for_fn (decl
, optimize_size
))
2090 fprintf (f
, " optimize_size");
2091 if (parallelized_function
)
2092 fprintf (f
, " parallelized_function");
2098 fprintf (f
, " Thunk");
2100 fprintf (f
, " of %s (asm: %s)",
2101 lang_hooks
.decl_printable_name (thunk
.alias
, 2),
2102 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk
.alias
)));
2103 fprintf (f
, " fixed offset %i virtual value %i has "
2104 "virtual offset %i)\n",
2105 (int)thunk
.fixed_offset
,
2106 (int)thunk
.virtual_value
,
2107 (int)thunk
.virtual_offset_p
);
2109 if (alias
&& thunk
.alias
2110 && DECL_P (thunk
.alias
))
2112 fprintf (f
, " Alias of %s",
2113 lang_hooks
.decl_printable_name (thunk
.alias
, 2));
2114 if (DECL_ASSEMBLER_NAME_SET_P (thunk
.alias
))
2115 fprintf (f
, " (asm: %s)",
2116 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk
.alias
)));
2120 fprintf (f
, " Called by: ");
2122 profile_count sum
= profile_count::zero ();
2123 for (edge
= callers
; edge
; edge
= edge
->next_caller
)
2125 fprintf (f
, "%s ", edge
->caller
->dump_name ());
2126 edge
->dump_edge_flags (f
);
2127 if (edge
->count
.initialized_p ())
2128 sum
+= edge
->count
.ipa ();
2131 fprintf (f
, "\n Calls: ");
2132 for (edge
= callees
; edge
; edge
= edge
->next_callee
)
2134 fprintf (f
, "%s ", edge
->callee
->dump_name ());
2135 edge
->dump_edge_flags (f
);
2139 if (count
.ipa ().initialized_p ())
2145 FOR_EACH_ALIAS (this, ref
)
2146 if (dyn_cast
<cgraph_node
*> (ref
->referring
)->count
.initialized_p ())
2147 sum
+= dyn_cast
<cgraph_node
*> (ref
->referring
)->count
.ipa ();
2149 if (global
.inlined_to
2150 || (symtab
->state
< EXPANSION
2151 && ultimate_alias_target () == this && only_called_directly_p ()))
2152 ok
= !count
.ipa ().differs_from_p (sum
);
2153 else if (count
.ipa () > profile_count::from_gcov_type (100)
2154 && count
.ipa () < sum
.apply_scale (99, 100))
2155 ok
= false, min
= true;
2158 fprintf (f
, " Invalid sum of caller counts ");
2161 fprintf (f
, ", should be at most ");
2163 fprintf (f
, ", should be ");
2164 count
.ipa ().dump (f
);
2169 for (edge
= indirect_calls
; edge
; edge
= edge
->next_callee
)
2171 if (edge
->indirect_info
->polymorphic
)
2173 fprintf (f
, " Polymorphic indirect call of type ");
2174 print_generic_expr (f
, edge
->indirect_info
->otr_type
, TDF_SLIM
);
2175 fprintf (f
, " token:%i", (int) edge
->indirect_info
->otr_token
);
2178 fprintf (f
, " Indirect call");
2179 edge
->dump_edge_flags (f
);
2180 if (edge
->indirect_info
->param_index
!= -1)
2182 fprintf (f
, " of param:%i", edge
->indirect_info
->param_index
);
2183 if (edge
->indirect_info
->agg_contents
)
2184 fprintf (f
, " loaded from %s %s at offset %i",
2185 edge
->indirect_info
->member_ptr
? "member ptr" : "aggregate",
2186 edge
->indirect_info
->by_ref
? "passed by reference":"",
2187 (int)edge
->indirect_info
->offset
);
2188 if (edge
->indirect_info
->vptr_changed
)
2189 fprintf (f
, " (vptr maybe changed)");
2192 if (edge
->indirect_info
->polymorphic
)
2193 edge
->indirect_info
->context
.dump (f
);
2197 /* Dump call graph node NODE to stderr. */
2200 cgraph_node::debug (void)
2205 /* Dump the callgraph to file F. */
2208 cgraph_node::dump_cgraph (FILE *f
)
2212 fprintf (f
, "callgraph:\n\n");
2213 FOR_EACH_FUNCTION (node
)
2217 /* Return true when the DECL can possibly be inlined. */
2220 cgraph_function_possibly_inlined_p (tree decl
)
2222 if (!symtab
->global_info_ready
)
2223 return !DECL_UNINLINABLE (decl
);
2224 return DECL_POSSIBLY_INLINED (decl
);
2227 /* cgraph_node is no longer nested function; update cgraph accordingly. */
2229 cgraph_node::unnest (void)
2231 cgraph_node
**node2
= &origin
->nested
;
2232 gcc_assert (origin
);
2234 while (*node2
!= this)
2235 node2
= &(*node2
)->next_nested
;
2236 *node2
= next_nested
;
2240 /* Return function availability. See cgraph.h for description of individual
2243 cgraph_node::get_availability (symtab_node
*ref
)
2247 cgraph_node
*cref
= dyn_cast
<cgraph_node
*> (ref
);
2249 ref
= cref
->global
.inlined_to
;
2251 enum availability avail
;
2253 avail
= AVAIL_NOT_AVAILABLE
;
2254 else if (local
.local
)
2255 avail
= AVAIL_LOCAL
;
2256 else if (global
.inlined_to
)
2257 avail
= AVAIL_AVAILABLE
;
2258 else if (transparent_alias
)
2259 ultimate_alias_target (&avail
, ref
);
2260 else if (ifunc_resolver
2261 || lookup_attribute ("noipa", DECL_ATTRIBUTES (decl
)))
2262 avail
= AVAIL_INTERPOSABLE
;
2263 else if (!externally_visible
)
2264 avail
= AVAIL_AVAILABLE
;
2265 /* If this is a reference from symbol itself and there are no aliases, we
2266 may be sure that the symbol was not interposed by something else because
2267 the symbol itself would be unreachable otherwise.
2269 Also comdat groups are always resolved in groups. */
2270 else if ((this == ref
&& !has_aliases_p ())
2271 || (ref
&& get_comdat_group ()
2272 && get_comdat_group () == ref
->get_comdat_group ()))
2273 avail
= AVAIL_AVAILABLE
;
2274 /* Inline functions are safe to be analyzed even if their symbol can
2275 be overwritten at runtime. It is not meaningful to enforce any sane
2276 behavior on replacing inline function by different body. */
2277 else if (DECL_DECLARED_INLINE_P (decl
))
2278 avail
= AVAIL_AVAILABLE
;
2280 /* If the function can be overwritten, return OVERWRITABLE. Take
2281 care at least of two notable extensions - the COMDAT functions
2282 used to share template instantiations in C++ (this is symmetric
2283 to code cp_cannot_inline_tree_fn and probably shall be shared and
2284 the inlinability hooks completely eliminated). */
2286 else if (decl_replaceable_p (decl
) && !DECL_EXTERNAL (decl
))
2287 avail
= AVAIL_INTERPOSABLE
;
2288 else avail
= AVAIL_AVAILABLE
;
2293 /* Worker for cgraph_node_can_be_local_p. */
2295 cgraph_node_cannot_be_local_p_1 (cgraph_node
*node
, void *)
2297 return !(!node
->force_output
2298 && ((DECL_COMDAT (node
->decl
)
2299 && !node
->forced_by_abi
2300 && !node
->used_from_object_file_p ()
2301 && !node
->same_comdat_group
)
2302 || !node
->externally_visible
));
2305 /* Return true if cgraph_node can be made local for API change.
2306 Extern inline functions and C++ COMDAT functions can be made local
2307 at the expense of possible code size growth if function is used in multiple
2308 compilation units. */
2310 cgraph_node::can_be_local_p (void)
2312 return (!address_taken
2313 && !call_for_symbol_thunks_and_aliases (cgraph_node_cannot_be_local_p_1
,
2317 /* Call callback on cgraph_node, thunks and aliases associated to cgraph_node.
2318 When INCLUDE_OVERWRITABLE is false, overwritable symbols are
2319 skipped. When EXCLUDE_VIRTUAL_THUNKS is true, virtual thunks are
2322 cgraph_node::call_for_symbol_thunks_and_aliases (bool (*callback
)
2323 (cgraph_node
*, void *),
2325 bool include_overwritable
,
2326 bool exclude_virtual_thunks
)
2330 enum availability avail
= AVAIL_AVAILABLE
;
2332 if (include_overwritable
2333 || (avail
= get_availability ()) > AVAIL_INTERPOSABLE
)
2335 if (callback (this, data
))
2338 FOR_EACH_ALIAS (this, ref
)
2340 cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
2341 if (include_overwritable
2342 || alias
->get_availability () > AVAIL_INTERPOSABLE
)
2343 if (alias
->call_for_symbol_thunks_and_aliases (callback
, data
,
2344 include_overwritable
,
2345 exclude_virtual_thunks
))
2348 if (avail
<= AVAIL_INTERPOSABLE
)
2350 for (e
= callers
; e
; e
= e
->next_caller
)
2351 if (e
->caller
->thunk
.thunk_p
2352 && (include_overwritable
2353 || e
->caller
->get_availability () > AVAIL_INTERPOSABLE
)
2354 && !(exclude_virtual_thunks
2355 && e
->caller
->thunk
.virtual_offset_p
))
2356 if (e
->caller
->call_for_symbol_thunks_and_aliases (callback
, data
,
2357 include_overwritable
,
2358 exclude_virtual_thunks
))
2364 /* Worker to bring NODE local. */
2367 cgraph_node::make_local (cgraph_node
*node
, void *)
2369 gcc_checking_assert (node
->can_be_local_p ());
2370 if (DECL_COMDAT (node
->decl
) || DECL_EXTERNAL (node
->decl
))
2372 node
->make_decl_local ();
2373 node
->set_section (NULL
);
2374 node
->set_comdat_group (NULL
);
2375 node
->externally_visible
= false;
2376 node
->forced_by_abi
= false;
2377 node
->local
.local
= true;
2378 node
->set_section (NULL
);
2379 node
->unique_name
= ((node
->resolution
== LDPR_PREVAILING_DEF_IRONLY
2380 || node
->resolution
== LDPR_PREVAILING_DEF_IRONLY_EXP
)
2381 && !flag_incremental_link
);
2382 node
->resolution
= LDPR_PREVAILING_DEF_IRONLY
;
2383 gcc_assert (node
->get_availability () == AVAIL_LOCAL
);
2388 /* Bring cgraph node local. */
2391 cgraph_node::make_local (void)
2393 call_for_symbol_thunks_and_aliases (cgraph_node::make_local
, NULL
, true);
2396 /* Worker to set nothrow flag. */
2399 set_nothrow_flag_1 (cgraph_node
*node
, bool nothrow
, bool non_call
,
2404 if (nothrow
&& !TREE_NOTHROW (node
->decl
))
2406 /* With non-call exceptions we can't say for sure if other function body
2407 was not possibly optimized to stil throw. */
2408 if (!non_call
|| node
->binds_to_current_def_p ())
2410 TREE_NOTHROW (node
->decl
) = true;
2412 for (e
= node
->callers
; e
; e
= e
->next_caller
)
2413 e
->can_throw_external
= false;
2416 else if (!nothrow
&& TREE_NOTHROW (node
->decl
))
2418 TREE_NOTHROW (node
->decl
) = false;
2422 FOR_EACH_ALIAS (node
, ref
)
2424 cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
2425 if (!nothrow
|| alias
->get_availability () > AVAIL_INTERPOSABLE
)
2426 set_nothrow_flag_1 (alias
, nothrow
, non_call
, changed
);
2428 for (cgraph_edge
*e
= node
->callers
; e
; e
= e
->next_caller
)
2429 if (e
->caller
->thunk
.thunk_p
2430 && (!nothrow
|| e
->caller
->get_availability () > AVAIL_INTERPOSABLE
))
2431 set_nothrow_flag_1 (e
->caller
, nothrow
, non_call
, changed
);
2434 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
2435 if any to NOTHROW. */
2438 cgraph_node::set_nothrow_flag (bool nothrow
)
2440 bool changed
= false;
2441 bool non_call
= opt_for_fn (decl
, flag_non_call_exceptions
);
2443 if (!nothrow
|| get_availability () > AVAIL_INTERPOSABLE
)
2444 set_nothrow_flag_1 (this, nothrow
, non_call
, &changed
);
2449 FOR_EACH_ALIAS (this, ref
)
2451 cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
2452 if (!nothrow
|| alias
->get_availability () > AVAIL_INTERPOSABLE
)
2453 set_nothrow_flag_1 (alias
, nothrow
, non_call
, &changed
);
2459 /* Worker to set malloc flag. */
2461 set_malloc_flag_1 (cgraph_node
*node
, bool malloc_p
, bool *changed
)
2463 if (malloc_p
&& !DECL_IS_MALLOC (node
->decl
))
2465 DECL_IS_MALLOC (node
->decl
) = true;
2470 FOR_EACH_ALIAS (node
, ref
)
2472 cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
2473 if (!malloc_p
|| alias
->get_availability () > AVAIL_INTERPOSABLE
)
2474 set_malloc_flag_1 (alias
, malloc_p
, changed
);
2477 for (cgraph_edge
*e
= node
->callers
; e
; e
= e
->next_caller
)
2478 if (e
->caller
->thunk
.thunk_p
2479 && (!malloc_p
|| e
->caller
->get_availability () > AVAIL_INTERPOSABLE
))
2480 set_malloc_flag_1 (e
->caller
, malloc_p
, changed
);
2483 /* Set DECL_IS_MALLOC on NODE's decl and on NODE's aliases if any. */
2486 cgraph_node::set_malloc_flag (bool malloc_p
)
2488 bool changed
= false;
2490 if (!malloc_p
|| get_availability () > AVAIL_INTERPOSABLE
)
2491 set_malloc_flag_1 (this, malloc_p
, &changed
);
2496 FOR_EACH_ALIAS (this, ref
)
2498 cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
2499 if (!malloc_p
|| alias
->get_availability () > AVAIL_INTERPOSABLE
)
2500 set_malloc_flag_1 (alias
, malloc_p
, &changed
);
2506 /* Worker to set_const_flag. */
2509 set_const_flag_1 (cgraph_node
*node
, bool set_const
, bool looping
,
2512 /* Static constructors and destructors without a side effect can be
2514 if (set_const
&& !looping
)
2516 if (DECL_STATIC_CONSTRUCTOR (node
->decl
))
2518 DECL_STATIC_CONSTRUCTOR (node
->decl
) = 0;
2521 if (DECL_STATIC_DESTRUCTOR (node
->decl
))
2523 DECL_STATIC_DESTRUCTOR (node
->decl
) = 0;
2529 if (TREE_READONLY (node
->decl
))
2531 TREE_READONLY (node
->decl
) = 0;
2532 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = false;
2538 /* Consider function:
2545 During early optimization we will turn this into:
2552 Now if this function will be detected as CONST however when interposed
2553 it may end up being just pure. We always must assume the worst
2555 if (TREE_READONLY (node
->decl
))
2557 if (!looping
&& DECL_LOOPING_CONST_OR_PURE_P (node
->decl
))
2559 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = false;
2563 else if (node
->binds_to_current_def_p ())
2565 TREE_READONLY (node
->decl
) = true;
2566 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = looping
;
2567 DECL_PURE_P (node
->decl
) = false;
2572 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
2573 fprintf (dump_file
, "Dropping state to PURE because function does "
2574 "not bind to current def.\n");
2575 if (!DECL_PURE_P (node
->decl
))
2577 DECL_PURE_P (node
->decl
) = true;
2578 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = looping
;
2581 else if (!looping
&& DECL_LOOPING_CONST_OR_PURE_P (node
->decl
))
2583 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = false;
2590 FOR_EACH_ALIAS (node
, ref
)
2592 cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
2593 if (!set_const
|| alias
->get_availability () > AVAIL_INTERPOSABLE
)
2594 set_const_flag_1 (alias
, set_const
, looping
, changed
);
2596 for (cgraph_edge
*e
= node
->callers
; e
; e
= e
->next_caller
)
2597 if (e
->caller
->thunk
.thunk_p
2598 && (!set_const
|| e
->caller
->get_availability () > AVAIL_INTERPOSABLE
))
2600 /* Virtual thunks access virtual offset in the vtable, so they can
2601 only be pure, never const. */
2603 && (e
->caller
->thunk
.virtual_offset_p
2604 || !node
->binds_to_current_def_p (e
->caller
)))
2605 *changed
|= e
->caller
->set_pure_flag (true, looping
);
2607 set_const_flag_1 (e
->caller
, set_const
, looping
, changed
);
2611 /* If SET_CONST is true, mark function, aliases and thunks to be ECF_CONST.
2612 If SET_CONST if false, clear the flag.
2614 When setting the flag be careful about possible interposition and
2615 do not set the flag for functions that can be interposet and set pure
2616 flag for functions that can bind to other definition.
2618 Return true if any change was done. */
2621 cgraph_node::set_const_flag (bool set_const
, bool looping
)
2623 bool changed
= false;
2624 if (!set_const
|| get_availability () > AVAIL_INTERPOSABLE
)
2625 set_const_flag_1 (this, set_const
, looping
, &changed
);
2630 FOR_EACH_ALIAS (this, ref
)
2632 cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
2633 if (!set_const
|| alias
->get_availability () > AVAIL_INTERPOSABLE
)
2634 set_const_flag_1 (alias
, set_const
, looping
, &changed
);
2640 /* Info used by set_pure_flag_1. */
2642 struct set_pure_flag_info
2649 /* Worker to set_pure_flag. */
2652 set_pure_flag_1 (cgraph_node
*node
, void *data
)
2654 struct set_pure_flag_info
*info
= (struct set_pure_flag_info
*)data
;
2655 /* Static constructors and destructors without a side effect can be
2657 if (info
->pure
&& !info
->looping
)
2659 if (DECL_STATIC_CONSTRUCTOR (node
->decl
))
2661 DECL_STATIC_CONSTRUCTOR (node
->decl
) = 0;
2662 info
->changed
= true;
2664 if (DECL_STATIC_DESTRUCTOR (node
->decl
))
2666 DECL_STATIC_DESTRUCTOR (node
->decl
) = 0;
2667 info
->changed
= true;
2672 if (!DECL_PURE_P (node
->decl
) && !TREE_READONLY (node
->decl
))
2674 DECL_PURE_P (node
->decl
) = true;
2675 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = info
->looping
;
2676 info
->changed
= true;
2678 else if (DECL_LOOPING_CONST_OR_PURE_P (node
->decl
)
2681 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = false;
2682 info
->changed
= true;
2687 if (DECL_PURE_P (node
->decl
))
2689 DECL_PURE_P (node
->decl
) = false;
2690 DECL_LOOPING_CONST_OR_PURE_P (node
->decl
) = false;
2691 info
->changed
= true;
2697 /* Set DECL_PURE_P on cgraph_node's decl and on aliases of the node
2700 When setting the flag, be careful about possible interposition.
2701 Return true if any change was done. */
2704 cgraph_node::set_pure_flag (bool pure
, bool looping
)
2706 struct set_pure_flag_info info
= {pure
, looping
, false};
2709 call_for_symbol_thunks_and_aliases (set_pure_flag_1
, &info
, !pure
, true);
2710 return info
.changed
;
2713 /* Return true when cgraph_node can not return or throw and thus
2714 it is safe to ignore its side effects for IPA analysis. */
2717 cgraph_node::cannot_return_p (void)
2719 int flags
= flags_from_decl_or_type (decl
);
2720 if (!opt_for_fn (decl
, flag_exceptions
))
2721 return (flags
& ECF_NORETURN
) != 0;
2723 return ((flags
& (ECF_NORETURN
| ECF_NOTHROW
))
2724 == (ECF_NORETURN
| ECF_NOTHROW
));
2727 /* Return true when call of edge can not lead to return from caller
2728 and thus it is safe to ignore its side effects for IPA analysis
2729 when computing side effects of the caller.
2730 FIXME: We could actually mark all edges that have no reaching
2731 patch to the exit block or throw to get better results. */
2733 cgraph_edge::cannot_lead_to_return_p (void)
2735 if (caller
->cannot_return_p ())
2737 if (indirect_unknown_callee
)
2739 int flags
= indirect_info
->ecf_flags
;
2740 if (!opt_for_fn (caller
->decl
, flag_exceptions
))
2741 return (flags
& ECF_NORETURN
) != 0;
2743 return ((flags
& (ECF_NORETURN
| ECF_NOTHROW
))
2744 == (ECF_NORETURN
| ECF_NOTHROW
));
2747 return callee
->cannot_return_p ();
2750 /* Return true if the call can be hot. */
2753 cgraph_edge::maybe_hot_p (void)
2755 if (!maybe_hot_count_p (NULL
, count
.ipa ()))
2757 if (caller
->frequency
== NODE_FREQUENCY_UNLIKELY_EXECUTED
2759 && callee
->frequency
== NODE_FREQUENCY_UNLIKELY_EXECUTED
))
2761 if (caller
->frequency
> NODE_FREQUENCY_UNLIKELY_EXECUTED
2763 && callee
->frequency
<= NODE_FREQUENCY_EXECUTED_ONCE
))
2765 if (opt_for_fn (caller
->decl
, optimize_size
))
2767 if (caller
->frequency
== NODE_FREQUENCY_HOT
)
2769 /* If profile is now known yet, be conservative.
2770 FIXME: this predicate is used by early inliner and can do better there. */
2771 if (symtab
->state
< IPA_SSA
)
2773 if (caller
->frequency
== NODE_FREQUENCY_EXECUTED_ONCE
2774 && sreal_frequency () * 2 < 3)
2776 if (PARAM_VALUE (HOT_BB_FREQUENCY_FRACTION
) == 0
2777 || sreal_frequency () * PARAM_VALUE (HOT_BB_FREQUENCY_FRACTION
) <= 1)
2782 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2785 nonremovable_p (cgraph_node
*node
, void *)
2787 return !node
->can_remove_if_no_direct_calls_and_refs_p ();
2790 /* Return true if whole comdat group can be removed if there are no direct
2794 cgraph_node::can_remove_if_no_direct_calls_p (bool will_inline
)
2796 struct ipa_ref
*ref
;
2798 /* For local symbols or non-comdat group it is the same as
2799 can_remove_if_no_direct_calls_p. */
2800 if (!externally_visible
|| !same_comdat_group
)
2802 if (DECL_EXTERNAL (decl
))
2806 return !call_for_symbol_and_aliases (nonremovable_p
, NULL
, true);
2809 if (will_inline
&& address_taken
)
2812 /* Otheriwse check if we can remove the symbol itself and then verify
2813 that only uses of the comdat groups are direct call to THIS
2815 if (!can_remove_if_no_direct_calls_and_refs_p ())
2818 /* Check that all refs come from within the comdat group. */
2819 for (int i
= 0; iterate_referring (i
, ref
); i
++)
2820 if (ref
->referring
->get_comdat_group () != get_comdat_group ())
2823 struct cgraph_node
*target
= ultimate_alias_target ();
2824 for (cgraph_node
*next
= dyn_cast
<cgraph_node
*> (same_comdat_group
);
2825 next
!= this; next
= dyn_cast
<cgraph_node
*> (next
->same_comdat_group
))
2827 if (!externally_visible
)
2830 && !next
->can_remove_if_no_direct_calls_and_refs_p ())
2833 /* If we see different symbol than THIS, be sure to check calls. */
2834 if (next
->ultimate_alias_target () != target
)
2835 for (cgraph_edge
*e
= next
->callers
; e
; e
= e
->next_caller
)
2836 if (e
->caller
->get_comdat_group () != get_comdat_group ()
2840 /* If function is not being inlined, we care only about
2841 references outside of the comdat group. */
2843 for (int i
= 0; next
->iterate_referring (i
, ref
); i
++)
2844 if (ref
->referring
->get_comdat_group () != get_comdat_group ())
2850 /* Return true when function cgraph_node can be expected to be removed
2851 from program when direct calls in this compilation unit are removed.
2853 As a special case COMDAT functions are
2854 cgraph_can_remove_if_no_direct_calls_p while the are not
2855 cgraph_only_called_directly_p (it is possible they are called from other
2858 This function behaves as cgraph_only_called_directly_p because eliminating
2859 all uses of COMDAT function does not make it necessarily disappear from
2860 the program unless we are compiling whole program or we do LTO. In this
2861 case we know we win since dynamic linking will not really discard the
2862 linkonce section. */
2865 cgraph_node::will_be_removed_from_program_if_no_direct_calls_p
2868 gcc_assert (!global
.inlined_to
);
2869 if (DECL_EXTERNAL (decl
))
2872 if (!in_lto_p
&& !flag_whole_program
)
2874 /* If the symbol is in comdat group, we need to verify that whole comdat
2875 group becomes unreachable. Technically we could skip references from
2876 within the group, too. */
2877 if (!only_called_directly_p ())
2879 if (same_comdat_group
&& externally_visible
)
2881 struct cgraph_node
*target
= ultimate_alias_target ();
2883 if (will_inline
&& address_taken
)
2885 for (cgraph_node
*next
= dyn_cast
<cgraph_node
*> (same_comdat_group
);
2887 next
= dyn_cast
<cgraph_node
*> (next
->same_comdat_group
))
2889 if (!externally_visible
)
2892 && !next
->only_called_directly_p ())
2895 /* If we see different symbol than THIS,
2896 be sure to check calls. */
2897 if (next
->ultimate_alias_target () != target
)
2898 for (cgraph_edge
*e
= next
->callers
; e
; e
= e
->next_caller
)
2899 if (e
->caller
->get_comdat_group () != get_comdat_group ()
2907 return can_remove_if_no_direct_calls_p (will_inline
);
2911 /* Worker for cgraph_only_called_directly_p. */
2914 cgraph_not_only_called_directly_p_1 (cgraph_node
*node
, void *)
2916 return !node
->only_called_directly_or_aliased_p ();
2919 /* Return true when function cgraph_node and all its aliases are only called
2921 i.e. it is not externally visible, address was not taken and
2922 it is not used in any other non-standard way. */
2925 cgraph_node::only_called_directly_p (void)
2927 gcc_assert (ultimate_alias_target () == this);
2928 return !call_for_symbol_and_aliases (cgraph_not_only_called_directly_p_1
,
2933 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
2936 collect_callers_of_node_1 (cgraph_node
*node
, void *data
)
2938 vec
<cgraph_edge
*> *redirect_callers
= (vec
<cgraph_edge
*> *)data
;
2940 enum availability avail
;
2941 node
->ultimate_alias_target (&avail
);
2943 if (avail
> AVAIL_INTERPOSABLE
)
2944 for (cs
= node
->callers
; cs
!= NULL
; cs
= cs
->next_caller
)
2945 if (!cs
->indirect_inlining_edge
2946 && !cs
->caller
->thunk
.thunk_p
)
2947 redirect_callers
->safe_push (cs
);
2951 /* Collect all callers of cgraph_node and its aliases that are known to lead to
2952 cgraph_node (i.e. are not overwritable). */
2955 cgraph_node::collect_callers (void)
2957 vec
<cgraph_edge
*> redirect_callers
= vNULL
;
2958 call_for_symbol_thunks_and_aliases (collect_callers_of_node_1
,
2959 &redirect_callers
, false);
2960 return redirect_callers
;
2963 /* Return TRUE if NODE2 a clone of NODE or is equivalent to it. */
2966 clone_of_p (cgraph_node
*node
, cgraph_node
*node2
)
2968 bool skipped_thunk
= false;
2969 node
= node
->ultimate_alias_target ();
2970 node2
= node2
->ultimate_alias_target ();
2972 /* There are no virtual clones of thunks so check former_clone_of or if we
2973 might have skipped thunks because this adjustments are no longer
2975 while (node
->thunk
.thunk_p
)
2977 if (node2
->former_clone_of
== node
->decl
)
2979 if (!node
->thunk
.this_adjusting
)
2981 node
= node
->callees
->callee
->ultimate_alias_target ();
2982 skipped_thunk
= true;
2987 if (!node2
->clone
.args_to_skip
2988 || !bitmap_bit_p (node2
->clone
.args_to_skip
, 0))
2990 if (node2
->former_clone_of
== node
->decl
)
2992 else if (!node2
->clone_of
)
2996 while (node
!= node2
&& node2
)
2997 node2
= node2
->clone_of
;
2998 return node2
!= NULL
;
3001 /* Verify edge count and frequency. */
3004 cgraph_edge::verify_count ()
3006 bool error_found
= false;
3007 if (!count
.verify ())
3009 error ("caller edge count invalid");
3015 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
3017 cgraph_debug_gimple_stmt (function
*this_cfun
, gimple
*stmt
)
3019 bool fndecl_was_null
= false;
3020 /* debug_gimple_stmt needs correct cfun */
3021 if (cfun
!= this_cfun
)
3022 set_cfun (this_cfun
);
3023 /* ...and an actual current_function_decl */
3024 if (!current_function_decl
)
3026 current_function_decl
= this_cfun
->decl
;
3027 fndecl_was_null
= true;
3029 debug_gimple_stmt (stmt
);
3030 if (fndecl_was_null
)
3031 current_function_decl
= NULL
;
3034 /* Verify that call graph edge corresponds to DECL from the associated
3035 statement. Return true if the verification should fail. */
3038 cgraph_edge::verify_corresponds_to_fndecl (tree decl
)
3042 if (!decl
|| callee
->global
.inlined_to
)
3044 if (symtab
->state
== LTO_STREAMING
)
3046 node
= cgraph_node::get (decl
);
3048 /* We do not know if a node from a different partition is an alias or what it
3049 aliases and therefore cannot do the former_clone_of check reliably. When
3050 body_removed is set, we have lost all information about what was alias or
3051 thunk of and also cannot proceed. */
3053 || node
->body_removed
3054 || node
->in_other_partition
3055 || callee
->icf_merged
3056 || callee
->in_other_partition
)
3059 node
= node
->ultimate_alias_target ();
3061 /* Optimizers can redirect unreachable calls or calls triggering undefined
3062 behavior to builtin_unreachable. */
3063 if (DECL_BUILT_IN_CLASS (callee
->decl
) == BUILT_IN_NORMAL
3064 && DECL_FUNCTION_CODE (callee
->decl
) == BUILT_IN_UNREACHABLE
)
3067 if (callee
->former_clone_of
!= node
->decl
3068 && (node
!= callee
->ultimate_alias_target ())
3069 && !clone_of_p (node
, callee
))
3075 /* Verify cgraph nodes of given cgraph node. */
3077 cgraph_node::verify_node (void)
3080 function
*this_cfun
= DECL_STRUCT_FUNCTION (decl
);
3081 basic_block this_block
;
3082 gimple_stmt_iterator gsi
;
3083 bool error_found
= false;
3088 timevar_push (TV_CGRAPH_VERIFY
);
3089 error_found
|= verify_base ();
3090 for (e
= callees
; e
; e
= e
->next_callee
)
3093 error ("aux field set for edge %s->%s",
3094 identifier_to_locale (e
->caller
->name ()),
3095 identifier_to_locale (e
->callee
->name ()));
3098 if (!count
.verify ())
3100 error ("cgraph count invalid");
3103 if (global
.inlined_to
&& same_comdat_group
)
3105 error ("inline clone in same comdat group list");
3108 if (!definition
&& !in_other_partition
&& local
.local
)
3110 error ("local symbols must be defined");
3113 if (global
.inlined_to
&& externally_visible
)
3115 error ("externally visible inline clone");
3118 if (global
.inlined_to
&& address_taken
)
3120 error ("inline clone with address taken");
3123 if (global
.inlined_to
&& force_output
)
3125 error ("inline clone is forced to output");
3128 for (e
= indirect_calls
; e
; e
= e
->next_callee
)
3132 error ("aux field set for indirect edge from %s",
3133 identifier_to_locale (e
->caller
->name ()));
3136 if (!e
->indirect_unknown_callee
3137 || !e
->indirect_info
)
3139 error ("An indirect edge from %s is not marked as indirect or has "
3140 "associated indirect_info, the corresponding statement is: ",
3141 identifier_to_locale (e
->caller
->name ()));
3142 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
3146 bool check_comdat
= comdat_local_p ();
3147 for (e
= callers
; e
; e
= e
->next_caller
)
3149 if (e
->verify_count ())
3152 && !in_same_comdat_group_p (e
->caller
))
3154 error ("comdat-local function called by %s outside its comdat",
3155 identifier_to_locale (e
->caller
->name ()));
3158 if (!e
->inline_failed
)
3160 if (global
.inlined_to
3161 != (e
->caller
->global
.inlined_to
3162 ? e
->caller
->global
.inlined_to
: e
->caller
))
3164 error ("inlined_to pointer is wrong");
3167 if (callers
->next_caller
)
3169 error ("multiple inline callers");
3174 if (global
.inlined_to
)
3176 error ("inlined_to pointer set for noninline callers");
3180 for (e
= callees
; e
; e
= e
->next_callee
)
3182 if (e
->verify_count ())
3184 if (gimple_has_body_p (e
->caller
->decl
)
3185 && !e
->caller
->global
.inlined_to
3187 /* Optimized out calls are redirected to __builtin_unreachable. */
3188 && (e
->count
.nonzero_p ()
3189 || ! e
->callee
->decl
3190 || DECL_BUILT_IN_CLASS (e
->callee
->decl
) != BUILT_IN_NORMAL
3191 || DECL_FUNCTION_CODE (e
->callee
->decl
) != BUILT_IN_UNREACHABLE
)
3193 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl
))->count
3194 && (!e
->count
.ipa_p ()
3195 && e
->count
.differs_from_p (gimple_bb (e
->call_stmt
)->count
)))
3197 error ("caller edge count does not match BB count");
3198 fprintf (stderr
, "edge count: ");
3199 e
->count
.dump (stderr
);
3200 fprintf (stderr
, "\n bb count: ");
3201 gimple_bb (e
->call_stmt
)->count
.dump (stderr
);
3202 fprintf (stderr
, "\n");
3206 for (e
= indirect_calls
; e
; e
= e
->next_callee
)
3208 if (e
->verify_count ())
3210 if (gimple_has_body_p (e
->caller
->decl
)
3211 && !e
->caller
->global
.inlined_to
3213 && e
->count
.ipa_p ()
3215 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl
))->count
3216 && (!e
->count
.ipa_p ()
3217 && e
->count
.differs_from_p (gimple_bb (e
->call_stmt
)->count
)))
3219 error ("indirect call count does not match BB count");
3220 fprintf (stderr
, "edge count: ");
3221 e
->count
.dump (stderr
);
3222 fprintf (stderr
, "\n bb count: ");
3223 gimple_bb (e
->call_stmt
)->count
.dump (stderr
);
3224 fprintf (stderr
, "\n");
3228 if (!callers
&& global
.inlined_to
)
3230 error ("inlined_to pointer is set but no predecessors found");
3233 if (global
.inlined_to
== this)
3235 error ("inlined_to pointer refers to itself");
3242 for (n
= clone_of
->clones
; n
; n
= n
->next_sibling_clone
)
3247 error ("cgraph_node has wrong clone_of");
3254 for (n
= clones
; n
; n
= n
->next_sibling_clone
)
3255 if (n
->clone_of
!= this)
3259 error ("cgraph_node has wrong clone list");
3263 if ((prev_sibling_clone
|| next_sibling_clone
) && !clone_of
)
3265 error ("cgraph_node is in clone list but it is not clone");
3268 if (!prev_sibling_clone
&& clone_of
&& clone_of
->clones
!= this)
3270 error ("cgraph_node has wrong prev_clone pointer");
3273 if (prev_sibling_clone
&& prev_sibling_clone
->next_sibling_clone
!= this)
3275 error ("double linked list of clones corrupted");
3279 if (analyzed
&& alias
)
3281 bool ref_found
= false;
3283 ipa_ref
*ref
= NULL
;
3287 error ("Alias has call edges");
3290 for (i
= 0; iterate_reference (i
, ref
); i
++)
3291 if (ref
->use
!= IPA_REF_ALIAS
)
3293 error ("Alias has non-alias reference");
3298 error ("Alias has more than one alias reference");
3305 error ("Analyzed alias has no reference");
3310 if (analyzed
&& thunk
.thunk_p
)
3314 error ("No edge out of thunk node");
3317 else if (callees
->next_callee
)
3319 error ("More than one edge out of thunk node");
3322 if (gimple_has_body_p (decl
) && !global
.inlined_to
)
3324 error ("Thunk is not supposed to have body");
3328 else if (analyzed
&& gimple_has_body_p (decl
)
3329 && !TREE_ASM_WRITTEN (decl
)
3330 && (!DECL_EXTERNAL (decl
) || global
.inlined_to
)
3335 hash_set
<gimple
*> stmts
;
3337 ipa_ref
*ref
= NULL
;
3339 /* Reach the trees by walking over the CFG, and note the
3340 enclosing basic-blocks in the call edges. */
3341 FOR_EACH_BB_FN (this_block
, this_cfun
)
3343 for (gsi
= gsi_start_phis (this_block
);
3344 !gsi_end_p (gsi
); gsi_next (&gsi
))
3345 stmts
.add (gsi_stmt (gsi
));
3346 for (gsi
= gsi_start_bb (this_block
);
3350 gimple
*stmt
= gsi_stmt (gsi
);
3352 if (is_gimple_call (stmt
))
3354 cgraph_edge
*e
= get_edge (stmt
);
3355 tree decl
= gimple_call_fndecl (stmt
);
3360 error ("shared call_stmt:");
3361 cgraph_debug_gimple_stmt (this_cfun
, stmt
);
3364 if (!e
->indirect_unknown_callee
)
3366 if (e
->verify_corresponds_to_fndecl (decl
))
3368 error ("edge points to wrong declaration:");
3369 debug_tree (e
->callee
->decl
);
3370 fprintf (stderr
," Instead of:");
3377 error ("an indirect edge with unknown callee "
3378 "corresponding to a call_stmt with "
3379 "a known declaration:");
3381 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
3387 error ("missing callgraph edge for call stmt:");
3388 cgraph_debug_gimple_stmt (this_cfun
, stmt
);
3394 for (i
= 0; iterate_reference (i
, ref
); i
++)
3395 if (ref
->stmt
&& !stmts
.contains (ref
->stmt
))
3397 error ("reference to dead statement");
3398 cgraph_debug_gimple_stmt (this_cfun
, ref
->stmt
);
3403 /* No CFG available?! */
3406 for (e
= callees
; e
; e
= e
->next_callee
)
3410 error ("edge %s->%s has no corresponding call_stmt",
3411 identifier_to_locale (e
->caller
->name ()),
3412 identifier_to_locale (e
->callee
->name ()));
3413 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
3418 for (e
= indirect_calls
; e
; e
= e
->next_callee
)
3420 if (!e
->aux
&& !e
->speculative
)
3422 error ("an indirect edge from %s has no corresponding call_stmt",
3423 identifier_to_locale (e
->caller
->name ()));
3424 cgraph_debug_gimple_stmt (this_cfun
, e
->call_stmt
);
3433 internal_error ("verify_cgraph_node failed");
3435 timevar_pop (TV_CGRAPH_VERIFY
);
3438 /* Verify whole cgraph structure. */
3440 cgraph_node::verify_cgraph_nodes (void)
3447 FOR_EACH_FUNCTION (node
)
3451 /* Walk the alias chain to return the function cgraph_node is alias of.
3452 Walk through thunks, too.
3453 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3454 When REF is non-NULL, assume that reference happens in symbol REF
3455 when determining the availability. */
3458 cgraph_node::function_symbol (enum availability
*availability
,
3459 struct symtab_node
*ref
)
3461 cgraph_node
*node
= ultimate_alias_target (availability
, ref
);
3463 while (node
->thunk
.thunk_p
)
3466 node
= node
->callees
->callee
;
3469 enum availability a
;
3470 a
= node
->get_availability (ref
);
3471 if (a
< *availability
)
3474 node
= node
->ultimate_alias_target (availability
, ref
);
3479 /* Walk the alias chain to return the function cgraph_node is alias of.
3480 Walk through non virtual thunks, too. Thus we return either a function
3481 or a virtual thunk node.
3482 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3483 When REF is non-NULL, assume that reference happens in symbol REF
3484 when determining the availability. */
3487 cgraph_node::function_or_virtual_thunk_symbol
3488 (enum availability
*availability
,
3489 struct symtab_node
*ref
)
3491 cgraph_node
*node
= ultimate_alias_target (availability
, ref
);
3493 while (node
->thunk
.thunk_p
&& !node
->thunk
.virtual_offset_p
)
3496 node
= node
->callees
->callee
;
3499 enum availability a
;
3500 a
= node
->get_availability (ref
);
3501 if (a
< *availability
)
3504 node
= node
->ultimate_alias_target (availability
, ref
);
3509 /* When doing LTO, read cgraph_node's body from disk if it is not already
3513 cgraph_node::get_untransformed_body (void)
3515 lto_file_decl_data
*file_data
;
3516 const char *data
, *name
;
3518 tree decl
= this->decl
;
3520 /* Check if body is already there. Either we have gimple body or
3521 the function is thunk and in that case we set DECL_ARGUMENTS. */
3522 if (DECL_ARGUMENTS (decl
) || gimple_has_body_p (decl
))
3525 gcc_assert (in_lto_p
&& !DECL_RESULT (decl
));
3527 timevar_push (TV_IPA_LTO_GIMPLE_IN
);
3529 file_data
= lto_file_data
;
3530 name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl
));
3532 /* We may have renamed the declaration, e.g., a static function. */
3533 name
= lto_get_decl_name_mapping (file_data
, name
);
3534 struct lto_in_decl_state
*decl_state
3535 = lto_get_function_in_decl_state (file_data
, decl
);
3537 data
= lto_get_section_data (file_data
, LTO_section_function_body
,
3538 name
, &len
, decl_state
->compressed
);
3540 fatal_error (input_location
, "%s: section %s is missing",
3541 file_data
->file_name
,
3544 gcc_assert (DECL_STRUCT_FUNCTION (decl
) == NULL
);
3547 fprintf (stderr
, " in:%s", IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl
)));
3548 lto_input_function_body (file_data
, this, data
);
3549 lto_stats
.num_function_bodies
++;
3550 lto_free_section_data (file_data
, LTO_section_function_body
, name
,
3551 data
, len
, decl_state
->compressed
);
3552 lto_free_function_in_decl_state_for_node (this);
3553 /* Keep lto file data so ipa-inline-analysis knows about cross module
3556 timevar_pop (TV_IPA_LTO_GIMPLE_IN
);
3561 /* Prepare function body. When doing LTO, read cgraph_node's body from disk
3562 if it is not already present. When some IPA transformations are scheduled,
3566 cgraph_node::get_body (void)
3570 updated
= get_untransformed_body ();
3572 /* Getting transformed body makes no sense for inline clones;
3573 we should never use this on real clones because they are materialized
3575 TODO: Materializing clones here will likely lead to smaller LTRANS
3577 gcc_assert (!global
.inlined_to
&& !clone_of
);
3578 if (ipa_transforms_to_apply
.exists ())
3580 opt_pass
*saved_current_pass
= current_pass
;
3581 FILE *saved_dump_file
= dump_file
;
3582 const char *saved_dump_file_name
= dump_file_name
;
3583 dump_flags_t saved_dump_flags
= dump_flags
;
3584 dump_file_name
= NULL
;
3587 push_cfun (DECL_STRUCT_FUNCTION (decl
));
3588 execute_all_ipa_transforms ();
3589 cgraph_edge::rebuild_edges ();
3590 free_dominance_info (CDI_DOMINATORS
);
3591 free_dominance_info (CDI_POST_DOMINATORS
);
3595 current_pass
= saved_current_pass
;
3596 dump_file
= saved_dump_file
;
3597 dump_file_name
= saved_dump_file_name
;
3598 dump_flags
= saved_dump_flags
;
3603 /* Return the DECL_STRUCT_FUNCTION of the function. */
3606 cgraph_node::get_fun (void)
3608 cgraph_node
*node
= this;
3609 struct function
*fun
= DECL_STRUCT_FUNCTION (node
->decl
);
3611 while (!fun
&& node
->clone_of
)
3613 node
= node
->clone_of
;
3614 fun
= DECL_STRUCT_FUNCTION (node
->decl
);
3620 /* Verify if the type of the argument matches that of the function
3621 declaration. If we cannot verify this or there is a mismatch,
3625 gimple_check_call_args (gimple
*stmt
, tree fndecl
, bool args_count_match
)
3628 unsigned int i
, nargs
;
3630 /* Calls to internal functions always match their signature. */
3631 if (gimple_call_internal_p (stmt
))
3634 nargs
= gimple_call_num_args (stmt
);
3636 /* Get argument types for verification. */
3638 parms
= TYPE_ARG_TYPES (TREE_TYPE (fndecl
));
3640 parms
= TYPE_ARG_TYPES (gimple_call_fntype (stmt
));
3642 /* Verify if the type of the argument matches that of the function
3643 declaration. If we cannot verify this or there is a mismatch,
3645 if (fndecl
&& DECL_ARGUMENTS (fndecl
))
3647 for (i
= 0, p
= DECL_ARGUMENTS (fndecl
);
3649 i
++, p
= DECL_CHAIN (p
))
3652 /* We cannot distinguish a varargs function from the case
3653 of excess parameters, still deferring the inlining decision
3654 to the callee is possible. */
3657 arg
= gimple_call_arg (stmt
, i
);
3658 if (p
== error_mark_node
3659 || DECL_ARG_TYPE (p
) == error_mark_node
3660 || arg
== error_mark_node
3661 || (!types_compatible_p (DECL_ARG_TYPE (p
), TREE_TYPE (arg
))
3662 && !fold_convertible_p (DECL_ARG_TYPE (p
), arg
)))
3665 if (args_count_match
&& p
)
3670 for (i
= 0, p
= parms
; i
< nargs
; i
++, p
= TREE_CHAIN (p
))
3673 /* If this is a varargs function defer inlining decision
3677 arg
= gimple_call_arg (stmt
, i
);
3678 if (TREE_VALUE (p
) == error_mark_node
3679 || arg
== error_mark_node
3680 || TREE_CODE (TREE_VALUE (p
)) == VOID_TYPE
3681 || (!types_compatible_p (TREE_VALUE (p
), TREE_TYPE (arg
))
3682 && !fold_convertible_p (TREE_VALUE (p
), arg
)))
3694 /* Verify if the type of the argument and lhs of CALL_STMT matches
3695 that of the function declaration CALLEE. If ARGS_COUNT_MATCH is
3696 true, the arg count needs to be the same.
3697 If we cannot verify this or there is a mismatch, return false. */
3700 gimple_check_call_matching_types (gimple
*call_stmt
, tree callee
,
3701 bool args_count_match
)
3705 if ((DECL_RESULT (callee
)
3706 && !DECL_BY_REFERENCE (DECL_RESULT (callee
))
3707 && (lhs
= gimple_call_lhs (call_stmt
)) != NULL_TREE
3708 && !useless_type_conversion_p (TREE_TYPE (DECL_RESULT (callee
)),
3710 && !fold_convertible_p (TREE_TYPE (DECL_RESULT (callee
)), lhs
))
3711 || !gimple_check_call_args (call_stmt
, callee
, args_count_match
))
3716 /* Reset all state within cgraph.c so that we can rerun the compiler
3717 within the same process. For use by toplev::finalize. */
3720 cgraph_c_finalize (void)
3724 x_cgraph_nodes_queue
= NULL
;
3726 cgraph_fnver_htab
= NULL
;
3727 version_info_node
= NULL
;
3730 /* A wroker for call_for_symbol_and_aliases. */
3733 cgraph_node::call_for_symbol_and_aliases_1 (bool (*callback
) (cgraph_node
*,
3736 bool include_overwritable
)
3739 FOR_EACH_ALIAS (this, ref
)
3741 cgraph_node
*alias
= dyn_cast
<cgraph_node
*> (ref
->referring
);
3742 if (include_overwritable
3743 || alias
->get_availability () > AVAIL_INTERPOSABLE
)
3744 if (alias
->call_for_symbol_and_aliases (callback
, data
,
3745 include_overwritable
))
3751 /* Return true if NODE has thunk. */
3754 cgraph_node::has_thunk_p (cgraph_node
*node
, void *)
3756 for (cgraph_edge
*e
= node
->callers
; e
; e
= e
->next_caller
)
3757 if (e
->caller
->thunk
.thunk_p
)
3762 /* Expected frequency of executions within the function. */
3765 cgraph_edge::sreal_frequency ()
3767 return count
.to_sreal_scale (caller
->global
.inlined_to
3768 ? caller
->global
.inlined_to
->count
3772 #include "gt-cgraph.h"