]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/cgraph.c
force-indirect-call-1.c: Merge scan strings.
[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 864
e7a74006 865 edge->count = count.ipa ();
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. */
e7a74006 1311 e->count = gimple_bb (e->call_stmt)->count.ipa ();
a21e735e 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),
e7a74006 1341 prob);
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. */
e7a74006 1647 count = e->count.ipa ();
4b685e14 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);
e7a74006 1658 count = bb->count.ipa ();
4b685e14
JH
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;
e7a74006 3085 if (!count.verify ())
9c8305f8 3086 {
e7a74006
JH
3087 error ("caller edge count invalid");
3088 error_found = true;
3089 }
3090 if (count.initialized_p () && !(count.ipa () == count))
3091 {
3092 error ("caller edge count is local");
9c8305f8
JH
3093 error_found = true;
3094 }
90988f77 3095 if (frequency < 0)
9c8305f8
JH
3096 {
3097 error ("caller edge frequency is negative");
3098 error_found = true;
3099 }
90988f77 3100 if (frequency > CGRAPH_FREQ_MAX)
9c8305f8
JH
3101 {
3102 error ("caller edge frequency is too large");
3103 error_found = true;
3104 }
9c8305f8
JH
3105 return error_found;
3106}
3107
3108/* Switch to THIS_CFUN if needed and print STMT to stderr. */
3109static void
355fe088 3110cgraph_debug_gimple_stmt (function *this_cfun, gimple *stmt)
9c8305f8 3111{
27f7e1c3 3112 bool fndecl_was_null = false;
9c8305f8
JH
3113 /* debug_gimple_stmt needs correct cfun */
3114 if (cfun != this_cfun)
3115 set_cfun (this_cfun);
27f7e1c3
AH
3116 /* ...and an actual current_function_decl */
3117 if (!current_function_decl)
3118 {
3119 current_function_decl = this_cfun->decl;
3120 fndecl_was_null = true;
3121 }
9c8305f8 3122 debug_gimple_stmt (stmt);
27f7e1c3
AH
3123 if (fndecl_was_null)
3124 current_function_decl = NULL;
9c8305f8
JH
3125}
3126
90988f77 3127/* Verify that call graph edge corresponds to DECL from the associated
9c8305f8
JH
3128 statement. Return true if the verification should fail. */
3129
90988f77
ML
3130bool
3131cgraph_edge::verify_corresponds_to_fndecl (tree decl)
9c8305f8 3132{
3dafb85c 3133 cgraph_node *node;
9c8305f8 3134
90988f77 3135 if (!decl || callee->global.inlined_to)
9c8305f8 3136 return false;
3dafb85c 3137 if (symtab->state == LTO_STREAMING)
ca0f62a8 3138 return false;
d52f5295 3139 node = cgraph_node::get (decl);
9c8305f8
JH
3140
3141 /* We do not know if a node from a different partition is an alias or what it
3d8d0043
MJ
3142 aliases and therefore cannot do the former_clone_of check reliably. When
3143 body_removed is set, we have lost all information about what was alias or
3144 thunk of and also cannot proceed. */
3145 if (!node
3146 || node->body_removed
3147 || node->in_other_partition
0a7246ee 3148 || callee->icf_merged
90988f77 3149 || callee->in_other_partition)
9c8305f8 3150 return false;
9de6f6c3 3151
d52f5295
ML
3152 node = node->ultimate_alias_target ();
3153
9de6f6c3 3154 /* Optimizers can redirect unreachable calls or calls triggering undefined
9c582551 3155 behavior to builtin_unreachable. */
90988f77
ML
3156 if (DECL_BUILT_IN_CLASS (callee->decl) == BUILT_IN_NORMAL
3157 && DECL_FUNCTION_CODE (callee->decl) == BUILT_IN_UNREACHABLE)
9de6f6c3 3158 return false;
9c8305f8 3159
90988f77
ML
3160 if (callee->former_clone_of != node->decl
3161 && (node != callee->ultimate_alias_target ())
3162 && !clone_of_p (node, callee))
9c8305f8
JH
3163 return true;
3164 else
3165 return false;
3166}
3167
3168/* Verify cgraph nodes of given cgraph node. */
3169DEBUG_FUNCTION void
d52f5295 3170cgraph_node::verify_node (void)
9c8305f8 3171{
3dafb85c
ML
3172 cgraph_edge *e;
3173 function *this_cfun = DECL_STRUCT_FUNCTION (decl);
9c8305f8
JH
3174 basic_block this_block;
3175 gimple_stmt_iterator gsi;
3176 bool error_found = false;
3177
3178 if (seen_error ())
3179 return;
3180
3181 timevar_push (TV_CGRAPH_VERIFY);
d52f5295
ML
3182 error_found |= verify_base ();
3183 for (e = callees; e; e = e->next_callee)
9c8305f8
JH
3184 if (e->aux)
3185 {
3186 error ("aux field set for edge %s->%s",
fec39fa6
TS
3187 identifier_to_locale (e->caller->name ()),
3188 identifier_to_locale (e->callee->name ()));
9c8305f8
JH
3189 error_found = true;
3190 }
e7a74006
JH
3191 if (!count.verify ())
3192 {
3193 error ("cgraph count invalid");
3194 error_found = true;
3195 }
3196 if (count.initialized_p () && !(count.ipa () == count))
9c8305f8 3197 {
e7a74006 3198 error ("cgraph count is local");
9c8305f8
JH
3199 error_found = true;
3200 }
d52f5295 3201 if (global.inlined_to && same_comdat_group)
65d630d4
JH
3202 {
3203 error ("inline clone in same comdat group list");
3204 error_found = true;
3205 }
d52f5295 3206 if (!definition && !in_other_partition && local.local)
e70670cf
JH
3207 {
3208 error ("local symbols must be defined");
3209 error_found = true;
3210 }
d52f5295 3211 if (global.inlined_to && externally_visible)
9c8305f8
JH
3212 {
3213 error ("externally visible inline clone");
3214 error_found = true;
3215 }
d52f5295 3216 if (global.inlined_to && address_taken)
9c8305f8
JH
3217 {
3218 error ("inline clone with address taken");
3219 error_found = true;
3220 }
d52f5295 3221 if (global.inlined_to && force_output)
9c8305f8
JH
3222 {
3223 error ("inline clone is forced to output");
3224 error_found = true;
3225 }
d52f5295 3226 for (e = indirect_calls; e; e = e->next_callee)
9c8305f8
JH
3227 {
3228 if (e->aux)
3229 {
3230 error ("aux field set for indirect edge from %s",
fec39fa6 3231 identifier_to_locale (e->caller->name ()));
9c8305f8
JH
3232 error_found = true;
3233 }
3234 if (!e->indirect_unknown_callee
3235 || !e->indirect_info)
3236 {
3237 error ("An indirect edge from %s is not marked as indirect or has "
3238 "associated indirect_info, the corresponding statement is: ",
fec39fa6 3239 identifier_to_locale (e->caller->name ()));
9c8305f8
JH
3240 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3241 error_found = true;
3242 }
3243 }
d52f5295
ML
3244 bool check_comdat = comdat_local_p ();
3245 for (e = callers; e; e = e->next_caller)
9c8305f8 3246 {
90988f77 3247 if (e->verify_count_and_frequency ())
9c8305f8 3248 error_found = true;
1f26ac87 3249 if (check_comdat
d52f5295 3250 && !in_same_comdat_group_p (e->caller))
1f26ac87
JM
3251 {
3252 error ("comdat-local function called by %s outside its comdat",
3253 identifier_to_locale (e->caller->name ()));
3254 error_found = true;
3255 }
9c8305f8
JH
3256 if (!e->inline_failed)
3257 {
d52f5295 3258 if (global.inlined_to
9c8305f8
JH
3259 != (e->caller->global.inlined_to
3260 ? e->caller->global.inlined_to : e->caller))
3261 {
3262 error ("inlined_to pointer is wrong");
3263 error_found = true;
3264 }
d52f5295 3265 if (callers->next_caller)
9c8305f8
JH
3266 {
3267 error ("multiple inline callers");
3268 error_found = true;
3269 }
3270 }
3271 else
d52f5295 3272 if (global.inlined_to)
9c8305f8
JH
3273 {
3274 error ("inlined_to pointer set for noninline callers");
3275 error_found = true;
3276 }
3277 }
1f4eb0e9
JH
3278 for (e = callees; e; e = e->next_callee)
3279 {
3280 if (e->verify_count_and_frequency ())
3281 error_found = true;
e7a74006 3282 /* FIXME: re-enable once cgraph is converted to counts. */
1f4eb0e9 3283 if (gimple_has_body_p (e->caller->decl)
e7a74006 3284 && 0
1f4eb0e9
JH
3285 && !e->caller->global.inlined_to
3286 && !e->speculative
3287 /* Optimized out calls are redirected to __builtin_unreachable. */
3288 && (e->frequency
ea6e17d5
RB
3289 || ! e->callee->decl
3290 || DECL_BUILT_IN_CLASS (e->callee->decl) != BUILT_IN_NORMAL
3291 || DECL_FUNCTION_CODE (e->callee->decl) != BUILT_IN_UNREACHABLE)
1f4eb0e9
JH
3292 && (e->frequency
3293 != compute_call_stmt_bb_frequency (e->caller->decl,
3294 gimple_bb (e->call_stmt))))
3295 {
3296 error ("caller edge frequency %i does not match BB frequency %i",
3297 e->frequency,
3298 compute_call_stmt_bb_frequency (e->caller->decl,
3299 gimple_bb (e->call_stmt)));
3300 error_found = true;
3301 }
3302 }
d52f5295 3303 for (e = indirect_calls; e; e = e->next_callee)
1f4eb0e9
JH
3304 {
3305 if (e->verify_count_and_frequency ())
3306 error_found = true;
e7a74006 3307 /* FIXME: re-enable once cgraph is converted to counts. */
1f4eb0e9
JH
3308 if (gimple_has_body_p (e->caller->decl)
3309 && !e->caller->global.inlined_to
3310 && !e->speculative
e7a74006 3311 && 0
1f4eb0e9
JH
3312 && (e->frequency
3313 != compute_call_stmt_bb_frequency (e->caller->decl,
3314 gimple_bb (e->call_stmt))))
3315 {
3316 error ("indirect call frequency %i does not match BB frequency %i",
3317 e->frequency,
3318 compute_call_stmt_bb_frequency (e->caller->decl,
3319 gimple_bb (e->call_stmt)));
3320 error_found = true;
3321 }
3322 }
d52f5295 3323 if (!callers && global.inlined_to)
9c8305f8
JH
3324 {
3325 error ("inlined_to pointer is set but no predecessors found");
3326 error_found = true;
3327 }
d52f5295 3328 if (global.inlined_to == this)
9c8305f8
JH
3329 {
3330 error ("inlined_to pointer refers to itself");
3331 error_found = true;
3332 }
3333
d52f5295 3334 if (clone_of)
9c8305f8 3335 {
3dafb85c 3336 cgraph_node *n;
d52f5295
ML
3337 for (n = clone_of->clones; n; n = n->next_sibling_clone)
3338 if (n == this)
9c8305f8
JH
3339 break;
3340 if (!n)
3341 {
d52f5295 3342 error ("cgraph_node has wrong clone_of");
9c8305f8
JH
3343 error_found = true;
3344 }
3345 }
d52f5295 3346 if (clones)
9c8305f8 3347 {
3dafb85c 3348 cgraph_node *n;
d52f5295
ML
3349 for (n = clones; n; n = n->next_sibling_clone)
3350 if (n->clone_of != this)
9c8305f8
JH
3351 break;
3352 if (n)
3353 {
d52f5295 3354 error ("cgraph_node has wrong clone list");
9c8305f8
JH
3355 error_found = true;
3356 }
3357 }
d52f5295 3358 if ((prev_sibling_clone || next_sibling_clone) && !clone_of)
9c8305f8 3359 {
d52f5295 3360 error ("cgraph_node is in clone list but it is not clone");
9c8305f8
JH
3361 error_found = true;
3362 }
d52f5295 3363 if (!prev_sibling_clone && clone_of && clone_of->clones != this)
9c8305f8 3364 {
d52f5295 3365 error ("cgraph_node has wrong prev_clone pointer");
9c8305f8
JH
3366 error_found = true;
3367 }
d52f5295 3368 if (prev_sibling_clone && prev_sibling_clone->next_sibling_clone != this)
9c8305f8
JH
3369 {
3370 error ("double linked list of clones corrupted");
3371 error_found = true;
3372 }
3373
d52f5295 3374 if (analyzed && alias)
9c8305f8
JH
3375 {
3376 bool ref_found = false;
3377 int i;
3dafb85c 3378 ipa_ref *ref = NULL;
9c8305f8 3379
d52f5295 3380 if (callees)
9c8305f8
JH
3381 {
3382 error ("Alias has call edges");
3383 error_found = true;
3384 }
d52f5295 3385 for (i = 0; iterate_reference (i, ref); i++)
d5e254e1
IE
3386 if (ref->use == IPA_REF_CHKP)
3387 ;
3388 else if (ref->use != IPA_REF_ALIAS)
9c8305f8
JH
3389 {
3390 error ("Alias has non-alias reference");
3391 error_found = true;
3392 }
3393 else if (ref_found)
3394 {
3395 error ("Alias has more than one alias reference");
3396 error_found = true;
3397 }
3398 else
3399 ref_found = true;
21c0a521
DM
3400 if (!ref_found)
3401 {
3402 error ("Analyzed alias has no reference");
3403 error_found = true;
3404 }
9c8305f8 3405 }
d5e254e1
IE
3406
3407 /* Check instrumented version reference. */
3408 if (instrumented_version
3409 && instrumented_version->instrumented_version != this)
3410 {
3411 error ("Instrumentation clone does not reference original node");
3412 error_found = true;
3413 }
3414
3415 /* Cannot have orig_decl for not instrumented nodes. */
3416 if (!instrumentation_clone && orig_decl)
3417 {
3418 error ("Not instrumented node has non-NULL original declaration");
3419 error_found = true;
3420 }
3421
3422 /* If original not instrumented node still exists then we may check
3423 original declaration is set properly. */
3424 if (instrumented_version
3425 && orig_decl
3426 && orig_decl != instrumented_version->decl)
3427 {
3428 error ("Instrumented node has wrong original declaration");
3429 error_found = true;
3430 }
3431
3432 /* Check all nodes have chkp reference to their instrumented versions. */
3433 if (analyzed
3434 && instrumented_version
3435 && !instrumentation_clone)
3436 {
3437 bool ref_found = false;
3438 int i;
3439 struct ipa_ref *ref;
3440
3441 for (i = 0; iterate_reference (i, ref); i++)
3442 if (ref->use == IPA_REF_CHKP)
3443 {
3444 if (ref_found)
3445 {
3446 error ("Node has more than one chkp reference");
3447 error_found = true;
3448 }
3449 if (ref->referred != instrumented_version)
3450 {
3451 error ("Wrong node is referenced with chkp reference");
3452 error_found = true;
3453 }
3454 ref_found = true;
3455 }
3456
3457 if (!ref_found)
3458 {
3459 error ("Analyzed node has no reference to instrumented version");
3460 error_found = true;
3461 }
3462 }
3463
48de5d37
IE
3464 if (instrumentation_clone
3465 && DECL_BUILT_IN_CLASS (decl) == NOT_BUILT_IN)
3466 {
3467 tree name = DECL_ASSEMBLER_NAME (decl);
3468 tree orig_name = DECL_ASSEMBLER_NAME (orig_decl);
3469
3470 if (!IDENTIFIER_TRANSPARENT_ALIAS (name)
3471 || TREE_CHAIN (name) != orig_name)
3472 {
3473 error ("Alias chain for instrumented node is broken");
3474 error_found = true;
3475 }
3476 }
3477
d52f5295 3478 if (analyzed && thunk.thunk_p)
9c8305f8 3479 {
d52f5295 3480 if (!callees)
9c8305f8
JH
3481 {
3482 error ("No edge out of thunk node");
3483 error_found = true;
3484 }
d52f5295 3485 else if (callees->next_callee)
9c8305f8
JH
3486 {
3487 error ("More than one edge out of thunk node");
3488 error_found = true;
3489 }
0b9004ed 3490 if (gimple_has_body_p (decl) && !global.inlined_to)
9c8305f8
JH
3491 {
3492 error ("Thunk is not supposed to have body");
3493 error_found = true;
3494 }
d5e254e1
IE
3495 if (thunk.add_pointer_bounds_args
3496 && !instrumented_version->semantically_equivalent_p (callees->callee))
3497 {
3498 error ("Instrumentation thunk has wrong edge callee");
3499 error_found = true;
3500 }
9c8305f8 3501 }
d52f5295
ML
3502 else if (analyzed && gimple_has_body_p (decl)
3503 && !TREE_ASM_WRITTEN (decl)
3504 && (!DECL_EXTERNAL (decl) || global.inlined_to)
3505 && !flag_wpa)
9c8305f8
JH
3506 {
3507 if (this_cfun->cfg)
3508 {
355fe088 3509 hash_set<gimple *> stmts;
71cafea9 3510 int i;
3dafb85c 3511 ipa_ref *ref = NULL;
71cafea9 3512
9c8305f8
JH
3513 /* Reach the trees by walking over the CFG, and note the
3514 enclosing basic-blocks in the call edges. */
3515 FOR_EACH_BB_FN (this_block, this_cfun)
71cafea9
JH
3516 {
3517 for (gsi = gsi_start_phis (this_block);
3518 !gsi_end_p (gsi); gsi_next (&gsi))
6e2830c3 3519 stmts.add (gsi_stmt (gsi));
71cafea9
JH
3520 for (gsi = gsi_start_bb (this_block);
3521 !gsi_end_p (gsi);
3522 gsi_next (&gsi))
3523 {
355fe088 3524 gimple *stmt = gsi_stmt (gsi);
6e2830c3 3525 stmts.add (stmt);
71cafea9
JH
3526 if (is_gimple_call (stmt))
3527 {
3dafb85c 3528 cgraph_edge *e = get_edge (stmt);
71cafea9
JH
3529 tree decl = gimple_call_fndecl (stmt);
3530 if (e)
3531 {
3532 if (e->aux)
3533 {
3534 error ("shared call_stmt:");
3535 cgraph_debug_gimple_stmt (this_cfun, stmt);
3536 error_found = true;
3537 }
3538 if (!e->indirect_unknown_callee)
3539 {
90988f77 3540 if (e->verify_corresponds_to_fndecl (decl))
71cafea9
JH
3541 {
3542 error ("edge points to wrong declaration:");
67348ccc 3543 debug_tree (e->callee->decl);
71cafea9
JH
3544 fprintf (stderr," Instead of:");
3545 debug_tree (decl);
3546 error_found = true;
3547 }
3548 }
3549 else if (decl)
3550 {
3551 error ("an indirect edge with unknown callee "
3552 "corresponding to a call_stmt with "
3553 "a known declaration:");
3554 error_found = true;
3555 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3556 }
3557 e->aux = (void *)1;
3558 }
3559 else if (decl)
3560 {
3561 error ("missing callgraph edge for call stmt:");
3562 cgraph_debug_gimple_stmt (this_cfun, stmt);
3563 error_found = true;
3564 }
3565 }
3566 }
9c8305f8 3567 }
d52f5295 3568 for (i = 0; iterate_reference (i, ref); i++)
6e2830c3 3569 if (ref->stmt && !stmts.contains (ref->stmt))
71cafea9
JH
3570 {
3571 error ("reference to dead statement");
3572 cgraph_debug_gimple_stmt (this_cfun, ref->stmt);
3573 error_found = true;
3574 }
9c8305f8
JH
3575 }
3576 else
3577 /* No CFG available?! */
3578 gcc_unreachable ();
3579
d52f5295 3580 for (e = callees; e; e = e->next_callee)
9c8305f8
JH
3581 {
3582 if (!e->aux)
3583 {
3584 error ("edge %s->%s has no corresponding call_stmt",
fec39fa6
TS
3585 identifier_to_locale (e->caller->name ()),
3586 identifier_to_locale (e->callee->name ()));
9c8305f8
JH
3587 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3588 error_found = true;
3589 }
3590 e->aux = 0;
3591 }
d52f5295 3592 for (e = indirect_calls; e; e = e->next_callee)
9c8305f8 3593 {
042ae7d2 3594 if (!e->aux && !e->speculative)
9c8305f8
JH
3595 {
3596 error ("an indirect edge from %s has no corresponding call_stmt",
fec39fa6 3597 identifier_to_locale (e->caller->name ()));
9c8305f8
JH
3598 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
3599 error_found = true;
3600 }
3601 e->aux = 0;
3602 }
3603 }
3604 if (error_found)
3605 {
d52f5295 3606 dump (stderr);
9c8305f8
JH
3607 internal_error ("verify_cgraph_node failed");
3608 }
3609 timevar_pop (TV_CGRAPH_VERIFY);
3610}
3611
3612/* Verify whole cgraph structure. */
3613DEBUG_FUNCTION void
d52f5295 3614cgraph_node::verify_cgraph_nodes (void)
9c8305f8 3615{
3dafb85c 3616 cgraph_node *node;
9c8305f8
JH
3617
3618 if (seen_error ())
3619 return;
3620
3621 FOR_EACH_FUNCTION (node)
d52f5295 3622 node->verify ();
9c8305f8 3623}
48f4a6fa 3624
d52f5295 3625/* Walk the alias chain to return the function cgraph_node is alias of.
6cbde2e3 3626 Walk through thunks, too.
f13fe18b
JH
3627 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3628 When REF is non-NULL, assume that reference happens in symbol REF
3629 when determining the availability. */
e70670cf 3630
d52f5295 3631cgraph_node *
f13fe18b
JH
3632cgraph_node::function_symbol (enum availability *availability,
3633 struct symtab_node *ref)
e70670cf 3634{
f13fe18b 3635 cgraph_node *node = ultimate_alias_target (availability, ref);
d52f5295 3636
6cbde2e3 3637 while (node->thunk.thunk_p)
e70670cf 3638 {
f13fe18b 3639 ref = node;
6cbde2e3
BE
3640 node = node->callees->callee;
3641 if (availability)
3642 {
3643 enum availability a;
f13fe18b 3644 a = node->get_availability (ref);
6cbde2e3
BE
3645 if (a < *availability)
3646 *availability = a;
3647 }
f13fe18b 3648 node = node->ultimate_alias_target (availability, ref);
6cbde2e3
BE
3649 }
3650 return node;
3651}
3652
3653/* Walk the alias chain to return the function cgraph_node is alias of.
3654 Walk through non virtual thunks, too. Thus we return either a function
3655 or a virtual thunk node.
f13fe18b
JH
3656 When AVAILABILITY is non-NULL, get minimal availability in the chain.
3657 When REF is non-NULL, assume that reference happens in symbol REF
3658 when determining the availability. */
6cbde2e3
BE
3659
3660cgraph_node *
3661cgraph_node::function_or_virtual_thunk_symbol
f13fe18b
JH
3662 (enum availability *availability,
3663 struct symtab_node *ref)
6cbde2e3 3664{
f13fe18b 3665 cgraph_node *node = ultimate_alias_target (availability, ref);
6cbde2e3
BE
3666
3667 while (node->thunk.thunk_p && !node->thunk.virtual_offset_p)
3668 {
f13fe18b 3669 ref = node;
6cbde2e3
BE
3670 node = node->callees->callee;
3671 if (availability)
e70670cf 3672 {
6cbde2e3 3673 enum availability a;
f13fe18b 3674 a = node->get_availability (ref);
6cbde2e3
BE
3675 if (a < *availability)
3676 *availability = a;
e70670cf 3677 }
f13fe18b 3678 node = node->ultimate_alias_target (availability, ref);
6cbde2e3 3679 }
e70670cf
JH
3680 return node;
3681}
3682
d52f5295
ML
3683/* When doing LTO, read cgraph_node's body from disk if it is not already
3684 present. */
a2e2a668
JH
3685
3686bool
70486010 3687cgraph_node::get_untransformed_body (void)
a2e2a668 3688{
3dafb85c 3689 lto_file_decl_data *file_data;
a2e2a668
JH
3690 const char *data, *name;
3691 size_t len;
d52f5295 3692 tree decl = this->decl;
a2e2a668 3693
e9191ad3
JH
3694 /* Check if body is already there. Either we have gimple body or
3695 the function is thunk and in that case we set DECL_ARGUMENTS. */
3696 if (DECL_ARGUMENTS (decl) || gimple_has_body_p (decl))
a2e2a668
JH
3697 return false;
3698
e9191ad3 3699 gcc_assert (in_lto_p && !DECL_RESULT (decl));
a2e2a668 3700
917dd9bf
JH
3701 timevar_push (TV_IPA_LTO_GIMPLE_IN);
3702
d52f5295 3703 file_data = lto_file_data;
a2e2a668
JH
3704 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
3705
3706 /* We may have renamed the declaration, e.g., a static function. */
3707 name = lto_get_decl_name_mapping (file_data, name);
ca834876
JH
3708 struct lto_in_decl_state *decl_state
3709 = lto_get_function_in_decl_state (file_data, decl);
a2e2a668
JH
3710
3711 data = lto_get_section_data (file_data, LTO_section_function_body,
ca834876 3712 name, &len, decl_state->compressed);
a2e2a668 3713 if (!data)
40fecdd6 3714 fatal_error (input_location, "%s: section %s is missing",
a2e2a668
JH
3715 file_data->file_name,
3716 name);
a2e2a668
JH
3717
3718 gcc_assert (DECL_STRUCT_FUNCTION (decl) == NULL);
3719
d52f5295 3720 lto_input_function_body (file_data, this, data);
a2e2a668
JH
3721 lto_stats.num_function_bodies++;
3722 lto_free_section_data (file_data, LTO_section_function_body, name,
ca834876 3723 data, len, decl_state->compressed);
d52f5295 3724 lto_free_function_in_decl_state_for_node (this);
1c4db829
JH
3725 /* Keep lto file data so ipa-inline-analysis knows about cross module
3726 inlining. */
917dd9bf
JH
3727
3728 timevar_pop (TV_IPA_LTO_GIMPLE_IN);
3729
a2e2a668
JH
3730 return true;
3731}
3732
70486010
JH
3733/* Prepare function body. When doing LTO, read cgraph_node's body from disk
3734 if it is not already present. When some IPA transformations are scheduled,
3735 apply them. */
3736
3737bool
3738cgraph_node::get_body (void)
3739{
3740 bool updated;
3741
3742 updated = get_untransformed_body ();
3743
3744 /* Getting transformed body makes no sense for inline clones;
56aae4b7 3745 we should never use this on real clones because they are materialized
70486010
JH
3746 early.
3747 TODO: Materializing clones here will likely lead to smaller LTRANS
3748 footprint. */
3749 gcc_assert (!global.inlined_to && !clone_of);
3750 if (ipa_transforms_to_apply.exists ())
3751 {
3752 opt_pass *saved_current_pass = current_pass;
3753 FILE *saved_dump_file = dump_file;
5a15be97 3754 const char *saved_dump_file_name = dump_file_name;
1a817418 3755 dump_flags_t saved_dump_flags = dump_flags;
5a15be97 3756 dump_file_name = NULL;
fa22501a 3757 dump_file = NULL;
70486010
JH
3758
3759 push_cfun (DECL_STRUCT_FUNCTION (decl));
3760 execute_all_ipa_transforms ();
3761 cgraph_edge::rebuild_edges ();
3762 free_dominance_info (CDI_DOMINATORS);
3763 free_dominance_info (CDI_POST_DOMINATORS);
3764 pop_cfun ();
3765 updated = true;
3766
3767 current_pass = saved_current_pass;
3768 dump_file = saved_dump_file;
5a15be97 3769 dump_file_name = saved_dump_file_name;
70486010
JH
3770 dump_flags = saved_dump_flags;
3771 }
3772 return updated;
3773}
3774
8ccda8bc
EB
3775/* Return the DECL_STRUCT_FUNCTION of the function. */
3776
3777struct function *
3778cgraph_node::get_fun (void)
3779{
3780 cgraph_node *node = this;
3781 struct function *fun = DECL_STRUCT_FUNCTION (node->decl);
3782
3783 while (!fun && node->clone_of)
3784 {
3785 node = node->clone_of;
3786 fun = DECL_STRUCT_FUNCTION (node->decl);
3787 }
3788
3789 return fun;
3790}
3791
4484a35a
AM
3792/* Verify if the type of the argument matches that of the function
3793 declaration. If we cannot verify this or there is a mismatch,
3794 return false. */
3795
3796static bool
355fe088 3797gimple_check_call_args (gimple *stmt, tree fndecl, bool args_count_match)
4484a35a
AM
3798{
3799 tree parms, p;
3800 unsigned int i, nargs;
3801
3802 /* Calls to internal functions always match their signature. */
3803 if (gimple_call_internal_p (stmt))
3804 return true;
3805
3806 nargs = gimple_call_num_args (stmt);
3807
3808 /* Get argument types for verification. */
3809 if (fndecl)
3810 parms = TYPE_ARG_TYPES (TREE_TYPE (fndecl));
3811 else
3812 parms = TYPE_ARG_TYPES (gimple_call_fntype (stmt));
3813
3814 /* Verify if the type of the argument matches that of the function
3815 declaration. If we cannot verify this or there is a mismatch,
3816 return false. */
3817 if (fndecl && DECL_ARGUMENTS (fndecl))
3818 {
3819 for (i = 0, p = DECL_ARGUMENTS (fndecl);
3820 i < nargs;
3821 i++, p = DECL_CHAIN (p))
3822 {
3823 tree arg;
3824 /* We cannot distinguish a varargs function from the case
3825 of excess parameters, still deferring the inlining decision
3826 to the callee is possible. */
3827 if (!p)
3828 break;
3829 arg = gimple_call_arg (stmt, i);
3830 if (p == error_mark_node
5147d10a 3831 || DECL_ARG_TYPE (p) == error_mark_node
4484a35a
AM
3832 || arg == error_mark_node
3833 || (!types_compatible_p (DECL_ARG_TYPE (p), TREE_TYPE (arg))
3834 && !fold_convertible_p (DECL_ARG_TYPE (p), arg)))
3835 return false;
3836 }
3837 if (args_count_match && p)
3838 return false;
3839 }
3840 else if (parms)
3841 {
3842 for (i = 0, p = parms; i < nargs; i++, p = TREE_CHAIN (p))
3843 {
3844 tree arg;
3845 /* If this is a varargs function defer inlining decision
3846 to callee. */
3847 if (!p)
3848 break;
3849 arg = gimple_call_arg (stmt, i);
3850 if (TREE_VALUE (p) == error_mark_node
3851 || arg == error_mark_node
3852 || TREE_CODE (TREE_VALUE (p)) == VOID_TYPE
3853 || (!types_compatible_p (TREE_VALUE (p), TREE_TYPE (arg))
3854 && !fold_convertible_p (TREE_VALUE (p), arg)))
3855 return false;
3856 }
3857 }
3858 else
3859 {
3860 if (nargs != 0)
3861 return false;
3862 }
3863 return true;
3864}
3865
3866/* Verify if the type of the argument and lhs of CALL_STMT matches
3867 that of the function declaration CALLEE. If ARGS_COUNT_MATCH is
3868 true, the arg count needs to be the same.
3869 If we cannot verify this or there is a mismatch, return false. */
3870
3871bool
355fe088 3872gimple_check_call_matching_types (gimple *call_stmt, tree callee,
4484a35a
AM
3873 bool args_count_match)
3874{
3875 tree lhs;
3876
3877 if ((DECL_RESULT (callee)
3878 && !DECL_BY_REFERENCE (DECL_RESULT (callee))
3879 && (lhs = gimple_call_lhs (call_stmt)) != NULL_TREE
3880 && !useless_type_conversion_p (TREE_TYPE (DECL_RESULT (callee)),
3881 TREE_TYPE (lhs))
3882 && !fold_convertible_p (TREE_TYPE (DECL_RESULT (callee)), lhs))
3883 || !gimple_check_call_args (call_stmt, callee, args_count_match))
3884 return false;
3885 return true;
3886}
3887
3edf64aa
DM
3888/* Reset all state within cgraph.c so that we can rerun the compiler
3889 within the same process. For use by toplev::finalize. */
3890
3891void
3892cgraph_c_finalize (void)
3893{
3894 symtab = NULL;
3895
3896 x_cgraph_nodes_queue = NULL;
3897
3898 cgraph_fnver_htab = NULL;
3899 version_info_node = NULL;
3900}
3901
31de7606
JH
3902/* A wroker for call_for_symbol_and_aliases. */
3903
3904bool
3905cgraph_node::call_for_symbol_and_aliases_1 (bool (*callback) (cgraph_node *,
3906 void *),
3907 void *data,
3908 bool include_overwritable)
3909{
3910 ipa_ref *ref;
3911 FOR_EACH_ALIAS (this, ref)
3912 {
3913 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
3914 if (include_overwritable
3915 || alias->get_availability () > AVAIL_INTERPOSABLE)
3916 if (alias->call_for_symbol_and_aliases (callback, data,
3917 include_overwritable))
3918 return true;
3919 }
3920 return false;
3921}
17d1bf76
ML
3922
3923/* Return true if NODE has thunk. */
3924
3925bool
3926cgraph_node::has_thunk_p (cgraph_node *node, void *)
3927{
3928 for (cgraph_edge *e = node->callers; e; e = e->next_caller)
3929 if (e->caller->thunk.thunk_p)
3930 return true;
3931 return false;
3932}
3933
988d1653 3934#include "gt-cgraph.h"