Default to dwarf version 4 on hppa64-hpux
[official-gcc.git] / gcc / cgraph.c
blobde0786537814690bf7e841500be532e96f62132a
1 /* Callgraph handling code.
2 Copyright (C) 2003-2021 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;
511 if ((flag_openacc || flag_openmp)
512 && lookup_attribute ("omp declare target", DECL_ATTRIBUTES (decl)))
514 node->offloadable = 1;
515 if (ENABLE_OFFLOADING)
516 g->have_offload = true;
519 if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (decl)))
520 node->ifunc_resolver = true;
522 node->register_symbol ();
523 maybe_record_nested_function (node);
525 return node;
528 /* Try to find a call graph node for declaration DECL and if it does not exist
529 or if it corresponds to an inline clone, create a new one. */
531 cgraph_node *
532 cgraph_node::get_create (tree decl)
534 cgraph_node *first_clone = cgraph_node::get (decl);
536 if (first_clone && !first_clone->inlined_to)
537 return first_clone;
539 cgraph_node *node = cgraph_node::create (decl);
540 if (first_clone)
542 first_clone->clone_of = node;
543 node->clones = first_clone;
544 node->order = first_clone->order;
545 symtab->symtab_prevail_in_asm_name_hash (node);
546 node->decl->decl_with_vis.symtab_node = node;
547 if (dump_file)
548 fprintf (dump_file, "Introduced new external node "
549 "(%s) and turned into root of the clone tree.\n",
550 node->dump_name ());
552 else if (dump_file)
553 fprintf (dump_file, "Introduced new external node "
554 "(%s).\n", node->dump_name ());
555 return node;
558 /* Mark ALIAS as an alias to DECL. DECL_NODE is cgraph node representing
559 the function body is associated with
560 (not necessarily cgraph_node (DECL)). */
562 cgraph_node *
563 cgraph_node::create_alias (tree alias, tree target)
565 cgraph_node *alias_node;
567 gcc_assert (TREE_CODE (target) == FUNCTION_DECL
568 || TREE_CODE (target) == IDENTIFIER_NODE);
569 gcc_assert (TREE_CODE (alias) == FUNCTION_DECL);
570 alias_node = cgraph_node::get_create (alias);
571 gcc_assert (!alias_node->definition);
572 alias_node->alias_target = target;
573 alias_node->definition = true;
574 alias_node->alias = true;
575 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (alias)) != NULL)
576 alias_node->transparent_alias = alias_node->weakref = true;
577 if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (alias)))
578 alias_node->ifunc_resolver = true;
579 return alias_node;
582 /* Attempt to mark ALIAS as an alias to DECL. Return alias node if successful
583 and NULL otherwise.
584 Same body aliases are output whenever the body of DECL is output,
585 and cgraph_node::get (ALIAS) transparently returns
586 cgraph_node::get (DECL). */
588 cgraph_node *
589 cgraph_node::create_same_body_alias (tree alias, tree decl)
591 cgraph_node *n;
593 /* If aliases aren't supported by the assembler, fail. */
594 if (!TARGET_SUPPORTS_ALIASES)
595 return NULL;
597 /* Langhooks can create same body aliases of symbols not defined.
598 Those are useless. Drop them on the floor. */
599 if (symtab->global_info_ready)
600 return NULL;
602 n = cgraph_node::create_alias (alias, decl);
603 n->cpp_implicit_alias = true;
604 if (symtab->cpp_implicit_aliases_done)
605 n->resolve_alias (cgraph_node::get (decl));
606 return n;
609 /* Add thunk alias into callgraph. The alias declaration is ALIAS and it
610 aliases DECL with an adjustments made into the first parameter.
611 See comments in struct cgraph_thunk_info for detail on the parameters. */
613 cgraph_node *
614 cgraph_node::create_thunk (tree alias, tree, bool this_adjusting,
615 HOST_WIDE_INT fixed_offset,
616 HOST_WIDE_INT virtual_value,
617 HOST_WIDE_INT indirect_offset,
618 tree virtual_offset,
619 tree real_alias)
621 cgraph_node *node;
623 node = cgraph_node::get (alias);
624 if (node)
625 node->reset ();
626 else
627 node = cgraph_node::create (alias);
629 /* Make sure that if VIRTUAL_OFFSET is in sync with VIRTUAL_VALUE. */
630 gcc_checking_assert (virtual_offset
631 ? virtual_value == wi::to_wide (virtual_offset)
632 : virtual_value == 0);
634 node->thunk = true;
635 node->definition = true;
637 thunk_info *i;
638 thunk_info local_info;
639 if (symtab->state < CONSTRUCTION)
640 i = &local_info;
641 else
642 i = thunk_info::get_create (node);
643 i->fixed_offset = fixed_offset;
644 i->virtual_value = virtual_value;
645 i->indirect_offset = indirect_offset;
646 i->alias = real_alias;
647 i->this_adjusting = this_adjusting;
648 i->virtual_offset_p = virtual_offset != NULL;
649 if (symtab->state < CONSTRUCTION)
650 i->register_early (node);
652 return node;
655 /* Return the cgraph node that has ASMNAME for its DECL_ASSEMBLER_NAME.
656 Return NULL if there's no such node. */
658 cgraph_node *
659 cgraph_node::get_for_asmname (tree asmname)
661 /* We do not want to look at inline clones. */
662 for (symtab_node *node = symtab_node::get_for_asmname (asmname);
663 node;
664 node = node->next_sharing_asm_name)
666 cgraph_node *cn = dyn_cast <cgraph_node *> (node);
667 if (cn && !cn->inlined_to)
668 return cn;
670 return NULL;
673 /* Returns a hash value for X (which really is a cgraph_edge). */
675 hashval_t
676 cgraph_edge_hasher::hash (cgraph_edge *e)
678 /* This is a really poor hash function, but it is what htab_hash_pointer
679 uses. */
680 return (hashval_t) ((intptr_t)e->call_stmt >> 3);
683 /* Returns a hash value for X (which really is a cgraph_edge). */
685 hashval_t
686 cgraph_edge_hasher::hash (gimple *call_stmt)
688 /* This is a really poor hash function, but it is what htab_hash_pointer
689 uses. */
690 return (hashval_t) ((intptr_t)call_stmt >> 3);
693 /* Return nonzero if the call_stmt of cgraph_edge X is stmt *Y. */
695 inline bool
696 cgraph_edge_hasher::equal (cgraph_edge *x, gimple *y)
698 return x->call_stmt == y;
701 /* Add call graph edge E to call site hash of its caller. */
703 static inline void
704 cgraph_update_edge_in_call_site_hash (cgraph_edge *e)
706 gimple *call = e->call_stmt;
707 *e->caller->call_site_hash->find_slot_with_hash
708 (call, cgraph_edge_hasher::hash (call), INSERT) = e;
711 /* Add call graph edge E to call site hash of its caller. */
713 static inline void
714 cgraph_add_edge_to_call_site_hash (cgraph_edge *e)
716 /* There are two speculative edges for every statement (one direct,
717 one indirect); always hash the direct one. */
718 if (e->speculative && e->indirect_unknown_callee)
719 return;
720 cgraph_edge **slot = e->caller->call_site_hash->find_slot_with_hash
721 (e->call_stmt, cgraph_edge_hasher::hash (e->call_stmt), INSERT);
722 if (*slot)
724 gcc_assert (((cgraph_edge *)*slot)->speculative);
725 if (e->callee && (!e->prev_callee
726 || !e->prev_callee->speculative
727 || e->prev_callee->call_stmt != e->call_stmt))
728 *slot = e;
729 return;
731 gcc_assert (!*slot || e->speculative);
732 *slot = e;
735 /* Return the callgraph edge representing the GIMPLE_CALL statement
736 CALL_STMT. */
738 cgraph_edge *
739 cgraph_node::get_edge (gimple *call_stmt)
741 cgraph_edge *e, *e2;
742 int n = 0;
744 if (call_site_hash)
745 return call_site_hash->find_with_hash
746 (call_stmt, cgraph_edge_hasher::hash (call_stmt));
748 /* This loop may turn out to be performance problem. In such case adding
749 hashtables into call nodes with very many edges is probably best
750 solution. It is not good idea to add pointer into CALL_EXPR itself
751 because we want to make possible having multiple cgraph nodes representing
752 different clones of the same body before the body is actually cloned. */
753 for (e = callees; e; e = e->next_callee)
755 if (e->call_stmt == call_stmt)
756 break;
757 n++;
760 if (!e)
761 for (e = indirect_calls; e; e = e->next_callee)
763 if (e->call_stmt == call_stmt)
764 break;
765 n++;
768 if (n > 100)
770 call_site_hash = hash_table<cgraph_edge_hasher>::create_ggc (120);
771 for (e2 = callees; e2; e2 = e2->next_callee)
772 cgraph_add_edge_to_call_site_hash (e2);
773 for (e2 = indirect_calls; e2; e2 = e2->next_callee)
774 cgraph_add_edge_to_call_site_hash (e2);
777 return e;
781 /* Change field call_stmt of edge E to NEW_STMT. If UPDATE_SPECULATIVE and E
782 is any component of speculative edge, then update all components.
783 Speculations can be resolved in the process and EDGE can be removed and
784 deallocated. Return the edge that now represents the call. */
786 cgraph_edge *
787 cgraph_edge::set_call_stmt (cgraph_edge *e, gcall *new_stmt,
788 bool update_speculative)
790 tree decl;
792 cgraph_node *new_direct_callee = NULL;
793 if ((e->indirect_unknown_callee || e->speculative)
794 && (decl = gimple_call_fndecl (new_stmt)))
796 /* Constant propagation and especially inlining can turn an indirect call
797 into a direct one. */
798 new_direct_callee = cgraph_node::get (decl);
799 gcc_checking_assert (new_direct_callee);
802 /* Speculative edges has three component, update all of them
803 when asked to. */
804 if (update_speculative && e->speculative
805 /* If we are about to resolve the speculation by calling make_direct
806 below, do not bother going over all the speculative edges now. */
807 && !new_direct_callee)
809 cgraph_edge *direct, *indirect, *next;
810 ipa_ref *ref;
811 bool e_indirect = e->indirect_unknown_callee;
812 int n = 0;
814 direct = e->first_speculative_call_target ();
815 indirect = e->speculative_call_indirect_edge ();
817 gcall *old_stmt = direct->call_stmt;
818 for (cgraph_edge *d = direct; d; d = next)
820 next = d->next_speculative_call_target ();
821 cgraph_edge *d2 = set_call_stmt (d, new_stmt, false);
822 gcc_assert (d2 == d);
823 n++;
825 gcc_checking_assert (indirect->num_speculative_call_targets_p () == n);
826 for (unsigned int i = 0; e->caller->iterate_reference (i, ref); i++)
827 if (ref->speculative && ref->stmt == old_stmt)
829 ref->stmt = new_stmt;
830 n--;
833 indirect = set_call_stmt (indirect, new_stmt, false);
834 return e_indirect ? indirect : direct;
837 if (new_direct_callee)
838 e = make_direct (e, new_direct_callee);
840 /* Only direct speculative edges go to call_site_hash. */
841 if (e->caller->call_site_hash
842 && (!e->speculative || !e->indirect_unknown_callee)
843 /* It is possible that edge was previously speculative. In this case
844 we have different value in call stmt hash which needs preserving. */
845 && e->caller->get_edge (e->call_stmt) == e)
846 e->caller->call_site_hash->remove_elt_with_hash
847 (e->call_stmt, cgraph_edge_hasher::hash (e->call_stmt));
849 e->call_stmt = new_stmt;
851 function *fun = DECL_STRUCT_FUNCTION (e->caller->decl);
852 e->can_throw_external = stmt_can_throw_external (fun, new_stmt);
853 /* Update call stite hash. For speculative calls we only record the first
854 direct edge. */
855 if (e->caller->call_site_hash
856 && (!e->speculative
857 || (e->callee
858 && (!e->prev_callee || !e->prev_callee->speculative
859 || e->prev_callee->call_stmt != e->call_stmt))
860 || (e->speculative && !e->callee)))
861 cgraph_add_edge_to_call_site_hash (e);
862 return e;
865 /* Allocate a cgraph_edge structure and fill it with data according to the
866 parameters of which only CALLEE can be NULL (when creating an indirect call
867 edge). CLONING_P should be set if properties that are copied from an
868 original edge should not be calculated. */
870 cgraph_edge *
871 symbol_table::create_edge (cgraph_node *caller, cgraph_node *callee,
872 gcall *call_stmt, profile_count count,
873 bool indir_unknown_callee, bool cloning_p)
875 cgraph_edge *edge;
877 /* LTO does not actually have access to the call_stmt since these
878 have not been loaded yet. */
879 if (call_stmt)
881 /* This is a rather expensive check possibly triggering
882 construction of call stmt hashtable. */
883 cgraph_edge *e;
884 gcc_checking_assert (!(e = caller->get_edge (call_stmt))
885 || e->speculative);
887 gcc_assert (is_gimple_call (call_stmt));
890 edge = ggc_alloc<cgraph_edge> ();
891 edge->m_summary_id = -1;
892 edges_count++;
894 gcc_assert (++edges_max_uid != 0);
895 edge->m_uid = edges_max_uid;
896 edge->aux = NULL;
897 edge->caller = caller;
898 edge->callee = callee;
899 edge->prev_caller = NULL;
900 edge->next_caller = NULL;
901 edge->prev_callee = NULL;
902 edge->next_callee = NULL;
903 edge->lto_stmt_uid = 0;
904 edge->speculative_id = 0;
906 edge->count = count;
907 edge->call_stmt = call_stmt;
908 edge->indirect_info = NULL;
909 edge->indirect_inlining_edge = 0;
910 edge->speculative = false;
911 edge->indirect_unknown_callee = indir_unknown_callee;
912 if (call_stmt && caller->call_site_hash)
913 cgraph_add_edge_to_call_site_hash (edge);
915 if (cloning_p)
916 return edge;
918 edge->can_throw_external
919 = call_stmt ? stmt_can_throw_external (DECL_STRUCT_FUNCTION (caller->decl),
920 call_stmt) : false;
921 edge->inline_failed = CIF_FUNCTION_NOT_CONSIDERED;
922 edge->call_stmt_cannot_inline_p = false;
924 if (opt_for_fn (edge->caller->decl, flag_devirtualize)
925 && call_stmt && DECL_STRUCT_FUNCTION (caller->decl))
926 edge->in_polymorphic_cdtor
927 = decl_maybe_in_construction_p (NULL, NULL, call_stmt,
928 caller->decl);
929 else
930 edge->in_polymorphic_cdtor = caller->thunk;
931 if (callee)
932 caller->calls_declare_variant_alt |= callee->declare_variant_alt;
934 if (callee && symtab->state != LTO_STREAMING
935 && edge->callee->comdat_local_p ())
936 edge->caller->calls_comdat_local = true;
938 return edge;
941 /* Create edge from a given function to CALLEE in the cgraph. CLONING_P should
942 be set if properties that are copied from an original edge should not be
943 calculated. */
945 cgraph_edge *
946 cgraph_node::create_edge (cgraph_node *callee,
947 gcall *call_stmt, profile_count count, bool cloning_p)
949 cgraph_edge *edge = symtab->create_edge (this, callee, call_stmt, count,
950 false, cloning_p);
952 if (!cloning_p)
953 initialize_inline_failed (edge);
955 edge->next_caller = callee->callers;
956 if (callee->callers)
957 callee->callers->prev_caller = edge;
958 edge->next_callee = callees;
959 if (callees)
960 callees->prev_callee = edge;
961 callees = edge;
962 callee->callers = edge;
964 return edge;
967 /* Allocate cgraph_indirect_call_info and set its fields to default values. */
969 cgraph_indirect_call_info *
970 cgraph_allocate_init_indirect_info (void)
972 cgraph_indirect_call_info *ii;
974 ii = ggc_cleared_alloc<cgraph_indirect_call_info> ();
975 ii->param_index = -1;
976 return ii;
979 /* Create an indirect edge with a yet-undetermined callee where the call
980 statement destination is a formal parameter of the caller with index
981 PARAM_INDEX. CLONING_P should be set if properties that are copied from an
982 original edge should not be calculated and indirect_info structure should
983 not be calculated. */
985 cgraph_edge *
986 cgraph_node::create_indirect_edge (gcall *call_stmt, int ecf_flags,
987 profile_count count,
988 bool cloning_p)
990 cgraph_edge *edge = symtab->create_edge (this, NULL, call_stmt, count, true,
991 cloning_p);
992 tree target;
994 if (!cloning_p)
995 initialize_inline_failed (edge);
997 edge->indirect_info = cgraph_allocate_init_indirect_info ();
998 edge->indirect_info->ecf_flags = ecf_flags;
999 edge->indirect_info->vptr_changed = true;
1001 /* Record polymorphic call info. */
1002 if (!cloning_p
1003 && call_stmt
1004 && (target = gimple_call_fn (call_stmt))
1005 && virtual_method_call_p (target))
1007 ipa_polymorphic_call_context context (decl, target, call_stmt);
1009 /* Only record types can have virtual calls. */
1010 edge->indirect_info->polymorphic = true;
1011 edge->indirect_info->param_index = -1;
1012 edge->indirect_info->otr_token
1013 = tree_to_uhwi (OBJ_TYPE_REF_TOKEN (target));
1014 edge->indirect_info->otr_type = obj_type_ref_class (target);
1015 gcc_assert (TREE_CODE (edge->indirect_info->otr_type) == RECORD_TYPE);
1016 edge->indirect_info->context = context;
1019 edge->next_callee = indirect_calls;
1020 if (indirect_calls)
1021 indirect_calls->prev_callee = edge;
1022 indirect_calls = edge;
1024 return edge;
1027 /* Remove the edge from the list of the callees of the caller. */
1029 void
1030 cgraph_edge::remove_caller (void)
1032 if (prev_callee)
1033 prev_callee->next_callee = next_callee;
1034 if (next_callee)
1035 next_callee->prev_callee = prev_callee;
1036 if (!prev_callee)
1038 if (indirect_unknown_callee)
1039 caller->indirect_calls = next_callee;
1040 else
1041 caller->callees = next_callee;
1043 if (caller->call_site_hash
1044 && this == caller->get_edge (call_stmt))
1045 caller->call_site_hash->remove_elt_with_hash
1046 (call_stmt, cgraph_edge_hasher::hash (call_stmt));
1049 /* Put the edge onto the free list. */
1051 void
1052 symbol_table::free_edge (cgraph_edge *e)
1054 edges_count--;
1055 if (e->m_summary_id != -1)
1056 edge_released_summary_ids.safe_push (e->m_summary_id);
1058 if (e->indirect_info)
1059 ggc_free (e->indirect_info);
1060 ggc_free (e);
1063 /* Remove the edge in the cgraph. */
1065 void
1066 cgraph_edge::remove (cgraph_edge *edge)
1068 /* Call all edge removal hooks. */
1069 symtab->call_edge_removal_hooks (edge);
1071 if (!edge->indirect_unknown_callee)
1072 /* Remove from callers list of the callee. */
1073 edge->remove_callee ();
1075 /* Remove from callees list of the callers. */
1076 edge->remove_caller ();
1078 /* Put the edge onto the free list. */
1079 symtab->free_edge (edge);
1082 /* Turn edge into speculative call calling N2. Update
1083 the profile so the direct call is taken COUNT times
1084 with FREQUENCY.
1086 At clone materialization time, the indirect call E will
1087 be expanded as:
1089 if (call_dest == N2)
1090 n2 ();
1091 else
1092 call call_dest
1094 At this time the function just creates the direct call,
1095 the reference representing the if conditional and attaches
1096 them all to the original indirect call statement.
1098 speculative_id is used to link direct calls with their corresponding
1099 IPA_REF_ADDR references when representing speculative calls.
1101 Return direct edge created. */
1103 cgraph_edge *
1104 cgraph_edge::make_speculative (cgraph_node *n2, profile_count direct_count,
1105 unsigned int speculative_id)
1107 cgraph_node *n = caller;
1108 ipa_ref *ref = NULL;
1109 cgraph_edge *e2;
1111 if (dump_file)
1112 fprintf (dump_file, "Indirect call -> speculative call %s => %s\n",
1113 n->dump_name (), n2->dump_name ());
1114 speculative = true;
1115 e2 = n->create_edge (n2, call_stmt, direct_count);
1116 initialize_inline_failed (e2);
1117 e2->speculative = true;
1118 if (TREE_NOTHROW (n2->decl))
1119 e2->can_throw_external = false;
1120 else
1121 e2->can_throw_external = can_throw_external;
1122 e2->lto_stmt_uid = lto_stmt_uid;
1123 e2->speculative_id = speculative_id;
1124 e2->in_polymorphic_cdtor = in_polymorphic_cdtor;
1125 indirect_info->num_speculative_call_targets++;
1126 count -= e2->count;
1127 symtab->call_edge_duplication_hooks (this, e2);
1128 ref = n->create_reference (n2, IPA_REF_ADDR, call_stmt);
1129 ref->lto_stmt_uid = lto_stmt_uid;
1130 ref->speculative_id = speculative_id;
1131 ref->speculative = speculative;
1132 n2->mark_address_taken ();
1133 return e2;
1136 /* Speculative call consists of an indirect edge and one or more
1137 direct edge+ref pairs.
1139 Given an edge which is part of speculative call, return the first
1140 direct call edge in the speculative call sequence. */
1142 cgraph_edge *
1143 cgraph_edge::first_speculative_call_target ()
1145 cgraph_edge *e = this;
1147 gcc_checking_assert (e->speculative);
1148 if (e->callee)
1150 while (e->prev_callee && e->prev_callee->speculative
1151 && e->prev_callee->call_stmt == e->call_stmt
1152 && e->prev_callee->lto_stmt_uid == e->lto_stmt_uid)
1153 e = e->prev_callee;
1154 return e;
1156 /* Call stmt site hash always points to the first target of the
1157 speculative call sequence. */
1158 if (e->call_stmt)
1159 return e->caller->get_edge (e->call_stmt);
1160 for (cgraph_edge *e2 = e->caller->callees; true; e2 = e2->next_callee)
1161 if (e2->speculative
1162 && e->call_stmt == e2->call_stmt
1163 && e->lto_stmt_uid == e2->lto_stmt_uid)
1164 return e2;
1167 /* We always maintain first direct edge in the call site hash, if one
1168 exists. E is going to be removed. See if it is first one and update
1169 hash accordingly. INDIRECT is the indirect edge of speculative call.
1170 We assume that INDIRECT->num_speculative_call_targets_p () is already
1171 updated for removal of E. */
1172 static void
1173 update_call_stmt_hash_for_removing_direct_edge (cgraph_edge *e,
1174 cgraph_edge *indirect)
1176 if (e->caller->call_site_hash)
1178 if (e->caller->get_edge (e->call_stmt) != e)
1180 else if (!indirect->num_speculative_call_targets_p ())
1181 cgraph_update_edge_in_call_site_hash (indirect);
1182 else
1184 gcc_checking_assert (e->next_callee && e->next_callee->speculative
1185 && e->next_callee->call_stmt == e->call_stmt);
1186 cgraph_update_edge_in_call_site_hash (e->next_callee);
1191 /* Speculative call EDGE turned out to be direct call to CALLEE_DECL. Remove
1192 the speculative call sequence and return edge representing the call, the
1193 original EDGE can be removed and deallocated. Return the edge that now
1194 represents the call.
1196 For "speculative" indirect call that contains multiple "speculative"
1197 targets (i.e. edge->indirect_info->num_speculative_call_targets > 1),
1198 decrease the count and only remove current direct edge.
1200 If no speculative direct call left to the speculative indirect call, remove
1201 the speculative of both the indirect call and corresponding direct edge.
1203 It is up to caller to iteratively resolve each "speculative" direct call and
1204 redirect the call as appropriate. */
1206 cgraph_edge *
1207 cgraph_edge::resolve_speculation (cgraph_edge *edge, tree callee_decl)
1209 cgraph_edge *e2;
1210 ipa_ref *ref;
1212 gcc_assert (edge->speculative && (!callee_decl || edge->callee));
1213 if (!edge->callee)
1214 e2 = edge->first_speculative_call_target ();
1215 else
1216 e2 = edge;
1217 ref = e2->speculative_call_target_ref ();
1218 edge = edge->speculative_call_indirect_edge ();
1219 if (!callee_decl
1220 || !ref->referred->semantically_equivalent_p
1221 (symtab_node::get (callee_decl)))
1223 if (dump_file)
1225 if (callee_decl)
1227 fprintf (dump_file, "Speculative indirect call %s => %s has "
1228 "turned out to have contradicting known target ",
1229 edge->caller->dump_name (),
1230 e2->callee->dump_name ());
1231 print_generic_expr (dump_file, callee_decl);
1232 fprintf (dump_file, "\n");
1234 else
1236 fprintf (dump_file, "Removing speculative call %s => %s\n",
1237 edge->caller->dump_name (),
1238 e2->callee->dump_name ());
1242 else
1244 cgraph_edge *tmp = edge;
1245 if (dump_file)
1246 fprintf (dump_file, "Speculative call turned into direct call.\n");
1247 edge = e2;
1248 e2 = tmp;
1249 /* FIXME: If EDGE is inlined, we should scale up the frequencies
1250 and counts in the functions inlined through it. */
1252 edge->count += e2->count;
1253 if (edge->num_speculative_call_targets_p ())
1255 /* The indirect edge has multiple speculative targets, don't remove
1256 speculative until all related direct edges are resolved. */
1257 edge->indirect_info->num_speculative_call_targets--;
1258 if (!edge->indirect_info->num_speculative_call_targets)
1259 edge->speculative = false;
1261 else
1262 edge->speculative = false;
1263 e2->speculative = false;
1264 update_call_stmt_hash_for_removing_direct_edge (e2, edge);
1265 ref->remove_reference ();
1266 if (e2->indirect_unknown_callee || e2->inline_failed)
1267 remove (e2);
1268 else
1269 e2->callee->remove_symbol_and_inline_clones ();
1270 return edge;
1273 /* Return edge corresponding to speculative call to a given target.
1274 NULL if speculative call does not have one. */
1276 cgraph_edge *
1277 cgraph_edge::speculative_call_for_target (cgraph_node *target)
1279 for (cgraph_edge *direct = first_speculative_call_target ();
1280 direct;
1281 direct = direct->next_speculative_call_target ())
1282 if (direct->speculative_call_target_ref ()
1283 ->referred->semantically_equivalent_p (target))
1284 return direct;
1285 return NULL;
1288 /* Make an indirect or speculative EDGE with an unknown callee an ordinary edge
1289 leading to CALLEE. Speculations can be resolved in the process and EDGE can
1290 be removed and deallocated. Return the edge that now represents the
1291 call. */
1293 cgraph_edge *
1294 cgraph_edge::make_direct (cgraph_edge *edge, cgraph_node *callee)
1296 gcc_assert (edge->indirect_unknown_callee || edge->speculative);
1298 /* If we are redirecting speculative call, make it non-speculative. */
1299 if (edge->speculative)
1301 cgraph_edge *found = NULL;
1302 cgraph_edge *direct, *next;
1304 edge = edge->speculative_call_indirect_edge ();
1306 /* Look all speculative targets and remove all but one corresponding
1307 to callee (if it exists). */
1308 for (direct = edge->first_speculative_call_target ();
1309 direct;
1310 direct = next)
1312 next = direct->next_speculative_call_target ();
1314 /* Compare ref not direct->callee. Direct edge is possibly
1315 inlined or redirected. */
1316 if (!direct->speculative_call_target_ref ()
1317 ->referred->semantically_equivalent_p (callee))
1318 edge = direct->resolve_speculation (direct, NULL);
1319 else
1321 gcc_checking_assert (!found);
1322 found = direct;
1326 /* On successful speculation just remove the indirect edge and
1327 return the pre existing direct edge.
1328 It is important to not remove it and redirect because the direct
1329 edge may be inlined or redirected. */
1330 if (found)
1332 cgraph_edge *e2 = resolve_speculation (found, callee->decl);
1333 gcc_checking_assert (!found->speculative && e2 == found);
1334 return found;
1336 gcc_checking_assert (!edge->speculative);
1339 edge->indirect_unknown_callee = 0;
1340 ggc_free (edge->indirect_info);
1341 edge->indirect_info = NULL;
1343 /* Get the edge out of the indirect edge list. */
1344 if (edge->prev_callee)
1345 edge->prev_callee->next_callee = edge->next_callee;
1346 if (edge->next_callee)
1347 edge->next_callee->prev_callee = edge->prev_callee;
1348 if (!edge->prev_callee)
1349 edge->caller->indirect_calls = edge->next_callee;
1351 /* Put it into the normal callee list */
1352 edge->prev_callee = NULL;
1353 edge->next_callee = edge->caller->callees;
1354 if (edge->caller->callees)
1355 edge->caller->callees->prev_callee = edge;
1356 edge->caller->callees = edge;
1358 /* Insert to callers list of the new callee. */
1359 edge->set_callee (callee);
1361 /* We need to re-determine the inlining status of the edge. */
1362 initialize_inline_failed (edge);
1363 return edge;
1366 /* Redirect callee of the edge to N. The function does not update underlying
1367 call expression. */
1369 void
1370 cgraph_edge::redirect_callee (cgraph_node *n)
1372 bool loc = callee->comdat_local_p ();
1373 /* Remove from callers list of the current callee. */
1374 remove_callee ();
1376 /* Insert to callers list of the new callee. */
1377 set_callee (n);
1379 if (!inline_failed)
1380 return;
1381 if (!loc && n->comdat_local_p ())
1383 cgraph_node *to = caller->inlined_to ? caller->inlined_to : caller;
1384 to->calls_comdat_local = true;
1386 else if (loc && !n->comdat_local_p ())
1388 cgraph_node *to = caller->inlined_to ? caller->inlined_to : caller;
1389 gcc_checking_assert (to->calls_comdat_local);
1390 to->calls_comdat_local = to->check_calls_comdat_local_p ();
1394 /* If necessary, change the function declaration in the call statement
1395 associated with E so that it corresponds to the edge callee. Speculations
1396 can be resolved in the process and EDGE can be removed and deallocated.
1398 The edge could be one of speculative direct call generated from speculative
1399 indirect call. In this circumstance, decrease the speculative targets
1400 count (i.e. num_speculative_call_targets) and redirect call stmt to the
1401 corresponding i-th target. If no speculative direct call left to the
1402 speculative indirect call, remove "speculative" of the indirect call and
1403 also redirect stmt to it's final direct target.
1405 It is up to caller to iteratively transform each "speculative"
1406 direct call as appropriate. */
1408 gimple *
1409 cgraph_edge::redirect_call_stmt_to_callee (cgraph_edge *e)
1411 tree decl = gimple_call_fndecl (e->call_stmt);
1412 gcall *new_stmt;
1413 gimple_stmt_iterator gsi;
1415 if (e->speculative)
1417 /* If there already is an direct call (i.e. as a result of inliner's
1418 substitution), forget about speculating. */
1419 if (decl)
1420 e = make_direct (e->speculative_call_indirect_edge (),
1421 cgraph_node::get (decl));
1422 else
1424 /* Be sure we redirect all speculative targets before poking
1425 abou tindirect edge. */
1426 gcc_checking_assert (e->callee);
1427 cgraph_edge *indirect = e->speculative_call_indirect_edge ();
1428 gcall *new_stmt;
1429 ipa_ref *ref;
1431 /* Expand speculation into GIMPLE code. */
1432 if (dump_file)
1434 fprintf (dump_file,
1435 "Expanding speculative call of %s -> %s count: ",
1436 e->caller->dump_name (),
1437 e->callee->dump_name ());
1438 e->count.dump (dump_file);
1439 fprintf (dump_file, "\n");
1441 push_cfun (DECL_STRUCT_FUNCTION (e->caller->decl));
1443 profile_count all = indirect->count;
1444 for (cgraph_edge *e2 = e->first_speculative_call_target ();
1446 e2 = e2->next_speculative_call_target ())
1447 all = all + e2->count;
1448 profile_probability prob = e->count.probability_in (all);
1449 if (!prob.initialized_p ())
1450 prob = profile_probability::even ();
1451 ref = e->speculative_call_target_ref ();
1452 new_stmt = gimple_ic (e->call_stmt,
1453 dyn_cast<cgraph_node *> (ref->referred),
1454 prob);
1455 e->speculative = false;
1456 if (indirect->num_speculative_call_targets_p ())
1458 /* The indirect edge has multiple speculative targets, don't
1459 remove speculative until all related direct edges are
1460 redirected. */
1461 indirect->indirect_info->num_speculative_call_targets--;
1462 if (!indirect->indirect_info->num_speculative_call_targets)
1463 indirect->speculative = false;
1465 else
1466 indirect->speculative = false;
1467 /* Indirect edges are not both in the call site hash.
1468 get it updated. */
1469 update_call_stmt_hash_for_removing_direct_edge (e, indirect);
1470 cgraph_edge::set_call_stmt (e, new_stmt, false);
1471 e->count = gimple_bb (e->call_stmt)->count;
1473 /* Once we are done with expanding the sequence, update also indirect
1474 call probability. Until then the basic block accounts for the
1475 sum of indirect edge and all non-expanded speculations. */
1476 if (!indirect->speculative)
1477 indirect->count = gimple_bb (indirect->call_stmt)->count;
1478 ref->speculative = false;
1479 ref->stmt = NULL;
1480 pop_cfun ();
1481 /* Continue redirecting E to proper target. */
1486 if (e->indirect_unknown_callee
1487 || decl == e->callee->decl)
1488 return e->call_stmt;
1490 if (decl && ipa_saved_clone_sources)
1492 tree *p = ipa_saved_clone_sources->get (e->callee);
1493 if (p && decl == *p)
1495 gimple_call_set_fndecl (e->call_stmt, e->callee->decl);
1496 return e->call_stmt;
1499 if (flag_checking && decl)
1501 if (cgraph_node *node = cgraph_node::get (decl))
1503 clone_info *info = clone_info::get (node);
1504 gcc_assert (!info || !info->param_adjustments);
1508 clone_info *callee_info = clone_info::get (e->callee);
1509 if (symtab->dump_file)
1511 fprintf (symtab->dump_file, "updating call of %s -> %s: ",
1512 e->caller->dump_name (), e->callee->dump_name ());
1513 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
1514 if (callee_info && callee_info->param_adjustments)
1515 callee_info->param_adjustments->dump (symtab->dump_file);
1518 if (ipa_param_adjustments *padjs
1519 = callee_info ? callee_info->param_adjustments : NULL)
1521 /* We need to defer cleaning EH info on the new statement to
1522 fixup-cfg. We may not have dominator information at this point
1523 and thus would end up with unreachable blocks and have no way
1524 to communicate that we need to run CFG cleanup then. */
1525 int lp_nr = lookup_stmt_eh_lp (e->call_stmt);
1526 if (lp_nr != 0)
1527 remove_stmt_from_eh_lp (e->call_stmt);
1529 tree old_fntype = gimple_call_fntype (e->call_stmt);
1530 new_stmt = padjs->modify_call (e, false);
1531 cgraph_node *origin = e->callee;
1532 while (origin->clone_of)
1533 origin = origin->clone_of;
1535 if ((origin->former_clone_of
1536 && old_fntype == TREE_TYPE (origin->former_clone_of))
1537 || old_fntype == TREE_TYPE (origin->decl))
1538 gimple_call_set_fntype (new_stmt, TREE_TYPE (e->callee->decl));
1539 else
1541 tree new_fntype = padjs->build_new_function_type (old_fntype, true);
1542 gimple_call_set_fntype (new_stmt, new_fntype);
1545 if (lp_nr != 0)
1546 add_stmt_to_eh_lp (new_stmt, lp_nr);
1548 else
1550 if (flag_checking
1551 && !fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE))
1552 ipa_verify_edge_has_no_modifications (e);
1553 new_stmt = e->call_stmt;
1554 gimple_call_set_fndecl (new_stmt, e->callee->decl);
1555 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1558 /* If changing the call to __cxa_pure_virtual or similar noreturn function,
1559 adjust gimple_call_fntype too. */
1560 if (gimple_call_noreturn_p (new_stmt)
1561 && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (e->callee->decl)))
1562 && TYPE_ARG_TYPES (TREE_TYPE (e->callee->decl))
1563 && (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (e->callee->decl)))
1564 == void_type_node))
1565 gimple_call_set_fntype (new_stmt, TREE_TYPE (e->callee->decl));
1567 /* If the call becomes noreturn, remove the LHS if possible. */
1568 tree lhs = gimple_call_lhs (new_stmt);
1569 if (lhs
1570 && gimple_call_noreturn_p (new_stmt)
1571 && (VOID_TYPE_P (TREE_TYPE (gimple_call_fntype (new_stmt)))
1572 || should_remove_lhs_p (lhs)))
1574 if (TREE_CODE (lhs) == SSA_NAME)
1576 tree var = create_tmp_reg_fn (DECL_STRUCT_FUNCTION (e->caller->decl),
1577 TREE_TYPE (lhs), NULL);
1578 var = get_or_create_ssa_default_def
1579 (DECL_STRUCT_FUNCTION (e->caller->decl), var);
1580 gimple *set_stmt = gimple_build_assign (lhs, var);
1581 gsi = gsi_for_stmt (new_stmt);
1582 gsi_insert_before_without_update (&gsi, set_stmt, GSI_SAME_STMT);
1583 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), set_stmt);
1585 gimple_call_set_lhs (new_stmt, NULL_TREE);
1586 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1589 /* If new callee has no static chain, remove it. */
1590 if (gimple_call_chain (new_stmt) && !DECL_STATIC_CHAIN (e->callee->decl))
1592 gimple_call_set_chain (new_stmt, NULL);
1593 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1596 maybe_remove_unused_call_args (DECL_STRUCT_FUNCTION (e->caller->decl),
1597 new_stmt);
1599 e->caller->set_call_stmt_including_clones (e->call_stmt, new_stmt, false);
1601 if (symtab->dump_file)
1603 fprintf (symtab->dump_file, " updated to:");
1604 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
1606 return new_stmt;
1609 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1610 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
1611 of OLD_STMT if it was previously call statement.
1612 If NEW_STMT is NULL, the call has been dropped without any
1613 replacement. */
1615 static void
1616 cgraph_update_edges_for_call_stmt_node (cgraph_node *node,
1617 gimple *old_stmt, tree old_call,
1618 gimple *new_stmt)
1620 tree new_call = (new_stmt && is_gimple_call (new_stmt))
1621 ? gimple_call_fndecl (new_stmt) : 0;
1623 /* We are seeing indirect calls, then there is nothing to update. */
1624 if (!new_call && !old_call)
1625 return;
1626 /* See if we turned indirect call into direct call or folded call to one builtin
1627 into different builtin. */
1628 if (old_call != new_call)
1630 cgraph_edge *e = node->get_edge (old_stmt);
1631 cgraph_edge *ne = NULL;
1632 profile_count count;
1634 if (e)
1636 /* Keep calls marked as dead dead. */
1637 if (new_stmt && is_gimple_call (new_stmt) && e->callee
1638 && fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE))
1640 cgraph_edge::set_call_stmt (node->get_edge (old_stmt),
1641 as_a <gcall *> (new_stmt));
1642 return;
1644 /* See if the edge is already there and has the correct callee. It
1645 might be so because of indirect inlining has already updated
1646 it. We also might've cloned and redirected the edge. */
1647 if (new_call && e->callee)
1649 cgraph_node *callee = e->callee;
1650 while (callee)
1652 if (callee->decl == new_call
1653 || callee->former_clone_of == new_call)
1655 cgraph_edge::set_call_stmt (e, as_a <gcall *> (new_stmt));
1656 return;
1658 callee = callee->clone_of;
1662 /* Otherwise remove edge and create new one; we can't simply redirect
1663 since function has changed, so inline plan and other information
1664 attached to edge is invalid. */
1665 count = e->count;
1666 if (e->indirect_unknown_callee || e->inline_failed)
1667 cgraph_edge::remove (e);
1668 else
1669 e->callee->remove_symbol_and_inline_clones ();
1671 else if (new_call)
1673 /* We are seeing new direct call; compute profile info based on BB. */
1674 basic_block bb = gimple_bb (new_stmt);
1675 count = bb->count;
1678 if (new_call)
1680 ne = node->create_edge (cgraph_node::get_create (new_call),
1681 as_a <gcall *> (new_stmt), count);
1682 gcc_assert (ne->inline_failed);
1685 /* We only updated the call stmt; update pointer in cgraph edge.. */
1686 else if (old_stmt != new_stmt)
1687 cgraph_edge::set_call_stmt (node->get_edge (old_stmt),
1688 as_a <gcall *> (new_stmt));
1691 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1692 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1693 of OLD_STMT before it was updated (updating can happen inplace). */
1695 void
1696 cgraph_update_edges_for_call_stmt (gimple *old_stmt, tree old_decl,
1697 gimple *new_stmt)
1699 cgraph_node *orig = cgraph_node::get (cfun->decl);
1700 cgraph_node *node;
1702 gcc_checking_assert (orig);
1703 cgraph_update_edges_for_call_stmt_node (orig, old_stmt, old_decl, new_stmt);
1704 if (orig->clones)
1705 for (node = orig->clones; node != orig;)
1707 cgraph_update_edges_for_call_stmt_node (node, old_stmt, old_decl,
1708 new_stmt);
1709 if (node->clones)
1710 node = node->clones;
1711 else if (node->next_sibling_clone)
1712 node = node->next_sibling_clone;
1713 else
1715 while (node != orig && !node->next_sibling_clone)
1716 node = node->clone_of;
1717 if (node != orig)
1718 node = node->next_sibling_clone;
1724 /* Remove all callees from the node. */
1726 void
1727 cgraph_node::remove_callees (void)
1729 cgraph_edge *e, *f;
1731 calls_comdat_local = false;
1733 /* It is sufficient to remove the edges from the lists of callers of
1734 the callees. The callee list of the node can be zapped with one
1735 assignment. */
1736 for (e = callees; e; e = f)
1738 f = e->next_callee;
1739 symtab->call_edge_removal_hooks (e);
1740 if (!e->indirect_unknown_callee)
1741 e->remove_callee ();
1742 symtab->free_edge (e);
1744 for (e = indirect_calls; e; e = f)
1746 f = e->next_callee;
1747 symtab->call_edge_removal_hooks (e);
1748 if (!e->indirect_unknown_callee)
1749 e->remove_callee ();
1750 symtab->free_edge (e);
1752 indirect_calls = NULL;
1753 callees = NULL;
1754 if (call_site_hash)
1756 call_site_hash->empty ();
1757 call_site_hash = NULL;
1761 /* Remove all callers from the node. */
1763 void
1764 cgraph_node::remove_callers (void)
1766 cgraph_edge *e, *f;
1768 /* It is sufficient to remove the edges from the lists of callees of
1769 the callers. The caller list of the node can be zapped with one
1770 assignment. */
1771 for (e = callers; e; e = f)
1773 f = e->next_caller;
1774 symtab->call_edge_removal_hooks (e);
1775 e->remove_caller ();
1776 symtab->free_edge (e);
1778 callers = NULL;
1781 /* Helper function for cgraph_release_function_body and free_lang_data.
1782 It releases body from function DECL without having to inspect its
1783 possibly non-existent symtab node. */
1785 void
1786 release_function_body (tree decl)
1788 function *fn = DECL_STRUCT_FUNCTION (decl);
1789 if (fn)
1791 if (fn->cfg
1792 && loops_for_fn (fn))
1794 fn->curr_properties &= ~PROP_loops;
1795 loop_optimizer_finalize (fn);
1797 if (fn->gimple_df)
1799 delete_tree_ssa (fn);
1800 fn->eh = NULL;
1802 if (fn->cfg)
1804 gcc_assert (!dom_info_available_p (fn, CDI_DOMINATORS));
1805 gcc_assert (!dom_info_available_p (fn, CDI_POST_DOMINATORS));
1806 delete_tree_cfg_annotations (fn);
1807 free_cfg (fn);
1808 fn->cfg = NULL;
1810 if (fn->value_histograms)
1811 free_histograms (fn);
1812 gimple_set_body (decl, NULL);
1813 /* Struct function hangs a lot of data that would leak if we didn't
1814 removed all pointers to it. */
1815 ggc_free (fn);
1816 DECL_STRUCT_FUNCTION (decl) = NULL;
1818 DECL_SAVED_TREE (decl) = NULL;
1821 /* Release memory used to represent body of function.
1822 Use this only for functions that are released before being translated to
1823 target code (i.e. RTL). Functions that are compiled to RTL and beyond
1824 are free'd in final.c via free_after_compilation().
1825 KEEP_ARGUMENTS are useful only if you want to rebuild body as thunk. */
1827 void
1828 cgraph_node::release_body (bool keep_arguments)
1830 ipa_transforms_to_apply.release ();
1831 if (!used_as_abstract_origin && symtab->state != PARSING)
1833 DECL_RESULT (decl) = NULL;
1835 if (!keep_arguments)
1836 DECL_ARGUMENTS (decl) = NULL;
1838 /* If the node is abstract and needed, then do not clear
1839 DECL_INITIAL of its associated function declaration because it's
1840 needed to emit debug info later. */
1841 if (!used_as_abstract_origin && DECL_INITIAL (decl))
1842 DECL_INITIAL (decl) = error_mark_node;
1843 release_function_body (decl);
1844 if (lto_file_data)
1846 lto_free_function_in_decl_state_for_node (this);
1847 lto_file_data = NULL;
1849 if (flag_checking && clones)
1851 /* It is invalid to release body before materializing clones except
1852 for thunks that don't really need a body. Verify also that we do
1853 not leak pointers to the call statements. */
1854 for (cgraph_node *node = clones; node;
1855 node = node->next_sibling_clone)
1856 gcc_assert (node->thunk && !node->callees->call_stmt);
1858 remove_callees ();
1859 remove_all_references ();
1862 /* Remove function from symbol table. */
1864 void
1865 cgraph_node::remove (void)
1867 bool clone_info_set = false;
1868 clone_info *info, saved_info;
1869 if (symtab->ipa_clones_dump_file && symtab->cloned_nodes.contains (this))
1870 fprintf (symtab->ipa_clones_dump_file,
1871 "Callgraph removal;%s;%d;%s;%d;%d\n", asm_name (), order,
1872 DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl),
1873 DECL_SOURCE_COLUMN (decl));
1875 if ((info = clone_info::get (this)) != NULL)
1877 saved_info = *info;
1878 clone_info_set = true;
1880 symtab->call_cgraph_removal_hooks (this);
1881 remove_callers ();
1882 remove_callees ();
1883 ipa_transforms_to_apply.release ();
1884 delete_function_version (function_version ());
1886 /* Incremental inlining access removed nodes stored in the postorder list.
1888 force_output = false;
1889 forced_by_abi = false;
1891 unregister (clone_info_set ? &saved_info : NULL);
1892 if (prev_sibling_clone)
1893 prev_sibling_clone->next_sibling_clone = next_sibling_clone;
1894 else if (clone_of)
1895 clone_of->clones = next_sibling_clone;
1896 if (next_sibling_clone)
1897 next_sibling_clone->prev_sibling_clone = prev_sibling_clone;
1898 if (clones)
1900 cgraph_node *n, *next;
1902 if (clone_of)
1904 for (n = clones; n->next_sibling_clone; n = n->next_sibling_clone)
1905 n->clone_of = clone_of;
1906 n->clone_of = clone_of;
1907 n->next_sibling_clone = clone_of->clones;
1908 if (clone_of->clones)
1909 clone_of->clones->prev_sibling_clone = n;
1910 clone_of->clones = clones;
1912 else
1914 /* We are removing node with clones. This makes clones inconsistent,
1915 but assume they will be removed subsequently and just keep clone
1916 tree intact. This can happen in unreachable function removal since
1917 we remove unreachable functions in random order, not by bottom-up
1918 walk of clone trees. */
1919 for (n = clones; n; n = next)
1921 next = n->next_sibling_clone;
1922 n->next_sibling_clone = NULL;
1923 n->prev_sibling_clone = NULL;
1924 n->clone_of = NULL;
1929 /* While all the clones are removed after being proceeded, the function
1930 itself is kept in the cgraph even after it is compiled. Check whether
1931 we are done with this body and reclaim it proactively if this is the case.
1933 if (symtab->state != LTO_STREAMING)
1935 cgraph_node *n = cgraph_node::get (decl);
1936 if (!n
1937 || (!n->clones && !n->clone_of && !n->inlined_to
1938 && ((symtab->global_info_ready || in_lto_p)
1939 && (TREE_ASM_WRITTEN (n->decl)
1940 || DECL_EXTERNAL (n->decl)
1941 || !n->analyzed
1942 || (!flag_wpa && n->in_other_partition)))))
1943 release_body ();
1945 else
1947 lto_free_function_in_decl_state_for_node (this);
1948 lto_file_data = NULL;
1951 decl = NULL;
1952 if (call_site_hash)
1954 call_site_hash->empty ();
1955 call_site_hash = NULL;
1958 symtab->release_symbol (this);
1961 /* Likewise indicate that a node is having address taken. */
1963 void
1964 cgraph_node::mark_address_taken (void)
1966 /* Indirect inlining can figure out that all uses of the address are
1967 inlined. */
1968 if (inlined_to)
1970 gcc_assert (cfun->after_inlining);
1971 gcc_assert (callers->indirect_inlining_edge);
1972 return;
1974 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1975 IPA_REF_ADDR reference exists (and thus it should be set on node
1976 representing alias we take address of) and as a test whether address
1977 of the object was taken (and thus it should be set on node alias is
1978 referring to). We should remove the first use and the remove the
1979 following set. */
1980 address_taken = 1;
1981 cgraph_node *node = ultimate_alias_target ();
1982 node->address_taken = 1;
1985 /* Return local info node for the compiled function. */
1987 cgraph_node *
1988 cgraph_node::local_info_node (tree decl)
1990 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
1991 cgraph_node *node = get (decl);
1992 if (!node)
1993 return NULL;
1994 return node->ultimate_alias_target ();
1997 /* Return RTL info for the compiled function. */
1999 cgraph_rtl_info *
2000 cgraph_node::rtl_info (const_tree decl)
2002 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
2003 cgraph_node *node = get (decl);
2004 if (!node)
2005 return NULL;
2006 enum availability avail;
2007 node = node->ultimate_alias_target (&avail);
2008 if (decl != current_function_decl
2009 && (avail < AVAIL_AVAILABLE
2010 || (node->decl != current_function_decl
2011 && !TREE_ASM_WRITTEN (node->decl))))
2012 return NULL;
2013 /* Allocate if it doesn't exist. */
2014 if (node->rtl == NULL)
2016 node->rtl = ggc_cleared_alloc<cgraph_rtl_info> ();
2017 SET_HARD_REG_SET (node->rtl->function_used_regs);
2019 return node->rtl;
2022 /* Return a string describing the failure REASON. */
2024 const char*
2025 cgraph_inline_failed_string (cgraph_inline_failed_t reason)
2027 #undef DEFCIFCODE
2028 #define DEFCIFCODE(code, type, string) string,
2030 static const char *cif_string_table[CIF_N_REASONS] = {
2031 #include "cif-code.def"
2034 /* Signedness of an enum type is implementation defined, so cast it
2035 to unsigned before testing. */
2036 gcc_assert ((unsigned) reason < CIF_N_REASONS);
2037 return cif_string_table[reason];
2040 /* Return a type describing the failure REASON. */
2042 cgraph_inline_failed_type_t
2043 cgraph_inline_failed_type (cgraph_inline_failed_t reason)
2045 #undef DEFCIFCODE
2046 #define DEFCIFCODE(code, type, string) type,
2048 static cgraph_inline_failed_type_t cif_type_table[CIF_N_REASONS] = {
2049 #include "cif-code.def"
2052 /* Signedness of an enum type is implementation defined, so cast it
2053 to unsigned before testing. */
2054 gcc_assert ((unsigned) reason < CIF_N_REASONS);
2055 return cif_type_table[reason];
2058 /* Names used to print out the availability enum. */
2059 const char * const cgraph_availability_names[] =
2060 {"unset", "not_available", "overwritable", "available", "local"};
2062 /* Output flags of edge to a file F. */
2064 void
2065 cgraph_edge::dump_edge_flags (FILE *f)
2067 if (speculative)
2068 fprintf (f, "(speculative) ");
2069 if (!inline_failed)
2070 fprintf (f, "(inlined) ");
2071 if (call_stmt_cannot_inline_p)
2072 fprintf (f, "(call_stmt_cannot_inline_p) ");
2073 if (indirect_inlining_edge)
2074 fprintf (f, "(indirect_inlining) ");
2075 if (count.initialized_p ())
2077 fprintf (f, "(");
2078 count.dump (f);
2079 fprintf (f, ",");
2080 fprintf (f, "%.2f per call) ", sreal_frequency ().to_double ());
2082 if (can_throw_external)
2083 fprintf (f, "(can throw external) ");
2086 /* Dump edge to stderr. */
2088 void
2089 cgraph_edge::debug (void)
2091 fprintf (stderr, "%s -> %s ", caller->dump_asm_name (),
2092 callee == NULL ? "(null)" : callee->dump_asm_name ());
2093 dump_edge_flags (stderr);
2094 fprintf (stderr, "\n\n");
2095 caller->debug ();
2096 if (callee != NULL)
2097 callee->debug ();
2100 /* Dump call graph node to file F. */
2102 void
2103 cgraph_node::dump (FILE *f)
2105 cgraph_edge *edge;
2107 dump_base (f);
2109 if (inlined_to)
2110 fprintf (f, " Function %s is inline copy in %s\n",
2111 dump_name (),
2112 inlined_to->dump_name ());
2113 if (clone_of)
2114 fprintf (f, " Clone of %s\n", clone_of->dump_asm_name ());
2115 if (symtab->function_flags_ready)
2116 fprintf (f, " Availability: %s\n",
2117 cgraph_availability_names [get_availability ()]);
2119 if (profile_id)
2120 fprintf (f, " Profile id: %i\n",
2121 profile_id);
2122 if (unit_id)
2123 fprintf (f, " Unit id: %i\n",
2124 unit_id);
2125 cgraph_function_version_info *vi = function_version ();
2126 if (vi != NULL)
2128 fprintf (f, " Version info: ");
2129 if (vi->prev != NULL)
2131 fprintf (f, "prev: ");
2132 fprintf (f, "%s ", vi->prev->this_node->dump_asm_name ());
2134 if (vi->next != NULL)
2136 fprintf (f, "next: ");
2137 fprintf (f, "%s ", vi->next->this_node->dump_asm_name ());
2139 if (vi->dispatcher_resolver != NULL_TREE)
2140 fprintf (f, "dispatcher: %s",
2141 lang_hooks.decl_printable_name (vi->dispatcher_resolver, 2));
2143 fprintf (f, "\n");
2145 fprintf (f, " Function flags:");
2146 if (count.initialized_p ())
2148 fprintf (f, " count:");
2149 count.dump (f);
2151 if (tp_first_run > 0)
2152 fprintf (f, " first_run:%" PRId64, (int64_t) tp_first_run);
2153 if (cgraph_node *origin = nested_function_origin (this))
2154 fprintf (f, " nested in:%s", origin->dump_asm_name ());
2155 if (gimple_has_body_p (decl))
2156 fprintf (f, " body");
2157 if (process)
2158 fprintf (f, " process");
2159 if (local)
2160 fprintf (f, " local");
2161 if (redefined_extern_inline)
2162 fprintf (f, " redefined_extern_inline");
2163 if (only_called_at_startup)
2164 fprintf (f, " only_called_at_startup");
2165 if (only_called_at_exit)
2166 fprintf (f, " only_called_at_exit");
2167 if (tm_clone)
2168 fprintf (f, " tm_clone");
2169 if (calls_comdat_local)
2170 fprintf (f, " calls_comdat_local");
2171 if (icf_merged)
2172 fprintf (f, " icf_merged");
2173 if (merged_comdat)
2174 fprintf (f, " merged_comdat");
2175 if (merged_extern_inline)
2176 fprintf (f, " merged_extern_inline");
2177 if (split_part)
2178 fprintf (f, " split_part");
2179 if (indirect_call_target)
2180 fprintf (f, " indirect_call_target");
2181 if (nonfreeing_fn)
2182 fprintf (f, " nonfreeing_fn");
2183 if (DECL_STATIC_CONSTRUCTOR (decl))
2184 fprintf (f," static_constructor (priority:%i)", get_init_priority ());
2185 if (DECL_STATIC_DESTRUCTOR (decl))
2186 fprintf (f," static_destructor (priority:%i)", get_fini_priority ());
2187 if (frequency == NODE_FREQUENCY_HOT)
2188 fprintf (f, " hot");
2189 if (frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED)
2190 fprintf (f, " unlikely_executed");
2191 if (frequency == NODE_FREQUENCY_EXECUTED_ONCE)
2192 fprintf (f, " executed_once");
2193 if (opt_for_fn (decl, optimize_size))
2194 fprintf (f, " optimize_size");
2195 if (parallelized_function)
2196 fprintf (f, " parallelized_function");
2197 if (DECL_IS_MALLOC (decl))
2198 fprintf (f, " decl_is_malloc");
2199 if (DECL_IS_OPERATOR_NEW_P (decl))
2200 fprintf (f, " %soperator_new",
2201 DECL_IS_REPLACEABLE_OPERATOR (decl) ? "replaceable_" : "");
2202 if (DECL_IS_OPERATOR_DELETE_P (decl))
2203 fprintf (f, " %soperator_delete",
2204 DECL_IS_REPLACEABLE_OPERATOR (decl) ? "replaceable_" : "");
2206 fprintf (f, "\n");
2208 if (thunk)
2210 fprintf (f, " Thunk");
2211 thunk_info::get (this)->dump (f);
2213 else if (former_thunk_p ())
2215 fprintf (f, " Former thunk ");
2216 thunk_info::get (this)->dump (f);
2218 else gcc_checking_assert (!thunk_info::get (this));
2220 fprintf (f, " Called by: ");
2222 profile_count sum = profile_count::zero ();
2223 for (edge = callers; edge; edge = edge->next_caller)
2225 fprintf (f, "%s ", edge->caller->dump_asm_name ());
2226 edge->dump_edge_flags (f);
2227 if (edge->count.initialized_p ())
2228 sum += edge->count.ipa ();
2231 fprintf (f, "\n Calls: ");
2232 for (edge = callees; edge; edge = edge->next_callee)
2234 fprintf (f, "%s ", edge->callee->dump_asm_name ());
2235 edge->dump_edge_flags (f);
2237 fprintf (f, "\n");
2239 if (!body_removed && count.ipa ().initialized_p ())
2241 bool ok = true;
2242 bool min = false;
2243 ipa_ref *ref;
2245 FOR_EACH_ALIAS (this, ref)
2246 if (dyn_cast <cgraph_node *> (ref->referring)->count.initialized_p ())
2247 sum += dyn_cast <cgraph_node *> (ref->referring)->count.ipa ();
2249 if (inlined_to
2250 || (symtab->state < EXPANSION
2251 && ultimate_alias_target () == this && only_called_directly_p ()))
2252 ok = !count.ipa ().differs_from_p (sum);
2253 else if (count.ipa () > profile_count::from_gcov_type (100)
2254 && count.ipa () < sum.apply_scale (99, 100))
2255 ok = false, min = true;
2256 if (!ok)
2258 fprintf (f, " Invalid sum of caller counts ");
2259 sum.dump (f);
2260 if (min)
2261 fprintf (f, ", should be at most ");
2262 else
2263 fprintf (f, ", should be ");
2264 count.ipa ().dump (f);
2265 fprintf (f, "\n");
2269 for (edge = indirect_calls; edge; edge = edge->next_callee)
2271 if (edge->indirect_info->polymorphic)
2273 fprintf (f, " Polymorphic indirect call of type ");
2274 print_generic_expr (f, edge->indirect_info->otr_type, TDF_SLIM);
2275 fprintf (f, " token:%i", (int) edge->indirect_info->otr_token);
2277 else
2278 fprintf (f, " Indirect call");
2279 edge->dump_edge_flags (f);
2280 if (edge->indirect_info->param_index != -1)
2282 fprintf (f, "of param:%i ", edge->indirect_info->param_index);
2283 if (edge->indirect_info->agg_contents)
2284 fprintf (f, "loaded from %s %s at offset %i ",
2285 edge->indirect_info->member_ptr ? "member ptr" : "aggregate",
2286 edge->indirect_info->by_ref ? "passed by reference":"",
2287 (int)edge->indirect_info->offset);
2288 if (edge->indirect_info->vptr_changed)
2289 fprintf (f, "(vptr maybe changed) ");
2291 fprintf (f, "num speculative call targets: %i\n",
2292 edge->indirect_info->num_speculative_call_targets);
2293 if (edge->indirect_info->polymorphic)
2294 edge->indirect_info->context.dump (f);
2298 /* Dump call graph node to file F in graphviz format. */
2300 void
2301 cgraph_node::dump_graphviz (FILE *f)
2303 cgraph_edge *edge;
2305 for (edge = callees; edge; edge = edge->next_callee)
2307 cgraph_node *callee = edge->callee;
2309 fprintf (f, "\t\"%s\" -> \"%s\"\n", dump_name (), callee->dump_name ());
2314 /* Dump call graph node NODE to stderr. */
2316 DEBUG_FUNCTION void
2317 cgraph_node::debug (void)
2319 dump (stderr);
2322 /* Dump the callgraph to file F. */
2324 void
2325 cgraph_node::dump_cgraph (FILE *f)
2327 cgraph_node *node;
2329 fprintf (f, "callgraph:\n\n");
2330 FOR_EACH_FUNCTION (node)
2331 node->dump (f);
2334 /* Return true when the DECL can possibly be inlined. */
2336 bool
2337 cgraph_function_possibly_inlined_p (tree decl)
2339 if (!symtab->global_info_ready)
2340 return !DECL_UNINLINABLE (decl);
2341 return DECL_POSSIBLY_INLINED (decl);
2344 /* Return function availability. See cgraph.h for description of individual
2345 return values. */
2346 enum availability
2347 cgraph_node::get_availability (symtab_node *ref)
2349 if (ref)
2351 cgraph_node *cref = dyn_cast <cgraph_node *> (ref);
2352 if (cref)
2353 ref = cref->inlined_to;
2355 enum availability avail;
2356 if (!analyzed && !in_other_partition)
2357 avail = AVAIL_NOT_AVAILABLE;
2358 else if (local)
2359 avail = AVAIL_LOCAL;
2360 else if (inlined_to)
2361 avail = AVAIL_AVAILABLE;
2362 else if (transparent_alias)
2363 ultimate_alias_target (&avail, ref);
2364 else if (ifunc_resolver
2365 || lookup_attribute ("noipa", DECL_ATTRIBUTES (decl)))
2366 avail = AVAIL_INTERPOSABLE;
2367 else if (!externally_visible)
2368 avail = AVAIL_AVAILABLE;
2369 /* If this is a reference from symbol itself and there are no aliases, we
2370 may be sure that the symbol was not interposed by something else because
2371 the symbol itself would be unreachable otherwise.
2373 Also comdat groups are always resolved in groups. */
2374 else if ((this == ref && !has_aliases_p ())
2375 || (ref && get_comdat_group ()
2376 && get_comdat_group () == ref->get_comdat_group ()))
2377 avail = AVAIL_AVAILABLE;
2378 /* Inline functions are safe to be analyzed even if their symbol can
2379 be overwritten at runtime. It is not meaningful to enforce any sane
2380 behavior on replacing inline function by different body. */
2381 else if (DECL_DECLARED_INLINE_P (decl))
2382 avail = AVAIL_AVAILABLE;
2384 /* If the function can be overwritten, return OVERWRITABLE. Take
2385 care at least of two notable extensions - the COMDAT functions
2386 used to share template instantiations in C++ (this is symmetric
2387 to code cp_cannot_inline_tree_fn and probably shall be shared and
2388 the inlinability hooks completely eliminated). */
2390 else if (decl_replaceable_p (decl) && !DECL_EXTERNAL (decl))
2391 avail = AVAIL_INTERPOSABLE;
2392 else avail = AVAIL_AVAILABLE;
2394 return avail;
2397 /* Worker for cgraph_node_can_be_local_p. */
2398 static bool
2399 cgraph_node_cannot_be_local_p_1 (cgraph_node *node, void *)
2401 return !(!node->force_output
2402 && !node->ifunc_resolver
2403 /* Limitation of gas requires us to output targets of symver aliases
2404 as global symbols. This is binutils PR 25295. */
2405 && !node->symver
2406 && ((DECL_COMDAT (node->decl)
2407 && !node->forced_by_abi
2408 && !node->used_from_object_file_p ()
2409 && !node->same_comdat_group)
2410 || !node->externally_visible));
2413 /* Return true if cgraph_node can be made local for API change.
2414 Extern inline functions and C++ COMDAT functions can be made local
2415 at the expense of possible code size growth if function is used in multiple
2416 compilation units. */
2417 bool
2418 cgraph_node::can_be_local_p (void)
2420 return (!address_taken
2421 && !call_for_symbol_thunks_and_aliases (cgraph_node_cannot_be_local_p_1,
2422 NULL, true));
2425 /* Call callback on cgraph_node, thunks and aliases associated to cgraph_node.
2426 When INCLUDE_OVERWRITABLE is false, overwritable symbols are
2427 skipped. When EXCLUDE_VIRTUAL_THUNKS is true, virtual thunks are
2428 skipped. */
2429 bool
2430 cgraph_node::call_for_symbol_thunks_and_aliases (bool (*callback)
2431 (cgraph_node *, void *),
2432 void *data,
2433 bool include_overwritable,
2434 bool exclude_virtual_thunks)
2436 cgraph_edge *e;
2437 ipa_ref *ref;
2438 enum availability avail = AVAIL_AVAILABLE;
2440 if (include_overwritable
2441 || (avail = get_availability ()) > AVAIL_INTERPOSABLE)
2443 if (callback (this, data))
2444 return true;
2446 FOR_EACH_ALIAS (this, ref)
2448 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2449 if (include_overwritable
2450 || alias->get_availability () > AVAIL_INTERPOSABLE)
2451 if (alias->call_for_symbol_thunks_and_aliases (callback, data,
2452 include_overwritable,
2453 exclude_virtual_thunks))
2454 return true;
2456 if (avail <= AVAIL_INTERPOSABLE)
2457 return false;
2458 for (e = callers; e; e = e->next_caller)
2459 if (e->caller->thunk
2460 && (include_overwritable
2461 || e->caller->get_availability () > AVAIL_INTERPOSABLE)
2462 && !(exclude_virtual_thunks
2463 && thunk_info::get (e->caller)->virtual_offset_p))
2464 if (e->caller->call_for_symbol_thunks_and_aliases (callback, data,
2465 include_overwritable,
2466 exclude_virtual_thunks))
2467 return true;
2469 return false;
2472 /* Worker to bring NODE local. */
2474 bool
2475 cgraph_node::make_local (cgraph_node *node, void *)
2477 gcc_checking_assert (node->can_be_local_p ());
2478 if (DECL_COMDAT (node->decl) || DECL_EXTERNAL (node->decl))
2480 node->make_decl_local ();
2481 node->set_section (NULL);
2482 node->set_comdat_group (NULL);
2483 node->externally_visible = false;
2484 node->forced_by_abi = false;
2485 node->local = true;
2486 node->set_section (NULL);
2487 node->unique_name = ((node->resolution == LDPR_PREVAILING_DEF_IRONLY
2488 || node->resolution == LDPR_PREVAILING_DEF_IRONLY_EXP)
2489 && !flag_incremental_link);
2490 node->resolution = LDPR_PREVAILING_DEF_IRONLY;
2491 gcc_assert (node->get_availability () == AVAIL_LOCAL);
2493 return false;
2496 /* Bring cgraph node local. */
2498 void
2499 cgraph_node::make_local (void)
2501 call_for_symbol_thunks_and_aliases (cgraph_node::make_local, NULL, true);
2504 /* Worker to set nothrow flag. */
2506 static void
2507 set_nothrow_flag_1 (cgraph_node *node, bool nothrow, bool non_call,
2508 bool *changed)
2510 cgraph_edge *e;
2512 if (nothrow && !TREE_NOTHROW (node->decl))
2514 /* With non-call exceptions we can't say for sure if other function body
2515 was not possibly optimized to still throw. */
2516 if (!non_call || node->binds_to_current_def_p ())
2518 TREE_NOTHROW (node->decl) = true;
2519 *changed = true;
2520 for (e = node->callers; e; e = e->next_caller)
2521 e->can_throw_external = false;
2524 else if (!nothrow && TREE_NOTHROW (node->decl))
2526 TREE_NOTHROW (node->decl) = false;
2527 *changed = true;
2529 ipa_ref *ref;
2530 FOR_EACH_ALIAS (node, ref)
2532 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2533 if (!nothrow || alias->get_availability () > AVAIL_INTERPOSABLE)
2534 set_nothrow_flag_1 (alias, nothrow, non_call, changed);
2536 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2537 if (e->caller->thunk
2538 && (!nothrow || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2539 set_nothrow_flag_1 (e->caller, nothrow, non_call, changed);
2542 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
2543 if any to NOTHROW. */
2545 bool
2546 cgraph_node::set_nothrow_flag (bool nothrow)
2548 bool changed = false;
2549 bool non_call = opt_for_fn (decl, flag_non_call_exceptions);
2551 if (!nothrow || get_availability () > AVAIL_INTERPOSABLE)
2552 set_nothrow_flag_1 (this, nothrow, non_call, &changed);
2553 else
2555 ipa_ref *ref;
2557 FOR_EACH_ALIAS (this, ref)
2559 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2560 if (!nothrow || alias->get_availability () > AVAIL_INTERPOSABLE)
2561 set_nothrow_flag_1 (alias, nothrow, non_call, &changed);
2564 return changed;
2567 /* Worker to set malloc flag. */
2568 static void
2569 set_malloc_flag_1 (cgraph_node *node, bool malloc_p, bool *changed)
2571 if (malloc_p && !DECL_IS_MALLOC (node->decl))
2573 DECL_IS_MALLOC (node->decl) = true;
2574 *changed = true;
2577 ipa_ref *ref;
2578 FOR_EACH_ALIAS (node, ref)
2580 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2581 if (!malloc_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2582 set_malloc_flag_1 (alias, malloc_p, changed);
2585 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2586 if (e->caller->thunk
2587 && (!malloc_p || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2588 set_malloc_flag_1 (e->caller, malloc_p, changed);
2591 /* Set DECL_IS_MALLOC on NODE's decl and on NODE's aliases if any. */
2593 bool
2594 cgraph_node::set_malloc_flag (bool malloc_p)
2596 bool changed = false;
2598 if (!malloc_p || get_availability () > AVAIL_INTERPOSABLE)
2599 set_malloc_flag_1 (this, malloc_p, &changed);
2600 else
2602 ipa_ref *ref;
2604 FOR_EACH_ALIAS (this, ref)
2606 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2607 if (!malloc_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2608 set_malloc_flag_1 (alias, malloc_p, &changed);
2611 return changed;
2614 /* Worker to set_const_flag. */
2616 static void
2617 set_const_flag_1 (cgraph_node *node, bool set_const, bool looping,
2618 bool *changed)
2620 /* Static constructors and destructors without a side effect can be
2621 optimized out. */
2622 if (set_const && !looping)
2624 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2626 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2627 *changed = true;
2629 if (DECL_STATIC_DESTRUCTOR (node->decl))
2631 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2632 *changed = true;
2635 if (!set_const)
2637 if (TREE_READONLY (node->decl))
2639 TREE_READONLY (node->decl) = 0;
2640 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2641 *changed = true;
2644 else
2646 /* Consider function:
2648 bool a(int *p)
2650 return *p==*p;
2653 During early optimization we will turn this into:
2655 bool a(int *p)
2657 return true;
2660 Now if this function will be detected as CONST however when interposed
2661 it may end up being just pure. We always must assume the worst
2662 scenario here. */
2663 if (TREE_READONLY (node->decl))
2665 if (!looping && DECL_LOOPING_CONST_OR_PURE_P (node->decl))
2667 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2668 *changed = true;
2671 else if (node->binds_to_current_def_p ())
2673 TREE_READONLY (node->decl) = true;
2674 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = looping;
2675 DECL_PURE_P (node->decl) = false;
2676 *changed = true;
2678 else
2680 if (dump_file && (dump_flags & TDF_DETAILS))
2681 fprintf (dump_file, "Dropping state to PURE because function does "
2682 "not bind to current def.\n");
2683 if (!DECL_PURE_P (node->decl))
2685 DECL_PURE_P (node->decl) = true;
2686 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = looping;
2687 *changed = true;
2689 else if (!looping && DECL_LOOPING_CONST_OR_PURE_P (node->decl))
2691 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2692 *changed = true;
2697 ipa_ref *ref;
2698 FOR_EACH_ALIAS (node, ref)
2700 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2701 if (!set_const || alias->get_availability () > AVAIL_INTERPOSABLE)
2702 set_const_flag_1 (alias, set_const, looping, changed);
2704 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2705 if (e->caller->thunk
2706 && (!set_const || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2708 /* Virtual thunks access virtual offset in the vtable, so they can
2709 only be pure, never const. */
2710 if (set_const
2711 && (thunk_info::get (e->caller)->virtual_offset_p
2712 || !node->binds_to_current_def_p (e->caller)))
2713 *changed |= e->caller->set_pure_flag (true, looping);
2714 else
2715 set_const_flag_1 (e->caller, set_const, looping, changed);
2719 /* If SET_CONST is true, mark function, aliases and thunks to be ECF_CONST.
2720 If SET_CONST if false, clear the flag.
2722 When setting the flag be careful about possible interposition and
2723 do not set the flag for functions that can be interposed and set pure
2724 flag for functions that can bind to other definition.
2726 Return true if any change was done. */
2728 bool
2729 cgraph_node::set_const_flag (bool set_const, bool looping)
2731 bool changed = false;
2732 if (!set_const || get_availability () > AVAIL_INTERPOSABLE)
2733 set_const_flag_1 (this, set_const, looping, &changed);
2734 else
2736 ipa_ref *ref;
2738 FOR_EACH_ALIAS (this, ref)
2740 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2741 if (!set_const || alias->get_availability () > AVAIL_INTERPOSABLE)
2742 set_const_flag_1 (alias, set_const, looping, &changed);
2745 return changed;
2748 /* Info used by set_pure_flag_1. */
2750 struct set_pure_flag_info
2752 bool pure;
2753 bool looping;
2754 bool changed;
2757 /* Worker to set_pure_flag. */
2759 static bool
2760 set_pure_flag_1 (cgraph_node *node, void *data)
2762 struct set_pure_flag_info *info = (struct set_pure_flag_info *)data;
2763 /* Static constructors and destructors without a side effect can be
2764 optimized out. */
2765 if (info->pure && !info->looping)
2767 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2769 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2770 info->changed = true;
2772 if (DECL_STATIC_DESTRUCTOR (node->decl))
2774 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2775 info->changed = true;
2778 if (info->pure)
2780 if (!DECL_PURE_P (node->decl) && !TREE_READONLY (node->decl))
2782 DECL_PURE_P (node->decl) = true;
2783 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = info->looping;
2784 info->changed = true;
2786 else if (DECL_LOOPING_CONST_OR_PURE_P (node->decl)
2787 && !info->looping)
2789 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2790 info->changed = true;
2793 else
2795 if (DECL_PURE_P (node->decl))
2797 DECL_PURE_P (node->decl) = false;
2798 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
2799 info->changed = true;
2802 return false;
2805 /* Set DECL_PURE_P on cgraph_node's decl and on aliases of the node
2806 if any to PURE.
2808 When setting the flag, be careful about possible interposition.
2809 Return true if any change was done. */
2811 bool
2812 cgraph_node::set_pure_flag (bool pure, bool looping)
2814 struct set_pure_flag_info info = {pure, looping, false};
2815 call_for_symbol_thunks_and_aliases (set_pure_flag_1, &info, !pure, true);
2816 return info.changed;
2819 /* Return true when cgraph_node cannot return or throw and thus
2820 it is safe to ignore its side effects for IPA analysis. */
2822 bool
2823 cgraph_node::cannot_return_p (void)
2825 int flags = flags_from_decl_or_type (decl);
2826 if (!opt_for_fn (decl, flag_exceptions))
2827 return (flags & ECF_NORETURN) != 0;
2828 else
2829 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2830 == (ECF_NORETURN | ECF_NOTHROW));
2833 /* Return true when call of edge cannot lead to return from caller
2834 and thus it is safe to ignore its side effects for IPA analysis
2835 when computing side effects of the caller.
2836 FIXME: We could actually mark all edges that have no reaching
2837 patch to the exit block or throw to get better results. */
2838 bool
2839 cgraph_edge::cannot_lead_to_return_p (void)
2841 if (caller->cannot_return_p ())
2842 return true;
2843 if (indirect_unknown_callee)
2845 int flags = indirect_info->ecf_flags;
2846 if (!opt_for_fn (caller->decl, flag_exceptions))
2847 return (flags & ECF_NORETURN) != 0;
2848 else
2849 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2850 == (ECF_NORETURN | ECF_NOTHROW));
2852 else
2853 return callee->cannot_return_p ();
2856 /* Return true if the edge may be considered hot. */
2858 bool
2859 cgraph_edge::maybe_hot_p (void)
2861 if (!maybe_hot_count_p (NULL, count.ipa ()))
2862 return false;
2863 if (caller->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED
2864 || (callee
2865 && callee->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED))
2866 return false;
2867 if (caller->frequency > NODE_FREQUENCY_UNLIKELY_EXECUTED
2868 && (callee
2869 && callee->frequency <= NODE_FREQUENCY_EXECUTED_ONCE))
2870 return false;
2871 if (opt_for_fn (caller->decl, optimize_size))
2872 return false;
2873 if (caller->frequency == NODE_FREQUENCY_HOT)
2874 return true;
2875 if (!count.initialized_p ())
2876 return true;
2877 cgraph_node *where = caller->inlined_to ? caller->inlined_to : caller;
2878 if (!where->count.initialized_p ())
2879 return false;
2880 if (caller->frequency == NODE_FREQUENCY_EXECUTED_ONCE)
2882 if (count.apply_scale (2, 1) < where->count.apply_scale (3, 1))
2883 return false;
2885 else if (count.apply_scale (param_hot_bb_frequency_fraction , 1)
2886 < where->count)
2887 return false;
2888 return true;
2891 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2893 static bool
2894 nonremovable_p (cgraph_node *node, void *)
2896 return !node->can_remove_if_no_direct_calls_and_refs_p ();
2899 /* Return true if whole comdat group can be removed if there are no direct
2900 calls to THIS. */
2902 bool
2903 cgraph_node::can_remove_if_no_direct_calls_p (bool will_inline)
2905 struct ipa_ref *ref;
2907 /* For local symbols or non-comdat group it is the same as
2908 can_remove_if_no_direct_calls_p. */
2909 if (!externally_visible || !same_comdat_group)
2911 if (DECL_EXTERNAL (decl))
2912 return true;
2913 if (address_taken)
2914 return false;
2915 return !call_for_symbol_and_aliases (nonremovable_p, NULL, true);
2918 if (will_inline && address_taken)
2919 return false;
2921 /* Otherwise check if we can remove the symbol itself and then verify
2922 that only uses of the comdat groups are direct call to THIS
2923 or its aliases. */
2924 if (!can_remove_if_no_direct_calls_and_refs_p ())
2925 return false;
2927 /* Check that all refs come from within the comdat group. */
2928 for (int i = 0; iterate_referring (i, ref); i++)
2929 if (ref->referring->get_comdat_group () != get_comdat_group ())
2930 return false;
2932 struct cgraph_node *target = ultimate_alias_target ();
2933 for (cgraph_node *next = dyn_cast<cgraph_node *> (same_comdat_group);
2934 next != this; next = dyn_cast<cgraph_node *> (next->same_comdat_group))
2936 if (!externally_visible)
2937 continue;
2938 if (!next->alias
2939 && !next->can_remove_if_no_direct_calls_and_refs_p ())
2940 return false;
2942 /* If we see different symbol than THIS, be sure to check calls. */
2943 if (next->ultimate_alias_target () != target)
2944 for (cgraph_edge *e = next->callers; e; e = e->next_caller)
2945 if (e->caller->get_comdat_group () != get_comdat_group ()
2946 || will_inline)
2947 return false;
2949 /* If function is not being inlined, we care only about
2950 references outside of the comdat group. */
2951 if (!will_inline)
2952 for (int i = 0; next->iterate_referring (i, ref); i++)
2953 if (ref->referring->get_comdat_group () != get_comdat_group ())
2954 return false;
2956 return true;
2959 /* Return true when function cgraph_node can be expected to be removed
2960 from program when direct calls in this compilation unit are removed.
2962 As a special case COMDAT functions are
2963 cgraph_can_remove_if_no_direct_calls_p while the are not
2964 cgraph_only_called_directly_p (it is possible they are called from other
2965 unit)
2967 This function behaves as cgraph_only_called_directly_p because eliminating
2968 all uses of COMDAT function does not make it necessarily disappear from
2969 the program unless we are compiling whole program or we do LTO. In this
2970 case we know we win since dynamic linking will not really discard the
2971 linkonce section. */
2973 bool
2974 cgraph_node::will_be_removed_from_program_if_no_direct_calls_p
2975 (bool will_inline)
2977 gcc_assert (!inlined_to);
2978 if (DECL_EXTERNAL (decl))
2979 return true;
2981 if (!in_lto_p && !flag_whole_program)
2983 /* If the symbol is in comdat group, we need to verify that whole comdat
2984 group becomes unreachable. Technically we could skip references from
2985 within the group, too. */
2986 if (!only_called_directly_p ())
2987 return false;
2988 if (same_comdat_group && externally_visible)
2990 struct cgraph_node *target = ultimate_alias_target ();
2992 if (will_inline && address_taken)
2993 return true;
2994 for (cgraph_node *next = dyn_cast<cgraph_node *> (same_comdat_group);
2995 next != this;
2996 next = dyn_cast<cgraph_node *> (next->same_comdat_group))
2998 if (!externally_visible)
2999 continue;
3000 if (!next->alias
3001 && !next->only_called_directly_p ())
3002 return false;
3004 /* If we see different symbol than THIS,
3005 be sure to check calls. */
3006 if (next->ultimate_alias_target () != target)
3007 for (cgraph_edge *e = next->callers; e; e = e->next_caller)
3008 if (e->caller->get_comdat_group () != get_comdat_group ()
3009 || will_inline)
3010 return false;
3013 return true;
3015 else
3016 return can_remove_if_no_direct_calls_p (will_inline);
3020 /* Worker for cgraph_only_called_directly_p. */
3022 static bool
3023 cgraph_not_only_called_directly_p_1 (cgraph_node *node, void *)
3025 return !node->only_called_directly_or_aliased_p ();
3028 /* Return true when function cgraph_node and all its aliases are only called
3029 directly.
3030 i.e. it is not externally visible, address was not taken and
3031 it is not used in any other non-standard way. */
3033 bool
3034 cgraph_node::only_called_directly_p (void)
3036 gcc_assert (ultimate_alias_target () == this);
3037 return !call_for_symbol_and_aliases (cgraph_not_only_called_directly_p_1,
3038 NULL, true);
3042 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
3044 static bool
3045 collect_callers_of_node_1 (cgraph_node *node, void *data)
3047 vec<cgraph_edge *> *redirect_callers = (vec<cgraph_edge *> *)data;
3048 cgraph_edge *cs;
3049 enum availability avail;
3050 node->ultimate_alias_target (&avail);
3052 if (avail > AVAIL_INTERPOSABLE)
3053 for (cs = node->callers; cs != NULL; cs = cs->next_caller)
3054 if (!cs->indirect_inlining_edge
3055 && !cs->caller->thunk)
3056 redirect_callers->safe_push (cs);
3057 return false;
3060 /* Collect all callers of cgraph_node and its aliases that are known to lead to
3061 cgraph_node (i.e. are not overwritable). */
3063 auto_vec<cgraph_edge *>
3064 cgraph_node::collect_callers (void)
3066 auto_vec<cgraph_edge *> redirect_callers;
3067 call_for_symbol_thunks_and_aliases (collect_callers_of_node_1,
3068 &redirect_callers, false);
3069 return redirect_callers;
3073 /* Return TRUE if NODE2 a clone of NODE or is equivalent to it. Return
3074 optimistically true if this cannot be determined. */
3076 static bool
3077 clone_of_p (cgraph_node *node, cgraph_node *node2)
3079 node = node->ultimate_alias_target ();
3080 node2 = node2->ultimate_alias_target ();
3082 if (node2->clone_of == node
3083 || node2->former_clone_of == node->decl)
3084 return true;
3086 if (!node->thunk && !node->former_thunk_p ())
3088 while (node2
3089 && node->decl != node2->decl
3090 && node->decl != node2->former_clone_of)
3091 node2 = node2->clone_of;
3092 return node2 != NULL;
3095 /* There are no virtual clones of thunks so check former_clone_of or if we
3096 might have skipped thunks because this adjustments are no longer
3097 necessary. */
3098 while (node->thunk || node->former_thunk_p ())
3100 if (!thunk_info::get (node)->this_adjusting)
3101 return false;
3102 /* In case of instrumented expanded thunks, which can have multiple calls
3103 in them, we do not know how to continue and just have to be
3104 optimistic. The same applies if all calls have already been inlined
3105 into the thunk. */
3106 if (!node->callees || node->callees->next_callee)
3107 return true;
3108 node = node->callees->callee->ultimate_alias_target ();
3110 clone_info *info = clone_info::get (node2);
3111 if (!info || !info->param_adjustments
3112 || info->param_adjustments->first_param_intact_p ())
3113 return false;
3114 if (node2->former_clone_of == node->decl
3115 || node2->former_clone_of == node->former_clone_of)
3116 return true;
3118 cgraph_node *n2 = node2;
3119 while (n2 && node->decl != n2->decl)
3120 n2 = n2->clone_of;
3121 if (n2)
3122 return true;
3125 return false;
3128 /* Verify edge count and frequency. */
3130 bool
3131 cgraph_edge::verify_count ()
3133 bool error_found = false;
3134 if (!count.verify ())
3136 error ("caller edge count invalid");
3137 error_found = true;
3139 return error_found;
3142 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
3143 static void
3144 cgraph_debug_gimple_stmt (function *this_cfun, gimple *stmt)
3146 bool fndecl_was_null = false;
3147 /* debug_gimple_stmt needs correct cfun */
3148 if (cfun != this_cfun)
3149 set_cfun (this_cfun);
3150 /* ...and an actual current_function_decl */
3151 if (!current_function_decl)
3153 current_function_decl = this_cfun->decl;
3154 fndecl_was_null = true;
3156 debug_gimple_stmt (stmt);
3157 if (fndecl_was_null)
3158 current_function_decl = NULL;
3161 /* Verify that call graph edge corresponds to DECL from the associated
3162 statement. Return true if the verification should fail. */
3164 bool
3165 cgraph_edge::verify_corresponds_to_fndecl (tree decl)
3167 cgraph_node *node;
3169 if (!decl || callee->inlined_to)
3170 return false;
3171 if (symtab->state == LTO_STREAMING)
3172 return false;
3173 node = cgraph_node::get (decl);
3175 /* We do not know if a node from a different partition is an alias or what it
3176 aliases and therefore cannot do the former_clone_of check reliably. When
3177 body_removed is set, we have lost all information about what was alias or
3178 thunk of and also cannot proceed. */
3179 if (!node
3180 || node->body_removed
3181 || node->in_other_partition
3182 || callee->icf_merged
3183 || callee->in_other_partition)
3184 return false;
3186 node = node->ultimate_alias_target ();
3188 /* Optimizers can redirect unreachable calls or calls triggering undefined
3189 behavior to builtin_unreachable. */
3191 if (fndecl_built_in_p (callee->decl, BUILT_IN_UNREACHABLE))
3192 return false;
3194 if (callee->former_clone_of != node->decl
3195 && (node != callee->ultimate_alias_target ())
3196 && !clone_of_p (node, callee))
3197 return true;
3198 else
3199 return false;
3202 /* Disable warnings about missing quoting in GCC diagnostics for
3203 the verification errors. Their format strings don't follow GCC
3204 diagnostic conventions and the calls are ultimately followed by
3205 one to internal_error. */
3206 #if __GNUC__ >= 10
3207 # pragma GCC diagnostic push
3208 # pragma GCC diagnostic ignored "-Wformat-diag"
3209 #endif
3211 /* Verify consistency of speculative call in NODE corresponding to STMT
3212 and LTO_STMT_UID. If INDIRECT is set, assume that it is the indirect
3213 edge of call sequence. Return true if error is found.
3215 This function is called to every component of indirect call (direct edges,
3216 indirect edge and refs). To save duplicated work, do full testing only
3217 in that case. */
3218 static bool
3219 verify_speculative_call (struct cgraph_node *node, gimple *stmt,
3220 unsigned int lto_stmt_uid,
3221 struct cgraph_edge *indirect)
3223 if (indirect == NULL)
3225 for (indirect = node->indirect_calls; indirect;
3226 indirect = indirect->next_callee)
3227 if (indirect->call_stmt == stmt
3228 && indirect->lto_stmt_uid == lto_stmt_uid)
3229 break;
3230 if (!indirect)
3232 error ("missing indirect call in speculative call sequence");
3233 return true;
3235 if (!indirect->speculative)
3237 error ("indirect call in speculative call sequence has no "
3238 "speculative flag");
3239 return true;
3241 return false;
3244 /* Maximal number of targets. We probably will never want to have more than
3245 this. */
3246 const unsigned int num = 256;
3247 cgraph_edge *direct_calls[num];
3248 ipa_ref *refs[num];
3250 for (unsigned int i = 0; i < num; i++)
3252 direct_calls[i] = NULL;
3253 refs[i] = NULL;
3256 cgraph_edge *first_call = NULL;
3257 cgraph_edge *prev_call = NULL;
3259 for (cgraph_edge *direct = node->callees; direct;
3260 direct = direct->next_callee)
3261 if (direct->call_stmt == stmt && direct->lto_stmt_uid == lto_stmt_uid)
3263 if (!first_call)
3264 first_call = direct;
3265 if (prev_call && direct != prev_call->next_callee)
3267 error ("speculative edges are not adjacent");
3268 return true;
3270 prev_call = direct;
3271 if (!direct->speculative)
3273 error ("direct call to %s in speculative call sequence has no "
3274 "speculative flag", direct->callee->dump_name ());
3275 return true;
3277 if (direct->speculative_id >= num)
3279 error ("direct call to %s in speculative call sequence has "
3280 "speculative_id %i out of range",
3281 direct->callee->dump_name (), direct->speculative_id);
3282 return true;
3284 if (direct_calls[direct->speculative_id])
3286 error ("duplicate direct call to %s in speculative call sequence "
3287 "with speculative_id %i",
3288 direct->callee->dump_name (), direct->speculative_id);
3289 return true;
3291 direct_calls[direct->speculative_id] = direct;
3294 if (first_call->call_stmt
3295 && first_call != node->get_edge (first_call->call_stmt))
3297 error ("call stmt hash does not point to first direct edge of "
3298 "speculative call sequence");
3299 return true;
3302 ipa_ref *ref;
3303 for (int i = 0; node->iterate_reference (i, ref); i++)
3304 if (ref->speculative
3305 && ref->stmt == stmt && ref->lto_stmt_uid == lto_stmt_uid)
3307 if (ref->speculative_id >= num)
3309 error ("direct call to %s in speculative call sequence has "
3310 "speculative_id %i out of range",
3311 ref->referred->dump_name (), ref->speculative_id);
3312 return true;
3314 if (refs[ref->speculative_id])
3316 error ("duplicate reference %s in speculative call sequence "
3317 "with speculative_id %i",
3318 ref->referred->dump_name (), ref->speculative_id);
3319 return true;
3321 refs[ref->speculative_id] = ref;
3324 int num_targets = 0;
3325 for (unsigned int i = 0 ; i < num ; i++)
3327 if (refs[i] && !direct_calls[i])
3329 error ("missing direct call for speculation %i", i);
3330 return true;
3332 if (!refs[i] && direct_calls[i])
3334 error ("missing ref for speculation %i", i);
3335 return true;
3337 if (refs[i] != NULL)
3338 num_targets++;
3341 if (num_targets != indirect->num_speculative_call_targets_p ())
3343 error ("number of speculative targets %i mismatched with "
3344 "num_speculative_call_targets %i",
3345 num_targets,
3346 indirect->num_speculative_call_targets_p ());
3347 return true;
3349 return false;
3352 /* Verify cgraph nodes of given cgraph node. */
3353 DEBUG_FUNCTION void
3354 cgraph_node::verify_node (void)
3356 cgraph_edge *e;
3357 function *this_cfun = DECL_STRUCT_FUNCTION (decl);
3358 basic_block this_block;
3359 gimple_stmt_iterator gsi;
3360 bool error_found = false;
3361 int i;
3362 ipa_ref *ref = NULL;
3364 if (seen_error ())
3365 return;
3367 timevar_push (TV_CGRAPH_VERIFY);
3368 error_found |= verify_base ();
3369 for (e = callees; e; e = e->next_callee)
3370 if (e->aux)
3372 error ("aux field set for edge %s->%s",
3373 identifier_to_locale (e->caller->name ()),
3374 identifier_to_locale (e->callee->name ()));
3375 error_found = true;
3377 if (!count.verify ())
3379 error ("cgraph count invalid");
3380 error_found = true;
3382 if (inlined_to && same_comdat_group)
3384 error ("inline clone in same comdat group list");
3385 error_found = true;
3387 if (inlined_to && !count.compatible_p (inlined_to->count))
3389 error ("inline clone count is not compatible");
3390 count.debug ();
3391 inlined_to->count.debug ();
3392 error_found = true;
3394 if (tp_first_run < 0)
3396 error ("tp_first_run must be non-negative");
3397 error_found = true;
3399 if (!definition && !in_other_partition && local)
3401 error ("local symbols must be defined");
3402 error_found = true;
3404 if (inlined_to && externally_visible)
3406 error ("externally visible inline clone");
3407 error_found = true;
3409 if (inlined_to && address_taken)
3411 error ("inline clone with address taken");
3412 error_found = true;
3414 if (inlined_to && force_output)
3416 error ("inline clone is forced to output");
3417 error_found = true;
3419 if (symtab->state != LTO_STREAMING)
3421 if (calls_comdat_local && !same_comdat_group)
3423 error ("calls_comdat_local is set outside of a comdat group");
3424 error_found = true;
3426 if (!inlined_to && calls_comdat_local != check_calls_comdat_local_p ())
3428 error ("invalid calls_comdat_local flag");
3429 error_found = true;
3432 if (DECL_IS_MALLOC (decl)
3433 && !POINTER_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
3435 error ("malloc attribute should be used for a function that "
3436 "returns a pointer");
3437 error_found = true;
3439 for (e = indirect_calls; e; e = e->next_callee)
3441 if (e->aux)
3443 error ("aux field set for indirect edge from %s",
3444 identifier_to_locale (e->caller->name ()));
3445 error_found = true;
3447 if (!e->count.compatible_p (count))
3449 error ("edge count is not compatible with function count");
3450 e->count.debug ();
3451 count.debug ();
3452 error_found = true;
3454 if (!e->indirect_unknown_callee
3455 || !e->indirect_info)
3457 error ("An indirect edge from %s is not marked as indirect or has "
3458 "associated indirect_info, the corresponding statement is: ",
3459 identifier_to_locale (e->caller->name ()));
3460 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3461 error_found = true;
3463 if (e->call_stmt && e->lto_stmt_uid)
3465 error ("edge has both call_stmt and lto_stmt_uid set");
3466 error_found = true;
3469 bool check_comdat = comdat_local_p ();
3470 for (e = callers; e; e = e->next_caller)
3472 if (e->verify_count ())
3473 error_found = true;
3474 if (check_comdat
3475 && !in_same_comdat_group_p (e->caller))
3477 error ("comdat-local function called by %s outside its comdat",
3478 identifier_to_locale (e->caller->name ()));
3479 error_found = true;
3481 if (!e->inline_failed)
3483 if (inlined_to
3484 != (e->caller->inlined_to
3485 ? e->caller->inlined_to : e->caller))
3487 error ("inlined_to pointer is wrong");
3488 error_found = true;
3490 if (callers->next_caller)
3492 error ("multiple inline callers");
3493 error_found = true;
3496 else
3497 if (inlined_to)
3499 error ("inlined_to pointer set for noninline callers");
3500 error_found = true;
3503 for (e = callees; e; e = e->next_callee)
3505 if (e->verify_count ())
3506 error_found = true;
3507 if (!e->count.compatible_p (count))
3509 error ("edge count is not compatible with function count");
3510 e->count.debug ();
3511 count.debug ();
3512 error_found = true;
3514 if (gimple_has_body_p (e->caller->decl)
3515 && !e->caller->inlined_to
3516 && !e->speculative
3517 /* Optimized out calls are redirected to __builtin_unreachable. */
3518 && (e->count.nonzero_p ()
3519 || ! e->callee->decl
3520 || !fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE))
3521 && count
3522 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl))->count
3523 && (!e->count.ipa_p ()
3524 && e->count.differs_from_p (gimple_bb (e->call_stmt)->count)))
3526 error ("caller edge count does not match BB count");
3527 fprintf (stderr, "edge count: ");
3528 e->count.dump (stderr);
3529 fprintf (stderr, "\n bb count: ");
3530 gimple_bb (e->call_stmt)->count.dump (stderr);
3531 fprintf (stderr, "\n");
3532 error_found = true;
3534 if (e->call_stmt && e->lto_stmt_uid)
3536 error ("edge has both call_stmt and lto_stmt_uid set");
3537 error_found = true;
3539 if (e->speculative
3540 && verify_speculative_call (e->caller, e->call_stmt, e->lto_stmt_uid,
3541 NULL))
3542 error_found = true;
3544 for (e = indirect_calls; e; e = e->next_callee)
3546 if (e->verify_count ())
3547 error_found = true;
3548 if (gimple_has_body_p (e->caller->decl)
3549 && !e->caller->inlined_to
3550 && !e->speculative
3551 && e->count.ipa_p ()
3552 && count
3553 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl))->count
3554 && (!e->count.ipa_p ()
3555 && e->count.differs_from_p (gimple_bb (e->call_stmt)->count)))
3557 error ("indirect call count does not match BB count");
3558 fprintf (stderr, "edge count: ");
3559 e->count.dump (stderr);
3560 fprintf (stderr, "\n bb count: ");
3561 gimple_bb (e->call_stmt)->count.dump (stderr);
3562 fprintf (stderr, "\n");
3563 error_found = true;
3565 if (e->speculative
3566 && verify_speculative_call (e->caller, e->call_stmt, e->lto_stmt_uid,
3568 error_found = true;
3570 for (i = 0; iterate_reference (i, ref); i++)
3572 if (ref->stmt && ref->lto_stmt_uid)
3574 error ("reference has both stmt and lto_stmt_uid set");
3575 error_found = true;
3577 if (ref->speculative
3578 && verify_speculative_call (this, ref->stmt,
3579 ref->lto_stmt_uid, NULL))
3580 error_found = true;
3583 if (!callers && inlined_to)
3585 error ("inlined_to pointer is set but no predecessors found");
3586 error_found = true;
3588 if (inlined_to == this)
3590 error ("inlined_to pointer refers to itself");
3591 error_found = true;
3594 if (clone_of)
3596 cgraph_node *first_clone = clone_of->clones;
3597 if (first_clone != this)
3599 if (prev_sibling_clone->clone_of != clone_of)
3601 error ("cgraph_node has wrong clone_of");
3602 error_found = true;
3606 if (clones)
3608 cgraph_node *n;
3609 for (n = clones; n; n = n->next_sibling_clone)
3610 if (n->clone_of != this)
3611 break;
3612 if (n)
3614 error ("cgraph_node has wrong clone list");
3615 error_found = true;
3618 if ((prev_sibling_clone || next_sibling_clone) && !clone_of)
3620 error ("cgraph_node is in clone list but it is not clone");
3621 error_found = true;
3623 if (!prev_sibling_clone && clone_of && clone_of->clones != this)
3625 error ("cgraph_node has wrong prev_clone pointer");
3626 error_found = true;
3628 if (prev_sibling_clone && prev_sibling_clone->next_sibling_clone != this)
3630 error ("double linked list of clones corrupted");
3631 error_found = true;
3634 if (analyzed && alias)
3636 bool ref_found = false;
3637 int i;
3638 ipa_ref *ref = NULL;
3640 if (callees)
3642 error ("Alias has call edges");
3643 error_found = true;
3645 for (i = 0; iterate_reference (i, ref); i++)
3646 if (ref->use != IPA_REF_ALIAS)
3648 error ("Alias has non-alias reference");
3649 error_found = true;
3651 else if (ref_found)
3653 error ("Alias has more than one alias reference");
3654 error_found = true;
3656 else
3657 ref_found = true;
3658 if (!ref_found)
3660 error ("Analyzed alias has no reference");
3661 error_found = true;
3665 if (analyzed && thunk)
3667 if (!callees)
3669 error ("No edge out of thunk node");
3670 error_found = true;
3672 else if (callees->next_callee)
3674 error ("More than one edge out of thunk node");
3675 error_found = true;
3677 if (gimple_has_body_p (decl) && !inlined_to)
3679 error ("Thunk is not supposed to have body");
3680 error_found = true;
3683 else if (analyzed && gimple_has_body_p (decl)
3684 && !TREE_ASM_WRITTEN (decl)
3685 && (!DECL_EXTERNAL (decl) || inlined_to)
3686 && !flag_wpa)
3688 if (this_cfun->cfg)
3690 hash_set<gimple *> stmts;
3692 /* Reach the trees by walking over the CFG, and note the
3693 enclosing basic-blocks in the call edges. */
3694 FOR_EACH_BB_FN (this_block, this_cfun)
3696 for (gsi = gsi_start_phis (this_block);
3697 !gsi_end_p (gsi); gsi_next (&gsi))
3698 stmts.add (gsi_stmt (gsi));
3699 for (gsi = gsi_start_bb (this_block);
3700 !gsi_end_p (gsi);
3701 gsi_next (&gsi))
3703 gimple *stmt = gsi_stmt (gsi);
3704 stmts.add (stmt);
3705 if (is_gimple_call (stmt))
3707 cgraph_edge *e = get_edge (stmt);
3708 tree decl = gimple_call_fndecl (stmt);
3709 if (e)
3711 if (e->aux)
3713 error ("shared call_stmt:");
3714 cgraph_debug_gimple_stmt (this_cfun, stmt);
3715 error_found = true;
3717 if (!e->indirect_unknown_callee)
3719 if (e->verify_corresponds_to_fndecl (decl))
3721 error ("edge points to wrong declaration:");
3722 debug_tree (e->callee->decl);
3723 fprintf (stderr," Instead of:");
3724 debug_tree (decl);
3725 error_found = true;
3728 else if (decl)
3730 error ("an indirect edge with unknown callee "
3731 "corresponding to a call_stmt with "
3732 "a known declaration:");
3733 error_found = true;
3734 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3736 e->aux = (void *)1;
3738 else if (decl)
3740 error ("missing callgraph edge for call stmt:");
3741 cgraph_debug_gimple_stmt (this_cfun, stmt);
3742 error_found = true;
3747 for (i = 0; iterate_reference (i, ref); i++)
3748 if (ref->stmt && !stmts.contains (ref->stmt))
3750 error ("reference to dead statement");
3751 cgraph_debug_gimple_stmt (this_cfun, ref->stmt);
3752 error_found = true;
3755 else
3756 /* No CFG available?! */
3757 gcc_unreachable ();
3759 for (e = callees; e; e = e->next_callee)
3761 if (!e->aux && !e->speculative)
3763 error ("edge %s->%s has no corresponding call_stmt",
3764 identifier_to_locale (e->caller->name ()),
3765 identifier_to_locale (e->callee->name ()));
3766 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3767 error_found = true;
3769 e->aux = 0;
3771 for (e = indirect_calls; e; e = e->next_callee)
3773 if (!e->aux && !e->speculative)
3775 error ("an indirect edge from %s has no corresponding call_stmt",
3776 identifier_to_locale (e->caller->name ()));
3777 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3778 error_found = true;
3780 e->aux = 0;
3784 if (nested_function_info *info = nested_function_info::get (this))
3786 if (info->nested != NULL)
3788 for (cgraph_node *n = info->nested; n != NULL;
3789 n = next_nested_function (n))
3791 nested_function_info *ninfo = nested_function_info::get (n);
3792 if (ninfo->origin == NULL)
3794 error ("missing origin for a node in a nested list");
3795 error_found = true;
3797 else if (ninfo->origin != this)
3799 error ("origin points to a different parent");
3800 error_found = true;
3801 break;
3805 if (info->next_nested != NULL && info->origin == NULL)
3807 error ("missing origin for a node in a nested list");
3808 error_found = true;
3812 if (error_found)
3814 dump (stderr);
3815 internal_error ("verify_cgraph_node failed");
3817 timevar_pop (TV_CGRAPH_VERIFY);
3820 /* Verify whole cgraph structure. */
3821 DEBUG_FUNCTION void
3822 cgraph_node::verify_cgraph_nodes (void)
3824 cgraph_node *node;
3826 if (seen_error ())
3827 return;
3829 FOR_EACH_FUNCTION (node)
3830 node->verify ();
3833 #if __GNUC__ >= 10
3834 # pragma GCC diagnostic pop
3835 #endif
3837 /* Walk the alias chain to return the function cgraph_node is alias of.
3838 Walk through thunks, too.
3839 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3840 When REF is non-NULL, assume that reference happens in symbol REF
3841 when determining the availability. */
3843 cgraph_node *
3844 cgraph_node::function_symbol (enum availability *availability,
3845 struct symtab_node *ref)
3847 cgraph_node *node = ultimate_alias_target (availability, ref);
3849 while (node->thunk)
3851 enum availability a;
3853 ref = node;
3854 node = node->callees->callee;
3855 node = node->ultimate_alias_target (availability ? &a : NULL, ref);
3856 if (availability && a < *availability)
3857 *availability = a;
3859 return node;
3862 /* Walk the alias chain to return the function cgraph_node is alias of.
3863 Walk through non virtual thunks, too. Thus we return either a function
3864 or a virtual thunk node.
3865 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3866 When REF is non-NULL, assume that reference happens in symbol REF
3867 when determining the availability. */
3869 cgraph_node *
3870 cgraph_node::function_or_virtual_thunk_symbol
3871 (enum availability *availability,
3872 struct symtab_node *ref)
3874 cgraph_node *node = ultimate_alias_target (availability, ref);
3876 while (node->thunk && !thunk_info::get (node)->virtual_offset_p)
3878 enum availability a;
3880 ref = node;
3881 node = node->callees->callee;
3882 node = node->ultimate_alias_target (availability ? &a : NULL, ref);
3883 if (availability && a < *availability)
3884 *availability = a;
3886 return node;
3889 /* When doing LTO, read cgraph_node's body from disk if it is not already
3890 present. Also perform any necessary clone materializations. */
3892 bool
3893 cgraph_node::get_untransformed_body ()
3895 lto_file_decl_data *file_data;
3896 const char *data, *name;
3897 size_t len;
3898 tree decl = this->decl;
3900 /* See if there is clone to be materialized.
3901 (inline clones does not need materialization, but we can be seeing
3902 an inline clone of real clone). */
3903 cgraph_node *p = this;
3904 for (cgraph_node *c = clone_of; c; c = c->clone_of)
3906 if (c->decl != decl)
3907 p->materialize_clone ();
3908 p = c;
3911 /* Check if body is already there. Either we have gimple body or
3912 the function is thunk and in that case we set DECL_ARGUMENTS. */
3913 if (DECL_ARGUMENTS (decl) || gimple_has_body_p (decl))
3914 return false;
3916 gcc_assert (in_lto_p && !DECL_RESULT (decl));
3918 timevar_push (TV_IPA_LTO_GIMPLE_IN);
3920 file_data = lto_file_data;
3921 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
3923 /* We may have renamed the declaration, e.g., a static function. */
3924 name = lto_get_decl_name_mapping (file_data, name);
3925 struct lto_in_decl_state *decl_state
3926 = lto_get_function_in_decl_state (file_data, decl);
3928 cgraph_node *origin = this;
3929 while (origin->clone_of)
3930 origin = origin->clone_of;
3932 int stream_order = origin->order - file_data->order_base;
3933 data = lto_get_section_data (file_data, LTO_section_function_body,
3934 name, stream_order, &len,
3935 decl_state->compressed);
3936 if (!data)
3937 fatal_error (input_location, "%s: section %s.%d is missing",
3938 file_data->file_name, name, stream_order);
3940 gcc_assert (DECL_STRUCT_FUNCTION (decl) == NULL);
3942 if (!quiet_flag)
3943 fprintf (stderr, " in:%s", IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
3944 lto_input_function_body (file_data, this, data);
3945 lto_stats.num_function_bodies++;
3946 lto_free_section_data (file_data, LTO_section_function_body, name,
3947 data, len, decl_state->compressed);
3948 lto_free_function_in_decl_state_for_node (this);
3949 /* Keep lto file data so ipa-inline-analysis knows about cross module
3950 inlining. */
3952 timevar_pop (TV_IPA_LTO_GIMPLE_IN);
3954 return true;
3957 /* Prepare function body. When doing LTO, read cgraph_node's body from disk
3958 if it is not already present. When some IPA transformations are scheduled,
3959 apply them. */
3961 bool
3962 cgraph_node::get_body (void)
3964 bool updated;
3966 updated = get_untransformed_body ();
3968 /* Getting transformed body makes no sense for inline clones;
3969 we should never use this on real clones because they are materialized
3970 early.
3971 TODO: Materializing clones here will likely lead to smaller LTRANS
3972 footprint. */
3973 gcc_assert (!inlined_to && !clone_of);
3974 if (ipa_transforms_to_apply.exists ())
3976 opt_pass *saved_current_pass = current_pass;
3977 FILE *saved_dump_file = dump_file;
3978 const char *saved_dump_file_name = dump_file_name;
3979 dump_flags_t saved_dump_flags = dump_flags;
3980 dump_file_name = NULL;
3981 set_dump_file (NULL);
3983 push_cfun (DECL_STRUCT_FUNCTION (decl));
3985 update_ssa (TODO_update_ssa_only_virtuals);
3986 execute_all_ipa_transforms (true);
3987 cgraph_edge::rebuild_edges ();
3988 free_dominance_info (CDI_DOMINATORS);
3989 free_dominance_info (CDI_POST_DOMINATORS);
3990 pop_cfun ();
3991 updated = true;
3993 current_pass = saved_current_pass;
3994 set_dump_file (saved_dump_file);
3995 dump_file_name = saved_dump_file_name;
3996 dump_flags = saved_dump_flags;
3998 return updated;
4001 /* Return the DECL_STRUCT_FUNCTION of the function. */
4003 struct function *
4004 cgraph_node::get_fun () const
4006 const cgraph_node *node = this;
4007 struct function *fun = DECL_STRUCT_FUNCTION (node->decl);
4009 while (!fun && node->clone_of)
4011 node = node->clone_of;
4012 fun = DECL_STRUCT_FUNCTION (node->decl);
4015 return fun;
4018 /* Reset all state within cgraph.c so that we can rerun the compiler
4019 within the same process. For use by toplev::finalize. */
4021 void
4022 cgraph_c_finalize (void)
4024 nested_function_info::release ();
4025 thunk_info::release ();
4026 clone_info::release ();
4027 symtab = NULL;
4029 x_cgraph_nodes_queue = NULL;
4031 cgraph_fnver_htab = NULL;
4032 version_info_node = NULL;
4035 /* A worker for call_for_symbol_and_aliases. */
4037 bool
4038 cgraph_node::call_for_symbol_and_aliases_1 (bool (*callback) (cgraph_node *,
4039 void *),
4040 void *data,
4041 bool include_overwritable)
4043 ipa_ref *ref;
4044 FOR_EACH_ALIAS (this, ref)
4046 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
4047 if (include_overwritable
4048 || alias->get_availability () > AVAIL_INTERPOSABLE)
4049 if (alias->call_for_symbol_and_aliases (callback, data,
4050 include_overwritable))
4051 return true;
4053 return false;
4056 /* Return true if NODE has thunk. */
4058 bool
4059 cgraph_node::has_thunk_p (cgraph_node *node, void *)
4061 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
4062 if (e->caller->thunk)
4063 return true;
4064 return false;
4067 /* Expected frequency of executions within the function. */
4069 sreal
4070 cgraph_edge::sreal_frequency ()
4072 return count.to_sreal_scale (caller->inlined_to
4073 ? caller->inlined_to->count
4074 : caller->count);
4078 /* During LTO stream in this can be used to check whether call can possibly
4079 be internal to the current translation unit. */
4081 bool
4082 cgraph_edge::possibly_call_in_translation_unit_p (void)
4084 gcc_checking_assert (in_lto_p && caller->prevailing_p ());
4086 /* While incremental linking we may end up getting function body later. */
4087 if (flag_incremental_link == INCREMENTAL_LINK_LTO)
4088 return true;
4090 /* We may be smarter here and avoid streaming in indirect calls we can't
4091 track, but that would require arranging streaming the indirect call
4092 summary first. */
4093 if (!callee)
4094 return true;
4096 /* If callee is local to the original translation unit, it will be
4097 defined. */
4098 if (!TREE_PUBLIC (callee->decl) && !DECL_EXTERNAL (callee->decl))
4099 return true;
4101 /* Otherwise we need to lookup prevailing symbol (symbol table is not merged,
4102 yet) and see if it is a definition. In fact we may also resolve aliases,
4103 but that is probably not too important. */
4104 symtab_node *node = callee;
4105 for (int n = 10; node->previous_sharing_asm_name && n ; n--)
4106 node = node->previous_sharing_asm_name;
4107 if (node->previous_sharing_asm_name)
4108 node = symtab_node::get_for_asmname (DECL_ASSEMBLER_NAME (callee->decl));
4109 gcc_assert (TREE_PUBLIC (node->decl));
4110 return node->get_availability () >= AVAIL_INTERPOSABLE;
4113 /* Return num_speculative_targets of this edge. */
4116 cgraph_edge::num_speculative_call_targets_p (void)
4118 return indirect_info ? indirect_info->num_speculative_call_targets : 0;
4121 /* Check if function calls comdat local. This is used to recompute
4122 calls_comdat_local flag after function transformations. */
4123 bool
4124 cgraph_node::check_calls_comdat_local_p ()
4126 for (cgraph_edge *e = callees; e; e = e->next_callee)
4127 if (e->inline_failed
4128 ? e->callee->comdat_local_p ()
4129 : e->callee->check_calls_comdat_local_p ())
4130 return true;
4131 return false;
4134 /* Return true if this node represents a former, i.e. an expanded, thunk. */
4136 bool
4137 cgraph_node::former_thunk_p (void)
4139 if (thunk)
4140 return false;
4141 thunk_info *i = thunk_info::get (this);
4142 if (!i)
4143 return false;
4144 gcc_checking_assert (i->fixed_offset || i->virtual_offset_p
4145 || i->indirect_offset);
4146 return true;
4149 /* A stashed copy of "symtab" for use by selftest::symbol_table_test.
4150 This needs to be a global so that it can be a GC root, and thus
4151 prevent the stashed copy from being garbage-collected if the GC runs
4152 during a symbol_table_test. */
4154 symbol_table *saved_symtab;
4156 #if CHECKING_P
4158 namespace selftest {
4160 /* class selftest::symbol_table_test. */
4162 /* Constructor. Store the old value of symtab, and create a new one. */
4164 symbol_table_test::symbol_table_test ()
4166 gcc_assert (saved_symtab == NULL);
4167 saved_symtab = symtab;
4168 symtab = new (ggc_alloc<symbol_table> ()) symbol_table ();
4171 /* Destructor. Restore the old value of symtab. */
4173 symbol_table_test::~symbol_table_test ()
4175 gcc_assert (saved_symtab != NULL);
4176 symtab = saved_symtab;
4177 saved_symtab = NULL;
4180 /* Verify that symbol_table_test works. */
4182 static void
4183 test_symbol_table_test ()
4185 /* Simulate running two selftests involving symbol tables. */
4186 for (int i = 0; i < 2; i++)
4188 symbol_table_test stt;
4189 tree test_decl = build_decl (UNKNOWN_LOCATION, FUNCTION_DECL,
4190 get_identifier ("test_decl"),
4191 build_function_type_list (void_type_node,
4192 NULL_TREE));
4193 cgraph_node *node = cgraph_node::get_create (test_decl);
4194 gcc_assert (node);
4196 /* Verify that the node has order 0 on both iterations,
4197 and thus that nodes have predictable dump names in selftests. */
4198 ASSERT_EQ (node->order, 0);
4199 ASSERT_STREQ (node->dump_name (), "test_decl/0");
4203 /* Run all of the selftests within this file. */
4205 void
4206 cgraph_c_tests ()
4208 test_symbol_table_test ();
4211 } // namespace selftest
4213 #endif /* CHECKING_P */
4215 #include "gt-cgraph.h"