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