Daily bump.
[official-gcc.git] / gcc / cgraph.cc
blob0ac8f73204b2418ffab9d2c3d25d0976a5e53037
1 /* Callgraph handling code.
2 Copyright (C) 2003-2024 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
10 version.
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
15 for more details.
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. */
27 #include "config.h"
28 #include "system.h"
29 #include "coretypes.h"
30 #include "backend.h"
31 #include "target.h"
32 #include "rtl.h"
33 #include "tree.h"
34 #include "gimple.h"
35 #include "predict.h"
36 #include "alloc-pool.h"
37 #include "gimple-ssa.h"
38 #include "cgraph.h"
39 #include "lto-streamer.h"
40 #include "fold-const.h"
41 #include "varasm.h"
42 #include "calls.h"
43 #include "print-tree.h"
44 #include "langhooks.h"
45 #include "intl.h"
46 #include "tree-eh.h"
47 #include "gimple-iterator.h"
48 #include "tree-cfg.h"
49 #include "tree-ssa.h"
50 #include "value-prof.h"
51 #include "ipa-utils.h"
52 #include "symbol-summary.h"
53 #include "tree-vrp.h"
54 #include "ipa-prop.h"
55 #include "ipa-fnsummary.h"
56 #include "cfgloop.h"
57 #include "gimple-pretty-print.h"
58 #include "tree-dfa.h"
59 #include "profile.h"
60 #include "context.h"
61 #include "gimplify.h"
62 #include "stringpool.h"
63 #include "attribs.h"
64 #include "selftest.h"
65 #include "tree-into-ssa.h"
66 #include "ipa-inline.h"
67 #include "tree-nested.h"
68 #include "symtab-thunks.h"
69 #include "symtab-clones.h"
71 /* FIXME: Only for PROP_loops, but cgraph shouldn't have to know about this. */
72 #include "tree-pass.h"
74 /* Queue of cgraph nodes scheduled to be lowered. */
75 symtab_node *x_cgraph_nodes_queue;
76 #define cgraph_nodes_queue ((cgraph_node *)x_cgraph_nodes_queue)
78 /* Symbol table global context. */
79 symbol_table *symtab;
81 /* List of hooks triggered on cgraph_edge events. */
82 struct cgraph_edge_hook_list {
83 cgraph_edge_hook hook;
84 void *data;
85 struct cgraph_edge_hook_list *next;
88 /* List of hooks triggered on cgraph_node events. */
89 struct cgraph_node_hook_list {
90 cgraph_node_hook hook;
91 void *data;
92 struct cgraph_node_hook_list *next;
95 /* List of hooks triggered on events involving two cgraph_edges. */
96 struct cgraph_2edge_hook_list {
97 cgraph_2edge_hook hook;
98 void *data;
99 struct cgraph_2edge_hook_list *next;
102 /* List of hooks triggered on events involving two cgraph_nodes. */
103 struct cgraph_2node_hook_list {
104 cgraph_2node_hook hook;
105 void *data;
106 struct cgraph_2node_hook_list *next;
109 /* Hash descriptor for cgraph_function_version_info. */
111 struct function_version_hasher : ggc_ptr_hash<cgraph_function_version_info>
113 static hashval_t hash (cgraph_function_version_info *);
114 static bool equal (cgraph_function_version_info *,
115 cgraph_function_version_info *);
118 /* Map a cgraph_node to cgraph_function_version_info using this htab.
119 The cgraph_function_version_info has a THIS_NODE field that is the
120 corresponding cgraph_node.. */
122 static GTY(()) hash_table<function_version_hasher> *cgraph_fnver_htab = NULL;
124 /* Hash function for cgraph_fnver_htab. */
125 hashval_t
126 function_version_hasher::hash (cgraph_function_version_info *ptr)
128 int uid = ptr->this_node->get_uid ();
129 return (hashval_t)(uid);
132 /* eq function for cgraph_fnver_htab. */
133 bool
134 function_version_hasher::equal (cgraph_function_version_info *n1,
135 cgraph_function_version_info *n2)
137 return n1->this_node->get_uid () == n2->this_node->get_uid ();
140 /* Mark as GC root all allocated nodes. */
141 static GTY(()) struct cgraph_function_version_info *
142 version_info_node = NULL;
144 /* Return true if NODE's address can be compared. */
146 bool
147 symtab_node::address_can_be_compared_p ()
149 /* Address of virtual tables and functions is never compared. */
150 if (DECL_VIRTUAL_P (decl))
151 return false;
152 /* Address of C++ cdtors is never compared. */
153 if (is_a <cgraph_node *> (this)
154 && (DECL_CXX_CONSTRUCTOR_P (decl)
155 || DECL_CXX_DESTRUCTOR_P (decl)))
156 return false;
157 /* Constant pool symbols addresses are never compared.
158 flag_merge_constants permits us to assume the same on readonly vars. */
159 if (is_a <varpool_node *> (this)
160 && (DECL_IN_CONSTANT_POOL (decl)
161 || ((flag_merge_constants >= 2 || DECL_MERGEABLE (decl))
162 && TREE_READONLY (decl) && !TREE_THIS_VOLATILE (decl))))
163 return false;
164 return true;
167 /* Get the cgraph_function_version_info node corresponding to node. */
168 cgraph_function_version_info *
169 cgraph_node::function_version (void)
171 cgraph_function_version_info key;
172 key.this_node = this;
174 if (cgraph_fnver_htab == NULL)
175 return NULL;
177 return cgraph_fnver_htab->find (&key);
180 /* Insert a new cgraph_function_version_info node into cgraph_fnver_htab
181 corresponding to cgraph_node NODE. */
182 cgraph_function_version_info *
183 cgraph_node::insert_new_function_version (void)
185 version_info_node = NULL;
186 version_info_node = ggc_cleared_alloc<cgraph_function_version_info> ();
187 version_info_node->this_node = this;
189 if (cgraph_fnver_htab == NULL)
190 cgraph_fnver_htab = hash_table<function_version_hasher>::create_ggc (2);
192 *cgraph_fnver_htab->find_slot (version_info_node, INSERT)
193 = version_info_node;
194 return version_info_node;
197 /* Remove the cgraph_function_version_info node given by DECL_V. */
198 static void
199 delete_function_version (cgraph_function_version_info *decl_v)
201 if (decl_v == NULL)
202 return;
204 if (version_info_node == decl_v)
205 version_info_node = NULL;
207 if (decl_v->prev != NULL)
208 decl_v->prev->next = decl_v->next;
210 if (decl_v->next != NULL)
211 decl_v->next->prev = decl_v->prev;
213 if (cgraph_fnver_htab != NULL)
214 cgraph_fnver_htab->remove_elt (decl_v);
217 /* Remove the cgraph_function_version_info and cgraph_node for DECL. This
218 DECL is a duplicate declaration. */
219 void
220 cgraph_node::delete_function_version_by_decl (tree decl)
222 cgraph_node *decl_node = cgraph_node::get (decl);
224 if (decl_node == NULL)
225 return;
227 delete_function_version (decl_node->function_version ());
229 decl_node->remove ();
232 /* Record that DECL1 and DECL2 are semantically identical function
233 versions. */
234 void
235 cgraph_node::record_function_versions (tree decl1, tree decl2)
237 cgraph_node *decl1_node = cgraph_node::get_create (decl1);
238 cgraph_node *decl2_node = cgraph_node::get_create (decl2);
239 cgraph_function_version_info *decl1_v = NULL;
240 cgraph_function_version_info *decl2_v = NULL;
241 cgraph_function_version_info *before;
242 cgraph_function_version_info *after;
244 gcc_assert (decl1_node != NULL && decl2_node != NULL);
245 decl1_v = decl1_node->function_version ();
246 decl2_v = decl2_node->function_version ();
248 if (decl1_v != NULL && decl2_v != NULL)
249 return;
251 if (decl1_v == NULL)
252 decl1_v = decl1_node->insert_new_function_version ();
254 if (decl2_v == NULL)
255 decl2_v = decl2_node->insert_new_function_version ();
257 /* Chain decl2_v and decl1_v. All semantically identical versions
258 will be chained together. */
260 before = decl1_v;
261 after = decl2_v;
263 while (before->next != NULL)
264 before = before->next;
266 while (after->prev != NULL)
267 after= after->prev;
269 before->next = after;
270 after->prev = before;
273 /* Initialize callgraph dump file. */
275 void
276 symbol_table::initialize (void)
278 if (!dump_file)
279 dump_file = dump_begin (TDI_cgraph, NULL);
281 if (!ipa_clones_dump_file)
282 ipa_clones_dump_file = dump_begin (TDI_clones, NULL);
285 /* Allocate new callgraph node and insert it into basic data structures. */
287 cgraph_node *
288 symbol_table::create_empty (void)
290 cgraph_count++;
291 return new (ggc_alloc<cgraph_node> ()) cgraph_node (cgraph_max_uid++);
294 /* Register HOOK to be called with DATA on each removed edge. */
295 cgraph_edge_hook_list *
296 symbol_table::add_edge_removal_hook (cgraph_edge_hook hook, void *data)
298 cgraph_edge_hook_list *entry;
299 cgraph_edge_hook_list **ptr = &m_first_edge_removal_hook;
301 entry = (cgraph_edge_hook_list *) xmalloc (sizeof (*entry));
302 entry->hook = hook;
303 entry->data = data;
304 entry->next = NULL;
305 while (*ptr)
306 ptr = &(*ptr)->next;
307 *ptr = entry;
308 return entry;
311 /* Remove ENTRY from the list of hooks called on removing edges. */
312 void
313 symbol_table::remove_edge_removal_hook (cgraph_edge_hook_list *entry)
315 cgraph_edge_hook_list **ptr = &m_first_edge_removal_hook;
317 while (*ptr != entry)
318 ptr = &(*ptr)->next;
319 *ptr = entry->next;
320 free (entry);
323 /* Call all edge removal hooks. */
324 void
325 symbol_table::call_edge_removal_hooks (cgraph_edge *e)
327 cgraph_edge_hook_list *entry = m_first_edge_removal_hook;
328 while (entry)
330 entry->hook (e, entry->data);
331 entry = entry->next;
335 /* Register HOOK to be called with DATA on each removed node. */
336 cgraph_node_hook_list *
337 symbol_table::add_cgraph_removal_hook (cgraph_node_hook hook, void *data)
339 cgraph_node_hook_list *entry;
340 cgraph_node_hook_list **ptr = &m_first_cgraph_removal_hook;
342 entry = (cgraph_node_hook_list *) xmalloc (sizeof (*entry));
343 entry->hook = hook;
344 entry->data = data;
345 entry->next = NULL;
346 while (*ptr)
347 ptr = &(*ptr)->next;
348 *ptr = entry;
349 return entry;
352 /* Remove ENTRY from the list of hooks called on removing nodes. */
353 void
354 symbol_table::remove_cgraph_removal_hook (cgraph_node_hook_list *entry)
356 cgraph_node_hook_list **ptr = &m_first_cgraph_removal_hook;
358 while (*ptr != entry)
359 ptr = &(*ptr)->next;
360 *ptr = entry->next;
361 free (entry);
364 /* Call all node removal hooks. */
365 void
366 symbol_table::call_cgraph_removal_hooks (cgraph_node *node)
368 cgraph_node_hook_list *entry = m_first_cgraph_removal_hook;
369 while (entry)
371 entry->hook (node, entry->data);
372 entry = entry->next;
376 /* Call all node removal hooks. */
377 void
378 symbol_table::call_cgraph_insertion_hooks (cgraph_node *node)
380 cgraph_node_hook_list *entry = m_first_cgraph_insertion_hook;
381 while (entry)
383 entry->hook (node, entry->data);
384 entry = entry->next;
389 /* Register HOOK to be called with DATA on each inserted node. */
390 cgraph_node_hook_list *
391 symbol_table::add_cgraph_insertion_hook (cgraph_node_hook hook, void *data)
393 cgraph_node_hook_list *entry;
394 cgraph_node_hook_list **ptr = &m_first_cgraph_insertion_hook;
396 entry = (cgraph_node_hook_list *) xmalloc (sizeof (*entry));
397 entry->hook = hook;
398 entry->data = data;
399 entry->next = NULL;
400 while (*ptr)
401 ptr = &(*ptr)->next;
402 *ptr = entry;
403 return entry;
406 /* Remove ENTRY from the list of hooks called on inserted nodes. */
407 void
408 symbol_table::remove_cgraph_insertion_hook (cgraph_node_hook_list *entry)
410 cgraph_node_hook_list **ptr = &m_first_cgraph_insertion_hook;
412 while (*ptr != entry)
413 ptr = &(*ptr)->next;
414 *ptr = entry->next;
415 free (entry);
418 /* Register HOOK to be called with DATA on each duplicated edge. */
419 cgraph_2edge_hook_list *
420 symbol_table::add_edge_duplication_hook (cgraph_2edge_hook hook, void *data)
422 cgraph_2edge_hook_list *entry;
423 cgraph_2edge_hook_list **ptr = &m_first_edge_duplicated_hook;
425 entry = (cgraph_2edge_hook_list *) xmalloc (sizeof (*entry));
426 entry->hook = hook;
427 entry->data = data;
428 entry->next = NULL;
429 while (*ptr)
430 ptr = &(*ptr)->next;
431 *ptr = entry;
432 return entry;
435 /* Remove ENTRY from the list of hooks called on duplicating edges. */
436 void
437 symbol_table::remove_edge_duplication_hook (cgraph_2edge_hook_list *entry)
439 cgraph_2edge_hook_list **ptr = &m_first_edge_duplicated_hook;
441 while (*ptr != entry)
442 ptr = &(*ptr)->next;
443 *ptr = entry->next;
444 free (entry);
447 /* Call all edge duplication hooks. */
448 void
449 symbol_table::call_edge_duplication_hooks (cgraph_edge *cs1, cgraph_edge *cs2)
451 cgraph_2edge_hook_list *entry = m_first_edge_duplicated_hook;
452 while (entry)
454 entry->hook (cs1, cs2, entry->data);
455 entry = entry->next;
459 /* Register HOOK to be called with DATA on each duplicated node. */
460 cgraph_2node_hook_list *
461 symbol_table::add_cgraph_duplication_hook (cgraph_2node_hook hook, void *data)
463 cgraph_2node_hook_list *entry;
464 cgraph_2node_hook_list **ptr = &m_first_cgraph_duplicated_hook;
466 entry = (cgraph_2node_hook_list *) xmalloc (sizeof (*entry));
467 entry->hook = hook;
468 entry->data = data;
469 entry->next = NULL;
470 while (*ptr)
471 ptr = &(*ptr)->next;
472 *ptr = entry;
473 return entry;
476 /* Remove ENTRY from the list of hooks called on duplicating nodes. */
477 void
478 symbol_table::remove_cgraph_duplication_hook (cgraph_2node_hook_list *entry)
480 cgraph_2node_hook_list **ptr = &m_first_cgraph_duplicated_hook;
482 while (*ptr != entry)
483 ptr = &(*ptr)->next;
484 *ptr = entry->next;
485 free (entry);
488 /* Call all node duplication hooks. */
489 void
490 symbol_table::call_cgraph_duplication_hooks (cgraph_node *node,
491 cgraph_node *node2)
493 cgraph_2node_hook_list *entry = m_first_cgraph_duplicated_hook;
494 while (entry)
496 entry->hook (node, node2, entry->data);
497 entry = entry->next;
501 /* Return cgraph node assigned to DECL. Create new one when needed. */
503 cgraph_node *
504 cgraph_node::create (tree decl)
506 cgraph_node *node = symtab->create_empty ();
507 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
509 node->decl = decl;
510 node->semantic_interposition = opt_for_fn (decl, flag_semantic_interposition);
512 if ((flag_openacc || flag_openmp)
513 && lookup_attribute ("omp declare target", DECL_ATTRIBUTES (decl)))
515 node->offloadable = 1;
516 if (ENABLE_OFFLOADING)
517 g->have_offload = true;
520 if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (decl)))
521 node->ifunc_resolver = true;
523 node->register_symbol ();
524 maybe_record_nested_function (node);
526 return node;
529 /* Try to find a call graph node for declaration DECL and if it does not exist
530 or if it corresponds to an inline clone, create a new one. */
532 cgraph_node *
533 cgraph_node::get_create (tree decl)
535 cgraph_node *first_clone = cgraph_node::get (decl);
537 if (first_clone && !first_clone->inlined_to)
538 return first_clone;
540 cgraph_node *node = cgraph_node::create (decl);
541 if (first_clone)
543 first_clone->clone_of = node;
544 node->clones = first_clone;
545 node->order = first_clone->order;
546 symtab->symtab_prevail_in_asm_name_hash (node);
547 node->decl->decl_with_vis.symtab_node = node;
548 if (dump_file && symtab->state != PARSING)
549 fprintf (dump_file, "Introduced new external node "
550 "(%s) and turned into root of the clone tree.\n",
551 node->dump_name ());
553 else if (dump_file && symtab->state != PARSING)
554 fprintf (dump_file, "Introduced new external node "
555 "(%s).\n", node->dump_name ());
556 return node;
559 /* Mark ALIAS as an alias to DECL. DECL_NODE is cgraph node representing
560 the function body is associated with
561 (not necessarily cgraph_node (DECL)). */
563 cgraph_node *
564 cgraph_node::create_alias (tree alias, tree target)
566 cgraph_node *alias_node;
568 gcc_assert (TREE_CODE (target) == FUNCTION_DECL
569 || TREE_CODE (target) == IDENTIFIER_NODE);
570 gcc_assert (TREE_CODE (alias) == FUNCTION_DECL);
571 alias_node = cgraph_node::get_create (alias);
572 gcc_assert (!alias_node->definition);
573 alias_node->alias_target = target;
574 alias_node->definition = true;
575 alias_node->alias = true;
576 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (alias)) != NULL)
577 alias_node->transparent_alias = alias_node->weakref = true;
578 if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (alias)))
579 alias_node->ifunc_resolver = true;
580 return alias_node;
583 /* Attempt to mark ALIAS as an alias to DECL. Return alias node if successful
584 and NULL otherwise.
585 Same body aliases are output whenever the body of DECL is output,
586 and cgraph_node::get (ALIAS) transparently returns
587 cgraph_node::get (DECL). */
589 cgraph_node *
590 cgraph_node::create_same_body_alias (tree alias, tree decl)
592 cgraph_node *n;
594 /* If aliases aren't supported by the assembler, fail. */
595 if (!TARGET_SUPPORTS_ALIASES)
596 return NULL;
598 /* Langhooks can create same body aliases of symbols not defined.
599 Those are useless. Drop them on the floor. */
600 if (symtab->global_info_ready)
601 return NULL;
603 n = cgraph_node::create_alias (alias, decl);
604 n->cpp_implicit_alias = true;
605 if (symtab->cpp_implicit_aliases_done)
606 n->resolve_alias (cgraph_node::get (decl));
607 return n;
610 /* Add thunk alias into callgraph. The alias declaration is ALIAS and it
611 aliases DECL with an adjustments made into the first parameter.
612 See comments in struct cgraph_thunk_info for detail on the parameters. */
614 cgraph_node *
615 cgraph_node::create_thunk (tree alias, tree, bool this_adjusting,
616 HOST_WIDE_INT fixed_offset,
617 HOST_WIDE_INT virtual_value,
618 HOST_WIDE_INT indirect_offset,
619 tree virtual_offset,
620 tree real_alias)
622 cgraph_node *node;
624 node = cgraph_node::get (alias);
625 if (node)
626 node->reset ();
627 else
628 node = cgraph_node::create (alias);
630 /* Make sure that if VIRTUAL_OFFSET is in sync with VIRTUAL_VALUE. */
631 gcc_checking_assert (virtual_offset
632 ? virtual_value == wi::to_wide (virtual_offset)
633 : virtual_value == 0);
635 node->thunk = true;
636 node->definition = true;
638 thunk_info *i;
639 thunk_info local_info;
640 if (symtab->state < CONSTRUCTION)
641 i = &local_info;
642 else
643 i = thunk_info::get_create (node);
644 i->fixed_offset = fixed_offset;
645 i->virtual_value = virtual_value;
646 i->indirect_offset = indirect_offset;
647 i->alias = real_alias;
648 i->this_adjusting = this_adjusting;
649 i->virtual_offset_p = virtual_offset != NULL;
650 if (symtab->state < CONSTRUCTION)
651 i->register_early (node);
653 return node;
656 /* Return the cgraph node that has ASMNAME for its DECL_ASSEMBLER_NAME.
657 Return NULL if there's no such node. */
659 cgraph_node *
660 cgraph_node::get_for_asmname (tree asmname)
662 /* We do not want to look at inline clones. */
663 for (symtab_node *node = symtab_node::get_for_asmname (asmname);
664 node;
665 node = node->next_sharing_asm_name)
667 cgraph_node *cn = dyn_cast <cgraph_node *> (node);
668 if (cn && !cn->inlined_to)
669 return cn;
671 return NULL;
674 /* Returns a hash value for X (which really is a cgraph_edge). */
676 hashval_t
677 cgraph_edge_hasher::hash (cgraph_edge *e)
679 /* This is a really poor hash function, but it is what htab_hash_pointer
680 uses. */
681 return (hashval_t) ((intptr_t)e->call_stmt >> 3);
684 /* Returns a hash value for X (which really is a cgraph_edge). */
686 hashval_t
687 cgraph_edge_hasher::hash (gimple *call_stmt)
689 /* This is a really poor hash function, but it is what htab_hash_pointer
690 uses. */
691 return (hashval_t) ((intptr_t)call_stmt >> 3);
694 /* Return nonzero if the call_stmt of cgraph_edge X is stmt *Y. */
696 inline bool
697 cgraph_edge_hasher::equal (cgraph_edge *x, gimple *y)
699 return x->call_stmt == y;
702 /* Add call graph edge E to call site hash of its caller. */
704 static inline void
705 cgraph_update_edge_in_call_site_hash (cgraph_edge *e)
707 gimple *call = e->call_stmt;
708 *e->caller->call_site_hash->find_slot_with_hash
709 (call, cgraph_edge_hasher::hash (call), INSERT) = e;
712 /* Add call graph edge E to call site hash of its caller. */
714 static inline void
715 cgraph_add_edge_to_call_site_hash (cgraph_edge *e)
717 /* There are two speculative edges for every statement (one direct,
718 one indirect); always hash the direct one. */
719 if (e->speculative && e->indirect_unknown_callee)
720 return;
721 cgraph_edge **slot = e->caller->call_site_hash->find_slot_with_hash
722 (e->call_stmt, cgraph_edge_hasher::hash (e->call_stmt), INSERT);
723 if (*slot)
725 gcc_assert (((cgraph_edge *)*slot)->speculative);
726 if (e->callee && (!e->prev_callee
727 || !e->prev_callee->speculative
728 || e->prev_callee->call_stmt != e->call_stmt))
729 *slot = e;
730 return;
732 gcc_assert (!*slot || e->speculative);
733 *slot = e;
736 /* Return the callgraph edge representing the GIMPLE_CALL statement
737 CALL_STMT. */
739 cgraph_edge *
740 cgraph_node::get_edge (gimple *call_stmt)
742 cgraph_edge *e, *e2;
743 int n = 0;
745 if (call_site_hash)
746 return call_site_hash->find_with_hash
747 (call_stmt, cgraph_edge_hasher::hash (call_stmt));
749 /* This loop may turn out to be performance problem. In such case adding
750 hashtables into call nodes with very many edges is probably best
751 solution. It is not good idea to add pointer into CALL_EXPR itself
752 because we want to make possible having multiple cgraph nodes representing
753 different clones of the same body before the body is actually cloned. */
754 for (e = callees; e; e = e->next_callee)
756 if (e->call_stmt == call_stmt)
757 break;
758 n++;
761 if (!e)
762 for (e = indirect_calls; e; e = e->next_callee)
764 if (e->call_stmt == call_stmt)
765 break;
766 n++;
769 if (n > 100)
771 call_site_hash = hash_table<cgraph_edge_hasher>::create_ggc (120);
772 for (e2 = callees; e2; e2 = e2->next_callee)
773 cgraph_add_edge_to_call_site_hash (e2);
774 for (e2 = indirect_calls; e2; e2 = e2->next_callee)
775 cgraph_add_edge_to_call_site_hash (e2);
778 return e;
782 /* Change field call_stmt of edge E to NEW_STMT. If UPDATE_SPECULATIVE and E
783 is any component of speculative edge, then update all components.
784 Speculations can be resolved in the process and EDGE can be removed and
785 deallocated. Return the edge that now represents the call. */
787 cgraph_edge *
788 cgraph_edge::set_call_stmt (cgraph_edge *e, gcall *new_stmt,
789 bool update_speculative)
791 tree decl;
793 cgraph_node *new_direct_callee = NULL;
794 if ((e->indirect_unknown_callee || e->speculative)
795 && (decl = gimple_call_fndecl (new_stmt)))
797 /* Constant propagation and especially inlining can turn an indirect call
798 into a direct one. */
799 new_direct_callee = cgraph_node::get (decl);
800 gcc_checking_assert (new_direct_callee);
803 /* Speculative edges has three component, update all of them
804 when asked to. */
805 if (update_speculative && e->speculative
806 /* If we are about to resolve the speculation by calling make_direct
807 below, do not bother going over all the speculative edges now. */
808 && !new_direct_callee)
810 cgraph_edge *direct, *indirect, *next;
811 ipa_ref *ref;
812 bool e_indirect = e->indirect_unknown_callee;
813 int n = 0;
815 direct = e->first_speculative_call_target ();
816 indirect = e->speculative_call_indirect_edge ();
818 gcall *old_stmt = direct->call_stmt;
819 for (cgraph_edge *d = direct; d; d = next)
821 next = d->next_speculative_call_target ();
822 cgraph_edge *d2 = set_call_stmt (d, new_stmt, false);
823 gcc_assert (d2 == d);
824 n++;
826 gcc_checking_assert (indirect->num_speculative_call_targets_p () == n);
827 for (unsigned int i = 0; e->caller->iterate_reference (i, ref); i++)
828 if (ref->speculative && ref->stmt == old_stmt)
830 ref->stmt = new_stmt;
831 n--;
834 indirect = set_call_stmt (indirect, new_stmt, false);
835 return e_indirect ? indirect : direct;
838 if (new_direct_callee)
839 e = make_direct (e, new_direct_callee);
841 /* Only direct speculative edges go to call_site_hash. */
842 if (e->caller->call_site_hash
843 && (!e->speculative || !e->indirect_unknown_callee)
844 /* It is possible that edge was previously speculative. In this case
845 we have different value in call stmt hash which needs preserving. */
846 && e->caller->get_edge (e->call_stmt) == e)
847 e->caller->call_site_hash->remove_elt_with_hash
848 (e->call_stmt, cgraph_edge_hasher::hash (e->call_stmt));
850 e->call_stmt = new_stmt;
852 function *fun = DECL_STRUCT_FUNCTION (e->caller->decl);
853 e->can_throw_external = stmt_can_throw_external (fun, new_stmt);
854 /* Update call stite hash. For speculative calls we only record the first
855 direct edge. */
856 if (e->caller->call_site_hash
857 && (!e->speculative
858 || (e->callee
859 && (!e->prev_callee || !e->prev_callee->speculative
860 || e->prev_callee->call_stmt != e->call_stmt))
861 || (e->speculative && !e->callee)))
862 cgraph_add_edge_to_call_site_hash (e);
863 return e;
866 /* Allocate a cgraph_edge structure and fill it with data according to the
867 parameters of which only CALLEE can be NULL (when creating an indirect call
868 edge). CLONING_P should be set if properties that are copied from an
869 original edge should not be calculated. */
871 cgraph_edge *
872 symbol_table::create_edge (cgraph_node *caller, cgraph_node *callee,
873 gcall *call_stmt, profile_count count,
874 bool indir_unknown_callee, bool cloning_p)
876 cgraph_edge *edge;
878 /* LTO does not actually have access to the call_stmt since these
879 have not been loaded yet. */
880 if (call_stmt)
882 /* This is a rather expensive check possibly triggering
883 construction of call stmt hashtable. */
884 cgraph_edge *e;
885 gcc_checking_assert (!(e = caller->get_edge (call_stmt))
886 || e->speculative);
888 gcc_assert (is_gimple_call (call_stmt));
891 edge = ggc_alloc<cgraph_edge> ();
892 edge->m_summary_id = -1;
893 edges_count++;
895 gcc_assert (++edges_max_uid != 0);
896 edge->m_uid = edges_max_uid;
897 edge->aux = NULL;
898 edge->caller = caller;
899 edge->callee = callee;
900 edge->prev_caller = NULL;
901 edge->next_caller = NULL;
902 edge->prev_callee = NULL;
903 edge->next_callee = NULL;
904 edge->lto_stmt_uid = 0;
905 edge->speculative_id = 0;
907 edge->count = count;
908 edge->call_stmt = call_stmt;
909 edge->indirect_info = NULL;
910 edge->indirect_inlining_edge = 0;
911 edge->speculative = false;
912 edge->indirect_unknown_callee = indir_unknown_callee;
913 if (call_stmt && caller->call_site_hash)
914 cgraph_add_edge_to_call_site_hash (edge);
916 if (cloning_p)
917 return edge;
919 edge->can_throw_external
920 = call_stmt ? stmt_can_throw_external (DECL_STRUCT_FUNCTION (caller->decl),
921 call_stmt) : false;
922 edge->inline_failed = CIF_FUNCTION_NOT_CONSIDERED;
923 edge->call_stmt_cannot_inline_p = false;
925 if (opt_for_fn (edge->caller->decl, flag_devirtualize)
926 && call_stmt && DECL_STRUCT_FUNCTION (caller->decl))
927 edge->in_polymorphic_cdtor
928 = decl_maybe_in_construction_p (NULL, NULL, call_stmt,
929 caller->decl);
930 else
931 edge->in_polymorphic_cdtor = caller->thunk;
932 if (callee)
933 caller->calls_declare_variant_alt |= callee->declare_variant_alt;
935 if (callee && symtab->state != LTO_STREAMING
936 && edge->callee->comdat_local_p ())
937 edge->caller->calls_comdat_local = true;
939 return edge;
942 /* Create edge from a given function to CALLEE in the cgraph. CLONING_P should
943 be set if properties that are copied from an original edge should not be
944 calculated. */
946 cgraph_edge *
947 cgraph_node::create_edge (cgraph_node *callee,
948 gcall *call_stmt, profile_count count, bool cloning_p)
950 cgraph_edge *edge = symtab->create_edge (this, callee, call_stmt, count,
951 false, cloning_p);
953 if (!cloning_p)
954 initialize_inline_failed (edge);
956 edge->next_caller = callee->callers;
957 if (callee->callers)
958 callee->callers->prev_caller = edge;
959 edge->next_callee = callees;
960 if (callees)
961 callees->prev_callee = edge;
962 callees = edge;
963 callee->callers = edge;
965 return edge;
968 /* Allocate cgraph_indirect_call_info and set its fields to default values. */
970 cgraph_indirect_call_info *
971 cgraph_allocate_init_indirect_info (void)
973 cgraph_indirect_call_info *ii;
975 ii = ggc_cleared_alloc<cgraph_indirect_call_info> ();
976 ii->param_index = -1;
977 return ii;
980 /* Create an indirect edge with a yet-undetermined callee where the call
981 statement destination is a formal parameter of the caller with index
982 PARAM_INDEX. CLONING_P should be set if properties that are copied from an
983 original edge should not be calculated and indirect_info structure should
984 not be calculated. */
986 cgraph_edge *
987 cgraph_node::create_indirect_edge (gcall *call_stmt, int ecf_flags,
988 profile_count count,
989 bool cloning_p)
991 cgraph_edge *edge = symtab->create_edge (this, NULL, call_stmt, count, true,
992 cloning_p);
993 tree target;
995 if (!cloning_p)
996 initialize_inline_failed (edge);
998 edge->indirect_info = cgraph_allocate_init_indirect_info ();
999 edge->indirect_info->ecf_flags = ecf_flags;
1000 edge->indirect_info->vptr_changed = true;
1002 /* Record polymorphic call info. */
1003 if (!cloning_p
1004 && call_stmt
1005 && (target = gimple_call_fn (call_stmt))
1006 && virtual_method_call_p (target))
1008 ipa_polymorphic_call_context context (decl, target, call_stmt);
1010 /* Only record types can have virtual calls. */
1011 edge->indirect_info->polymorphic = true;
1012 edge->indirect_info->param_index = -1;
1013 edge->indirect_info->otr_token
1014 = tree_to_uhwi (OBJ_TYPE_REF_TOKEN (target));
1015 edge->indirect_info->otr_type = obj_type_ref_class (target);
1016 gcc_assert (TREE_CODE (edge->indirect_info->otr_type) == RECORD_TYPE);
1017 edge->indirect_info->context = context;
1020 edge->next_callee = indirect_calls;
1021 if (indirect_calls)
1022 indirect_calls->prev_callee = edge;
1023 indirect_calls = edge;
1025 return edge;
1028 /* Remove the edge from the list of the callees of the caller. */
1030 void
1031 cgraph_edge::remove_caller (void)
1033 if (prev_callee)
1034 prev_callee->next_callee = next_callee;
1035 if (next_callee)
1036 next_callee->prev_callee = prev_callee;
1037 if (!prev_callee)
1039 if (indirect_unknown_callee)
1040 caller->indirect_calls = next_callee;
1041 else
1042 caller->callees = next_callee;
1044 if (caller->call_site_hash
1045 && this == caller->get_edge (call_stmt))
1046 caller->call_site_hash->remove_elt_with_hash
1047 (call_stmt, cgraph_edge_hasher::hash (call_stmt));
1050 /* Put the edge onto the free list. */
1052 void
1053 symbol_table::free_edge (cgraph_edge *e)
1055 edges_count--;
1056 if (e->m_summary_id != -1)
1057 edge_released_summary_ids.safe_push (e->m_summary_id);
1059 if (e->indirect_info)
1060 ggc_free (e->indirect_info);
1061 ggc_free (e);
1064 /* Remove the edge in the cgraph. */
1066 void
1067 cgraph_edge::remove (cgraph_edge *edge)
1069 /* Call all edge removal hooks. */
1070 symtab->call_edge_removal_hooks (edge);
1072 if (!edge->indirect_unknown_callee)
1073 /* Remove from callers list of the callee. */
1074 edge->remove_callee ();
1076 /* Remove from callees list of the callers. */
1077 edge->remove_caller ();
1079 /* Put the edge onto the free list. */
1080 symtab->free_edge (edge);
1083 /* Turn edge into speculative call calling N2. Update
1084 the profile so the direct call is taken COUNT times
1085 with FREQUENCY.
1087 At clone materialization time, the indirect call E will
1088 be expanded as:
1090 if (call_dest == N2)
1091 n2 ();
1092 else
1093 call call_dest
1095 At this time the function just creates the direct call,
1096 the reference representing the if conditional and attaches
1097 them all to the original indirect call statement.
1099 speculative_id is used to link direct calls with their corresponding
1100 IPA_REF_ADDR references when representing speculative calls.
1102 Return direct edge created. */
1104 cgraph_edge *
1105 cgraph_edge::make_speculative (cgraph_node *n2, profile_count direct_count,
1106 unsigned int speculative_id)
1108 cgraph_node *n = caller;
1109 ipa_ref *ref = NULL;
1110 cgraph_edge *e2;
1112 if (dump_file)
1113 fprintf (dump_file, "Indirect call -> speculative call %s => %s\n",
1114 n->dump_name (), n2->dump_name ());
1115 speculative = true;
1116 e2 = n->create_edge (n2, call_stmt, direct_count);
1117 initialize_inline_failed (e2);
1118 e2->speculative = true;
1119 if (TREE_NOTHROW (n2->decl))
1120 e2->can_throw_external = false;
1121 else
1122 e2->can_throw_external = can_throw_external;
1123 e2->lto_stmt_uid = lto_stmt_uid;
1124 e2->speculative_id = speculative_id;
1125 e2->in_polymorphic_cdtor = in_polymorphic_cdtor;
1126 indirect_info->num_speculative_call_targets++;
1127 count -= e2->count;
1128 symtab->call_edge_duplication_hooks (this, e2);
1129 ref = n->create_reference (n2, IPA_REF_ADDR, call_stmt);
1130 ref->lto_stmt_uid = lto_stmt_uid;
1131 ref->speculative_id = speculative_id;
1132 ref->speculative = speculative;
1133 n2->mark_address_taken ();
1134 return e2;
1137 /* Speculative call consists of an indirect edge and one or more
1138 direct edge+ref pairs.
1140 Given an edge which is part of speculative call, return the first
1141 direct call edge in the speculative call sequence. */
1143 cgraph_edge *
1144 cgraph_edge::first_speculative_call_target ()
1146 cgraph_edge *e = this;
1148 gcc_checking_assert (e->speculative);
1149 if (e->callee)
1151 while (e->prev_callee && e->prev_callee->speculative
1152 && e->prev_callee->call_stmt == e->call_stmt
1153 && e->prev_callee->lto_stmt_uid == e->lto_stmt_uid)
1154 e = e->prev_callee;
1155 return e;
1157 /* Call stmt site hash always points to the first target of the
1158 speculative call sequence. */
1159 if (e->call_stmt)
1160 return e->caller->get_edge (e->call_stmt);
1161 for (cgraph_edge *e2 = e->caller->callees; true; e2 = e2->next_callee)
1162 if (e2->speculative
1163 && e->call_stmt == e2->call_stmt
1164 && e->lto_stmt_uid == e2->lto_stmt_uid)
1165 return e2;
1168 /* We always maintain first direct edge in the call site hash, if one
1169 exists. E is going to be removed. See if it is first one and update
1170 hash accordingly. INDIRECT is the indirect edge of speculative call.
1171 We assume that INDIRECT->num_speculative_call_targets_p () is already
1172 updated for removal of E. */
1173 static void
1174 update_call_stmt_hash_for_removing_direct_edge (cgraph_edge *e,
1175 cgraph_edge *indirect)
1177 if (e->caller->call_site_hash)
1179 if (e->caller->get_edge (e->call_stmt) != e)
1181 else if (!indirect->num_speculative_call_targets_p ())
1182 cgraph_update_edge_in_call_site_hash (indirect);
1183 else
1185 gcc_checking_assert (e->next_callee && e->next_callee->speculative
1186 && e->next_callee->call_stmt == e->call_stmt);
1187 cgraph_update_edge_in_call_site_hash (e->next_callee);
1192 /* Speculative call EDGE turned out to be direct call to CALLEE_DECL. Remove
1193 the speculative call sequence and return edge representing the call, the
1194 original EDGE can be removed and deallocated. Return the edge that now
1195 represents the call.
1197 For "speculative" indirect call that contains multiple "speculative"
1198 targets (i.e. edge->indirect_info->num_speculative_call_targets > 1),
1199 decrease the count and only remove current direct edge.
1201 If no speculative direct call left to the speculative indirect call, remove
1202 the speculative of both the indirect call and corresponding direct edge.
1204 It is up to caller to iteratively resolve each "speculative" direct call and
1205 redirect the call as appropriate. */
1207 cgraph_edge *
1208 cgraph_edge::resolve_speculation (cgraph_edge *edge, tree callee_decl)
1210 cgraph_edge *e2;
1211 ipa_ref *ref;
1213 gcc_assert (edge->speculative && (!callee_decl || edge->callee));
1214 if (!edge->callee)
1215 e2 = edge->first_speculative_call_target ();
1216 else
1217 e2 = edge;
1218 ref = e2->speculative_call_target_ref ();
1219 edge = edge->speculative_call_indirect_edge ();
1220 if (!callee_decl
1221 || !ref->referred->semantically_equivalent_p
1222 (symtab_node::get (callee_decl)))
1224 if (dump_file)
1226 if (callee_decl)
1228 fprintf (dump_file, "Speculative indirect call %s => %s has "
1229 "turned out to have contradicting known target ",
1230 edge->caller->dump_name (),
1231 e2->callee->dump_name ());
1232 print_generic_expr (dump_file, callee_decl);
1233 fprintf (dump_file, "\n");
1235 else
1237 fprintf (dump_file, "Removing speculative call %s => %s\n",
1238 edge->caller->dump_name (),
1239 e2->callee->dump_name ());
1243 else
1245 cgraph_edge *tmp = edge;
1246 if (dump_file)
1247 fprintf (dump_file, "Speculative call turned into direct call.\n");
1248 edge = e2;
1249 e2 = tmp;
1250 /* FIXME: If EDGE is inlined, we should scale up the frequencies
1251 and counts in the functions inlined through it. */
1253 edge->count += e2->count;
1254 if (edge->num_speculative_call_targets_p ())
1256 /* The indirect edge has multiple speculative targets, don't remove
1257 speculative until all related direct edges are resolved. */
1258 edge->indirect_info->num_speculative_call_targets--;
1259 if (!edge->indirect_info->num_speculative_call_targets)
1260 edge->speculative = false;
1262 else
1263 edge->speculative = false;
1264 e2->speculative = false;
1265 update_call_stmt_hash_for_removing_direct_edge (e2, edge);
1266 ref->remove_reference ();
1267 if (e2->indirect_unknown_callee || e2->inline_failed)
1268 remove (e2);
1269 else
1270 e2->callee->remove_symbol_and_inline_clones ();
1271 return edge;
1274 /* Return edge corresponding to speculative call to a given target.
1275 NULL if speculative call does not have one. */
1277 cgraph_edge *
1278 cgraph_edge::speculative_call_for_target (cgraph_node *target)
1280 for (cgraph_edge *direct = first_speculative_call_target ();
1281 direct;
1282 direct = direct->next_speculative_call_target ())
1283 if (direct->speculative_call_target_ref ()
1284 ->referred->semantically_equivalent_p (target))
1285 return direct;
1286 return NULL;
1289 /* Make an indirect or speculative EDGE with an unknown callee an ordinary edge
1290 leading to CALLEE. Speculations can be resolved in the process and EDGE can
1291 be removed and deallocated. Return the edge that now represents the
1292 call. */
1294 cgraph_edge *
1295 cgraph_edge::make_direct (cgraph_edge *edge, cgraph_node *callee)
1297 gcc_assert (edge->indirect_unknown_callee || edge->speculative);
1299 /* If we are redirecting speculative call, make it non-speculative. */
1300 if (edge->speculative)
1302 cgraph_edge *found = NULL;
1303 cgraph_edge *direct, *next;
1305 edge = edge->speculative_call_indirect_edge ();
1307 /* Look all speculative targets and remove all but one corresponding
1308 to callee (if it exists). */
1309 for (direct = edge->first_speculative_call_target ();
1310 direct;
1311 direct = next)
1313 next = direct->next_speculative_call_target ();
1315 /* Compare ref not direct->callee. Direct edge is possibly
1316 inlined or redirected. */
1317 if (!direct->speculative_call_target_ref ()
1318 ->referred->semantically_equivalent_p (callee))
1319 edge = direct->resolve_speculation (direct, NULL);
1320 else
1322 gcc_checking_assert (!found);
1323 found = direct;
1327 /* On successful speculation just remove the indirect edge and
1328 return the pre existing direct edge.
1329 It is important to not remove it and redirect because the direct
1330 edge may be inlined or redirected. */
1331 if (found)
1333 cgraph_edge *e2 = resolve_speculation (found, callee->decl);
1334 gcc_checking_assert (!found->speculative && e2 == found);
1335 return found;
1337 gcc_checking_assert (!edge->speculative);
1340 edge->indirect_unknown_callee = 0;
1341 ggc_free (edge->indirect_info);
1342 edge->indirect_info = NULL;
1344 /* Get the edge out of the indirect edge list. */
1345 if (edge->prev_callee)
1346 edge->prev_callee->next_callee = edge->next_callee;
1347 if (edge->next_callee)
1348 edge->next_callee->prev_callee = edge->prev_callee;
1349 if (!edge->prev_callee)
1350 edge->caller->indirect_calls = edge->next_callee;
1352 /* Put it into the normal callee list */
1353 edge->prev_callee = NULL;
1354 edge->next_callee = edge->caller->callees;
1355 if (edge->caller->callees)
1356 edge->caller->callees->prev_callee = edge;
1357 edge->caller->callees = edge;
1359 /* Insert to callers list of the new callee. */
1360 edge->set_callee (callee);
1362 /* We need to re-determine the inlining status of the edge. */
1363 initialize_inline_failed (edge);
1364 return edge;
1367 /* Redirect callee of the edge to N. The function does not update underlying
1368 call expression. */
1370 void
1371 cgraph_edge::redirect_callee (cgraph_node *n)
1373 bool loc = callee->comdat_local_p ();
1374 /* Remove from callers list of the current callee. */
1375 remove_callee ();
1377 /* Insert to callers list of the new callee. */
1378 set_callee (n);
1380 if (!inline_failed)
1381 return;
1382 if (!loc && n->comdat_local_p ())
1384 cgraph_node *to = caller->inlined_to ? caller->inlined_to : caller;
1385 to->calls_comdat_local = true;
1387 else if (loc && !n->comdat_local_p ())
1389 cgraph_node *to = caller->inlined_to ? caller->inlined_to : caller;
1390 gcc_checking_assert (to->calls_comdat_local);
1391 to->calls_comdat_local = to->check_calls_comdat_local_p ();
1395 /* If necessary, change the function declaration in the call statement
1396 associated with E so that it corresponds to the edge callee. Speculations
1397 can be resolved in the process and EDGE can be removed and deallocated.
1399 The edge could be one of speculative direct call generated from speculative
1400 indirect call. In this circumstance, decrease the speculative targets
1401 count (i.e. num_speculative_call_targets) and redirect call stmt to the
1402 corresponding i-th target. If no speculative direct call left to the
1403 speculative indirect call, remove "speculative" of the indirect call and
1404 also redirect stmt to it's final direct target.
1406 When called from within tree-inline, KILLED_SSAs has to contain the pointer
1407 to killed_new_ssa_names within the copy_body_data structure and SSAs
1408 discovered to be useless (if LHS is removed) will be added to it, otherwise
1409 it needs to be NULL.
1411 It is up to caller to iteratively transform each "speculative"
1412 direct call as appropriate. */
1414 gimple *
1415 cgraph_edge::redirect_call_stmt_to_callee (cgraph_edge *e,
1416 hash_set <tree> *killed_ssas)
1418 tree decl = gimple_call_fndecl (e->call_stmt);
1419 gcall *new_stmt;
1421 if (e->speculative)
1423 /* If there already is an direct call (i.e. as a result of inliner's
1424 substitution), forget about speculating. */
1425 if (decl)
1426 e = make_direct (e->speculative_call_indirect_edge (),
1427 cgraph_node::get (decl));
1428 else
1430 /* Be sure we redirect all speculative targets before poking
1431 about indirect edge. */
1432 gcc_checking_assert (e->callee);
1433 cgraph_edge *indirect = e->speculative_call_indirect_edge ();
1434 gcall *new_stmt;
1435 ipa_ref *ref;
1437 /* Expand speculation into GIMPLE code. */
1438 if (dump_file)
1440 fprintf (dump_file,
1441 "Expanding speculative call of %s -> %s count: ",
1442 e->caller->dump_name (),
1443 e->callee->dump_name ());
1444 e->count.dump (dump_file);
1445 fprintf (dump_file, "\n");
1447 push_cfun (DECL_STRUCT_FUNCTION (e->caller->decl));
1449 profile_count all = indirect->count;
1450 for (cgraph_edge *e2 = e->first_speculative_call_target ();
1452 e2 = e2->next_speculative_call_target ())
1453 all = all + e2->count;
1454 profile_probability prob = e->count.probability_in (all);
1455 if (!prob.initialized_p ())
1456 prob = profile_probability::even ();
1457 ref = e->speculative_call_target_ref ();
1458 new_stmt = gimple_ic (e->call_stmt,
1459 dyn_cast<cgraph_node *> (ref->referred),
1460 prob);
1461 e->speculative = false;
1462 if (indirect->num_speculative_call_targets_p ())
1464 /* The indirect edge has multiple speculative targets, don't
1465 remove speculative until all related direct edges are
1466 redirected. */
1467 indirect->indirect_info->num_speculative_call_targets--;
1468 if (!indirect->indirect_info->num_speculative_call_targets)
1469 indirect->speculative = false;
1471 else
1472 indirect->speculative = false;
1473 /* Indirect edges are not both in the call site hash.
1474 get it updated. */
1475 update_call_stmt_hash_for_removing_direct_edge (e, indirect);
1476 cgraph_edge::set_call_stmt (e, new_stmt, false);
1477 e->count = gimple_bb (e->call_stmt)->count;
1479 /* Once we are done with expanding the sequence, update also indirect
1480 call probability. Until then the basic block accounts for the
1481 sum of indirect edge and all non-expanded speculations. */
1482 if (!indirect->speculative)
1483 indirect->count = gimple_bb (indirect->call_stmt)->count;
1484 ref->speculative = false;
1485 ref->stmt = NULL;
1486 pop_cfun ();
1487 /* Continue redirecting E to proper target. */
1492 if (e->indirect_unknown_callee
1493 || decl == e->callee->decl)
1494 return e->call_stmt;
1496 if (decl && ipa_saved_clone_sources)
1498 tree *p = ipa_saved_clone_sources->get (e->callee);
1499 if (p && decl == *p)
1501 gimple_call_set_fndecl (e->call_stmt, e->callee->decl);
1502 return e->call_stmt;
1505 if (flag_checking && decl)
1507 if (cgraph_node *node = cgraph_node::get (decl))
1509 clone_info *info = clone_info::get (node);
1510 gcc_assert (!info || !info->param_adjustments);
1514 clone_info *callee_info = clone_info::get (e->callee);
1515 if (symtab->dump_file)
1517 fprintf (symtab->dump_file, "updating call of %s -> %s: ",
1518 e->caller->dump_name (), e->callee->dump_name ());
1519 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
1520 if (callee_info && callee_info->param_adjustments)
1521 callee_info->param_adjustments->dump (symtab->dump_file);
1524 if (ipa_param_adjustments *padjs
1525 = callee_info ? callee_info->param_adjustments : NULL)
1527 /* We need to defer cleaning EH info on the new statement to
1528 fixup-cfg. We may not have dominator information at this point
1529 and thus would end up with unreachable blocks and have no way
1530 to communicate that we need to run CFG cleanup then. */
1531 int lp_nr = lookup_stmt_eh_lp (e->call_stmt);
1532 if (lp_nr != 0)
1533 remove_stmt_from_eh_lp (e->call_stmt);
1535 tree old_fntype = gimple_call_fntype (e->call_stmt);
1536 new_stmt = padjs->modify_call (e, false, killed_ssas);
1537 cgraph_node *origin = e->callee;
1538 while (origin->clone_of)
1539 origin = origin->clone_of;
1541 if ((origin->former_clone_of
1542 && old_fntype == TREE_TYPE (origin->former_clone_of))
1543 || old_fntype == TREE_TYPE (origin->decl))
1544 gimple_call_set_fntype (new_stmt, TREE_TYPE (e->callee->decl));
1545 else
1547 tree new_fntype = padjs->build_new_function_type (old_fntype, true);
1548 gimple_call_set_fntype (new_stmt, new_fntype);
1551 if (lp_nr != 0)
1552 add_stmt_to_eh_lp (new_stmt, lp_nr);
1554 else
1556 if (flag_checking
1557 && !fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE,
1558 BUILT_IN_UNREACHABLE_TRAP))
1559 ipa_verify_edge_has_no_modifications (e);
1560 new_stmt = e->call_stmt;
1561 gimple_call_set_fndecl (new_stmt, e->callee->decl);
1562 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1565 /* If changing the call to __cxa_pure_virtual or similar noreturn function,
1566 adjust gimple_call_fntype too. */
1567 if (gimple_call_noreturn_p (new_stmt)
1568 && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (e->callee->decl)))
1569 && TYPE_ARG_TYPES (TREE_TYPE (e->callee->decl))
1570 && (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (e->callee->decl)))
1571 == void_type_node))
1572 gimple_call_set_fntype (new_stmt, TREE_TYPE (e->callee->decl));
1574 /* If the call becomes noreturn, remove the LHS if possible. */
1575 tree lhs = gimple_call_lhs (new_stmt);
1576 if (lhs
1577 && gimple_call_noreturn_p (new_stmt)
1578 && (VOID_TYPE_P (TREE_TYPE (gimple_call_fntype (new_stmt)))
1579 || should_remove_lhs_p (lhs)))
1581 gimple_call_set_lhs (new_stmt, NULL_TREE);
1582 /* We need to fix up the SSA name to avoid checking errors. */
1583 if (TREE_CODE (lhs) == SSA_NAME)
1585 tree var = create_tmp_reg_fn (DECL_STRUCT_FUNCTION (e->caller->decl),
1586 TREE_TYPE (lhs), NULL);
1587 SET_SSA_NAME_VAR_OR_IDENTIFIER (lhs, var);
1588 SSA_NAME_DEF_STMT (lhs) = gimple_build_nop ();
1589 set_ssa_default_def (DECL_STRUCT_FUNCTION (e->caller->decl),
1590 var, lhs);
1592 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1595 /* If new callee has no static chain, remove it. */
1596 if (gimple_call_chain (new_stmt) && !DECL_STATIC_CHAIN (e->callee->decl))
1598 gimple_call_set_chain (new_stmt, NULL);
1599 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1602 maybe_remove_unused_call_args (DECL_STRUCT_FUNCTION (e->caller->decl),
1603 new_stmt);
1605 e->caller->set_call_stmt_including_clones (e->call_stmt, new_stmt, false);
1607 if (symtab->dump_file)
1609 fprintf (symtab->dump_file, " updated to:");
1610 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
1612 return new_stmt;
1615 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1616 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
1617 of OLD_STMT if it was previously call statement.
1618 If NEW_STMT is NULL, the call has been dropped without any
1619 replacement. */
1621 static void
1622 cgraph_update_edges_for_call_stmt_node (cgraph_node *node,
1623 gimple *old_stmt, tree old_call,
1624 gimple *new_stmt)
1626 tree new_call = (new_stmt && is_gimple_call (new_stmt))
1627 ? gimple_call_fndecl (new_stmt) : 0;
1629 /* We are seeing indirect calls, then there is nothing to update. */
1630 if (!new_call && !old_call)
1631 return;
1632 /* See if we turned indirect call into direct call or folded call to one builtin
1633 into different builtin. */
1634 if (old_call != new_call)
1636 cgraph_edge *e = node->get_edge (old_stmt);
1637 cgraph_edge *ne = NULL;
1638 profile_count count;
1640 if (e)
1642 /* Keep calls marked as dead dead. */
1643 if (new_stmt && is_gimple_call (new_stmt) && e->callee
1644 && fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE,
1645 BUILT_IN_UNREACHABLE_TRAP))
1647 cgraph_edge::set_call_stmt (node->get_edge (old_stmt),
1648 as_a <gcall *> (new_stmt));
1649 return;
1651 /* See if the edge is already there and has the correct callee. It
1652 might be so because of indirect inlining has already updated
1653 it. We also might've cloned and redirected the edge. */
1654 if (new_call && e->callee)
1656 cgraph_node *callee = e->callee;
1657 while (callee)
1659 if (callee->decl == new_call
1660 || callee->former_clone_of == new_call)
1662 cgraph_edge::set_call_stmt (e, as_a <gcall *> (new_stmt));
1663 return;
1665 callee = callee->clone_of;
1669 /* Otherwise remove edge and create new one; we can't simply redirect
1670 since function has changed, so inline plan and other information
1671 attached to edge is invalid. */
1672 count = e->count;
1673 if (e->indirect_unknown_callee || e->inline_failed)
1674 cgraph_edge::remove (e);
1675 else
1676 e->callee->remove_symbol_and_inline_clones ();
1678 else if (new_call)
1680 /* We are seeing new direct call; compute profile info based on BB. */
1681 basic_block bb = gimple_bb (new_stmt);
1682 count = bb->count;
1685 if (new_call)
1687 ne = node->create_edge (cgraph_node::get_create (new_call),
1688 as_a <gcall *> (new_stmt), count);
1689 gcc_assert (ne->inline_failed);
1692 /* We only updated the call stmt; update pointer in cgraph edge.. */
1693 else if (old_stmt != new_stmt)
1694 cgraph_edge::set_call_stmt (node->get_edge (old_stmt),
1695 as_a <gcall *> (new_stmt));
1698 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1699 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1700 of OLD_STMT before it was updated (updating can happen inplace). */
1702 void
1703 cgraph_update_edges_for_call_stmt (gimple *old_stmt, tree old_decl,
1704 gimple *new_stmt)
1706 cgraph_node *orig = cgraph_node::get (cfun->decl);
1707 cgraph_node *node;
1709 gcc_checking_assert (orig);
1710 cgraph_update_edges_for_call_stmt_node (orig, old_stmt, old_decl, new_stmt);
1711 if (orig->clones)
1712 for (node = orig->clones; node != orig;)
1714 cgraph_update_edges_for_call_stmt_node (node, old_stmt, old_decl,
1715 new_stmt);
1716 if (node->clones)
1717 node = node->clones;
1718 else if (node->next_sibling_clone)
1719 node = node->next_sibling_clone;
1720 else
1722 while (node != orig && !node->next_sibling_clone)
1723 node = node->clone_of;
1724 if (node != orig)
1725 node = node->next_sibling_clone;
1731 /* Remove all callees from the node. */
1733 void
1734 cgraph_node::remove_callees (void)
1736 cgraph_edge *e, *f;
1738 calls_comdat_local = false;
1740 /* It is sufficient to remove the edges from the lists of callers of
1741 the callees. The callee list of the node can be zapped with one
1742 assignment. */
1743 for (e = callees; e; e = f)
1745 f = e->next_callee;
1746 symtab->call_edge_removal_hooks (e);
1747 if (!e->indirect_unknown_callee)
1748 e->remove_callee ();
1749 symtab->free_edge (e);
1751 for (e = indirect_calls; e; e = f)
1753 f = e->next_callee;
1754 symtab->call_edge_removal_hooks (e);
1755 if (!e->indirect_unknown_callee)
1756 e->remove_callee ();
1757 symtab->free_edge (e);
1759 indirect_calls = NULL;
1760 callees = NULL;
1761 if (call_site_hash)
1763 call_site_hash->empty ();
1764 call_site_hash = NULL;
1768 /* Remove all callers from the node. */
1770 void
1771 cgraph_node::remove_callers (void)
1773 cgraph_edge *e, *f;
1775 /* It is sufficient to remove the edges from the lists of callees of
1776 the callers. The caller list of the node can be zapped with one
1777 assignment. */
1778 for (e = callers; e; e = f)
1780 f = e->next_caller;
1781 symtab->call_edge_removal_hooks (e);
1782 e->remove_caller ();
1783 symtab->free_edge (e);
1785 callers = NULL;
1788 /* Helper function for cgraph_release_function_body and free_lang_data.
1789 It releases body from function DECL without having to inspect its
1790 possibly non-existent symtab node. */
1792 void
1793 release_function_body (tree decl)
1795 function *fn = DECL_STRUCT_FUNCTION (decl);
1796 if (fn)
1798 if (fn->cfg
1799 && loops_for_fn (fn))
1801 fn->curr_properties &= ~PROP_loops;
1802 loop_optimizer_finalize (fn);
1804 if (fn->gimple_df)
1806 delete_tree_ssa (fn);
1807 fn->eh = NULL;
1809 if (fn->cfg)
1811 gcc_assert (!dom_info_available_p (fn, CDI_DOMINATORS));
1812 gcc_assert (!dom_info_available_p (fn, CDI_POST_DOMINATORS));
1813 delete_tree_cfg_annotations (fn);
1814 free_cfg (fn);
1815 fn->cfg = NULL;
1817 if (fn->value_histograms)
1818 free_histograms (fn);
1819 gimple_set_body (decl, NULL);
1820 /* Struct function hangs a lot of data that would leak if we didn't
1821 removed all pointers to it. */
1822 ggc_free (fn);
1823 DECL_STRUCT_FUNCTION (decl) = NULL;
1825 DECL_SAVED_TREE (decl) = NULL;
1828 /* Release memory used to represent body of function.
1829 Use this only for functions that are released before being translated to
1830 target code (i.e. RTL). Functions that are compiled to RTL and beyond
1831 are free'd in final.cc via free_after_compilation().
1832 KEEP_ARGUMENTS are useful only if you want to rebuild body as thunk. */
1834 void
1835 cgraph_node::release_body (bool keep_arguments)
1837 ipa_transforms_to_apply.release ();
1838 if (!used_as_abstract_origin && symtab->state != PARSING)
1840 DECL_RESULT (decl) = NULL;
1842 if (!keep_arguments)
1843 DECL_ARGUMENTS (decl) = NULL;
1845 /* If the node is abstract and needed, then do not clear
1846 DECL_INITIAL of its associated function declaration because it's
1847 needed to emit debug info later. */
1848 if (!used_as_abstract_origin && DECL_INITIAL (decl))
1849 DECL_INITIAL (decl) = error_mark_node;
1850 release_function_body (decl);
1851 if (lto_file_data)
1853 lto_free_function_in_decl_state_for_node (this);
1854 lto_file_data = NULL;
1856 if (flag_checking && clones)
1858 /* It is invalid to release body before materializing clones except
1859 for thunks that don't really need a body. Verify also that we do
1860 not leak pointers to the call statements. */
1861 for (cgraph_node *node = clones; node;
1862 node = node->next_sibling_clone)
1863 gcc_assert (node->thunk && !node->callees->call_stmt);
1865 remove_callees ();
1866 remove_all_references ();
1869 /* Remove function from symbol table. */
1871 void
1872 cgraph_node::remove (void)
1874 bool clone_info_set = false;
1875 clone_info *info, saved_info;
1876 if (symtab->ipa_clones_dump_file && symtab->cloned_nodes.contains (this))
1877 fprintf (symtab->ipa_clones_dump_file,
1878 "Callgraph removal;%s;%d;%s;%d;%d\n", asm_name (), order,
1879 DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl),
1880 DECL_SOURCE_COLUMN (decl));
1882 if ((info = clone_info::get (this)) != NULL)
1884 saved_info = *info;
1885 clone_info_set = true;
1887 symtab->call_cgraph_removal_hooks (this);
1888 remove_callers ();
1889 remove_callees ();
1890 ipa_transforms_to_apply.release ();
1891 delete_function_version (function_version ());
1893 /* Incremental inlining access removed nodes stored in the postorder list.
1895 force_output = false;
1896 forced_by_abi = false;
1898 unregister (clone_info_set ? &saved_info : NULL);
1899 if (prev_sibling_clone)
1900 prev_sibling_clone->next_sibling_clone = next_sibling_clone;
1901 else if (clone_of)
1903 clone_of->clones = next_sibling_clone;
1904 if (!clones)
1906 bool need_body = false;
1907 for (cgraph_node *n = clone_of; n; n = n->clone_of)
1908 if (n->analyzed || n->clones)
1910 need_body = true;
1911 break;
1913 if (!need_body)
1914 clone_of->release_body ();
1917 if (next_sibling_clone)
1918 next_sibling_clone->prev_sibling_clone = prev_sibling_clone;
1919 if (clones)
1921 cgraph_node *n, *next;
1923 if (clone_of)
1925 for (n = clones; n->next_sibling_clone; n = n->next_sibling_clone)
1926 n->clone_of = clone_of;
1927 n->clone_of = clone_of;
1928 n->next_sibling_clone = clone_of->clones;
1929 if (clone_of->clones)
1930 clone_of->clones->prev_sibling_clone = n;
1931 clone_of->clones = clones;
1933 else
1935 /* We are removing node with clones. This makes clones inconsistent,
1936 but assume they will be removed subsequently and just keep clone
1937 tree intact. This can happen in unreachable function removal since
1938 we remove unreachable functions in random order, not by bottom-up
1939 walk of clone trees. */
1940 for (n = clones; n; n = next)
1942 next = n->next_sibling_clone;
1943 n->next_sibling_clone = NULL;
1944 n->prev_sibling_clone = NULL;
1945 n->clone_of = NULL;
1950 /* While all the clones are removed after being proceeded, the function
1951 itself is kept in the cgraph even after it is compiled. Check whether
1952 we are done with this body and reclaim it proactively if this is the case.
1954 if (symtab->state != LTO_STREAMING)
1956 cgraph_node *n = cgraph_node::get (decl);
1957 if (!n
1958 || (!n->clones && !n->clone_of && !n->inlined_to
1959 && ((symtab->global_info_ready || in_lto_p)
1960 && (TREE_ASM_WRITTEN (n->decl)
1961 || DECL_EXTERNAL (n->decl)
1962 || !n->analyzed
1963 || (!flag_wpa && n->in_other_partition)))))
1964 release_body ();
1966 else
1968 lto_free_function_in_decl_state_for_node (this);
1969 lto_file_data = NULL;
1972 decl = NULL;
1973 if (call_site_hash)
1975 call_site_hash->empty ();
1976 call_site_hash = NULL;
1979 symtab->release_symbol (this);
1982 /* Likewise indicate that a node is having address taken. */
1984 void
1985 cgraph_node::mark_address_taken (void)
1987 /* Indirect inlining can figure out that all uses of the address are
1988 inlined. */
1989 if (inlined_to)
1991 gcc_assert (cfun->after_inlining);
1992 gcc_assert (callers->indirect_inlining_edge);
1993 return;
1995 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1996 IPA_REF_ADDR reference exists (and thus it should be set on node
1997 representing alias we take address of) and as a test whether address
1998 of the object was taken (and thus it should be set on node alias is
1999 referring to). We should remove the first use and the remove the
2000 following set. */
2001 address_taken = 1;
2002 cgraph_node *node = ultimate_alias_target ();
2003 node->address_taken = 1;
2006 /* Return local info node for the compiled function. */
2008 cgraph_node *
2009 cgraph_node::local_info_node (tree decl)
2011 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
2012 cgraph_node *node = get (decl);
2013 if (!node)
2014 return NULL;
2015 return node->ultimate_alias_target ();
2018 /* Return RTL info for the compiled function. */
2020 cgraph_rtl_info *
2021 cgraph_node::rtl_info (const_tree decl)
2023 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
2024 cgraph_node *node = get (decl);
2025 if (!node)
2026 return NULL;
2027 enum availability avail;
2028 node = node->ultimate_alias_target (&avail);
2029 if (decl != current_function_decl
2030 && (avail < AVAIL_AVAILABLE
2031 || (node->decl != current_function_decl
2032 && !TREE_ASM_WRITTEN (node->decl))))
2033 return NULL;
2034 /* Allocate if it doesn't exist. */
2035 if (node->rtl == NULL)
2037 node->rtl = ggc_cleared_alloc<cgraph_rtl_info> ();
2038 SET_HARD_REG_SET (node->rtl->function_used_regs);
2040 return node->rtl;
2043 /* Return a string describing the failure REASON. */
2045 const char*
2046 cgraph_inline_failed_string (cgraph_inline_failed_t reason)
2048 #undef DEFCIFCODE
2049 #define DEFCIFCODE(code, type, string) string,
2051 static const char *cif_string_table[CIF_N_REASONS] = {
2052 #include "cif-code.def"
2055 /* Signedness of an enum type is implementation defined, so cast it
2056 to unsigned before testing. */
2057 gcc_assert ((unsigned) reason < CIF_N_REASONS);
2058 return cif_string_table[reason];
2061 /* Return a type describing the failure REASON. */
2063 cgraph_inline_failed_type_t
2064 cgraph_inline_failed_type (cgraph_inline_failed_t reason)
2066 #undef DEFCIFCODE
2067 #define DEFCIFCODE(code, type, string) type,
2069 static cgraph_inline_failed_type_t cif_type_table[CIF_N_REASONS] = {
2070 #include "cif-code.def"
2073 /* Signedness of an enum type is implementation defined, so cast it
2074 to unsigned before testing. */
2075 gcc_assert ((unsigned) reason < CIF_N_REASONS);
2076 return cif_type_table[reason];
2079 /* Names used to print out the availability enum. */
2080 const char * const cgraph_availability_names[] =
2081 {"unset", "not_available", "overwritable", "available", "local"};
2083 /* Output flags of edge to a file F. */
2085 void
2086 cgraph_edge::dump_edge_flags (FILE *f)
2088 if (speculative)
2089 fprintf (f, "(speculative) ");
2090 if (!inline_failed)
2091 fprintf (f, "(inlined) ");
2092 if (call_stmt_cannot_inline_p)
2093 fprintf (f, "(call_stmt_cannot_inline_p) ");
2094 if (indirect_inlining_edge)
2095 fprintf (f, "(indirect_inlining) ");
2096 if (count.initialized_p ())
2098 fprintf (f, "(");
2099 count.dump (f);
2100 fprintf (f, ",");
2101 fprintf (f, "%.2f per call) ", sreal_frequency ().to_double ());
2103 if (can_throw_external)
2104 fprintf (f, "(can throw external) ");
2107 /* Dump edge to stderr. */
2109 void
2110 cgraph_edge::debug (void)
2112 fprintf (stderr, "%s -> %s ", caller->dump_asm_name (),
2113 callee == NULL ? "(null)" : callee->dump_asm_name ());
2114 dump_edge_flags (stderr);
2115 fprintf (stderr, "\n\n");
2116 caller->debug ();
2117 if (callee != NULL)
2118 callee->debug ();
2121 /* Dump call graph node to file F. */
2123 void
2124 cgraph_node::dump (FILE *f)
2126 cgraph_edge *edge;
2128 dump_base (f);
2130 if (inlined_to)
2131 fprintf (f, " Function %s is inline copy in %s\n",
2132 dump_name (),
2133 inlined_to->dump_name ());
2134 if (clone_of)
2135 fprintf (f, " Clone of %s\n", clone_of->dump_asm_name ());
2136 if (symtab->function_flags_ready)
2137 fprintf (f, " Availability: %s\n",
2138 cgraph_availability_names [get_availability ()]);
2140 if (profile_id)
2141 fprintf (f, " Profile id: %i\n",
2142 profile_id);
2143 if (unit_id)
2144 fprintf (f, " Unit id: %i\n",
2145 unit_id);
2146 cgraph_function_version_info *vi = function_version ();
2147 if (vi != NULL)
2149 fprintf (f, " Version info: ");
2150 if (vi->prev != NULL)
2152 fprintf (f, "prev: ");
2153 fprintf (f, "%s ", vi->prev->this_node->dump_asm_name ());
2155 if (vi->next != NULL)
2157 fprintf (f, "next: ");
2158 fprintf (f, "%s ", vi->next->this_node->dump_asm_name ());
2160 if (vi->dispatcher_resolver != NULL_TREE)
2161 fprintf (f, "dispatcher: %s",
2162 lang_hooks.decl_printable_name (vi->dispatcher_resolver, 2));
2164 fprintf (f, "\n");
2166 fprintf (f, " Function flags:");
2167 if (count.initialized_p ())
2169 fprintf (f, " count:");
2170 count.dump (f);
2172 if (tp_first_run > 0)
2173 fprintf (f, " first_run:%" PRId64, (int64_t) tp_first_run);
2174 if (cgraph_node *origin = nested_function_origin (this))
2175 fprintf (f, " nested in:%s", origin->dump_asm_name ());
2176 if (gimple_has_body_p (decl))
2177 fprintf (f, " body");
2178 if (process)
2179 fprintf (f, " process");
2180 if (local)
2181 fprintf (f, " local");
2182 if (redefined_extern_inline)
2183 fprintf (f, " redefined_extern_inline");
2184 if (only_called_at_startup)
2185 fprintf (f, " only_called_at_startup");
2186 if (only_called_at_exit)
2187 fprintf (f, " only_called_at_exit");
2188 if (tm_clone)
2189 fprintf (f, " tm_clone");
2190 if (calls_comdat_local)
2191 fprintf (f, " calls_comdat_local");
2192 if (icf_merged)
2193 fprintf (f, " icf_merged");
2194 if (merged_comdat)
2195 fprintf (f, " merged_comdat");
2196 if (merged_extern_inline)
2197 fprintf (f, " merged_extern_inline");
2198 if (split_part)
2199 fprintf (f, " split_part");
2200 if (indirect_call_target)
2201 fprintf (f, " indirect_call_target");
2202 if (nonfreeing_fn)
2203 fprintf (f, " nonfreeing_fn");
2204 if (DECL_STATIC_CONSTRUCTOR (decl))
2205 fprintf (f," static_constructor (priority:%i)", get_init_priority ());
2206 if (DECL_STATIC_DESTRUCTOR (decl))
2207 fprintf (f," static_destructor (priority:%i)", get_fini_priority ());
2208 if (frequency == NODE_FREQUENCY_HOT)
2209 fprintf (f, " hot");
2210 if (frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED)
2211 fprintf (f, " unlikely_executed");
2212 if (frequency == NODE_FREQUENCY_EXECUTED_ONCE)
2213 fprintf (f, " executed_once");
2214 if (opt_for_fn (decl, optimize_size))
2215 fprintf (f, " optimize_size");
2216 if (parallelized_function)
2217 fprintf (f, " parallelized_function");
2218 if (DECL_IS_MALLOC (decl))
2219 fprintf (f, " decl_is_malloc");
2220 if (DECL_IS_OPERATOR_NEW_P (decl))
2221 fprintf (f, " %soperator_new",
2222 DECL_IS_REPLACEABLE_OPERATOR (decl) ? "replaceable_" : "");
2223 if (DECL_IS_OPERATOR_DELETE_P (decl))
2224 fprintf (f, " %soperator_delete",
2225 DECL_IS_REPLACEABLE_OPERATOR (decl) ? "replaceable_" : "");
2227 if (DECL_STATIC_CHAIN (decl))
2228 fprintf (f, " static_chain");
2230 fprintf (f, "\n");
2232 if (thunk)
2234 fprintf (f, " Thunk");
2235 thunk_info::get (this)->dump (f);
2237 else if (former_thunk_p ())
2239 fprintf (f, " Former thunk ");
2240 thunk_info::get (this)->dump (f);
2242 else gcc_checking_assert (!thunk_info::get (this));
2244 fprintf (f, " Called by: ");
2246 profile_count sum = profile_count::zero ();
2247 for (edge = callers; edge; edge = edge->next_caller)
2249 fprintf (f, "%s ", edge->caller->dump_asm_name ());
2250 edge->dump_edge_flags (f);
2251 if (edge->count.initialized_p ())
2252 sum += edge->count.ipa ();
2255 fprintf (f, "\n Calls: ");
2256 for (edge = callees; edge; edge = edge->next_callee)
2258 fprintf (f, "%s ", edge->callee->dump_asm_name ());
2259 edge->dump_edge_flags (f);
2261 fprintf (f, "\n");
2263 if (!body_removed && count.ipa ().initialized_p ())
2265 bool ok = true;
2266 bool min = false;
2267 ipa_ref *ref;
2269 FOR_EACH_ALIAS (this, ref)
2270 if (dyn_cast <cgraph_node *> (ref->referring)->count.initialized_p ())
2271 sum += dyn_cast <cgraph_node *> (ref->referring)->count.ipa ();
2273 if (inlined_to
2274 || (symtab->state < EXPANSION
2275 && ultimate_alias_target () == this && only_called_directly_p ()))
2276 ok = !count.ipa ().differs_from_p (sum);
2277 else if (count.ipa () > profile_count::from_gcov_type (100)
2278 && count.ipa () < sum.apply_scale (99, 100))
2279 ok = false, min = true;
2280 if (!ok)
2282 fprintf (f, " Invalid sum of caller counts ");
2283 sum.dump (f);
2284 if (min)
2285 fprintf (f, ", should be at most ");
2286 else
2287 fprintf (f, ", should be ");
2288 count.ipa ().dump (f);
2289 fprintf (f, "\n");
2293 for (edge = indirect_calls; edge; edge = edge->next_callee)
2295 if (edge->indirect_info->polymorphic)
2297 fprintf (f, " Polymorphic indirect call of type ");
2298 print_generic_expr (f, edge->indirect_info->otr_type, TDF_SLIM);
2299 fprintf (f, " token:%i", (int) edge->indirect_info->otr_token);
2301 else
2302 fprintf (f, " Indirect call");
2303 edge->dump_edge_flags (f);
2304 if (edge->indirect_info->param_index != -1)
2306 fprintf (f, "of param:%i ", edge->indirect_info->param_index);
2307 if (edge->indirect_info->agg_contents)
2308 fprintf (f, "loaded from %s %s at offset %i ",
2309 edge->indirect_info->member_ptr ? "member ptr" : "aggregate",
2310 edge->indirect_info->by_ref ? "passed by reference":"",
2311 (int)edge->indirect_info->offset);
2312 if (edge->indirect_info->vptr_changed)
2313 fprintf (f, "(vptr maybe changed) ");
2315 fprintf (f, "num speculative call targets: %i\n",
2316 edge->indirect_info->num_speculative_call_targets);
2317 if (edge->indirect_info->polymorphic)
2318 edge->indirect_info->context.dump (f);
2322 /* Dump call graph node to file F in graphviz format. */
2324 void
2325 cgraph_node::dump_graphviz (FILE *f)
2327 cgraph_edge *edge;
2329 for (edge = callees; edge; edge = edge->next_callee)
2331 cgraph_node *callee = edge->callee;
2333 fprintf (f, "\t\"%s\" -> \"%s\"\n", dump_name (), callee->dump_name ());
2338 /* Dump call graph node NODE to stderr. */
2340 DEBUG_FUNCTION void
2341 cgraph_node::debug (void)
2343 dump (stderr);
2346 /* Dump the callgraph to file F. */
2348 void
2349 cgraph_node::dump_cgraph (FILE *f)
2351 cgraph_node *node;
2353 fprintf (f, "callgraph:\n\n");
2354 FOR_EACH_FUNCTION (node)
2355 node->dump (f);
2358 /* Return true when the DECL can possibly be inlined. */
2360 bool
2361 cgraph_function_possibly_inlined_p (tree decl)
2363 if (!symtab->global_info_ready)
2364 return !DECL_UNINLINABLE (decl);
2365 return DECL_POSSIBLY_INLINED (decl);
2368 /* Return function availability. See cgraph.h for description of individual
2369 return values. */
2370 enum availability
2371 cgraph_node::get_availability (symtab_node *ref)
2373 if (ref)
2375 cgraph_node *cref = dyn_cast <cgraph_node *> (ref);
2376 if (cref)
2377 ref = cref->inlined_to;
2379 enum availability avail;
2380 if (!analyzed && !in_other_partition)
2381 avail = AVAIL_NOT_AVAILABLE;
2382 else if (local)
2383 avail = AVAIL_LOCAL;
2384 else if (inlined_to)
2385 avail = AVAIL_AVAILABLE;
2386 else if (transparent_alias)
2387 ultimate_alias_target (&avail, ref);
2388 else if (ifunc_resolver
2389 || lookup_attribute ("noipa", DECL_ATTRIBUTES (decl)))
2390 avail = AVAIL_INTERPOSABLE;
2391 else if (!externally_visible)
2392 avail = AVAIL_AVAILABLE;
2393 /* If this is a reference from symbol itself and there are no aliases, we
2394 may be sure that the symbol was not interposed by something else because
2395 the symbol itself would be unreachable otherwise.
2397 Also comdat groups are always resolved in groups. */
2398 else if ((this == ref && !has_aliases_p ())
2399 || (ref && get_comdat_group ()
2400 && get_comdat_group () == ref->get_comdat_group ()))
2401 avail = AVAIL_AVAILABLE;
2402 /* Inline functions are safe to be analyzed even if their symbol can
2403 be overwritten at runtime. It is not meaningful to enforce any sane
2404 behavior on replacing inline function by different body. */
2405 else if (DECL_DECLARED_INLINE_P (decl))
2406 avail = AVAIL_AVAILABLE;
2408 /* If the function can be overwritten, return OVERWRITABLE. Take
2409 care at least of two notable extensions - the COMDAT functions
2410 used to share template instantiations in C++ (this is symmetric
2411 to code cp_cannot_inline_tree_fn and probably shall be shared and
2412 the inlinability hooks completely eliminated). */
2414 else if (decl_replaceable_p (decl, semantic_interposition)
2415 && !DECL_EXTERNAL (decl))
2416 avail = AVAIL_INTERPOSABLE;
2417 else avail = AVAIL_AVAILABLE;
2419 return avail;
2422 /* Worker for cgraph_node_can_be_local_p. */
2423 static bool
2424 cgraph_node_cannot_be_local_p_1 (cgraph_node *node, void *)
2426 return !(!node->force_output
2427 && !node->ifunc_resolver
2428 /* Limitation of gas requires us to output targets of symver aliases
2429 as global symbols. This is binutils PR 25295. */
2430 && !node->symver
2431 && ((DECL_COMDAT (node->decl)
2432 && !node->forced_by_abi
2433 && !node->used_from_object_file_p ()
2434 && !node->same_comdat_group)
2435 || !node->externally_visible));
2438 /* Return true if cgraph_node can be made local for API change.
2439 Extern inline functions and C++ COMDAT functions can be made local
2440 at the expense of possible code size growth if function is used in multiple
2441 compilation units. */
2442 bool
2443 cgraph_node::can_be_local_p (void)
2445 return (!address_taken
2446 && !call_for_symbol_thunks_and_aliases (cgraph_node_cannot_be_local_p_1,
2447 NULL, true));
2450 /* Call callback on cgraph_node, thunks and aliases associated to cgraph_node.
2451 When INCLUDE_OVERWRITABLE is false, overwritable symbols are
2452 skipped. When EXCLUDE_VIRTUAL_THUNKS is true, virtual thunks are
2453 skipped. */
2454 bool
2455 cgraph_node::call_for_symbol_thunks_and_aliases (bool (*callback)
2456 (cgraph_node *, void *),
2457 void *data,
2458 bool include_overwritable,
2459 bool exclude_virtual_thunks)
2461 cgraph_edge *e;
2462 ipa_ref *ref;
2463 enum availability avail = AVAIL_AVAILABLE;
2465 if (include_overwritable
2466 || (avail = get_availability ()) > AVAIL_INTERPOSABLE)
2468 if (callback (this, data))
2469 return true;
2471 FOR_EACH_ALIAS (this, ref)
2473 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2474 if (include_overwritable
2475 || alias->get_availability () > AVAIL_INTERPOSABLE)
2476 if (alias->call_for_symbol_thunks_and_aliases (callback, data,
2477 include_overwritable,
2478 exclude_virtual_thunks))
2479 return true;
2481 if (avail <= AVAIL_INTERPOSABLE)
2482 return false;
2483 for (e = callers; e; e = e->next_caller)
2484 if (e->caller->thunk
2485 && (include_overwritable
2486 || e->caller->get_availability () > AVAIL_INTERPOSABLE)
2487 && !(exclude_virtual_thunks
2488 && thunk_info::get (e->caller)->virtual_offset_p))
2489 if (e->caller->call_for_symbol_thunks_and_aliases (callback, data,
2490 include_overwritable,
2491 exclude_virtual_thunks))
2492 return true;
2494 return false;
2497 /* Worker to bring NODE local. */
2499 bool
2500 cgraph_node::make_local (cgraph_node *node, void *)
2502 gcc_checking_assert (node->can_be_local_p ());
2503 if (DECL_COMDAT (node->decl) || DECL_EXTERNAL (node->decl))
2505 node->make_decl_local ();
2506 node->set_section (NULL);
2507 node->set_comdat_group (NULL);
2508 node->externally_visible = false;
2509 node->forced_by_abi = false;
2510 node->local = true;
2511 node->unique_name = ((node->resolution == LDPR_PREVAILING_DEF_IRONLY
2512 || node->resolution == LDPR_PREVAILING_DEF_IRONLY_EXP)
2513 && !flag_incremental_link);
2514 node->resolution = LDPR_PREVAILING_DEF_IRONLY;
2515 gcc_assert (node->get_availability () == AVAIL_LOCAL);
2517 return false;
2520 /* Bring cgraph node local. */
2522 void
2523 cgraph_node::make_local (void)
2525 call_for_symbol_thunks_and_aliases (cgraph_node::make_local, NULL, true);
2528 /* Worker to set nothrow flag. */
2530 static void
2531 set_nothrow_flag_1 (cgraph_node *node, bool nothrow, bool non_call,
2532 bool *changed)
2534 cgraph_edge *e;
2536 if (nothrow && !TREE_NOTHROW (node->decl))
2538 /* With non-call exceptions we can't say for sure if other function body
2539 was not possibly optimized to still throw. */
2540 if (!non_call || node->binds_to_current_def_p ())
2542 TREE_NOTHROW (node->decl) = true;
2543 *changed = true;
2544 for (e = node->callers; e; e = e->next_caller)
2545 e->can_throw_external = false;
2548 else if (!nothrow && TREE_NOTHROW (node->decl))
2550 TREE_NOTHROW (node->decl) = false;
2551 *changed = true;
2553 ipa_ref *ref;
2554 FOR_EACH_ALIAS (node, ref)
2556 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2557 if (!nothrow || alias->get_availability () > AVAIL_INTERPOSABLE)
2558 set_nothrow_flag_1 (alias, nothrow, non_call, changed);
2560 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2561 if (e->caller->thunk
2562 && (!nothrow || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2563 set_nothrow_flag_1 (e->caller, nothrow, non_call, changed);
2566 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
2567 if any to NOTHROW. */
2569 bool
2570 cgraph_node::set_nothrow_flag (bool nothrow)
2572 bool changed = false;
2573 bool non_call = opt_for_fn (decl, flag_non_call_exceptions);
2575 if (!nothrow || get_availability () > AVAIL_INTERPOSABLE)
2576 set_nothrow_flag_1 (this, nothrow, non_call, &changed);
2577 else
2579 ipa_ref *ref;
2581 FOR_EACH_ALIAS (this, ref)
2583 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2584 if (!nothrow || alias->get_availability () > AVAIL_INTERPOSABLE)
2585 set_nothrow_flag_1 (alias, nothrow, non_call, &changed);
2588 return changed;
2591 /* Worker to set malloc flag. */
2592 static void
2593 set_malloc_flag_1 (cgraph_node *node, bool malloc_p, bool *changed)
2595 if (malloc_p && !DECL_IS_MALLOC (node->decl))
2597 DECL_IS_MALLOC (node->decl) = true;
2598 *changed = true;
2601 ipa_ref *ref;
2602 FOR_EACH_ALIAS (node, ref)
2604 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2605 if (!malloc_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2606 set_malloc_flag_1 (alias, malloc_p, changed);
2609 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2610 if (e->caller->thunk
2611 && (!malloc_p || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2612 set_malloc_flag_1 (e->caller, malloc_p, changed);
2615 /* Set DECL_IS_MALLOC on NODE's decl and on NODE's aliases if any. */
2617 bool
2618 cgraph_node::set_malloc_flag (bool malloc_p)
2620 bool changed = false;
2622 if (!malloc_p || get_availability () > AVAIL_INTERPOSABLE)
2623 set_malloc_flag_1 (this, malloc_p, &changed);
2624 else
2626 ipa_ref *ref;
2628 FOR_EACH_ALIAS (this, ref)
2630 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2631 if (!malloc_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2632 set_malloc_flag_1 (alias, malloc_p, &changed);
2635 return changed;
2638 /* Worker to set malloc flag. */
2639 static void
2640 add_detected_attribute_1 (cgraph_node *node, const char *attr, bool *changed)
2642 if (!lookup_attribute (attr, DECL_ATTRIBUTES (node->decl)))
2644 DECL_ATTRIBUTES (node->decl) = tree_cons (get_identifier (attr),
2645 NULL_TREE, DECL_ATTRIBUTES (node->decl));
2646 *changed = true;
2649 ipa_ref *ref;
2650 FOR_EACH_ALIAS (node, ref)
2652 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2653 if (alias->get_availability () > AVAIL_INTERPOSABLE)
2654 add_detected_attribute_1 (alias, attr, changed);
2657 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2658 if (e->caller->thunk
2659 && (e->caller->get_availability () > AVAIL_INTERPOSABLE))
2660 add_detected_attribute_1 (e->caller, attr, changed);
2663 /* Add attribyte ATTR to function and its aliases. */
2665 bool
2666 cgraph_node::add_detected_attribute (const char *attr)
2668 bool changed = false;
2670 if (get_availability () > AVAIL_INTERPOSABLE)
2671 add_detected_attribute_1 (this, attr, &changed);
2672 else
2674 ipa_ref *ref;
2676 FOR_EACH_ALIAS (this, ref)
2678 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2679 if (alias->get_availability () > AVAIL_INTERPOSABLE)
2680 add_detected_attribute_1 (alias, attr, &changed);
2683 return changed;
2686 /* Worker to set noreturng flag. */
2687 static void
2688 set_noreturn_flag_1 (cgraph_node *node, bool noreturn_p, bool *changed)
2690 if (noreturn_p && !TREE_THIS_VOLATILE (node->decl))
2692 TREE_THIS_VOLATILE (node->decl) = true;
2693 *changed = true;
2696 ipa_ref *ref;
2697 FOR_EACH_ALIAS (node, ref)
2699 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2700 if (!noreturn_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2701 set_noreturn_flag_1 (alias, noreturn_p, changed);
2704 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2705 if (e->caller->thunk
2706 && (!noreturn_p || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2707 set_noreturn_flag_1 (e->caller, noreturn_p, changed);
2710 /* Set TREE_THIS_VOLATILE on NODE's decl and on NODE's aliases if any. */
2712 bool
2713 cgraph_node::set_noreturn_flag (bool noreturn_p)
2715 bool changed = false;
2717 if (!noreturn_p || get_availability () > AVAIL_INTERPOSABLE)
2718 set_noreturn_flag_1 (this, noreturn_p, &changed);
2719 else
2721 ipa_ref *ref;
2723 FOR_EACH_ALIAS (this, ref)
2725 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2726 if (!noreturn_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2727 set_noreturn_flag_1 (alias, noreturn_p, &changed);
2730 return changed;
2733 /* Worker to set_const_flag. */
2735 static void
2736 set_const_flag_1 (cgraph_node *node, bool set_const, bool looping,
2737 bool *changed)
2739 /* Static constructors and destructors without a side effect can be
2740 optimized out. */
2741 if (set_const && !looping)
2743 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2745 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2746 *changed = true;
2748 if (DECL_STATIC_DESTRUCTOR (node->decl))
2750 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2751 *changed = true;
2754 if (!set_const)
2756 if (TREE_READONLY (node->decl))
2758 TREE_READONLY (node->decl) = 0;
2759 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2760 *changed = true;
2763 else
2765 /* Consider function:
2767 bool a(int *p)
2769 return *p==*p;
2772 During early optimization we will turn this into:
2774 bool a(int *p)
2776 return true;
2779 Now if this function will be detected as CONST however when interposed
2780 it may end up being just pure. We always must assume the worst
2781 scenario here. */
2782 if (TREE_READONLY (node->decl))
2784 if (!looping && DECL_LOOPING_CONST_OR_PURE_P (node->decl))
2786 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2787 *changed = true;
2790 else if (node->binds_to_current_def_p ())
2792 TREE_READONLY (node->decl) = true;
2793 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = looping;
2794 DECL_PURE_P (node->decl) = false;
2795 *changed = true;
2797 else
2799 if (dump_file && (dump_flags & TDF_DETAILS))
2800 fprintf (dump_file, "Dropping state to PURE because function does "
2801 "not bind to current def.\n");
2802 if (!DECL_PURE_P (node->decl))
2804 DECL_PURE_P (node->decl) = true;
2805 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = looping;
2806 *changed = true;
2808 else if (!looping && DECL_LOOPING_CONST_OR_PURE_P (node->decl))
2810 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2811 *changed = true;
2816 ipa_ref *ref;
2817 FOR_EACH_ALIAS (node, ref)
2819 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2820 if (!set_const || alias->get_availability () > AVAIL_INTERPOSABLE)
2821 set_const_flag_1 (alias, set_const, looping, changed);
2823 for (struct cgraph_node *n = node->simd_clones; n != NULL;
2824 n = n->simdclone->next_clone)
2825 set_const_flag_1 (n, set_const, looping, changed);
2826 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2827 if (e->caller->thunk
2828 && (!set_const || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2830 /* Virtual thunks access virtual offset in the vtable, so they can
2831 only be pure, never const. */
2832 if (set_const
2833 && (thunk_info::get (e->caller)->virtual_offset_p
2834 || !node->binds_to_current_def_p (e->caller)))
2835 *changed |= e->caller->set_pure_flag (true, looping);
2836 else
2837 set_const_flag_1 (e->caller, set_const, looping, changed);
2841 /* If SET_CONST is true, mark function, aliases and thunks to be ECF_CONST.
2842 If SET_CONST if false, clear the flag.
2844 When setting the flag be careful about possible interposition and
2845 do not set the flag for functions that can be interposed and set pure
2846 flag for functions that can bind to other definition.
2848 Return true if any change was done. */
2850 bool
2851 cgraph_node::set_const_flag (bool set_const, bool looping)
2853 bool changed = false;
2854 if (!set_const || get_availability () > AVAIL_INTERPOSABLE)
2855 set_const_flag_1 (this, set_const, looping, &changed);
2856 else
2858 ipa_ref *ref;
2860 FOR_EACH_ALIAS (this, ref)
2862 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2863 if (!set_const || alias->get_availability () > AVAIL_INTERPOSABLE)
2864 set_const_flag_1 (alias, set_const, looping, &changed);
2867 return changed;
2870 /* Info used by set_pure_flag_1. */
2872 struct set_pure_flag_info
2874 bool pure;
2875 bool looping;
2876 bool changed;
2879 /* Worker to set_pure_flag. */
2881 static bool
2882 set_pure_flag_1 (cgraph_node *node, void *data)
2884 struct set_pure_flag_info *info = (struct set_pure_flag_info *)data;
2885 /* Static constructors and destructors without a side effect can be
2886 optimized out. */
2887 if (info->pure && !info->looping)
2889 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2891 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2892 info->changed = true;
2894 if (DECL_STATIC_DESTRUCTOR (node->decl))
2896 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2897 info->changed = true;
2900 if (info->pure)
2902 if (!DECL_PURE_P (node->decl) && !TREE_READONLY (node->decl))
2904 DECL_PURE_P (node->decl) = true;
2905 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = info->looping;
2906 info->changed = true;
2908 else if (DECL_LOOPING_CONST_OR_PURE_P (node->decl)
2909 && !info->looping)
2911 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2912 info->changed = true;
2915 else
2917 if (DECL_PURE_P (node->decl))
2919 DECL_PURE_P (node->decl) = false;
2920 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2921 info->changed = true;
2924 return false;
2927 /* Set DECL_PURE_P on cgraph_node's decl and on aliases of the node
2928 if any to PURE.
2930 When setting the flag, be careful about possible interposition.
2931 Return true if any change was done. */
2933 bool
2934 cgraph_node::set_pure_flag (bool pure, bool looping)
2936 struct set_pure_flag_info info = {pure, looping, false};
2937 call_for_symbol_thunks_and_aliases (set_pure_flag_1, &info, !pure, true);
2938 for (struct cgraph_node *n = simd_clones; n != NULL;
2939 n = n->simdclone->next_clone)
2940 set_pure_flag_1 (n, &info);
2941 return info.changed;
2944 /* Return true when cgraph_node cannot return or throw and thus
2945 it is safe to ignore its side effects for IPA analysis. */
2947 bool
2948 cgraph_node::cannot_return_p (void)
2950 int flags = flags_from_decl_or_type (decl);
2951 if (!opt_for_fn (decl, flag_exceptions))
2952 return (flags & ECF_NORETURN) != 0;
2953 else
2954 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2955 == (ECF_NORETURN | ECF_NOTHROW));
2958 /* Return true when call of edge cannot lead to return from caller
2959 and thus it is safe to ignore its side effects for IPA analysis
2960 when computing side effects of the caller.
2961 FIXME: We could actually mark all edges that have no reaching
2962 patch to the exit block or throw to get better results. */
2963 bool
2964 cgraph_edge::cannot_lead_to_return_p (void)
2966 if (caller->cannot_return_p ())
2967 return true;
2968 if (indirect_unknown_callee)
2970 int flags = indirect_info->ecf_flags;
2971 if (!opt_for_fn (caller->decl, flag_exceptions))
2972 return (flags & ECF_NORETURN) != 0;
2973 else
2974 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2975 == (ECF_NORETURN | ECF_NOTHROW));
2977 else
2978 return callee->cannot_return_p ();
2981 /* Return true if the edge may be considered hot. */
2983 bool
2984 cgraph_edge::maybe_hot_p (void)
2986 if (!maybe_hot_count_p (NULL, count.ipa ()))
2987 return false;
2988 if (caller->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED
2989 || (callee
2990 && callee->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED))
2991 return false;
2992 if (caller->frequency > NODE_FREQUENCY_UNLIKELY_EXECUTED
2993 && (callee
2994 && callee->frequency <= NODE_FREQUENCY_EXECUTED_ONCE))
2995 return false;
2996 if (opt_for_fn (caller->decl, optimize_size))
2997 return false;
2998 if (caller->frequency == NODE_FREQUENCY_HOT)
2999 return true;
3000 if (!count.initialized_p ())
3001 return true;
3002 cgraph_node *where = caller->inlined_to ? caller->inlined_to : caller;
3003 if (!where->count.initialized_p ())
3004 return false;
3005 if (caller->frequency == NODE_FREQUENCY_EXECUTED_ONCE)
3007 if (count * 2 < where->count * 3)
3008 return false;
3010 else if (count * param_hot_bb_frequency_fraction < where->count)
3011 return false;
3012 return true;
3015 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
3017 static bool
3018 nonremovable_p (cgraph_node *node, void *)
3020 return !node->can_remove_if_no_direct_calls_and_refs_p ();
3023 /* Return true if whole comdat group can be removed if there are no direct
3024 calls to THIS. */
3026 bool
3027 cgraph_node::can_remove_if_no_direct_calls_p (bool will_inline)
3029 struct ipa_ref *ref;
3031 /* For local symbols or non-comdat group it is the same as
3032 can_remove_if_no_direct_calls_p. */
3033 if (!externally_visible || !same_comdat_group)
3035 if (DECL_EXTERNAL (decl))
3036 return true;
3037 if (address_taken)
3038 return false;
3039 return !call_for_symbol_and_aliases (nonremovable_p, NULL, true);
3042 if (will_inline && address_taken)
3043 return false;
3045 /* Otherwise check if we can remove the symbol itself and then verify
3046 that only uses of the comdat groups are direct call to THIS
3047 or its aliases. */
3048 if (!can_remove_if_no_direct_calls_and_refs_p ())
3049 return false;
3051 /* Check that all refs come from within the comdat group. */
3052 for (int i = 0; iterate_referring (i, ref); i++)
3053 if (ref->referring->get_comdat_group () != get_comdat_group ())
3054 return false;
3056 struct cgraph_node *target = ultimate_alias_target ();
3057 for (cgraph_node *next = dyn_cast<cgraph_node *> (same_comdat_group);
3058 next != this; next = dyn_cast<cgraph_node *> (next->same_comdat_group))
3060 if (!externally_visible)
3061 continue;
3062 if (!next->alias
3063 && !next->can_remove_if_no_direct_calls_and_refs_p ())
3064 return false;
3066 /* If we see different symbol than THIS, be sure to check calls. */
3067 if (next->ultimate_alias_target () != target)
3068 for (cgraph_edge *e = next->callers; e; e = e->next_caller)
3069 if (e->caller->get_comdat_group () != get_comdat_group ()
3070 || will_inline)
3071 return false;
3073 /* If function is not being inlined, we care only about
3074 references outside of the comdat group. */
3075 if (!will_inline)
3076 for (int i = 0; next->iterate_referring (i, ref); i++)
3077 if (ref->referring->get_comdat_group () != get_comdat_group ())
3078 return false;
3080 return true;
3083 /* Return true when function cgraph_node can be expected to be removed
3084 from program when direct calls in this compilation unit are removed.
3086 As a special case COMDAT functions are
3087 cgraph_can_remove_if_no_direct_calls_p while the are not
3088 cgraph_only_called_directly_p (it is possible they are called from other
3089 unit)
3091 This function behaves as cgraph_only_called_directly_p because eliminating
3092 all uses of COMDAT function does not make it necessarily disappear from
3093 the program unless we are compiling whole program or we do LTO. In this
3094 case we know we win since dynamic linking will not really discard the
3095 linkonce section. */
3097 bool
3098 cgraph_node::will_be_removed_from_program_if_no_direct_calls_p
3099 (bool will_inline)
3101 gcc_assert (!inlined_to);
3102 if (DECL_EXTERNAL (decl))
3103 return true;
3105 if (!in_lto_p && !flag_whole_program)
3107 /* If the symbol is in comdat group, we need to verify that whole comdat
3108 group becomes unreachable. Technically we could skip references from
3109 within the group, too. */
3110 if (!only_called_directly_p ())
3111 return false;
3112 if (same_comdat_group && externally_visible)
3114 struct cgraph_node *target = ultimate_alias_target ();
3116 if (will_inline && address_taken)
3117 return true;
3118 for (cgraph_node *next = dyn_cast<cgraph_node *> (same_comdat_group);
3119 next != this;
3120 next = dyn_cast<cgraph_node *> (next->same_comdat_group))
3122 if (!externally_visible)
3123 continue;
3124 if (!next->alias
3125 && !next->only_called_directly_p ())
3126 return false;
3128 /* If we see different symbol than THIS,
3129 be sure to check calls. */
3130 if (next->ultimate_alias_target () != target)
3131 for (cgraph_edge *e = next->callers; e; e = e->next_caller)
3132 if (e->caller->get_comdat_group () != get_comdat_group ()
3133 || will_inline)
3134 return false;
3137 return true;
3139 else
3140 return can_remove_if_no_direct_calls_p (will_inline);
3144 /* Worker for cgraph_only_called_directly_p. */
3146 static bool
3147 cgraph_not_only_called_directly_p_1 (cgraph_node *node, void *)
3149 return !node->only_called_directly_or_aliased_p ();
3152 /* Return true when function cgraph_node and all its aliases are only called
3153 directly.
3154 i.e. it is not externally visible, address was not taken and
3155 it is not used in any other non-standard way. */
3157 bool
3158 cgraph_node::only_called_directly_p (void)
3160 gcc_assert (ultimate_alias_target () == this);
3161 return !call_for_symbol_and_aliases (cgraph_not_only_called_directly_p_1,
3162 NULL, true);
3166 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
3168 static bool
3169 collect_callers_of_node_1 (cgraph_node *node, void *data)
3171 vec<cgraph_edge *> *redirect_callers = (vec<cgraph_edge *> *)data;
3172 cgraph_edge *cs;
3173 enum availability avail;
3174 node->ultimate_alias_target (&avail);
3176 if (avail > AVAIL_INTERPOSABLE)
3177 for (cs = node->callers; cs != NULL; cs = cs->next_caller)
3178 if (!cs->indirect_inlining_edge
3179 && !cs->caller->thunk)
3180 redirect_callers->safe_push (cs);
3181 return false;
3184 /* Collect all callers of cgraph_node and its aliases that are known to lead to
3185 cgraph_node (i.e. are not overwritable). */
3187 auto_vec<cgraph_edge *>
3188 cgraph_node::collect_callers (void)
3190 auto_vec<cgraph_edge *> redirect_callers;
3191 call_for_symbol_thunks_and_aliases (collect_callers_of_node_1,
3192 &redirect_callers, false);
3193 return redirect_callers;
3197 /* Return TRUE if NODE2 a clone of NODE or is equivalent to it. Return
3198 optimistically true if this cannot be determined. */
3200 static bool
3201 clone_of_p (cgraph_node *node, cgraph_node *node2)
3203 node = node->ultimate_alias_target ();
3204 node2 = node2->ultimate_alias_target ();
3206 if (node2->clone_of == node
3207 || node2->former_clone_of == node->decl)
3208 return true;
3210 if (!node->thunk && !node->former_thunk_p ())
3212 while (node2
3213 && node->decl != node2->decl
3214 && node->decl != node2->former_clone_of)
3215 node2 = node2->clone_of;
3216 return node2 != NULL;
3219 /* There are no virtual clones of thunks so check former_clone_of or if we
3220 might have skipped thunks because this adjustments are no longer
3221 necessary. */
3222 while (node->thunk || node->former_thunk_p ())
3224 if (!thunk_info::get (node)->this_adjusting)
3225 return false;
3226 /* In case of instrumented expanded thunks, which can have multiple calls
3227 in them, we do not know how to continue and just have to be
3228 optimistic. The same applies if all calls have already been inlined
3229 into the thunk. */
3230 if (!node->callees || node->callees->next_callee)
3231 return true;
3232 node = node->callees->callee->ultimate_alias_target ();
3234 clone_info *info = clone_info::get (node2);
3235 if (!info || !info->param_adjustments
3236 || info->param_adjustments->first_param_intact_p ())
3237 return false;
3238 if (node2->former_clone_of == node->decl
3239 || node2->former_clone_of == node->former_clone_of)
3240 return true;
3242 cgraph_node *n2 = node2;
3243 while (n2 && node->decl != n2->decl)
3244 n2 = n2->clone_of;
3245 if (n2)
3246 return true;
3249 return false;
3252 /* Verify edge count and frequency. */
3254 bool
3255 cgraph_edge::verify_count ()
3257 bool error_found = false;
3258 if (!count.verify ())
3260 error ("caller edge count invalid");
3261 error_found = true;
3263 return error_found;
3266 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
3267 static void
3268 cgraph_debug_gimple_stmt (function *this_cfun, gimple *stmt)
3270 bool fndecl_was_null = false;
3271 /* debug_gimple_stmt needs correct cfun */
3272 if (cfun != this_cfun)
3273 set_cfun (this_cfun);
3274 /* ...and an actual current_function_decl */
3275 if (!current_function_decl)
3277 current_function_decl = this_cfun->decl;
3278 fndecl_was_null = true;
3280 debug_gimple_stmt (stmt);
3281 if (fndecl_was_null)
3282 current_function_decl = NULL;
3285 /* Verify that call graph edge corresponds to DECL from the associated
3286 statement. Return true if the verification should fail. */
3288 bool
3289 cgraph_edge::verify_corresponds_to_fndecl (tree decl)
3291 cgraph_node *node;
3293 if (!decl || callee->inlined_to)
3294 return false;
3295 if (symtab->state == LTO_STREAMING)
3296 return false;
3297 node = cgraph_node::get (decl);
3299 /* We do not know if a node from a different partition is an alias or what it
3300 aliases and therefore cannot do the former_clone_of check reliably. When
3301 body_removed is set, we have lost all information about what was alias or
3302 thunk of and also cannot proceed. */
3303 if (!node
3304 || node->body_removed
3305 || node->in_other_partition
3306 || callee->icf_merged
3307 || callee->in_other_partition)
3308 return false;
3310 node = node->ultimate_alias_target ();
3312 /* Optimizers can redirect unreachable calls or calls triggering undefined
3313 behavior to __builtin_unreachable or __builtin_unreachable trap. */
3315 if (fndecl_built_in_p (callee->decl, BUILT_IN_UNREACHABLE,
3316 BUILT_IN_UNREACHABLE_TRAP))
3317 return false;
3319 if (callee->former_clone_of != node->decl
3320 && (node != callee->ultimate_alias_target ())
3321 && !clone_of_p (node, callee))
3322 return true;
3323 else
3324 return false;
3327 /* Disable warnings about missing quoting in GCC diagnostics for
3328 the verification errors. Their format strings don't follow GCC
3329 diagnostic conventions and the calls are ultimately followed by
3330 one to internal_error. */
3331 #if __GNUC__ >= 10
3332 # pragma GCC diagnostic push
3333 # pragma GCC diagnostic ignored "-Wformat-diag"
3334 #endif
3336 /* Verify consistency of speculative call in NODE corresponding to STMT
3337 and LTO_STMT_UID. If INDIRECT is set, assume that it is the indirect
3338 edge of call sequence. Return true if error is found.
3340 This function is called to every component of indirect call (direct edges,
3341 indirect edge and refs). To save duplicated work, do full testing only
3342 in that case. */
3343 static bool
3344 verify_speculative_call (struct cgraph_node *node, gimple *stmt,
3345 unsigned int lto_stmt_uid,
3346 struct cgraph_edge *indirect)
3348 if (indirect == NULL)
3350 for (indirect = node->indirect_calls; indirect;
3351 indirect = indirect->next_callee)
3352 if (indirect->call_stmt == stmt
3353 && indirect->lto_stmt_uid == lto_stmt_uid)
3354 break;
3355 if (!indirect)
3357 error ("missing indirect call in speculative call sequence");
3358 return true;
3360 if (!indirect->speculative)
3362 error ("indirect call in speculative call sequence has no "
3363 "speculative flag");
3364 return true;
3366 return false;
3369 /* Maximal number of targets. We probably will never want to have more than
3370 this. */
3371 const unsigned int num = 256;
3372 cgraph_edge *direct_calls[num];
3373 ipa_ref *refs[num];
3375 for (unsigned int i = 0; i < num; i++)
3377 direct_calls[i] = NULL;
3378 refs[i] = NULL;
3381 cgraph_edge *first_call = NULL;
3382 cgraph_edge *prev_call = NULL;
3384 for (cgraph_edge *direct = node->callees; direct;
3385 direct = direct->next_callee)
3386 if (direct->call_stmt == stmt && direct->lto_stmt_uid == lto_stmt_uid)
3388 if (!first_call)
3389 first_call = direct;
3390 if (prev_call && direct != prev_call->next_callee)
3392 error ("speculative edges are not adjacent");
3393 return true;
3395 prev_call = direct;
3396 if (!direct->speculative)
3398 error ("direct call to %s in speculative call sequence has no "
3399 "speculative flag", direct->callee->dump_name ());
3400 return true;
3402 if (direct->speculative_id >= num)
3404 error ("direct call to %s in speculative call sequence has "
3405 "speculative_id %i out of range",
3406 direct->callee->dump_name (), direct->speculative_id);
3407 return true;
3409 if (direct_calls[direct->speculative_id])
3411 error ("duplicate direct call to %s in speculative call sequence "
3412 "with speculative_id %i",
3413 direct->callee->dump_name (), direct->speculative_id);
3414 return true;
3416 direct_calls[direct->speculative_id] = direct;
3419 if (first_call->call_stmt
3420 && first_call != node->get_edge (first_call->call_stmt))
3422 error ("call stmt hash does not point to first direct edge of "
3423 "speculative call sequence");
3424 return true;
3427 ipa_ref *ref;
3428 for (int i = 0; node->iterate_reference (i, ref); i++)
3429 if (ref->speculative
3430 && ref->stmt == stmt && ref->lto_stmt_uid == lto_stmt_uid)
3432 if (ref->speculative_id >= num)
3434 error ("direct call to %s in speculative call sequence has "
3435 "speculative_id %i out of range",
3436 ref->referred->dump_name (), ref->speculative_id);
3437 return true;
3439 if (refs[ref->speculative_id])
3441 error ("duplicate reference %s in speculative call sequence "
3442 "with speculative_id %i",
3443 ref->referred->dump_name (), ref->speculative_id);
3444 return true;
3446 refs[ref->speculative_id] = ref;
3449 int num_targets = 0;
3450 for (unsigned int i = 0 ; i < num ; i++)
3452 if (refs[i] && !direct_calls[i])
3454 error ("missing direct call for speculation %i", i);
3455 return true;
3457 if (!refs[i] && direct_calls[i])
3459 error ("missing ref for speculation %i", i);
3460 return true;
3462 if (refs[i] != NULL)
3463 num_targets++;
3466 if (num_targets != indirect->num_speculative_call_targets_p ())
3468 error ("number of speculative targets %i mismatched with "
3469 "num_speculative_call_targets %i",
3470 num_targets,
3471 indirect->num_speculative_call_targets_p ());
3472 return true;
3474 return false;
3477 /* Verify cgraph nodes of given cgraph node. */
3478 DEBUG_FUNCTION void
3479 cgraph_node::verify_node (void)
3481 cgraph_edge *e;
3482 function *this_cfun = DECL_STRUCT_FUNCTION (decl);
3483 basic_block this_block;
3484 gimple_stmt_iterator gsi;
3485 bool error_found = false;
3486 int i;
3487 ipa_ref *ref = NULL;
3489 if (seen_error ())
3490 return;
3492 timevar_push (TV_CGRAPH_VERIFY);
3493 error_found |= verify_base ();
3494 for (e = callees; e; e = e->next_callee)
3495 if (e->aux)
3497 error ("aux field set for edge %s->%s",
3498 identifier_to_locale (e->caller->name ()),
3499 identifier_to_locale (e->callee->name ()));
3500 error_found = true;
3502 if (!count.verify ())
3504 error ("cgraph count invalid");
3505 error_found = true;
3507 if (inlined_to && same_comdat_group)
3509 error ("inline clone in same comdat group list");
3510 error_found = true;
3512 if (inlined_to && !count.compatible_p (inlined_to->count))
3514 error ("inline clone count is not compatible");
3515 count.debug ();
3516 inlined_to->count.debug ();
3517 error_found = true;
3519 if (tp_first_run < 0)
3521 error ("tp_first_run must be non-negative");
3522 error_found = true;
3524 if (!definition && !in_other_partition && local)
3526 error ("local symbols must be defined");
3527 error_found = true;
3529 if (inlined_to && externally_visible)
3531 error ("externally visible inline clone");
3532 error_found = true;
3534 if (inlined_to && address_taken)
3536 error ("inline clone with address taken");
3537 error_found = true;
3539 if (inlined_to && force_output)
3541 error ("inline clone is forced to output");
3542 error_found = true;
3544 if (symtab->state != LTO_STREAMING)
3546 if (calls_comdat_local && !same_comdat_group)
3548 error ("calls_comdat_local is set outside of a comdat group");
3549 error_found = true;
3551 if (!inlined_to && calls_comdat_local != check_calls_comdat_local_p ())
3553 error ("invalid calls_comdat_local flag");
3554 error_found = true;
3557 if (DECL_IS_MALLOC (decl)
3558 && !POINTER_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
3560 error ("malloc attribute should be used for a function that "
3561 "returns a pointer");
3562 error_found = true;
3564 if (definition
3565 && externally_visible
3566 /* For aliases in lto1 free_lang_data doesn't guarantee preservation
3567 of opt_for_fn (decl, flag_semantic_interposition). See PR105399. */
3568 && (!alias || !in_lto_p)
3569 && semantic_interposition
3570 != opt_for_fn (decl, flag_semantic_interposition))
3572 error ("semantic interposition mismatch");
3573 error_found = true;
3575 for (e = indirect_calls; e; e = e->next_callee)
3577 if (e->aux)
3579 error ("aux field set for indirect edge from %s",
3580 identifier_to_locale (e->caller->name ()));
3581 error_found = true;
3583 if (!e->count.compatible_p (count))
3585 error ("edge count is not compatible with function count");
3586 e->count.debug ();
3587 count.debug ();
3588 error_found = true;
3590 if (!e->indirect_unknown_callee
3591 || !e->indirect_info)
3593 error ("An indirect edge from %s is not marked as indirect or has "
3594 "associated indirect_info, the corresponding statement is: ",
3595 identifier_to_locale (e->caller->name ()));
3596 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3597 error_found = true;
3599 if (e->call_stmt && e->lto_stmt_uid)
3601 error ("edge has both call_stmt and lto_stmt_uid set");
3602 error_found = true;
3605 bool check_comdat = comdat_local_p ();
3606 for (e = callers; e; e = e->next_caller)
3608 if (e->verify_count ())
3609 error_found = true;
3610 if (check_comdat
3611 && !in_same_comdat_group_p (e->caller))
3613 error ("comdat-local function called by %s outside its comdat",
3614 identifier_to_locale (e->caller->name ()));
3615 error_found = true;
3617 if (!e->inline_failed)
3619 if (inlined_to
3620 != (e->caller->inlined_to
3621 ? e->caller->inlined_to : e->caller))
3623 error ("inlined_to pointer is wrong");
3624 error_found = true;
3626 if (callers->next_caller)
3628 error ("multiple inline callers");
3629 error_found = true;
3632 else
3633 if (inlined_to)
3635 error ("inlined_to pointer set for noninline callers");
3636 error_found = true;
3639 for (e = callees; e; e = e->next_callee)
3641 if (e->verify_count ())
3642 error_found = true;
3643 if (!e->count.compatible_p (count))
3645 error ("edge count is not compatible with function count");
3646 e->count.debug ();
3647 count.debug ();
3648 error_found = true;
3650 if (gimple_has_body_p (e->caller->decl)
3651 && !e->caller->inlined_to
3652 && !e->speculative
3653 /* Optimized out calls are redirected to __builtin_unreachable. */
3654 && (e->count.nonzero_p ()
3655 || ! e->callee->decl
3656 || !fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE,
3657 BUILT_IN_UNREACHABLE_TRAP))
3658 && count
3659 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl))->count
3660 && (!e->count.ipa_p ()
3661 && e->count.differs_from_p (gimple_bb (e->call_stmt)->count)))
3663 error ("caller edge count does not match BB count");
3664 fprintf (stderr, "edge count: ");
3665 e->count.dump (stderr);
3666 fprintf (stderr, "\n bb count: ");
3667 gimple_bb (e->call_stmt)->count.dump (stderr);
3668 fprintf (stderr, "\n");
3669 error_found = true;
3671 if (e->call_stmt && e->lto_stmt_uid)
3673 error ("edge has both call_stmt and lto_stmt_uid set");
3674 error_found = true;
3676 if (e->speculative
3677 && verify_speculative_call (e->caller, e->call_stmt, e->lto_stmt_uid,
3678 NULL))
3679 error_found = true;
3681 for (e = indirect_calls; e; e = e->next_callee)
3683 if (e->verify_count ())
3684 error_found = true;
3685 if (gimple_has_body_p (e->caller->decl)
3686 && !e->caller->inlined_to
3687 && !e->speculative
3688 && e->count.ipa_p ()
3689 && count
3690 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl))->count
3691 && (!e->count.ipa_p ()
3692 && e->count.differs_from_p (gimple_bb (e->call_stmt)->count)))
3694 error ("indirect call count does not match BB count");
3695 fprintf (stderr, "edge count: ");
3696 e->count.dump (stderr);
3697 fprintf (stderr, "\n bb count: ");
3698 gimple_bb (e->call_stmt)->count.dump (stderr);
3699 fprintf (stderr, "\n");
3700 error_found = true;
3702 if (e->speculative
3703 && verify_speculative_call (e->caller, e->call_stmt, e->lto_stmt_uid,
3705 error_found = true;
3707 for (i = 0; iterate_reference (i, ref); i++)
3709 if (ref->stmt && ref->lto_stmt_uid)
3711 error ("reference has both stmt and lto_stmt_uid set");
3712 error_found = true;
3714 if (ref->speculative
3715 && verify_speculative_call (this, ref->stmt,
3716 ref->lto_stmt_uid, NULL))
3717 error_found = true;
3720 if (!callers && inlined_to)
3722 error ("inlined_to pointer is set but no predecessors found");
3723 error_found = true;
3725 if (inlined_to == this)
3727 error ("inlined_to pointer refers to itself");
3728 error_found = true;
3731 if (clone_of)
3733 cgraph_node *first_clone = clone_of->clones;
3734 if (first_clone != this)
3736 if (prev_sibling_clone->clone_of != clone_of)
3738 error ("cgraph_node has wrong clone_of");
3739 error_found = true;
3743 if (clones)
3745 cgraph_node *n;
3746 for (n = clones; n; n = n->next_sibling_clone)
3747 if (n->clone_of != this)
3748 break;
3749 if (n)
3751 error ("cgraph_node has wrong clone list");
3752 error_found = true;
3755 if ((prev_sibling_clone || next_sibling_clone) && !clone_of)
3757 error ("cgraph_node is in clone list but it is not clone");
3758 error_found = true;
3760 if (!prev_sibling_clone && clone_of && clone_of->clones != this)
3762 error ("cgraph_node has wrong prev_clone pointer");
3763 error_found = true;
3765 if (prev_sibling_clone && prev_sibling_clone->next_sibling_clone != this)
3767 error ("double linked list of clones corrupted");
3768 error_found = true;
3771 if (analyzed && alias)
3773 bool ref_found = false;
3774 int i;
3775 ipa_ref *ref = NULL;
3777 if (callees)
3779 error ("Alias has call edges");
3780 error_found = true;
3782 for (i = 0; iterate_reference (i, ref); i++)
3783 if (ref->use != IPA_REF_ALIAS)
3785 error ("Alias has non-alias reference");
3786 error_found = true;
3788 else if (ref_found)
3790 error ("Alias has more than one alias reference");
3791 error_found = true;
3793 else
3794 ref_found = true;
3795 if (!ref_found)
3797 error ("Analyzed alias has no reference");
3798 error_found = true;
3802 if (analyzed && thunk)
3804 if (!callees)
3806 error ("No edge out of thunk node");
3807 error_found = true;
3809 else if (callees->next_callee)
3811 error ("More than one edge out of thunk node");
3812 error_found = true;
3814 if (gimple_has_body_p (decl) && !inlined_to)
3816 error ("Thunk is not supposed to have body");
3817 error_found = true;
3820 else if (analyzed && gimple_has_body_p (decl)
3821 && !TREE_ASM_WRITTEN (decl)
3822 && (!DECL_EXTERNAL (decl) || inlined_to)
3823 && !flag_wpa)
3825 if ((this_cfun->curr_properties & PROP_assumptions_done) != 0)
3827 else if (this_cfun->cfg)
3829 hash_set<gimple *> stmts;
3831 /* Reach the trees by walking over the CFG, and note the
3832 enclosing basic-blocks in the call edges. */
3833 FOR_EACH_BB_FN (this_block, this_cfun)
3835 for (gsi = gsi_start_phis (this_block);
3836 !gsi_end_p (gsi); gsi_next (&gsi))
3837 stmts.add (gsi_stmt (gsi));
3838 for (gsi = gsi_start_bb (this_block);
3839 !gsi_end_p (gsi);
3840 gsi_next (&gsi))
3842 gimple *stmt = gsi_stmt (gsi);
3843 stmts.add (stmt);
3844 if (is_gimple_call (stmt))
3846 cgraph_edge *e = get_edge (stmt);
3847 tree decl = gimple_call_fndecl (stmt);
3848 if (e)
3850 if (e->aux)
3852 error ("shared call_stmt:");
3853 cgraph_debug_gimple_stmt (this_cfun, stmt);
3854 error_found = true;
3856 if (!e->indirect_unknown_callee)
3858 if (e->verify_corresponds_to_fndecl (decl))
3860 error ("edge points to wrong declaration:");
3861 debug_tree (e->callee->decl);
3862 fprintf (stderr," Instead of:");
3863 debug_tree (decl);
3864 error_found = true;
3867 else if (decl)
3869 error ("an indirect edge with unknown callee "
3870 "corresponding to a call_stmt with "
3871 "a known declaration:");
3872 error_found = true;
3873 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3875 e->aux = (void *)1;
3877 else if (decl)
3879 error ("missing callgraph edge for call stmt:");
3880 cgraph_debug_gimple_stmt (this_cfun, stmt);
3881 error_found = true;
3886 for (i = 0; iterate_reference (i, ref); i++)
3887 if (ref->stmt && !stmts.contains (ref->stmt))
3889 error ("reference to dead statement");
3890 cgraph_debug_gimple_stmt (this_cfun, ref->stmt);
3891 error_found = true;
3894 else
3895 /* No CFG available?! */
3896 gcc_unreachable ();
3898 for (e = callees; e; e = e->next_callee)
3900 if (!e->aux && !e->speculative)
3902 error ("edge %s->%s has no corresponding call_stmt",
3903 identifier_to_locale (e->caller->name ()),
3904 identifier_to_locale (e->callee->name ()));
3905 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3906 error_found = true;
3908 e->aux = 0;
3910 for (e = indirect_calls; e; e = e->next_callee)
3912 if (!e->aux && !e->speculative)
3914 error ("an indirect edge from %s has no corresponding call_stmt",
3915 identifier_to_locale (e->caller->name ()));
3916 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3917 error_found = true;
3919 e->aux = 0;
3923 if (nested_function_info *info = nested_function_info::get (this))
3925 if (info->nested != NULL)
3927 for (cgraph_node *n = info->nested; n != NULL;
3928 n = next_nested_function (n))
3930 nested_function_info *ninfo = nested_function_info::get (n);
3931 if (ninfo->origin == NULL)
3933 error ("missing origin for a node in a nested list");
3934 error_found = true;
3936 else if (ninfo->origin != this)
3938 error ("origin points to a different parent");
3939 error_found = true;
3940 break;
3944 if (info->next_nested != NULL && info->origin == NULL)
3946 error ("missing origin for a node in a nested list");
3947 error_found = true;
3951 if (error_found)
3953 dump (stderr);
3954 internal_error ("verify_cgraph_node failed");
3956 timevar_pop (TV_CGRAPH_VERIFY);
3959 /* Verify whole cgraph structure. */
3960 DEBUG_FUNCTION void
3961 cgraph_node::verify_cgraph_nodes (void)
3963 cgraph_node *node;
3965 if (seen_error ())
3966 return;
3968 FOR_EACH_FUNCTION (node)
3969 node->verify ();
3972 #if __GNUC__ >= 10
3973 # pragma GCC diagnostic pop
3974 #endif
3976 /* Walk the alias chain to return the function cgraph_node is alias of.
3977 Walk through thunks, too.
3978 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3979 When REF is non-NULL, assume that reference happens in symbol REF
3980 when determining the availability. */
3982 cgraph_node *
3983 cgraph_node::function_symbol (enum availability *availability,
3984 struct symtab_node *ref)
3986 cgraph_node *node = ultimate_alias_target (availability, ref);
3988 while (node->thunk)
3990 enum availability a;
3992 ref = node;
3993 node = node->callees->callee;
3994 node = node->ultimate_alias_target (availability ? &a : NULL, ref);
3995 if (availability && a < *availability)
3996 *availability = a;
3998 return node;
4001 /* Walk the alias chain to return the function cgraph_node is alias of.
4002 Walk through non virtual thunks, too. Thus we return either a function
4003 or a virtual thunk node.
4004 When AVAILABILITY is non-NULL, get minimal availability in the chain.
4005 When REF is non-NULL, assume that reference happens in symbol REF
4006 when determining the availability. */
4008 cgraph_node *
4009 cgraph_node::function_or_virtual_thunk_symbol
4010 (enum availability *availability,
4011 struct symtab_node *ref)
4013 cgraph_node *node = ultimate_alias_target (availability, ref);
4015 while (node->thunk && !thunk_info::get (node)->virtual_offset_p)
4017 enum availability a;
4019 ref = node;
4020 node = node->callees->callee;
4021 node = node->ultimate_alias_target (availability ? &a : NULL, ref);
4022 if (availability && a < *availability)
4023 *availability = a;
4025 return node;
4028 /* When doing LTO, read cgraph_node's body from disk if it is not already
4029 present. Also perform any necessary clone materializations. */
4031 bool
4032 cgraph_node::get_untransformed_body ()
4034 lto_file_decl_data *file_data;
4035 const char *data, *name;
4036 size_t len;
4037 tree decl = this->decl;
4039 /* See if there is clone to be materialized.
4040 (inline clones does not need materialization, but we can be seeing
4041 an inline clone of real clone). */
4042 cgraph_node *p = this;
4043 for (cgraph_node *c = clone_of; c; c = c->clone_of)
4045 if (c->decl != decl)
4046 p->materialize_clone ();
4047 p = c;
4050 /* Check if body is already there. Either we have gimple body or
4051 the function is thunk and in that case we set DECL_ARGUMENTS. */
4052 if (DECL_ARGUMENTS (decl) || gimple_has_body_p (decl))
4053 return false;
4055 gcc_assert (in_lto_p && !DECL_RESULT (decl));
4057 timevar_push (TV_IPA_LTO_GIMPLE_IN);
4059 file_data = lto_file_data;
4060 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
4062 /* We may have renamed the declaration, e.g., a static function. */
4063 name = lto_get_decl_name_mapping (file_data, name);
4064 struct lto_in_decl_state *decl_state
4065 = lto_get_function_in_decl_state (file_data, decl);
4067 cgraph_node *origin = this;
4068 while (origin->clone_of)
4069 origin = origin->clone_of;
4071 int stream_order = origin->order - file_data->order_base;
4072 data = lto_get_section_data (file_data, LTO_section_function_body,
4073 name, stream_order, &len,
4074 decl_state->compressed);
4075 if (!data)
4076 fatal_error (input_location, "%s: section %s.%d is missing",
4077 file_data->file_name, name, stream_order);
4079 gcc_assert (DECL_STRUCT_FUNCTION (decl) == NULL);
4081 if (!quiet_flag)
4082 fprintf (stderr, " in:%s", IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
4083 lto_input_function_body (file_data, this, data);
4084 lto_stats.num_function_bodies++;
4085 lto_free_section_data (file_data, LTO_section_function_body, name,
4086 data, len, decl_state->compressed);
4087 lto_free_function_in_decl_state_for_node (this);
4088 /* Keep lto file data so ipa-inline-analysis knows about cross module
4089 inlining. */
4091 timevar_pop (TV_IPA_LTO_GIMPLE_IN);
4093 return true;
4096 /* Prepare function body. When doing LTO, read cgraph_node's body from disk
4097 if it is not already present. When some IPA transformations are scheduled,
4098 apply them. */
4100 bool
4101 cgraph_node::get_body (void)
4103 bool updated;
4105 updated = get_untransformed_body ();
4107 /* Getting transformed body makes no sense for inline clones;
4108 we should never use this on real clones because they are materialized
4109 early.
4110 TODO: Materializing clones here will likely lead to smaller LTRANS
4111 footprint. */
4112 gcc_assert (!inlined_to && !clone_of);
4113 if (ipa_transforms_to_apply.exists ())
4115 opt_pass *saved_current_pass = current_pass;
4116 FILE *saved_dump_file = dump_file;
4117 const char *saved_dump_file_name = dump_file_name;
4118 dump_flags_t saved_dump_flags = dump_flags;
4119 dump_file_name = NULL;
4120 set_dump_file (NULL);
4122 push_cfun (DECL_STRUCT_FUNCTION (decl));
4124 update_ssa (TODO_update_ssa_only_virtuals);
4125 execute_all_ipa_transforms (true);
4126 cgraph_edge::rebuild_edges ();
4127 free_dominance_info (CDI_DOMINATORS);
4128 free_dominance_info (CDI_POST_DOMINATORS);
4129 pop_cfun ();
4130 updated = true;
4132 current_pass = saved_current_pass;
4133 set_dump_file (saved_dump_file);
4134 dump_file_name = saved_dump_file_name;
4135 dump_flags = saved_dump_flags;
4137 return updated;
4140 /* Return the DECL_STRUCT_FUNCTION of the function. */
4142 struct function *
4143 cgraph_node::get_fun () const
4145 const cgraph_node *node = this;
4146 struct function *fun = DECL_STRUCT_FUNCTION (node->decl);
4148 while (!fun && node->clone_of)
4150 node = node->clone_of;
4151 fun = DECL_STRUCT_FUNCTION (node->decl);
4154 return fun;
4157 /* Reset all state within cgraph.cc so that we can rerun the compiler
4158 within the same process. For use by toplev::finalize. */
4160 void
4161 cgraph_cc_finalize (void)
4163 nested_function_info::release ();
4164 thunk_info::release ();
4165 clone_info::release ();
4166 symtab = NULL;
4168 x_cgraph_nodes_queue = NULL;
4170 cgraph_fnver_htab = NULL;
4171 version_info_node = NULL;
4174 /* A worker for call_for_symbol_and_aliases. */
4176 bool
4177 cgraph_node::call_for_symbol_and_aliases_1 (bool (*callback) (cgraph_node *,
4178 void *),
4179 void *data,
4180 bool include_overwritable)
4182 ipa_ref *ref;
4183 FOR_EACH_ALIAS (this, ref)
4185 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
4186 if (include_overwritable
4187 || alias->get_availability () > AVAIL_INTERPOSABLE)
4188 if (alias->call_for_symbol_and_aliases (callback, data,
4189 include_overwritable))
4190 return true;
4192 return false;
4195 /* Return true if NODE has thunk. */
4197 bool
4198 cgraph_node::has_thunk_p (cgraph_node *node, void *)
4200 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
4201 if (e->caller->thunk)
4202 return true;
4203 return false;
4206 /* Expected frequency of executions within the function. */
4208 sreal
4209 cgraph_edge::sreal_frequency ()
4211 return count.to_sreal_scale (caller->inlined_to
4212 ? caller->inlined_to->count
4213 : caller->count);
4217 /* During LTO stream in this can be used to check whether call can possibly
4218 be internal to the current translation unit. */
4220 bool
4221 cgraph_edge::possibly_call_in_translation_unit_p (void)
4223 gcc_checking_assert (in_lto_p && caller->prevailing_p ());
4225 /* While incremental linking we may end up getting function body later. */
4226 if (flag_incremental_link == INCREMENTAL_LINK_LTO)
4227 return true;
4229 /* We may be smarter here and avoid streaming in indirect calls we can't
4230 track, but that would require arranging streaming the indirect call
4231 summary first. */
4232 if (!callee)
4233 return true;
4235 /* If callee is local to the original translation unit, it will be
4236 defined. */
4237 if (!TREE_PUBLIC (callee->decl) && !DECL_EXTERNAL (callee->decl))
4238 return true;
4240 /* Otherwise we need to lookup prevailing symbol (symbol table is not merged,
4241 yet) and see if it is a definition. In fact we may also resolve aliases,
4242 but that is probably not too important. */
4243 symtab_node *node = callee;
4244 for (int n = 10; node->previous_sharing_asm_name && n ; n--)
4245 node = node->previous_sharing_asm_name;
4246 if (node->previous_sharing_asm_name)
4247 node = symtab_node::get_for_asmname (DECL_ASSEMBLER_NAME (callee->decl));
4248 gcc_assert (TREE_PUBLIC (node->decl) || DECL_EXTERNAL (node->decl));
4249 return node->get_availability () >= AVAIL_INTERPOSABLE;
4252 /* Return num_speculative_targets of this edge. */
4255 cgraph_edge::num_speculative_call_targets_p (void)
4257 return indirect_info ? indirect_info->num_speculative_call_targets : 0;
4260 /* Check if function calls comdat local. This is used to recompute
4261 calls_comdat_local flag after function transformations. */
4262 bool
4263 cgraph_node::check_calls_comdat_local_p ()
4265 for (cgraph_edge *e = callees; e; e = e->next_callee)
4266 if (e->inline_failed
4267 ? e->callee->comdat_local_p ()
4268 : e->callee->check_calls_comdat_local_p ())
4269 return true;
4270 return false;
4273 /* Return true if this node represents a former, i.e. an expanded, thunk. */
4275 bool
4276 cgraph_node::former_thunk_p (void)
4278 if (thunk)
4279 return false;
4280 thunk_info *i = thunk_info::get (this);
4281 if (!i)
4282 return false;
4283 gcc_checking_assert (i->fixed_offset || i->virtual_offset_p
4284 || i->indirect_offset);
4285 return true;
4288 /* A stashed copy of "symtab" for use by selftest::symbol_table_test.
4289 This needs to be a global so that it can be a GC root, and thus
4290 prevent the stashed copy from being garbage-collected if the GC runs
4291 during a symbol_table_test. */
4293 symbol_table *saved_symtab;
4295 #if CHECKING_P
4297 namespace selftest {
4299 /* class selftest::symbol_table_test. */
4301 /* Constructor. Store the old value of symtab, and create a new one. */
4303 symbol_table_test::symbol_table_test ()
4305 gcc_assert (saved_symtab == NULL);
4306 saved_symtab = symtab;
4307 symtab = new (ggc_alloc<symbol_table> ()) symbol_table ();
4310 /* Destructor. Restore the old value of symtab. */
4312 symbol_table_test::~symbol_table_test ()
4314 gcc_assert (saved_symtab != NULL);
4315 symtab = saved_symtab;
4316 saved_symtab = NULL;
4319 /* Verify that symbol_table_test works. */
4321 static void
4322 test_symbol_table_test ()
4324 /* Simulate running two selftests involving symbol tables. */
4325 for (int i = 0; i < 2; i++)
4327 symbol_table_test stt;
4328 tree test_decl = build_decl (UNKNOWN_LOCATION, FUNCTION_DECL,
4329 get_identifier ("test_decl"),
4330 build_function_type_list (void_type_node,
4331 NULL_TREE));
4332 cgraph_node *node = cgraph_node::get_create (test_decl);
4333 gcc_assert (node);
4335 /* Verify that the node has order 0 on both iterations,
4336 and thus that nodes have predictable dump names in selftests. */
4337 ASSERT_EQ (node->order, 0);
4338 ASSERT_STREQ (node->dump_name (), "test_decl/0");
4342 /* Run all of the selftests within this file. */
4344 void
4345 cgraph_cc_tests ()
4347 test_symbol_table_test ();
4350 } // namespace selftest
4352 #endif /* CHECKING_P */
4354 #include "gt-cgraph.h"