compiler: Remove obsolete hidden_fields_are_ok code.
[official-gcc.git] / gcc / cgraph.c
blobf472ec531592cbd7de1063de227204612ea13f14
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 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 = 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 (icf_merged)
1914 fprintf (f, " icf_merged");
1915 if (DECL_STATIC_CONSTRUCTOR (decl))
1916 fprintf (f," static_constructor (priority:%i)", get_init_priority ());
1917 if (DECL_STATIC_DESTRUCTOR (decl))
1918 fprintf (f," static_destructor (priority:%i)", get_fini_priority ());
1920 fprintf (f, "\n");
1922 if (thunk.thunk_p)
1924 fprintf (f, " Thunk");
1925 if (thunk.alias)
1926 fprintf (f, " of %s (asm: %s)",
1927 lang_hooks.decl_printable_name (thunk.alias, 2),
1928 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk.alias)));
1929 fprintf (f, " fixed offset %i virtual value %i has "
1930 "virtual offset %i)\n",
1931 (int)thunk.fixed_offset,
1932 (int)thunk.virtual_value,
1933 (int)thunk.virtual_offset_p);
1935 if (alias && thunk.alias
1936 && DECL_P (thunk.alias))
1938 fprintf (f, " Alias of %s",
1939 lang_hooks.decl_printable_name (thunk.alias, 2));
1940 if (DECL_ASSEMBLER_NAME_SET_P (thunk.alias))
1941 fprintf (f, " (asm: %s)",
1942 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk.alias)));
1943 fprintf (f, "\n");
1946 fprintf (f, " Called by: ");
1948 for (edge = callers; edge; edge = edge->next_caller)
1950 fprintf (f, "%s/%i ", edge->caller->asm_name (),
1951 edge->caller->order);
1952 dump_edge_flags (f, edge);
1955 fprintf (f, "\n Calls: ");
1956 for (edge = callees; edge; edge = edge->next_callee)
1958 fprintf (f, "%s/%i ", edge->callee->asm_name (),
1959 edge->callee->order);
1960 dump_edge_flags (f, edge);
1962 fprintf (f, "\n");
1964 for (edge = indirect_calls; edge; edge = edge->next_callee)
1966 if (edge->indirect_info->polymorphic)
1968 fprintf (f, " Polymorphic indirect call of type ");
1969 print_generic_expr (f, edge->indirect_info->otr_type, TDF_SLIM);
1970 fprintf (f, " token:%i", (int) edge->indirect_info->otr_token);
1972 else
1973 fprintf (f, " Indirect call");
1974 dump_edge_flags (f, edge);
1975 if (edge->indirect_info->param_index != -1)
1977 fprintf (f, " of param:%i", edge->indirect_info->param_index);
1978 if (edge->indirect_info->agg_contents)
1979 fprintf (f, " loaded from %s %s at offset %i",
1980 edge->indirect_info->member_ptr ? "member ptr" : "aggregate",
1981 edge->indirect_info->by_ref ? "passed by reference":"",
1982 (int)edge->indirect_info->offset);
1983 if (edge->indirect_info->vptr_changed)
1984 fprintf (f, " (vptr maybe changed)");
1986 fprintf (f, "\n");
1987 if (edge->indirect_info->polymorphic)
1988 edge->indirect_info->context.dump (f);
1992 /* Dump call graph node NODE to stderr. */
1994 DEBUG_FUNCTION void
1995 cgraph_node::debug (void)
1997 dump (stderr);
2000 /* Dump the callgraph to file F. */
2002 void
2003 cgraph_node::dump_cgraph (FILE *f)
2005 cgraph_node *node;
2007 fprintf (f, "callgraph:\n\n");
2008 FOR_EACH_FUNCTION (node)
2009 node->dump (f);
2012 /* Return true when the DECL can possibly be inlined. */
2014 bool
2015 cgraph_function_possibly_inlined_p (tree decl)
2017 if (!symtab->global_info_ready)
2018 return !DECL_UNINLINABLE (decl);
2019 return DECL_POSSIBLY_INLINED (decl);
2022 /* cgraph_node is no longer nested function; update cgraph accordingly. */
2023 void
2024 cgraph_node::unnest (void)
2026 cgraph_node **node2 = &origin->nested;
2027 gcc_assert (origin);
2029 while (*node2 != this)
2030 node2 = &(*node2)->next_nested;
2031 *node2 = next_nested;
2032 origin = NULL;
2035 /* Return function availability. See cgraph.h for description of individual
2036 return values. */
2037 enum availability
2038 cgraph_node::get_availability (void)
2040 enum availability avail;
2041 if (!analyzed)
2042 avail = AVAIL_NOT_AVAILABLE;
2043 else if (local.local)
2044 avail = AVAIL_LOCAL;
2045 else if (alias && weakref)
2046 ultimate_alias_target (&avail);
2047 else if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (decl)))
2048 avail = AVAIL_INTERPOSABLE;
2049 else if (!externally_visible)
2050 avail = AVAIL_AVAILABLE;
2051 /* Inline functions are safe to be analyzed even if their symbol can
2052 be overwritten at runtime. It is not meaningful to enforce any sane
2053 behaviour on replacing inline function by different body. */
2054 else if (DECL_DECLARED_INLINE_P (decl))
2055 avail = AVAIL_AVAILABLE;
2057 /* If the function can be overwritten, return OVERWRITABLE. Take
2058 care at least of two notable extensions - the COMDAT functions
2059 used to share template instantiations in C++ (this is symmetric
2060 to code cp_cannot_inline_tree_fn and probably shall be shared and
2061 the inlinability hooks completely eliminated).
2063 ??? Does the C++ one definition rule allow us to always return
2064 AVAIL_AVAILABLE here? That would be good reason to preserve this
2065 bit. */
2067 else if (decl_replaceable_p (decl) && !DECL_EXTERNAL (decl))
2068 avail = AVAIL_INTERPOSABLE;
2069 else avail = AVAIL_AVAILABLE;
2071 return avail;
2074 /* Worker for cgraph_node_can_be_local_p. */
2075 static bool
2076 cgraph_node_cannot_be_local_p_1 (cgraph_node *node, void *)
2078 return !(!node->force_output
2079 && ((DECL_COMDAT (node->decl)
2080 && !node->forced_by_abi
2081 && !node->used_from_object_file_p ()
2082 && !node->same_comdat_group)
2083 || !node->externally_visible));
2086 /* Return true if cgraph_node can be made local for API change.
2087 Extern inline functions and C++ COMDAT functions can be made local
2088 at the expense of possible code size growth if function is used in multiple
2089 compilation units. */
2090 bool
2091 cgraph_node::can_be_local_p (void)
2093 return (!address_taken
2094 && !call_for_symbol_thunks_and_aliases (cgraph_node_cannot_be_local_p_1,
2095 NULL, true));
2098 /* Call calback on cgraph_node, thunks and aliases associated to cgraph_node.
2099 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2100 skipped. */
2102 bool
2103 cgraph_node::call_for_symbol_thunks_and_aliases (bool (*callback)
2104 (cgraph_node *, void *),
2105 void *data,
2106 bool include_overwritable)
2108 cgraph_edge *e;
2109 ipa_ref *ref;
2111 if (callback (this, data))
2112 return true;
2113 for (e = callers; e; e = e->next_caller)
2114 if (e->caller->thunk.thunk_p
2115 && (include_overwritable
2116 || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2117 if (e->caller->call_for_symbol_thunks_and_aliases (callback, data,
2118 include_overwritable))
2119 return true;
2121 FOR_EACH_ALIAS (this, ref)
2123 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2124 if (include_overwritable
2125 || alias->get_availability () > AVAIL_INTERPOSABLE)
2126 if (alias->call_for_symbol_thunks_and_aliases (callback, data,
2127 include_overwritable))
2128 return true;
2130 return false;
2133 /* Call calback on function and aliases associated to the function.
2134 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2135 skipped. */
2137 bool
2138 cgraph_node::call_for_symbol_and_aliases (bool (*callback) (cgraph_node *,
2139 void *),
2140 void *data,
2141 bool include_overwritable)
2143 ipa_ref *ref;
2145 if (callback (this, data))
2146 return true;
2148 FOR_EACH_ALIAS (this, ref)
2150 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2151 if (include_overwritable
2152 || alias->get_availability () > AVAIL_INTERPOSABLE)
2153 if (alias->call_for_symbol_and_aliases (callback, data,
2154 include_overwritable))
2155 return true;
2157 return false;
2160 /* Worker to bring NODE local. */
2162 bool
2163 cgraph_node::make_local (cgraph_node *node, void *)
2165 gcc_checking_assert (node->can_be_local_p ());
2166 if (DECL_COMDAT (node->decl) || DECL_EXTERNAL (node->decl))
2168 node->make_decl_local ();
2169 node->set_section (NULL);
2170 node->set_comdat_group (NULL);
2171 node->externally_visible = false;
2172 node->forced_by_abi = false;
2173 node->local.local = true;
2174 node->set_section (NULL);
2175 node->unique_name = (node->resolution == LDPR_PREVAILING_DEF_IRONLY
2176 || node->resolution == LDPR_PREVAILING_DEF_IRONLY_EXP);
2177 node->resolution = LDPR_PREVAILING_DEF_IRONLY;
2178 gcc_assert (node->get_availability () == AVAIL_LOCAL);
2180 return false;
2183 /* Bring cgraph node local. */
2185 void
2186 cgraph_node::make_local (void)
2188 call_for_symbol_thunks_and_aliases (cgraph_node::make_local, NULL, true);
2191 /* Worker to set nothrow flag. */
2193 static bool
2194 cgraph_set_nothrow_flag_1 (cgraph_node *node, void *data)
2196 cgraph_edge *e;
2198 TREE_NOTHROW (node->decl) = data != NULL;
2200 if (data != NULL)
2201 for (e = node->callers; e; e = e->next_caller)
2202 e->can_throw_external = false;
2203 return false;
2206 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
2207 if any to NOTHROW. */
2209 void
2210 cgraph_node::set_nothrow_flag (bool nothrow)
2212 call_for_symbol_thunks_and_aliases (cgraph_set_nothrow_flag_1,
2213 (void *)(size_t)nothrow, false);
2216 /* Worker to set const flag. */
2218 static bool
2219 cgraph_set_const_flag_1 (cgraph_node *node, void *data)
2221 /* Static constructors and destructors without a side effect can be
2222 optimized out. */
2223 if (data && !((size_t)data & 2))
2225 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2226 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2227 if (DECL_STATIC_DESTRUCTOR (node->decl))
2228 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2230 TREE_READONLY (node->decl) = data != NULL;
2231 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = ((size_t)data & 2) != 0;
2232 return false;
2235 /* Set TREE_READONLY on cgraph_node's decl and on aliases of the node
2236 if any to READONLY. */
2238 void
2239 cgraph_node::set_const_flag (bool readonly, bool looping)
2241 call_for_symbol_thunks_and_aliases (cgraph_set_const_flag_1,
2242 (void *)(size_t)(readonly + (int)looping * 2),
2243 false);
2246 /* Worker to set pure flag. */
2248 static bool
2249 cgraph_set_pure_flag_1 (cgraph_node *node, void *data)
2251 /* Static constructors and destructors without a side effect can be
2252 optimized out. */
2253 if (data && !((size_t)data & 2))
2255 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2256 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2257 if (DECL_STATIC_DESTRUCTOR (node->decl))
2258 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2260 DECL_PURE_P (node->decl) = data != NULL;
2261 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = ((size_t)data & 2) != 0;
2262 return false;
2265 /* Set DECL_PURE_P on cgraph_node's decl and on aliases of the node
2266 if any to PURE. */
2268 void
2269 cgraph_node::set_pure_flag (bool pure, bool looping)
2271 call_for_symbol_thunks_and_aliases (cgraph_set_pure_flag_1,
2272 (void *)(size_t)(pure + (int)looping * 2),
2273 false);
2276 /* Return true when cgraph_node can not return or throw and thus
2277 it is safe to ignore its side effects for IPA analysis. */
2279 bool
2280 cgraph_node::cannot_return_p (void)
2282 int flags = flags_from_decl_or_type (decl);
2283 if (!flag_exceptions)
2284 return (flags & ECF_NORETURN) != 0;
2285 else
2286 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2287 == (ECF_NORETURN | ECF_NOTHROW));
2290 /* Return true when call of edge can not lead to return from caller
2291 and thus it is safe to ignore its side effects for IPA analysis
2292 when computing side effects of the caller.
2293 FIXME: We could actually mark all edges that have no reaching
2294 patch to the exit block or throw to get better results. */
2295 bool
2296 cgraph_edge::cannot_lead_to_return_p (void)
2298 if (caller->cannot_return_p ())
2299 return true;
2300 if (indirect_unknown_callee)
2302 int flags = indirect_info->ecf_flags;
2303 if (!flag_exceptions)
2304 return (flags & ECF_NORETURN) != 0;
2305 else
2306 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2307 == (ECF_NORETURN | ECF_NOTHROW));
2309 else
2310 return callee->cannot_return_p ();
2313 /* Return true when function can be removed from callgraph
2314 if all direct calls are eliminated. */
2316 bool
2317 cgraph_node::can_remove_if_no_direct_calls_and_refs_p (void)
2319 gcc_assert (!global.inlined_to);
2320 /* Extern inlines can always go, we will use the external definition. */
2321 if (DECL_EXTERNAL (decl))
2322 return true;
2323 /* When function is needed, we can not remove it. */
2324 if (force_output || used_from_other_partition)
2325 return false;
2326 if (DECL_STATIC_CONSTRUCTOR (decl)
2327 || DECL_STATIC_DESTRUCTOR (decl))
2328 return false;
2329 /* Only COMDAT functions can be removed if externally visible. */
2330 if (externally_visible
2331 && (!DECL_COMDAT (decl)
2332 || forced_by_abi
2333 || used_from_object_file_p ()))
2334 return false;
2335 return true;
2338 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2340 static bool
2341 nonremovable_p (cgraph_node *node, void *)
2343 return !node->can_remove_if_no_direct_calls_and_refs_p ();
2346 /* Return true when function cgraph_node and its aliases can be removed from
2347 callgraph if all direct calls are eliminated. */
2349 bool
2350 cgraph_node::can_remove_if_no_direct_calls_p (void)
2352 /* Extern inlines can always go, we will use the external definition. */
2353 if (DECL_EXTERNAL (decl))
2354 return true;
2355 if (address_taken)
2356 return false;
2357 return !call_for_symbol_and_aliases (nonremovable_p, NULL, true);
2360 /* Return true when function cgraph_node can be expected to be removed
2361 from program when direct calls in this compilation unit are removed.
2363 As a special case COMDAT functions are
2364 cgraph_can_remove_if_no_direct_calls_p while the are not
2365 cgraph_only_called_directly_p (it is possible they are called from other
2366 unit)
2368 This function behaves as cgraph_only_called_directly_p because eliminating
2369 all uses of COMDAT function does not make it necessarily disappear from
2370 the program unless we are compiling whole program or we do LTO. In this
2371 case we know we win since dynamic linking will not really discard the
2372 linkonce section. */
2374 bool
2375 cgraph_node::will_be_removed_from_program_if_no_direct_calls_p (void)
2377 gcc_assert (!global.inlined_to);
2379 if (call_for_symbol_and_aliases (used_from_object_file_p_worker,
2380 NULL, true))
2381 return false;
2382 if (!in_lto_p && !flag_whole_program)
2383 return only_called_directly_p ();
2384 else
2386 if (DECL_EXTERNAL (decl))
2387 return true;
2388 return can_remove_if_no_direct_calls_p ();
2393 /* Worker for cgraph_only_called_directly_p. */
2395 static bool
2396 cgraph_not_only_called_directly_p_1 (cgraph_node *node, void *)
2398 return !node->only_called_directly_or_aliased_p ();
2401 /* Return true when function cgraph_node and all its aliases are only called
2402 directly.
2403 i.e. it is not externally visible, address was not taken and
2404 it is not used in any other non-standard way. */
2406 bool
2407 cgraph_node::only_called_directly_p (void)
2409 gcc_assert (ultimate_alias_target () == this);
2410 return !call_for_symbol_and_aliases (cgraph_not_only_called_directly_p_1,
2411 NULL, true);
2415 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
2417 static bool
2418 collect_callers_of_node_1 (cgraph_node *node, void *data)
2420 vec<cgraph_edge *> *redirect_callers = (vec<cgraph_edge *> *)data;
2421 cgraph_edge *cs;
2422 enum availability avail;
2423 node->ultimate_alias_target (&avail);
2425 if (avail > AVAIL_INTERPOSABLE)
2426 for (cs = node->callers; cs != NULL; cs = cs->next_caller)
2427 if (!cs->indirect_inlining_edge)
2428 redirect_callers->safe_push (cs);
2429 return false;
2432 /* Collect all callers of cgraph_node and its aliases that are known to lead to
2433 cgraph_node (i.e. are not overwritable). */
2435 vec<cgraph_edge *>
2436 cgraph_node::collect_callers (void)
2438 vec<cgraph_edge *> redirect_callers = vNULL;
2439 call_for_symbol_thunks_and_aliases (collect_callers_of_node_1,
2440 &redirect_callers, false);
2441 return redirect_callers;
2444 /* Return TRUE if NODE2 a clone of NODE or is equivalent to it. */
2446 static bool
2447 clone_of_p (cgraph_node *node, cgraph_node *node2)
2449 bool skipped_thunk = false;
2450 node = node->ultimate_alias_target ();
2451 node2 = node2->ultimate_alias_target ();
2453 /* There are no virtual clones of thunks so check former_clone_of or if we
2454 might have skipped thunks because this adjustments are no longer
2455 necessary. */
2456 while (node->thunk.thunk_p)
2458 if (node2->former_clone_of == node->decl)
2459 return true;
2460 if (!node->thunk.this_adjusting)
2461 return false;
2462 node = node->callees->callee->ultimate_alias_target ();
2463 skipped_thunk = true;
2466 if (skipped_thunk)
2468 if (!node2->clone.args_to_skip
2469 || !bitmap_bit_p (node2->clone.args_to_skip, 0))
2470 return false;
2471 if (node2->former_clone_of == node->decl)
2472 return true;
2473 else if (!node2->clone_of)
2474 return false;
2477 while (node != node2 && node2)
2478 node2 = node2->clone_of;
2479 return node2 != NULL;
2482 /* Verify edge E count and frequency. */
2484 static bool
2485 verify_edge_count_and_frequency (cgraph_edge *e)
2487 bool error_found = false;
2488 if (e->count < 0)
2490 error ("caller edge count is negative");
2491 error_found = true;
2493 if (e->frequency < 0)
2495 error ("caller edge frequency is negative");
2496 error_found = true;
2498 if (e->frequency > CGRAPH_FREQ_MAX)
2500 error ("caller edge frequency is too large");
2501 error_found = true;
2503 if (gimple_has_body_p (e->caller->decl)
2504 && !e->caller->global.inlined_to
2505 && !e->speculative
2506 /* FIXME: Inline-analysis sets frequency to 0 when edge is optimized out.
2507 Remove this once edges are actually removed from the function at that time. */
2508 && (e->frequency
2509 || (inline_edge_summary_vec.exists ()
2510 && ((inline_edge_summary_vec.length () <= (unsigned) e->uid)
2511 || !inline_edge_summary (e)->predicate)))
2512 && (e->frequency
2513 != compute_call_stmt_bb_frequency (e->caller->decl,
2514 gimple_bb (e->call_stmt))))
2516 error ("caller edge frequency %i does not match BB frequency %i",
2517 e->frequency,
2518 compute_call_stmt_bb_frequency (e->caller->decl,
2519 gimple_bb (e->call_stmt)));
2520 error_found = true;
2522 return error_found;
2525 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
2526 static void
2527 cgraph_debug_gimple_stmt (function *this_cfun, gimple stmt)
2529 bool fndecl_was_null = false;
2530 /* debug_gimple_stmt needs correct cfun */
2531 if (cfun != this_cfun)
2532 set_cfun (this_cfun);
2533 /* ...and an actual current_function_decl */
2534 if (!current_function_decl)
2536 current_function_decl = this_cfun->decl;
2537 fndecl_was_null = true;
2539 debug_gimple_stmt (stmt);
2540 if (fndecl_was_null)
2541 current_function_decl = NULL;
2544 /* Verify that call graph edge E corresponds to DECL from the associated
2545 statement. Return true if the verification should fail. */
2547 static bool
2548 verify_edge_corresponds_to_fndecl (cgraph_edge *e, tree decl)
2550 cgraph_node *node;
2552 if (!decl || e->callee->global.inlined_to)
2553 return false;
2554 if (symtab->state == LTO_STREAMING)
2555 return false;
2556 node = cgraph_node::get (decl);
2558 /* We do not know if a node from a different partition is an alias or what it
2559 aliases and therefore cannot do the former_clone_of check reliably. When
2560 body_removed is set, we have lost all information about what was alias or
2561 thunk of and also cannot proceed. */
2562 if (!node
2563 || node->body_removed
2564 || node->in_other_partition
2565 || node->icf_merged
2566 || e->callee->in_other_partition)
2567 return false;
2569 node = node->ultimate_alias_target ();
2571 /* Optimizers can redirect unreachable calls or calls triggering undefined
2572 behaviour to builtin_unreachable. */
2573 if (DECL_BUILT_IN_CLASS (e->callee->decl) == BUILT_IN_NORMAL
2574 && DECL_FUNCTION_CODE (e->callee->decl) == BUILT_IN_UNREACHABLE)
2575 return false;
2577 if (e->callee->former_clone_of != node->decl
2578 && (node != e->callee->ultimate_alias_target ())
2579 && !clone_of_p (node, e->callee))
2580 return true;
2581 else
2582 return false;
2585 /* Verify cgraph nodes of given cgraph node. */
2586 DEBUG_FUNCTION void
2587 cgraph_node::verify_node (void)
2589 cgraph_edge *e;
2590 function *this_cfun = DECL_STRUCT_FUNCTION (decl);
2591 basic_block this_block;
2592 gimple_stmt_iterator gsi;
2593 bool error_found = false;
2595 if (seen_error ())
2596 return;
2598 timevar_push (TV_CGRAPH_VERIFY);
2599 error_found |= verify_base ();
2600 for (e = callees; e; e = e->next_callee)
2601 if (e->aux)
2603 error ("aux field set for edge %s->%s",
2604 identifier_to_locale (e->caller->name ()),
2605 identifier_to_locale (e->callee->name ()));
2606 error_found = true;
2608 if (count < 0)
2610 error ("execution count is negative");
2611 error_found = true;
2613 if (global.inlined_to && same_comdat_group)
2615 error ("inline clone in same comdat group list");
2616 error_found = true;
2618 if (!definition && !in_other_partition && local.local)
2620 error ("local symbols must be defined");
2621 error_found = true;
2623 if (global.inlined_to && externally_visible)
2625 error ("externally visible inline clone");
2626 error_found = true;
2628 if (global.inlined_to && address_taken)
2630 error ("inline clone with address taken");
2631 error_found = true;
2633 if (global.inlined_to && force_output)
2635 error ("inline clone is forced to output");
2636 error_found = true;
2638 for (e = indirect_calls; e; e = e->next_callee)
2640 if (e->aux)
2642 error ("aux field set for indirect edge from %s",
2643 identifier_to_locale (e->caller->name ()));
2644 error_found = true;
2646 if (!e->indirect_unknown_callee
2647 || !e->indirect_info)
2649 error ("An indirect edge from %s is not marked as indirect or has "
2650 "associated indirect_info, the corresponding statement is: ",
2651 identifier_to_locale (e->caller->name ()));
2652 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2653 error_found = true;
2656 bool check_comdat = comdat_local_p ();
2657 for (e = callers; e; e = e->next_caller)
2659 if (verify_edge_count_and_frequency (e))
2660 error_found = true;
2661 if (check_comdat
2662 && !in_same_comdat_group_p (e->caller))
2664 error ("comdat-local function called by %s outside its comdat",
2665 identifier_to_locale (e->caller->name ()));
2666 error_found = true;
2668 if (!e->inline_failed)
2670 if (global.inlined_to
2671 != (e->caller->global.inlined_to
2672 ? e->caller->global.inlined_to : e->caller))
2674 error ("inlined_to pointer is wrong");
2675 error_found = true;
2677 if (callers->next_caller)
2679 error ("multiple inline callers");
2680 error_found = true;
2683 else
2684 if (global.inlined_to)
2686 error ("inlined_to pointer set for noninline callers");
2687 error_found = true;
2690 for (e = indirect_calls; e; e = e->next_callee)
2691 if (verify_edge_count_and_frequency (e))
2692 error_found = true;
2693 if (!callers && global.inlined_to)
2695 error ("inlined_to pointer is set but no predecessors found");
2696 error_found = true;
2698 if (global.inlined_to == this)
2700 error ("inlined_to pointer refers to itself");
2701 error_found = true;
2704 if (clone_of)
2706 cgraph_node *n;
2707 for (n = clone_of->clones; n; n = n->next_sibling_clone)
2708 if (n == this)
2709 break;
2710 if (!n)
2712 error ("cgraph_node has wrong clone_of");
2713 error_found = true;
2716 if (clones)
2718 cgraph_node *n;
2719 for (n = clones; n; n = n->next_sibling_clone)
2720 if (n->clone_of != this)
2721 break;
2722 if (n)
2724 error ("cgraph_node has wrong clone list");
2725 error_found = true;
2728 if ((prev_sibling_clone || next_sibling_clone) && !clone_of)
2730 error ("cgraph_node is in clone list but it is not clone");
2731 error_found = true;
2733 if (!prev_sibling_clone && clone_of && clone_of->clones != this)
2735 error ("cgraph_node has wrong prev_clone pointer");
2736 error_found = true;
2738 if (prev_sibling_clone && prev_sibling_clone->next_sibling_clone != this)
2740 error ("double linked list of clones corrupted");
2741 error_found = true;
2744 if (analyzed && alias)
2746 bool ref_found = false;
2747 int i;
2748 ipa_ref *ref = NULL;
2750 if (callees)
2752 error ("Alias has call edges");
2753 error_found = true;
2755 for (i = 0; iterate_reference (i, ref); i++)
2756 if (ref->use != IPA_REF_ALIAS)
2758 error ("Alias has non-alias reference");
2759 error_found = true;
2761 else if (ref_found)
2763 error ("Alias has more than one alias reference");
2764 error_found = true;
2766 else
2767 ref_found = true;
2768 if (!ref_found)
2770 error ("Analyzed alias has no reference");
2771 error_found = true;
2774 if (analyzed && thunk.thunk_p)
2776 if (!callees)
2778 error ("No edge out of thunk node");
2779 error_found = true;
2781 else if (callees->next_callee)
2783 error ("More than one edge out of thunk node");
2784 error_found = true;
2786 if (gimple_has_body_p (decl))
2788 error ("Thunk is not supposed to have body");
2789 error_found = true;
2792 else if (analyzed && gimple_has_body_p (decl)
2793 && !TREE_ASM_WRITTEN (decl)
2794 && (!DECL_EXTERNAL (decl) || global.inlined_to)
2795 && !flag_wpa)
2797 if (this_cfun->cfg)
2799 hash_set<gimple> stmts;
2800 int i;
2801 ipa_ref *ref = NULL;
2803 /* Reach the trees by walking over the CFG, and note the
2804 enclosing basic-blocks in the call edges. */
2805 FOR_EACH_BB_FN (this_block, this_cfun)
2807 for (gsi = gsi_start_phis (this_block);
2808 !gsi_end_p (gsi); gsi_next (&gsi))
2809 stmts.add (gsi_stmt (gsi));
2810 for (gsi = gsi_start_bb (this_block);
2811 !gsi_end_p (gsi);
2812 gsi_next (&gsi))
2814 gimple stmt = gsi_stmt (gsi);
2815 stmts.add (stmt);
2816 if (is_gimple_call (stmt))
2818 cgraph_edge *e = get_edge (stmt);
2819 tree decl = gimple_call_fndecl (stmt);
2820 if (e)
2822 if (e->aux)
2824 error ("shared call_stmt:");
2825 cgraph_debug_gimple_stmt (this_cfun, stmt);
2826 error_found = true;
2828 if (!e->indirect_unknown_callee)
2830 if (verify_edge_corresponds_to_fndecl (e, decl))
2832 error ("edge points to wrong declaration:");
2833 debug_tree (e->callee->decl);
2834 fprintf (stderr," Instead of:");
2835 debug_tree (decl);
2836 error_found = true;
2839 else if (decl)
2841 error ("an indirect edge with unknown callee "
2842 "corresponding to a call_stmt with "
2843 "a known declaration:");
2844 error_found = true;
2845 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2847 e->aux = (void *)1;
2849 else if (decl)
2851 error ("missing callgraph edge for call stmt:");
2852 cgraph_debug_gimple_stmt (this_cfun, stmt);
2853 error_found = true;
2858 for (i = 0; iterate_reference (i, ref); i++)
2859 if (ref->stmt && !stmts.contains (ref->stmt))
2861 error ("reference to dead statement");
2862 cgraph_debug_gimple_stmt (this_cfun, ref->stmt);
2863 error_found = true;
2866 else
2867 /* No CFG available?! */
2868 gcc_unreachable ();
2870 for (e = callees; e; e = e->next_callee)
2872 if (!e->aux)
2874 error ("edge %s->%s has no corresponding call_stmt",
2875 identifier_to_locale (e->caller->name ()),
2876 identifier_to_locale (e->callee->name ()));
2877 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2878 error_found = true;
2880 e->aux = 0;
2882 for (e = indirect_calls; e; e = e->next_callee)
2884 if (!e->aux && !e->speculative)
2886 error ("an indirect edge from %s has no corresponding call_stmt",
2887 identifier_to_locale (e->caller->name ()));
2888 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2889 error_found = true;
2891 e->aux = 0;
2894 if (error_found)
2896 dump (stderr);
2897 internal_error ("verify_cgraph_node failed");
2899 timevar_pop (TV_CGRAPH_VERIFY);
2902 /* Verify whole cgraph structure. */
2903 DEBUG_FUNCTION void
2904 cgraph_node::verify_cgraph_nodes (void)
2906 cgraph_node *node;
2908 if (seen_error ())
2909 return;
2911 FOR_EACH_FUNCTION (node)
2912 node->verify ();
2915 /* Walk the alias chain to return the function cgraph_node is alias of.
2916 Walk through thunk, too.
2917 When AVAILABILITY is non-NULL, get minimal availability in the chain. */
2919 cgraph_node *
2920 cgraph_node::function_symbol (enum availability *availability)
2922 cgraph_node *node = this;
2926 node = node->ultimate_alias_target (availability);
2927 if (node->thunk.thunk_p)
2929 node = node->callees->callee;
2930 if (availability)
2932 enum availability a;
2933 a = node->get_availability ();
2934 if (a < *availability)
2935 *availability = a;
2937 node = node->ultimate_alias_target (availability);
2939 } while (node && node->thunk.thunk_p);
2940 return node;
2943 /* When doing LTO, read cgraph_node's body from disk if it is not already
2944 present. */
2946 bool
2947 cgraph_node::get_body (void)
2949 lto_file_decl_data *file_data;
2950 const char *data, *name;
2951 size_t len;
2952 tree decl = this->decl;
2954 if (DECL_RESULT (decl))
2955 return false;
2957 gcc_assert (in_lto_p);
2959 timevar_push (TV_IPA_LTO_GIMPLE_IN);
2961 file_data = lto_file_data;
2962 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
2964 /* We may have renamed the declaration, e.g., a static function. */
2965 name = lto_get_decl_name_mapping (file_data, name);
2967 data = lto_get_section_data (file_data, LTO_section_function_body,
2968 name, &len);
2969 if (!data)
2970 fatal_error ("%s: section %s is missing",
2971 file_data->file_name,
2972 name);
2974 gcc_assert (DECL_STRUCT_FUNCTION (decl) == NULL);
2976 lto_input_function_body (file_data, this, data);
2977 lto_stats.num_function_bodies++;
2978 lto_free_section_data (file_data, LTO_section_function_body, name,
2979 data, len);
2980 lto_free_function_in_decl_state_for_node (this);
2982 timevar_pop (TV_IPA_LTO_GIMPLE_IN);
2984 return true;
2987 /* Return the DECL_STRUCT_FUNCTION of the function. */
2989 struct function *
2990 cgraph_node::get_fun (void)
2992 cgraph_node *node = this;
2993 struct function *fun = DECL_STRUCT_FUNCTION (node->decl);
2995 while (!fun && node->clone_of)
2997 node = node->clone_of;
2998 fun = DECL_STRUCT_FUNCTION (node->decl);
3001 return fun;
3004 /* Verify if the type of the argument matches that of the function
3005 declaration. If we cannot verify this or there is a mismatch,
3006 return false. */
3008 static bool
3009 gimple_check_call_args (gimple stmt, tree fndecl, bool args_count_match)
3011 tree parms, p;
3012 unsigned int i, nargs;
3014 /* Calls to internal functions always match their signature. */
3015 if (gimple_call_internal_p (stmt))
3016 return true;
3018 nargs = gimple_call_num_args (stmt);
3020 /* Get argument types for verification. */
3021 if (fndecl)
3022 parms = TYPE_ARG_TYPES (TREE_TYPE (fndecl));
3023 else
3024 parms = TYPE_ARG_TYPES (gimple_call_fntype (stmt));
3026 /* Verify if the type of the argument matches that of the function
3027 declaration. If we cannot verify this or there is a mismatch,
3028 return false. */
3029 if (fndecl && DECL_ARGUMENTS (fndecl))
3031 for (i = 0, p = DECL_ARGUMENTS (fndecl);
3032 i < nargs;
3033 i++, p = DECL_CHAIN (p))
3035 tree arg;
3036 /* We cannot distinguish a varargs function from the case
3037 of excess parameters, still deferring the inlining decision
3038 to the callee is possible. */
3039 if (!p)
3040 break;
3041 arg = gimple_call_arg (stmt, i);
3042 if (p == error_mark_node
3043 || DECL_ARG_TYPE (p) == error_mark_node
3044 || arg == error_mark_node
3045 || (!types_compatible_p (DECL_ARG_TYPE (p), TREE_TYPE (arg))
3046 && !fold_convertible_p (DECL_ARG_TYPE (p), arg)))
3047 return false;
3049 if (args_count_match && p)
3050 return false;
3052 else if (parms)
3054 for (i = 0, p = parms; i < nargs; i++, p = TREE_CHAIN (p))
3056 tree arg;
3057 /* If this is a varargs function defer inlining decision
3058 to callee. */
3059 if (!p)
3060 break;
3061 arg = gimple_call_arg (stmt, i);
3062 if (TREE_VALUE (p) == error_mark_node
3063 || arg == error_mark_node
3064 || TREE_CODE (TREE_VALUE (p)) == VOID_TYPE
3065 || (!types_compatible_p (TREE_VALUE (p), TREE_TYPE (arg))
3066 && !fold_convertible_p (TREE_VALUE (p), arg)))
3067 return false;
3070 else
3072 if (nargs != 0)
3073 return false;
3075 return true;
3078 /* Verify if the type of the argument and lhs of CALL_STMT matches
3079 that of the function declaration CALLEE. If ARGS_COUNT_MATCH is
3080 true, the arg count needs to be the same.
3081 If we cannot verify this or there is a mismatch, return false. */
3083 bool
3084 gimple_check_call_matching_types (gimple call_stmt, tree callee,
3085 bool args_count_match)
3087 tree lhs;
3089 if ((DECL_RESULT (callee)
3090 && !DECL_BY_REFERENCE (DECL_RESULT (callee))
3091 && (lhs = gimple_call_lhs (call_stmt)) != NULL_TREE
3092 && !useless_type_conversion_p (TREE_TYPE (DECL_RESULT (callee)),
3093 TREE_TYPE (lhs))
3094 && !fold_convertible_p (TREE_TYPE (DECL_RESULT (callee)), lhs))
3095 || !gimple_check_call_args (call_stmt, callee, args_count_match))
3096 return false;
3097 return true;
3100 #include "gt-cgraph.h"