]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/cgraph.cc
Don't build readline/libreadline.a, when --with-system-readline is supplied
[thirdparty/gcc.git] / gcc / cgraph.cc
CommitLineData
e72fcfe8 1/* Callgraph handling code.
7adcbafe 2 Copyright (C) 2003-2022 Free Software Foundation, Inc.
e72fcfe8
JH
3 Contributed by Jan Hubicka
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9dcd6f09 9Software Foundation; either version 3, or (at your option) any later
e72fcfe8
JH
10version.
11
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
16
17You should have received a copy of the GNU General Public License
9dcd6f09
NC
18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
e72fcfe8 20
8a4a83ed 21/* This file contains basic routines manipulating call graph
c22cacf3 22
357067f2
JH
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. */
18c6ada9 26
e72fcfe8
JH
27#include "config.h"
28#include "system.h"
29#include "coretypes.h"
c7131fb2 30#include "backend.h"
957060b5
AM
31#include "target.h"
32#include "rtl.h"
e72fcfe8 33#include "tree.h"
c7131fb2 34#include "gimple.h"
957060b5
AM
35#include "predict.h"
36#include "alloc-pool.h"
957060b5 37#include "gimple-ssa.h"
957060b5
AM
38#include "cgraph.h"
39#include "lto-streamer.h"
40e23961 40#include "fold-const.h"
d8a2d370
DN
41#include "varasm.h"
42#include "calls.h"
43#include "print-tree.h"
e72fcfe8 44#include "langhooks.h"
dc0bfe6a 45#include "intl.h"
2fb9a547 46#include "tree-eh.h"
5be5c238 47#include "gimple-iterator.h"
442b4905 48#include "tree-cfg.h"
7a300452 49#include "tree-ssa.h"
a63f2942 50#include "value-prof.h"
a940b4d9 51#include "ipa-utils.h"
dd912cb8 52#include "symbol-summary.h"
8bc5448f 53#include "tree-vrp.h"
c582198b 54#include "ipa-prop.h"
27d020cf 55#include "ipa-fnsummary.h"
7d776ee2 56#include "cfgloop.h"
9c8305f8 57#include "gimple-pretty-print.h"
23a04216 58#include "tree-dfa.h"
893479de 59#include "profile.h"
2631d4eb 60#include "context.h"
a49de7a4 61#include "gimplify.h"
314e6352
ML
62#include "stringpool.h"
63#include "attribs.h"
212755ff 64#include "selftest.h"
4f75f97b 65#include "tree-into-ssa.h"
7123347c 66#include "ipa-inline.h"
89576d86 67#include "tree-nested.h"
67f3791f 68#include "symtab-thunks.h"
ae7a23a3 69#include "symtab-clones.h"
988d1653 70
7ee2468b
SB
71/* FIXME: Only for PROP_loops, but cgraph shouldn't have to know about this. */
72#include "tree-pass.h"
73
1668aabc 74/* Queue of cgraph nodes scheduled to be lowered. */
5e20cdc9 75symtab_node *x_cgraph_nodes_queue;
3dafb85c 76#define cgraph_nodes_queue ((cgraph_node *)x_cgraph_nodes_queue)
f45e0ad1 77
3dafb85c
ML
78/* Symbol table global context. */
79symbol_table *symtab;
cd9c7bd2 80
61502ca8 81/* List of hooks triggered on cgraph_edge events. */
9088c1cc
MJ
82struct cgraph_edge_hook_list {
83 cgraph_edge_hook hook;
84 void *data;
85 struct cgraph_edge_hook_list *next;
86};
87
61502ca8 88/* List of hooks triggered on cgraph_node events. */
9088c1cc
MJ
89struct cgraph_node_hook_list {
90 cgraph_node_hook hook;
91 void *data;
92 struct cgraph_node_hook_list *next;
93};
94
61502ca8 95/* List of hooks triggered on events involving two cgraph_edges. */
9088c1cc
MJ
96struct cgraph_2edge_hook_list {
97 cgraph_2edge_hook hook;
98 void *data;
99 struct cgraph_2edge_hook_list *next;
100};
101
61502ca8 102/* List of hooks triggered on events involving two cgraph_nodes. */
9088c1cc
MJ
103struct cgraph_2node_hook_list {
104 cgraph_2node_hook hook;
105 void *data;
106 struct cgraph_2node_hook_list *next;
107};
108
2a22f99c
TS
109/* Hash descriptor for cgraph_function_version_info. */
110
ca752f39 111struct function_version_hasher : ggc_ptr_hash<cgraph_function_version_info>
2a22f99c
TS
112{
113 static hashval_t hash (cgraph_function_version_info *);
114 static bool equal (cgraph_function_version_info *,
115 cgraph_function_version_info *);
116};
117
3649b9b7
ST
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.. */
121
2a22f99c 122static GTY(()) hash_table<function_version_hasher> *cgraph_fnver_htab = NULL;
3649b9b7
ST
123
124/* Hash function for cgraph_fnver_htab. */
2a22f99c
TS
125hashval_t
126function_version_hasher::hash (cgraph_function_version_info *ptr)
3649b9b7 127{
4325656f 128 int uid = ptr->this_node->get_uid ();
3649b9b7
ST
129 return (hashval_t)(uid);
130}
131
132/* eq function for cgraph_fnver_htab. */
2a22f99c
TS
133bool
134function_version_hasher::equal (cgraph_function_version_info *n1,
135 cgraph_function_version_info *n2)
3649b9b7 136{
4325656f 137 return n1->this_node->get_uid () == n2->this_node->get_uid ();
3649b9b7
ST
138}
139
140/* Mark as GC root all allocated nodes. */
141static GTY(()) struct cgraph_function_version_info *
142 version_info_node = NULL;
143
f0889939
AM
144/* Return true if NODE's address can be compared. */
145
146bool
147symtab_node::address_can_be_compared_p ()
148{
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;
165}
166
3649b9b7 167/* Get the cgraph_function_version_info node corresponding to node. */
3dafb85c 168cgraph_function_version_info *
d52f5295 169cgraph_node::function_version (void)
3649b9b7 170{
3dafb85c 171 cgraph_function_version_info key;
d52f5295 172 key.this_node = this;
3649b9b7
ST
173
174 if (cgraph_fnver_htab == NULL)
175 return NULL;
176
2a22f99c 177 return cgraph_fnver_htab->find (&key);
3649b9b7
ST
178}
179
180/* Insert a new cgraph_function_version_info node into cgraph_fnver_htab
181 corresponding to cgraph_node NODE. */
3dafb85c 182cgraph_function_version_info *
d52f5295 183cgraph_node::insert_new_function_version (void)
3649b9b7 184{
3649b9b7 185 version_info_node = NULL;
766090c2 186 version_info_node = ggc_cleared_alloc<cgraph_function_version_info> ();
d52f5295 187 version_info_node->this_node = this;
3649b9b7
ST
188
189 if (cgraph_fnver_htab == NULL)
2a22f99c 190 cgraph_fnver_htab = hash_table<function_version_hasher>::create_ggc (2);
3649b9b7 191
2a22f99c
TS
192 *cgraph_fnver_htab->find_slot (version_info_node, INSERT)
193 = version_info_node;
3649b9b7
ST
194 return version_info_node;
195}
196
9acb4592
EK
197/* Remove the cgraph_function_version_info node given by DECL_V. */
198static void
199delete_function_version (cgraph_function_version_info *decl_v)
3649b9b7 200{
3649b9b7
ST
201 if (decl_v == NULL)
202 return;
203
e9d01715
ML
204 if (version_info_node == decl_v)
205 version_info_node = NULL;
206
3649b9b7 207 if (decl_v->prev != NULL)
9acb4592 208 decl_v->prev->next = decl_v->next;
3649b9b7
ST
209
210 if (decl_v->next != NULL)
211 decl_v->next->prev = decl_v->prev;
212
213 if (cgraph_fnver_htab != NULL)
2a22f99c 214 cgraph_fnver_htab->remove_elt (decl_v);
9acb4592
EK
215}
216
217/* Remove the cgraph_function_version_info and cgraph_node for DECL. This
218 DECL is a duplicate declaration. */
219void
220cgraph_node::delete_function_version_by_decl (tree decl)
221{
222 cgraph_node *decl_node = cgraph_node::get (decl);
223
224 if (decl_node == NULL)
225 return;
226
227 delete_function_version (decl_node->function_version ());
3649b9b7 228
d52f5295 229 decl_node->remove ();
3649b9b7
ST
230}
231
232/* Record that DECL1 and DECL2 are semantically identical function
233 versions. */
234void
d52f5295 235cgraph_node::record_function_versions (tree decl1, tree decl2)
3649b9b7 236{
3dafb85c
ML
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;
3649b9b7
ST
243
244 gcc_assert (decl1_node != NULL && decl2_node != NULL);
d52f5295
ML
245 decl1_v = decl1_node->function_version ();
246 decl2_v = decl2_node->function_version ();
3649b9b7
ST
247
248 if (decl1_v != NULL && decl2_v != NULL)
249 return;
250
251 if (decl1_v == NULL)
d52f5295 252 decl1_v = decl1_node->insert_new_function_version ();
3649b9b7
ST
253
254 if (decl2_v == NULL)
d52f5295 255 decl2_v = decl2_node->insert_new_function_version ();
3649b9b7
ST
256
257 /* Chain decl2_v and decl1_v. All semantically identical versions
258 will be chained together. */
259
260 before = decl1_v;
261 after = decl2_v;
262
263 while (before->next != NULL)
264 before = before->next;
265
266 while (after->prev != NULL)
267 after= after->prev;
268
269 before->next = after;
270 after->prev = before;
271}
272
c582198b
AM
273/* Initialize callgraph dump file. */
274
275void
276symbol_table::initialize (void)
277{
278 if (!dump_file)
279 dump_file = dump_begin (TDI_cgraph, NULL);
0bdad123
ML
280
281 if (!ipa_clones_dump_file)
282 ipa_clones_dump_file = dump_begin (TDI_clones, NULL);
c582198b
AM
283}
284
60393bbc
AM
285/* Allocate new callgraph node and insert it into basic data structures. */
286
287cgraph_node *
288symbol_table::create_empty (void)
289{
60393bbc 290 cgraph_count++;
a65d584d 291 return new (ggc_alloc<cgraph_node> ()) cgraph_node (cgraph_max_uid++);
60393bbc
AM
292}
293
9088c1cc 294/* Register HOOK to be called with DATA on each removed edge. */
3dafb85c
ML
295cgraph_edge_hook_list *
296symbol_table::add_edge_removal_hook (cgraph_edge_hook hook, void *data)
9088c1cc 297{
3dafb85c
ML
298 cgraph_edge_hook_list *entry;
299 cgraph_edge_hook_list **ptr = &m_first_edge_removal_hook;
9088c1cc 300
3dafb85c 301 entry = (cgraph_edge_hook_list *) xmalloc (sizeof (*entry));
9088c1cc
MJ
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;
309}
310
311/* Remove ENTRY from the list of hooks called on removing edges. */
312void
3dafb85c 313symbol_table::remove_edge_removal_hook (cgraph_edge_hook_list *entry)
9088c1cc 314{
3dafb85c 315 cgraph_edge_hook_list **ptr = &m_first_edge_removal_hook;
9088c1cc
MJ
316
317 while (*ptr != entry)
318 ptr = &(*ptr)->next;
319 *ptr = entry->next;
934cb78a 320 free (entry);
9088c1cc
MJ
321}
322
323/* Call all edge removal hooks. */
3dafb85c
ML
324void
325symbol_table::call_edge_removal_hooks (cgraph_edge *e)
9088c1cc 326{
3dafb85c 327 cgraph_edge_hook_list *entry = m_first_edge_removal_hook;
9088c1cc
MJ
328 while (entry)
329 {
330 entry->hook (e, entry->data);
331 entry = entry->next;
332 }
333}
334
335/* Register HOOK to be called with DATA on each removed node. */
3dafb85c
ML
336cgraph_node_hook_list *
337symbol_table::add_cgraph_removal_hook (cgraph_node_hook hook, void *data)
9088c1cc 338{
3dafb85c
ML
339 cgraph_node_hook_list *entry;
340 cgraph_node_hook_list **ptr = &m_first_cgraph_removal_hook;
9088c1cc 341
3dafb85c 342 entry = (cgraph_node_hook_list *) xmalloc (sizeof (*entry));
9088c1cc
MJ
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;
350}
351
352/* Remove ENTRY from the list of hooks called on removing nodes. */
353void
3dafb85c 354symbol_table::remove_cgraph_removal_hook (cgraph_node_hook_list *entry)
9088c1cc 355{
3dafb85c 356 cgraph_node_hook_list **ptr = &m_first_cgraph_removal_hook;
9088c1cc
MJ
357
358 while (*ptr != entry)
359 ptr = &(*ptr)->next;
360 *ptr = entry->next;
934cb78a 361 free (entry);
9088c1cc
MJ
362}
363
364/* Call all node removal hooks. */
3dafb85c
ML
365void
366symbol_table::call_cgraph_removal_hooks (cgraph_node *node)
9088c1cc 367{
3dafb85c 368 cgraph_node_hook_list *entry = m_first_cgraph_removal_hook;
9088c1cc
MJ
369 while (entry)
370 {
371 entry->hook (node, entry->data);
372 entry = entry->next;
373 }
374}
375
3dafb85c
ML
376/* Call all node removal hooks. */
377void
378symbol_table::call_cgraph_insertion_hooks (cgraph_node *node)
379{
380 cgraph_node_hook_list *entry = m_first_cgraph_insertion_hook;
381 while (entry)
382 {
383 entry->hook (node, entry->data);
384 entry = entry->next;
385 }
386}
387
388
6544865a 389/* Register HOOK to be called with DATA on each inserted node. */
3dafb85c
ML
390cgraph_node_hook_list *
391symbol_table::add_cgraph_insertion_hook (cgraph_node_hook hook, void *data)
129a37fc 392{
3dafb85c
ML
393 cgraph_node_hook_list *entry;
394 cgraph_node_hook_list **ptr = &m_first_cgraph_insertion_hook;
129a37fc 395
3dafb85c 396 entry = (cgraph_node_hook_list *) xmalloc (sizeof (*entry));
129a37fc
JH
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;
404}
405
6544865a 406/* Remove ENTRY from the list of hooks called on inserted nodes. */
129a37fc 407void
3dafb85c 408symbol_table::remove_cgraph_insertion_hook (cgraph_node_hook_list *entry)
129a37fc 409{
3dafb85c 410 cgraph_node_hook_list **ptr = &m_first_cgraph_insertion_hook;
129a37fc
JH
411
412 while (*ptr != entry)
413 ptr = &(*ptr)->next;
414 *ptr = entry->next;
934cb78a 415 free (entry);
129a37fc
JH
416}
417
9088c1cc 418/* Register HOOK to be called with DATA on each duplicated edge. */
3dafb85c
ML
419cgraph_2edge_hook_list *
420symbol_table::add_edge_duplication_hook (cgraph_2edge_hook hook, void *data)
9088c1cc 421{
3dafb85c
ML
422 cgraph_2edge_hook_list *entry;
423 cgraph_2edge_hook_list **ptr = &m_first_edge_duplicated_hook;
9088c1cc 424
3dafb85c 425 entry = (cgraph_2edge_hook_list *) xmalloc (sizeof (*entry));
9088c1cc
MJ
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;
433}
434
435/* Remove ENTRY from the list of hooks called on duplicating edges. */
436void
3dafb85c 437symbol_table::remove_edge_duplication_hook (cgraph_2edge_hook_list *entry)
9088c1cc 438{
3dafb85c 439 cgraph_2edge_hook_list **ptr = &m_first_edge_duplicated_hook;
9088c1cc
MJ
440
441 while (*ptr != entry)
442 ptr = &(*ptr)->next;
443 *ptr = entry->next;
934cb78a 444 free (entry);
9088c1cc
MJ
445}
446
447/* Call all edge duplication hooks. */
66a20fc2 448void
3dafb85c 449symbol_table::call_edge_duplication_hooks (cgraph_edge *cs1, cgraph_edge *cs2)
9088c1cc 450{
3dafb85c 451 cgraph_2edge_hook_list *entry = m_first_edge_duplicated_hook;
9088c1cc
MJ
452 while (entry)
453 {
454 entry->hook (cs1, cs2, entry->data);
455 entry = entry->next;
456 }
457}
458
459/* Register HOOK to be called with DATA on each duplicated node. */
3dafb85c
ML
460cgraph_2node_hook_list *
461symbol_table::add_cgraph_duplication_hook (cgraph_2node_hook hook, void *data)
9088c1cc 462{
3dafb85c
ML
463 cgraph_2node_hook_list *entry;
464 cgraph_2node_hook_list **ptr = &m_first_cgraph_duplicated_hook;
9088c1cc 465
3dafb85c 466 entry = (cgraph_2node_hook_list *) xmalloc (sizeof (*entry));
9088c1cc
MJ
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;
474}
475
476/* Remove ENTRY from the list of hooks called on duplicating nodes. */
477void
3dafb85c 478symbol_table::remove_cgraph_duplication_hook (cgraph_2node_hook_list *entry)
9088c1cc 479{
3dafb85c 480 cgraph_2node_hook_list **ptr = &m_first_cgraph_duplicated_hook;
9088c1cc
MJ
481
482 while (*ptr != entry)
483 ptr = &(*ptr)->next;
484 *ptr = entry->next;
934cb78a 485 free (entry);
9088c1cc
MJ
486}
487
488/* Call all node duplication hooks. */
b0d0a291 489void
3dafb85c
ML
490symbol_table::call_cgraph_duplication_hooks (cgraph_node *node,
491 cgraph_node *node2)
9088c1cc 492{
3dafb85c 493 cgraph_2node_hook_list *entry = m_first_cgraph_duplicated_hook;
9088c1cc
MJ
494 while (entry)
495 {
3dafb85c 496 entry->hook (node, node2, entry->data);
9088c1cc
MJ
497 entry = entry->next;
498 }
499}
500
e72fcfe8 501/* Return cgraph node assigned to DECL. Create new one when needed. */
0550e7b7 502
d52f5295
ML
503cgraph_node *
504cgraph_node::create (tree decl)
e72fcfe8 505{
3dafb85c 506 cgraph_node *node = symtab->create_empty ();
341c100f 507 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
988d1653 508
67348ccc 509 node->decl = decl;
2a6d372b 510 node->semantic_interposition = opt_for_fn (decl, flag_semantic_interposition);
1f6be682 511
41dbbb37 512 if ((flag_openacc || flag_openmp)
1f6be682
IV
513 && lookup_attribute ("omp declare target", DECL_ATTRIBUTES (decl)))
514 {
515 node->offloadable = 1;
1d899da2
TS
516 if (ENABLE_OFFLOADING)
517 g->have_offload = true;
1f6be682
IV
518 }
519
aab778d3
L
520 if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (decl)))
521 node->ifunc_resolver = true;
522
d52f5295 523 node->register_symbol ();
89576d86 524 maybe_record_nested_function (node);
1ab24192 525
e72fcfe8
JH
526 return node;
527}
528
6f99e449
MJ
529/* Try to find a call graph node for declaration DECL and if it does not exist
530 or if it corresponds to an inline clone, create a new one. */
a358e188 531
d52f5295
ML
532cgraph_node *
533cgraph_node::get_create (tree decl)
a358e188 534{
3dafb85c 535 cgraph_node *first_clone = cgraph_node::get (decl);
a358e188 536
a62bfab5 537 if (first_clone && !first_clone->inlined_to)
6f99e449 538 return first_clone;
a358e188 539
3dafb85c 540 cgraph_node *node = cgraph_node::create (decl);
6f99e449
MJ
541 if (first_clone)
542 {
543 first_clone->clone_of = node;
544 node->clones = first_clone;
3c56d8d8 545 node->order = first_clone->order;
3dafb85c 546 symtab->symtab_prevail_in_asm_name_hash (node);
aede2c10 547 node->decl->decl_with_vis.symtab_node = node;
1e233430 548 if (dump_file && symtab->state != PARSING)
6f99e449 549 fprintf (dump_file, "Introduced new external node "
464d0118
ML
550 "(%s) and turned into root of the clone tree.\n",
551 node->dump_name ());
6f99e449 552 }
1e233430 553 else if (dump_file && symtab->state != PARSING)
6f99e449 554 fprintf (dump_file, "Introduced new external node "
464d0118 555 "(%s).\n", node->dump_name ());
6f99e449 556 return node;
a358e188
MJ
557}
558
87e7b310 559/* Mark ALIAS as an alias to DECL. DECL_NODE is cgraph node representing
72b3bc89
JH
560 the function body is associated with
561 (not necessarily cgraph_node (DECL)). */
b2583345 562
d52f5295
ML
563cgraph_node *
564cgraph_node::create_alias (tree alias, tree target)
b2583345 565{
d52f5295 566 cgraph_node *alias_node;
b2583345 567
40a7fe1e
JH
568 gcc_assert (TREE_CODE (target) == FUNCTION_DECL
569 || TREE_CODE (target) == IDENTIFIER_NODE);
b2583345 570 gcc_assert (TREE_CODE (alias) == FUNCTION_DECL);
d52f5295 571 alias_node = cgraph_node::get_create (alias);
67348ccc
DM
572 gcc_assert (!alias_node->definition);
573 alias_node->alias_target = target;
574 alias_node->definition = true;
575 alias_node->alias = true;
08346abd 576 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (alias)) != NULL)
71e54687 577 alias_node->transparent_alias = alias_node->weakref = true;
aab778d3
L
578 if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (alias)))
579 alias_node->ifunc_resolver = true;
6744a6ab
JH
580 return alias_node;
581}
582
051f8cc6 583/* Attempt to mark ALIAS as an alias to DECL. Return alias node if successful
a358e188 584 and NULL otherwise.
6744a6ab 585 Same body aliases are output whenever the body of DECL is output,
d52f5295
ML
586 and cgraph_node::get (ALIAS) transparently returns
587 cgraph_node::get (DECL). */
6744a6ab 588
3dafb85c 589cgraph_node *
d52f5295 590cgraph_node::create_same_body_alias (tree alias, tree decl)
6744a6ab 591{
3dafb85c 592 cgraph_node *n;
a8b522b4 593
6744a6ab 594 /* If aliases aren't supported by the assembler, fail. */
a8b522b4
ML
595 if (!TARGET_SUPPORTS_ALIASES)
596 return NULL;
597
39e2db00
JH
598 /* Langhooks can create same body aliases of symbols not defined.
599 Those are useless. Drop them on the floor. */
3dafb85c 600 if (symtab->global_info_ready)
39e2db00 601 return NULL;
6744a6ab 602
d52f5295 603 n = cgraph_node::create_alias (alias, decl);
67348ccc 604 n->cpp_implicit_alias = true;
3dafb85c 605 if (symtab->cpp_implicit_aliases_done)
d52f5295 606 n->resolve_alias (cgraph_node::get (decl));
39e2db00 607 return n;
6744a6ab
JH
608}
609
051f8cc6 610/* Add thunk alias into callgraph. The alias declaration is ALIAS and it
61502ca8 611 aliases DECL with an adjustments made into the first parameter.
a3e61d61 612 See comments in struct cgraph_thunk_info for detail on the parameters. */
051f8cc6 613
3dafb85c 614cgraph_node *
d52f5295
ML
615cgraph_node::create_thunk (tree alias, tree, bool this_adjusting,
616 HOST_WIDE_INT fixed_offset,
617 HOST_WIDE_INT virtual_value,
44662f68 618 HOST_WIDE_INT indirect_offset,
d52f5295
ML
619 tree virtual_offset,
620 tree real_alias)
6744a6ab 621{
3dafb85c 622 cgraph_node *node;
6744a6ab 623
d52f5295 624 node = cgraph_node::get (alias);
6744a6ab 625 if (node)
d52f5295 626 node->reset ();
24d047a3 627 else
d52f5295 628 node = cgraph_node::create (alias);
a3e61d61
PMR
629
630 /* Make sure that if VIRTUAL_OFFSET is in sync with VIRTUAL_VALUE. */
631 gcc_checking_assert (virtual_offset
8e6cdc90 632 ? virtual_value == wi::to_wide (virtual_offset)
a3e61d61
PMR
633 : virtual_value == 0);
634
67f3791f 635 node->thunk = true;
67348ccc 636 node->definition = true;
c47d0034 637
aa701610
JH
638 thunk_info *i;
639 thunk_info local_info;
640 if (symtab->state < CONSTRUCTION)
641 i = &local_info;
642 else
643 i = thunk_info::get_create (node);
67f3791f
JH
644 i->fixed_offset = fixed_offset;
645 i->virtual_value = virtual_value;
646 i->indirect_offset = indirect_offset;
647 i->alias = real_alias;
648 i->this_adjusting = this_adjusting;
649 i->virtual_offset_p = virtual_offset != NULL;
aa701610
JH
650 if (symtab->state < CONSTRUCTION)
651 i->register_early (node);
67f3791f 652
051f8cc6 653 return node;
b2583345
JJ
654}
655
bedb9fc0
RH
656/* Return the cgraph node that has ASMNAME for its DECL_ASSEMBLER_NAME.
657 Return NULL if there's no such node. */
658
d52f5295
ML
659cgraph_node *
660cgraph_node::get_for_asmname (tree asmname)
bedb9fc0 661{
1ab24192 662 /* We do not want to look at inline clones. */
3dafb85c 663 for (symtab_node *node = symtab_node::get_for_asmname (asmname);
5d59b5e1 664 node;
67348ccc 665 node = node->next_sharing_asm_name)
5d59b5e1 666 {
7de90a6c 667 cgraph_node *cn = dyn_cast <cgraph_node *> (node);
a62bfab5 668 if (cn && !cn->inlined_to)
5d59b5e1
LC
669 return cn;
670 }
bedb9fc0
RH
671 return NULL;
672}
673
6bdf3519 674/* Returns a hash value for X (which really is a cgraph_edge). */
70d539ce 675
2a22f99c
TS
676hashval_t
677cgraph_edge_hasher::hash (cgraph_edge *e)
70d539ce 678{
40ff1364
RB
679 /* This is a really poor hash function, but it is what htab_hash_pointer
680 uses. */
681 return (hashval_t) ((intptr_t)e->call_stmt >> 3);
682}
683
684/* Returns a hash value for X (which really is a cgraph_edge). */
685
686hashval_t
355fe088 687cgraph_edge_hasher::hash (gimple *call_stmt)
40ff1364
RB
688{
689 /* This is a really poor hash function, but it is what htab_hash_pointer
690 uses. */
691 return (hashval_t) ((intptr_t)call_stmt >> 3);
70d539ce
JH
692}
693
026c3cfd 694/* Return nonzero if the call_stmt of cgraph_edge X is stmt *Y. */
70d539ce 695
2a22f99c 696inline bool
355fe088 697cgraph_edge_hasher::equal (cgraph_edge *x, gimple *y)
70d539ce 698{
2a22f99c 699 return x->call_stmt == y;
70d539ce
JH
700}
701
e33c6cd6
MJ
702/* Add call graph edge E to call site hash of its caller. */
703
042ae7d2 704static inline void
3dafb85c 705cgraph_update_edge_in_call_site_hash (cgraph_edge *e)
042ae7d2 706{
355fe088 707 gimple *call = e->call_stmt;
40ff1364
RB
708 *e->caller->call_site_hash->find_slot_with_hash
709 (call, cgraph_edge_hasher::hash (call), INSERT) = e;
042ae7d2
JH
710}
711
712/* Add call graph edge E to call site hash of its caller. */
713
e33c6cd6 714static inline void
3dafb85c 715cgraph_add_edge_to_call_site_hash (cgraph_edge *e)
e33c6cd6 716{
042ae7d2
JH
717 /* There are two speculative edges for every statement (one direct,
718 one indirect); always hash the direct one. */
719 if (e->speculative && e->indirect_unknown_callee)
720 return;
2a22f99c 721 cgraph_edge **slot = e->caller->call_site_hash->find_slot_with_hash
40ff1364 722 (e->call_stmt, cgraph_edge_hasher::hash (e->call_stmt), INSERT);
042ae7d2
JH
723 if (*slot)
724 {
3dafb85c 725 gcc_assert (((cgraph_edge *)*slot)->speculative);
845bb366
JH
726 if (e->callee && (!e->prev_callee
727 || !e->prev_callee->speculative
728 || e->prev_callee->call_stmt != e->call_stmt))
bfa3b50a 729 *slot = e;
042ae7d2
JH
730 return;
731 }
732 gcc_assert (!*slot || e->speculative);
e33c6cd6
MJ
733 *slot = e;
734}
726a989a
RB
735
736/* Return the callgraph edge representing the GIMPLE_CALL statement
737 CALL_STMT. */
738
d52f5295 739cgraph_edge *
355fe088 740cgraph_node::get_edge (gimple *call_stmt)
18c6ada9 741{
3dafb85c 742 cgraph_edge *e, *e2;
70d539ce
JH
743 int n = 0;
744
d52f5295 745 if (call_site_hash)
40ff1364
RB
746 return call_site_hash->find_with_hash
747 (call_stmt, cgraph_edge_hasher::hash (call_stmt));
18c6ada9
JH
748
749 /* This loop may turn out to be performance problem. In such case adding
750 hashtables into call nodes with very many edges is probably best
2b8a92de 751 solution. It is not good idea to add pointer into CALL_EXPR itself
18c6ada9
JH
752 because we want to make possible having multiple cgraph nodes representing
753 different clones of the same body before the body is actually cloned. */
d52f5295 754 for (e = callees; e; e = e->next_callee)
70d539ce
JH
755 {
756 if (e->call_stmt == call_stmt)
757 break;
758 n++;
759 }
726a989a 760
e33c6cd6 761 if (!e)
d52f5295 762 for (e = indirect_calls; e; e = e->next_callee)
e33c6cd6
MJ
763 {
764 if (e->call_stmt == call_stmt)
765 break;
766 n++;
767 }
768
70d539ce
JH
769 if (n > 100)
770 {
2a22f99c 771 call_site_hash = hash_table<cgraph_edge_hasher>::create_ggc (120);
d52f5295 772 for (e2 = callees; e2; e2 = e2->next_callee)
e33c6cd6 773 cgraph_add_edge_to_call_site_hash (e2);
d52f5295 774 for (e2 = indirect_calls; e2; e2 = e2->next_callee)
e33c6cd6 775 cgraph_add_edge_to_call_site_hash (e2);
70d539ce 776 }
726a989a 777
18c6ada9
JH
778 return e;
779}
780
726a989a 781
27c5a177
MJ
782/* Change field call_stmt of edge E to NEW_STMT. If UPDATE_SPECULATIVE and E
783 is any component of speculative edge, then update all components.
784 Speculations can be resolved in the process and EDGE can be removed and
785 deallocated. Return the edge that now represents the call. */
0550e7b7 786
27c5a177
MJ
787cgraph_edge *
788cgraph_edge::set_call_stmt (cgraph_edge *e, gcall *new_stmt,
789 bool update_speculative)
70d539ce 790{
e33c6cd6
MJ
791 tree decl;
792
b8188b7d
MJ
793 cgraph_node *new_direct_callee = NULL;
794 if ((e->indirect_unknown_callee || e->speculative)
795 && (decl = gimple_call_fndecl (new_stmt)))
796 {
797 /* Constant propagation and especially inlining can turn an indirect call
798 into a direct one. */
799 new_direct_callee = cgraph_node::get (decl);
800 gcc_checking_assert (new_direct_callee);
801 }
802
042ae7d2
JH
803 /* Speculative edges has three component, update all of them
804 when asked to. */
b8188b7d
MJ
805 if (update_speculative && e->speculative
806 /* If we are about to resolve the speculation by calling make_direct
807 below, do not bother going over all the speculative edges now. */
808 && !new_direct_callee)
042ae7d2 809 {
845bb366 810 cgraph_edge *direct, *indirect, *next;
3dafb85c 811 ipa_ref *ref;
27c5a177 812 bool e_indirect = e->indirect_unknown_callee;
845bb366
JH
813 int n = 0;
814
815 direct = e->first_speculative_call_target ();
816 indirect = e->speculative_call_indirect_edge ();
817
818 gcall *old_stmt = direct->call_stmt;
819 for (cgraph_edge *d = direct; d; d = next)
820 {
821 next = d->next_speculative_call_target ();
822 cgraph_edge *d2 = set_call_stmt (d, new_stmt, false);
823 gcc_assert (d2 == d);
824 n++;
825 }
826 gcc_checking_assert (indirect->num_speculative_call_targets_p () == n);
827 for (unsigned int i = 0; e->caller->iterate_reference (i, ref); i++)
828 if (ref->speculative && ref->stmt == old_stmt)
829 {
830 ref->stmt = new_stmt;
831 n--;
832 }
042ae7d2 833
27c5a177
MJ
834 indirect = set_call_stmt (indirect, new_stmt, false);
835 return e_indirect ? indirect : direct;
042ae7d2
JH
836 }
837
b8188b7d
MJ
838 if (new_direct_callee)
839 e = make_direct (e, new_direct_callee);
840
042ae7d2 841 /* Only direct speculative edges go to call_site_hash. */
27c5a177 842 if (e->caller->call_site_hash
845bb366
JH
843 && (!e->speculative || !e->indirect_unknown_callee)
844 /* It is possible that edge was previously speculative. In this case
845 we have different value in call stmt hash which needs preserving. */
846 && e->caller->get_edge (e->call_stmt) == e)
27c5a177
MJ
847 e->caller->call_site_hash->remove_elt_with_hash
848 (e->call_stmt, cgraph_edge_hasher::hash (e->call_stmt));
3dafb85c 849
27c5a177 850 e->call_stmt = new_stmt;
e33c6cd6 851
36bbc05d
MJ
852 function *fun = DECL_STRUCT_FUNCTION (e->caller->decl);
853 e->can_throw_external = stmt_can_throw_external (fun, new_stmt);
845bb366
JH
854 /* Update call stite hash. For speculative calls we only record the first
855 direct edge. */
856 if (e->caller->call_site_hash
857 && (!e->speculative
858 || (e->callee
859 && (!e->prev_callee || !e->prev_callee->speculative
860 || e->prev_callee->call_stmt != e->call_stmt))
861 || (e->speculative && !e->callee)))
e33c6cd6 862 cgraph_add_edge_to_call_site_hash (e);
27c5a177 863 return e;
70d539ce
JH
864}
865
e33c6cd6
MJ
866/* Allocate a cgraph_edge structure and fill it with data according to the
867 parameters of which only CALLEE can be NULL (when creating an indirect call
3187c8a5
MJ
868 edge). CLONING_P should be set if properties that are copied from an
869 original edge should not be calculated. */
e72fcfe8 870
d52f5295 871cgraph_edge *
3dafb85c 872symbol_table::create_edge (cgraph_node *caller, cgraph_node *callee,
1bad9c18 873 gcall *call_stmt, profile_count count,
3187c8a5 874 bool indir_unknown_callee, bool cloning_p)
e72fcfe8 875{
d52f5295 876 cgraph_edge *edge;
18c6ada9 877
d7f09764
DN
878 /* LTO does not actually have access to the call_stmt since these
879 have not been loaded yet. */
880 if (call_stmt)
881 {
61502ca8 882 /* This is a rather expensive check possibly triggering
77a74ed7 883 construction of call stmt hashtable. */
3dafb85c 884 cgraph_edge *e;
b2b29377
MM
885 gcc_checking_assert (!(e = caller->get_edge (call_stmt))
886 || e->speculative);
18c6ada9 887
d7f09764
DN
888 gcc_assert (is_gimple_call (call_stmt));
889 }
b58b1157 890
fe248a88
ML
891 edge = ggc_alloc<cgraph_edge> ();
892 edge->m_summary_id = -1;
3dafb85c
ML
893 edges_count++;
894
8b25212d
ML
895 gcc_assert (++edges_max_uid != 0);
896 edge->m_uid = edges_max_uid;
18c6ada9 897 edge->aux = NULL;
e72fcfe8
JH
898 edge->caller = caller;
899 edge->callee = callee;
e33c6cd6
MJ
900 edge->prev_caller = NULL;
901 edge->next_caller = NULL;
902 edge->prev_callee = NULL;
903 edge->next_callee = NULL;
042ae7d2 904 edge->lto_stmt_uid = 0;
f1ba88b1 905 edge->speculative_id = 0;
e33c6cd6 906
1bad9c18 907 edge->count = count;
e0704a46 908 edge->call_stmt = call_stmt;
3187c8a5
MJ
909 edge->indirect_info = NULL;
910 edge->indirect_inlining_edge = 0;
911 edge->speculative = false;
912 edge->indirect_unknown_callee = indir_unknown_callee;
913 if (call_stmt && caller->call_site_hash)
914 cgraph_add_edge_to_call_site_hash (edge);
915
916 if (cloning_p)
917 return edge;
918
9f3f7d13 919 edge->can_throw_external
36bbc05d
MJ
920 = call_stmt ? stmt_can_throw_external (DECL_STRUCT_FUNCTION (caller->decl),
921 call_stmt) : false;
73136074
MJ
922 edge->inline_failed = CIF_FUNCTION_NOT_CONSIDERED;
923 edge->call_stmt_cannot_inline_p = false;
e33c6cd6 924
a6b1490d
JH
925 if (opt_for_fn (edge->caller->decl, flag_devirtualize)
926 && call_stmt && DECL_STRUCT_FUNCTION (caller->decl))
f9bb202b
JH
927 edge->in_polymorphic_cdtor
928 = decl_maybe_in_construction_p (NULL, NULL, call_stmt,
929 caller->decl);
930 else
67f3791f 931 edge->in_polymorphic_cdtor = caller->thunk;
7a50e708
JJ
932 if (callee)
933 caller->calls_declare_variant_alt |= callee->declare_variant_alt;
e33c6cd6 934
72b3bc89
JH
935 if (callee && symtab->state != LTO_STREAMING
936 && edge->callee->comdat_local_p ())
937 edge->caller->calls_comdat_local = true;
938
e33c6cd6
MJ
939 return edge;
940}
941
3187c8a5
MJ
942/* Create edge from a given function to CALLEE in the cgraph. CLONING_P should
943 be set if properties that are copied from an original edge should not be
944 calculated. */
e33c6cd6 945
3dafb85c
ML
946cgraph_edge *
947cgraph_node::create_edge (cgraph_node *callee,
3187c8a5 948 gcall *call_stmt, profile_count count, bool cloning_p)
e33c6cd6 949{
3dafb85c 950 cgraph_edge *edge = symtab->create_edge (this, callee, call_stmt, count,
3187c8a5 951 false, cloning_p);
e33c6cd6 952
3187c8a5
MJ
953 if (!cloning_p)
954 initialize_inline_failed (edge);
e33c6cd6 955
e72fcfe8 956 edge->next_caller = callee->callers;
2563c224
RG
957 if (callee->callers)
958 callee->callers->prev_caller = edge;
d52f5295
ML
959 edge->next_callee = callees;
960 if (callees)
961 callees->prev_callee = edge;
962 callees = edge;
e72fcfe8 963 callee->callers = edge;
3dc9eaa6 964
e33c6cd6
MJ
965 return edge;
966}
967
ce47fda3
MJ
968/* Allocate cgraph_indirect_call_info and set its fields to default values. */
969
3dafb85c 970cgraph_indirect_call_info *
ce47fda3
MJ
971cgraph_allocate_init_indirect_info (void)
972{
3dafb85c 973 cgraph_indirect_call_info *ii;
ce47fda3 974
766090c2 975 ii = ggc_cleared_alloc<cgraph_indirect_call_info> ();
ce47fda3
MJ
976 ii->param_index = -1;
977 return ii;
978}
e33c6cd6
MJ
979
980/* Create an indirect edge with a yet-undetermined callee where the call
981 statement destination is a formal parameter of the caller with index
3187c8a5
MJ
982 PARAM_INDEX. CLONING_P should be set if properties that are copied from an
983 original edge should not be calculated and indirect_info structure should
984 not be calculated. */
e33c6cd6 985
3dafb85c 986cgraph_edge *
538dd0b7 987cgraph_node::create_indirect_edge (gcall *call_stmt, int ecf_flags,
1bad9c18 988 profile_count count,
3187c8a5 989 bool cloning_p)
e33c6cd6 990{
3187c8a5
MJ
991 cgraph_edge *edge = symtab->create_edge (this, NULL, call_stmt, count, true,
992 cloning_p);
1d5755ef 993 tree target;
e33c6cd6 994
3187c8a5
MJ
995 if (!cloning_p)
996 initialize_inline_failed (edge);
3dc9eaa6 997
ce47fda3 998 edge->indirect_info = cgraph_allocate_init_indirect_info ();
5f902d76 999 edge->indirect_info->ecf_flags = ecf_flags;
0127c169 1000 edge->indirect_info->vptr_changed = true;
e33c6cd6 1001
1d5755ef 1002 /* Record polymorphic call info. */
3187c8a5 1003 if (!cloning_p
d34af022 1004 && call_stmt
1d5755ef
JH
1005 && (target = gimple_call_fn (call_stmt))
1006 && virtual_method_call_p (target))
1007 {
6f8091fc 1008 ipa_polymorphic_call_context context (decl, target, call_stmt);
1d5755ef
JH
1009
1010 /* Only record types can have virtual calls. */
68377e53 1011 edge->indirect_info->polymorphic = true;
1d5755ef 1012 edge->indirect_info->param_index = -1;
6f8091fc
JH
1013 edge->indirect_info->otr_token
1014 = tree_to_uhwi (OBJ_TYPE_REF_TOKEN (target));
1015 edge->indirect_info->otr_type = obj_type_ref_class (target);
1016 gcc_assert (TREE_CODE (edge->indirect_info->otr_type) == RECORD_TYPE);
ba392339 1017 edge->indirect_info->context = context;
1d5755ef
JH
1018 }
1019
d52f5295
ML
1020 edge->next_callee = indirect_calls;
1021 if (indirect_calls)
1022 indirect_calls->prev_callee = edge;
1023 indirect_calls = edge;
e33c6cd6 1024
e72fcfe8
JH
1025 return edge;
1026}
1027
3dafb85c 1028/* Remove the edge from the list of the callees of the caller. */
2563c224 1029
3dafb85c
ML
1030void
1031cgraph_edge::remove_caller (void)
2563c224 1032{
3dafb85c
ML
1033 if (prev_callee)
1034 prev_callee->next_callee = next_callee;
1035 if (next_callee)
1036 next_callee->prev_callee = prev_callee;
1037 if (!prev_callee)
e33c6cd6 1038 {
3dafb85c
ML
1039 if (indirect_unknown_callee)
1040 caller->indirect_calls = next_callee;
e33c6cd6 1041 else
3dafb85c 1042 caller->callees = next_callee;
e33c6cd6 1043 }
845bb366
JH
1044 if (caller->call_site_hash
1045 && this == caller->get_edge (call_stmt))
40ff1364
RB
1046 caller->call_site_hash->remove_elt_with_hash
1047 (call_stmt, cgraph_edge_hasher::hash (call_stmt));
2563c224
RG
1048}
1049
934cb78a
MJ
1050/* Put the edge onto the free list. */
1051
3dafb85c
ML
1052void
1053symbol_table::free_edge (cgraph_edge *e)
934cb78a 1054{
fe248a88
ML
1055 edges_count--;
1056 if (e->m_summary_id != -1)
1057 edge_released_summary_ids.safe_push (e->m_summary_id);
1058
042ae7d2
JH
1059 if (e->indirect_info)
1060 ggc_free (e->indirect_info);
fe248a88 1061 ggc_free (e);
934cb78a
MJ
1062}
1063
3dafb85c 1064/* Remove the edge in the cgraph. */
e72fcfe8 1065
cb967da5 1066void
27c5a177 1067cgraph_edge::remove (cgraph_edge *edge)
e72fcfe8 1068{
934cb78a 1069 /* Call all edge removal hooks. */
27c5a177 1070 symtab->call_edge_removal_hooks (edge);
934cb78a 1071
27c5a177 1072 if (!edge->indirect_unknown_callee)
e33c6cd6 1073 /* Remove from callers list of the callee. */
27c5a177 1074 edge->remove_callee ();
2563c224
RG
1075
1076 /* Remove from callees list of the callers. */
27c5a177 1077 edge->remove_caller ();
934cb78a
MJ
1078
1079 /* Put the edge onto the free list. */
27c5a177 1080 symtab->free_edge (edge);
e72fcfe8
JH
1081}
1082
3dafb85c 1083/* Turn edge into speculative call calling N2. Update
042ae7d2
JH
1084 the profile so the direct call is taken COUNT times
1085 with FREQUENCY.
1086
1087 At clone materialization time, the indirect call E will
1088 be expanded as:
1089
1090 if (call_dest == N2)
1091 n2 ();
1092 else
1093 call call_dest
1094
1095 At this time the function just creates the direct call,
dfea3d6f
JJ
1096 the reference representing the if conditional and attaches
1097 them all to the original indirect call statement.
042ae7d2 1098
f1ba88b1
XHL
1099 speculative_id is used to link direct calls with their corresponding
1100 IPA_REF_ADDR references when representing speculative calls.
1101
09ce3660
JH
1102 Return direct edge created. */
1103
3dafb85c 1104cgraph_edge *
f1ba88b1 1105cgraph_edge::make_speculative (cgraph_node *n2, profile_count direct_count,
845bb366 1106 unsigned int speculative_id)
042ae7d2 1107{
3dafb85c
ML
1108 cgraph_node *n = caller;
1109 ipa_ref *ref = NULL;
1110 cgraph_edge *e2;
042ae7d2
JH
1111
1112 if (dump_file)
464d0118
ML
1113 fprintf (dump_file, "Indirect call -> speculative call %s => %s\n",
1114 n->dump_name (), n2->dump_name ());
3dafb85c 1115 speculative = true;
1bad9c18 1116 e2 = n->create_edge (n2, call_stmt, direct_count);
042ae7d2
JH
1117 initialize_inline_failed (e2);
1118 e2->speculative = true;
67348ccc 1119 if (TREE_NOTHROW (n2->decl))
bfa3b50a
JH
1120 e2->can_throw_external = false;
1121 else
3dafb85c
ML
1122 e2->can_throw_external = can_throw_external;
1123 e2->lto_stmt_uid = lto_stmt_uid;
f1ba88b1 1124 e2->speculative_id = speculative_id;
f9bb202b 1125 e2->in_polymorphic_cdtor = in_polymorphic_cdtor;
bf6fc129 1126 indirect_info->num_speculative_call_targets++;
3dafb85c 1127 count -= e2->count;
3dafb85c
ML
1128 symtab->call_edge_duplication_hooks (this, e2);
1129 ref = n->create_reference (n2, IPA_REF_ADDR, call_stmt);
1130 ref->lto_stmt_uid = lto_stmt_uid;
f1ba88b1 1131 ref->speculative_id = speculative_id;
3dafb85c 1132 ref->speculative = speculative;
d52f5295 1133 n2->mark_address_taken ();
09ce3660 1134 return e2;
042ae7d2
JH
1135}
1136
845bb366
JH
1137/* Speculative call consists of an indirect edge and one or more
1138 direct edge+ref pairs.
f1ba88b1 1139
845bb366
JH
1140 Given an edge which is part of speculative call, return the first
1141 direct call edge in the speculative call sequence. */
f1ba88b1 1142
845bb366
JH
1143cgraph_edge *
1144cgraph_edge::first_speculative_call_target ()
042ae7d2 1145{
3dafb85c 1146 cgraph_edge *e = this;
042ae7d2 1147
845bb366
JH
1148 gcc_checking_assert (e->speculative);
1149 if (e->callee)
1150 {
1151 while (e->prev_callee && e->prev_callee->speculative
1152 && e->prev_callee->call_stmt == e->call_stmt
1153 && e->prev_callee->lto_stmt_uid == e->lto_stmt_uid)
1154 e = e->prev_callee;
1155 return e;
1156 }
1157 /* Call stmt site hash always points to the first target of the
1158 speculative call sequence. */
1159 if (e->call_stmt)
1160 return e->caller->get_edge (e->call_stmt);
1161 for (cgraph_edge *e2 = e->caller->callees; true; e2 = e2->next_callee)
1162 if (e2->speculative
1163 && e->call_stmt == e2->call_stmt
1164 && e->lto_stmt_uid == e2->lto_stmt_uid)
1165 return e2;
1166}
1167
1168/* We always maintain first direct edge in the call site hash, if one
1169 exists. E is going to be removed. See if it is first one and update
1170 hash accordingly. INDIRECT is the indirect edge of speculative call.
1171 We assume that INDIRECT->num_speculative_call_targets_p () is already
1172 updated for removal of E. */
1173static void
1174update_call_stmt_hash_for_removing_direct_edge (cgraph_edge *e,
1175 cgraph_edge *indirect)
1176{
1177 if (e->caller->call_site_hash)
042ae7d2 1178 {
845bb366
JH
1179 if (e->caller->get_edge (e->call_stmt) != e)
1180 ;
1181 else if (!indirect->num_speculative_call_targets_p ())
1182 cgraph_update_edge_in_call_site_hash (indirect);
1183 else
042ae7d2 1184 {
845bb366
JH
1185 gcc_checking_assert (e->next_callee && e->next_callee->speculative
1186 && e->next_callee->call_stmt == e->call_stmt);
1187 cgraph_update_edge_in_call_site_hash (e->next_callee);
042ae7d2 1188 }
845bb366 1189 }
042ae7d2
JH
1190}
1191
27c5a177
MJ
1192/* Speculative call EDGE turned out to be direct call to CALLEE_DECL. Remove
1193 the speculative call sequence and return edge representing the call, the
f1ba88b1
XHL
1194 original EDGE can be removed and deallocated. Return the edge that now
1195 represents the call.
1196
1197 For "speculative" indirect call that contains multiple "speculative"
1198 targets (i.e. edge->indirect_info->num_speculative_call_targets > 1),
1199 decrease the count and only remove current direct edge.
1200
1201 If no speculative direct call left to the speculative indirect call, remove
1202 the speculative of both the indirect call and corresponding direct edge.
1203
1204 It is up to caller to iteratively resolve each "speculative" direct call and
1205 redirect the call as appropriate. */
042ae7d2 1206
3dafb85c 1207cgraph_edge *
27c5a177 1208cgraph_edge::resolve_speculation (cgraph_edge *edge, tree callee_decl)
042ae7d2 1209{
3dafb85c
ML
1210 cgraph_edge *e2;
1211 ipa_ref *ref;
042ae7d2 1212
845bb366 1213 gcc_assert (edge->speculative && (!callee_decl || edge->callee));
7c710777
JH
1214 if (!edge->callee)
1215 e2 = edge->first_speculative_call_target ();
1216 else
1217 e2 = edge;
845bb366
JH
1218 ref = e2->speculative_call_target_ref ();
1219 edge = edge->speculative_call_indirect_edge ();
123485ca 1220 if (!callee_decl
d52f5295
ML
1221 || !ref->referred->semantically_equivalent_p
1222 (symtab_node::get (callee_decl)))
042ae7d2
JH
1223 {
1224 if (dump_file)
1225 {
09ce3660
JH
1226 if (callee_decl)
1227 {
464d0118 1228 fprintf (dump_file, "Speculative indirect call %s => %s has "
09ce3660 1229 "turned out to have contradicting known target ",
464d0118
ML
1230 edge->caller->dump_name (),
1231 e2->callee->dump_name ());
ef6cb4c7 1232 print_generic_expr (dump_file, callee_decl);
09ce3660
JH
1233 fprintf (dump_file, "\n");
1234 }
1235 else
1236 {
464d0118
ML
1237 fprintf (dump_file, "Removing speculative call %s => %s\n",
1238 edge->caller->dump_name (),
1239 e2->callee->dump_name ());
09ce3660 1240 }
042ae7d2
JH
1241 }
1242 }
1243 else
1244 {
3dafb85c 1245 cgraph_edge *tmp = edge;
042ae7d2 1246 if (dump_file)
ae7a23a3 1247 fprintf (dump_file, "Speculative call turned into direct call.\n");
042ae7d2
JH
1248 edge = e2;
1249 e2 = tmp;
118aa5e3
JH
1250 /* FIXME: If EDGE is inlined, we should scale up the frequencies
1251 and counts in the functions inlined through it. */
042ae7d2
JH
1252 }
1253 edge->count += e2->count;
f1ba88b1
XHL
1254 if (edge->num_speculative_call_targets_p ())
1255 {
1256 /* The indirect edge has multiple speculative targets, don't remove
1257 speculative until all related direct edges are resolved. */
1258 edge->indirect_info->num_speculative_call_targets--;
1259 if (!edge->indirect_info->num_speculative_call_targets)
1260 edge->speculative = false;
1261 }
1262 else
1263 edge->speculative = false;
042ae7d2 1264 e2->speculative = false;
845bb366 1265 update_call_stmt_hash_for_removing_direct_edge (e2, edge);
d122681a 1266 ref->remove_reference ();
042ae7d2 1267 if (e2->indirect_unknown_callee || e2->inline_failed)
27c5a177 1268 remove (e2);
042ae7d2 1269 else
d52f5295 1270 e2->callee->remove_symbol_and_inline_clones ();
042ae7d2
JH
1271 return edge;
1272}
1273
845bb366
JH
1274/* Return edge corresponding to speculative call to a given target.
1275 NULL if speculative call does not have one. */
1276
1277cgraph_edge *
1278cgraph_edge::speculative_call_for_target (cgraph_node *target)
1279{
1280 for (cgraph_edge *direct = first_speculative_call_target ();
1281 direct;
1282 direct = direct->next_speculative_call_target ())
1283 if (direct->speculative_call_target_ref ()
1284 ->referred->semantically_equivalent_p (target))
1285 return direct;
1286 return NULL;
1287}
1288
b8188b7d
MJ
1289/* Make an indirect or speculative EDGE with an unknown callee an ordinary edge
1290 leading to CALLEE. Speculations can be resolved in the process and EDGE can
1291 be removed and deallocated. Return the edge that now represents the
1292 call. */
e33c6cd6 1293
3dafb85c 1294cgraph_edge *
27c5a177 1295cgraph_edge::make_direct (cgraph_edge *edge, cgraph_node *callee)
e33c6cd6 1296{
b8188b7d 1297 gcc_assert (edge->indirect_unknown_callee || edge->speculative);
042ae7d2
JH
1298
1299 /* If we are redirecting speculative call, make it non-speculative. */
27c5a177 1300 if (edge->speculative)
042ae7d2 1301 {
118aa5e3
JH
1302 cgraph_edge *found = NULL;
1303 cgraph_edge *direct, *next;
118aa5e3 1304
845bb366 1305 edge = edge->speculative_call_indirect_edge ();
042ae7d2 1306
118aa5e3 1307 /* Look all speculative targets and remove all but one corresponding
845bb366
JH
1308 to callee (if it exists). */
1309 for (direct = edge->first_speculative_call_target ();
1310 direct;
1311 direct = next)
1312 {
1313 next = direct->next_speculative_call_target ();
1314
1315 /* Compare ref not direct->callee. Direct edge is possibly
1316 inlined or redirected. */
1317 if (!direct->speculative_call_target_ref ()
1318 ->referred->semantically_equivalent_p (callee))
1319 edge = direct->resolve_speculation (direct, NULL);
1320 else
1321 {
1322 gcc_checking_assert (!found);
1323 found = direct;
1324 }
1325 }
118aa5e3
JH
1326
1327 /* On successful speculation just remove the indirect edge and
1328 return the pre existing direct edge.
1329 It is important to not remove it and redirect because the direct
1330 edge may be inlined or redirected. */
1331 if (found)
1332 {
845bb366
JH
1333 cgraph_edge *e2 = resolve_speculation (found, callee->decl);
1334 gcc_checking_assert (!found->speculative && e2 == found);
118aa5e3
JH
1335 return found;
1336 }
1337 gcc_checking_assert (!edge->speculative);
042ae7d2
JH
1338 }
1339
27c5a177
MJ
1340 edge->indirect_unknown_callee = 0;
1341 ggc_free (edge->indirect_info);
1342 edge->indirect_info = NULL;
e33c6cd6
MJ
1343
1344 /* Get the edge out of the indirect edge list. */
27c5a177
MJ
1345 if (edge->prev_callee)
1346 edge->prev_callee->next_callee = edge->next_callee;
1347 if (edge->next_callee)
1348 edge->next_callee->prev_callee = edge->prev_callee;
1349 if (!edge->prev_callee)
1350 edge->caller->indirect_calls = edge->next_callee;
e33c6cd6
MJ
1351
1352 /* Put it into the normal callee list */
27c5a177
MJ
1353 edge->prev_callee = NULL;
1354 edge->next_callee = edge->caller->callees;
1355 if (edge->caller->callees)
1356 edge->caller->callees->prev_callee = edge;
1357 edge->caller->callees = edge;
e33c6cd6
MJ
1358
1359 /* Insert to callers list of the new callee. */
90988f77 1360 edge->set_callee (callee);
e33c6cd6
MJ
1361
1362 /* We need to re-determine the inlining status of the edge. */
1363 initialize_inline_failed (edge);
042ae7d2 1364 return edge;
2563c224
RG
1365}
1366
72b3bc89
JH
1367/* Redirect callee of the edge to N. The function does not update underlying
1368 call expression. */
1369
1370void
1371cgraph_edge::redirect_callee (cgraph_node *n)
1372{
1373 bool loc = callee->comdat_local_p ();
1374 /* Remove from callers list of the current callee. */
1375 remove_callee ();
1376
1377 /* Insert to callers list of the new callee. */
1378 set_callee (n);
1379
1380 if (!inline_failed)
1381 return;
1382 if (!loc && n->comdat_local_p ())
1383 {
1384 cgraph_node *to = caller->inlined_to ? caller->inlined_to : caller;
1385 to->calls_comdat_local = true;
1386 }
1387 else if (loc && !n->comdat_local_p ())
1388 {
1389 cgraph_node *to = caller->inlined_to ? caller->inlined_to : caller;
1390 gcc_checking_assert (to->calls_comdat_local);
1391 to->calls_comdat_local = to->check_calls_comdat_local_p ();
1392 }
1393}
1394
66a20fc2 1395/* If necessary, change the function declaration in the call statement
27c5a177 1396 associated with E so that it corresponds to the edge callee. Speculations
f1ba88b1
XHL
1397 can be resolved in the process and EDGE can be removed and deallocated.
1398
1399 The edge could be one of speculative direct call generated from speculative
1400 indirect call. In this circumstance, decrease the speculative targets
1401 count (i.e. num_speculative_call_targets) and redirect call stmt to the
1402 corresponding i-th target. If no speculative direct call left to the
1403 speculative indirect call, remove "speculative" of the indirect call and
1404 also redirect stmt to it's final direct target.
1405
1406 It is up to caller to iteratively transform each "speculative"
1407 direct call as appropriate. */
66a20fc2 1408
355fe088 1409gimple *
27c5a177 1410cgraph_edge::redirect_call_stmt_to_callee (cgraph_edge *e)
66a20fc2
JH
1411{
1412 tree decl = gimple_call_fndecl (e->call_stmt);
538dd0b7 1413 gcall *new_stmt;
66a20fc2 1414
042ae7d2
JH
1415 if (e->speculative)
1416 {
a21e735e
JH
1417 /* If there already is an direct call (i.e. as a result of inliner's
1418 substitution), forget about speculating. */
eefe9a99 1419 if (decl)
7c710777
JH
1420 e = make_direct (e->speculative_call_indirect_edge (),
1421 cgraph_node::get (decl));
09ce3660
JH
1422 else
1423 {
845bb366 1424 /* Be sure we redirect all speculative targets before poking
3104a9fa 1425 about indirect edge. */
845bb366
JH
1426 gcc_checking_assert (e->callee);
1427 cgraph_edge *indirect = e->speculative_call_indirect_edge ();
1428 gcall *new_stmt;
1429 ipa_ref *ref;
1430
73136074 1431 /* Expand speculation into GIMPLE code. */
09ce3660 1432 if (dump_file)
3995f3a2
JH
1433 {
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");
1440 }
67348ccc 1441 push_cfun (DECL_STRUCT_FUNCTION (e->caller->decl));
109bb9be 1442
845bb366
JH
1443 profile_count all = indirect->count;
1444 for (cgraph_edge *e2 = e->first_speculative_call_target ();
1445 e2;
1446 e2 = e2->next_speculative_call_target ())
1447 all = all + e2->count;
1448 profile_probability prob = e->count.probability_in (all);
1bad9c18 1449 if (!prob.initialized_p ())
109bb9be 1450 prob = profile_probability::even ();
845bb366 1451 ref = e->speculative_call_target_ref ();
0b986c6a
JH
1452 new_stmt = gimple_ic (e->call_stmt,
1453 dyn_cast<cgraph_node *> (ref->referred),
e7a74006 1454 prob);
042ae7d2 1455 e->speculative = false;
845bb366 1456 if (indirect->num_speculative_call_targets_p ())
f1ba88b1
XHL
1457 {
1458 /* The indirect edge has multiple speculative targets, don't
1459 remove speculative until all related direct edges are
1460 redirected. */
845bb366
JH
1461 indirect->indirect_info->num_speculative_call_targets--;
1462 if (!indirect->indirect_info->num_speculative_call_targets)
1463 indirect->speculative = false;
f1ba88b1
XHL
1464 }
1465 else
845bb366 1466 indirect->speculative = false;
042ae7d2
JH
1467 /* Indirect edges are not both in the call site hash.
1468 get it updated. */
845bb366
JH
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;
1472
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;
042ae7d2
JH
1480 pop_cfun ();
1481 /* Continue redirecting E to proper target. */
1482 }
1483 }
1484
8e9b2773 1485
66a20fc2 1486 if (e->indirect_unknown_callee
31db0fe0 1487 || decl == e->callee->decl)
66a20fc2
JH
1488 return e->call_stmt;
1489
7123347c
MJ
1490 if (decl && ipa_saved_clone_sources)
1491 {
1492 tree *p = ipa_saved_clone_sources->get (e->callee);
1493 if (p && decl == *p)
1494 {
1495 gimple_call_set_fndecl (e->call_stmt, e->callee->decl);
1496 return e->call_stmt;
1497 }
1498 }
b2b29377 1499 if (flag_checking && decl)
66a20fc2 1500 {
895fdc1f
IB
1501 if (cgraph_node *node = cgraph_node::get (decl))
1502 {
1503 clone_info *info = clone_info::get (node);
1504 gcc_assert (!info || !info->param_adjustments);
1505 }
66a20fc2 1506 }
66a20fc2 1507
ae7a23a3 1508 clone_info *callee_info = clone_info::get (e->callee);
3dafb85c 1509 if (symtab->dump_file)
66a20fc2 1510 {
464d0118
ML
1511 fprintf (symtab->dump_file, "updating call of %s -> %s: ",
1512 e->caller->dump_name (), e->callee->dump_name ());
3dafb85c 1513 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
ae7a23a3
JH
1514 if (callee_info && callee_info->param_adjustments)
1515 callee_info->param_adjustments->dump (symtab->dump_file);
66a20fc2
JH
1516 }
1517
ae7a23a3
JH
1518 if (ipa_param_adjustments *padjs
1519 = callee_info ? callee_info->param_adjustments : NULL)
66a20fc2 1520 {
ff6686d2 1521 /* We need to defer cleaning EH info on the new statement to
ae7a23a3 1522 fixup-cfg. We may not have dominator information at this point
ff6686d2
MJ
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);
66a20fc2 1528
b0fd4d7e 1529 tree old_fntype = gimple_call_fntype (e->call_stmt);
87467f45 1530 new_stmt = padjs->modify_call (e, false);
b0fd4d7e
MJ
1531 cgraph_node *origin = e->callee;
1532 while (origin->clone_of)
1533 origin = origin->clone_of;
1534
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
1540 {
ff6686d2
MJ
1541 tree new_fntype = padjs->build_new_function_type (old_fntype, true);
1542 gimple_call_set_fntype (new_stmt, new_fntype);
a49de7a4
JJ
1543 }
1544
66a20fc2 1545 if (lp_nr != 0)
ff6686d2 1546 add_stmt_to_eh_lp (new_stmt, lp_nr);
66a20fc2
JH
1547 }
1548 else
1549 {
87467f45
MJ
1550 if (flag_checking
1551 && !fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE))
1552 ipa_verify_edge_has_no_modifications (e);
66a20fc2 1553 new_stmt = e->call_stmt;
67348ccc 1554 gimple_call_set_fndecl (new_stmt, e->callee->decl);
6a58ccca 1555 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
66a20fc2
JH
1556 }
1557
1f91747b
JJ
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));
1566
e6a54b01 1567 /* If the call becomes noreturn, remove the LHS if possible. */
77f1efdb 1568 tree lhs = gimple_call_lhs (new_stmt);
1f91747b
JJ
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)))
23a04216 1573 {
32ab9238
RB
1574 gimple_call_set_lhs (new_stmt, NULL_TREE);
1575 /* We need to fix up the SSA name to avoid checking errors. */
23a04216
JH
1576 if (TREE_CODE (lhs) == SSA_NAME)
1577 {
45b62594
RB
1578 tree var = create_tmp_reg_fn (DECL_STRUCT_FUNCTION (e->caller->decl),
1579 TREE_TYPE (lhs), NULL);
32ab9238
RB
1580 SET_SSA_NAME_VAR_OR_IDENTIFIER (lhs, var);
1581 SSA_NAME_DEF_STMT (lhs) = gimple_build_nop ();
1582 set_ssa_default_def (DECL_STRUCT_FUNCTION (e->caller->decl),
1583 var, lhs);
23a04216 1584 }
1f91035f
JH
1585 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1586 }
1587
1588 /* If new callee has no static chain, remove it. */
1589 if (gimple_call_chain (new_stmt) && !DECL_STATIC_CHAIN (e->callee->decl))
1590 {
1591 gimple_call_set_chain (new_stmt, NULL);
1592 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
23a04216
JH
1593 }
1594
0b986c6a
JH
1595 maybe_remove_unused_call_args (DECL_STRUCT_FUNCTION (e->caller->decl),
1596 new_stmt);
1597
d52f5295 1598 e->caller->set_call_stmt_including_clones (e->call_stmt, new_stmt, false);
66a20fc2 1599
3dafb85c 1600 if (symtab->dump_file)
66a20fc2 1601 {
3dafb85c
ML
1602 fprintf (symtab->dump_file, " updated to:");
1603 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
66a20fc2
JH
1604 }
1605 return new_stmt;
1606}
726a989a
RB
1607
1608/* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
4b685e14 1609 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
a9d24544
JJ
1610 of OLD_STMT if it was previously call statement.
1611 If NEW_STMT is NULL, the call has been dropped without any
1612 replacement. */
2bafad93 1613
9187e02d 1614static void
3dafb85c 1615cgraph_update_edges_for_call_stmt_node (cgraph_node *node,
355fe088
TS
1616 gimple *old_stmt, tree old_call,
1617 gimple *new_stmt)
2bafad93 1618{
a9d24544
JJ
1619 tree new_call = (new_stmt && is_gimple_call (new_stmt))
1620 ? gimple_call_fndecl (new_stmt) : 0;
2bafad93 1621
4b685e14
JH
1622 /* We are seeing indirect calls, then there is nothing to update. */
1623 if (!new_call && !old_call)
1624 return;
1625 /* See if we turned indirect call into direct call or folded call to one builtin
61502ca8 1626 into different builtin. */
2bafad93
JJ
1627 if (old_call != new_call)
1628 {
3dafb85c
ML
1629 cgraph_edge *e = node->get_edge (old_stmt);
1630 cgraph_edge *ne = NULL;
3995f3a2 1631 profile_count count;
2bafad93
JJ
1632
1633 if (e)
1634 {
1f4eb0e9 1635 /* Keep calls marked as dead dead. */
931c8e9a 1636 if (new_stmt && is_gimple_call (new_stmt) && e->callee
3d78e008 1637 && fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE))
1f4eb0e9 1638 {
27c5a177
MJ
1639 cgraph_edge::set_call_stmt (node->get_edge (old_stmt),
1640 as_a <gcall *> (new_stmt));
1f4eb0e9
JH
1641 return;
1642 }
e33c6cd6
MJ
1643 /* See if the edge is already there and has the correct callee. It
1644 might be so because of indirect inlining has already updated
97ba0040
JH
1645 it. We also might've cloned and redirected the edge. */
1646 if (new_call && e->callee)
1647 {
3dafb85c 1648 cgraph_node *callee = e->callee;
97ba0040
JH
1649 while (callee)
1650 {
67348ccc 1651 if (callee->decl == new_call
97ba0040 1652 || callee->former_clone_of == new_call)
eb14a79f 1653 {
27c5a177 1654 cgraph_edge::set_call_stmt (e, as_a <gcall *> (new_stmt));
eb14a79f
ML
1655 return;
1656 }
97ba0040
JH
1657 callee = callee->clone_of;
1658 }
1659 }
4b685e14
JH
1660
1661 /* Otherwise remove edge and create new one; we can't simply redirect
1662 since function has changed, so inline plan and other information
1663 attached to edge is invalid. */
1bad9c18 1664 count = e->count;
2dbe8b70 1665 if (e->indirect_unknown_callee || e->inline_failed)
27c5a177 1666 cgraph_edge::remove (e);
2dbe8b70 1667 else
d52f5295 1668 e->callee->remove_symbol_and_inline_clones ();
4b685e14 1669 }
a9d24544 1670 else if (new_call)
4b685e14
JH
1671 {
1672 /* We are seeing new direct call; compute profile info based on BB. */
1673 basic_block bb = gimple_bb (new_stmt);
1bad9c18 1674 count = bb->count;
2bafad93 1675 }
2bafad93 1676
4b685e14
JH
1677 if (new_call)
1678 {
d52f5295 1679 ne = node->create_edge (cgraph_node::get_create (new_call),
1bad9c18 1680 as_a <gcall *> (new_stmt), count);
4b685e14
JH
1681 gcc_assert (ne->inline_failed);
1682 }
2bafad93 1683 }
4b685e14
JH
1684 /* We only updated the call stmt; update pointer in cgraph edge.. */
1685 else if (old_stmt != new_stmt)
27c5a177
MJ
1686 cgraph_edge::set_call_stmt (node->get_edge (old_stmt),
1687 as_a <gcall *> (new_stmt));
2bafad93
JJ
1688}
1689
9187e02d 1690/* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
4b685e14
JH
1691 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1692 of OLD_STMT before it was updated (updating can happen inplace). */
9187e02d
JH
1693
1694void
355fe088
TS
1695cgraph_update_edges_for_call_stmt (gimple *old_stmt, tree old_decl,
1696 gimple *new_stmt)
9187e02d 1697{
3dafb85c
ML
1698 cgraph_node *orig = cgraph_node::get (cfun->decl);
1699 cgraph_node *node;
9187e02d 1700
a358e188 1701 gcc_checking_assert (orig);
4b685e14 1702 cgraph_update_edges_for_call_stmt_node (orig, old_stmt, old_decl, new_stmt);
9187e02d
JH
1703 if (orig->clones)
1704 for (node = orig->clones; node != orig;)
1705 {
ae7a23a3
JH
1706 cgraph_update_edges_for_call_stmt_node (node, old_stmt, old_decl,
1707 new_stmt);
9187e02d
JH
1708 if (node->clones)
1709 node = node->clones;
1710 else if (node->next_sibling_clone)
1711 node = node->next_sibling_clone;
1712 else
1713 {
1714 while (node != orig && !node->next_sibling_clone)
1715 node = node->clone_of;
1716 if (node != orig)
1717 node = node->next_sibling_clone;
1718 }
1719 }
1720}
1721
726a989a 1722
2563c224
RG
1723/* Remove all callees from the node. */
1724
1725void
d52f5295 1726cgraph_node::remove_callees (void)
2563c224 1727{
3dafb85c 1728 cgraph_edge *e, *f;
2563c224 1729
72b3bc89
JH
1730 calls_comdat_local = false;
1731
2563c224
RG
1732 /* It is sufficient to remove the edges from the lists of callers of
1733 the callees. The callee list of the node can be zapped with one
1734 assignment. */
d52f5295 1735 for (e = callees; e; e = f)
9088c1cc 1736 {
5c0466b5 1737 f = e->next_callee;
3dafb85c 1738 symtab->call_edge_removal_hooks (e);
e33c6cd6 1739 if (!e->indirect_unknown_callee)
3dafb85c
ML
1740 e->remove_callee ();
1741 symtab->free_edge (e);
9088c1cc 1742 }
d52f5295 1743 for (e = indirect_calls; e; e = f)
5f902d76
JH
1744 {
1745 f = e->next_callee;
3dafb85c 1746 symtab->call_edge_removal_hooks (e);
5f902d76 1747 if (!e->indirect_unknown_callee)
3dafb85c
ML
1748 e->remove_callee ();
1749 symtab->free_edge (e);
5f902d76 1750 }
d52f5295
ML
1751 indirect_calls = NULL;
1752 callees = NULL;
1753 if (call_site_hash)
70d539ce 1754 {
2a22f99c 1755 call_site_hash->empty ();
d52f5295 1756 call_site_hash = NULL;
70d539ce 1757 }
2563c224
RG
1758}
1759
1760/* Remove all callers from the node. */
1761
d52f5295
ML
1762void
1763cgraph_node::remove_callers (void)
2563c224 1764{
3dafb85c 1765 cgraph_edge *e, *f;
2563c224
RG
1766
1767 /* It is sufficient to remove the edges from the lists of callees of
1768 the callers. The caller list of the node can be zapped with one
1769 assignment. */
d52f5295 1770 for (e = callers; e; e = f)
9088c1cc 1771 {
5c0466b5 1772 f = e->next_caller;
3dafb85c
ML
1773 symtab->call_edge_removal_hooks (e);
1774 e->remove_caller ();
1775 symtab->free_edge (e);
9088c1cc 1776 }
d52f5295 1777 callers = NULL;
18c6ada9
JH
1778}
1779
49bde175
JH
1780/* Helper function for cgraph_release_function_body and free_lang_data.
1781 It releases body from function DECL without having to inspect its
1782 possibly non-existent symtab node. */
3a40c18a
JH
1783
1784void
49bde175 1785release_function_body (tree decl)
3a40c18a 1786{
61183076
RB
1787 function *fn = DECL_STRUCT_FUNCTION (decl);
1788 if (fn)
3a40c18a 1789 {
61183076 1790 if (fn->cfg
381cdae4 1791 && loops_for_fn (fn))
936fc9ba 1792 {
381cdae4
RB
1793 fn->curr_properties &= ~PROP_loops;
1794 loop_optimizer_finalize (fn);
1795 }
1796 if (fn->gimple_df)
1797 {
1798 delete_tree_ssa (fn);
1799 fn->eh = NULL;
1800 }
1801 if (fn->cfg)
1802 {
1803 gcc_assert (!dom_info_available_p (fn, CDI_DOMINATORS));
1804 gcc_assert (!dom_info_available_p (fn, CDI_POST_DOMINATORS));
1805 delete_tree_cfg_annotations (fn);
45281f12 1806 free_cfg (fn);
381cdae4 1807 fn->cfg = NULL;
936fc9ba 1808 }
381cdae4
RB
1809 if (fn->value_histograms)
1810 free_histograms (fn);
49bde175 1811 gimple_set_body (decl, NULL);
936fc9ba 1812 /* Struct function hangs a lot of data that would leak if we didn't
ae7a23a3 1813 removed all pointers to it. */
61183076 1814 ggc_free (fn);
49bde175
JH
1815 DECL_STRUCT_FUNCTION (decl) = NULL;
1816 }
1817 DECL_SAVED_TREE (decl) = NULL;
1818}
1819
d52f5295 1820/* Release memory used to represent body of function.
49bde175
JH
1821 Use this only for functions that are released before being translated to
1822 target code (i.e. RTL). Functions that are compiled to RTL and beyond
e53b6e56 1823 are free'd in final.cc via free_after_compilation().
bf898b30 1824 KEEP_ARGUMENTS are useful only if you want to rebuild body as thunk. */
49bde175
JH
1825
1826void
bf898b30 1827cgraph_node::release_body (bool keep_arguments)
49bde175 1828{
d52f5295 1829 ipa_transforms_to_apply.release ();
3dafb85c 1830 if (!used_as_abstract_origin && symtab->state != PARSING)
49bde175 1831 {
d52f5295 1832 DECL_RESULT (decl) = NULL;
bf898b30
ML
1833
1834 if (!keep_arguments)
1835 DECL_ARGUMENTS (decl) = NULL;
3a40c18a 1836 }
026c3cfd
AH
1837 /* If the node is abstract and needed, then do not clear
1838 DECL_INITIAL of its associated function declaration because it's
6b20f353 1839 needed to emit debug info later. */
d52f5295
ML
1840 if (!used_as_abstract_origin && DECL_INITIAL (decl))
1841 DECL_INITIAL (decl) = error_mark_node;
1842 release_function_body (decl);
1843 if (lto_file_data)
1c4db829
JH
1844 {
1845 lto_free_function_in_decl_state_for_node (this);
1846 lto_file_data = NULL;
1847 }
23ce9945
JH
1848 if (flag_checking && clones)
1849 {
1850 /* It is invalid to release body before materializing clones except
1851 for thunks that don't really need a body. Verify also that we do
1852 not leak pointers to the call statements. */
1853 for (cgraph_node *node = clones; node;
1854 node = node->next_sibling_clone)
1855 gcc_assert (node->thunk && !node->callees->call_stmt);
1856 }
d7145b4b
JH
1857 remove_callees ();
1858 remove_all_references ();
3a40c18a
JH
1859}
1860
d52f5295 1861/* Remove function from symbol table. */
18d13f34
JH
1862
1863void
d52f5295 1864cgraph_node::remove (void)
18d13f34 1865{
ab4664eb
JH
1866 bool clone_info_set = false;
1867 clone_info *info, saved_info;
0bdad123
ML
1868 if (symtab->ipa_clones_dump_file && symtab->cloned_nodes.contains (this))
1869 fprintf (symtab->ipa_clones_dump_file,
1870 "Callgraph removal;%s;%d;%s;%d;%d\n", asm_name (), order,
1871 DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl),
1872 DECL_SOURCE_COLUMN (decl));
1873
ab4664eb
JH
1874 if ((info = clone_info::get (this)) != NULL)
1875 {
1876 saved_info = *info;
1877 clone_info_set = true;
1878 }
3dafb85c 1879 symtab->call_cgraph_removal_hooks (this);
d52f5295
ML
1880 remove_callers ();
1881 remove_callees ();
1882 ipa_transforms_to_apply.release ();
9acb4592 1883 delete_function_version (function_version ());
266ad5c8 1884
96fc428c
JH
1885 /* Incremental inlining access removed nodes stored in the postorder list.
1886 */
d52f5295
ML
1887 force_output = false;
1888 forced_by_abi = false;
18d13f34 1889
ab4664eb 1890 unregister (clone_info_set ? &saved_info : NULL);
d52f5295
ML
1891 if (prev_sibling_clone)
1892 prev_sibling_clone->next_sibling_clone = next_sibling_clone;
1893 else if (clone_of)
27ee75db
MJ
1894 {
1895 clone_of->clones = next_sibling_clone;
1896 if (!clone_of->analyzed && !clone_of->clones && !clones)
1897 clone_of->release_body ();
1898 }
d52f5295
ML
1899 if (next_sibling_clone)
1900 next_sibling_clone->prev_sibling_clone = prev_sibling_clone;
1901 if (clones)
18c6ada9 1902 {
3dafb85c 1903 cgraph_node *n, *next;
47cb0d7d 1904
d52f5295 1905 if (clone_of)
ae7a23a3 1906 {
d52f5295
ML
1907 for (n = clones; n->next_sibling_clone; n = n->next_sibling_clone)
1908 n->clone_of = clone_of;
1909 n->clone_of = clone_of;
1910 n->next_sibling_clone = clone_of->clones;
1911 if (clone_of->clones)
1912 clone_of->clones->prev_sibling_clone = n;
1913 clone_of->clones = clones;
47cb0d7d
JH
1914 }
1915 else
ae7a23a3 1916 {
66a20fc2 1917 /* We are removing node with clones. This makes clones inconsistent,
47cb0d7d
JH
1918 but assume they will be removed subsequently and just keep clone
1919 tree intact. This can happen in unreachable function removal since
1920 we remove unreachable functions in random order, not by bottom-up
1921 walk of clone trees. */
d52f5295 1922 for (n = clones; n; n = next)
47cb0d7d
JH
1923 {
1924 next = n->next_sibling_clone;
1925 n->next_sibling_clone = NULL;
1926 n->prev_sibling_clone = NULL;
1927 n->clone_of = NULL;
1928 }
1929 }
18c6ada9
JH
1930 }
1931
c22cacf3 1932 /* While all the clones are removed after being proceeded, the function
4a76d91a
JH
1933 itself is kept in the cgraph even after it is compiled. Check whether
1934 we are done with this body and reclaim it proactively if this is the case.
1935 */
3dafb85c 1936 if (symtab->state != LTO_STREAMING)
4f63dfc6 1937 {
cc849505 1938 cgraph_node *n = cgraph_node::get (decl);
4f63dfc6 1939 if (!n
a62bfab5 1940 || (!n->clones && !n->clone_of && !n->inlined_to
1c4db829 1941 && ((symtab->global_info_ready || in_lto_p)
67348ccc
DM
1942 && (TREE_ASM_WRITTEN (n->decl)
1943 || DECL_EXTERNAL (n->decl)
1944 || !n->analyzed
1945 || (!flag_wpa && n->in_other_partition)))))
d52f5295 1946 release_body ();
4f63dfc6 1947 }
1c4db829
JH
1948 else
1949 {
1950 lto_free_function_in_decl_state_for_node (this);
1951 lto_file_data = NULL;
1952 }
1ab24192 1953
d52f5295
ML
1954 decl = NULL;
1955 if (call_site_hash)
70d539ce 1956 {
2a22f99c 1957 call_site_hash->empty ();
d52f5295 1958 call_site_hash = NULL;
70d539ce 1959 }
2fb16412 1960
74644756 1961 symtab->release_symbol (this);
18d13f34
JH
1962}
1963
39ff5a96
JH
1964/* Likewise indicate that a node is having address taken. */
1965
1966void
d52f5295 1967cgraph_node::mark_address_taken (void)
39ff5a96 1968{
4502fe8d
MJ
1969 /* Indirect inlining can figure out that all uses of the address are
1970 inlined. */
a62bfab5 1971 if (inlined_to)
4502fe8d
MJ
1972 {
1973 gcc_assert (cfun->after_inlining);
d52f5295 1974 gcc_assert (callers->indirect_inlining_edge);
4502fe8d
MJ
1975 return;
1976 }
39e2db00
JH
1977 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1978 IPA_REF_ADDR reference exists (and thus it should be set on node
1979 representing alias we take address of) and as a test whether address
1980 of the object was taken (and thus it should be set on node alias is
1981 referring to). We should remove the first use and the remove the
1982 following set. */
d52f5295
ML
1983 address_taken = 1;
1984 cgraph_node *node = ultimate_alias_target ();
67348ccc 1985 node->address_taken = 1;
39ff5a96
JH
1986}
1987
87f94429 1988/* Return local info node for the compiled function. */
dafc5b82 1989
87f94429
ML
1990cgraph_node *
1991cgraph_node::local_info_node (tree decl)
dafc5b82 1992{
341c100f 1993 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
3dafb85c 1994 cgraph_node *node = get (decl);
9f9ebcdf
MJ
1995 if (!node)
1996 return NULL;
87f94429 1997 return node->ultimate_alias_target ();
dafc5b82
JH
1998}
1999
ef736163 2000/* Return RTL info for the compiled function. */
b255a036 2001
3dafb85c 2002cgraph_rtl_info *
5a5a3bc5 2003cgraph_node::rtl_info (const_tree decl)
b255a036 2004{
341c100f 2005 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
3dafb85c 2006 cgraph_node *node = get (decl);
4bd019b8
JH
2007 if (!node)
2008 return NULL;
fc15d9ec
JJ
2009 enum availability avail;
2010 node = node->ultimate_alias_target (&avail);
2011 if (decl != current_function_decl
2012 && (avail < AVAIL_AVAILABLE
2013 || (node->decl != current_function_decl
2014 && !TREE_ASM_WRITTEN (node->decl))))
b255a036 2015 return NULL;
fc15d9ec
JJ
2016 /* Allocate if it doesn't exist. */
2017 if (node->rtl == NULL)
5a5a3bc5
RS
2018 {
2019 node->rtl = ggc_cleared_alloc<cgraph_rtl_info> ();
aa29ed6d 2020 SET_HARD_REG_SET (node->rtl->function_used_regs);
5a5a3bc5 2021 }
fc15d9ec 2022 return node->rtl;
b255a036
JH
2023}
2024
61a05df1
JH
2025/* Return a string describing the failure REASON. */
2026
2027const char*
2028cgraph_inline_failed_string (cgraph_inline_failed_t reason)
2029{
2030#undef DEFCIFCODE
1cf11770 2031#define DEFCIFCODE(code, type, string) string,
61a05df1
JH
2032
2033 static const char *cif_string_table[CIF_N_REASONS] = {
2034#include "cif-code.def"
2035 };
2036
2037 /* Signedness of an enum type is implementation defined, so cast it
2038 to unsigned before testing. */
2039 gcc_assert ((unsigned) reason < CIF_N_REASONS);
2040 return cif_string_table[reason];
2041}
2042
1cf11770
L
2043/* Return a type describing the failure REASON. */
2044
2045cgraph_inline_failed_type_t
2046cgraph_inline_failed_type (cgraph_inline_failed_t reason)
2047{
2048#undef DEFCIFCODE
2049#define DEFCIFCODE(code, type, string) type,
2050
2051 static cgraph_inline_failed_type_t cif_type_table[CIF_N_REASONS] = {
2052#include "cif-code.def"
2053 };
2054
2055 /* Signedness of an enum type is implementation defined, so cast it
2056 to unsigned before testing. */
2057 gcc_assert ((unsigned) reason < CIF_N_REASONS);
2058 return cif_type_table[reason];
2059}
2060
6b02a499 2061/* Names used to print out the availability enum. */
8a4a83ed 2062const char * const cgraph_availability_names[] =
fa10beec 2063 {"unset", "not_available", "overwritable", "available", "local"};
6b02a499 2064
90988f77 2065/* Output flags of edge to a file F. */
ba392339 2066
90988f77
ML
2067void
2068cgraph_edge::dump_edge_flags (FILE *f)
ba392339 2069{
90988f77 2070 if (speculative)
ba392339 2071 fprintf (f, "(speculative) ");
90988f77 2072 if (!inline_failed)
ba392339 2073 fprintf (f, "(inlined) ");
1a0bf5e1
JH
2074 if (call_stmt_cannot_inline_p)
2075 fprintf (f, "(call_stmt_cannot_inline_p) ");
90988f77 2076 if (indirect_inlining_edge)
ba392339 2077 fprintf (f, "(indirect_inlining) ");
3995f3a2
JH
2078 if (count.initialized_p ())
2079 {
2080 fprintf (f, "(");
2081 count.dump (f);
1bad9c18 2082 fprintf (f, ",");
7349698e 2083 fprintf (f, "%.2f per call) ", sreal_frequency ().to_double ());
3995f3a2 2084 }
90988f77 2085 if (can_throw_external)
ba392339
JH
2086 fprintf (f, "(can throw external) ");
2087}
c4e622b6 2088
b2784a96
ML
2089/* Dump edge to stderr. */
2090
2091void
2092cgraph_edge::debug (void)
2093{
2094 fprintf (stderr, "%s -> %s ", caller->dump_asm_name (),
2095 callee == NULL ? "(null)" : callee->dump_asm_name ());
2096 dump_edge_flags (stderr);
2097 fprintf (stderr, "\n\n");
2098 caller->debug ();
2099 if (callee != NULL)
2100 callee->debug ();
2101}
2102
d52f5295 2103/* Dump call graph node to file F. */
c4e622b6 2104
18c6ada9 2105void
d52f5295 2106cgraph_node::dump (FILE *f)
18c6ada9 2107{
3dafb85c 2108 cgraph_edge *edge;
e33c6cd6 2109
d52f5295 2110 dump_base (f);
8f940ee6 2111
a62bfab5 2112 if (inlined_to)
464d0118
ML
2113 fprintf (f, " Function %s is inline copy in %s\n",
2114 dump_name (),
a62bfab5 2115 inlined_to->dump_name ());
d52f5295 2116 if (clone_of)
464d0118 2117 fprintf (f, " Clone of %s\n", clone_of->dump_asm_name ());
3dafb85c 2118 if (symtab->function_flags_ready)
8f940ee6 2119 fprintf (f, " Availability: %s\n",
d52f5295 2120 cgraph_availability_names [get_availability ()]);
8f940ee6 2121
d52f5295 2122 if (profile_id)
634ab819 2123 fprintf (f, " Profile id: %i\n",
d52f5295 2124 profile_id);
b74d8dc4
JH
2125 if (unit_id)
2126 fprintf (f, " Unit id: %i\n",
2127 unit_id);
9e57787b
ML
2128 cgraph_function_version_info *vi = function_version ();
2129 if (vi != NULL)
2130 {
2131 fprintf (f, " Version info: ");
2132 if (vi->prev != NULL)
2133 {
2134 fprintf (f, "prev: ");
464d0118 2135 fprintf (f, "%s ", vi->prev->this_node->dump_asm_name ());
9e57787b
ML
2136 }
2137 if (vi->next != NULL)
2138 {
2139 fprintf (f, "next: ");
464d0118 2140 fprintf (f, "%s ", vi->next->this_node->dump_asm_name ());
9e57787b
ML
2141 }
2142 if (vi->dispatcher_resolver != NULL_TREE)
2143 fprintf (f, "dispatcher: %s",
2144 lang_hooks.decl_printable_name (vi->dispatcher_resolver, 2));
2145
2146 fprintf (f, "\n");
2147 }
8f940ee6 2148 fprintf (f, " Function flags:");
3995f3a2
JH
2149 if (count.initialized_p ())
2150 {
19b55958 2151 fprintf (f, " count:");
3995f3a2
JH
2152 count.dump (f);
2153 }
19b55958 2154 if (tp_first_run > 0)
6d8fd122 2155 fprintf (f, " first_run:%" PRId64, (int64_t) tp_first_run);
89576d86 2156 if (cgraph_node *origin = nested_function_origin (this))
3629ff8a 2157 fprintf (f, " nested in:%s", origin->dump_asm_name ());
d52f5295 2158 if (gimple_has_body_p (decl))
726a989a 2159 fprintf (f, " body");
d52f5295 2160 if (process)
257eb6e3 2161 fprintf (f, " process");
87f94429 2162 if (local)
18c6ada9 2163 fprintf (f, " local");
87f94429 2164 if (redefined_extern_inline)
e7d6beb0 2165 fprintf (f, " redefined_extern_inline");
d52f5295 2166 if (only_called_at_startup)
844db5d0 2167 fprintf (f, " only_called_at_startup");
d52f5295 2168 if (only_called_at_exit)
844db5d0 2169 fprintf (f, " only_called_at_exit");
d52f5295 2170 if (tm_clone)
0a35513e 2171 fprintf (f, " tm_clone");
c6cf6ef7
ML
2172 if (calls_comdat_local)
2173 fprintf (f, " calls_comdat_local");
b84d4347
ML
2174 if (icf_merged)
2175 fprintf (f, " icf_merged");
88636b62
JH
2176 if (merged_comdat)
2177 fprintf (f, " merged_comdat");
b74d8dc4
JH
2178 if (merged_extern_inline)
2179 fprintf (f, " merged_extern_inline");
4f4ada6a
JH
2180 if (split_part)
2181 fprintf (f, " split_part");
2182 if (indirect_call_target)
2183 fprintf (f, " indirect_call_target");
8413ca87
JJ
2184 if (nonfreeing_fn)
2185 fprintf (f, " nonfreeing_fn");
d52f5295
ML
2186 if (DECL_STATIC_CONSTRUCTOR (decl))
2187 fprintf (f," static_constructor (priority:%i)", get_init_priority ());
2188 if (DECL_STATIC_DESTRUCTOR (decl))
2189 fprintf (f," static_destructor (priority:%i)", get_fini_priority ());
a89bd7d2
JH
2190 if (frequency == NODE_FREQUENCY_HOT)
2191 fprintf (f, " hot");
2192 if (frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED)
2193 fprintf (f, " unlikely_executed");
2194 if (frequency == NODE_FREQUENCY_EXECUTED_ONCE)
2195 fprintf (f, " executed_once");
a89bd7d2
JH
2196 if (opt_for_fn (decl, optimize_size))
2197 fprintf (f, " optimize_size");
a79b7ec5
TV
2198 if (parallelized_function)
2199 fprintf (f, " parallelized_function");
f5850e7d
ML
2200 if (DECL_IS_MALLOC (decl))
2201 fprintf (f, " decl_is_malloc");
3a961aea 2202 if (DECL_IS_OPERATOR_NEW_P (decl))
70df40ca
ML
2203 fprintf (f, " %soperator_new",
2204 DECL_IS_REPLACEABLE_OPERATOR (decl) ? "replaceable_" : "");
3a961aea 2205 if (DECL_IS_OPERATOR_DELETE_P (decl))
70df40ca
ML
2206 fprintf (f, " %soperator_delete",
2207 DECL_IS_REPLACEABLE_OPERATOR (decl) ? "replaceable_" : "");
18c6ada9 2208
355eb60b
ML
2209 if (DECL_STATIC_CHAIN (decl))
2210 fprintf (f, " static_chain");
409767d7 2211
c47d0034
JH
2212 fprintf (f, "\n");
2213
67f3791f 2214 if (thunk)
c47d0034 2215 {
40a7fe1e 2216 fprintf (f, " Thunk");
67f3791f 2217 thunk_info::get (this)->dump (f);
c47d0034 2218 }
1738b522 2219 else if (former_thunk_p ())
39e2db00 2220 {
67f3791f
JH
2221 fprintf (f, " Former thunk ");
2222 thunk_info::get (this)->dump (f);
39e2db00 2223 }
67f3791f 2224 else gcc_checking_assert (!thunk_info::get (this));
c47d0034 2225
8f940ee6 2226 fprintf (f, " Called by: ");
c47d0034 2227
7c41b76e 2228 profile_count sum = profile_count::zero ();
d52f5295 2229 for (edge = callers; edge; edge = edge->next_caller)
18c6ada9 2230 {
4dfa3251 2231 fprintf (f, "%s ", edge->caller->dump_asm_name ());
90988f77 2232 edge->dump_edge_flags (f);
7c41b76e 2233 if (edge->count.initialized_p ())
d53a5d8b 2234 sum += edge->count.ipa ();
18c6ada9
JH
2235 }
2236
8f940ee6 2237 fprintf (f, "\n Calls: ");
d52f5295 2238 for (edge = callees; edge; edge = edge->next_callee)
18c6ada9 2239 {
4dfa3251 2240 fprintf (f, "%s ", edge->callee->dump_asm_name ());
90988f77 2241 edge->dump_edge_flags (f);
18c6ada9
JH
2242 }
2243 fprintf (f, "\n");
6744a6ab 2244
371848a7 2245 if (!body_removed && count.ipa ().initialized_p ())
7c41b76e
JH
2246 {
2247 bool ok = true;
2248 bool min = false;
2249 ipa_ref *ref;
2250
2251 FOR_EACH_ALIAS (this, ref)
2252 if (dyn_cast <cgraph_node *> (ref->referring)->count.initialized_p ())
1bad9c18 2253 sum += dyn_cast <cgraph_node *> (ref->referring)->count.ipa ();
371848a7 2254
a62bfab5 2255 if (inlined_to
7c41b76e
JH
2256 || (symtab->state < EXPANSION
2257 && ultimate_alias_target () == this && only_called_directly_p ()))
d53a5d8b 2258 ok = !count.ipa ().differs_from_p (sum);
1bad9c18
JH
2259 else if (count.ipa () > profile_count::from_gcov_type (100)
2260 && count.ipa () < sum.apply_scale (99, 100))
7c41b76e
JH
2261 ok = false, min = true;
2262 if (!ok)
2263 {
2264 fprintf (f, " Invalid sum of caller counts ");
2265 sum.dump (f);
2266 if (min)
2267 fprintf (f, ", should be at most ");
2268 else
2269 fprintf (f, ", should be ");
d53a5d8b 2270 count.ipa ().dump (f);
7c41b76e
JH
2271 fprintf (f, "\n");
2272 }
2273 }
2274
d52f5295 2275 for (edge = indirect_calls; edge; edge = edge->next_callee)
ba392339
JH
2276 {
2277 if (edge->indirect_info->polymorphic)
2278 {
ae7a23a3 2279 fprintf (f, " Polymorphic indirect call of type ");
ba392339
JH
2280 print_generic_expr (f, edge->indirect_info->otr_type, TDF_SLIM);
2281 fprintf (f, " token:%i", (int) edge->indirect_info->otr_token);
2282 }
2283 else
ae7a23a3 2284 fprintf (f, " Indirect call");
90988f77 2285 edge->dump_edge_flags (f);
ba392339
JH
2286 if (edge->indirect_info->param_index != -1)
2287 {
e9e2953c 2288 fprintf (f, "of param:%i ", edge->indirect_info->param_index);
ba392339 2289 if (edge->indirect_info->agg_contents)
e9e2953c 2290 fprintf (f, "loaded from %s %s at offset %i ",
ba392339
JH
2291 edge->indirect_info->member_ptr ? "member ptr" : "aggregate",
2292 edge->indirect_info->by_ref ? "passed by reference":"",
2293 (int)edge->indirect_info->offset);
0127c169 2294 if (edge->indirect_info->vptr_changed)
e9e2953c 2295 fprintf (f, "(vptr maybe changed) ");
ba392339 2296 }
e9e2953c 2297 fprintf (f, "num speculative call targets: %i\n",
f1ba88b1 2298 edge->indirect_info->num_speculative_call_targets);
ba392339
JH
2299 if (edge->indirect_info->polymorphic)
2300 edge->indirect_info->context.dump (f);
2301 }
18c6ada9
JH
2302}
2303
34e64622
GB
2304/* Dump call graph node to file F in graphviz format. */
2305
2306void
2307cgraph_node::dump_graphviz (FILE *f)
2308{
2309 cgraph_edge *edge;
2310
2311 for (edge = callees; edge; edge = edge->next_callee)
2312 {
2313 cgraph_node *callee = edge->callee;
2314
51940760 2315 fprintf (f, "\t\"%s\" -> \"%s\"\n", dump_name (), callee->dump_name ());
34e64622
GB
2316 }
2317}
2318
2319
c4e622b6
DN
2320/* Dump call graph node NODE to stderr. */
2321
24e47c76 2322DEBUG_FUNCTION void
d52f5295 2323cgraph_node::debug (void)
c4e622b6 2324{
d52f5295 2325 dump (stderr);
c4e622b6
DN
2326}
2327
c4e622b6 2328/* Dump the callgraph to file F. */
e72fcfe8
JH
2329
2330void
d52f5295 2331cgraph_node::dump_cgraph (FILE *f)
e72fcfe8 2332{
3dafb85c 2333 cgraph_node *node;
e72fcfe8 2334
7d82fe7c 2335 fprintf (f, "callgraph:\n\n");
65c70e6b 2336 FOR_EACH_FUNCTION (node)
d52f5295 2337 node->dump (f);
c4e622b6
DN
2338}
2339
1bb17c21 2340/* Return true when the DECL can possibly be inlined. */
d52f5295 2341
1bb17c21
JH
2342bool
2343cgraph_function_possibly_inlined_p (tree decl)
2344{
3dafb85c 2345 if (!symtab->global_info_ready)
e90acd93 2346 return !DECL_UNINLINABLE (decl);
6f312d18 2347 return DECL_POSSIBLY_INLINED (decl);
18c6ada9
JH
2348}
2349
6b02a499
JH
2350/* Return function availability. See cgraph.h for description of individual
2351 return values. */
2352enum availability
f13fe18b 2353cgraph_node::get_availability (symtab_node *ref)
6b02a499 2354{
f13fe18b
JH
2355 if (ref)
2356 {
2357 cgraph_node *cref = dyn_cast <cgraph_node *> (ref);
2358 if (cref)
a62bfab5 2359 ref = cref->inlined_to;
f13fe18b 2360 }
6b02a499 2361 enum availability avail;
27eac88a 2362 if (!analyzed && !in_other_partition)
6b02a499 2363 avail = AVAIL_NOT_AVAILABLE;
87f94429 2364 else if (local)
6b02a499 2365 avail = AVAIL_LOCAL;
a62bfab5 2366 else if (inlined_to)
f13fe18b 2367 avail = AVAIL_AVAILABLE;
71e54687 2368 else if (transparent_alias)
f13fe18b 2369 ultimate_alias_target (&avail, ref);
aab778d3 2370 else if (ifunc_resolver
036ea399 2371 || lookup_attribute ("noipa", DECL_ATTRIBUTES (decl)))
d52f5295
ML
2372 avail = AVAIL_INTERPOSABLE;
2373 else if (!externally_visible)
6b02a499 2374 avail = AVAIL_AVAILABLE;
f13fe18b 2375 /* If this is a reference from symbol itself and there are no aliases, we
65c74eb2 2376 may be sure that the symbol was not interposed by something else because
f13fe18b
JH
2377 the symbol itself would be unreachable otherwise.
2378
2379 Also comdat groups are always resolved in groups. */
2380 else if ((this == ref && !has_aliases_p ())
ae7a23a3
JH
2381 || (ref && get_comdat_group ()
2382 && get_comdat_group () == ref->get_comdat_group ()))
f13fe18b 2383 avail = AVAIL_AVAILABLE;
61502ca8
NF
2384 /* Inline functions are safe to be analyzed even if their symbol can
2385 be overwritten at runtime. It is not meaningful to enforce any sane
9c582551 2386 behavior on replacing inline function by different body. */
d52f5295 2387 else if (DECL_DECLARED_INLINE_P (decl))
4a371c8d 2388 avail = AVAIL_AVAILABLE;
6b02a499
JH
2389
2390 /* If the function can be overwritten, return OVERWRITABLE. Take
2391 care at least of two notable extensions - the COMDAT functions
2392 used to share template instantiations in C++ (this is symmetric
2393 to code cp_cannot_inline_tree_fn and probably shall be shared and
f13fe18b 2394 the inlinability hooks completely eliminated). */
4a371c8d 2395
75ac95f6
JH
2396 else if (decl_replaceable_p (decl, semantic_interposition)
2397 && !DECL_EXTERNAL (decl))
d52f5295 2398 avail = AVAIL_INTERPOSABLE;
6b02a499
JH
2399 else avail = AVAIL_AVAILABLE;
2400
2401 return avail;
2402}
2403
be330ed4
JH
2404/* Worker for cgraph_node_can_be_local_p. */
2405static bool
3dafb85c 2406cgraph_node_cannot_be_local_p_1 (cgraph_node *node, void *)
be330ed4 2407{
67348ccc 2408 return !(!node->force_output
2dfd63de 2409 && !node->ifunc_resolver
40ebe1fc
JH
2410 /* Limitation of gas requires us to output targets of symver aliases
2411 as global symbols. This is binutils PR 25295. */
2412 && !node->symver
67348ccc
DM
2413 && ((DECL_COMDAT (node->decl)
2414 && !node->forced_by_abi
d52f5295 2415 && !node->used_from_object_file_p ()
67348ccc
DM
2416 && !node->same_comdat_group)
2417 || !node->externally_visible));
be330ed4
JH
2418}
2419
d52f5295 2420/* Return true if cgraph_node can be made local for API change.
a550d677
MJ
2421 Extern inline functions and C++ COMDAT functions can be made local
2422 at the expense of possible code size growth if function is used in multiple
2423 compilation units. */
2424bool
d52f5295 2425cgraph_node::can_be_local_p (void)
a550d677 2426{
d52f5295
ML
2427 return (!address_taken
2428 && !call_for_symbol_thunks_and_aliases (cgraph_node_cannot_be_local_p_1,
2429 NULL, true));
a550d677
MJ
2430}
2431
6cbde2e3 2432/* Call callback on cgraph_node, thunks and aliases associated to cgraph_node.
6b715bf6 2433 When INCLUDE_OVERWRITABLE is false, overwritable symbols are
6cbde2e3
BE
2434 skipped. When EXCLUDE_VIRTUAL_THUNKS is true, virtual thunks are
2435 skipped. */
be330ed4 2436bool
d52f5295
ML
2437cgraph_node::call_for_symbol_thunks_and_aliases (bool (*callback)
2438 (cgraph_node *, void *),
2439 void *data,
6cbde2e3
BE
2440 bool include_overwritable,
2441 bool exclude_virtual_thunks)
be330ed4 2442{
3dafb85c
ML
2443 cgraph_edge *e;
2444 ipa_ref *ref;
6b715bf6 2445 enum availability avail = AVAIL_AVAILABLE;
be330ed4 2446
6b715bf6
JH
2447 if (include_overwritable
2448 || (avail = get_availability ()) > AVAIL_INTERPOSABLE)
2449 {
2450 if (callback (this, data))
ae7a23a3 2451 return true;
6b715bf6 2452 }
1ede94c5
JH
2453 FOR_EACH_ALIAS (this, ref)
2454 {
2455 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2456 if (include_overwritable
2457 || alias->get_availability () > AVAIL_INTERPOSABLE)
2458 if (alias->call_for_symbol_thunks_and_aliases (callback, data,
2459 include_overwritable,
2460 exclude_virtual_thunks))
2461 return true;
2462 }
6b715bf6 2463 if (avail <= AVAIL_INTERPOSABLE)
69a4e898 2464 return false;
d52f5295 2465 for (e = callers; e; e = e->next_caller)
67f3791f 2466 if (e->caller->thunk
be330ed4 2467 && (include_overwritable
6cbde2e3
BE
2468 || e->caller->get_availability () > AVAIL_INTERPOSABLE)
2469 && !(exclude_virtual_thunks
67f3791f 2470 && thunk_info::get (e->caller)->virtual_offset_p))
d52f5295 2471 if (e->caller->call_for_symbol_thunks_and_aliases (callback, data,
6cbde2e3
BE
2472 include_overwritable,
2473 exclude_virtual_thunks))
9aa3f5c5 2474 return true;
e55637b7 2475
be330ed4
JH
2476 return false;
2477}
2478
be330ed4
JH
2479/* Worker to bring NODE local. */
2480
d52f5295 2481bool
3dafb85c 2482cgraph_node::make_local (cgraph_node *node, void *)
be330ed4 2483{
d52f5295 2484 gcc_checking_assert (node->can_be_local_p ());
67348ccc 2485 if (DECL_COMDAT (node->decl) || DECL_EXTERNAL (node->decl))
a550d677 2486 {
d52f5295 2487 node->make_decl_local ();
da66d596 2488 node->set_section (NULL);
24d047a3 2489 node->set_comdat_group (NULL);
67348ccc
DM
2490 node->externally_visible = false;
2491 node->forced_by_abi = false;
87f94429 2492 node->local = true;
da66d596 2493 node->set_section (NULL);
f1703a2e
JH
2494 node->unique_name = ((node->resolution == LDPR_PREVAILING_DEF_IRONLY
2495 || node->resolution == LDPR_PREVAILING_DEF_IRONLY_EXP)
2496 && !flag_incremental_link);
67348ccc 2497 node->resolution = LDPR_PREVAILING_DEF_IRONLY;
d52f5295 2498 gcc_assert (node->get_availability () == AVAIL_LOCAL);
a550d677 2499 }
be330ed4 2500 return false;
a550d677
MJ
2501}
2502
d52f5295 2503/* Bring cgraph node local. */
be330ed4
JH
2504
2505void
d52f5295 2506cgraph_node::make_local (void)
be330ed4 2507{
d52f5295 2508 call_for_symbol_thunks_and_aliases (cgraph_node::make_local, NULL, true);
be330ed4
JH
2509}
2510
2511/* Worker to set nothrow flag. */
2512
a2b056a3
JH
2513static void
2514set_nothrow_flag_1 (cgraph_node *node, bool nothrow, bool non_call,
2515 bool *changed)
be330ed4 2516{
3dafb85c 2517 cgraph_edge *e;
71fb4f92 2518
a2b056a3
JH
2519 if (nothrow && !TREE_NOTHROW (node->decl))
2520 {
2521 /* With non-call exceptions we can't say for sure if other function body
dfea3d6f 2522 was not possibly optimized to still throw. */
a2b056a3
JH
2523 if (!non_call || node->binds_to_current_def_p ())
2524 {
2525 TREE_NOTHROW (node->decl) = true;
2526 *changed = true;
2527 for (e = node->callers; e; e = e->next_caller)
2528 e->can_throw_external = false;
2529 }
2530 }
2531 else if (!nothrow && TREE_NOTHROW (node->decl))
2532 {
2533 TREE_NOTHROW (node->decl) = false;
2534 *changed = true;
2535 }
2536 ipa_ref *ref;
2537 FOR_EACH_ALIAS (node, ref)
2538 {
2539 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2540 if (!nothrow || alias->get_availability () > AVAIL_INTERPOSABLE)
2541 set_nothrow_flag_1 (alias, nothrow, non_call, changed);
2542 }
2543 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
67f3791f 2544 if (e->caller->thunk
a2b056a3
JH
2545 && (!nothrow || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2546 set_nothrow_flag_1 (e->caller, nothrow, non_call, changed);
be330ed4
JH
2547}
2548
2549/* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
20cdc2be
JJ
2550 if any to NOTHROW. */
2551
a2b056a3 2552bool
d52f5295 2553cgraph_node::set_nothrow_flag (bool nothrow)
20cdc2be 2554{
a2b056a3
JH
2555 bool changed = false;
2556 bool non_call = opt_for_fn (decl, flag_non_call_exceptions);
2557
2558 if (!nothrow || get_availability () > AVAIL_INTERPOSABLE)
2559 set_nothrow_flag_1 (this, nothrow, non_call, &changed);
2560 else
2561 {
2562 ipa_ref *ref;
2563
2564 FOR_EACH_ALIAS (this, ref)
2565 {
2566 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2567 if (!nothrow || alias->get_availability () > AVAIL_INTERPOSABLE)
2568 set_nothrow_flag_1 (alias, nothrow, non_call, &changed);
2569 }
2570 }
2571 return changed;
20cdc2be
JJ
2572}
2573
0fab169b
PK
2574/* Worker to set malloc flag. */
2575static void
2576set_malloc_flag_1 (cgraph_node *node, bool malloc_p, bool *changed)
2577{
2578 if (malloc_p && !DECL_IS_MALLOC (node->decl))
2579 {
2580 DECL_IS_MALLOC (node->decl) = true;
2581 *changed = true;
2582 }
2583
2584 ipa_ref *ref;
2585 FOR_EACH_ALIAS (node, ref)
2586 {
2587 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2588 if (!malloc_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2589 set_malloc_flag_1 (alias, malloc_p, changed);
2590 }
2591
2592 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
67f3791f 2593 if (e->caller->thunk
0fab169b
PK
2594 && (!malloc_p || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2595 set_malloc_flag_1 (e->caller, malloc_p, changed);
2596}
2597
2598/* Set DECL_IS_MALLOC on NODE's decl and on NODE's aliases if any. */
2599
2600bool
2601cgraph_node::set_malloc_flag (bool malloc_p)
2602{
2603 bool changed = false;
2604
2605 if (!malloc_p || get_availability () > AVAIL_INTERPOSABLE)
2606 set_malloc_flag_1 (this, malloc_p, &changed);
2607 else
2608 {
2609 ipa_ref *ref;
2610
2611 FOR_EACH_ALIAS (this, ref)
2612 {
2613 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2614 if (!malloc_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2615 set_malloc_flag_1 (alias, malloc_p, &changed);
2616 }
2617 }
2618 return changed;
2619}
2620
61396dfb
JH
2621/* Worker to set noreturng flag. */
2622static void
2623set_noreturn_flag_1 (cgraph_node *node, bool noreturn_p, bool *changed)
2624{
2625 if (noreturn_p && !TREE_THIS_VOLATILE (node->decl))
2626 {
2627 TREE_THIS_VOLATILE (node->decl) = true;
2628 *changed = true;
2629 }
2630
2631 ipa_ref *ref;
2632 FOR_EACH_ALIAS (node, ref)
2633 {
2634 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2635 if (!noreturn_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2636 set_noreturn_flag_1 (alias, noreturn_p, changed);
2637 }
2638
2639 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
2640 if (e->caller->thunk
2641 && (!noreturn_p || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2642 set_noreturn_flag_1 (e->caller, noreturn_p, changed);
2643}
2644
2645/* Set TREE_THIS_VOLATILE on NODE's decl and on NODE's aliases if any. */
2646
2647bool
2648cgraph_node::set_noreturn_flag (bool noreturn_p)
2649{
2650 bool changed = false;
2651
2652 if (!noreturn_p || get_availability () > AVAIL_INTERPOSABLE)
2653 set_noreturn_flag_1 (this, noreturn_p, &changed);
2654 else
2655 {
2656 ipa_ref *ref;
2657
2658 FOR_EACH_ALIAS (this, ref)
2659 {
2660 cgraph_node *alias = dyn_cast<cgraph_node *> (ref->referring);
2661 if (!noreturn_p || alias->get_availability () > AVAIL_INTERPOSABLE)
2662 set_noreturn_flag_1 (alias, noreturn_p, &changed);
2663 }
2664 }
2665 return changed;
2666}
2667
69a4e898 2668/* Worker to set_const_flag. */
20cdc2be 2669
69a4e898
JH
2670static void
2671set_const_flag_1 (cgraph_node *node, bool set_const, bool looping,
2672 bool *changed)
20cdc2be 2673{
530f3a1b
JH
2674 /* Static constructors and destructors without a side effect can be
2675 optimized out. */
69a4e898 2676 if (set_const && !looping)
530f3a1b 2677 {
67348ccc 2678 if (DECL_STATIC_CONSTRUCTOR (node->decl))
69a4e898
JH
2679 {
2680 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2681 *changed = true;
2682 }
67348ccc 2683 if (DECL_STATIC_DESTRUCTOR (node->decl))
69a4e898
JH
2684 {
2685 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2686 *changed = true;
2687 }
530f3a1b 2688 }
69a4e898
JH
2689 if (!set_const)
2690 {
2691 if (TREE_READONLY (node->decl))
2692 {
ae7a23a3
JH
2693 TREE_READONLY (node->decl) = 0;
2694 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
69a4e898
JH
2695 *changed = true;
2696 }
2697 }
2698 else
2699 {
2700 /* Consider function:
cc950f98 2701
69a4e898
JH
2702 bool a(int *p)
2703 {
2704 return *p==*p;
2705 }
cc950f98 2706
69a4e898 2707 During early optimization we will turn this into:
cc950f98 2708
69a4e898
JH
2709 bool a(int *p)
2710 {
2711 return true;
2712 }
cc950f98 2713
69a4e898
JH
2714 Now if this function will be detected as CONST however when interposed
2715 it may end up being just pure. We always must assume the worst
2716 scenario here. */
2717 if (TREE_READONLY (node->decl))
2718 {
2719 if (!looping && DECL_LOOPING_CONST_OR_PURE_P (node->decl))
2720 {
ae7a23a3 2721 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
69a4e898
JH
2722 *changed = true;
2723 }
2724 }
2725 else if (node->binds_to_current_def_p ())
2726 {
2727 TREE_READONLY (node->decl) = true;
ae7a23a3 2728 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = looping;
69a4e898
JH
2729 DECL_PURE_P (node->decl) = false;
2730 *changed = true;
2731 }
2732 else
2733 {
2734 if (dump_file && (dump_flags & TDF_DETAILS))
2735 fprintf (dump_file, "Dropping state to PURE because function does "
2736 "not bind to current def.\n");
2737 if (!DECL_PURE_P (node->decl))
2738 {
2739 DECL_PURE_P (node->decl) = true;
ae7a23a3 2740 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = looping;
69a4e898
JH
2741 *changed = true;
2742 }
2743 else if (!looping && DECL_LOOPING_CONST_OR_PURE_P (node->decl))
2744 {
ae7a23a3 2745 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
69a4e898
JH
2746 *changed = true;
2747 }
2748 }
2749 }
cc950f98 2750
69a4e898
JH
2751 ipa_ref *ref;
2752 FOR_EACH_ALIAS (node, ref)
cc950f98 2753 {
69a4e898
JH
2754 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2755 if (!set_const || alias->get_availability () > AVAIL_INTERPOSABLE)
2756 set_const_flag_1 (alias, set_const, looping, changed);
cc950f98 2757 }
69a4e898 2758 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
67f3791f 2759 if (e->caller->thunk
69a4e898
JH
2760 && (!set_const || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2761 {
2762 /* Virtual thunks access virtual offset in the vtable, so they can
2763 only be pure, never const. */
ae7a23a3 2764 if (set_const
67f3791f 2765 && (thunk_info::get (e->caller)->virtual_offset_p
ae7a23a3 2766 || !node->binds_to_current_def_p (e->caller)))
69a4e898
JH
2767 *changed |= e->caller->set_pure_flag (true, looping);
2768 else
2769 set_const_flag_1 (e->caller, set_const, looping, changed);
2770 }
20cdc2be
JJ
2771}
2772
69a4e898
JH
2773/* If SET_CONST is true, mark function, aliases and thunks to be ECF_CONST.
2774 If SET_CONST if false, clear the flag.
20cdc2be 2775
69a4e898 2776 When setting the flag be careful about possible interposition and
dfea3d6f 2777 do not set the flag for functions that can be interposed and set pure
69a4e898
JH
2778 flag for functions that can bind to other definition.
2779
2780 Return true if any change was done. */
2781
2782bool
2783cgraph_node::set_const_flag (bool set_const, bool looping)
20cdc2be 2784{
69a4e898
JH
2785 bool changed = false;
2786 if (!set_const || get_availability () > AVAIL_INTERPOSABLE)
2787 set_const_flag_1 (this, set_const, looping, &changed);
2788 else
2789 {
2790 ipa_ref *ref;
2791
2792 FOR_EACH_ALIAS (this, ref)
2793 {
2794 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2795 if (!set_const || alias->get_availability () > AVAIL_INTERPOSABLE)
2796 set_const_flag_1 (alias, set_const, looping, &changed);
2797 }
2798 }
2799 return changed;
be330ed4
JH
2800}
2801
69a4e898
JH
2802/* Info used by set_pure_flag_1. */
2803
a2b056a3 2804struct set_pure_flag_info
69a4e898
JH
2805{
2806 bool pure;
2807 bool looping;
2808 bool changed;
2809};
2810
2811/* Worker to set_pure_flag. */
be330ed4
JH
2812
2813static bool
69a4e898 2814set_pure_flag_1 (cgraph_node *node, void *data)
be330ed4 2815{
69a4e898 2816 struct set_pure_flag_info *info = (struct set_pure_flag_info *)data;
a1ffba98 2817 /* Static constructors and destructors without a side effect can be
530f3a1b 2818 optimized out. */
69a4e898 2819 if (info->pure && !info->looping)
530f3a1b 2820 {
67348ccc 2821 if (DECL_STATIC_CONSTRUCTOR (node->decl))
69a4e898
JH
2822 {
2823 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2824 info->changed = true;
2825 }
67348ccc 2826 if (DECL_STATIC_DESTRUCTOR (node->decl))
69a4e898
JH
2827 {
2828 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2829 info->changed = true;
2830 }
2831 }
2832 if (info->pure)
2833 {
2834 if (!DECL_PURE_P (node->decl) && !TREE_READONLY (node->decl))
2835 {
ae7a23a3
JH
2836 DECL_PURE_P (node->decl) = true;
2837 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = info->looping;
69a4e898
JH
2838 info->changed = true;
2839 }
2840 else if (DECL_LOOPING_CONST_OR_PURE_P (node->decl)
2841 && !info->looping)
2842 {
ae7a23a3 2843 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
69a4e898
JH
2844 info->changed = true;
2845 }
2846 }
2847 else
2848 {
2849 if (DECL_PURE_P (node->decl))
2850 {
ae7a23a3
JH
2851 DECL_PURE_P (node->decl) = false;
2852 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = false;
69a4e898
JH
2853 info->changed = true;
2854 }
530f3a1b 2855 }
be330ed4 2856 return false;
20cdc2be
JJ
2857}
2858
d52f5295 2859/* Set DECL_PURE_P on cgraph_node's decl and on aliases of the node
69a4e898 2860 if any to PURE.
be330ed4 2861
69a4e898
JH
2862 When setting the flag, be careful about possible interposition.
2863 Return true if any change was done. */
2864
2865bool
d52f5295 2866cgraph_node::set_pure_flag (bool pure, bool looping)
fa5f5e27 2867{
69a4e898 2868 struct set_pure_flag_info info = {pure, looping, false};
69a4e898
JH
2869 call_for_symbol_thunks_and_aliases (set_pure_flag_1, &info, !pure, true);
2870 return info.changed;
be330ed4 2871}
844db5d0 2872
67914693 2873/* Return true when cgraph_node cannot return or throw and thus
d56026c2
JH
2874 it is safe to ignore its side effects for IPA analysis. */
2875
2876bool
d52f5295 2877cgraph_node::cannot_return_p (void)
d56026c2 2878{
d52f5295 2879 int flags = flags_from_decl_or_type (decl);
a6b1490d 2880 if (!opt_for_fn (decl, flag_exceptions))
d56026c2
JH
2881 return (flags & ECF_NORETURN) != 0;
2882 else
2883 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2884 == (ECF_NORETURN | ECF_NOTHROW));
2885}
2886
67914693 2887/* Return true when call of edge cannot lead to return from caller
d56026c2
JH
2888 and thus it is safe to ignore its side effects for IPA analysis
2889 when computing side effects of the caller.
2890 FIXME: We could actually mark all edges that have no reaching
6626665f 2891 patch to the exit block or throw to get better results. */
d56026c2 2892bool
3dafb85c 2893cgraph_edge::cannot_lead_to_return_p (void)
d56026c2 2894{
3dafb85c 2895 if (caller->cannot_return_p ())
f10ea640 2896 return true;
3dafb85c 2897 if (indirect_unknown_callee)
d56026c2 2898 {
3dafb85c 2899 int flags = indirect_info->ecf_flags;
a6b1490d 2900 if (!opt_for_fn (caller->decl, flag_exceptions))
d56026c2
JH
2901 return (flags & ECF_NORETURN) != 0;
2902 else
2903 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2904 == (ECF_NORETURN | ECF_NOTHROW));
2905 }
2906 else
3dafb85c 2907 return callee->cannot_return_p ();
d56026c2
JH
2908}
2909
bf321336 2910/* Return true if the edge may be considered hot. */
893479de
AM
2911
2912bool
2913cgraph_edge::maybe_hot_p (void)
2914{
1bad9c18 2915 if (!maybe_hot_count_p (NULL, count.ipa ()))
893479de
AM
2916 return false;
2917 if (caller->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED
2918 || (callee
2919 && callee->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED))
2920 return false;
2921 if (caller->frequency > NODE_FREQUENCY_UNLIKELY_EXECUTED
2922 && (callee
2923 && callee->frequency <= NODE_FREQUENCY_EXECUTED_ONCE))
2924 return false;
a6b1490d
JH
2925 if (opt_for_fn (caller->decl, optimize_size))
2926 return false;
893479de
AM
2927 if (caller->frequency == NODE_FREQUENCY_HOT)
2928 return true;
d07f74fa 2929 if (!count.initialized_p ())
3995f3a2 2930 return true;
d07f74fa
JH
2931 cgraph_node *where = caller->inlined_to ? caller->inlined_to : caller;
2932 if (!where->count.initialized_p ())
7349698e 2933 return false;
d07f74fa
JH
2934 if (caller->frequency == NODE_FREQUENCY_EXECUTED_ONCE)
2935 {
9f55aee9 2936 if (count * 2 < where->count * 3)
d07f74fa
JH
2937 return false;
2938 }
9f55aee9 2939 else if (count * param_hot_bb_frequency_fraction < where->count)
893479de 2940 return false;
893479de
AM
2941 return true;
2942}
2943
9aa3f5c5
JH
2944/* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2945
2946static bool
3dafb85c 2947nonremovable_p (cgraph_node *node, void *)
9aa3f5c5 2948{
d52f5295 2949 return !node->can_remove_if_no_direct_calls_and_refs_p ();
9aa3f5c5
JH
2950}
2951
a6a543bf
JH
2952/* Return true if whole comdat group can be removed if there are no direct
2953 calls to THIS. */
9aa3f5c5
JH
2954
2955bool
e0d514da 2956cgraph_node::can_remove_if_no_direct_calls_p (bool will_inline)
9aa3f5c5 2957{
a6a543bf
JH
2958 struct ipa_ref *ref;
2959
2960 /* For local symbols or non-comdat group it is the same as
2961 can_remove_if_no_direct_calls_p. */
2962 if (!externally_visible || !same_comdat_group)
2963 {
2964 if (DECL_EXTERNAL (decl))
2965 return true;
2966 if (address_taken)
2967 return false;
2968 return !call_for_symbol_and_aliases (nonremovable_p, NULL, true);
2969 }
2970
e0d514da
JH
2971 if (will_inline && address_taken)
2972 return false;
2973
dfea3d6f 2974 /* Otherwise check if we can remove the symbol itself and then verify
a6a543bf
JH
2975 that only uses of the comdat groups are direct call to THIS
2976 or its aliases. */
2977 if (!can_remove_if_no_direct_calls_and_refs_p ())
9aa3f5c5 2978 return false;
a6a543bf
JH
2979
2980 /* Check that all refs come from within the comdat group. */
2981 for (int i = 0; iterate_referring (i, ref); i++)
2982 if (ref->referring->get_comdat_group () != get_comdat_group ())
2983 return false;
2984
2985 struct cgraph_node *target = ultimate_alias_target ();
2986 for (cgraph_node *next = dyn_cast<cgraph_node *> (same_comdat_group);
2987 next != this; next = dyn_cast<cgraph_node *> (next->same_comdat_group))
2988 {
2989 if (!externally_visible)
2990 continue;
2991 if (!next->alias
2992 && !next->can_remove_if_no_direct_calls_and_refs_p ())
2993 return false;
2994
2995 /* If we see different symbol than THIS, be sure to check calls. */
2996 if (next->ultimate_alias_target () != target)
2997 for (cgraph_edge *e = next->callers; e; e = e->next_caller)
e0d514da
JH
2998 if (e->caller->get_comdat_group () != get_comdat_group ()
2999 || will_inline)
a6a543bf
JH
3000 return false;
3001
e0d514da
JH
3002 /* If function is not being inlined, we care only about
3003 references outside of the comdat group. */
3004 if (!will_inline)
ae7a23a3 3005 for (int i = 0; next->iterate_referring (i, ref); i++)
e0d514da
JH
3006 if (ref->referring->get_comdat_group () != get_comdat_group ())
3007 return false;
a6a543bf
JH
3008 }
3009 return true;
9aa3f5c5
JH
3010}
3011
d52f5295 3012/* Return true when function cgraph_node can be expected to be removed
09411461
JH
3013 from program when direct calls in this compilation unit are removed.
3014
3015 As a special case COMDAT functions are
3016 cgraph_can_remove_if_no_direct_calls_p while the are not
3017 cgraph_only_called_directly_p (it is possible they are called from other
3018 unit)
3019
3020 This function behaves as cgraph_only_called_directly_p because eliminating
61502ca8 3021 all uses of COMDAT function does not make it necessarily disappear from
09411461
JH
3022 the program unless we are compiling whole program or we do LTO. In this
3023 case we know we win since dynamic linking will not really discard the
3024 linkonce section. */
3025
3026bool
e0d514da
JH
3027cgraph_node::will_be_removed_from_program_if_no_direct_calls_p
3028 (bool will_inline)
09411461 3029{
a62bfab5 3030 gcc_assert (!inlined_to);
a6a543bf
JH
3031 if (DECL_EXTERNAL (decl))
3032 return true;
d52f5295 3033
09411461 3034 if (!in_lto_p && !flag_whole_program)
530f3a1b 3035 {
a6a543bf
JH
3036 /* If the symbol is in comdat group, we need to verify that whole comdat
3037 group becomes unreachable. Technically we could skip references from
3038 within the group, too. */
3039 if (!only_called_directly_p ())
3040 return false;
3041 if (same_comdat_group && externally_visible)
3042 {
3043 struct cgraph_node *target = ultimate_alias_target ();
e0d514da
JH
3044
3045 if (will_inline && address_taken)
3046 return true;
a6a543bf
JH
3047 for (cgraph_node *next = dyn_cast<cgraph_node *> (same_comdat_group);
3048 next != this;
3049 next = dyn_cast<cgraph_node *> (next->same_comdat_group))
3050 {
3051 if (!externally_visible)
3052 continue;
3053 if (!next->alias
3054 && !next->only_called_directly_p ())
3055 return false;
3056
3057 /* If we see different symbol than THIS,
3058 be sure to check calls. */
3059 if (next->ultimate_alias_target () != target)
3060 for (cgraph_edge *e = next->callers; e; e = e->next_caller)
e0d514da
JH
3061 if (e->caller->get_comdat_group () != get_comdat_group ()
3062 || will_inline)
a6a543bf 3063 return false;
a6a543bf
JH
3064 }
3065 }
3066 return true;
530f3a1b 3067 }
a6a543bf 3068 else
e0d514da 3069 return can_remove_if_no_direct_calls_p (will_inline);
09411461
JH
3070}
3071
051f8cc6 3072
be330ed4
JH
3073/* Worker for cgraph_only_called_directly_p. */
3074
3075static bool
3dafb85c 3076cgraph_not_only_called_directly_p_1 (cgraph_node *node, void *)
be330ed4 3077{
d52f5295 3078 return !node->only_called_directly_or_aliased_p ();
be330ed4
JH
3079}
3080
d52f5295 3081/* Return true when function cgraph_node and all its aliases are only called
be330ed4
JH
3082 directly.
3083 i.e. it is not externally visible, address was not taken and
3084 it is not used in any other non-standard way. */
3085
3086bool
d52f5295 3087cgraph_node::only_called_directly_p (void)
be330ed4 3088{
d52f5295
ML
3089 gcc_assert (ultimate_alias_target () == this);
3090 return !call_for_symbol_and_aliases (cgraph_not_only_called_directly_p_1,
be330ed4
JH
3091 NULL, true);
3092}
3093
3094
3095/* Collect all callers of NODE. Worker for collect_callers_of_node. */
3096
3097static bool
3dafb85c 3098collect_callers_of_node_1 (cgraph_node *node, void *data)
be330ed4 3099{
d52f5295 3100 vec<cgraph_edge *> *redirect_callers = (vec<cgraph_edge *> *)data;
3dafb85c 3101 cgraph_edge *cs;
be330ed4 3102 enum availability avail;
d52f5295 3103 node->ultimate_alias_target (&avail);
be330ed4 3104
d52f5295 3105 if (avail > AVAIL_INTERPOSABLE)
be330ed4 3106 for (cs = node->callers; cs != NULL; cs = cs->next_caller)
4a414de8 3107 if (!cs->indirect_inlining_edge
67f3791f 3108 && !cs->caller->thunk)
ae7a23a3 3109 redirect_callers->safe_push (cs);
be330ed4
JH
3110 return false;
3111}
3112
d52f5295
ML
3113/* Collect all callers of cgraph_node and its aliases that are known to lead to
3114 cgraph_node (i.e. are not overwritable). */
be330ed4 3115
265af872 3116auto_vec<cgraph_edge *>
d52f5295 3117cgraph_node::collect_callers (void)
be330ed4 3118{
265af872 3119 auto_vec<cgraph_edge *> redirect_callers;
d52f5295
ML
3120 call_for_symbol_thunks_and_aliases (collect_callers_of_node_1,
3121 &redirect_callers, false);
be330ed4
JH
3122 return redirect_callers;
3123}
3124
1738b522
MJ
3125
3126/* Return TRUE if NODE2 a clone of NODE or is equivalent to it. Return
3127 optimistically true if this cannot be determined. */
610c8ef0 3128
9c8305f8 3129static bool
3dafb85c 3130clone_of_p (cgraph_node *node, cgraph_node *node2)
9c8305f8 3131{
d52f5295
ML
3132 node = node->ultimate_alias_target ();
3133 node2 = node2->ultimate_alias_target ();
610c8ef0 3134
79a18702
MJ
3135 if (node2->clone_of == node
3136 || node2->former_clone_of == node->decl)
3137 return true;
3138
67f3791f 3139 if (!node->thunk && !node->former_thunk_p ())
79a18702 3140 {
0f4c8f51
MJ
3141 while (node2
3142 && node->decl != node2->decl
3143 && node->decl != node2->former_clone_of)
79a18702
MJ
3144 node2 = node2->clone_of;
3145 return node2 != NULL;
3146 }
3147
610c8ef0
MJ
3148 /* There are no virtual clones of thunks so check former_clone_of or if we
3149 might have skipped thunks because this adjustments are no longer
3150 necessary. */
67f3791f 3151 while (node->thunk || node->former_thunk_p ())
610c8ef0 3152 {
67f3791f 3153 if (!thunk_info::get (node)->this_adjusting)
610c8ef0 3154 return false;
1738b522
MJ
3155 /* In case of instrumented expanded thunks, which can have multiple calls
3156 in them, we do not know how to continue and just have to be
b31ede6e
MJ
3157 optimistic. The same applies if all calls have already been inlined
3158 into the thunk. */
3159 if (!node->callees || node->callees->next_callee)
1738b522 3160 return true;
d52f5295 3161 node = node->callees->callee->ultimate_alias_target ();
610c8ef0 3162
ae7a23a3
JH
3163 clone_info *info = clone_info::get (node2);
3164 if (!info || !info->param_adjustments
3165 || info->param_adjustments->first_param_intact_p ())
803d0ab0 3166 return false;
b31ede6e
MJ
3167 if (node2->former_clone_of == node->decl
3168 || node2->former_clone_of == node->former_clone_of)
803d0ab0 3169 return true;
79a18702
MJ
3170
3171 cgraph_node *n2 = node2;
3172 while (n2 && node->decl != n2->decl)
3173 n2 = n2->clone_of;
3174 if (n2)
3175 return true;
803d0ab0 3176 }
610c8ef0 3177
79a18702 3178 return false;
9c8305f8
JH
3179}
3180
90988f77 3181/* Verify edge count and frequency. */
9c8305f8 3182
90988f77 3183bool
1bad9c18 3184cgraph_edge::verify_count ()
9c8305f8
JH
3185{
3186 bool error_found = false;
e7a74006 3187 if (!count.verify ())
9c8305f8 3188 {
e7a74006
JH
3189 error ("caller edge count invalid");
3190 error_found = true;
3191 }
9c8305f8
JH
3192 return error_found;
3193}
3194
3195/* Switch to THIS_CFUN if needed and print STMT to stderr. */
3196static void
355fe088 3197cgraph_debug_gimple_stmt (function *this_cfun, gimple *stmt)
9c8305f8 3198{
27f7e1c3 3199 bool fndecl_was_null = false;
9c8305f8
JH
3200 /* debug_gimple_stmt needs correct cfun */
3201 if (cfun != this_cfun)
3202 set_cfun (this_cfun);
27f7e1c3
AH
3203 /* ...and an actual current_function_decl */
3204 if (!current_function_decl)
3205 {
3206 current_function_decl = this_cfun->decl;
3207 fndecl_was_null = true;
3208 }
9c8305f8 3209 debug_gimple_stmt (stmt);
27f7e1c3
AH
3210 if (fndecl_was_null)
3211 current_function_decl = NULL;
9c8305f8
JH
3212}
3213
90988f77 3214/* Verify that call graph edge corresponds to DECL from the associated
9c8305f8
JH
3215 statement. Return true if the verification should fail. */
3216
90988f77
ML
3217bool
3218cgraph_edge::verify_corresponds_to_fndecl (tree decl)
9c8305f8 3219{
3dafb85c 3220 cgraph_node *node;
9c8305f8 3221
a62bfab5 3222 if (!decl || callee->inlined_to)
9c8305f8 3223 return false;
3dafb85c 3224 if (symtab->state == LTO_STREAMING)
ca0f62a8 3225 return false;
d52f5295 3226 node = cgraph_node::get (decl);
9c8305f8
JH
3227
3228 /* We do not know if a node from a different partition is an alias or what it
3d8d0043
MJ
3229 aliases and therefore cannot do the former_clone_of check reliably. When
3230 body_removed is set, we have lost all information about what was alias or
3231 thunk of and also cannot proceed. */
3232 if (!node
3233 || node->body_removed
3234 || node->in_other_partition
0a7246ee 3235 || callee->icf_merged
90988f77 3236 || callee->in_other_partition)
9c8305f8 3237 return false;
9de6f6c3 3238
d52f5295
ML
3239 node = node->ultimate_alias_target ();
3240
9de6f6c3 3241 /* Optimizers can redirect unreachable calls or calls triggering undefined
9c582551 3242 behavior to builtin_unreachable. */
3d78e008
ML
3243
3244 if (fndecl_built_in_p (callee->decl, BUILT_IN_UNREACHABLE))
9de6f6c3 3245 return false;
9c8305f8 3246
90988f77
ML
3247 if (callee->former_clone_of != node->decl
3248 && (node != callee->ultimate_alias_target ())
3249 && !clone_of_p (node, callee))
9c8305f8
JH
3250 return true;
3251 else
3252 return false;
3253}
3254
0ecf545c
MS
3255/* Disable warnings about missing quoting in GCC diagnostics for
3256 the verification errors. Their format strings don't follow GCC
3257 diagnostic conventions and the calls are ultimately followed by
3258 one to internal_error. */
3259#if __GNUC__ >= 10
3260# pragma GCC diagnostic push
3261# pragma GCC diagnostic ignored "-Wformat-diag"
3262#endif
3263
bf6fc129
JH
3264/* Verify consistency of speculative call in NODE corresponding to STMT
3265 and LTO_STMT_UID. If INDIRECT is set, assume that it is the indirect
3266 edge of call sequence. Return true if error is found.
3267
3268 This function is called to every component of indirect call (direct edges,
3269 indirect edge and refs). To save duplicated work, do full testing only
3270 in that case. */
3271static bool
3272verify_speculative_call (struct cgraph_node *node, gimple *stmt,
3273 unsigned int lto_stmt_uid,
3274 struct cgraph_edge *indirect)
3275{
3276 if (indirect == NULL)
3277 {
3278 for (indirect = node->indirect_calls; indirect;
3279 indirect = indirect->next_callee)
3280 if (indirect->call_stmt == stmt
3281 && indirect->lto_stmt_uid == lto_stmt_uid)
3282 break;
3283 if (!indirect)
3284 {
3285 error ("missing indirect call in speculative call sequence");
3286 return true;
3287 }
3288 if (!indirect->speculative)
3289 {
3290 error ("indirect call in speculative call sequence has no "
3291 "speculative flag");
3292 return true;
3293 }
3294 return false;
3295 }
3296
3297 /* Maximal number of targets. We probably will never want to have more than
3298 this. */
3299 const unsigned int num = 256;
3300 cgraph_edge *direct_calls[num];
3301 ipa_ref *refs[num];
3302
3303 for (unsigned int i = 0; i < num; i++)
3304 {
3305 direct_calls[i] = NULL;
3306 refs[i] = NULL;
3307 }
3308
845bb366
JH
3309 cgraph_edge *first_call = NULL;
3310 cgraph_edge *prev_call = NULL;
3311
bf6fc129
JH
3312 for (cgraph_edge *direct = node->callees; direct;
3313 direct = direct->next_callee)
3314 if (direct->call_stmt == stmt && direct->lto_stmt_uid == lto_stmt_uid)
3315 {
845bb366
JH
3316 if (!first_call)
3317 first_call = direct;
3318 if (prev_call && direct != prev_call->next_callee)
3319 {
3320 error ("speculative edges are not adjacent");
3321 return true;
3322 }
3323 prev_call = direct;
bf6fc129
JH
3324 if (!direct->speculative)
3325 {
3326 error ("direct call to %s in speculative call sequence has no "
3327 "speculative flag", direct->callee->dump_name ());
3328 return true;
3329 }
3330 if (direct->speculative_id >= num)
3331 {
3332 error ("direct call to %s in speculative call sequence has "
da67227b 3333 "speculative_id %i out of range",
bf6fc129
JH
3334 direct->callee->dump_name (), direct->speculative_id);
3335 return true;
3336 }
3337 if (direct_calls[direct->speculative_id])
3338 {
3339 error ("duplicate direct call to %s in speculative call sequence "
da67227b 3340 "with speculative_id %i",
bf6fc129
JH
3341 direct->callee->dump_name (), direct->speculative_id);
3342 return true;
3343 }
3344 direct_calls[direct->speculative_id] = direct;
3345 }
3346
845bb366
JH
3347 if (first_call->call_stmt
3348 && first_call != node->get_edge (first_call->call_stmt))
3349 {
3350 error ("call stmt hash does not point to first direct edge of "
da67227b 3351 "speculative call sequence");
845bb366
JH
3352 return true;
3353 }
3354
bf6fc129
JH
3355 ipa_ref *ref;
3356 for (int i = 0; node->iterate_reference (i, ref); i++)
3357 if (ref->speculative
3358 && ref->stmt == stmt && ref->lto_stmt_uid == lto_stmt_uid)
3359 {
3360 if (ref->speculative_id >= num)
3361 {
3362 error ("direct call to %s in speculative call sequence has "
da67227b 3363 "speculative_id %i out of range",
bf6fc129
JH
3364 ref->referred->dump_name (), ref->speculative_id);
3365 return true;
3366 }
3367 if (refs[ref->speculative_id])
3368 {
3369 error ("duplicate reference %s in speculative call sequence "
da67227b 3370 "with speculative_id %i",
bf6fc129
JH
3371 ref->referred->dump_name (), ref->speculative_id);
3372 return true;
3373 }
3374 refs[ref->speculative_id] = ref;
3375 }
3376
3377 int num_targets = 0;
3378 for (unsigned int i = 0 ; i < num ; i++)
3379 {
3380 if (refs[i] && !direct_calls[i])
3381 {
3382 error ("missing direct call for speculation %i", i);
3383 return true;
3384 }
3385 if (!refs[i] && direct_calls[i])
3386 {
3387 error ("missing ref for speculation %i", i);
3388 return true;
3389 }
3390 if (refs[i] != NULL)
3391 num_targets++;
3392 }
3393
3394 if (num_targets != indirect->num_speculative_call_targets_p ())
3395 {
3396 error ("number of speculative targets %i mismatched with "
da67227b 3397 "num_speculative_call_targets %i",
bf6fc129
JH
3398 num_targets,
3399 indirect->num_speculative_call_targets_p ());
3400 return true;
3401 }
3402 return false;
3403}
3404
9c8305f8
JH
3405/* Verify cgraph nodes of given cgraph node. */
3406DEBUG_FUNCTION void
d52f5295 3407cgraph_node::verify_node (void)
9c8305f8 3408{
3dafb85c
ML
3409 cgraph_edge *e;
3410 function *this_cfun = DECL_STRUCT_FUNCTION (decl);
9c8305f8
JH
3411 basic_block this_block;
3412 gimple_stmt_iterator gsi;
3413 bool error_found = false;
118aa5e3
JH
3414 int i;
3415 ipa_ref *ref = NULL;
9c8305f8
JH
3416
3417 if (seen_error ())
3418 return;
3419
3420 timevar_push (TV_CGRAPH_VERIFY);
d52f5295
ML
3421 error_found |= verify_base ();
3422 for (e = callees; e; e = e->next_callee)
9c8305f8
JH
3423 if (e->aux)
3424 {
3425 error ("aux field set for edge %s->%s",
fec39fa6
TS
3426 identifier_to_locale (e->caller->name ()),
3427 identifier_to_locale (e->callee->name ()));
9c8305f8
JH
3428 error_found = true;
3429 }
e7a74006
JH
3430 if (!count.verify ())
3431 {
3432 error ("cgraph count invalid");
3433 error_found = true;
3434 }
a62bfab5 3435 if (inlined_to && same_comdat_group)
65d630d4
JH
3436 {
3437 error ("inline clone in same comdat group list");
3438 error_found = true;
3439 }
db51f624
JH
3440 if (inlined_to && !count.compatible_p (inlined_to->count))
3441 {
3442 error ("inline clone count is not compatible");
3443 count.debug ();
3444 inlined_to->count.debug ();
3445 error_found = true;
3446 }
59c7b29e
JH
3447 if (tp_first_run < 0)
3448 {
3449 error ("tp_first_run must be non-negative");
3450 error_found = true;
3451 }
87f94429 3452 if (!definition && !in_other_partition && local)
e70670cf
JH
3453 {
3454 error ("local symbols must be defined");
3455 error_found = true;
3456 }
a62bfab5 3457 if (inlined_to && externally_visible)
9c8305f8
JH
3458 {
3459 error ("externally visible inline clone");
3460 error_found = true;
3461 }
a62bfab5 3462 if (inlined_to && address_taken)
9c8305f8
JH
3463 {
3464 error ("inline clone with address taken");
3465 error_found = true;
3466 }
a62bfab5 3467 if (inlined_to && force_output)
9c8305f8
JH
3468 {
3469 error ("inline clone is forced to output");
3470 error_found = true;
3471 }
72b3bc89 3472 if (symtab->state != LTO_STREAMING)
21cd8589 3473 {
72b3bc89
JH
3474 if (calls_comdat_local && !same_comdat_group)
3475 {
3476 error ("calls_comdat_local is set outside of a comdat group");
3477 error_found = true;
3478 }
3479 if (!inlined_to && calls_comdat_local != check_calls_comdat_local_p ())
3480 {
3481 error ("invalid calls_comdat_local flag");
3482 error_found = true;
3483 }
21cd8589 3484 }
33351ff9
ML
3485 if (DECL_IS_MALLOC (decl)
3486 && !POINTER_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
3487 {
3488 error ("malloc attribute should be used for a function that "
3489 "returns a pointer");
3490 error_found = true;
3491 }
b85e79dc
JJ
3492 if (definition
3493 && externally_visible
3494 /* For aliases in lto1 free_lang_data doesn't guarantee preservation
3495 of opt_for_fn (decl, flag_semantic_interposition). See PR105399. */
3496 && (!alias || !in_lto_p)
75ac95f6
JH
3497 && semantic_interposition
3498 != opt_for_fn (decl, flag_semantic_interposition))
3499 {
3500 error ("semantic interposition mismatch");
3501 error_found = true;
3502 }
d52f5295 3503 for (e = indirect_calls; e; e = e->next_callee)
9c8305f8
JH
3504 {
3505 if (e->aux)
3506 {
3507 error ("aux field set for indirect edge from %s",
fec39fa6 3508 identifier_to_locale (e->caller->name ()));
9c8305f8
JH
3509 error_found = true;
3510 }
db51f624
JH
3511 if (!e->count.compatible_p (count))
3512 {
3513 error ("edge count is not compatible with function count");
3514 e->count.debug ();
3515 count.debug ();
3516 error_found = true;
3517 }
9c8305f8
JH
3518 if (!e->indirect_unknown_callee
3519 || !e->indirect_info)
3520 {
3521 error ("An indirect edge from %s is not marked as indirect or has "
3522 "associated indirect_info, the corresponding statement is: ",
fec39fa6 3523 identifier_to_locale (e->caller->name ()));
9c8305f8
JH
3524 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3525 error_found = true;
3526 }
118aa5e3
JH
3527 if (e->call_stmt && e->lto_stmt_uid)
3528 {
da67227b 3529 error ("edge has both call_stmt and lto_stmt_uid set");
118aa5e3
JH
3530 error_found = true;
3531 }
9c8305f8 3532 }
d52f5295
ML
3533 bool check_comdat = comdat_local_p ();
3534 for (e = callers; e; e = e->next_caller)
9c8305f8 3535 {
1bad9c18 3536 if (e->verify_count ())
9c8305f8 3537 error_found = true;
1f26ac87 3538 if (check_comdat
d52f5295 3539 && !in_same_comdat_group_p (e->caller))
1f26ac87
JM
3540 {
3541 error ("comdat-local function called by %s outside its comdat",
3542 identifier_to_locale (e->caller->name ()));
3543 error_found = true;
3544 }
9c8305f8
JH
3545 if (!e->inline_failed)
3546 {
a62bfab5
ML
3547 if (inlined_to
3548 != (e->caller->inlined_to
3549 ? e->caller->inlined_to : e->caller))
9c8305f8
JH
3550 {
3551 error ("inlined_to pointer is wrong");
3552 error_found = true;
3553 }
d52f5295 3554 if (callers->next_caller)
9c8305f8
JH
3555 {
3556 error ("multiple inline callers");
3557 error_found = true;
3558 }
3559 }
3560 else
a62bfab5 3561 if (inlined_to)
9c8305f8
JH
3562 {
3563 error ("inlined_to pointer set for noninline callers");
3564 error_found = true;
3565 }
3566 }
1f4eb0e9
JH
3567 for (e = callees; e; e = e->next_callee)
3568 {
1bad9c18 3569 if (e->verify_count ())
1f4eb0e9 3570 error_found = true;
db51f624
JH
3571 if (!e->count.compatible_p (count))
3572 {
3573 error ("edge count is not compatible with function count");
3574 e->count.debug ();
3575 count.debug ();
3576 error_found = true;
3577 }
1f4eb0e9 3578 if (gimple_has_body_p (e->caller->decl)
a62bfab5 3579 && !e->caller->inlined_to
1f4eb0e9
JH
3580 && !e->speculative
3581 /* Optimized out calls are redirected to __builtin_unreachable. */
1bad9c18 3582 && (e->count.nonzero_p ()
ea6e17d5 3583 || ! e->callee->decl
3d78e008 3584 || !fndecl_built_in_p (e->callee->decl, BUILT_IN_UNREACHABLE))
1bad9c18
JH
3585 && count
3586 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl))->count
3587 && (!e->count.ipa_p ()
3588 && e->count.differs_from_p (gimple_bb (e->call_stmt)->count)))
1f4eb0e9 3589 {
1bad9c18
JH
3590 error ("caller edge count does not match BB count");
3591 fprintf (stderr, "edge count: ");
3592 e->count.dump (stderr);
3593 fprintf (stderr, "\n bb count: ");
3594 gimple_bb (e->call_stmt)->count.dump (stderr);
3595 fprintf (stderr, "\n");
1f4eb0e9
JH
3596 error_found = true;
3597 }
118aa5e3
JH
3598 if (e->call_stmt && e->lto_stmt_uid)
3599 {
da67227b 3600 error ("edge has both call_stmt and lto_stmt_uid set");
118aa5e3
JH
3601 error_found = true;
3602 }
bf6fc129
JH
3603 if (e->speculative
3604 && verify_speculative_call (e->caller, e->call_stmt, e->lto_stmt_uid,
3605 NULL))
3606 error_found = true;
1f4eb0e9 3607 }
d52f5295 3608 for (e = indirect_calls; e; e = e->next_callee)
1f4eb0e9 3609 {
1bad9c18 3610 if (e->verify_count ())
1f4eb0e9
JH
3611 error_found = true;
3612 if (gimple_has_body_p (e->caller->decl)
a62bfab5 3613 && !e->caller->inlined_to
1f4eb0e9 3614 && !e->speculative
1bad9c18
JH
3615 && e->count.ipa_p ()
3616 && count
3617 == ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (decl))->count
3618 && (!e->count.ipa_p ()
3619 && e->count.differs_from_p (gimple_bb (e->call_stmt)->count)))
1f4eb0e9 3620 {
1bad9c18
JH
3621 error ("indirect call count does not match BB count");
3622 fprintf (stderr, "edge count: ");
3623 e->count.dump (stderr);
3624 fprintf (stderr, "\n bb count: ");
3625 gimple_bb (e->call_stmt)->count.dump (stderr);
3626 fprintf (stderr, "\n");
1f4eb0e9
JH
3627 error_found = true;
3628 }
bf6fc129
JH
3629 if (e->speculative
3630 && verify_speculative_call (e->caller, e->call_stmt, e->lto_stmt_uid,
3631 e))
3632 error_found = true;
1f4eb0e9 3633 }
bf6fc129
JH
3634 for (i = 0; iterate_reference (i, ref); i++)
3635 {
3636 if (ref->stmt && ref->lto_stmt_uid)
3637 {
da67227b 3638 error ("reference has both stmt and lto_stmt_uid set");
bf6fc129
JH
3639 error_found = true;
3640 }
3641 if (ref->speculative
3642 && verify_speculative_call (this, ref->stmt,
3643 ref->lto_stmt_uid, NULL))
3644 error_found = true;
3645 }
3646
a62bfab5 3647 if (!callers && inlined_to)
9c8305f8
JH
3648 {
3649 error ("inlined_to pointer is set but no predecessors found");
3650 error_found = true;
3651 }
a62bfab5 3652 if (inlined_to == this)
9c8305f8
JH
3653 {
3654 error ("inlined_to pointer refers to itself");
3655 error_found = true;
3656 }
3657
d52f5295 3658 if (clone_of)
9c8305f8 3659 {
606711a1
ML
3660 cgraph_node *first_clone = clone_of->clones;
3661 if (first_clone != this)
9c8305f8 3662 {
606711a1
ML
3663 if (prev_sibling_clone->clone_of != clone_of)
3664 {
3665 error ("cgraph_node has wrong clone_of");
3666 error_found = true;
3667 }
9c8305f8
JH
3668 }
3669 }
d52f5295 3670 if (clones)
9c8305f8 3671 {
3dafb85c 3672 cgraph_node *n;
d52f5295
ML
3673 for (n = clones; n; n = n->next_sibling_clone)
3674 if (n->clone_of != this)
9c8305f8
JH
3675 break;
3676 if (n)
3677 {
d52f5295 3678 error ("cgraph_node has wrong clone list");
9c8305f8
JH
3679 error_found = true;
3680 }
3681 }
d52f5295 3682 if ((prev_sibling_clone || next_sibling_clone) && !clone_of)
9c8305f8 3683 {
d52f5295 3684 error ("cgraph_node is in clone list but it is not clone");
9c8305f8
JH
3685 error_found = true;
3686 }
d52f5295 3687 if (!prev_sibling_clone && clone_of && clone_of->clones != this)
9c8305f8 3688 {
d52f5295 3689 error ("cgraph_node has wrong prev_clone pointer");
9c8305f8
JH
3690 error_found = true;
3691 }
d52f5295 3692 if (prev_sibling_clone && prev_sibling_clone->next_sibling_clone != this)
9c8305f8
JH
3693 {
3694 error ("double linked list of clones corrupted");
3695 error_found = true;
3696 }
3697
d52f5295 3698 if (analyzed && alias)
9c8305f8
JH
3699 {
3700 bool ref_found = false;
3701 int i;
3dafb85c 3702 ipa_ref *ref = NULL;
9c8305f8 3703
d52f5295 3704 if (callees)
9c8305f8
JH
3705 {
3706 error ("Alias has call edges");
ae7a23a3 3707 error_found = true;
9c8305f8 3708 }
d52f5295 3709 for (i = 0; iterate_reference (i, ref); i++)
31db0fe0 3710 if (ref->use != IPA_REF_ALIAS)
9c8305f8
JH
3711 {
3712 error ("Alias has non-alias reference");
3713 error_found = true;
3714 }
3715 else if (ref_found)
3716 {
3717 error ("Alias has more than one alias reference");
3718 error_found = true;
3719 }
3720 else
3721 ref_found = true;
21c0a521
DM
3722 if (!ref_found)
3723 {
3724 error ("Analyzed alias has no reference");
3725 error_found = true;
3726 }
9c8305f8 3727 }
d5e254e1 3728
67f3791f 3729 if (analyzed && thunk)
9c8305f8 3730 {
d52f5295 3731 if (!callees)
9c8305f8
JH
3732 {
3733 error ("No edge out of thunk node");
ae7a23a3 3734 error_found = true;
9c8305f8 3735 }
d52f5295 3736 else if (callees->next_callee)
9c8305f8
JH
3737 {
3738 error ("More than one edge out of thunk node");
ae7a23a3 3739 error_found = true;
9c8305f8 3740 }
a62bfab5 3741 if (gimple_has_body_p (decl) && !inlined_to)
ae7a23a3 3742 {
9c8305f8 3743 error ("Thunk is not supposed to have body");
ae7a23a3
JH
3744 error_found = true;
3745 }
9c8305f8 3746 }
d52f5295
ML
3747 else if (analyzed && gimple_has_body_p (decl)
3748 && !TREE_ASM_WRITTEN (decl)
a62bfab5 3749 && (!DECL_EXTERNAL (decl) || inlined_to)
d52f5295 3750 && !flag_wpa)
9c8305f8 3751 {
4dda30e9
JJ
3752 if ((this_cfun->curr_properties & PROP_assumptions_done) != 0)
3753 ;
3754 else if (this_cfun->cfg)
9c8305f8 3755 {
355fe088 3756 hash_set<gimple *> stmts;
71cafea9 3757
9c8305f8
JH
3758 /* Reach the trees by walking over the CFG, and note the
3759 enclosing basic-blocks in the call edges. */
3760 FOR_EACH_BB_FN (this_block, this_cfun)
71cafea9
JH
3761 {
3762 for (gsi = gsi_start_phis (this_block);
3763 !gsi_end_p (gsi); gsi_next (&gsi))
6e2830c3 3764 stmts.add (gsi_stmt (gsi));
71cafea9
JH
3765 for (gsi = gsi_start_bb (this_block);
3766 !gsi_end_p (gsi);
3767 gsi_next (&gsi))
3768 {
355fe088 3769 gimple *stmt = gsi_stmt (gsi);
6e2830c3 3770 stmts.add (stmt);
71cafea9
JH
3771 if (is_gimple_call (stmt))
3772 {
3dafb85c 3773 cgraph_edge *e = get_edge (stmt);
71cafea9
JH
3774 tree decl = gimple_call_fndecl (stmt);
3775 if (e)
3776 {
3777 if (e->aux)
3778 {
3779 error ("shared call_stmt:");
3780 cgraph_debug_gimple_stmt (this_cfun, stmt);
3781 error_found = true;
3782 }
3783 if (!e->indirect_unknown_callee)
3784 {
90988f77 3785 if (e->verify_corresponds_to_fndecl (decl))
71cafea9
JH
3786 {
3787 error ("edge points to wrong declaration:");
67348ccc 3788 debug_tree (e->callee->decl);
71cafea9
JH
3789 fprintf (stderr," Instead of:");
3790 debug_tree (decl);
3791 error_found = true;
3792 }
3793 }
3794 else if (decl)
3795 {
3796 error ("an indirect edge with unknown callee "
3797 "corresponding to a call_stmt with "
3798 "a known declaration:");
3799 error_found = true;
3800 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3801 }
3802 e->aux = (void *)1;
3803 }
3804 else if (decl)
3805 {
3806 error ("missing callgraph edge for call stmt:");
3807 cgraph_debug_gimple_stmt (this_cfun, stmt);
3808 error_found = true;
3809 }
3810 }
3811 }
9c8305f8 3812 }
d52f5295 3813 for (i = 0; iterate_reference (i, ref); i++)
6e2830c3 3814 if (ref->stmt && !stmts.contains (ref->stmt))
71cafea9
JH
3815 {
3816 error ("reference to dead statement");
3817 cgraph_debug_gimple_stmt (this_cfun, ref->stmt);
3818 error_found = true;
3819 }
9c8305f8
JH
3820 }
3821 else
3822 /* No CFG available?! */
3823 gcc_unreachable ();
3824
d52f5295 3825 for (e = callees; e; e = e->next_callee)
9c8305f8 3826 {
f1ba88b1 3827 if (!e->aux && !e->speculative)
9c8305f8
JH
3828 {
3829 error ("edge %s->%s has no corresponding call_stmt",
fec39fa6
TS
3830 identifier_to_locale (e->caller->name ()),
3831 identifier_to_locale (e->callee->name ()));
9c8305f8
JH
3832 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3833 error_found = true;
3834 }
3835 e->aux = 0;
3836 }
d52f5295 3837 for (e = indirect_calls; e; e = e->next_callee)
9c8305f8 3838 {
042ae7d2 3839 if (!e->aux && !e->speculative)
9c8305f8
JH
3840 {
3841 error ("an indirect edge from %s has no corresponding call_stmt",
fec39fa6 3842 identifier_to_locale (e->caller->name ()));
9c8305f8
JH
3843 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3844 error_found = true;
3845 }
3846 e->aux = 0;
3847 }
3848 }
b275fd98 3849
89576d86 3850 if (nested_function_info *info = nested_function_info::get (this))
b275fd98 3851 {
89576d86 3852 if (info->nested != NULL)
b275fd98 3853 {
89576d86
JH
3854 for (cgraph_node *n = info->nested; n != NULL;
3855 n = next_nested_function (n))
b275fd98 3856 {
89576d86
JH
3857 nested_function_info *ninfo = nested_function_info::get (n);
3858 if (ninfo->origin == NULL)
3859 {
3860 error ("missing origin for a node in a nested list");
3861 error_found = true;
3862 }
3863 else if (ninfo->origin != this)
3864 {
3865 error ("origin points to a different parent");
3866 error_found = true;
3867 break;
3868 }
b275fd98
ML
3869 }
3870 }
89576d86
JH
3871 if (info->next_nested != NULL && info->origin == NULL)
3872 {
3873 error ("missing origin for a node in a nested list");
3874 error_found = true;
3875 }
b275fd98
ML
3876 }
3877
9c8305f8
JH
3878 if (error_found)
3879 {
d52f5295 3880 dump (stderr);
9c8305f8
JH
3881 internal_error ("verify_cgraph_node failed");
3882 }
3883 timevar_pop (TV_CGRAPH_VERIFY);
3884}
3885
3886/* Verify whole cgraph structure. */
3887DEBUG_FUNCTION void
d52f5295 3888cgraph_node::verify_cgraph_nodes (void)
9c8305f8 3889{
3dafb85c 3890 cgraph_node *node;
9c8305f8
JH
3891
3892 if (seen_error ())
3893 return;
3894
3895 FOR_EACH_FUNCTION (node)
d52f5295 3896 node->verify ();
9c8305f8 3897}
48f4a6fa 3898
0ecf545c
MS
3899#if __GNUC__ >= 10
3900# pragma GCC diagnostic pop
3901#endif
3902
d52f5295 3903/* Walk the alias chain to return the function cgraph_node is alias of.
6cbde2e3 3904 Walk through thunks, too.
f13fe18b
JH
3905 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3906 When REF is non-NULL, assume that reference happens in symbol REF
3907 when determining the availability. */
e70670cf 3908
d52f5295 3909cgraph_node *
f13fe18b
JH
3910cgraph_node::function_symbol (enum availability *availability,
3911 struct symtab_node *ref)
e70670cf 3912{
f13fe18b 3913 cgraph_node *node = ultimate_alias_target (availability, ref);
d52f5295 3914
67f3791f 3915 while (node->thunk)
e70670cf 3916 {
f7dceb4e
JH
3917 enum availability a;
3918
f13fe18b 3919 ref = node;
6cbde2e3 3920 node = node->callees->callee;
f7dceb4e
JH
3921 node = node->ultimate_alias_target (availability ? &a : NULL, ref);
3922 if (availability && a < *availability)
3923 *availability = a;
6cbde2e3
BE
3924 }
3925 return node;
3926}
3927
3928/* Walk the alias chain to return the function cgraph_node is alias of.
3929 Walk through non virtual thunks, too. Thus we return either a function
3930 or a virtual thunk node.
f13fe18b
JH
3931 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3932 When REF is non-NULL, assume that reference happens in symbol REF
3933 when determining the availability. */
6cbde2e3
BE
3934
3935cgraph_node *
3936cgraph_node::function_or_virtual_thunk_symbol
f13fe18b
JH
3937 (enum availability *availability,
3938 struct symtab_node *ref)
6cbde2e3 3939{
f13fe18b 3940 cgraph_node *node = ultimate_alias_target (availability, ref);
6cbde2e3 3941
67f3791f 3942 while (node->thunk && !thunk_info::get (node)->virtual_offset_p)
6cbde2e3 3943 {
f7dceb4e
JH
3944 enum availability a;
3945
f13fe18b 3946 ref = node;
6cbde2e3 3947 node = node->callees->callee;
f7dceb4e
JH
3948 node = node->ultimate_alias_target (availability ? &a : NULL, ref);
3949 if (availability && a < *availability)
3950 *availability = a;
6cbde2e3 3951 }
e70670cf
JH
3952 return node;
3953}
3954
d52f5295 3955/* When doing LTO, read cgraph_node's body from disk if it is not already
0e590b68 3956 present. Also perform any necessary clone materializations. */
a2e2a668
JH
3957
3958bool
0e590b68 3959cgraph_node::get_untransformed_body ()
a2e2a668 3960{
3dafb85c 3961 lto_file_decl_data *file_data;
a2e2a668
JH
3962 const char *data, *name;
3963 size_t len;
d52f5295 3964 tree decl = this->decl;
a2e2a668 3965
0e590b68
JH
3966 /* See if there is clone to be materialized.
3967 (inline clones does not need materialization, but we can be seeing
3968 an inline clone of real clone). */
3969 cgraph_node *p = this;
3970 for (cgraph_node *c = clone_of; c; c = c->clone_of)
3971 {
3972 if (c->decl != decl)
3973 p->materialize_clone ();
3974 p = c;
3975 }
3976
e9191ad3
JH
3977 /* Check if body is already there. Either we have gimple body or
3978 the function is thunk and in that case we set DECL_ARGUMENTS. */
3979 if (DECL_ARGUMENTS (decl) || gimple_has_body_p (decl))
a2e2a668
JH
3980 return false;
3981
e9191ad3 3982 gcc_assert (in_lto_p && !DECL_RESULT (decl));
a2e2a668 3983
917dd9bf
JH
3984 timevar_push (TV_IPA_LTO_GIMPLE_IN);
3985
d52f5295 3986 file_data = lto_file_data;
a2e2a668
JH
3987 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
3988
3989 /* We may have renamed the declaration, e.g., a static function. */
3990 name = lto_get_decl_name_mapping (file_data, name);
ca834876
JH
3991 struct lto_in_decl_state *decl_state
3992 = lto_get_function_in_decl_state (file_data, decl);
a2e2a668 3993
3c56d8d8
ML
3994 cgraph_node *origin = this;
3995 while (origin->clone_of)
3996 origin = origin->clone_of;
3997
3998 int stream_order = origin->order - file_data->order_base;
a2e2a668 3999 data = lto_get_section_data (file_data, LTO_section_function_body,
3c56d8d8
ML
4000 name, stream_order, &len,
4001 decl_state->compressed);
a2e2a668 4002 if (!data)
3c56d8d8
ML
4003 fatal_error (input_location, "%s: section %s.%d is missing",
4004 file_data->file_name, name, stream_order);
a2e2a668
JH
4005
4006 gcc_assert (DECL_STRUCT_FUNCTION (decl) == NULL);
4007
b4da704c
JH
4008 if (!quiet_flag)
4009 fprintf (stderr, " in:%s", IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
d52f5295 4010 lto_input_function_body (file_data, this, data);
a2e2a668
JH
4011 lto_stats.num_function_bodies++;
4012 lto_free_section_data (file_data, LTO_section_function_body, name,
ca834876 4013 data, len, decl_state->compressed);
d52f5295 4014 lto_free_function_in_decl_state_for_node (this);
1c4db829
JH
4015 /* Keep lto file data so ipa-inline-analysis knows about cross module
4016 inlining. */
917dd9bf
JH
4017
4018 timevar_pop (TV_IPA_LTO_GIMPLE_IN);
4019
a2e2a668
JH
4020 return true;
4021}
4022
70486010
JH
4023/* Prepare function body. When doing LTO, read cgraph_node's body from disk
4024 if it is not already present. When some IPA transformations are scheduled,
4025 apply them. */
4026
4027bool
4028cgraph_node::get_body (void)
4029{
4030 bool updated;
4031
4032 updated = get_untransformed_body ();
4033
4034 /* Getting transformed body makes no sense for inline clones;
56aae4b7 4035 we should never use this on real clones because they are materialized
70486010
JH
4036 early.
4037 TODO: Materializing clones here will likely lead to smaller LTRANS
4038 footprint. */
a62bfab5 4039 gcc_assert (!inlined_to && !clone_of);
70486010
JH
4040 if (ipa_transforms_to_apply.exists ())
4041 {
4042 opt_pass *saved_current_pass = current_pass;
4043 FILE *saved_dump_file = dump_file;
5a15be97 4044 const char *saved_dump_file_name = dump_file_name;
1a817418 4045 dump_flags_t saved_dump_flags = dump_flags;
5a15be97 4046 dump_file_name = NULL;
29b54a9d 4047 set_dump_file (NULL);
70486010
JH
4048
4049 push_cfun (DECL_STRUCT_FUNCTION (decl));
4f75f97b
JH
4050
4051 update_ssa (TODO_update_ssa_only_virtuals);
e57c896e 4052 execute_all_ipa_transforms (true);
70486010
JH
4053 cgraph_edge::rebuild_edges ();
4054 free_dominance_info (CDI_DOMINATORS);
4055 free_dominance_info (CDI_POST_DOMINATORS);
4056 pop_cfun ();
4057 updated = true;
4058
4059 current_pass = saved_current_pass;
29b54a9d 4060 set_dump_file (saved_dump_file);
5a15be97 4061 dump_file_name = saved_dump_file_name;
70486010
JH
4062 dump_flags = saved_dump_flags;
4063 }
4064 return updated;
4065}
4066
8ccda8bc
EB
4067/* Return the DECL_STRUCT_FUNCTION of the function. */
4068
4069struct function *
975d043f 4070cgraph_node::get_fun () const
8ccda8bc 4071{
975d043f 4072 const cgraph_node *node = this;
8ccda8bc
EB
4073 struct function *fun = DECL_STRUCT_FUNCTION (node->decl);
4074
4075 while (!fun && node->clone_of)
4076 {
4077 node = node->clone_of;
4078 fun = DECL_STRUCT_FUNCTION (node->decl);
4079 }
4080
4081 return fun;
4082}
4083
e53b6e56 4084/* Reset all state within cgraph.cc so that we can rerun the compiler
3edf64aa
DM
4085 within the same process. For use by toplev::finalize. */
4086
4087void
d5148d4f 4088cgraph_cc_finalize (void)
3edf64aa 4089{
89576d86 4090 nested_function_info::release ();
67f3791f 4091 thunk_info::release ();
ae7a23a3 4092 clone_info::release ();
3edf64aa
DM
4093 symtab = NULL;
4094
4095 x_cgraph_nodes_queue = NULL;
4096
4097 cgraph_fnver_htab = NULL;
4098 version_info_node = NULL;
4099}
4100
dfea3d6f 4101/* A worker for call_for_symbol_and_aliases. */
31de7606
JH
4102
4103bool
4104cgraph_node::call_for_symbol_and_aliases_1 (bool (*callback) (cgraph_node *,
4105 void *),
4106 void *data,
4107 bool include_overwritable)
4108{
4109 ipa_ref *ref;
4110 FOR_EACH_ALIAS (this, ref)
4111 {
4112 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
4113 if (include_overwritable
4114 || alias->get_availability () > AVAIL_INTERPOSABLE)
4115 if (alias->call_for_symbol_and_aliases (callback, data,
4116 include_overwritable))
4117 return true;
4118 }
4119 return false;
4120}
17d1bf76
ML
4121
4122/* Return true if NODE has thunk. */
4123
4124bool
4125cgraph_node::has_thunk_p (cgraph_node *node, void *)
4126{
4127 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
67f3791f 4128 if (e->caller->thunk)
17d1bf76
ML
4129 return true;
4130 return false;
4131}
4132
7349698e 4133/* Expected frequency of executions within the function. */
41f0e819
JH
4134
4135sreal
4136cgraph_edge::sreal_frequency ()
4137{
a62bfab5
ML
4138 return count.to_sreal_scale (caller->inlined_to
4139 ? caller->inlined_to->count
41f0e819
JH
4140 : caller->count);
4141}
4142
f714ecf5
JH
4143
4144/* During LTO stream in this can be used to check whether call can possibly
4145 be internal to the current translation unit. */
4146
4147bool
4148cgraph_edge::possibly_call_in_translation_unit_p (void)
4149{
4150 gcc_checking_assert (in_lto_p && caller->prevailing_p ());
4151
4152 /* While incremental linking we may end up getting function body later. */
4153 if (flag_incremental_link == INCREMENTAL_LINK_LTO)
4154 return true;
4155
dfea3d6f
JJ
4156 /* We may be smarter here and avoid streaming in indirect calls we can't
4157 track, but that would require arranging streaming the indirect call
f714ecf5
JH
4158 summary first. */
4159 if (!callee)
4160 return true;
4161
dfea3d6f
JJ
4162 /* If callee is local to the original translation unit, it will be
4163 defined. */
f714ecf5
JH
4164 if (!TREE_PUBLIC (callee->decl) && !DECL_EXTERNAL (callee->decl))
4165 return true;
4166
4167 /* Otherwise we need to lookup prevailing symbol (symbol table is not merged,
4168 yet) and see if it is a definition. In fact we may also resolve aliases,
4169 but that is probably not too important. */
4170 symtab_node *node = callee;
4171 for (int n = 10; node->previous_sharing_asm_name && n ; n--)
4172 node = node->previous_sharing_asm_name;
4173 if (node->previous_sharing_asm_name)
4174 node = symtab_node::get_for_asmname (DECL_ASSEMBLER_NAME (callee->decl));
4175 gcc_assert (TREE_PUBLIC (node->decl));
f653eb0e 4176 return node->get_availability () >= AVAIL_INTERPOSABLE;
f714ecf5
JH
4177}
4178
f1ba88b1
XHL
4179/* Return num_speculative_targets of this edge. */
4180
4181int
4182cgraph_edge::num_speculative_call_targets_p (void)
4183{
4184 return indirect_info ? indirect_info->num_speculative_call_targets : 0;
4185}
4186
72b3bc89
JH
4187/* Check if function calls comdat local. This is used to recompute
4188 calls_comdat_local flag after function transformations. */
4189bool
4190cgraph_node::check_calls_comdat_local_p ()
4191{
4192 for (cgraph_edge *e = callees; e; e = e->next_callee)
4193 if (e->inline_failed
4194 ? e->callee->comdat_local_p ()
4195 : e->callee->check_calls_comdat_local_p ())
4196 return true;
4197 return false;
4198}
4199
a29ff9c5
ML
4200/* Return true if this node represents a former, i.e. an expanded, thunk. */
4201
4202bool
4203cgraph_node::former_thunk_p (void)
4204{
4205 if (thunk)
4206 return false;
4207 thunk_info *i = thunk_info::get (this);
4208 if (!i)
4209 return false;
4210 gcc_checking_assert (i->fixed_offset || i->virtual_offset_p
4211 || i->indirect_offset);
4212 return true;
4213}
4214
212755ff
DM
4215/* A stashed copy of "symtab" for use by selftest::symbol_table_test.
4216 This needs to be a global so that it can be a GC root, and thus
4217 prevent the stashed copy from being garbage-collected if the GC runs
4218 during a symbol_table_test. */
4219
4220symbol_table *saved_symtab;
4221
4222#if CHECKING_P
4223
4224namespace selftest {
4225
4226/* class selftest::symbol_table_test. */
4227
4228/* Constructor. Store the old value of symtab, and create a new one. */
4229
4230symbol_table_test::symbol_table_test ()
4231{
4232 gcc_assert (saved_symtab == NULL);
4233 saved_symtab = symtab;
a65d584d 4234 symtab = new (ggc_alloc<symbol_table> ()) symbol_table ();
212755ff
DM
4235}
4236
4237/* Destructor. Restore the old value of symtab. */
4238
4239symbol_table_test::~symbol_table_test ()
4240{
4241 gcc_assert (saved_symtab != NULL);
4242 symtab = saved_symtab;
4243 saved_symtab = NULL;
4244}
4245
4246/* Verify that symbol_table_test works. */
4247
4248static void
4249test_symbol_table_test ()
4250{
4251 /* Simulate running two selftests involving symbol tables. */
4252 for (int i = 0; i < 2; i++)
4253 {
4254 symbol_table_test stt;
4255 tree test_decl = build_decl (UNKNOWN_LOCATION, FUNCTION_DECL,
4256 get_identifier ("test_decl"),
4257 build_function_type_list (void_type_node,
4258 NULL_TREE));
4259 cgraph_node *node = cgraph_node::get_create (test_decl);
4260 gcc_assert (node);
4261
4262 /* Verify that the node has order 0 on both iterations,
4263 and thus that nodes have predictable dump names in selftests. */
4264 ASSERT_EQ (node->order, 0);
4265 ASSERT_STREQ (node->dump_name (), "test_decl/0");
4266 }
4267}
4268
4269/* Run all of the selftests within this file. */
4270
4271void
d5148d4f 4272cgraph_cc_tests ()
212755ff
DM
4273{
4274 test_symbol_table_test ();
4275}
4276
4277} // namespace selftest
4278
4279#endif /* CHECKING_P */
4280
988d1653 4281#include "gt-cgraph.h"