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