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