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