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