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