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