Introduce gimple_call
[official-gcc.git] / gcc / cgraph.c
blob2694c409318a3069bec7748e46701bdac52dfddb
1 /* Callgraph handling code.
2 Copyright (C) 2003-2014 Free Software Foundation, Inc.
3 Contributed by Jan Hubicka
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 /* This file contains basic routines manipulating call graph
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. */
26 #include "config.h"
27 #include "system.h"
28 #include "coretypes.h"
29 #include "tm.h"
30 #include "tree.h"
31 #include "varasm.h"
32 #include "calls.h"
33 #include "print-tree.h"
34 #include "tree-inline.h"
35 #include "langhooks.h"
36 #include "hashtab.h"
37 #include "hash-set.h"
38 #include "toplev.h"
39 #include "flags.h"
40 #include "debug.h"
41 #include "target.h"
42 #include "cgraph.h"
43 #include "intl.h"
44 #include "tree-ssa-alias.h"
45 #include "internal-fn.h"
46 #include "tree-eh.h"
47 #include "gimple-expr.h"
48 #include "gimple.h"
49 #include "gimple-iterator.h"
50 #include "timevar.h"
51 #include "dumpfile.h"
52 #include "gimple-ssa.h"
53 #include "cgraph.h"
54 #include "tree-cfg.h"
55 #include "tree-ssa.h"
56 #include "value-prof.h"
57 #include "except.h"
58 #include "diagnostic-core.h"
59 #include "rtl.h"
60 #include "ipa-utils.h"
61 #include "lto-streamer.h"
62 #include "ipa-inline.h"
63 #include "cfgloop.h"
64 #include "gimple-pretty-print.h"
65 #include "expr.h"
66 #include "tree-dfa.h"
68 /* FIXME: Only for PROP_loops, but cgraph shouldn't have to know about this. */
69 #include "tree-pass.h"
71 /* Queue of cgraph nodes scheduled to be lowered. */
72 symtab_node *x_cgraph_nodes_queue;
73 #define cgraph_nodes_queue ((cgraph_node *)x_cgraph_nodes_queue)
75 /* Symbol table global context. */
76 symbol_table *symtab;
78 /* List of hooks triggered on cgraph_edge events. */
79 struct cgraph_edge_hook_list {
80 cgraph_edge_hook hook;
81 void *data;
82 struct cgraph_edge_hook_list *next;
85 /* List of hooks triggered on cgraph_node events. */
86 struct cgraph_node_hook_list {
87 cgraph_node_hook hook;
88 void *data;
89 struct cgraph_node_hook_list *next;
92 /* List of hooks triggered on events involving two cgraph_edges. */
93 struct cgraph_2edge_hook_list {
94 cgraph_2edge_hook hook;
95 void *data;
96 struct cgraph_2edge_hook_list *next;
99 /* List of hooks triggered on events involving two cgraph_nodes. */
100 struct cgraph_2node_hook_list {
101 cgraph_2node_hook hook;
102 void *data;
103 struct cgraph_2node_hook_list *next;
106 /* Hash descriptor for cgraph_function_version_info. */
108 struct function_version_hasher : ggc_hasher<cgraph_function_version_info *>
110 static hashval_t hash (cgraph_function_version_info *);
111 static bool equal (cgraph_function_version_info *,
112 cgraph_function_version_info *);
115 /* Map a cgraph_node to cgraph_function_version_info using this htab.
116 The cgraph_function_version_info has a THIS_NODE field that is the
117 corresponding cgraph_node.. */
119 static GTY(()) hash_table<function_version_hasher> *cgraph_fnver_htab = NULL;
121 /* Hash function for cgraph_fnver_htab. */
122 hashval_t
123 function_version_hasher::hash (cgraph_function_version_info *ptr)
125 int uid = ptr->this_node->uid;
126 return (hashval_t)(uid);
129 /* eq function for cgraph_fnver_htab. */
130 bool
131 function_version_hasher::equal (cgraph_function_version_info *n1,
132 cgraph_function_version_info *n2)
134 return n1->this_node->uid == n2->this_node->uid;
137 /* Mark as GC root all allocated nodes. */
138 static GTY(()) struct cgraph_function_version_info *
139 version_info_node = NULL;
141 /* Get the cgraph_function_version_info node corresponding to node. */
142 cgraph_function_version_info *
143 cgraph_node::function_version (void)
145 cgraph_function_version_info key;
146 key.this_node = this;
148 if (cgraph_fnver_htab == NULL)
149 return NULL;
151 return cgraph_fnver_htab->find (&key);
154 /* Insert a new cgraph_function_version_info node into cgraph_fnver_htab
155 corresponding to cgraph_node NODE. */
156 cgraph_function_version_info *
157 cgraph_node::insert_new_function_version (void)
159 version_info_node = NULL;
160 version_info_node = ggc_cleared_alloc<cgraph_function_version_info> ();
161 version_info_node->this_node = this;
163 if (cgraph_fnver_htab == NULL)
164 cgraph_fnver_htab = hash_table<function_version_hasher>::create_ggc (2);
166 *cgraph_fnver_htab->find_slot (version_info_node, INSERT)
167 = version_info_node;
168 return version_info_node;
171 /* Remove the cgraph_function_version_info and cgraph_node for DECL. This
172 DECL is a duplicate declaration. */
173 void
174 cgraph_node::delete_function_version (tree decl)
176 cgraph_node *decl_node = cgraph_node::get (decl);
177 cgraph_function_version_info *decl_v = NULL;
179 if (decl_node == NULL)
180 return;
182 decl_v = decl_node->function_version ();
184 if (decl_v == NULL)
185 return;
187 if (decl_v->prev != NULL)
188 decl_v->prev->next = decl_v->next;
190 if (decl_v->next != NULL)
191 decl_v->next->prev = decl_v->prev;
193 if (cgraph_fnver_htab != NULL)
194 cgraph_fnver_htab->remove_elt (decl_v);
196 decl_node->remove ();
199 /* Record that DECL1 and DECL2 are semantically identical function
200 versions. */
201 void
202 cgraph_node::record_function_versions (tree decl1, tree decl2)
204 cgraph_node *decl1_node = cgraph_node::get_create (decl1);
205 cgraph_node *decl2_node = cgraph_node::get_create (decl2);
206 cgraph_function_version_info *decl1_v = NULL;
207 cgraph_function_version_info *decl2_v = NULL;
208 cgraph_function_version_info *before;
209 cgraph_function_version_info *after;
211 gcc_assert (decl1_node != NULL && decl2_node != NULL);
212 decl1_v = decl1_node->function_version ();
213 decl2_v = decl2_node->function_version ();
215 if (decl1_v != NULL && decl2_v != NULL)
216 return;
218 if (decl1_v == NULL)
219 decl1_v = decl1_node->insert_new_function_version ();
221 if (decl2_v == NULL)
222 decl2_v = decl2_node->insert_new_function_version ();
224 /* Chain decl2_v and decl1_v. All semantically identical versions
225 will be chained together. */
227 before = decl1_v;
228 after = decl2_v;
230 while (before->next != NULL)
231 before = before->next;
233 while (after->prev != NULL)
234 after= after->prev;
236 before->next = after;
237 after->prev = before;
240 /* Register HOOK to be called with DATA on each removed edge. */
241 cgraph_edge_hook_list *
242 symbol_table::add_edge_removal_hook (cgraph_edge_hook hook, void *data)
244 cgraph_edge_hook_list *entry;
245 cgraph_edge_hook_list **ptr = &m_first_edge_removal_hook;
247 entry = (cgraph_edge_hook_list *) xmalloc (sizeof (*entry));
248 entry->hook = hook;
249 entry->data = data;
250 entry->next = NULL;
251 while (*ptr)
252 ptr = &(*ptr)->next;
253 *ptr = entry;
254 return entry;
257 /* Remove ENTRY from the list of hooks called on removing edges. */
258 void
259 symbol_table::remove_edge_removal_hook (cgraph_edge_hook_list *entry)
261 cgraph_edge_hook_list **ptr = &m_first_edge_removal_hook;
263 while (*ptr != entry)
264 ptr = &(*ptr)->next;
265 *ptr = entry->next;
266 free (entry);
269 /* Call all edge removal hooks. */
270 void
271 symbol_table::call_edge_removal_hooks (cgraph_edge *e)
273 cgraph_edge_hook_list *entry = m_first_edge_removal_hook;
274 while (entry)
276 entry->hook (e, entry->data);
277 entry = entry->next;
281 /* Register HOOK to be called with DATA on each removed node. */
282 cgraph_node_hook_list *
283 symbol_table::add_cgraph_removal_hook (cgraph_node_hook hook, void *data)
285 cgraph_node_hook_list *entry;
286 cgraph_node_hook_list **ptr = &m_first_cgraph_removal_hook;
288 entry = (cgraph_node_hook_list *) xmalloc (sizeof (*entry));
289 entry->hook = hook;
290 entry->data = data;
291 entry->next = NULL;
292 while (*ptr)
293 ptr = &(*ptr)->next;
294 *ptr = entry;
295 return entry;
298 /* Remove ENTRY from the list of hooks called on removing nodes. */
299 void
300 symbol_table::remove_cgraph_removal_hook (cgraph_node_hook_list *entry)
302 cgraph_node_hook_list **ptr = &m_first_cgraph_removal_hook;
304 while (*ptr != entry)
305 ptr = &(*ptr)->next;
306 *ptr = entry->next;
307 free (entry);
310 /* Call all node removal hooks. */
311 void
312 symbol_table::call_cgraph_removal_hooks (cgraph_node *node)
314 cgraph_node_hook_list *entry = m_first_cgraph_removal_hook;
315 while (entry)
317 entry->hook (node, entry->data);
318 entry = entry->next;
322 /* Call all node removal hooks. */
323 void
324 symbol_table::call_cgraph_insertion_hooks (cgraph_node *node)
326 cgraph_node_hook_list *entry = m_first_cgraph_insertion_hook;
327 while (entry)
329 entry->hook (node, entry->data);
330 entry = entry->next;
335 /* Register HOOK to be called with DATA on each inserted node. */
336 cgraph_node_hook_list *
337 symbol_table::add_cgraph_insertion_hook (cgraph_node_hook hook, void *data)
339 cgraph_node_hook_list *entry;
340 cgraph_node_hook_list **ptr = &m_first_cgraph_insertion_hook;
342 entry = (cgraph_node_hook_list *) xmalloc (sizeof (*entry));
343 entry->hook = hook;
344 entry->data = data;
345 entry->next = NULL;
346 while (*ptr)
347 ptr = &(*ptr)->next;
348 *ptr = entry;
349 return entry;
352 /* Remove ENTRY from the list of hooks called on inserted nodes. */
353 void
354 symbol_table::remove_cgraph_insertion_hook (cgraph_node_hook_list *entry)
356 cgraph_node_hook_list **ptr = &m_first_cgraph_insertion_hook;
358 while (*ptr != entry)
359 ptr = &(*ptr)->next;
360 *ptr = entry->next;
361 free (entry);
364 /* Register HOOK to be called with DATA on each duplicated edge. */
365 cgraph_2edge_hook_list *
366 symbol_table::add_edge_duplication_hook (cgraph_2edge_hook hook, void *data)
368 cgraph_2edge_hook_list *entry;
369 cgraph_2edge_hook_list **ptr = &m_first_edge_duplicated_hook;
371 entry = (cgraph_2edge_hook_list *) xmalloc (sizeof (*entry));
372 entry->hook = hook;
373 entry->data = data;
374 entry->next = NULL;
375 while (*ptr)
376 ptr = &(*ptr)->next;
377 *ptr = entry;
378 return entry;
381 /* Remove ENTRY from the list of hooks called on duplicating edges. */
382 void
383 symbol_table::remove_edge_duplication_hook (cgraph_2edge_hook_list *entry)
385 cgraph_2edge_hook_list **ptr = &m_first_edge_duplicated_hook;
387 while (*ptr != entry)
388 ptr = &(*ptr)->next;
389 *ptr = entry->next;
390 free (entry);
393 /* Call all edge duplication hooks. */
394 void
395 symbol_table::call_edge_duplication_hooks (cgraph_edge *cs1, cgraph_edge *cs2)
397 cgraph_2edge_hook_list *entry = m_first_edge_duplicated_hook;
398 while (entry)
400 entry->hook (cs1, cs2, entry->data);
401 entry = entry->next;
405 /* Register HOOK to be called with DATA on each duplicated node. */
406 cgraph_2node_hook_list *
407 symbol_table::add_cgraph_duplication_hook (cgraph_2node_hook hook, void *data)
409 cgraph_2node_hook_list *entry;
410 cgraph_2node_hook_list **ptr = &m_first_cgraph_duplicated_hook;
412 entry = (cgraph_2node_hook_list *) xmalloc (sizeof (*entry));
413 entry->hook = hook;
414 entry->data = data;
415 entry->next = NULL;
416 while (*ptr)
417 ptr = &(*ptr)->next;
418 *ptr = entry;
419 return entry;
422 /* Remove ENTRY from the list of hooks called on duplicating nodes. */
423 void
424 symbol_table::remove_cgraph_duplication_hook (cgraph_2node_hook_list *entry)
426 cgraph_2node_hook_list **ptr = &m_first_cgraph_duplicated_hook;
428 while (*ptr != entry)
429 ptr = &(*ptr)->next;
430 *ptr = entry->next;
431 free (entry);
434 /* Call all node duplication hooks. */
435 void
436 symbol_table::call_cgraph_duplication_hooks (cgraph_node *node,
437 cgraph_node *node2)
439 cgraph_2node_hook_list *entry = m_first_cgraph_duplicated_hook;
440 while (entry)
442 entry->hook (node, node2, entry->data);
443 entry = entry->next;
447 /* Return cgraph node assigned to DECL. Create new one when needed. */
449 cgraph_node *
450 cgraph_node::create (tree decl)
452 cgraph_node *node = symtab->create_empty ();
453 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
455 node->decl = decl;
456 node->register_symbol ();
458 if (DECL_CONTEXT (decl) && TREE_CODE (DECL_CONTEXT (decl)) == FUNCTION_DECL)
460 node->origin = cgraph_node::get_create (DECL_CONTEXT (decl));
461 node->next_nested = node->origin->nested;
462 node->origin->nested = node;
464 return node;
467 /* Try to find a call graph node for declaration DECL and if it does not exist
468 or if it corresponds to an inline clone, create a new one. */
470 cgraph_node *
471 cgraph_node::get_create (tree decl)
473 cgraph_node *first_clone = cgraph_node::get (decl);
475 if (first_clone && !first_clone->global.inlined_to)
476 return first_clone;
478 cgraph_node *node = cgraph_node::create (decl);
479 if (first_clone)
481 first_clone->clone_of = node;
482 node->clones = first_clone;
483 symtab->symtab_prevail_in_asm_name_hash (node);
484 node->decl->decl_with_vis.symtab_node = node;
485 if (dump_file)
486 fprintf (dump_file, "Introduced new external node "
487 "(%s/%i) and turned into root of the clone tree.\n",
488 xstrdup (node->name ()), node->order);
490 else if (dump_file)
491 fprintf (dump_file, "Introduced new external node "
492 "(%s/%i).\n", xstrdup (node->name ()),
493 node->order);
494 return node;
497 /* Mark ALIAS as an alias to DECL. DECL_NODE is cgraph node representing
498 the function body is associated with (not necessarily cgraph_node (DECL). */
500 cgraph_node *
501 cgraph_node::create_alias (tree alias, tree target)
503 cgraph_node *alias_node;
505 gcc_assert (TREE_CODE (target) == FUNCTION_DECL
506 || TREE_CODE (target) == IDENTIFIER_NODE);
507 gcc_assert (TREE_CODE (alias) == FUNCTION_DECL);
508 alias_node = cgraph_node::get_create (alias);
509 gcc_assert (!alias_node->definition);
510 alias_node->alias_target = target;
511 alias_node->definition = true;
512 alias_node->alias = true;
513 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (alias)) != NULL)
514 alias_node->weakref = true;
515 return alias_node;
518 /* Attempt to mark ALIAS as an alias to DECL. Return alias node if successful
519 and NULL otherwise.
520 Same body aliases are output whenever the body of DECL is output,
521 and cgraph_node::get (ALIAS) transparently returns
522 cgraph_node::get (DECL). */
524 cgraph_node *
525 cgraph_node::create_same_body_alias (tree alias, tree decl)
527 cgraph_node *n;
528 #ifndef ASM_OUTPUT_DEF
529 /* If aliases aren't supported by the assembler, fail. */
530 return NULL;
531 #endif
532 /* Langhooks can create same body aliases of symbols not defined.
533 Those are useless. Drop them on the floor. */
534 if (symtab->global_info_ready)
535 return NULL;
537 n = cgraph_node::create_alias (alias, decl);
538 n->cpp_implicit_alias = true;
539 if (symtab->cpp_implicit_aliases_done)
540 n->resolve_alias (cgraph_node::get (decl));
541 return n;
544 /* Add thunk alias into callgraph. The alias declaration is ALIAS and it
545 aliases DECL with an adjustments made into the first parameter.
546 See comments in thunk_adjust for detail on the parameters. */
548 cgraph_node *
549 cgraph_node::create_thunk (tree alias, tree, bool this_adjusting,
550 HOST_WIDE_INT fixed_offset,
551 HOST_WIDE_INT virtual_value,
552 tree virtual_offset,
553 tree real_alias)
555 cgraph_node *node;
557 node = cgraph_node::get (alias);
558 if (node)
559 node->reset ();
560 else
561 node = cgraph_node::create (alias);
562 gcc_checking_assert (!virtual_offset
563 || wi::eq_p (virtual_offset, virtual_value));
564 node->thunk.fixed_offset = fixed_offset;
565 node->thunk.this_adjusting = this_adjusting;
566 node->thunk.virtual_value = virtual_value;
567 node->thunk.virtual_offset_p = virtual_offset != NULL;
568 node->thunk.alias = real_alias;
569 node->thunk.thunk_p = true;
570 node->definition = true;
572 return node;
575 /* Return the cgraph node that has ASMNAME for its DECL_ASSEMBLER_NAME.
576 Return NULL if there's no such node. */
578 cgraph_node *
579 cgraph_node::get_for_asmname (tree asmname)
581 /* We do not want to look at inline clones. */
582 for (symtab_node *node = symtab_node::get_for_asmname (asmname);
583 node;
584 node = node->next_sharing_asm_name)
586 cgraph_node *cn = dyn_cast <cgraph_node *> (node);
587 if (cn && !cn->global.inlined_to)
588 return cn;
590 return NULL;
593 /* Returns a hash value for X (which really is a cgraph_edge). */
595 hashval_t
596 cgraph_edge_hasher::hash (cgraph_edge *e)
598 return htab_hash_pointer (e->call_stmt);
601 /* Return nonzero if the call_stmt of of cgraph_edge X is stmt *Y. */
603 inline bool
604 cgraph_edge_hasher::equal (cgraph_edge *x, gimple y)
606 return x->call_stmt == y;
609 /* Add call graph edge E to call site hash of its caller. */
611 static inline void
612 cgraph_update_edge_in_call_site_hash (cgraph_edge *e)
614 gimple call = e->call_stmt;
615 *e->caller->call_site_hash->find_slot_with_hash (call,
616 htab_hash_pointer (call),
617 INSERT) = e;
620 /* Add call graph edge E to call site hash of its caller. */
622 static inline void
623 cgraph_add_edge_to_call_site_hash (cgraph_edge *e)
625 /* There are two speculative edges for every statement (one direct,
626 one indirect); always hash the direct one. */
627 if (e->speculative && e->indirect_unknown_callee)
628 return;
629 cgraph_edge **slot = e->caller->call_site_hash->find_slot_with_hash
630 (e->call_stmt,
631 htab_hash_pointer (e->call_stmt), INSERT);
632 if (*slot)
634 gcc_assert (((cgraph_edge *)*slot)->speculative);
635 if (e->callee)
636 *slot = e;
637 return;
639 gcc_assert (!*slot || e->speculative);
640 *slot = e;
643 /* Return the callgraph edge representing the GIMPLE_CALL statement
644 CALL_STMT. */
646 cgraph_edge *
647 cgraph_node::get_edge (gimple call_stmt)
649 cgraph_edge *e, *e2;
650 int n = 0;
652 if (call_site_hash)
653 return call_site_hash->find_with_hash (call_stmt,
654 htab_hash_pointer (call_stmt));
656 /* This loop may turn out to be performance problem. In such case adding
657 hashtables into call nodes with very many edges is probably best
658 solution. It is not good idea to add pointer into CALL_EXPR itself
659 because we want to make possible having multiple cgraph nodes representing
660 different clones of the same body before the body is actually cloned. */
661 for (e = callees; e; e = e->next_callee)
663 if (e->call_stmt == call_stmt)
664 break;
665 n++;
668 if (!e)
669 for (e = indirect_calls; e; e = e->next_callee)
671 if (e->call_stmt == call_stmt)
672 break;
673 n++;
676 if (n > 100)
678 call_site_hash = hash_table<cgraph_edge_hasher>::create_ggc (120);
679 for (e2 = callees; e2; e2 = e2->next_callee)
680 cgraph_add_edge_to_call_site_hash (e2);
681 for (e2 = indirect_calls; e2; e2 = e2->next_callee)
682 cgraph_add_edge_to_call_site_hash (e2);
685 return e;
689 /* Change field call_stmt of edge to NEW_STMT.
690 If UPDATE_SPECULATIVE and E is any component of speculative
691 edge, then update all components. */
693 void
694 cgraph_edge::set_call_stmt (gimple new_stmt, bool update_speculative)
696 tree decl;
698 /* Speculative edges has three component, update all of them
699 when asked to. */
700 if (update_speculative && speculative)
702 cgraph_edge *direct, *indirect;
703 ipa_ref *ref;
705 speculative_call_info (direct, indirect, ref);
706 direct->set_call_stmt (new_stmt, false);
707 indirect->set_call_stmt (new_stmt, false);
708 ref->stmt = new_stmt;
709 return;
712 /* Only direct speculative edges go to call_site_hash. */
713 if (caller->call_site_hash
714 && (!speculative || !indirect_unknown_callee))
716 caller->call_site_hash->remove_elt_with_hash
717 (call_stmt, htab_hash_pointer (call_stmt));
720 cgraph_edge *e = this;
722 call_stmt = new_stmt;
723 if (indirect_unknown_callee
724 && (decl = gimple_call_fndecl (new_stmt)))
726 /* Constant propagation (and possibly also inlining?) can turn an
727 indirect call into a direct one. */
728 cgraph_node *new_callee = cgraph_node::get (decl);
730 gcc_checking_assert (new_callee);
731 e = make_direct (new_callee);
734 push_cfun (DECL_STRUCT_FUNCTION (e->caller->decl));
735 e->can_throw_external = stmt_can_throw_external (new_stmt);
736 pop_cfun ();
737 if (e->caller->call_site_hash)
738 cgraph_add_edge_to_call_site_hash (e);
741 /* Allocate a cgraph_edge structure and fill it with data according to the
742 parameters of which only CALLEE can be NULL (when creating an indirect call
743 edge). */
745 cgraph_edge *
746 symbol_table::create_edge (cgraph_node *caller, cgraph_node *callee,
747 gimple call_stmt, gcov_type count, int freq,
748 bool indir_unknown_callee)
750 cgraph_edge *edge;
752 /* LTO does not actually have access to the call_stmt since these
753 have not been loaded yet. */
754 if (call_stmt)
756 /* This is a rather expensive check possibly triggering
757 construction of call stmt hashtable. */
758 #ifdef ENABLE_CHECKING
759 cgraph_edge *e;
760 gcc_checking_assert (
761 !(e = caller->get_edge (call_stmt)) || e->speculative);
762 #endif
764 gcc_assert (is_gimple_call (call_stmt));
767 if (free_edges)
769 edge = free_edges;
770 free_edges = NEXT_FREE_EDGE (edge);
772 else
774 edge = ggc_alloc<cgraph_edge> ();
775 edge->uid = edges_max_uid++;
778 edges_count++;
780 edge->aux = NULL;
781 edge->caller = caller;
782 edge->callee = callee;
783 edge->prev_caller = NULL;
784 edge->next_caller = NULL;
785 edge->prev_callee = NULL;
786 edge->next_callee = NULL;
787 edge->lto_stmt_uid = 0;
789 edge->count = count;
790 gcc_assert (count >= 0);
791 edge->frequency = freq;
792 gcc_assert (freq >= 0);
793 gcc_assert (freq <= CGRAPH_FREQ_MAX);
795 edge->call_stmt = call_stmt;
796 push_cfun (DECL_STRUCT_FUNCTION (caller->decl));
797 edge->can_throw_external
798 = call_stmt ? stmt_can_throw_external (call_stmt) : false;
799 pop_cfun ();
800 if (call_stmt
801 && callee && callee->decl
802 && !gimple_check_call_matching_types (call_stmt, callee->decl,
803 false))
804 edge->call_stmt_cannot_inline_p = true;
805 else
806 edge->call_stmt_cannot_inline_p = false;
808 edge->indirect_info = NULL;
809 edge->indirect_inlining_edge = 0;
810 edge->speculative = false;
811 edge->indirect_unknown_callee = indir_unknown_callee;
812 if (flag_devirtualize && call_stmt && DECL_STRUCT_FUNCTION (caller->decl))
813 edge->in_polymorphic_cdtor
814 = decl_maybe_in_construction_p (NULL, NULL, call_stmt,
815 caller->decl);
816 else
817 edge->in_polymorphic_cdtor = caller->thunk.thunk_p;
818 if (call_stmt && caller->call_site_hash)
819 cgraph_add_edge_to_call_site_hash (edge);
821 return edge;
824 /* Create edge from a given function to CALLEE in the cgraph. */
826 cgraph_edge *
827 cgraph_node::create_edge (cgraph_node *callee,
828 gimple call_stmt, gcov_type count, int freq)
830 cgraph_edge *edge = symtab->create_edge (this, callee, call_stmt, count,
831 freq, false);
833 initialize_inline_failed (edge);
835 edge->next_caller = callee->callers;
836 if (callee->callers)
837 callee->callers->prev_caller = edge;
838 edge->next_callee = callees;
839 if (callees)
840 callees->prev_callee = edge;
841 callees = edge;
842 callee->callers = edge;
844 return edge;
847 /* Allocate cgraph_indirect_call_info and set its fields to default values. */
849 cgraph_indirect_call_info *
850 cgraph_allocate_init_indirect_info (void)
852 cgraph_indirect_call_info *ii;
854 ii = ggc_cleared_alloc<cgraph_indirect_call_info> ();
855 ii->param_index = -1;
856 return ii;
859 /* Create an indirect edge with a yet-undetermined callee where the call
860 statement destination is a formal parameter of the caller with index
861 PARAM_INDEX. */
863 cgraph_edge *
864 cgraph_node::create_indirect_edge (gimple call_stmt, int ecf_flags,
865 gcov_type count, int freq,
866 bool compute_indirect_info)
868 cgraph_edge *edge = symtab->create_edge (this, NULL, call_stmt,
869 count, freq, true);
870 tree target;
872 initialize_inline_failed (edge);
874 edge->indirect_info = cgraph_allocate_init_indirect_info ();
875 edge->indirect_info->ecf_flags = ecf_flags;
876 edge->indirect_info->vptr_changed = true;
878 /* Record polymorphic call info. */
879 if (compute_indirect_info
880 && call_stmt
881 && (target = gimple_call_fn (call_stmt))
882 && virtual_method_call_p (target))
884 ipa_polymorphic_call_context context (decl, target, call_stmt);
886 /* Only record types can have virtual calls. */
887 edge->indirect_info->polymorphic = true;
888 edge->indirect_info->param_index = -1;
889 edge->indirect_info->otr_token
890 = tree_to_uhwi (OBJ_TYPE_REF_TOKEN (target));
891 edge->indirect_info->otr_type = obj_type_ref_class (target);
892 gcc_assert (TREE_CODE (edge->indirect_info->otr_type) == RECORD_TYPE);
893 edge->indirect_info->context = context;
896 edge->next_callee = indirect_calls;
897 if (indirect_calls)
898 indirect_calls->prev_callee = edge;
899 indirect_calls = edge;
901 return edge;
904 /* Remove the edge from the list of the callers of the callee. */
906 void
907 cgraph_edge::remove_callee (void)
909 gcc_assert (!indirect_unknown_callee);
910 if (prev_caller)
911 prev_caller->next_caller = next_caller;
912 if (next_caller)
913 next_caller->prev_caller = prev_caller;
914 if (!prev_caller)
915 callee->callers = next_caller;
918 /* Remove the edge from the list of the callees of the caller. */
920 void
921 cgraph_edge::remove_caller (void)
923 if (prev_callee)
924 prev_callee->next_callee = next_callee;
925 if (next_callee)
926 next_callee->prev_callee = prev_callee;
927 if (!prev_callee)
929 if (indirect_unknown_callee)
930 caller->indirect_calls = next_callee;
931 else
932 caller->callees = next_callee;
934 if (caller->call_site_hash)
935 caller->call_site_hash->remove_elt_with_hash (call_stmt,
936 htab_hash_pointer (call_stmt));
939 /* Put the edge onto the free list. */
941 void
942 symbol_table::free_edge (cgraph_edge *e)
944 int uid = e->uid;
946 if (e->indirect_info)
947 ggc_free (e->indirect_info);
949 /* Clear out the edge so we do not dangle pointers. */
950 memset (e, 0, sizeof (*e));
951 e->uid = uid;
952 NEXT_FREE_EDGE (e) = free_edges;
953 free_edges = e;
954 edges_count--;
957 /* Remove the edge in the cgraph. */
959 void
960 cgraph_edge::remove (void)
962 /* Call all edge removal hooks. */
963 symtab->call_edge_removal_hooks (this);
965 if (!indirect_unknown_callee)
966 /* Remove from callers list of the callee. */
967 remove_callee ();
969 /* Remove from callees list of the callers. */
970 remove_caller ();
972 /* Put the edge onto the free list. */
973 symtab->free_edge (this);
976 /* Set callee of call graph edge E and add it to the corresponding set of
977 callers. */
979 static void
980 cgraph_set_edge_callee (cgraph_edge *e, cgraph_node *n)
982 e->prev_caller = NULL;
983 if (n->callers)
984 n->callers->prev_caller = e;
985 e->next_caller = n->callers;
986 n->callers = e;
987 e->callee = n;
990 /* Turn edge into speculative call calling N2. Update
991 the profile so the direct call is taken COUNT times
992 with FREQUENCY.
994 At clone materialization time, the indirect call E will
995 be expanded as:
997 if (call_dest == N2)
998 n2 ();
999 else
1000 call call_dest
1002 At this time the function just creates the direct call,
1003 the referencd representing the if conditional and attaches
1004 them all to the orginal indirect call statement.
1006 Return direct edge created. */
1008 cgraph_edge *
1009 cgraph_edge::make_speculative (cgraph_node *n2, gcov_type direct_count,
1010 int direct_frequency)
1012 cgraph_node *n = caller;
1013 ipa_ref *ref = NULL;
1014 cgraph_edge *e2;
1016 if (dump_file)
1018 fprintf (dump_file, "Indirect call -> speculative call"
1019 " %s/%i => %s/%i\n",
1020 xstrdup (n->name ()), n->order,
1021 xstrdup (n2->name ()), n2->order);
1023 speculative = true;
1024 e2 = n->create_edge (n2, call_stmt, direct_count, direct_frequency);
1025 initialize_inline_failed (e2);
1026 e2->speculative = true;
1027 if (TREE_NOTHROW (n2->decl))
1028 e2->can_throw_external = false;
1029 else
1030 e2->can_throw_external = can_throw_external;
1031 e2->lto_stmt_uid = lto_stmt_uid;
1032 e2->in_polymorphic_cdtor = in_polymorphic_cdtor;
1033 count -= e2->count;
1034 frequency -= e2->frequency;
1035 symtab->call_edge_duplication_hooks (this, e2);
1036 ref = n->create_reference (n2, IPA_REF_ADDR, call_stmt);
1037 ref->lto_stmt_uid = lto_stmt_uid;
1038 ref->speculative = speculative;
1039 n2->mark_address_taken ();
1040 return e2;
1043 /* Speculative call consist of three components:
1044 1) an indirect edge representing the original call
1045 2) an direct edge representing the new call
1046 3) ADDR_EXPR reference representing the speculative check.
1047 All three components are attached to single statement (the indirect
1048 call) and if one of them exists, all of them must exist.
1050 Given speculative call edge, return all three components.
1053 void
1054 cgraph_edge::speculative_call_info (cgraph_edge *&direct,
1055 cgraph_edge *&indirect,
1056 ipa_ref *&reference)
1058 ipa_ref *ref;
1059 int i;
1060 cgraph_edge *e2;
1061 cgraph_edge *e = this;
1063 if (!e->indirect_unknown_callee)
1064 for (e2 = e->caller->indirect_calls;
1065 e2->call_stmt != e->call_stmt || e2->lto_stmt_uid != e->lto_stmt_uid;
1066 e2 = e2->next_callee)
1068 else
1070 e2 = e;
1071 /* We can take advantage of the call stmt hash. */
1072 if (e2->call_stmt)
1074 e = e->caller->get_edge (e2->call_stmt);
1075 gcc_assert (e->speculative && !e->indirect_unknown_callee);
1077 else
1078 for (e = e->caller->callees;
1079 e2->call_stmt != e->call_stmt
1080 || e2->lto_stmt_uid != e->lto_stmt_uid;
1081 e = e->next_callee)
1084 gcc_assert (e->speculative && e2->speculative);
1085 direct = e;
1086 indirect = e2;
1088 reference = NULL;
1089 for (i = 0; e->caller->iterate_reference (i, ref); i++)
1090 if (ref->speculative
1091 && ((ref->stmt && ref->stmt == e->call_stmt)
1092 || (!ref->stmt && ref->lto_stmt_uid == e->lto_stmt_uid)))
1094 reference = ref;
1095 break;
1098 /* Speculative edge always consist of all three components - direct edge,
1099 indirect and reference. */
1101 gcc_assert (e && e2 && ref);
1104 /* Redirect callee of the edge to N. The function does not update underlying
1105 call expression. */
1107 void
1108 cgraph_edge::redirect_callee (cgraph_node *n)
1110 /* Remove from callers list of the current callee. */
1111 remove_callee ();
1113 /* Insert to callers list of the new callee. */
1114 cgraph_set_edge_callee (this, n);
1117 /* Speculative call edge turned out to be direct call to CALLE_DECL.
1118 Remove the speculative call sequence and return edge representing the call.
1119 It is up to caller to redirect the call as appropriate. */
1121 cgraph_edge *
1122 cgraph_edge::resolve_speculation (tree callee_decl)
1124 cgraph_edge *edge = this;
1125 cgraph_edge *e2;
1126 ipa_ref *ref;
1128 gcc_assert (edge->speculative);
1129 edge->speculative_call_info (e2, edge, ref);
1130 if (!callee_decl
1131 || !ref->referred->semantically_equivalent_p
1132 (symtab_node::get (callee_decl)))
1134 if (dump_file)
1136 if (callee_decl)
1138 fprintf (dump_file, "Speculative indirect call %s/%i => %s/%i has "
1139 "turned out to have contradicting known target ",
1140 xstrdup (edge->caller->name ()), edge->caller->order,
1141 xstrdup (e2->callee->name ()), e2->callee->order);
1142 print_generic_expr (dump_file, callee_decl, 0);
1143 fprintf (dump_file, "\n");
1145 else
1147 fprintf (dump_file, "Removing speculative call %s/%i => %s/%i\n",
1148 xstrdup (edge->caller->name ()), edge->caller->order,
1149 xstrdup (e2->callee->name ()), e2->callee->order);
1153 else
1155 cgraph_edge *tmp = edge;
1156 if (dump_file)
1157 fprintf (dump_file, "Speculative call turned into direct call.\n");
1158 edge = e2;
1159 e2 = tmp;
1160 /* FIXME: If EDGE is inlined, we should scale up the frequencies and counts
1161 in the functions inlined through it. */
1163 edge->count += e2->count;
1164 edge->frequency += e2->frequency;
1165 if (edge->frequency > CGRAPH_FREQ_MAX)
1166 edge->frequency = CGRAPH_FREQ_MAX;
1167 edge->speculative = false;
1168 e2->speculative = false;
1169 ref->remove_reference ();
1170 if (e2->indirect_unknown_callee || e2->inline_failed)
1171 e2->remove ();
1172 else
1173 e2->callee->remove_symbol_and_inline_clones ();
1174 if (edge->caller->call_site_hash)
1175 cgraph_update_edge_in_call_site_hash (edge);
1176 return edge;
1179 /* Make an indirect edge with an unknown callee an ordinary edge leading to
1180 CALLEE. DELTA is an integer constant that is to be added to the this
1181 pointer (first parameter) to compensate for skipping a thunk adjustment. */
1183 cgraph_edge *
1184 cgraph_edge::make_direct (cgraph_node *callee)
1186 cgraph_edge *edge = this;
1187 gcc_assert (indirect_unknown_callee);
1189 /* If we are redirecting speculative call, make it non-speculative. */
1190 if (indirect_unknown_callee && speculative)
1192 edge = edge->resolve_speculation (callee->decl);
1194 /* On successful speculation just return the pre existing direct edge. */
1195 if (!indirect_unknown_callee)
1196 return edge;
1199 indirect_unknown_callee = 0;
1200 ggc_free (indirect_info);
1201 indirect_info = NULL;
1203 /* Get the edge out of the indirect edge list. */
1204 if (prev_callee)
1205 prev_callee->next_callee = next_callee;
1206 if (next_callee)
1207 next_callee->prev_callee = prev_callee;
1208 if (!prev_callee)
1209 caller->indirect_calls = next_callee;
1211 /* Put it into the normal callee list */
1212 prev_callee = NULL;
1213 next_callee = caller->callees;
1214 if (caller->callees)
1215 caller->callees->prev_callee = edge;
1216 caller->callees = edge;
1218 /* Insert to callers list of the new callee. */
1219 cgraph_set_edge_callee (edge, callee);
1221 if (call_stmt)
1222 call_stmt_cannot_inline_p
1223 = !gimple_check_call_matching_types (call_stmt, callee->decl,
1224 false);
1226 /* We need to re-determine the inlining status of the edge. */
1227 initialize_inline_failed (edge);
1228 return edge;
1231 /* If necessary, change the function declaration in the call statement
1232 associated with E so that it corresponds to the edge callee. */
1234 gimple
1235 cgraph_edge::redirect_call_stmt_to_callee (void)
1237 cgraph_edge *e = this;
1239 tree decl = gimple_call_fndecl (e->call_stmt);
1240 tree lhs = gimple_call_lhs (e->call_stmt);
1241 gimple_call new_stmt;
1242 gimple_stmt_iterator gsi;
1243 #ifdef ENABLE_CHECKING
1244 cgraph_node *node;
1245 #endif
1247 if (e->speculative)
1249 cgraph_edge *e2;
1250 gimple new_stmt;
1251 ipa_ref *ref;
1253 e->speculative_call_info (e, e2, ref);
1254 /* If there already is an direct call (i.e. as a result of inliner's
1255 substitution), forget about speculating. */
1256 if (decl)
1257 e = e->resolve_speculation (decl);
1258 /* If types do not match, speculation was likely wrong.
1259 The direct edge was posisbly redirected to the clone with a different
1260 signature. We did not update the call statement yet, so compare it
1261 with the reference that still points to the proper type. */
1262 else if (!gimple_check_call_matching_types (e->call_stmt,
1263 ref->referred->decl,
1264 true))
1266 if (dump_file)
1267 fprintf (dump_file, "Not expanding speculative call of %s/%i -> %s/%i\n"
1268 "Type mismatch.\n",
1269 xstrdup (e->caller->name ()),
1270 e->caller->order,
1271 xstrdup (e->callee->name ()),
1272 e->callee->order);
1273 e = e->resolve_speculation ();
1274 /* We are producing the final function body and will throw away the
1275 callgraph edges really soon. Reset the counts/frequencies to
1276 keep verifier happy in the case of roundoff errors. */
1277 e->count = gimple_bb (e->call_stmt)->count;
1278 e->frequency = compute_call_stmt_bb_frequency
1279 (e->caller->decl, gimple_bb (e->call_stmt));
1281 /* Expand speculation into GIMPLE code. */
1282 else
1284 if (dump_file)
1285 fprintf (dump_file,
1286 "Expanding speculative call of %s/%i -> %s/%i count:"
1287 "%"PRId64"\n",
1288 xstrdup (e->caller->name ()),
1289 e->caller->order,
1290 xstrdup (e->callee->name ()),
1291 e->callee->order,
1292 (int64_t)e->count);
1293 gcc_assert (e2->speculative);
1294 push_cfun (DECL_STRUCT_FUNCTION (e->caller->decl));
1295 new_stmt = gimple_ic (e->call_stmt, dyn_cast<cgraph_node *> (ref->referred),
1296 e->count || e2->count
1297 ? RDIV (e->count * REG_BR_PROB_BASE,
1298 e->count + e2->count)
1299 : e->frequency || e2->frequency
1300 ? RDIV (e->frequency * REG_BR_PROB_BASE,
1301 e->frequency + e2->frequency)
1302 : REG_BR_PROB_BASE / 2,
1303 e->count, e->count + e2->count);
1304 e->speculative = false;
1305 e->caller->set_call_stmt_including_clones (e->call_stmt, new_stmt,
1306 false);
1307 e->frequency = compute_call_stmt_bb_frequency
1308 (e->caller->decl, gimple_bb (e->call_stmt));
1309 e2->frequency = compute_call_stmt_bb_frequency
1310 (e2->caller->decl, gimple_bb (e2->call_stmt));
1311 e2->speculative = false;
1312 ref->speculative = false;
1313 ref->stmt = NULL;
1314 /* Indirect edges are not both in the call site hash.
1315 get it updated. */
1316 if (e->caller->call_site_hash)
1317 cgraph_update_edge_in_call_site_hash (e2);
1318 pop_cfun ();
1319 /* Continue redirecting E to proper target. */
1323 if (e->indirect_unknown_callee
1324 || decl == e->callee->decl)
1325 return e->call_stmt;
1327 #ifdef ENABLE_CHECKING
1328 if (decl)
1330 node = cgraph_node::get (decl);
1331 gcc_assert (!node || !node->clone.combined_args_to_skip);
1333 #endif
1335 if (symtab->dump_file)
1337 fprintf (symtab->dump_file, "updating call of %s/%i -> %s/%i: ",
1338 xstrdup (e->caller->name ()), e->caller->order,
1339 xstrdup (e->callee->name ()), e->callee->order);
1340 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
1341 if (e->callee->clone.combined_args_to_skip)
1343 fprintf (symtab->dump_file, " combined args to skip: ");
1344 dump_bitmap (symtab->dump_file,
1345 e->callee->clone.combined_args_to_skip);
1349 if (e->callee->clone.combined_args_to_skip)
1351 int lp_nr;
1353 new_stmt
1354 = gimple_call_copy_skip_args (e->call_stmt,
1355 e->callee->clone.combined_args_to_skip);
1356 gimple_call_set_fndecl (new_stmt, e->callee->decl);
1357 gimple_call_set_fntype (new_stmt, gimple_call_fntype (e->call_stmt));
1359 if (gimple_vdef (new_stmt)
1360 && TREE_CODE (gimple_vdef (new_stmt)) == SSA_NAME)
1361 SSA_NAME_DEF_STMT (gimple_vdef (new_stmt)) = new_stmt;
1363 gsi = gsi_for_stmt (e->call_stmt);
1364 gsi_replace (&gsi, new_stmt, false);
1365 /* We need to defer cleaning EH info on the new statement to
1366 fixup-cfg. We may not have dominator information at this point
1367 and thus would end up with unreachable blocks and have no way
1368 to communicate that we need to run CFG cleanup then. */
1369 lp_nr = lookup_stmt_eh_lp (e->call_stmt);
1370 if (lp_nr != 0)
1372 remove_stmt_from_eh_lp (e->call_stmt);
1373 add_stmt_to_eh_lp (new_stmt, lp_nr);
1376 else
1378 new_stmt = as_a <gimple_call> (e->call_stmt);
1379 gimple_call_set_fndecl (new_stmt, e->callee->decl);
1380 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1383 /* If the call becomes noreturn, remove the lhs. */
1384 if (lhs && (gimple_call_flags (new_stmt) & ECF_NORETURN))
1386 if (TREE_CODE (lhs) == SSA_NAME)
1388 tree var = create_tmp_reg_fn (DECL_STRUCT_FUNCTION (e->caller->decl),
1389 TREE_TYPE (lhs), NULL);
1390 var = get_or_create_ssa_default_def
1391 (DECL_STRUCT_FUNCTION (e->caller->decl), var);
1392 gimple set_stmt = gimple_build_assign (lhs, var);
1393 gsi = gsi_for_stmt (new_stmt);
1394 gsi_insert_before_without_update (&gsi, set_stmt, GSI_SAME_STMT);
1395 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), set_stmt);
1397 gimple_call_set_lhs (new_stmt, NULL_TREE);
1398 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1401 /* If new callee has no static chain, remove it. */
1402 if (gimple_call_chain (new_stmt) && !DECL_STATIC_CHAIN (e->callee->decl))
1404 gimple_call_set_chain (new_stmt, NULL);
1405 update_stmt_fn (DECL_STRUCT_FUNCTION (e->caller->decl), new_stmt);
1408 e->caller->set_call_stmt_including_clones (e->call_stmt, new_stmt, false);
1410 if (symtab->dump_file)
1412 fprintf (symtab->dump_file, " updated to:");
1413 print_gimple_stmt (symtab->dump_file, e->call_stmt, 0, dump_flags);
1415 return new_stmt;
1418 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1419 OLD_STMT changed into NEW_STMT. OLD_CALL is gimple_call_fndecl
1420 of OLD_STMT if it was previously call statement.
1421 If NEW_STMT is NULL, the call has been dropped without any
1422 replacement. */
1424 static void
1425 cgraph_update_edges_for_call_stmt_node (cgraph_node *node,
1426 gimple old_stmt, tree old_call,
1427 gimple new_stmt)
1429 tree new_call = (new_stmt && is_gimple_call (new_stmt))
1430 ? gimple_call_fndecl (new_stmt) : 0;
1432 /* We are seeing indirect calls, then there is nothing to update. */
1433 if (!new_call && !old_call)
1434 return;
1435 /* See if we turned indirect call into direct call or folded call to one builtin
1436 into different builtin. */
1437 if (old_call != new_call)
1439 cgraph_edge *e = node->get_edge (old_stmt);
1440 cgraph_edge *ne = NULL;
1441 gcov_type count;
1442 int frequency;
1444 if (e)
1446 /* See if the edge is already there and has the correct callee. It
1447 might be so because of indirect inlining has already updated
1448 it. We also might've cloned and redirected the edge. */
1449 if (new_call && e->callee)
1451 cgraph_node *callee = e->callee;
1452 while (callee)
1454 if (callee->decl == new_call
1455 || callee->former_clone_of == new_call)
1457 e->set_call_stmt (new_stmt);
1458 return;
1460 callee = callee->clone_of;
1464 /* Otherwise remove edge and create new one; we can't simply redirect
1465 since function has changed, so inline plan and other information
1466 attached to edge is invalid. */
1467 count = e->count;
1468 frequency = e->frequency;
1469 if (e->indirect_unknown_callee || e->inline_failed)
1470 e->remove ();
1471 else
1472 e->callee->remove_symbol_and_inline_clones ();
1474 else if (new_call)
1476 /* We are seeing new direct call; compute profile info based on BB. */
1477 basic_block bb = gimple_bb (new_stmt);
1478 count = bb->count;
1479 frequency = compute_call_stmt_bb_frequency (current_function_decl,
1480 bb);
1483 if (new_call)
1485 ne = node->create_edge (cgraph_node::get_create (new_call),
1486 new_stmt, count, frequency);
1487 gcc_assert (ne->inline_failed);
1490 /* We only updated the call stmt; update pointer in cgraph edge.. */
1491 else if (old_stmt != new_stmt)
1492 node->get_edge (old_stmt)->set_call_stmt (new_stmt);
1495 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1496 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1497 of OLD_STMT before it was updated (updating can happen inplace). */
1499 void
1500 cgraph_update_edges_for_call_stmt (gimple old_stmt, tree old_decl, gimple new_stmt)
1502 cgraph_node *orig = cgraph_node::get (cfun->decl);
1503 cgraph_node *node;
1505 gcc_checking_assert (orig);
1506 cgraph_update_edges_for_call_stmt_node (orig, old_stmt, old_decl, new_stmt);
1507 if (orig->clones)
1508 for (node = orig->clones; node != orig;)
1510 cgraph_update_edges_for_call_stmt_node (node, old_stmt, old_decl, new_stmt);
1511 if (node->clones)
1512 node = node->clones;
1513 else if (node->next_sibling_clone)
1514 node = node->next_sibling_clone;
1515 else
1517 while (node != orig && !node->next_sibling_clone)
1518 node = node->clone_of;
1519 if (node != orig)
1520 node = node->next_sibling_clone;
1526 /* Remove all callees from the node. */
1528 void
1529 cgraph_node::remove_callees (void)
1531 cgraph_edge *e, *f;
1533 /* It is sufficient to remove the edges from the lists of callers of
1534 the callees. The callee list of the node can be zapped with one
1535 assignment. */
1536 for (e = callees; e; e = f)
1538 f = e->next_callee;
1539 symtab->call_edge_removal_hooks (e);
1540 if (!e->indirect_unknown_callee)
1541 e->remove_callee ();
1542 symtab->free_edge (e);
1544 for (e = indirect_calls; e; e = f)
1546 f = e->next_callee;
1547 symtab->call_edge_removal_hooks (e);
1548 if (!e->indirect_unknown_callee)
1549 e->remove_callee ();
1550 symtab->free_edge (e);
1552 indirect_calls = NULL;
1553 callees = NULL;
1554 if (call_site_hash)
1556 call_site_hash->empty ();
1557 call_site_hash = NULL;
1561 /* Remove all callers from the node. */
1563 void
1564 cgraph_node::remove_callers (void)
1566 cgraph_edge *e, *f;
1568 /* It is sufficient to remove the edges from the lists of callees of
1569 the callers. The caller list of the node can be zapped with one
1570 assignment. */
1571 for (e = callers; e; e = f)
1573 f = e->next_caller;
1574 symtab->call_edge_removal_hooks (e);
1575 e->remove_caller ();
1576 symtab->free_edge (e);
1578 callers = NULL;
1581 /* Helper function for cgraph_release_function_body and free_lang_data.
1582 It releases body from function DECL without having to inspect its
1583 possibly non-existent symtab node. */
1585 void
1586 release_function_body (tree decl)
1588 if (DECL_STRUCT_FUNCTION (decl))
1590 push_cfun (DECL_STRUCT_FUNCTION (decl));
1591 if (cfun->cfg
1592 && current_loops)
1594 cfun->curr_properties &= ~PROP_loops;
1595 loop_optimizer_finalize ();
1597 if (cfun->gimple_df)
1599 delete_tree_ssa ();
1600 delete_tree_cfg_annotations ();
1601 cfun->eh = NULL;
1603 if (cfun->cfg)
1605 gcc_assert (!dom_info_available_p (CDI_DOMINATORS));
1606 gcc_assert (!dom_info_available_p (CDI_POST_DOMINATORS));
1607 clear_edges ();
1608 cfun->cfg = NULL;
1610 if (cfun->value_histograms)
1611 free_histograms ();
1612 pop_cfun ();
1613 gimple_set_body (decl, NULL);
1614 /* Struct function hangs a lot of data that would leak if we didn't
1615 removed all pointers to it. */
1616 ggc_free (DECL_STRUCT_FUNCTION (decl));
1617 DECL_STRUCT_FUNCTION (decl) = NULL;
1619 DECL_SAVED_TREE (decl) = NULL;
1622 /* Release memory used to represent body of function.
1623 Use this only for functions that are released before being translated to
1624 target code (i.e. RTL). Functions that are compiled to RTL and beyond
1625 are free'd in final.c via free_after_compilation().
1626 KEEP_ARGUMENTS are useful only if you want to rebuild body as thunk. */
1628 void
1629 cgraph_node::release_body (bool keep_arguments)
1631 ipa_transforms_to_apply.release ();
1632 if (!used_as_abstract_origin && symtab->state != PARSING)
1634 DECL_RESULT (decl) = NULL;
1636 if (!keep_arguments)
1637 DECL_ARGUMENTS (decl) = NULL;
1639 /* If the node is abstract and needed, then do not clear DECL_INITIAL
1640 of its associated function function declaration because it's
1641 needed to emit debug info later. */
1642 if (!used_as_abstract_origin && DECL_INITIAL (decl))
1643 DECL_INITIAL (decl) = error_mark_node;
1644 release_function_body (decl);
1645 if (lto_file_data)
1646 lto_free_function_in_decl_state_for_node (this);
1649 /* Remove function from symbol table. */
1651 void
1652 cgraph_node::remove (void)
1654 cgraph_node *n;
1655 int uid = this->uid;
1657 symtab->call_cgraph_removal_hooks (this);
1658 remove_callers ();
1659 remove_callees ();
1660 ipa_transforms_to_apply.release ();
1662 /* Incremental inlining access removed nodes stored in the postorder list.
1664 force_output = false;
1665 forced_by_abi = false;
1666 for (n = nested; n; n = n->next_nested)
1667 n->origin = NULL;
1668 nested = NULL;
1669 if (origin)
1671 cgraph_node **node2 = &origin->nested;
1673 while (*node2 != this)
1674 node2 = &(*node2)->next_nested;
1675 *node2 = next_nested;
1677 unregister ();
1678 if (prev_sibling_clone)
1679 prev_sibling_clone->next_sibling_clone = next_sibling_clone;
1680 else if (clone_of)
1681 clone_of->clones = next_sibling_clone;
1682 if (next_sibling_clone)
1683 next_sibling_clone->prev_sibling_clone = prev_sibling_clone;
1684 if (clones)
1686 cgraph_node *n, *next;
1688 if (clone_of)
1690 for (n = clones; n->next_sibling_clone; n = n->next_sibling_clone)
1691 n->clone_of = clone_of;
1692 n->clone_of = clone_of;
1693 n->next_sibling_clone = clone_of->clones;
1694 if (clone_of->clones)
1695 clone_of->clones->prev_sibling_clone = n;
1696 clone_of->clones = clones;
1698 else
1700 /* We are removing node with clones. This makes clones inconsistent,
1701 but assume they will be removed subsequently and just keep clone
1702 tree intact. This can happen in unreachable function removal since
1703 we remove unreachable functions in random order, not by bottom-up
1704 walk of clone trees. */
1705 for (n = clones; n; n = next)
1707 next = n->next_sibling_clone;
1708 n->next_sibling_clone = NULL;
1709 n->prev_sibling_clone = NULL;
1710 n->clone_of = NULL;
1715 /* While all the clones are removed after being proceeded, the function
1716 itself is kept in the cgraph even after it is compiled. Check whether
1717 we are done with this body and reclaim it proactively if this is the case.
1719 if (symtab->state != LTO_STREAMING)
1721 n = cgraph_node::get (decl);
1722 if (!n
1723 || (!n->clones && !n->clone_of && !n->global.inlined_to
1724 && (symtab->global_info_ready
1725 && (TREE_ASM_WRITTEN (n->decl)
1726 || DECL_EXTERNAL (n->decl)
1727 || !n->analyzed
1728 || (!flag_wpa && n->in_other_partition)))))
1729 release_body ();
1732 decl = NULL;
1733 if (call_site_hash)
1735 call_site_hash->empty ();
1736 call_site_hash = NULL;
1739 symtab->release_symbol (this, uid);
1742 /* Likewise indicate that a node is having address taken. */
1744 void
1745 cgraph_node::mark_address_taken (void)
1747 /* Indirect inlining can figure out that all uses of the address are
1748 inlined. */
1749 if (global.inlined_to)
1751 gcc_assert (cfun->after_inlining);
1752 gcc_assert (callers->indirect_inlining_edge);
1753 return;
1755 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1756 IPA_REF_ADDR reference exists (and thus it should be set on node
1757 representing alias we take address of) and as a test whether address
1758 of the object was taken (and thus it should be set on node alias is
1759 referring to). We should remove the first use and the remove the
1760 following set. */
1761 address_taken = 1;
1762 cgraph_node *node = ultimate_alias_target ();
1763 node->address_taken = 1;
1766 /* Return local info for the compiled function. */
1768 cgraph_local_info *
1769 cgraph_node::local_info (tree decl)
1771 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
1772 cgraph_node *node = get (decl);
1773 if (!node)
1774 return NULL;
1775 return &node->local;
1778 /* Return global info for the compiled function. */
1780 cgraph_global_info *
1781 cgraph_node::global_info (tree decl)
1783 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL
1784 && symtab->global_info_ready);
1785 cgraph_node *node = get (decl);
1786 if (!node)
1787 return NULL;
1788 return &node->global;
1791 /* Return local info for the compiled function. */
1793 cgraph_rtl_info *
1794 cgraph_node::rtl_info (tree decl)
1796 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
1797 cgraph_node *node = get (decl);
1798 if (!node
1799 || (decl != current_function_decl
1800 && !TREE_ASM_WRITTEN (node->decl)))
1801 return NULL;
1802 return &node->rtl;
1805 /* Return a string describing the failure REASON. */
1807 const char*
1808 cgraph_inline_failed_string (cgraph_inline_failed_t reason)
1810 #undef DEFCIFCODE
1811 #define DEFCIFCODE(code, type, string) string,
1813 static const char *cif_string_table[CIF_N_REASONS] = {
1814 #include "cif-code.def"
1817 /* Signedness of an enum type is implementation defined, so cast it
1818 to unsigned before testing. */
1819 gcc_assert ((unsigned) reason < CIF_N_REASONS);
1820 return cif_string_table[reason];
1823 /* Return a type describing the failure REASON. */
1825 cgraph_inline_failed_type_t
1826 cgraph_inline_failed_type (cgraph_inline_failed_t reason)
1828 #undef DEFCIFCODE
1829 #define DEFCIFCODE(code, type, string) type,
1831 static cgraph_inline_failed_type_t cif_type_table[CIF_N_REASONS] = {
1832 #include "cif-code.def"
1835 /* Signedness of an enum type is implementation defined, so cast it
1836 to unsigned before testing. */
1837 gcc_assert ((unsigned) reason < CIF_N_REASONS);
1838 return cif_type_table[reason];
1841 /* Names used to print out the availability enum. */
1842 const char * const cgraph_availability_names[] =
1843 {"unset", "not_available", "overwritable", "available", "local"};
1845 /* Output flags of edge E. */
1847 static void
1848 dump_edge_flags (FILE *f, struct cgraph_edge *edge)
1850 if (edge->speculative)
1851 fprintf (f, "(speculative) ");
1852 if (!edge->inline_failed)
1853 fprintf (f, "(inlined) ");
1854 if (edge->indirect_inlining_edge)
1855 fprintf (f, "(indirect_inlining) ");
1856 if (edge->count)
1857 fprintf (f, "(%"PRId64"x) ",
1858 (int64_t)edge->count);
1859 if (edge->frequency)
1860 fprintf (f, "(%.2f per call) ",
1861 edge->frequency / (double)CGRAPH_FREQ_BASE);
1862 if (edge->can_throw_external)
1863 fprintf (f, "(can throw external) ");
1866 /* Dump call graph node to file F. */
1868 void
1869 cgraph_node::dump (FILE *f)
1871 cgraph_edge *edge;
1873 dump_base (f);
1875 if (global.inlined_to)
1876 fprintf (f, " Function %s/%i is inline copy in %s/%i\n",
1877 xstrdup (name ()),
1878 order,
1879 xstrdup (global.inlined_to->name ()),
1880 global.inlined_to->order);
1881 if (clone_of)
1882 fprintf (f, " Clone of %s/%i\n",
1883 clone_of->asm_name (),
1884 clone_of->order);
1885 if (symtab->function_flags_ready)
1886 fprintf (f, " Availability: %s\n",
1887 cgraph_availability_names [get_availability ()]);
1889 if (profile_id)
1890 fprintf (f, " Profile id: %i\n",
1891 profile_id);
1892 fprintf (f, " First run: %i\n", tp_first_run);
1893 fprintf (f, " Function flags:");
1894 if (count)
1895 fprintf (f, " executed %"PRId64"x",
1896 (int64_t)count);
1897 if (origin)
1898 fprintf (f, " nested in: %s", origin->asm_name ());
1899 if (gimple_has_body_p (decl))
1900 fprintf (f, " body");
1901 if (process)
1902 fprintf (f, " process");
1903 if (local.local)
1904 fprintf (f, " local");
1905 if (local.redefined_extern_inline)
1906 fprintf (f, " redefined_extern_inline");
1907 if (only_called_at_startup)
1908 fprintf (f, " only_called_at_startup");
1909 if (only_called_at_exit)
1910 fprintf (f, " only_called_at_exit");
1911 if (tm_clone)
1912 fprintf (f, " tm_clone");
1913 if (DECL_STATIC_CONSTRUCTOR (decl))
1914 fprintf (f," static_constructor (priority:%i)", get_init_priority ());
1915 if (DECL_STATIC_DESTRUCTOR (decl))
1916 fprintf (f," static_destructor (priority:%i)", get_fini_priority ());
1918 fprintf (f, "\n");
1920 if (thunk.thunk_p)
1922 fprintf (f, " Thunk");
1923 if (thunk.alias)
1924 fprintf (f, " of %s (asm: %s)",
1925 lang_hooks.decl_printable_name (thunk.alias, 2),
1926 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk.alias)));
1927 fprintf (f, " fixed offset %i virtual value %i has "
1928 "virtual offset %i)\n",
1929 (int)thunk.fixed_offset,
1930 (int)thunk.virtual_value,
1931 (int)thunk.virtual_offset_p);
1933 if (alias && thunk.alias
1934 && DECL_P (thunk.alias))
1936 fprintf (f, " Alias of %s",
1937 lang_hooks.decl_printable_name (thunk.alias, 2));
1938 if (DECL_ASSEMBLER_NAME_SET_P (thunk.alias))
1939 fprintf (f, " (asm: %s)",
1940 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk.alias)));
1941 fprintf (f, "\n");
1944 fprintf (f, " Called by: ");
1946 for (edge = callers; edge; edge = edge->next_caller)
1948 fprintf (f, "%s/%i ", edge->caller->asm_name (),
1949 edge->caller->order);
1950 dump_edge_flags (f, edge);
1953 fprintf (f, "\n Calls: ");
1954 for (edge = callees; edge; edge = edge->next_callee)
1956 fprintf (f, "%s/%i ", edge->callee->asm_name (),
1957 edge->callee->order);
1958 dump_edge_flags (f, edge);
1960 fprintf (f, "\n");
1962 for (edge = indirect_calls; edge; edge = edge->next_callee)
1964 if (edge->indirect_info->polymorphic)
1966 fprintf (f, " Polymorphic indirect call of type ");
1967 print_generic_expr (f, edge->indirect_info->otr_type, TDF_SLIM);
1968 fprintf (f, " token:%i", (int) edge->indirect_info->otr_token);
1970 else
1971 fprintf (f, " Indirect call");
1972 dump_edge_flags (f, edge);
1973 if (edge->indirect_info->param_index != -1)
1975 fprintf (f, " of param:%i", edge->indirect_info->param_index);
1976 if (edge->indirect_info->agg_contents)
1977 fprintf (f, " loaded from %s %s at offset %i",
1978 edge->indirect_info->member_ptr ? "member ptr" : "aggregate",
1979 edge->indirect_info->by_ref ? "passed by reference":"",
1980 (int)edge->indirect_info->offset);
1981 if (edge->indirect_info->vptr_changed)
1982 fprintf (f, " (vptr maybe changed)");
1984 fprintf (f, "\n");
1985 if (edge->indirect_info->polymorphic)
1986 edge->indirect_info->context.dump (f);
1990 /* Dump call graph node NODE to stderr. */
1992 DEBUG_FUNCTION void
1993 cgraph_node::debug (void)
1995 dump (stderr);
1998 /* Dump the callgraph to file F. */
2000 void
2001 cgraph_node::dump_cgraph (FILE *f)
2003 cgraph_node *node;
2005 fprintf (f, "callgraph:\n\n");
2006 FOR_EACH_FUNCTION (node)
2007 node->dump (f);
2010 /* Return true when the DECL can possibly be inlined. */
2012 bool
2013 cgraph_function_possibly_inlined_p (tree decl)
2015 if (!symtab->global_info_ready)
2016 return !DECL_UNINLINABLE (decl);
2017 return DECL_POSSIBLY_INLINED (decl);
2020 /* cgraph_node is no longer nested function; update cgraph accordingly. */
2021 void
2022 cgraph_node::unnest (void)
2024 cgraph_node **node2 = &origin->nested;
2025 gcc_assert (origin);
2027 while (*node2 != this)
2028 node2 = &(*node2)->next_nested;
2029 *node2 = next_nested;
2030 origin = NULL;
2033 /* Return function availability. See cgraph.h for description of individual
2034 return values. */
2035 enum availability
2036 cgraph_node::get_availability (void)
2038 enum availability avail;
2039 if (!analyzed)
2040 avail = AVAIL_NOT_AVAILABLE;
2041 else if (local.local)
2042 avail = AVAIL_LOCAL;
2043 else if (alias && weakref)
2044 ultimate_alias_target (&avail);
2045 else if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (decl)))
2046 avail = AVAIL_INTERPOSABLE;
2047 else if (!externally_visible)
2048 avail = AVAIL_AVAILABLE;
2049 /* Inline functions are safe to be analyzed even if their symbol can
2050 be overwritten at runtime. It is not meaningful to enforce any sane
2051 behaviour on replacing inline function by different body. */
2052 else if (DECL_DECLARED_INLINE_P (decl))
2053 avail = AVAIL_AVAILABLE;
2055 /* If the function can be overwritten, return OVERWRITABLE. Take
2056 care at least of two notable extensions - the COMDAT functions
2057 used to share template instantiations in C++ (this is symmetric
2058 to code cp_cannot_inline_tree_fn and probably shall be shared and
2059 the inlinability hooks completely eliminated).
2061 ??? Does the C++ one definition rule allow us to always return
2062 AVAIL_AVAILABLE here? That would be good reason to preserve this
2063 bit. */
2065 else if (decl_replaceable_p (decl) && !DECL_EXTERNAL (decl))
2066 avail = AVAIL_INTERPOSABLE;
2067 else avail = AVAIL_AVAILABLE;
2069 return avail;
2072 /* Worker for cgraph_node_can_be_local_p. */
2073 static bool
2074 cgraph_node_cannot_be_local_p_1 (cgraph_node *node, void *)
2076 return !(!node->force_output
2077 && ((DECL_COMDAT (node->decl)
2078 && !node->forced_by_abi
2079 && !node->used_from_object_file_p ()
2080 && !node->same_comdat_group)
2081 || !node->externally_visible));
2084 /* Return true if cgraph_node can be made local for API change.
2085 Extern inline functions and C++ COMDAT functions can be made local
2086 at the expense of possible code size growth if function is used in multiple
2087 compilation units. */
2088 bool
2089 cgraph_node::can_be_local_p (void)
2091 return (!address_taken
2092 && !call_for_symbol_thunks_and_aliases (cgraph_node_cannot_be_local_p_1,
2093 NULL, true));
2096 /* Call calback on cgraph_node, thunks and aliases associated to cgraph_node.
2097 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2098 skipped. */
2100 bool
2101 cgraph_node::call_for_symbol_thunks_and_aliases (bool (*callback)
2102 (cgraph_node *, void *),
2103 void *data,
2104 bool include_overwritable)
2106 cgraph_edge *e;
2107 ipa_ref *ref;
2109 if (callback (this, data))
2110 return true;
2111 for (e = callers; e; e = e->next_caller)
2112 if (e->caller->thunk.thunk_p
2113 && (include_overwritable
2114 || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2115 if (e->caller->call_for_symbol_thunks_and_aliases (callback, data,
2116 include_overwritable))
2117 return true;
2119 FOR_EACH_ALIAS (this, ref)
2121 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2122 if (include_overwritable
2123 || alias->get_availability () > AVAIL_INTERPOSABLE)
2124 if (alias->call_for_symbol_thunks_and_aliases (callback, data,
2125 include_overwritable))
2126 return true;
2128 return false;
2131 /* Call calback on function and aliases associated to the function.
2132 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2133 skipped. */
2135 bool
2136 cgraph_node::call_for_symbol_and_aliases (bool (*callback) (cgraph_node *,
2137 void *),
2138 void *data,
2139 bool include_overwritable)
2141 ipa_ref *ref;
2143 if (callback (this, data))
2144 return true;
2146 FOR_EACH_ALIAS (this, ref)
2148 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2149 if (include_overwritable
2150 || alias->get_availability () > AVAIL_INTERPOSABLE)
2151 if (alias->call_for_symbol_and_aliases (callback, data,
2152 include_overwritable))
2153 return true;
2155 return false;
2158 /* Worker to bring NODE local. */
2160 bool
2161 cgraph_node::make_local (cgraph_node *node, void *)
2163 gcc_checking_assert (node->can_be_local_p ());
2164 if (DECL_COMDAT (node->decl) || DECL_EXTERNAL (node->decl))
2166 node->make_decl_local ();
2167 node->set_section (NULL);
2168 node->set_comdat_group (NULL);
2169 node->externally_visible = false;
2170 node->forced_by_abi = false;
2171 node->local.local = true;
2172 node->set_section (NULL);
2173 node->unique_name = (node->resolution == LDPR_PREVAILING_DEF_IRONLY
2174 || node->resolution == LDPR_PREVAILING_DEF_IRONLY_EXP);
2175 node->resolution = LDPR_PREVAILING_DEF_IRONLY;
2176 gcc_assert (node->get_availability () == AVAIL_LOCAL);
2178 return false;
2181 /* Bring cgraph node local. */
2183 void
2184 cgraph_node::make_local (void)
2186 call_for_symbol_thunks_and_aliases (cgraph_node::make_local, NULL, true);
2189 /* Worker to set nothrow flag. */
2191 static bool
2192 cgraph_set_nothrow_flag_1 (cgraph_node *node, void *data)
2194 cgraph_edge *e;
2196 TREE_NOTHROW (node->decl) = data != NULL;
2198 if (data != NULL)
2199 for (e = node->callers; e; e = e->next_caller)
2200 e->can_throw_external = false;
2201 return false;
2204 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
2205 if any to NOTHROW. */
2207 void
2208 cgraph_node::set_nothrow_flag (bool nothrow)
2210 call_for_symbol_thunks_and_aliases (cgraph_set_nothrow_flag_1,
2211 (void *)(size_t)nothrow, false);
2214 /* Worker to set const flag. */
2216 static bool
2217 cgraph_set_const_flag_1 (cgraph_node *node, void *data)
2219 /* Static constructors and destructors without a side effect can be
2220 optimized out. */
2221 if (data && !((size_t)data & 2))
2223 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2224 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2225 if (DECL_STATIC_DESTRUCTOR (node->decl))
2226 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2228 TREE_READONLY (node->decl) = data != NULL;
2229 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = ((size_t)data & 2) != 0;
2230 return false;
2233 /* Set TREE_READONLY on cgraph_node's decl and on aliases of the node
2234 if any to READONLY. */
2236 void
2237 cgraph_node::set_const_flag (bool readonly, bool looping)
2239 call_for_symbol_thunks_and_aliases (cgraph_set_const_flag_1,
2240 (void *)(size_t)(readonly + (int)looping * 2),
2241 false);
2244 /* Worker to set pure flag. */
2246 static bool
2247 cgraph_set_pure_flag_1 (cgraph_node *node, void *data)
2249 /* Static constructors and destructors without a side effect can be
2250 optimized out. */
2251 if (data && !((size_t)data & 2))
2253 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2254 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2255 if (DECL_STATIC_DESTRUCTOR (node->decl))
2256 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2258 DECL_PURE_P (node->decl) = data != NULL;
2259 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = ((size_t)data & 2) != 0;
2260 return false;
2263 /* Set DECL_PURE_P on cgraph_node's decl and on aliases of the node
2264 if any to PURE. */
2266 void
2267 cgraph_node::set_pure_flag (bool pure, bool looping)
2269 call_for_symbol_thunks_and_aliases (cgraph_set_pure_flag_1,
2270 (void *)(size_t)(pure + (int)looping * 2),
2271 false);
2274 /* Return true when cgraph_node can not return or throw and thus
2275 it is safe to ignore its side effects for IPA analysis. */
2277 bool
2278 cgraph_node::cannot_return_p (void)
2280 int flags = flags_from_decl_or_type (decl);
2281 if (!flag_exceptions)
2282 return (flags & ECF_NORETURN) != 0;
2283 else
2284 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2285 == (ECF_NORETURN | ECF_NOTHROW));
2288 /* Return true when call of edge can not lead to return from caller
2289 and thus it is safe to ignore its side effects for IPA analysis
2290 when computing side effects of the caller.
2291 FIXME: We could actually mark all edges that have no reaching
2292 patch to the exit block or throw to get better results. */
2293 bool
2294 cgraph_edge::cannot_lead_to_return_p (void)
2296 if (caller->cannot_return_p ())
2297 return true;
2298 if (indirect_unknown_callee)
2300 int flags = indirect_info->ecf_flags;
2301 if (!flag_exceptions)
2302 return (flags & ECF_NORETURN) != 0;
2303 else
2304 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2305 == (ECF_NORETURN | ECF_NOTHROW));
2307 else
2308 return callee->cannot_return_p ();
2311 /* Return true when function can be removed from callgraph
2312 if all direct calls are eliminated. */
2314 bool
2315 cgraph_node::can_remove_if_no_direct_calls_and_refs_p (void)
2317 gcc_assert (!global.inlined_to);
2318 /* Extern inlines can always go, we will use the external definition. */
2319 if (DECL_EXTERNAL (decl))
2320 return true;
2321 /* When function is needed, we can not remove it. */
2322 if (force_output || used_from_other_partition)
2323 return false;
2324 if (DECL_STATIC_CONSTRUCTOR (decl)
2325 || DECL_STATIC_DESTRUCTOR (decl))
2326 return false;
2327 /* Only COMDAT functions can be removed if externally visible. */
2328 if (externally_visible
2329 && (!DECL_COMDAT (decl)
2330 || forced_by_abi
2331 || used_from_object_file_p ()))
2332 return false;
2333 return true;
2336 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2338 static bool
2339 nonremovable_p (cgraph_node *node, void *)
2341 return !node->can_remove_if_no_direct_calls_and_refs_p ();
2344 /* Return true when function cgraph_node and its aliases can be removed from
2345 callgraph if all direct calls are eliminated. */
2347 bool
2348 cgraph_node::can_remove_if_no_direct_calls_p (void)
2350 /* Extern inlines can always go, we will use the external definition. */
2351 if (DECL_EXTERNAL (decl))
2352 return true;
2353 if (address_taken)
2354 return false;
2355 return !call_for_symbol_and_aliases (nonremovable_p, NULL, true);
2358 /* Return true when function cgraph_node can be expected to be removed
2359 from program when direct calls in this compilation unit are removed.
2361 As a special case COMDAT functions are
2362 cgraph_can_remove_if_no_direct_calls_p while the are not
2363 cgraph_only_called_directly_p (it is possible they are called from other
2364 unit)
2366 This function behaves as cgraph_only_called_directly_p because eliminating
2367 all uses of COMDAT function does not make it necessarily disappear from
2368 the program unless we are compiling whole program or we do LTO. In this
2369 case we know we win since dynamic linking will not really discard the
2370 linkonce section. */
2372 bool
2373 cgraph_node::will_be_removed_from_program_if_no_direct_calls_p (void)
2375 gcc_assert (!global.inlined_to);
2377 if (call_for_symbol_and_aliases (used_from_object_file_p_worker,
2378 NULL, true))
2379 return false;
2380 if (!in_lto_p && !flag_whole_program)
2381 return only_called_directly_p ();
2382 else
2384 if (DECL_EXTERNAL (decl))
2385 return true;
2386 return can_remove_if_no_direct_calls_p ();
2391 /* Worker for cgraph_only_called_directly_p. */
2393 static bool
2394 cgraph_not_only_called_directly_p_1 (cgraph_node *node, void *)
2396 return !node->only_called_directly_or_aliased_p ();
2399 /* Return true when function cgraph_node and all its aliases are only called
2400 directly.
2401 i.e. it is not externally visible, address was not taken and
2402 it is not used in any other non-standard way. */
2404 bool
2405 cgraph_node::only_called_directly_p (void)
2407 gcc_assert (ultimate_alias_target () == this);
2408 return !call_for_symbol_and_aliases (cgraph_not_only_called_directly_p_1,
2409 NULL, true);
2413 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
2415 static bool
2416 collect_callers_of_node_1 (cgraph_node *node, void *data)
2418 vec<cgraph_edge *> *redirect_callers = (vec<cgraph_edge *> *)data;
2419 cgraph_edge *cs;
2420 enum availability avail;
2421 node->ultimate_alias_target (&avail);
2423 if (avail > AVAIL_INTERPOSABLE)
2424 for (cs = node->callers; cs != NULL; cs = cs->next_caller)
2425 if (!cs->indirect_inlining_edge)
2426 redirect_callers->safe_push (cs);
2427 return false;
2430 /* Collect all callers of cgraph_node and its aliases that are known to lead to
2431 cgraph_node (i.e. are not overwritable). */
2433 vec<cgraph_edge *>
2434 cgraph_node::collect_callers (void)
2436 vec<cgraph_edge *> redirect_callers = vNULL;
2437 call_for_symbol_thunks_and_aliases (collect_callers_of_node_1,
2438 &redirect_callers, false);
2439 return redirect_callers;
2442 /* Return TRUE if NODE2 a clone of NODE or is equivalent to it. */
2444 static bool
2445 clone_of_p (cgraph_node *node, cgraph_node *node2)
2447 bool skipped_thunk = false;
2448 node = node->ultimate_alias_target ();
2449 node2 = node2->ultimate_alias_target ();
2451 /* There are no virtual clones of thunks so check former_clone_of or if we
2452 might have skipped thunks because this adjustments are no longer
2453 necessary. */
2454 while (node->thunk.thunk_p)
2456 if (node2->former_clone_of == node->decl)
2457 return true;
2458 if (!node->thunk.this_adjusting)
2459 return false;
2460 node = node->callees->callee->ultimate_alias_target ();
2461 skipped_thunk = true;
2464 if (skipped_thunk)
2466 if (!node2->clone.args_to_skip
2467 || !bitmap_bit_p (node2->clone.args_to_skip, 0))
2468 return false;
2469 if (node2->former_clone_of == node->decl)
2470 return true;
2471 else if (!node2->clone_of)
2472 return false;
2475 while (node != node2 && node2)
2476 node2 = node2->clone_of;
2477 return node2 != NULL;
2480 /* Verify edge E count and frequency. */
2482 static bool
2483 verify_edge_count_and_frequency (cgraph_edge *e)
2485 bool error_found = false;
2486 if (e->count < 0)
2488 error ("caller edge count is negative");
2489 error_found = true;
2491 if (e->frequency < 0)
2493 error ("caller edge frequency is negative");
2494 error_found = true;
2496 if (e->frequency > CGRAPH_FREQ_MAX)
2498 error ("caller edge frequency is too large");
2499 error_found = true;
2501 if (gimple_has_body_p (e->caller->decl)
2502 && !e->caller->global.inlined_to
2503 && !e->speculative
2504 /* FIXME: Inline-analysis sets frequency to 0 when edge is optimized out.
2505 Remove this once edges are actually removed from the function at that time. */
2506 && (e->frequency
2507 || (inline_edge_summary_vec.exists ()
2508 && ((inline_edge_summary_vec.length () <= (unsigned) e->uid)
2509 || !inline_edge_summary (e)->predicate)))
2510 && (e->frequency
2511 != compute_call_stmt_bb_frequency (e->caller->decl,
2512 gimple_bb (e->call_stmt))))
2514 error ("caller edge frequency %i does not match BB frequency %i",
2515 e->frequency,
2516 compute_call_stmt_bb_frequency (e->caller->decl,
2517 gimple_bb (e->call_stmt)));
2518 error_found = true;
2520 return error_found;
2523 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
2524 static void
2525 cgraph_debug_gimple_stmt (function *this_cfun, gimple stmt)
2527 bool fndecl_was_null = false;
2528 /* debug_gimple_stmt needs correct cfun */
2529 if (cfun != this_cfun)
2530 set_cfun (this_cfun);
2531 /* ...and an actual current_function_decl */
2532 if (!current_function_decl)
2534 current_function_decl = this_cfun->decl;
2535 fndecl_was_null = true;
2537 debug_gimple_stmt (stmt);
2538 if (fndecl_was_null)
2539 current_function_decl = NULL;
2542 /* Verify that call graph edge E corresponds to DECL from the associated
2543 statement. Return true if the verification should fail. */
2545 static bool
2546 verify_edge_corresponds_to_fndecl (cgraph_edge *e, tree decl)
2548 cgraph_node *node;
2550 if (!decl || e->callee->global.inlined_to)
2551 return false;
2552 if (symtab->state == LTO_STREAMING)
2553 return false;
2554 node = cgraph_node::get (decl);
2556 /* We do not know if a node from a different partition is an alias or what it
2557 aliases and therefore cannot do the former_clone_of check reliably. When
2558 body_removed is set, we have lost all information about what was alias or
2559 thunk of and also cannot proceed. */
2560 if (!node
2561 || node->body_removed
2562 || node->in_other_partition
2563 || e->callee->in_other_partition)
2564 return false;
2566 node = node->ultimate_alias_target ();
2568 /* Optimizers can redirect unreachable calls or calls triggering undefined
2569 behaviour to builtin_unreachable. */
2570 if (DECL_BUILT_IN_CLASS (e->callee->decl) == BUILT_IN_NORMAL
2571 && DECL_FUNCTION_CODE (e->callee->decl) == BUILT_IN_UNREACHABLE)
2572 return false;
2574 if (e->callee->former_clone_of != node->decl
2575 && (node != e->callee->ultimate_alias_target ())
2576 && !clone_of_p (node, e->callee))
2577 return true;
2578 else
2579 return false;
2582 /* Verify cgraph nodes of given cgraph node. */
2583 DEBUG_FUNCTION void
2584 cgraph_node::verify_node (void)
2586 cgraph_edge *e;
2587 function *this_cfun = DECL_STRUCT_FUNCTION (decl);
2588 basic_block this_block;
2589 gimple_stmt_iterator gsi;
2590 bool error_found = false;
2592 if (seen_error ())
2593 return;
2595 timevar_push (TV_CGRAPH_VERIFY);
2596 error_found |= verify_base ();
2597 for (e = callees; e; e = e->next_callee)
2598 if (e->aux)
2600 error ("aux field set for edge %s->%s",
2601 identifier_to_locale (e->caller->name ()),
2602 identifier_to_locale (e->callee->name ()));
2603 error_found = true;
2605 if (count < 0)
2607 error ("execution count is negative");
2608 error_found = true;
2610 if (global.inlined_to && same_comdat_group)
2612 error ("inline clone in same comdat group list");
2613 error_found = true;
2615 if (!definition && !in_other_partition && local.local)
2617 error ("local symbols must be defined");
2618 error_found = true;
2620 if (global.inlined_to && externally_visible)
2622 error ("externally visible inline clone");
2623 error_found = true;
2625 if (global.inlined_to && address_taken)
2627 error ("inline clone with address taken");
2628 error_found = true;
2630 if (global.inlined_to && force_output)
2632 error ("inline clone is forced to output");
2633 error_found = true;
2635 for (e = indirect_calls; e; e = e->next_callee)
2637 if (e->aux)
2639 error ("aux field set for indirect edge from %s",
2640 identifier_to_locale (e->caller->name ()));
2641 error_found = true;
2643 if (!e->indirect_unknown_callee
2644 || !e->indirect_info)
2646 error ("An indirect edge from %s is not marked as indirect or has "
2647 "associated indirect_info, the corresponding statement is: ",
2648 identifier_to_locale (e->caller->name ()));
2649 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2650 error_found = true;
2653 bool check_comdat = comdat_local_p ();
2654 for (e = callers; e; e = e->next_caller)
2656 if (verify_edge_count_and_frequency (e))
2657 error_found = true;
2658 if (check_comdat
2659 && !in_same_comdat_group_p (e->caller))
2661 error ("comdat-local function called by %s outside its comdat",
2662 identifier_to_locale (e->caller->name ()));
2663 error_found = true;
2665 if (!e->inline_failed)
2667 if (global.inlined_to
2668 != (e->caller->global.inlined_to
2669 ? e->caller->global.inlined_to : e->caller))
2671 error ("inlined_to pointer is wrong");
2672 error_found = true;
2674 if (callers->next_caller)
2676 error ("multiple inline callers");
2677 error_found = true;
2680 else
2681 if (global.inlined_to)
2683 error ("inlined_to pointer set for noninline callers");
2684 error_found = true;
2687 for (e = indirect_calls; e; e = e->next_callee)
2688 if (verify_edge_count_and_frequency (e))
2689 error_found = true;
2690 if (!callers && global.inlined_to)
2692 error ("inlined_to pointer is set but no predecessors found");
2693 error_found = true;
2695 if (global.inlined_to == this)
2697 error ("inlined_to pointer refers to itself");
2698 error_found = true;
2701 if (clone_of)
2703 cgraph_node *n;
2704 for (n = clone_of->clones; n; n = n->next_sibling_clone)
2705 if (n == this)
2706 break;
2707 if (!n)
2709 error ("cgraph_node has wrong clone_of");
2710 error_found = true;
2713 if (clones)
2715 cgraph_node *n;
2716 for (n = clones; n; n = n->next_sibling_clone)
2717 if (n->clone_of != this)
2718 break;
2719 if (n)
2721 error ("cgraph_node has wrong clone list");
2722 error_found = true;
2725 if ((prev_sibling_clone || next_sibling_clone) && !clone_of)
2727 error ("cgraph_node is in clone list but it is not clone");
2728 error_found = true;
2730 if (!prev_sibling_clone && clone_of && clone_of->clones != this)
2732 error ("cgraph_node has wrong prev_clone pointer");
2733 error_found = true;
2735 if (prev_sibling_clone && prev_sibling_clone->next_sibling_clone != this)
2737 error ("double linked list of clones corrupted");
2738 error_found = true;
2741 if (analyzed && alias)
2743 bool ref_found = false;
2744 int i;
2745 ipa_ref *ref = NULL;
2747 if (callees)
2749 error ("Alias has call edges");
2750 error_found = true;
2752 for (i = 0; iterate_reference (i, ref); i++)
2753 if (ref->use != IPA_REF_ALIAS)
2755 error ("Alias has non-alias reference");
2756 error_found = true;
2758 else if (ref_found)
2760 error ("Alias has more than one alias reference");
2761 error_found = true;
2763 else
2764 ref_found = true;
2765 if (!ref_found)
2767 error ("Analyzed alias has no reference");
2768 error_found = true;
2771 if (analyzed && thunk.thunk_p)
2773 if (!callees)
2775 error ("No edge out of thunk node");
2776 error_found = true;
2778 else if (callees->next_callee)
2780 error ("More than one edge out of thunk node");
2781 error_found = true;
2783 if (gimple_has_body_p (decl))
2785 error ("Thunk is not supposed to have body");
2786 error_found = true;
2789 else if (analyzed && gimple_has_body_p (decl)
2790 && !TREE_ASM_WRITTEN (decl)
2791 && (!DECL_EXTERNAL (decl) || global.inlined_to)
2792 && !flag_wpa)
2794 if (this_cfun->cfg)
2796 hash_set<gimple> stmts;
2797 int i;
2798 ipa_ref *ref = NULL;
2800 /* Reach the trees by walking over the CFG, and note the
2801 enclosing basic-blocks in the call edges. */
2802 FOR_EACH_BB_FN (this_block, this_cfun)
2804 for (gsi = gsi_start_phis (this_block);
2805 !gsi_end_p (gsi); gsi_next (&gsi))
2806 stmts.add (gsi_stmt (gsi));
2807 for (gsi = gsi_start_bb (this_block);
2808 !gsi_end_p (gsi);
2809 gsi_next (&gsi))
2811 gimple stmt = gsi_stmt (gsi);
2812 stmts.add (stmt);
2813 if (is_gimple_call (stmt))
2815 cgraph_edge *e = get_edge (stmt);
2816 tree decl = gimple_call_fndecl (stmt);
2817 if (e)
2819 if (e->aux)
2821 error ("shared call_stmt:");
2822 cgraph_debug_gimple_stmt (this_cfun, stmt);
2823 error_found = true;
2825 if (!e->indirect_unknown_callee)
2827 if (verify_edge_corresponds_to_fndecl (e, decl))
2829 error ("edge points to wrong declaration:");
2830 debug_tree (e->callee->decl);
2831 fprintf (stderr," Instead of:");
2832 debug_tree (decl);
2833 error_found = true;
2836 else if (decl)
2838 error ("an indirect edge with unknown callee "
2839 "corresponding to a call_stmt with "
2840 "a known declaration:");
2841 error_found = true;
2842 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2844 e->aux = (void *)1;
2846 else if (decl)
2848 error ("missing callgraph edge for call stmt:");
2849 cgraph_debug_gimple_stmt (this_cfun, stmt);
2850 error_found = true;
2855 for (i = 0; iterate_reference (i, ref); i++)
2856 if (ref->stmt && !stmts.contains (ref->stmt))
2858 error ("reference to dead statement");
2859 cgraph_debug_gimple_stmt (this_cfun, ref->stmt);
2860 error_found = true;
2863 else
2864 /* No CFG available?! */
2865 gcc_unreachable ();
2867 for (e = callees; e; e = e->next_callee)
2869 if (!e->aux)
2871 error ("edge %s->%s has no corresponding call_stmt",
2872 identifier_to_locale (e->caller->name ()),
2873 identifier_to_locale (e->callee->name ()));
2874 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2875 error_found = true;
2877 e->aux = 0;
2879 for (e = indirect_calls; e; e = e->next_callee)
2881 if (!e->aux && !e->speculative)
2883 error ("an indirect edge from %s has no corresponding call_stmt",
2884 identifier_to_locale (e->caller->name ()));
2885 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2886 error_found = true;
2888 e->aux = 0;
2891 if (error_found)
2893 dump (stderr);
2894 internal_error ("verify_cgraph_node failed");
2896 timevar_pop (TV_CGRAPH_VERIFY);
2899 /* Verify whole cgraph structure. */
2900 DEBUG_FUNCTION void
2901 cgraph_node::verify_cgraph_nodes (void)
2903 cgraph_node *node;
2905 if (seen_error ())
2906 return;
2908 FOR_EACH_FUNCTION (node)
2909 node->verify ();
2912 /* Walk the alias chain to return the function cgraph_node is alias of.
2913 Walk through thunk, too.
2914 When AVAILABILITY is non-NULL, get minimal availability in the chain. */
2916 cgraph_node *
2917 cgraph_node::function_symbol (enum availability *availability)
2919 cgraph_node *node = this;
2923 node = node->ultimate_alias_target (availability);
2924 if (node->thunk.thunk_p)
2926 node = node->callees->callee;
2927 if (availability)
2929 enum availability a;
2930 a = node->get_availability ();
2931 if (a < *availability)
2932 *availability = a;
2934 node = node->ultimate_alias_target (availability);
2936 } while (node && node->thunk.thunk_p);
2937 return node;
2940 /* When doing LTO, read cgraph_node's body from disk if it is not already
2941 present. */
2943 bool
2944 cgraph_node::get_body (void)
2946 lto_file_decl_data *file_data;
2947 const char *data, *name;
2948 size_t len;
2949 tree decl = this->decl;
2951 if (DECL_RESULT (decl))
2952 return false;
2954 gcc_assert (in_lto_p);
2956 timevar_push (TV_IPA_LTO_GIMPLE_IN);
2958 file_data = lto_file_data;
2959 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
2961 /* We may have renamed the declaration, e.g., a static function. */
2962 name = lto_get_decl_name_mapping (file_data, name);
2964 data = lto_get_section_data (file_data, LTO_section_function_body,
2965 name, &len);
2966 if (!data)
2967 fatal_error ("%s: section %s is missing",
2968 file_data->file_name,
2969 name);
2971 gcc_assert (DECL_STRUCT_FUNCTION (decl) == NULL);
2973 lto_input_function_body (file_data, this, data);
2974 lto_stats.num_function_bodies++;
2975 lto_free_section_data (file_data, LTO_section_function_body, name,
2976 data, len);
2977 lto_free_function_in_decl_state_for_node (this);
2979 timevar_pop (TV_IPA_LTO_GIMPLE_IN);
2981 return true;
2984 /* Return the DECL_STRUCT_FUNCTION of the function. */
2986 struct function *
2987 cgraph_node::get_fun (void)
2989 cgraph_node *node = this;
2990 struct function *fun = DECL_STRUCT_FUNCTION (node->decl);
2992 while (!fun && node->clone_of)
2994 node = node->clone_of;
2995 fun = DECL_STRUCT_FUNCTION (node->decl);
2998 return fun;
3001 /* Verify if the type of the argument matches that of the function
3002 declaration. If we cannot verify this or there is a mismatch,
3003 return false. */
3005 static bool
3006 gimple_check_call_args (gimple stmt, tree fndecl, bool args_count_match)
3008 tree parms, p;
3009 unsigned int i, nargs;
3011 /* Calls to internal functions always match their signature. */
3012 if (gimple_call_internal_p (stmt))
3013 return true;
3015 nargs = gimple_call_num_args (stmt);
3017 /* Get argument types for verification. */
3018 if (fndecl)
3019 parms = TYPE_ARG_TYPES (TREE_TYPE (fndecl));
3020 else
3021 parms = TYPE_ARG_TYPES (gimple_call_fntype (stmt));
3023 /* Verify if the type of the argument matches that of the function
3024 declaration. If we cannot verify this or there is a mismatch,
3025 return false. */
3026 if (fndecl && DECL_ARGUMENTS (fndecl))
3028 for (i = 0, p = DECL_ARGUMENTS (fndecl);
3029 i < nargs;
3030 i++, p = DECL_CHAIN (p))
3032 tree arg;
3033 /* We cannot distinguish a varargs function from the case
3034 of excess parameters, still deferring the inlining decision
3035 to the callee is possible. */
3036 if (!p)
3037 break;
3038 arg = gimple_call_arg (stmt, i);
3039 if (p == error_mark_node
3040 || DECL_ARG_TYPE (p) == error_mark_node
3041 || arg == error_mark_node
3042 || (!types_compatible_p (DECL_ARG_TYPE (p), TREE_TYPE (arg))
3043 && !fold_convertible_p (DECL_ARG_TYPE (p), arg)))
3044 return false;
3046 if (args_count_match && p)
3047 return false;
3049 else if (parms)
3051 for (i = 0, p = parms; i < nargs; i++, p = TREE_CHAIN (p))
3053 tree arg;
3054 /* If this is a varargs function defer inlining decision
3055 to callee. */
3056 if (!p)
3057 break;
3058 arg = gimple_call_arg (stmt, i);
3059 if (TREE_VALUE (p) == error_mark_node
3060 || arg == error_mark_node
3061 || TREE_CODE (TREE_VALUE (p)) == VOID_TYPE
3062 || (!types_compatible_p (TREE_VALUE (p), TREE_TYPE (arg))
3063 && !fold_convertible_p (TREE_VALUE (p), arg)))
3064 return false;
3067 else
3069 if (nargs != 0)
3070 return false;
3072 return true;
3075 /* Verify if the type of the argument and lhs of CALL_STMT matches
3076 that of the function declaration CALLEE. If ARGS_COUNT_MATCH is
3077 true, the arg count needs to be the same.
3078 If we cannot verify this or there is a mismatch, return false. */
3080 bool
3081 gimple_check_call_matching_types (gimple call_stmt, tree callee,
3082 bool args_count_match)
3084 tree lhs;
3086 if ((DECL_RESULT (callee)
3087 && !DECL_BY_REFERENCE (DECL_RESULT (callee))
3088 && (lhs = gimple_call_lhs (call_stmt)) != NULL_TREE
3089 && !useless_type_conversion_p (TREE_TYPE (DECL_RESULT (callee)),
3090 TREE_TYPE (lhs))
3091 && !fold_convertible_p (TREE_TYPE (DECL_RESULT (callee)), lhs))
3092 || !gimple_check_call_args (call_stmt, callee, args_count_match))
3093 return false;
3094 return true;
3097 #include "gt-cgraph.h"