c++: remove some xfails
[official-gcc.git] / gcc / cgraph.cc
blob8d6ed38efa25de53c9b5ceb6d0a746cf943f4897
1 /* Callgraph handling code.
2 Copyright (C) 2003-2022 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
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 It is up to caller to iteratively transform each "speculative"
1407 direct call as appropriate. */
1409 gimple *
1410 cgraph_edge::redirect_call_stmt_to_callee (cgraph_edge *e)
1412 tree decl = gimple_call_fndecl (e->call_stmt);
1413 gcall *new_stmt;
1414 gimple_stmt_iterator gsi;
1416 if (e->speculative)
1418 /* If there already is an direct call (i.e. as a result of inliner's
1419 substitution), forget about speculating. */
1420 if (decl)
1421 e = make_direct (e->speculative_call_indirect_edge (),
1422 cgraph_node::get (decl));
1423 else
1425 /* Be sure we redirect all speculative targets before poking
1426 about indirect edge. */
1427 gcc_checking_assert (e->callee);
1428 cgraph_edge *indirect = e->speculative_call_indirect_edge ();
1429 gcall *new_stmt;
1430 ipa_ref *ref;
1432 /* Expand speculation into GIMPLE code. */
1433 if (dump_file)
1435 fprintf (dump_file,
1436 "Expanding speculative call of %s -> %s count: ",
1437 e->caller->dump_name (),
1438 e->callee->dump_name ());
1439 e->count.dump (dump_file);
1440 fprintf (dump_file, "\n");
1442 push_cfun (DECL_STRUCT_FUNCTION (e->caller->decl));
1444 profile_count all = indirect->count;
1445 for (cgraph_edge *e2 = e->first_speculative_call_target ();
1447 e2 = e2->next_speculative_call_target ())
1448 all = all + e2->count;
1449 profile_probability prob = e->count.probability_in (all);
1450 if (!prob.initialized_p ())
1451 prob = profile_probability::even ();
1452 ref = e->speculative_call_target_ref ();
1453 new_stmt = gimple_ic (e->call_stmt,
1454 dyn_cast<cgraph_node *> (ref->referred),
1455 prob);
1456 e->speculative = false;
1457 if (indirect->num_speculative_call_targets_p ())
1459 /* The indirect edge has multiple speculative targets, don't
1460 remove speculative until all related direct edges are
1461 redirected. */
1462 indirect->indirect_info->num_speculative_call_targets--;
1463 if (!indirect->indirect_info->num_speculative_call_targets)
1464 indirect->speculative = false;
1466 else
1467 indirect->speculative = false;
1468 /* Indirect edges are not both in the call site hash.
1469 get it updated. */
1470 update_call_stmt_hash_for_removing_direct_edge (e, indirect);
1471 cgraph_edge::set_call_stmt (e, new_stmt, false);
1472 e->count = gimple_bb (e->call_stmt)->count;
1474 /* Once we are done with expanding the sequence, update also indirect
1475 call probability. Until then the basic block accounts for the
1476 sum of indirect edge and all non-expanded speculations. */
1477 if (!indirect->speculative)
1478 indirect->count = gimple_bb (indirect->call_stmt)->count;
1479 ref->speculative = false;
1480 ref->stmt = NULL;
1481 pop_cfun ();
1482 /* Continue redirecting E to proper target. */
1487 if (e->indirect_unknown_callee
1488 || decl == e->callee->decl)
1489 return e->call_stmt;
1491 if (decl && ipa_saved_clone_sources)
1493 tree *p = ipa_saved_clone_sources->get (e->callee);
1494 if (p && decl == *p)
1496 gimple_call_set_fndecl (e->call_stmt, e->callee->decl);
1497 return e->call_stmt;
1500 if (flag_checking && decl)
1502 if (cgraph_node *node = cgraph_node::get (decl))
1504 clone_info *info = clone_info::get (node);
1505 gcc_assert (!info || !info->param_adjustments);
1509 clone_info *callee_info = clone_info::get (e->callee);
1510 if (symtab->dump_file)
1512 fprintf (symtab->dump_file, "updating call of %s -> %s: ",
1513 e->caller->dump_name (), e->callee->dump_name ());
1514 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
1515 if (callee_info && callee_info->param_adjustments)
1516 callee_info->param_adjustments->dump (symtab->dump_file);
1519 if (ipa_param_adjustments *padjs
1520 = callee_info ? callee_info->param_adjustments : NULL)
1522 /* We need to defer cleaning EH info on the new statement to
1523 fixup-cfg. We may not have dominator information at this point
1524 and thus would end up with unreachable blocks and have no way
1525 to communicate that we need to run CFG cleanup then. */
1526 int lp_nr = lookup_stmt_eh_lp (e->call_stmt);
1527 if (lp_nr != 0)
1528 remove_stmt_from_eh_lp (e->call_stmt);
1530 tree old_fntype = gimple_call_fntype (e->call_stmt);
1531 new_stmt = padjs->modify_call (e, false);
1532 cgraph_node *origin = e->callee;
1533 while (origin->clone_of)
1534 origin = origin->clone_of;
1536 if ((origin->former_clone_of
1537 && old_fntype == TREE_TYPE (origin->former_clone_of))
1538 || old_fntype == TREE_TYPE (origin->decl))
1539 gimple_call_set_fntype (new_stmt, TREE_TYPE (e->callee->decl));
1540 else
1542 tree new_fntype = padjs->build_new_function_type (old_fntype, true);
1543 gimple_call_set_fntype (new_stmt, new_fntype);
1546 if (lp_nr != 0)
1547 add_stmt_to_eh_lp (new_stmt, lp_nr);
1549 else
1551 if (flag_checking
1552 && !fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE))
1553 ipa_verify_edge_has_no_modifications (e);
1554 new_stmt = e->call_stmt;
1555 gimple_call_set_fndecl (new_stmt, e->callee->decl);
1556 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1559 /* If changing the call to __cxa_pure_virtual or similar noreturn function,
1560 adjust gimple_call_fntype too. */
1561 if (gimple_call_noreturn_p (new_stmt)
1562 && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (e->callee->decl)))
1563 && TYPE_ARG_TYPES (TREE_TYPE (e->callee->decl))
1564 && (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (e->callee->decl)))
1565 == void_type_node))
1566 gimple_call_set_fntype (new_stmt, TREE_TYPE (e->callee->decl));
1568 /* If the call becomes noreturn, remove the LHS if possible. */
1569 tree lhs = gimple_call_lhs (new_stmt);
1570 if (lhs
1571 && gimple_call_noreturn_p (new_stmt)
1572 && (VOID_TYPE_P (TREE_TYPE (gimple_call_fntype (new_stmt)))
1573 || should_remove_lhs_p (lhs)))
1575 if (TREE_CODE (lhs) == SSA_NAME)
1577 tree var = create_tmp_reg_fn (DECL_STRUCT_FUNCTION (e->caller->decl),
1578 TREE_TYPE (lhs), NULL);
1579 var = get_or_create_ssa_default_def
1580 (DECL_STRUCT_FUNCTION (e->caller->decl), var);
1581 gimple *set_stmt = gimple_build_assign (lhs, var);
1582 gsi = gsi_for_stmt (new_stmt);
1583 gsi_insert_before_without_update (&gsi, set_stmt, GSI_SAME_STMT);
1584 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), set_stmt);
1586 gimple_call_set_lhs (new_stmt, NULL_TREE);
1587 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1590 /* If new callee has no static chain, remove it. */
1591 if (gimple_call_chain (new_stmt) && !DECL_STATIC_CHAIN (e->callee->decl))
1593 gimple_call_set_chain (new_stmt, NULL);
1594 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1597 maybe_remove_unused_call_args (DECL_STRUCT_FUNCTION (e->caller->decl),
1598 new_stmt);
1600 e->caller->set_call_stmt_including_clones (e->call_stmt, new_stmt, false);
1602 if (symtab->dump_file)
1604 fprintf (symtab->dump_file, " updated to:");
1605 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
1607 return new_stmt;
1610 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1611 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
1612 of OLD_STMT if it was previously call statement.
1613 If NEW_STMT is NULL, the call has been dropped without any
1614 replacement. */
1616 static void
1617 cgraph_update_edges_for_call_stmt_node (cgraph_node *node,
1618 gimple *old_stmt, tree old_call,
1619 gimple *new_stmt)
1621 tree new_call = (new_stmt && is_gimple_call (new_stmt))
1622 ? gimple_call_fndecl (new_stmt) : 0;
1624 /* We are seeing indirect calls, then there is nothing to update. */
1625 if (!new_call && !old_call)
1626 return;
1627 /* See if we turned indirect call into direct call or folded call to one builtin
1628 into different builtin. */
1629 if (old_call != new_call)
1631 cgraph_edge *e = node->get_edge (old_stmt);
1632 cgraph_edge *ne = NULL;
1633 profile_count count;
1635 if (e)
1637 /* Keep calls marked as dead dead. */
1638 if (new_stmt && is_gimple_call (new_stmt) && e->callee
1639 && fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE))
1641 cgraph_edge::set_call_stmt (node->get_edge (old_stmt),
1642 as_a <gcall *> (new_stmt));
1643 return;
1645 /* See if the edge is already there and has the correct callee. It
1646 might be so because of indirect inlining has already updated
1647 it. We also might've cloned and redirected the edge. */
1648 if (new_call && e->callee)
1650 cgraph_node *callee = e->callee;
1651 while (callee)
1653 if (callee->decl == new_call
1654 || callee->former_clone_of == new_call)
1656 cgraph_edge::set_call_stmt (e, as_a <gcall *> (new_stmt));
1657 return;
1659 callee = callee->clone_of;
1663 /* Otherwise remove edge and create new one; we can't simply redirect
1664 since function has changed, so inline plan and other information
1665 attached to edge is invalid. */
1666 count = e->count;
1667 if (e->indirect_unknown_callee || e->inline_failed)
1668 cgraph_edge::remove (e);
1669 else
1670 e->callee->remove_symbol_and_inline_clones ();
1672 else if (new_call)
1674 /* We are seeing new direct call; compute profile info based on BB. */
1675 basic_block bb = gimple_bb (new_stmt);
1676 count = bb->count;
1679 if (new_call)
1681 ne = node->create_edge (cgraph_node::get_create (new_call),
1682 as_a <gcall *> (new_stmt), count);
1683 gcc_assert (ne->inline_failed);
1686 /* We only updated the call stmt; update pointer in cgraph edge.. */
1687 else if (old_stmt != new_stmt)
1688 cgraph_edge::set_call_stmt (node->get_edge (old_stmt),
1689 as_a <gcall *> (new_stmt));
1692 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1693 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1694 of OLD_STMT before it was updated (updating can happen inplace). */
1696 void
1697 cgraph_update_edges_for_call_stmt (gimple *old_stmt, tree old_decl,
1698 gimple *new_stmt)
1700 cgraph_node *orig = cgraph_node::get (cfun->decl);
1701 cgraph_node *node;
1703 gcc_checking_assert (orig);
1704 cgraph_update_edges_for_call_stmt_node (orig, old_stmt, old_decl, new_stmt);
1705 if (orig->clones)
1706 for (node = orig->clones; node != orig;)
1708 cgraph_update_edges_for_call_stmt_node (node, old_stmt, old_decl,
1709 new_stmt);
1710 if (node->clones)
1711 node = node->clones;
1712 else if (node->next_sibling_clone)
1713 node = node->next_sibling_clone;
1714 else
1716 while (node != orig && !node->next_sibling_clone)
1717 node = node->clone_of;
1718 if (node != orig)
1719 node = node->next_sibling_clone;
1725 /* Remove all callees from the node. */
1727 void
1728 cgraph_node::remove_callees (void)
1730 cgraph_edge *e, *f;
1732 calls_comdat_local = false;
1734 /* It is sufficient to remove the edges from the lists of callers of
1735 the callees. The callee list of the node can be zapped with one
1736 assignment. */
1737 for (e = callees; e; e = f)
1739 f = e->next_callee;
1740 symtab->call_edge_removal_hooks (e);
1741 if (!e->indirect_unknown_callee)
1742 e->remove_callee ();
1743 symtab->free_edge (e);
1745 for (e = indirect_calls; e; e = f)
1747 f = e->next_callee;
1748 symtab->call_edge_removal_hooks (e);
1749 if (!e->indirect_unknown_callee)
1750 e->remove_callee ();
1751 symtab->free_edge (e);
1753 indirect_calls = NULL;
1754 callees = NULL;
1755 if (call_site_hash)
1757 call_site_hash->empty ();
1758 call_site_hash = NULL;
1762 /* Remove all callers from the node. */
1764 void
1765 cgraph_node::remove_callers (void)
1767 cgraph_edge *e, *f;
1769 /* It is sufficient to remove the edges from the lists of callees of
1770 the callers. The caller list of the node can be zapped with one
1771 assignment. */
1772 for (e = callers; e; e = f)
1774 f = e->next_caller;
1775 symtab->call_edge_removal_hooks (e);
1776 e->remove_caller ();
1777 symtab->free_edge (e);
1779 callers = NULL;
1782 /* Helper function for cgraph_release_function_body and free_lang_data.
1783 It releases body from function DECL without having to inspect its
1784 possibly non-existent symtab node. */
1786 void
1787 release_function_body (tree decl)
1789 function *fn = DECL_STRUCT_FUNCTION (decl);
1790 if (fn)
1792 if (fn->cfg
1793 && loops_for_fn (fn))
1795 fn->curr_properties &= ~PROP_loops;
1796 loop_optimizer_finalize (fn);
1798 if (fn->gimple_df)
1800 delete_tree_ssa (fn);
1801 fn->eh = NULL;
1803 if (fn->cfg)
1805 gcc_assert (!dom_info_available_p (fn, CDI_DOMINATORS));
1806 gcc_assert (!dom_info_available_p (fn, CDI_POST_DOMINATORS));
1807 delete_tree_cfg_annotations (fn);
1808 free_cfg (fn);
1809 fn->cfg = NULL;
1811 if (fn->value_histograms)
1812 free_histograms (fn);
1813 gimple_set_body (decl, NULL);
1814 /* Struct function hangs a lot of data that would leak if we didn't
1815 removed all pointers to it. */
1816 ggc_free (fn);
1817 DECL_STRUCT_FUNCTION (decl) = NULL;
1819 DECL_SAVED_TREE (decl) = NULL;
1822 /* Release memory used to represent body of function.
1823 Use this only for functions that are released before being translated to
1824 target code (i.e. RTL). Functions that are compiled to RTL and beyond
1825 are free'd in final.cc via free_after_compilation().
1826 KEEP_ARGUMENTS are useful only if you want to rebuild body as thunk. */
1828 void
1829 cgraph_node::release_body (bool keep_arguments)
1831 ipa_transforms_to_apply.release ();
1832 if (!used_as_abstract_origin && symtab->state != PARSING)
1834 DECL_RESULT (decl) = NULL;
1836 if (!keep_arguments)
1837 DECL_ARGUMENTS (decl) = NULL;
1839 /* If the node is abstract and needed, then do not clear
1840 DECL_INITIAL of its associated function declaration because it's
1841 needed to emit debug info later. */
1842 if (!used_as_abstract_origin && DECL_INITIAL (decl))
1843 DECL_INITIAL (decl) = error_mark_node;
1844 release_function_body (decl);
1845 if (lto_file_data)
1847 lto_free_function_in_decl_state_for_node (this);
1848 lto_file_data = NULL;
1850 if (flag_checking && clones)
1852 /* It is invalid to release body before materializing clones except
1853 for thunks that don't really need a body. Verify also that we do
1854 not leak pointers to the call statements. */
1855 for (cgraph_node *node = clones; node;
1856 node = node->next_sibling_clone)
1857 gcc_assert (node->thunk && !node->callees->call_stmt);
1859 remove_callees ();
1860 remove_all_references ();
1863 /* Remove function from symbol table. */
1865 void
1866 cgraph_node::remove (void)
1868 bool clone_info_set = false;
1869 clone_info *info, saved_info;
1870 if (symtab->ipa_clones_dump_file && symtab->cloned_nodes.contains (this))
1871 fprintf (symtab->ipa_clones_dump_file,
1872 "Callgraph removal;%s;%d;%s;%d;%d\n", asm_name (), order,
1873 DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl),
1874 DECL_SOURCE_COLUMN (decl));
1876 if ((info = clone_info::get (this)) != NULL)
1878 saved_info = *info;
1879 clone_info_set = true;
1881 symtab->call_cgraph_removal_hooks (this);
1882 remove_callers ();
1883 remove_callees ();
1884 ipa_transforms_to_apply.release ();
1885 delete_function_version (function_version ());
1887 /* Incremental inlining access removed nodes stored in the postorder list.
1889 force_output = false;
1890 forced_by_abi = false;
1892 unregister (clone_info_set ? &saved_info : NULL);
1893 if (prev_sibling_clone)
1894 prev_sibling_clone->next_sibling_clone = next_sibling_clone;
1895 else if (clone_of)
1897 clone_of->clones = next_sibling_clone;
1898 if (!clone_of->analyzed && !clone_of->clones && !clones)
1899 clone_of->release_body ();
1901 if (next_sibling_clone)
1902 next_sibling_clone->prev_sibling_clone = prev_sibling_clone;
1903 if (clones)
1905 cgraph_node *n, *next;
1907 if (clone_of)
1909 for (n = clones; n->next_sibling_clone; n = n->next_sibling_clone)
1910 n->clone_of = clone_of;
1911 n->clone_of = clone_of;
1912 n->next_sibling_clone = clone_of->clones;
1913 if (clone_of->clones)
1914 clone_of->clones->prev_sibling_clone = n;
1915 clone_of->clones = clones;
1917 else
1919 /* We are removing node with clones. This makes clones inconsistent,
1920 but assume they will be removed subsequently and just keep clone
1921 tree intact. This can happen in unreachable function removal since
1922 we remove unreachable functions in random order, not by bottom-up
1923 walk of clone trees. */
1924 for (n = clones; n; n = next)
1926 next = n->next_sibling_clone;
1927 n->next_sibling_clone = NULL;
1928 n->prev_sibling_clone = NULL;
1929 n->clone_of = NULL;
1934 /* While all the clones are removed after being proceeded, the function
1935 itself is kept in the cgraph even after it is compiled. Check whether
1936 we are done with this body and reclaim it proactively if this is the case.
1938 if (symtab->state != LTO_STREAMING)
1940 cgraph_node *n = cgraph_node::get (decl);
1941 if (!n
1942 || (!n->clones && !n->clone_of && !n->inlined_to
1943 && ((symtab->global_info_ready || in_lto_p)
1944 && (TREE_ASM_WRITTEN (n->decl)
1945 || DECL_EXTERNAL (n->decl)
1946 || !n->analyzed
1947 || (!flag_wpa && n->in_other_partition)))))
1948 release_body ();
1950 else
1952 lto_free_function_in_decl_state_for_node (this);
1953 lto_file_data = NULL;
1956 decl = NULL;
1957 if (call_site_hash)
1959 call_site_hash->empty ();
1960 call_site_hash = NULL;
1963 symtab->release_symbol (this);
1966 /* Likewise indicate that a node is having address taken. */
1968 void
1969 cgraph_node::mark_address_taken (void)
1971 /* Indirect inlining can figure out that all uses of the address are
1972 inlined. */
1973 if (inlined_to)
1975 gcc_assert (cfun->after_inlining);
1976 gcc_assert (callers->indirect_inlining_edge);
1977 return;
1979 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1980 IPA_REF_ADDR reference exists (and thus it should be set on node
1981 representing alias we take address of) and as a test whether address
1982 of the object was taken (and thus it should be set on node alias is
1983 referring to). We should remove the first use and the remove the
1984 following set. */
1985 address_taken = 1;
1986 cgraph_node *node = ultimate_alias_target ();
1987 node->address_taken = 1;
1990 /* Return local info node for the compiled function. */
1992 cgraph_node *
1993 cgraph_node::local_info_node (tree decl)
1995 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
1996 cgraph_node *node = get (decl);
1997 if (!node)
1998 return NULL;
1999 return node->ultimate_alias_target ();
2002 /* Return RTL info for the compiled function. */
2004 cgraph_rtl_info *
2005 cgraph_node::rtl_info (const_tree decl)
2007 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
2008 cgraph_node *node = get (decl);
2009 if (!node)
2010 return NULL;
2011 enum availability avail;
2012 node = node->ultimate_alias_target (&avail);
2013 if (decl != current_function_decl
2014 && (avail < AVAIL_AVAILABLE
2015 || (node->decl != current_function_decl
2016 && !TREE_ASM_WRITTEN (node->decl))))
2017 return NULL;
2018 /* Allocate if it doesn't exist. */
2019 if (node->rtl == NULL)
2021 node->rtl = ggc_cleared_alloc<cgraph_rtl_info> ();
2022 SET_HARD_REG_SET (node->rtl->function_used_regs);
2024 return node->rtl;
2027 /* Return a string describing the failure REASON. */
2029 const char*
2030 cgraph_inline_failed_string (cgraph_inline_failed_t reason)
2032 #undef DEFCIFCODE
2033 #define DEFCIFCODE(code, type, string) string,
2035 static const char *cif_string_table[CIF_N_REASONS] = {
2036 #include "cif-code.def"
2039 /* Signedness of an enum type is implementation defined, so cast it
2040 to unsigned before testing. */
2041 gcc_assert ((unsigned) reason < CIF_N_REASONS);
2042 return cif_string_table[reason];
2045 /* Return a type describing the failure REASON. */
2047 cgraph_inline_failed_type_t
2048 cgraph_inline_failed_type (cgraph_inline_failed_t reason)
2050 #undef DEFCIFCODE
2051 #define DEFCIFCODE(code, type, string) type,
2053 static cgraph_inline_failed_type_t cif_type_table[CIF_N_REASONS] = {
2054 #include "cif-code.def"
2057 /* Signedness of an enum type is implementation defined, so cast it
2058 to unsigned before testing. */
2059 gcc_assert ((unsigned) reason < CIF_N_REASONS);
2060 return cif_type_table[reason];
2063 /* Names used to print out the availability enum. */
2064 const char * const cgraph_availability_names[] =
2065 {"unset", "not_available", "overwritable", "available", "local"};
2067 /* Output flags of edge to a file F. */
2069 void
2070 cgraph_edge::dump_edge_flags (FILE *f)
2072 if (speculative)
2073 fprintf (f, "(speculative) ");
2074 if (!inline_failed)
2075 fprintf (f, "(inlined) ");
2076 if (call_stmt_cannot_inline_p)
2077 fprintf (f, "(call_stmt_cannot_inline_p) ");
2078 if (indirect_inlining_edge)
2079 fprintf (f, "(indirect_inlining) ");
2080 if (count.initialized_p ())
2082 fprintf (f, "(");
2083 count.dump (f);
2084 fprintf (f, ",");
2085 fprintf (f, "%.2f per call) ", sreal_frequency ().to_double ());
2087 if (can_throw_external)
2088 fprintf (f, "(can throw external) ");
2091 /* Dump edge to stderr. */
2093 void
2094 cgraph_edge::debug (void)
2096 fprintf (stderr, "%s -> %s ", caller->dump_asm_name (),
2097 callee == NULL ? "(null)" : callee->dump_asm_name ());
2098 dump_edge_flags (stderr);
2099 fprintf (stderr, "\n\n");
2100 caller->debug ();
2101 if (callee != NULL)
2102 callee->debug ();
2105 /* Dump call graph node to file F. */
2107 void
2108 cgraph_node::dump (FILE *f)
2110 cgraph_edge *edge;
2112 dump_base (f);
2114 if (inlined_to)
2115 fprintf (f, " Function %s is inline copy in %s\n",
2116 dump_name (),
2117 inlined_to->dump_name ());
2118 if (clone_of)
2119 fprintf (f, " Clone of %s\n", clone_of->dump_asm_name ());
2120 if (symtab->function_flags_ready)
2121 fprintf (f, " Availability: %s\n",
2122 cgraph_availability_names [get_availability ()]);
2124 if (profile_id)
2125 fprintf (f, " Profile id: %i\n",
2126 profile_id);
2127 if (unit_id)
2128 fprintf (f, " Unit id: %i\n",
2129 unit_id);
2130 cgraph_function_version_info *vi = function_version ();
2131 if (vi != NULL)
2133 fprintf (f, " Version info: ");
2134 if (vi->prev != NULL)
2136 fprintf (f, "prev: ");
2137 fprintf (f, "%s ", vi->prev->this_node->dump_asm_name ());
2139 if (vi->next != NULL)
2141 fprintf (f, "next: ");
2142 fprintf (f, "%s ", vi->next->this_node->dump_asm_name ());
2144 if (vi->dispatcher_resolver != NULL_TREE)
2145 fprintf (f, "dispatcher: %s",
2146 lang_hooks.decl_printable_name (vi->dispatcher_resolver, 2));
2148 fprintf (f, "\n");
2150 fprintf (f, " Function flags:");
2151 if (count.initialized_p ())
2153 fprintf (f, " count:");
2154 count.dump (f);
2156 if (tp_first_run > 0)
2157 fprintf (f, " first_run:%" PRId64, (int64_t) tp_first_run);
2158 if (cgraph_node *origin = nested_function_origin (this))
2159 fprintf (f, " nested in:%s", origin->dump_asm_name ());
2160 if (gimple_has_body_p (decl))
2161 fprintf (f, " body");
2162 if (process)
2163 fprintf (f, " process");
2164 if (local)
2165 fprintf (f, " local");
2166 if (redefined_extern_inline)
2167 fprintf (f, " redefined_extern_inline");
2168 if (only_called_at_startup)
2169 fprintf (f, " only_called_at_startup");
2170 if (only_called_at_exit)
2171 fprintf (f, " only_called_at_exit");
2172 if (tm_clone)
2173 fprintf (f, " tm_clone");
2174 if (calls_comdat_local)
2175 fprintf (f, " calls_comdat_local");
2176 if (icf_merged)
2177 fprintf (f, " icf_merged");
2178 if (merged_comdat)
2179 fprintf (f, " merged_comdat");
2180 if (merged_extern_inline)
2181 fprintf (f, " merged_extern_inline");
2182 if (split_part)
2183 fprintf (f, " split_part");
2184 if (indirect_call_target)
2185 fprintf (f, " indirect_call_target");
2186 if (nonfreeing_fn)
2187 fprintf (f, " nonfreeing_fn");
2188 if (DECL_STATIC_CONSTRUCTOR (decl))
2189 fprintf (f," static_constructor (priority:%i)", get_init_priority ());
2190 if (DECL_STATIC_DESTRUCTOR (decl))
2191 fprintf (f," static_destructor (priority:%i)", get_fini_priority ());
2192 if (frequency == NODE_FREQUENCY_HOT)
2193 fprintf (f, " hot");
2194 if (frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED)
2195 fprintf (f, " unlikely_executed");
2196 if (frequency == NODE_FREQUENCY_EXECUTED_ONCE)
2197 fprintf (f, " executed_once");
2198 if (opt_for_fn (decl, optimize_size))
2199 fprintf (f, " optimize_size");
2200 if (parallelized_function)
2201 fprintf (f, " parallelized_function");
2202 if (DECL_IS_MALLOC (decl))
2203 fprintf (f, " decl_is_malloc");
2204 if (DECL_IS_OPERATOR_NEW_P (decl))
2205 fprintf (f, " %soperator_new",
2206 DECL_IS_REPLACEABLE_OPERATOR (decl) ? "replaceable_" : "");
2207 if (DECL_IS_OPERATOR_DELETE_P (decl))
2208 fprintf (f, " %soperator_delete",
2209 DECL_IS_REPLACEABLE_OPERATOR (decl) ? "replaceable_" : "");
2211 if (DECL_STATIC_CHAIN (decl))
2212 fprintf (f, " static_chain");
2214 fprintf (f, "\n");
2216 if (thunk)
2218 fprintf (f, " Thunk");
2219 thunk_info::get (this)->dump (f);
2221 else if (former_thunk_p ())
2223 fprintf (f, " Former thunk ");
2224 thunk_info::get (this)->dump (f);
2226 else gcc_checking_assert (!thunk_info::get (this));
2228 fprintf (f, " Called by: ");
2230 profile_count sum = profile_count::zero ();
2231 for (edge = callers; edge; edge = edge->next_caller)
2233 fprintf (f, "%s ", edge->caller->dump_asm_name ());
2234 edge->dump_edge_flags (f);
2235 if (edge->count.initialized_p ())
2236 sum += edge->count.ipa ();
2239 fprintf (f, "\n Calls: ");
2240 for (edge = callees; edge; edge = edge->next_callee)
2242 fprintf (f, "%s ", edge->callee->dump_asm_name ());
2243 edge->dump_edge_flags (f);
2245 fprintf (f, "\n");
2247 if (!body_removed && count.ipa ().initialized_p ())
2249 bool ok = true;
2250 bool min = false;
2251 ipa_ref *ref;
2253 FOR_EACH_ALIAS (this, ref)
2254 if (dyn_cast <cgraph_node *> (ref->referring)->count.initialized_p ())
2255 sum += dyn_cast <cgraph_node *> (ref->referring)->count.ipa ();
2257 if (inlined_to
2258 || (symtab->state < EXPANSION
2259 && ultimate_alias_target () == this && only_called_directly_p ()))
2260 ok = !count.ipa ().differs_from_p (sum);
2261 else if (count.ipa () > profile_count::from_gcov_type (100)
2262 && count.ipa () < sum.apply_scale (99, 100))
2263 ok = false, min = true;
2264 if (!ok)
2266 fprintf (f, " Invalid sum of caller counts ");
2267 sum.dump (f);
2268 if (min)
2269 fprintf (f, ", should be at most ");
2270 else
2271 fprintf (f, ", should be ");
2272 count.ipa ().dump (f);
2273 fprintf (f, "\n");
2277 for (edge = indirect_calls; edge; edge = edge->next_callee)
2279 if (edge->indirect_info->polymorphic)
2281 fprintf (f, " Polymorphic indirect call of type ");
2282 print_generic_expr (f, edge->indirect_info->otr_type, TDF_SLIM);
2283 fprintf (f, " token:%i", (int) edge->indirect_info->otr_token);
2285 else
2286 fprintf (f, " Indirect call");
2287 edge->dump_edge_flags (f);
2288 if (edge->indirect_info->param_index != -1)
2290 fprintf (f, "of param:%i ", edge->indirect_info->param_index);
2291 if (edge->indirect_info->agg_contents)
2292 fprintf (f, "loaded from %s %s at offset %i ",
2293 edge->indirect_info->member_ptr ? "member ptr" : "aggregate",
2294 edge->indirect_info->by_ref ? "passed by reference":"",
2295 (int)edge->indirect_info->offset);
2296 if (edge->indirect_info->vptr_changed)
2297 fprintf (f, "(vptr maybe changed) ");
2299 fprintf (f, "num speculative call targets: %i\n",
2300 edge->indirect_info->num_speculative_call_targets);
2301 if (edge->indirect_info->polymorphic)
2302 edge->indirect_info->context.dump (f);
2306 /* Dump call graph node to file F in graphviz format. */
2308 void
2309 cgraph_node::dump_graphviz (FILE *f)
2311 cgraph_edge *edge;
2313 for (edge = callees; edge; edge = edge->next_callee)
2315 cgraph_node *callee = edge->callee;
2317 fprintf (f, "\t\"%s\" -> \"%s\"\n", dump_name (), callee->dump_name ());
2322 /* Dump call graph node NODE to stderr. */
2324 DEBUG_FUNCTION void
2325 cgraph_node::debug (void)
2327 dump (stderr);
2330 /* Dump the callgraph to file F. */
2332 void
2333 cgraph_node::dump_cgraph (FILE *f)
2335 cgraph_node *node;
2337 fprintf (f, "callgraph:\n\n");
2338 FOR_EACH_FUNCTION (node)
2339 node->dump (f);
2342 /* Return true when the DECL can possibly be inlined. */
2344 bool
2345 cgraph_function_possibly_inlined_p (tree decl)
2347 if (!symtab->global_info_ready)
2348 return !DECL_UNINLINABLE (decl);
2349 return DECL_POSSIBLY_INLINED (decl);
2352 /* Return function availability. See cgraph.h for description of individual
2353 return values. */
2354 enum availability
2355 cgraph_node::get_availability (symtab_node *ref)
2357 if (ref)
2359 cgraph_node *cref = dyn_cast <cgraph_node *> (ref);
2360 if (cref)
2361 ref = cref->inlined_to;
2363 enum availability avail;
2364 if (!analyzed && !in_other_partition)
2365 avail = AVAIL_NOT_AVAILABLE;
2366 else if (local)
2367 avail = AVAIL_LOCAL;
2368 else if (inlined_to)
2369 avail = AVAIL_AVAILABLE;
2370 else if (transparent_alias)
2371 ultimate_alias_target (&avail, ref);
2372 else if (ifunc_resolver
2373 || lookup_attribute ("noipa", DECL_ATTRIBUTES (decl)))
2374 avail = AVAIL_INTERPOSABLE;
2375 else if (!externally_visible)
2376 avail = AVAIL_AVAILABLE;
2377 /* If this is a reference from symbol itself and there are no aliases, we
2378 may be sure that the symbol was not interposed by something else because
2379 the symbol itself would be unreachable otherwise.
2381 Also comdat groups are always resolved in groups. */
2382 else if ((this == ref && !has_aliases_p ())
2383 || (ref && get_comdat_group ()
2384 && get_comdat_group () == ref->get_comdat_group ()))
2385 avail = AVAIL_AVAILABLE;
2386 /* Inline functions are safe to be analyzed even if their symbol can
2387 be overwritten at runtime. It is not meaningful to enforce any sane
2388 behavior on replacing inline function by different body. */
2389 else if (DECL_DECLARED_INLINE_P (decl))
2390 avail = AVAIL_AVAILABLE;
2392 /* If the function can be overwritten, return OVERWRITABLE. Take
2393 care at least of two notable extensions - the COMDAT functions
2394 used to share template instantiations in C++ (this is symmetric
2395 to code cp_cannot_inline_tree_fn and probably shall be shared and
2396 the inlinability hooks completely eliminated). */
2398 else if (decl_replaceable_p (decl, semantic_interposition)
2399 && !DECL_EXTERNAL (decl))
2400 avail = AVAIL_INTERPOSABLE;
2401 else avail = AVAIL_AVAILABLE;
2403 return avail;
2406 /* Worker for cgraph_node_can_be_local_p. */
2407 static bool
2408 cgraph_node_cannot_be_local_p_1 (cgraph_node *node, void *)
2410 return !(!node->force_output
2411 && !node->ifunc_resolver
2412 /* Limitation of gas requires us to output targets of symver aliases
2413 as global symbols. This is binutils PR 25295. */
2414 && !node->symver
2415 && ((DECL_COMDAT (node->decl)
2416 && !node->forced_by_abi
2417 && !node->used_from_object_file_p ()
2418 && !node->same_comdat_group)
2419 || !node->externally_visible));
2422 /* Return true if cgraph_node can be made local for API change.
2423 Extern inline functions and C++ COMDAT functions can be made local
2424 at the expense of possible code size growth if function is used in multiple
2425 compilation units. */
2426 bool
2427 cgraph_node::can_be_local_p (void)
2429 return (!address_taken
2430 && !call_for_symbol_thunks_and_aliases (cgraph_node_cannot_be_local_p_1,
2431 NULL, true));
2434 /* Call callback on cgraph_node, thunks and aliases associated to cgraph_node.
2435 When INCLUDE_OVERWRITABLE is false, overwritable symbols are
2436 skipped. When EXCLUDE_VIRTUAL_THUNKS is true, virtual thunks are
2437 skipped. */
2438 bool
2439 cgraph_node::call_for_symbol_thunks_and_aliases (bool (*callback)
2440 (cgraph_node *, void *),
2441 void *data,
2442 bool include_overwritable,
2443 bool exclude_virtual_thunks)
2445 cgraph_edge *e;
2446 ipa_ref *ref;
2447 enum availability avail = AVAIL_AVAILABLE;
2449 if (include_overwritable
2450 || (avail = get_availability ()) > AVAIL_INTERPOSABLE)
2452 if (callback (this, data))
2453 return true;
2455 FOR_EACH_ALIAS (this, ref)
2457 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2458 if (include_overwritable
2459 || alias->get_availability () > AVAIL_INTERPOSABLE)
2460 if (alias->call_for_symbol_thunks_and_aliases (callback, data,
2461 include_overwritable,
2462 exclude_virtual_thunks))
2463 return true;
2465 if (avail <= AVAIL_INTERPOSABLE)
2466 return false;
2467 for (e = callers; e; e = e->next_caller)
2468 if (e->caller->thunk
2469 && (include_overwritable
2470 || e->caller->get_availability () > AVAIL_INTERPOSABLE)
2471 && !(exclude_virtual_thunks
2472 && thunk_info::get (e->caller)->virtual_offset_p))
2473 if (e->caller->call_for_symbol_thunks_and_aliases (callback, data,
2474 include_overwritable,
2475 exclude_virtual_thunks))
2476 return true;
2478 return false;
2481 /* Worker to bring NODE local. */
2483 bool
2484 cgraph_node::make_local (cgraph_node *node, void *)
2486 gcc_checking_assert (node->can_be_local_p ());
2487 if (DECL_COMDAT (node->decl) || DECL_EXTERNAL (node->decl))
2489 node->make_decl_local ();
2490 node->set_section (NULL);
2491 node->set_comdat_group (NULL);
2492 node->externally_visible = false;
2493 node->forced_by_abi = false;
2494 node->local = true;
2495 node->set_section (NULL);
2496 node->unique_name = ((node->resolution == LDPR_PREVAILING_DEF_IRONLY
2497 || node->resolution == LDPR_PREVAILING_DEF_IRONLY_EXP)
2498 && !flag_incremental_link);
2499 node->resolution = LDPR_PREVAILING_DEF_IRONLY;
2500 gcc_assert (node->get_availability () == AVAIL_LOCAL);
2502 return false;
2505 /* Bring cgraph node local. */
2507 void
2508 cgraph_node::make_local (void)
2510 call_for_symbol_thunks_and_aliases (cgraph_node::make_local, NULL, true);
2513 /* Worker to set nothrow flag. */
2515 static void
2516 set_nothrow_flag_1 (cgraph_node *node, bool nothrow, bool non_call,
2517 bool *changed)
2519 cgraph_edge *e;
2521 if (nothrow && !TREE_NOTHROW (node->decl))
2523 /* With non-call exceptions we can't say for sure if other function body
2524 was not possibly optimized to still throw. */
2525 if (!non_call || node->binds_to_current_def_p ())
2527 TREE_NOTHROW (node->decl) = true;
2528 *changed = true;
2529 for (e = node->callers; e; e = e->next_caller)
2530 e->can_throw_external = false;
2533 else if (!nothrow && TREE_NOTHROW (node->decl))
2535 TREE_NOTHROW (node->decl) = false;
2536 *changed = true;
2538 ipa_ref *ref;
2539 FOR_EACH_ALIAS (node, ref)
2541 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2542 if (!nothrow || alias->get_availability () > AVAIL_INTERPOSABLE)
2543 set_nothrow_flag_1 (alias, nothrow, non_call, changed);
2545 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2546 if (e->caller->thunk
2547 && (!nothrow || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2548 set_nothrow_flag_1 (e->caller, nothrow, non_call, changed);
2551 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
2552 if any to NOTHROW. */
2554 bool
2555 cgraph_node::set_nothrow_flag (bool nothrow)
2557 bool changed = false;
2558 bool non_call = opt_for_fn (decl, flag_non_call_exceptions);
2560 if (!nothrow || get_availability () > AVAIL_INTERPOSABLE)
2561 set_nothrow_flag_1 (this, nothrow, non_call, &changed);
2562 else
2564 ipa_ref *ref;
2566 FOR_EACH_ALIAS (this, ref)
2568 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2569 if (!nothrow || alias->get_availability () > AVAIL_INTERPOSABLE)
2570 set_nothrow_flag_1 (alias, nothrow, non_call, &changed);
2573 return changed;
2576 /* Worker to set malloc flag. */
2577 static void
2578 set_malloc_flag_1 (cgraph_node *node, bool malloc_p, bool *changed)
2580 if (malloc_p && !DECL_IS_MALLOC (node->decl))
2582 DECL_IS_MALLOC (node->decl) = true;
2583 *changed = true;
2586 ipa_ref *ref;
2587 FOR_EACH_ALIAS (node, ref)
2589 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2590 if (!malloc_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2591 set_malloc_flag_1 (alias, malloc_p, changed);
2594 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2595 if (e->caller->thunk
2596 && (!malloc_p || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2597 set_malloc_flag_1 (e->caller, malloc_p, changed);
2600 /* Set DECL_IS_MALLOC on NODE's decl and on NODE's aliases if any. */
2602 bool
2603 cgraph_node::set_malloc_flag (bool malloc_p)
2605 bool changed = false;
2607 if (!malloc_p || get_availability () > AVAIL_INTERPOSABLE)
2608 set_malloc_flag_1 (this, malloc_p, &changed);
2609 else
2611 ipa_ref *ref;
2613 FOR_EACH_ALIAS (this, ref)
2615 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2616 if (!malloc_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2617 set_malloc_flag_1 (alias, malloc_p, &changed);
2620 return changed;
2623 /* Worker to set noreturng flag. */
2624 static void
2625 set_noreturn_flag_1 (cgraph_node *node, bool noreturn_p, bool *changed)
2627 if (noreturn_p && !TREE_THIS_VOLATILE (node->decl))
2629 TREE_THIS_VOLATILE (node->decl) = true;
2630 *changed = true;
2633 ipa_ref *ref;
2634 FOR_EACH_ALIAS (node, ref)
2636 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2637 if (!noreturn_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2638 set_noreturn_flag_1 (alias, noreturn_p, changed);
2641 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2642 if (e->caller->thunk
2643 && (!noreturn_p || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2644 set_noreturn_flag_1 (e->caller, noreturn_p, changed);
2647 /* Set TREE_THIS_VOLATILE on NODE's decl and on NODE's aliases if any. */
2649 bool
2650 cgraph_node::set_noreturn_flag (bool noreturn_p)
2652 bool changed = false;
2654 if (!noreturn_p || get_availability () > AVAIL_INTERPOSABLE)
2655 set_noreturn_flag_1 (this, noreturn_p, &changed);
2656 else
2658 ipa_ref *ref;
2660 FOR_EACH_ALIAS (this, ref)
2662 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2663 if (!noreturn_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2664 set_noreturn_flag_1 (alias, noreturn_p, &changed);
2667 return changed;
2670 /* Worker to set_const_flag. */
2672 static void
2673 set_const_flag_1 (cgraph_node *node, bool set_const, bool looping,
2674 bool *changed)
2676 /* Static constructors and destructors without a side effect can be
2677 optimized out. */
2678 if (set_const && !looping)
2680 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2682 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2683 *changed = true;
2685 if (DECL_STATIC_DESTRUCTOR (node->decl))
2687 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2688 *changed = true;
2691 if (!set_const)
2693 if (TREE_READONLY (node->decl))
2695 TREE_READONLY (node->decl) = 0;
2696 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2697 *changed = true;
2700 else
2702 /* Consider function:
2704 bool a(int *p)
2706 return *p==*p;
2709 During early optimization we will turn this into:
2711 bool a(int *p)
2713 return true;
2716 Now if this function will be detected as CONST however when interposed
2717 it may end up being just pure. We always must assume the worst
2718 scenario here. */
2719 if (TREE_READONLY (node->decl))
2721 if (!looping && DECL_LOOPING_CONST_OR_PURE_P (node->decl))
2723 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2724 *changed = true;
2727 else if (node->binds_to_current_def_p ())
2729 TREE_READONLY (node->decl) = true;
2730 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = looping;
2731 DECL_PURE_P (node->decl) = false;
2732 *changed = true;
2734 else
2736 if (dump_file && (dump_flags & TDF_DETAILS))
2737 fprintf (dump_file, "Dropping state to PURE because function does "
2738 "not bind to current def.\n");
2739 if (!DECL_PURE_P (node->decl))
2741 DECL_PURE_P (node->decl) = true;
2742 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = looping;
2743 *changed = true;
2745 else if (!looping && DECL_LOOPING_CONST_OR_PURE_P (node->decl))
2747 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2748 *changed = true;
2753 ipa_ref *ref;
2754 FOR_EACH_ALIAS (node, ref)
2756 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2757 if (!set_const || alias->get_availability () > AVAIL_INTERPOSABLE)
2758 set_const_flag_1 (alias, set_const, looping, changed);
2760 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2761 if (e->caller->thunk
2762 && (!set_const || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2764 /* Virtual thunks access virtual offset in the vtable, so they can
2765 only be pure, never const. */
2766 if (set_const
2767 && (thunk_info::get (e->caller)->virtual_offset_p
2768 || !node->binds_to_current_def_p (e->caller)))
2769 *changed |= e->caller->set_pure_flag (true, looping);
2770 else
2771 set_const_flag_1 (e->caller, set_const, looping, changed);
2775 /* If SET_CONST is true, mark function, aliases and thunks to be ECF_CONST.
2776 If SET_CONST if false, clear the flag.
2778 When setting the flag be careful about possible interposition and
2779 do not set the flag for functions that can be interposed and set pure
2780 flag for functions that can bind to other definition.
2782 Return true if any change was done. */
2784 bool
2785 cgraph_node::set_const_flag (bool set_const, bool looping)
2787 bool changed = false;
2788 if (!set_const || get_availability () > AVAIL_INTERPOSABLE)
2789 set_const_flag_1 (this, set_const, looping, &changed);
2790 else
2792 ipa_ref *ref;
2794 FOR_EACH_ALIAS (this, ref)
2796 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2797 if (!set_const || alias->get_availability () > AVAIL_INTERPOSABLE)
2798 set_const_flag_1 (alias, set_const, looping, &changed);
2801 return changed;
2804 /* Info used by set_pure_flag_1. */
2806 struct set_pure_flag_info
2808 bool pure;
2809 bool looping;
2810 bool changed;
2813 /* Worker to set_pure_flag. */
2815 static bool
2816 set_pure_flag_1 (cgraph_node *node, void *data)
2818 struct set_pure_flag_info *info = (struct set_pure_flag_info *)data;
2819 /* Static constructors and destructors without a side effect can be
2820 optimized out. */
2821 if (info->pure && !info->looping)
2823 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2825 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2826 info->changed = true;
2828 if (DECL_STATIC_DESTRUCTOR (node->decl))
2830 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2831 info->changed = true;
2834 if (info->pure)
2836 if (!DECL_PURE_P (node->decl) && !TREE_READONLY (node->decl))
2838 DECL_PURE_P (node->decl) = true;
2839 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = info->looping;
2840 info->changed = true;
2842 else if (DECL_LOOPING_CONST_OR_PURE_P (node->decl)
2843 && !info->looping)
2845 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2846 info->changed = true;
2849 else
2851 if (DECL_PURE_P (node->decl))
2853 DECL_PURE_P (node->decl) = false;
2854 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2855 info->changed = true;
2858 return false;
2861 /* Set DECL_PURE_P on cgraph_node's decl and on aliases of the node
2862 if any to PURE.
2864 When setting the flag, be careful about possible interposition.
2865 Return true if any change was done. */
2867 bool
2868 cgraph_node::set_pure_flag (bool pure, bool looping)
2870 struct set_pure_flag_info info = {pure, looping, false};
2871 call_for_symbol_thunks_and_aliases (set_pure_flag_1, &info, !pure, true);
2872 return info.changed;
2875 /* Return true when cgraph_node cannot return or throw and thus
2876 it is safe to ignore its side effects for IPA analysis. */
2878 bool
2879 cgraph_node::cannot_return_p (void)
2881 int flags = flags_from_decl_or_type (decl);
2882 if (!opt_for_fn (decl, flag_exceptions))
2883 return (flags & ECF_NORETURN) != 0;
2884 else
2885 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2886 == (ECF_NORETURN | ECF_NOTHROW));
2889 /* Return true when call of edge cannot lead to return from caller
2890 and thus it is safe to ignore its side effects for IPA analysis
2891 when computing side effects of the caller.
2892 FIXME: We could actually mark all edges that have no reaching
2893 patch to the exit block or throw to get better results. */
2894 bool
2895 cgraph_edge::cannot_lead_to_return_p (void)
2897 if (caller->cannot_return_p ())
2898 return true;
2899 if (indirect_unknown_callee)
2901 int flags = indirect_info->ecf_flags;
2902 if (!opt_for_fn (caller->decl, flag_exceptions))
2903 return (flags & ECF_NORETURN) != 0;
2904 else
2905 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2906 == (ECF_NORETURN | ECF_NOTHROW));
2908 else
2909 return callee->cannot_return_p ();
2912 /* Return true if the edge may be considered hot. */
2914 bool
2915 cgraph_edge::maybe_hot_p (void)
2917 if (!maybe_hot_count_p (NULL, count.ipa ()))
2918 return false;
2919 if (caller->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED
2920 || (callee
2921 && callee->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED))
2922 return false;
2923 if (caller->frequency > NODE_FREQUENCY_UNLIKELY_EXECUTED
2924 && (callee
2925 && callee->frequency <= NODE_FREQUENCY_EXECUTED_ONCE))
2926 return false;
2927 if (opt_for_fn (caller->decl, optimize_size))
2928 return false;
2929 if (caller->frequency == NODE_FREQUENCY_HOT)
2930 return true;
2931 if (!count.initialized_p ())
2932 return true;
2933 cgraph_node *where = caller->inlined_to ? caller->inlined_to : caller;
2934 if (!where->count.initialized_p ())
2935 return false;
2936 if (caller->frequency == NODE_FREQUENCY_EXECUTED_ONCE)
2938 if (count * 2 < where->count * 3)
2939 return false;
2941 else if (count * param_hot_bb_frequency_fraction < where->count)
2942 return false;
2943 return true;
2946 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2948 static bool
2949 nonremovable_p (cgraph_node *node, void *)
2951 return !node->can_remove_if_no_direct_calls_and_refs_p ();
2954 /* Return true if whole comdat group can be removed if there are no direct
2955 calls to THIS. */
2957 bool
2958 cgraph_node::can_remove_if_no_direct_calls_p (bool will_inline)
2960 struct ipa_ref *ref;
2962 /* For local symbols or non-comdat group it is the same as
2963 can_remove_if_no_direct_calls_p. */
2964 if (!externally_visible || !same_comdat_group)
2966 if (DECL_EXTERNAL (decl))
2967 return true;
2968 if (address_taken)
2969 return false;
2970 return !call_for_symbol_and_aliases (nonremovable_p, NULL, true);
2973 if (will_inline && address_taken)
2974 return false;
2976 /* Otherwise check if we can remove the symbol itself and then verify
2977 that only uses of the comdat groups are direct call to THIS
2978 or its aliases. */
2979 if (!can_remove_if_no_direct_calls_and_refs_p ())
2980 return false;
2982 /* Check that all refs come from within the comdat group. */
2983 for (int i = 0; iterate_referring (i, ref); i++)
2984 if (ref->referring->get_comdat_group () != get_comdat_group ())
2985 return false;
2987 struct cgraph_node *target = ultimate_alias_target ();
2988 for (cgraph_node *next = dyn_cast<cgraph_node *> (same_comdat_group);
2989 next != this; next = dyn_cast<cgraph_node *> (next->same_comdat_group))
2991 if (!externally_visible)
2992 continue;
2993 if (!next->alias
2994 && !next->can_remove_if_no_direct_calls_and_refs_p ())
2995 return false;
2997 /* If we see different symbol than THIS, be sure to check calls. */
2998 if (next->ultimate_alias_target () != target)
2999 for (cgraph_edge *e = next->callers; e; e = e->next_caller)
3000 if (e->caller->get_comdat_group () != get_comdat_group ()
3001 || will_inline)
3002 return false;
3004 /* If function is not being inlined, we care only about
3005 references outside of the comdat group. */
3006 if (!will_inline)
3007 for (int i = 0; next->iterate_referring (i, ref); i++)
3008 if (ref->referring->get_comdat_group () != get_comdat_group ())
3009 return false;
3011 return true;
3014 /* Return true when function cgraph_node can be expected to be removed
3015 from program when direct calls in this compilation unit are removed.
3017 As a special case COMDAT functions are
3018 cgraph_can_remove_if_no_direct_calls_p while the are not
3019 cgraph_only_called_directly_p (it is possible they are called from other
3020 unit)
3022 This function behaves as cgraph_only_called_directly_p because eliminating
3023 all uses of COMDAT function does not make it necessarily disappear from
3024 the program unless we are compiling whole program or we do LTO. In this
3025 case we know we win since dynamic linking will not really discard the
3026 linkonce section. */
3028 bool
3029 cgraph_node::will_be_removed_from_program_if_no_direct_calls_p
3030 (bool will_inline)
3032 gcc_assert (!inlined_to);
3033 if (DECL_EXTERNAL (decl))
3034 return true;
3036 if (!in_lto_p && !flag_whole_program)
3038 /* If the symbol is in comdat group, we need to verify that whole comdat
3039 group becomes unreachable. Technically we could skip references from
3040 within the group, too. */
3041 if (!only_called_directly_p ())
3042 return false;
3043 if (same_comdat_group && externally_visible)
3045 struct cgraph_node *target = ultimate_alias_target ();
3047 if (will_inline && address_taken)
3048 return true;
3049 for (cgraph_node *next = dyn_cast<cgraph_node *> (same_comdat_group);
3050 next != this;
3051 next = dyn_cast<cgraph_node *> (next->same_comdat_group))
3053 if (!externally_visible)
3054 continue;
3055 if (!next->alias
3056 && !next->only_called_directly_p ())
3057 return false;
3059 /* If we see different symbol than THIS,
3060 be sure to check calls. */
3061 if (next->ultimate_alias_target () != target)
3062 for (cgraph_edge *e = next->callers; e; e = e->next_caller)
3063 if (e->caller->get_comdat_group () != get_comdat_group ()
3064 || will_inline)
3065 return false;
3068 return true;
3070 else
3071 return can_remove_if_no_direct_calls_p (will_inline);
3075 /* Worker for cgraph_only_called_directly_p. */
3077 static bool
3078 cgraph_not_only_called_directly_p_1 (cgraph_node *node, void *)
3080 return !node->only_called_directly_or_aliased_p ();
3083 /* Return true when function cgraph_node and all its aliases are only called
3084 directly.
3085 i.e. it is not externally visible, address was not taken and
3086 it is not used in any other non-standard way. */
3088 bool
3089 cgraph_node::only_called_directly_p (void)
3091 gcc_assert (ultimate_alias_target () == this);
3092 return !call_for_symbol_and_aliases (cgraph_not_only_called_directly_p_1,
3093 NULL, true);
3097 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
3099 static bool
3100 collect_callers_of_node_1 (cgraph_node *node, void *data)
3102 vec<cgraph_edge *> *redirect_callers = (vec<cgraph_edge *> *)data;
3103 cgraph_edge *cs;
3104 enum availability avail;
3105 node->ultimate_alias_target (&avail);
3107 if (avail > AVAIL_INTERPOSABLE)
3108 for (cs = node->callers; cs != NULL; cs = cs->next_caller)
3109 if (!cs->indirect_inlining_edge
3110 && !cs->caller->thunk)
3111 redirect_callers->safe_push (cs);
3112 return false;
3115 /* Collect all callers of cgraph_node and its aliases that are known to lead to
3116 cgraph_node (i.e. are not overwritable). */
3118 auto_vec<cgraph_edge *>
3119 cgraph_node::collect_callers (void)
3121 auto_vec<cgraph_edge *> redirect_callers;
3122 call_for_symbol_thunks_and_aliases (collect_callers_of_node_1,
3123 &redirect_callers, false);
3124 return redirect_callers;
3128 /* Return TRUE if NODE2 a clone of NODE or is equivalent to it. Return
3129 optimistically true if this cannot be determined. */
3131 static bool
3132 clone_of_p (cgraph_node *node, cgraph_node *node2)
3134 node = node->ultimate_alias_target ();
3135 node2 = node2->ultimate_alias_target ();
3137 if (node2->clone_of == node
3138 || node2->former_clone_of == node->decl)
3139 return true;
3141 if (!node->thunk && !node->former_thunk_p ())
3143 while (node2
3144 && node->decl != node2->decl
3145 && node->decl != node2->former_clone_of)
3146 node2 = node2->clone_of;
3147 return node2 != NULL;
3150 /* There are no virtual clones of thunks so check former_clone_of or if we
3151 might have skipped thunks because this adjustments are no longer
3152 necessary. */
3153 while (node->thunk || node->former_thunk_p ())
3155 if (!thunk_info::get (node)->this_adjusting)
3156 return false;
3157 /* In case of instrumented expanded thunks, which can have multiple calls
3158 in them, we do not know how to continue and just have to be
3159 optimistic. The same applies if all calls have already been inlined
3160 into the thunk. */
3161 if (!node->callees || node->callees->next_callee)
3162 return true;
3163 node = node->callees->callee->ultimate_alias_target ();
3165 clone_info *info = clone_info::get (node2);
3166 if (!info || !info->param_adjustments
3167 || info->param_adjustments->first_param_intact_p ())
3168 return false;
3169 if (node2->former_clone_of == node->decl
3170 || node2->former_clone_of == node->former_clone_of)
3171 return true;
3173 cgraph_node *n2 = node2;
3174 while (n2 && node->decl != n2->decl)
3175 n2 = n2->clone_of;
3176 if (n2)
3177 return true;
3180 return false;
3183 /* Verify edge count and frequency. */
3185 bool
3186 cgraph_edge::verify_count ()
3188 bool error_found = false;
3189 if (!count.verify ())
3191 error ("caller edge count invalid");
3192 error_found = true;
3194 return error_found;
3197 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
3198 static void
3199 cgraph_debug_gimple_stmt (function *this_cfun, gimple *stmt)
3201 bool fndecl_was_null = false;
3202 /* debug_gimple_stmt needs correct cfun */
3203 if (cfun != this_cfun)
3204 set_cfun (this_cfun);
3205 /* ...and an actual current_function_decl */
3206 if (!current_function_decl)
3208 current_function_decl = this_cfun->decl;
3209 fndecl_was_null = true;
3211 debug_gimple_stmt (stmt);
3212 if (fndecl_was_null)
3213 current_function_decl = NULL;
3216 /* Verify that call graph edge corresponds to DECL from the associated
3217 statement. Return true if the verification should fail. */
3219 bool
3220 cgraph_edge::verify_corresponds_to_fndecl (tree decl)
3222 cgraph_node *node;
3224 if (!decl || callee->inlined_to)
3225 return false;
3226 if (symtab->state == LTO_STREAMING)
3227 return false;
3228 node = cgraph_node::get (decl);
3230 /* We do not know if a node from a different partition is an alias or what it
3231 aliases and therefore cannot do the former_clone_of check reliably. When
3232 body_removed is set, we have lost all information about what was alias or
3233 thunk of and also cannot proceed. */
3234 if (!node
3235 || node->body_removed
3236 || node->in_other_partition
3237 || callee->icf_merged
3238 || callee->in_other_partition)
3239 return false;
3241 node = node->ultimate_alias_target ();
3243 /* Optimizers can redirect unreachable calls or calls triggering undefined
3244 behavior to builtin_unreachable. */
3246 if (fndecl_built_in_p (callee->decl, BUILT_IN_UNREACHABLE))
3247 return false;
3249 if (callee->former_clone_of != node->decl
3250 && (node != callee->ultimate_alias_target ())
3251 && !clone_of_p (node, callee))
3252 return true;
3253 else
3254 return false;
3257 /* Disable warnings about missing quoting in GCC diagnostics for
3258 the verification errors. Their format strings don't follow GCC
3259 diagnostic conventions and the calls are ultimately followed by
3260 one to internal_error. */
3261 #if __GNUC__ >= 10
3262 # pragma GCC diagnostic push
3263 # pragma GCC diagnostic ignored "-Wformat-diag"
3264 #endif
3266 /* Verify consistency of speculative call in NODE corresponding to STMT
3267 and LTO_STMT_UID. If INDIRECT is set, assume that it is the indirect
3268 edge of call sequence. Return true if error is found.
3270 This function is called to every component of indirect call (direct edges,
3271 indirect edge and refs). To save duplicated work, do full testing only
3272 in that case. */
3273 static bool
3274 verify_speculative_call (struct cgraph_node *node, gimple *stmt,
3275 unsigned int lto_stmt_uid,
3276 struct cgraph_edge *indirect)
3278 if (indirect == NULL)
3280 for (indirect = node->indirect_calls; indirect;
3281 indirect = indirect->next_callee)
3282 if (indirect->call_stmt == stmt
3283 && indirect->lto_stmt_uid == lto_stmt_uid)
3284 break;
3285 if (!indirect)
3287 error ("missing indirect call in speculative call sequence");
3288 return true;
3290 if (!indirect->speculative)
3292 error ("indirect call in speculative call sequence has no "
3293 "speculative flag");
3294 return true;
3296 return false;
3299 /* Maximal number of targets. We probably will never want to have more than
3300 this. */
3301 const unsigned int num = 256;
3302 cgraph_edge *direct_calls[num];
3303 ipa_ref *refs[num];
3305 for (unsigned int i = 0; i < num; i++)
3307 direct_calls[i] = NULL;
3308 refs[i] = NULL;
3311 cgraph_edge *first_call = NULL;
3312 cgraph_edge *prev_call = NULL;
3314 for (cgraph_edge *direct = node->callees; direct;
3315 direct = direct->next_callee)
3316 if (direct->call_stmt == stmt && direct->lto_stmt_uid == lto_stmt_uid)
3318 if (!first_call)
3319 first_call = direct;
3320 if (prev_call && direct != prev_call->next_callee)
3322 error ("speculative edges are not adjacent");
3323 return true;
3325 prev_call = direct;
3326 if (!direct->speculative)
3328 error ("direct call to %s in speculative call sequence has no "
3329 "speculative flag", direct->callee->dump_name ());
3330 return true;
3332 if (direct->speculative_id >= num)
3334 error ("direct call to %s in speculative call sequence has "
3335 "speculative_id %i out of range",
3336 direct->callee->dump_name (), direct->speculative_id);
3337 return true;
3339 if (direct_calls[direct->speculative_id])
3341 error ("duplicate direct call to %s in speculative call sequence "
3342 "with speculative_id %i",
3343 direct->callee->dump_name (), direct->speculative_id);
3344 return true;
3346 direct_calls[direct->speculative_id] = direct;
3349 if (first_call->call_stmt
3350 && first_call != node->get_edge (first_call->call_stmt))
3352 error ("call stmt hash does not point to first direct edge of "
3353 "speculative call sequence");
3354 return true;
3357 ipa_ref *ref;
3358 for (int i = 0; node->iterate_reference (i, ref); i++)
3359 if (ref->speculative
3360 && ref->stmt == stmt && ref->lto_stmt_uid == lto_stmt_uid)
3362 if (ref->speculative_id >= num)
3364 error ("direct call to %s in speculative call sequence has "
3365 "speculative_id %i out of range",
3366 ref->referred->dump_name (), ref->speculative_id);
3367 return true;
3369 if (refs[ref->speculative_id])
3371 error ("duplicate reference %s in speculative call sequence "
3372 "with speculative_id %i",
3373 ref->referred->dump_name (), ref->speculative_id);
3374 return true;
3376 refs[ref->speculative_id] = ref;
3379 int num_targets = 0;
3380 for (unsigned int i = 0 ; i < num ; i++)
3382 if (refs[i] && !direct_calls[i])
3384 error ("missing direct call for speculation %i", i);
3385 return true;
3387 if (!refs[i] && direct_calls[i])
3389 error ("missing ref for speculation %i", i);
3390 return true;
3392 if (refs[i] != NULL)
3393 num_targets++;
3396 if (num_targets != indirect->num_speculative_call_targets_p ())
3398 error ("number of speculative targets %i mismatched with "
3399 "num_speculative_call_targets %i",
3400 num_targets,
3401 indirect->num_speculative_call_targets_p ());
3402 return true;
3404 return false;
3407 /* Verify cgraph nodes of given cgraph node. */
3408 DEBUG_FUNCTION void
3409 cgraph_node::verify_node (void)
3411 cgraph_edge *e;
3412 function *this_cfun = DECL_STRUCT_FUNCTION (decl);
3413 basic_block this_block;
3414 gimple_stmt_iterator gsi;
3415 bool error_found = false;
3416 int i;
3417 ipa_ref *ref = NULL;
3419 if (seen_error ())
3420 return;
3422 timevar_push (TV_CGRAPH_VERIFY);
3423 error_found |= verify_base ();
3424 for (e = callees; e; e = e->next_callee)
3425 if (e->aux)
3427 error ("aux field set for edge %s->%s",
3428 identifier_to_locale (e->caller->name ()),
3429 identifier_to_locale (e->callee->name ()));
3430 error_found = true;
3432 if (!count.verify ())
3434 error ("cgraph count invalid");
3435 error_found = true;
3437 if (inlined_to && same_comdat_group)
3439 error ("inline clone in same comdat group list");
3440 error_found = true;
3442 if (inlined_to && !count.compatible_p (inlined_to->count))
3444 error ("inline clone count is not compatible");
3445 count.debug ();
3446 inlined_to->count.debug ();
3447 error_found = true;
3449 if (tp_first_run < 0)
3451 error ("tp_first_run must be non-negative");
3452 error_found = true;
3454 if (!definition && !in_other_partition && local)
3456 error ("local symbols must be defined");
3457 error_found = true;
3459 if (inlined_to && externally_visible)
3461 error ("externally visible inline clone");
3462 error_found = true;
3464 if (inlined_to && address_taken)
3466 error ("inline clone with address taken");
3467 error_found = true;
3469 if (inlined_to && force_output)
3471 error ("inline clone is forced to output");
3472 error_found = true;
3474 if (symtab->state != LTO_STREAMING)
3476 if (calls_comdat_local && !same_comdat_group)
3478 error ("calls_comdat_local is set outside of a comdat group");
3479 error_found = true;
3481 if (!inlined_to && calls_comdat_local != check_calls_comdat_local_p ())
3483 error ("invalid calls_comdat_local flag");
3484 error_found = true;
3487 if (DECL_IS_MALLOC (decl)
3488 && !POINTER_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
3490 error ("malloc attribute should be used for a function that "
3491 "returns a pointer");
3492 error_found = true;
3494 if (definition
3495 && externally_visible
3496 /* For aliases in lto1 free_lang_data doesn't guarantee preservation
3497 of opt_for_fn (decl, flag_semantic_interposition). See PR105399. */
3498 && (!alias || !in_lto_p)
3499 && semantic_interposition
3500 != opt_for_fn (decl, flag_semantic_interposition))
3502 error ("semantic interposition mismatch");
3503 error_found = true;
3505 for (e = indirect_calls; e; e = e->next_callee)
3507 if (e->aux)
3509 error ("aux field set for indirect edge from %s",
3510 identifier_to_locale (e->caller->name ()));
3511 error_found = true;
3513 if (!e->count.compatible_p (count))
3515 error ("edge count is not compatible with function count");
3516 e->count.debug ();
3517 count.debug ();
3518 error_found = true;
3520 if (!e->indirect_unknown_callee
3521 || !e->indirect_info)
3523 error ("An indirect edge from %s is not marked as indirect or has "
3524 "associated indirect_info, the corresponding statement is: ",
3525 identifier_to_locale (e->caller->name ()));
3526 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3527 error_found = true;
3529 if (e->call_stmt && e->lto_stmt_uid)
3531 error ("edge has both call_stmt and lto_stmt_uid set");
3532 error_found = true;
3535 bool check_comdat = comdat_local_p ();
3536 for (e = callers; e; e = e->next_caller)
3538 if (e->verify_count ())
3539 error_found = true;
3540 if (check_comdat
3541 && !in_same_comdat_group_p (e->caller))
3543 error ("comdat-local function called by %s outside its comdat",
3544 identifier_to_locale (e->caller->name ()));
3545 error_found = true;
3547 if (!e->inline_failed)
3549 if (inlined_to
3550 != (e->caller->inlined_to
3551 ? e->caller->inlined_to : e->caller))
3553 error ("inlined_to pointer is wrong");
3554 error_found = true;
3556 if (callers->next_caller)
3558 error ("multiple inline callers");
3559 error_found = true;
3562 else
3563 if (inlined_to)
3565 error ("inlined_to pointer set for noninline callers");
3566 error_found = true;
3569 for (e = callees; e; e = e->next_callee)
3571 if (e->verify_count ())
3572 error_found = true;
3573 if (!e->count.compatible_p (count))
3575 error ("edge count is not compatible with function count");
3576 e->count.debug ();
3577 count.debug ();
3578 error_found = true;
3580 if (gimple_has_body_p (e->caller->decl)
3581 && !e->caller->inlined_to
3582 && !e->speculative
3583 /* Optimized out calls are redirected to __builtin_unreachable. */
3584 && (e->count.nonzero_p ()
3585 || ! e->callee->decl
3586 || !fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE))
3587 && count
3588 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl))->count
3589 && (!e->count.ipa_p ()
3590 && e->count.differs_from_p (gimple_bb (e->call_stmt)->count)))
3592 error ("caller edge count does not match BB count");
3593 fprintf (stderr, "edge count: ");
3594 e->count.dump (stderr);
3595 fprintf (stderr, "\n bb count: ");
3596 gimple_bb (e->call_stmt)->count.dump (stderr);
3597 fprintf (stderr, "\n");
3598 error_found = true;
3600 if (e->call_stmt && e->lto_stmt_uid)
3602 error ("edge has both call_stmt and lto_stmt_uid set");
3603 error_found = true;
3605 if (e->speculative
3606 && verify_speculative_call (e->caller, e->call_stmt, e->lto_stmt_uid,
3607 NULL))
3608 error_found = true;
3610 for (e = indirect_calls; e; e = e->next_callee)
3612 if (e->verify_count ())
3613 error_found = true;
3614 if (gimple_has_body_p (e->caller->decl)
3615 && !e->caller->inlined_to
3616 && !e->speculative
3617 && e->count.ipa_p ()
3618 && count
3619 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl))->count
3620 && (!e->count.ipa_p ()
3621 && e->count.differs_from_p (gimple_bb (e->call_stmt)->count)))
3623 error ("indirect call count does not match BB count");
3624 fprintf (stderr, "edge count: ");
3625 e->count.dump (stderr);
3626 fprintf (stderr, "\n bb count: ");
3627 gimple_bb (e->call_stmt)->count.dump (stderr);
3628 fprintf (stderr, "\n");
3629 error_found = true;
3631 if (e->speculative
3632 && verify_speculative_call (e->caller, e->call_stmt, e->lto_stmt_uid,
3634 error_found = true;
3636 for (i = 0; iterate_reference (i, ref); i++)
3638 if (ref->stmt && ref->lto_stmt_uid)
3640 error ("reference has both stmt and lto_stmt_uid set");
3641 error_found = true;
3643 if (ref->speculative
3644 && verify_speculative_call (this, ref->stmt,
3645 ref->lto_stmt_uid, NULL))
3646 error_found = true;
3649 if (!callers && inlined_to)
3651 error ("inlined_to pointer is set but no predecessors found");
3652 error_found = true;
3654 if (inlined_to == this)
3656 error ("inlined_to pointer refers to itself");
3657 error_found = true;
3660 if (clone_of)
3662 cgraph_node *first_clone = clone_of->clones;
3663 if (first_clone != this)
3665 if (prev_sibling_clone->clone_of != clone_of)
3667 error ("cgraph_node has wrong clone_of");
3668 error_found = true;
3672 if (clones)
3674 cgraph_node *n;
3675 for (n = clones; n; n = n->next_sibling_clone)
3676 if (n->clone_of != this)
3677 break;
3678 if (n)
3680 error ("cgraph_node has wrong clone list");
3681 error_found = true;
3684 if ((prev_sibling_clone || next_sibling_clone) && !clone_of)
3686 error ("cgraph_node is in clone list but it is not clone");
3687 error_found = true;
3689 if (!prev_sibling_clone && clone_of && clone_of->clones != this)
3691 error ("cgraph_node has wrong prev_clone pointer");
3692 error_found = true;
3694 if (prev_sibling_clone && prev_sibling_clone->next_sibling_clone != this)
3696 error ("double linked list of clones corrupted");
3697 error_found = true;
3700 if (analyzed && alias)
3702 bool ref_found = false;
3703 int i;
3704 ipa_ref *ref = NULL;
3706 if (callees)
3708 error ("Alias has call edges");
3709 error_found = true;
3711 for (i = 0; iterate_reference (i, ref); i++)
3712 if (ref->use != IPA_REF_ALIAS)
3714 error ("Alias has non-alias reference");
3715 error_found = true;
3717 else if (ref_found)
3719 error ("Alias has more than one alias reference");
3720 error_found = true;
3722 else
3723 ref_found = true;
3724 if (!ref_found)
3726 error ("Analyzed alias has no reference");
3727 error_found = true;
3731 if (analyzed && thunk)
3733 if (!callees)
3735 error ("No edge out of thunk node");
3736 error_found = true;
3738 else if (callees->next_callee)
3740 error ("More than one edge out of thunk node");
3741 error_found = true;
3743 if (gimple_has_body_p (decl) && !inlined_to)
3745 error ("Thunk is not supposed to have body");
3746 error_found = true;
3749 else if (analyzed && gimple_has_body_p (decl)
3750 && !TREE_ASM_WRITTEN (decl)
3751 && (!DECL_EXTERNAL (decl) || inlined_to)
3752 && !flag_wpa)
3754 if (this_cfun->cfg)
3756 hash_set<gimple *> stmts;
3758 /* Reach the trees by walking over the CFG, and note the
3759 enclosing basic-blocks in the call edges. */
3760 FOR_EACH_BB_FN (this_block, this_cfun)
3762 for (gsi = gsi_start_phis (this_block);
3763 !gsi_end_p (gsi); gsi_next (&gsi))
3764 stmts.add (gsi_stmt (gsi));
3765 for (gsi = gsi_start_bb (this_block);
3766 !gsi_end_p (gsi);
3767 gsi_next (&gsi))
3769 gimple *stmt = gsi_stmt (gsi);
3770 stmts.add (stmt);
3771 if (is_gimple_call (stmt))
3773 cgraph_edge *e = get_edge (stmt);
3774 tree decl = gimple_call_fndecl (stmt);
3775 if (e)
3777 if (e->aux)
3779 error ("shared call_stmt:");
3780 cgraph_debug_gimple_stmt (this_cfun, stmt);
3781 error_found = true;
3783 if (!e->indirect_unknown_callee)
3785 if (e->verify_corresponds_to_fndecl (decl))
3787 error ("edge points to wrong declaration:");
3788 debug_tree (e->callee->decl);
3789 fprintf (stderr," Instead of:");
3790 debug_tree (decl);
3791 error_found = true;
3794 else if (decl)
3796 error ("an indirect edge with unknown callee "
3797 "corresponding to a call_stmt with "
3798 "a known declaration:");
3799 error_found = true;
3800 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3802 e->aux = (void *)1;
3804 else if (decl)
3806 error ("missing callgraph edge for call stmt:");
3807 cgraph_debug_gimple_stmt (this_cfun, stmt);
3808 error_found = true;
3813 for (i = 0; iterate_reference (i, ref); i++)
3814 if (ref->stmt && !stmts.contains (ref->stmt))
3816 error ("reference to dead statement");
3817 cgraph_debug_gimple_stmt (this_cfun, ref->stmt);
3818 error_found = true;
3821 else
3822 /* No CFG available?! */
3823 gcc_unreachable ();
3825 for (e = callees; e; e = e->next_callee)
3827 if (!e->aux && !e->speculative)
3829 error ("edge %s->%s has no corresponding call_stmt",
3830 identifier_to_locale (e->caller->name ()),
3831 identifier_to_locale (e->callee->name ()));
3832 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3833 error_found = true;
3835 e->aux = 0;
3837 for (e = indirect_calls; e; e = e->next_callee)
3839 if (!e->aux && !e->speculative)
3841 error ("an indirect edge from %s has no corresponding call_stmt",
3842 identifier_to_locale (e->caller->name ()));
3843 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3844 error_found = true;
3846 e->aux = 0;
3850 if (nested_function_info *info = nested_function_info::get (this))
3852 if (info->nested != NULL)
3854 for (cgraph_node *n = info->nested; n != NULL;
3855 n = next_nested_function (n))
3857 nested_function_info *ninfo = nested_function_info::get (n);
3858 if (ninfo->origin == NULL)
3860 error ("missing origin for a node in a nested list");
3861 error_found = true;
3863 else if (ninfo->origin != this)
3865 error ("origin points to a different parent");
3866 error_found = true;
3867 break;
3871 if (info->next_nested != NULL && info->origin == NULL)
3873 error ("missing origin for a node in a nested list");
3874 error_found = true;
3878 if (error_found)
3880 dump (stderr);
3881 internal_error ("verify_cgraph_node failed");
3883 timevar_pop (TV_CGRAPH_VERIFY);
3886 /* Verify whole cgraph structure. */
3887 DEBUG_FUNCTION void
3888 cgraph_node::verify_cgraph_nodes (void)
3890 cgraph_node *node;
3892 if (seen_error ())
3893 return;
3895 FOR_EACH_FUNCTION (node)
3896 node->verify ();
3899 #if __GNUC__ >= 10
3900 # pragma GCC diagnostic pop
3901 #endif
3903 /* Walk the alias chain to return the function cgraph_node is alias of.
3904 Walk through thunks, too.
3905 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3906 When REF is non-NULL, assume that reference happens in symbol REF
3907 when determining the availability. */
3909 cgraph_node *
3910 cgraph_node::function_symbol (enum availability *availability,
3911 struct symtab_node *ref)
3913 cgraph_node *node = ultimate_alias_target (availability, ref);
3915 while (node->thunk)
3917 enum availability a;
3919 ref = node;
3920 node = node->callees->callee;
3921 node = node->ultimate_alias_target (availability ? &a : NULL, ref);
3922 if (availability && a < *availability)
3923 *availability = a;
3925 return node;
3928 /* Walk the alias chain to return the function cgraph_node is alias of.
3929 Walk through non virtual thunks, too. Thus we return either a function
3930 or a virtual thunk node.
3931 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3932 When REF is non-NULL, assume that reference happens in symbol REF
3933 when determining the availability. */
3935 cgraph_node *
3936 cgraph_node::function_or_virtual_thunk_symbol
3937 (enum availability *availability,
3938 struct symtab_node *ref)
3940 cgraph_node *node = ultimate_alias_target (availability, ref);
3942 while (node->thunk && !thunk_info::get (node)->virtual_offset_p)
3944 enum availability a;
3946 ref = node;
3947 node = node->callees->callee;
3948 node = node->ultimate_alias_target (availability ? &a : NULL, ref);
3949 if (availability && a < *availability)
3950 *availability = a;
3952 return node;
3955 /* When doing LTO, read cgraph_node's body from disk if it is not already
3956 present. Also perform any necessary clone materializations. */
3958 bool
3959 cgraph_node::get_untransformed_body ()
3961 lto_file_decl_data *file_data;
3962 const char *data, *name;
3963 size_t len;
3964 tree decl = this->decl;
3966 /* See if there is clone to be materialized.
3967 (inline clones does not need materialization, but we can be seeing
3968 an inline clone of real clone). */
3969 cgraph_node *p = this;
3970 for (cgraph_node *c = clone_of; c; c = c->clone_of)
3972 if (c->decl != decl)
3973 p->materialize_clone ();
3974 p = c;
3977 /* Check if body is already there. Either we have gimple body or
3978 the function is thunk and in that case we set DECL_ARGUMENTS. */
3979 if (DECL_ARGUMENTS (decl) || gimple_has_body_p (decl))
3980 return false;
3982 gcc_assert (in_lto_p && !DECL_RESULT (decl));
3984 timevar_push (TV_IPA_LTO_GIMPLE_IN);
3986 file_data = lto_file_data;
3987 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
3989 /* We may have renamed the declaration, e.g., a static function. */
3990 name = lto_get_decl_name_mapping (file_data, name);
3991 struct lto_in_decl_state *decl_state
3992 = lto_get_function_in_decl_state (file_data, decl);
3994 cgraph_node *origin = this;
3995 while (origin->clone_of)
3996 origin = origin->clone_of;
3998 int stream_order = origin->order - file_data->order_base;
3999 data = lto_get_section_data (file_data, LTO_section_function_body,
4000 name, stream_order, &len,
4001 decl_state->compressed);
4002 if (!data)
4003 fatal_error (input_location, "%s: section %s.%d is missing",
4004 file_data->file_name, name, stream_order);
4006 gcc_assert (DECL_STRUCT_FUNCTION (decl) == NULL);
4008 if (!quiet_flag)
4009 fprintf (stderr, " in:%s", IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
4010 lto_input_function_body (file_data, this, data);
4011 lto_stats.num_function_bodies++;
4012 lto_free_section_data (file_data, LTO_section_function_body, name,
4013 data, len, decl_state->compressed);
4014 lto_free_function_in_decl_state_for_node (this);
4015 /* Keep lto file data so ipa-inline-analysis knows about cross module
4016 inlining. */
4018 timevar_pop (TV_IPA_LTO_GIMPLE_IN);
4020 return true;
4023 /* Prepare function body. When doing LTO, read cgraph_node's body from disk
4024 if it is not already present. When some IPA transformations are scheduled,
4025 apply them. */
4027 bool
4028 cgraph_node::get_body (void)
4030 bool updated;
4032 updated = get_untransformed_body ();
4034 /* Getting transformed body makes no sense for inline clones;
4035 we should never use this on real clones because they are materialized
4036 early.
4037 TODO: Materializing clones here will likely lead to smaller LTRANS
4038 footprint. */
4039 gcc_assert (!inlined_to && !clone_of);
4040 if (ipa_transforms_to_apply.exists ())
4042 opt_pass *saved_current_pass = current_pass;
4043 FILE *saved_dump_file = dump_file;
4044 const char *saved_dump_file_name = dump_file_name;
4045 dump_flags_t saved_dump_flags = dump_flags;
4046 dump_file_name = NULL;
4047 set_dump_file (NULL);
4049 push_cfun (DECL_STRUCT_FUNCTION (decl));
4051 update_ssa (TODO_update_ssa_only_virtuals);
4052 execute_all_ipa_transforms (true);
4053 cgraph_edge::rebuild_edges ();
4054 free_dominance_info (CDI_DOMINATORS);
4055 free_dominance_info (CDI_POST_DOMINATORS);
4056 pop_cfun ();
4057 updated = true;
4059 current_pass = saved_current_pass;
4060 set_dump_file (saved_dump_file);
4061 dump_file_name = saved_dump_file_name;
4062 dump_flags = saved_dump_flags;
4064 return updated;
4067 /* Return the DECL_STRUCT_FUNCTION of the function. */
4069 struct function *
4070 cgraph_node::get_fun () const
4072 const cgraph_node *node = this;
4073 struct function *fun = DECL_STRUCT_FUNCTION (node->decl);
4075 while (!fun && node->clone_of)
4077 node = node->clone_of;
4078 fun = DECL_STRUCT_FUNCTION (node->decl);
4081 return fun;
4084 /* Reset all state within cgraph.cc so that we can rerun the compiler
4085 within the same process. For use by toplev::finalize. */
4087 void
4088 cgraph_cc_finalize (void)
4090 nested_function_info::release ();
4091 thunk_info::release ();
4092 clone_info::release ();
4093 symtab = NULL;
4095 x_cgraph_nodes_queue = NULL;
4097 cgraph_fnver_htab = NULL;
4098 version_info_node = NULL;
4101 /* A worker for call_for_symbol_and_aliases. */
4103 bool
4104 cgraph_node::call_for_symbol_and_aliases_1 (bool (*callback) (cgraph_node *,
4105 void *),
4106 void *data,
4107 bool include_overwritable)
4109 ipa_ref *ref;
4110 FOR_EACH_ALIAS (this, ref)
4112 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
4113 if (include_overwritable
4114 || alias->get_availability () > AVAIL_INTERPOSABLE)
4115 if (alias->call_for_symbol_and_aliases (callback, data,
4116 include_overwritable))
4117 return true;
4119 return false;
4122 /* Return true if NODE has thunk. */
4124 bool
4125 cgraph_node::has_thunk_p (cgraph_node *node, void *)
4127 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
4128 if (e->caller->thunk)
4129 return true;
4130 return false;
4133 /* Expected frequency of executions within the function. */
4135 sreal
4136 cgraph_edge::sreal_frequency ()
4138 return count.to_sreal_scale (caller->inlined_to
4139 ? caller->inlined_to->count
4140 : caller->count);
4144 /* During LTO stream in this can be used to check whether call can possibly
4145 be internal to the current translation unit. */
4147 bool
4148 cgraph_edge::possibly_call_in_translation_unit_p (void)
4150 gcc_checking_assert (in_lto_p && caller->prevailing_p ());
4152 /* While incremental linking we may end up getting function body later. */
4153 if (flag_incremental_link == INCREMENTAL_LINK_LTO)
4154 return true;
4156 /* We may be smarter here and avoid streaming in indirect calls we can't
4157 track, but that would require arranging streaming the indirect call
4158 summary first. */
4159 if (!callee)
4160 return true;
4162 /* If callee is local to the original translation unit, it will be
4163 defined. */
4164 if (!TREE_PUBLIC (callee->decl) && !DECL_EXTERNAL (callee->decl))
4165 return true;
4167 /* Otherwise we need to lookup prevailing symbol (symbol table is not merged,
4168 yet) and see if it is a definition. In fact we may also resolve aliases,
4169 but that is probably not too important. */
4170 symtab_node *node = callee;
4171 for (int n = 10; node->previous_sharing_asm_name && n ; n--)
4172 node = node->previous_sharing_asm_name;
4173 if (node->previous_sharing_asm_name)
4174 node = symtab_node::get_for_asmname (DECL_ASSEMBLER_NAME (callee->decl));
4175 gcc_assert (TREE_PUBLIC (node->decl));
4176 return node->get_availability () >= AVAIL_INTERPOSABLE;
4179 /* Return num_speculative_targets of this edge. */
4182 cgraph_edge::num_speculative_call_targets_p (void)
4184 return indirect_info ? indirect_info->num_speculative_call_targets : 0;
4187 /* Check if function calls comdat local. This is used to recompute
4188 calls_comdat_local flag after function transformations. */
4189 bool
4190 cgraph_node::check_calls_comdat_local_p ()
4192 for (cgraph_edge *e = callees; e; e = e->next_callee)
4193 if (e->inline_failed
4194 ? e->callee->comdat_local_p ()
4195 : e->callee->check_calls_comdat_local_p ())
4196 return true;
4197 return false;
4200 /* Return true if this node represents a former, i.e. an expanded, thunk. */
4202 bool
4203 cgraph_node::former_thunk_p (void)
4205 if (thunk)
4206 return false;
4207 thunk_info *i = thunk_info::get (this);
4208 if (!i)
4209 return false;
4210 gcc_checking_assert (i->fixed_offset || i->virtual_offset_p
4211 || i->indirect_offset);
4212 return true;
4215 /* A stashed copy of "symtab" for use by selftest::symbol_table_test.
4216 This needs to be a global so that it can be a GC root, and thus
4217 prevent the stashed copy from being garbage-collected if the GC runs
4218 during a symbol_table_test. */
4220 symbol_table *saved_symtab;
4222 #if CHECKING_P
4224 namespace selftest {
4226 /* class selftest::symbol_table_test. */
4228 /* Constructor. Store the old value of symtab, and create a new one. */
4230 symbol_table_test::symbol_table_test ()
4232 gcc_assert (saved_symtab == NULL);
4233 saved_symtab = symtab;
4234 symtab = new (ggc_alloc<symbol_table> ()) symbol_table ();
4237 /* Destructor. Restore the old value of symtab. */
4239 symbol_table_test::~symbol_table_test ()
4241 gcc_assert (saved_symtab != NULL);
4242 symtab = saved_symtab;
4243 saved_symtab = NULL;
4246 /* Verify that symbol_table_test works. */
4248 static void
4249 test_symbol_table_test ()
4251 /* Simulate running two selftests involving symbol tables. */
4252 for (int i = 0; i < 2; i++)
4254 symbol_table_test stt;
4255 tree test_decl = build_decl (UNKNOWN_LOCATION, FUNCTION_DECL,
4256 get_identifier ("test_decl"),
4257 build_function_type_list (void_type_node,
4258 NULL_TREE));
4259 cgraph_node *node = cgraph_node::get_create (test_decl);
4260 gcc_assert (node);
4262 /* Verify that the node has order 0 on both iterations,
4263 and thus that nodes have predictable dump names in selftests. */
4264 ASSERT_EQ (node->order, 0);
4265 ASSERT_STREQ (node->dump_name (), "test_decl/0");
4269 /* Run all of the selftests within this file. */
4271 void
4272 cgraph_cc_tests ()
4274 test_symbol_table_test ();
4277 } // namespace selftest
4279 #endif /* CHECKING_P */
4281 #include "gt-cgraph.h"