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