Concretize gimple_cond_set_{lhs|rhs}
[official-gcc.git] / gcc / cgraph.c
blob947d432de26dfd698c3dc6040fd3c45732e9c658
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_call 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 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 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 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_call 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 (as_a <gimple_call> (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 as_a <gimple_call> (new_stmt), count,
1487 frequency);
1488 gcc_assert (ne->inline_failed);
1491 /* We only updated the call stmt; update pointer in cgraph edge.. */
1492 else if (old_stmt != new_stmt)
1493 node->get_edge (old_stmt)->set_call_stmt (as_a <gimple_call> (new_stmt));
1496 /* Update or remove the corresponding cgraph edge if a GIMPLE_CALL
1497 OLD_STMT changed into NEW_STMT. OLD_DECL is gimple_call_fndecl
1498 of OLD_STMT before it was updated (updating can happen inplace). */
1500 void
1501 cgraph_update_edges_for_call_stmt (gimple old_stmt, tree old_decl, gimple new_stmt)
1503 cgraph_node *orig = cgraph_node::get (cfun->decl);
1504 cgraph_node *node;
1506 gcc_checking_assert (orig);
1507 cgraph_update_edges_for_call_stmt_node (orig, old_stmt, old_decl, new_stmt);
1508 if (orig->clones)
1509 for (node = orig->clones; node != orig;)
1511 cgraph_update_edges_for_call_stmt_node (node, old_stmt, old_decl, new_stmt);
1512 if (node->clones)
1513 node = node->clones;
1514 else if (node->next_sibling_clone)
1515 node = node->next_sibling_clone;
1516 else
1518 while (node != orig && !node->next_sibling_clone)
1519 node = node->clone_of;
1520 if (node != orig)
1521 node = node->next_sibling_clone;
1527 /* Remove all callees from the node. */
1529 void
1530 cgraph_node::remove_callees (void)
1532 cgraph_edge *e, *f;
1534 /* It is sufficient to remove the edges from the lists of callers of
1535 the callees. The callee list of the node can be zapped with one
1536 assignment. */
1537 for (e = callees; e; e = f)
1539 f = e->next_callee;
1540 symtab->call_edge_removal_hooks (e);
1541 if (!e->indirect_unknown_callee)
1542 e->remove_callee ();
1543 symtab->free_edge (e);
1545 for (e = indirect_calls; e; e = f)
1547 f = e->next_callee;
1548 symtab->call_edge_removal_hooks (e);
1549 if (!e->indirect_unknown_callee)
1550 e->remove_callee ();
1551 symtab->free_edge (e);
1553 indirect_calls = NULL;
1554 callees = NULL;
1555 if (call_site_hash)
1557 call_site_hash->empty ();
1558 call_site_hash = NULL;
1562 /* Remove all callers from the node. */
1564 void
1565 cgraph_node::remove_callers (void)
1567 cgraph_edge *e, *f;
1569 /* It is sufficient to remove the edges from the lists of callees of
1570 the callers. The caller list of the node can be zapped with one
1571 assignment. */
1572 for (e = callers; e; e = f)
1574 f = e->next_caller;
1575 symtab->call_edge_removal_hooks (e);
1576 e->remove_caller ();
1577 symtab->free_edge (e);
1579 callers = NULL;
1582 /* Helper function for cgraph_release_function_body and free_lang_data.
1583 It releases body from function DECL without having to inspect its
1584 possibly non-existent symtab node. */
1586 void
1587 release_function_body (tree decl)
1589 if (DECL_STRUCT_FUNCTION (decl))
1591 push_cfun (DECL_STRUCT_FUNCTION (decl));
1592 if (cfun->cfg
1593 && current_loops)
1595 cfun->curr_properties &= ~PROP_loops;
1596 loop_optimizer_finalize ();
1598 if (cfun->gimple_df)
1600 delete_tree_ssa ();
1601 delete_tree_cfg_annotations ();
1602 cfun->eh = NULL;
1604 if (cfun->cfg)
1606 gcc_assert (!dom_info_available_p (CDI_DOMINATORS));
1607 gcc_assert (!dom_info_available_p (CDI_POST_DOMINATORS));
1608 clear_edges ();
1609 cfun->cfg = NULL;
1611 if (cfun->value_histograms)
1612 free_histograms ();
1613 pop_cfun ();
1614 gimple_set_body (decl, NULL);
1615 /* Struct function hangs a lot of data that would leak if we didn't
1616 removed all pointers to it. */
1617 ggc_free (DECL_STRUCT_FUNCTION (decl));
1618 DECL_STRUCT_FUNCTION (decl) = NULL;
1620 DECL_SAVED_TREE (decl) = NULL;
1623 /* Release memory used to represent body of function.
1624 Use this only for functions that are released before being translated to
1625 target code (i.e. RTL). Functions that are compiled to RTL and beyond
1626 are free'd in final.c via free_after_compilation().
1627 KEEP_ARGUMENTS are useful only if you want to rebuild body as thunk. */
1629 void
1630 cgraph_node::release_body (bool keep_arguments)
1632 ipa_transforms_to_apply.release ();
1633 if (!used_as_abstract_origin && symtab->state != PARSING)
1635 DECL_RESULT (decl) = NULL;
1637 if (!keep_arguments)
1638 DECL_ARGUMENTS (decl) = NULL;
1640 /* If the node is abstract and needed, then do not clear DECL_INITIAL
1641 of its associated function function declaration because it's
1642 needed to emit debug info later. */
1643 if (!used_as_abstract_origin && DECL_INITIAL (decl))
1644 DECL_INITIAL (decl) = error_mark_node;
1645 release_function_body (decl);
1646 if (lto_file_data)
1647 lto_free_function_in_decl_state_for_node (this);
1650 /* Remove function from symbol table. */
1652 void
1653 cgraph_node::remove (void)
1655 cgraph_node *n;
1656 int uid = this->uid;
1658 symtab->call_cgraph_removal_hooks (this);
1659 remove_callers ();
1660 remove_callees ();
1661 ipa_transforms_to_apply.release ();
1663 /* Incremental inlining access removed nodes stored in the postorder list.
1665 force_output = false;
1666 forced_by_abi = false;
1667 for (n = nested; n; n = n->next_nested)
1668 n->origin = NULL;
1669 nested = NULL;
1670 if (origin)
1672 cgraph_node **node2 = &origin->nested;
1674 while (*node2 != this)
1675 node2 = &(*node2)->next_nested;
1676 *node2 = next_nested;
1678 unregister ();
1679 if (prev_sibling_clone)
1680 prev_sibling_clone->next_sibling_clone = next_sibling_clone;
1681 else if (clone_of)
1682 clone_of->clones = next_sibling_clone;
1683 if (next_sibling_clone)
1684 next_sibling_clone->prev_sibling_clone = prev_sibling_clone;
1685 if (clones)
1687 cgraph_node *n, *next;
1689 if (clone_of)
1691 for (n = clones; n->next_sibling_clone; n = n->next_sibling_clone)
1692 n->clone_of = clone_of;
1693 n->clone_of = clone_of;
1694 n->next_sibling_clone = clone_of->clones;
1695 if (clone_of->clones)
1696 clone_of->clones->prev_sibling_clone = n;
1697 clone_of->clones = clones;
1699 else
1701 /* We are removing node with clones. This makes clones inconsistent,
1702 but assume they will be removed subsequently and just keep clone
1703 tree intact. This can happen in unreachable function removal since
1704 we remove unreachable functions in random order, not by bottom-up
1705 walk of clone trees. */
1706 for (n = clones; n; n = next)
1708 next = n->next_sibling_clone;
1709 n->next_sibling_clone = NULL;
1710 n->prev_sibling_clone = NULL;
1711 n->clone_of = NULL;
1716 /* While all the clones are removed after being proceeded, the function
1717 itself is kept in the cgraph even after it is compiled. Check whether
1718 we are done with this body and reclaim it proactively if this is the case.
1720 if (symtab->state != LTO_STREAMING)
1722 n = cgraph_node::get (decl);
1723 if (!n
1724 || (!n->clones && !n->clone_of && !n->global.inlined_to
1725 && (symtab->global_info_ready
1726 && (TREE_ASM_WRITTEN (n->decl)
1727 || DECL_EXTERNAL (n->decl)
1728 || !n->analyzed
1729 || (!flag_wpa && n->in_other_partition)))))
1730 release_body ();
1733 decl = NULL;
1734 if (call_site_hash)
1736 call_site_hash->empty ();
1737 call_site_hash = NULL;
1740 symtab->release_symbol (this, uid);
1743 /* Likewise indicate that a node is having address taken. */
1745 void
1746 cgraph_node::mark_address_taken (void)
1748 /* Indirect inlining can figure out that all uses of the address are
1749 inlined. */
1750 if (global.inlined_to)
1752 gcc_assert (cfun->after_inlining);
1753 gcc_assert (callers->indirect_inlining_edge);
1754 return;
1756 /* FIXME: address_taken flag is used both as a shortcut for testing whether
1757 IPA_REF_ADDR reference exists (and thus it should be set on node
1758 representing alias we take address of) and as a test whether address
1759 of the object was taken (and thus it should be set on node alias is
1760 referring to). We should remove the first use and the remove the
1761 following set. */
1762 address_taken = 1;
1763 cgraph_node *node = ultimate_alias_target ();
1764 node->address_taken = 1;
1767 /* Return local info for the compiled function. */
1769 cgraph_local_info *
1770 cgraph_node::local_info (tree decl)
1772 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
1773 cgraph_node *node = get (decl);
1774 if (!node)
1775 return NULL;
1776 return &node->local;
1779 /* Return global info for the compiled function. */
1781 cgraph_global_info *
1782 cgraph_node::global_info (tree decl)
1784 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL
1785 && symtab->global_info_ready);
1786 cgraph_node *node = get (decl);
1787 if (!node)
1788 return NULL;
1789 return &node->global;
1792 /* Return local info for the compiled function. */
1794 cgraph_rtl_info *
1795 cgraph_node::rtl_info (tree decl)
1797 gcc_assert (TREE_CODE (decl) == FUNCTION_DECL);
1798 cgraph_node *node = get (decl);
1799 if (!node
1800 || (decl != current_function_decl
1801 && !TREE_ASM_WRITTEN (node->decl)))
1802 return NULL;
1803 return &node->rtl;
1806 /* Return a string describing the failure REASON. */
1808 const char*
1809 cgraph_inline_failed_string (cgraph_inline_failed_t reason)
1811 #undef DEFCIFCODE
1812 #define DEFCIFCODE(code, type, string) string,
1814 static const char *cif_string_table[CIF_N_REASONS] = {
1815 #include "cif-code.def"
1818 /* Signedness of an enum type is implementation defined, so cast it
1819 to unsigned before testing. */
1820 gcc_assert ((unsigned) reason < CIF_N_REASONS);
1821 return cif_string_table[reason];
1824 /* Return a type describing the failure REASON. */
1826 cgraph_inline_failed_type_t
1827 cgraph_inline_failed_type (cgraph_inline_failed_t reason)
1829 #undef DEFCIFCODE
1830 #define DEFCIFCODE(code, type, string) type,
1832 static cgraph_inline_failed_type_t cif_type_table[CIF_N_REASONS] = {
1833 #include "cif-code.def"
1836 /* Signedness of an enum type is implementation defined, so cast it
1837 to unsigned before testing. */
1838 gcc_assert ((unsigned) reason < CIF_N_REASONS);
1839 return cif_type_table[reason];
1842 /* Names used to print out the availability enum. */
1843 const char * const cgraph_availability_names[] =
1844 {"unset", "not_available", "overwritable", "available", "local"};
1846 /* Output flags of edge E. */
1848 static void
1849 dump_edge_flags (FILE *f, struct cgraph_edge *edge)
1851 if (edge->speculative)
1852 fprintf (f, "(speculative) ");
1853 if (!edge->inline_failed)
1854 fprintf (f, "(inlined) ");
1855 if (edge->indirect_inlining_edge)
1856 fprintf (f, "(indirect_inlining) ");
1857 if (edge->count)
1858 fprintf (f, "(%"PRId64"x) ",
1859 (int64_t)edge->count);
1860 if (edge->frequency)
1861 fprintf (f, "(%.2f per call) ",
1862 edge->frequency / (double)CGRAPH_FREQ_BASE);
1863 if (edge->can_throw_external)
1864 fprintf (f, "(can throw external) ");
1867 /* Dump call graph node to file F. */
1869 void
1870 cgraph_node::dump (FILE *f)
1872 cgraph_edge *edge;
1874 dump_base (f);
1876 if (global.inlined_to)
1877 fprintf (f, " Function %s/%i is inline copy in %s/%i\n",
1878 xstrdup (name ()),
1879 order,
1880 xstrdup (global.inlined_to->name ()),
1881 global.inlined_to->order);
1882 if (clone_of)
1883 fprintf (f, " Clone of %s/%i\n",
1884 clone_of->asm_name (),
1885 clone_of->order);
1886 if (symtab->function_flags_ready)
1887 fprintf (f, " Availability: %s\n",
1888 cgraph_availability_names [get_availability ()]);
1890 if (profile_id)
1891 fprintf (f, " Profile id: %i\n",
1892 profile_id);
1893 fprintf (f, " First run: %i\n", tp_first_run);
1894 fprintf (f, " Function flags:");
1895 if (count)
1896 fprintf (f, " executed %"PRId64"x",
1897 (int64_t)count);
1898 if (origin)
1899 fprintf (f, " nested in: %s", origin->asm_name ());
1900 if (gimple_has_body_p (decl))
1901 fprintf (f, " body");
1902 if (process)
1903 fprintf (f, " process");
1904 if (local.local)
1905 fprintf (f, " local");
1906 if (local.redefined_extern_inline)
1907 fprintf (f, " redefined_extern_inline");
1908 if (only_called_at_startup)
1909 fprintf (f, " only_called_at_startup");
1910 if (only_called_at_exit)
1911 fprintf (f, " only_called_at_exit");
1912 if (tm_clone)
1913 fprintf (f, " tm_clone");
1914 if (DECL_STATIC_CONSTRUCTOR (decl))
1915 fprintf (f," static_constructor (priority:%i)", get_init_priority ());
1916 if (DECL_STATIC_DESTRUCTOR (decl))
1917 fprintf (f," static_destructor (priority:%i)", get_fini_priority ());
1919 fprintf (f, "\n");
1921 if (thunk.thunk_p)
1923 fprintf (f, " Thunk");
1924 if (thunk.alias)
1925 fprintf (f, " of %s (asm: %s)",
1926 lang_hooks.decl_printable_name (thunk.alias, 2),
1927 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk.alias)));
1928 fprintf (f, " fixed offset %i virtual value %i has "
1929 "virtual offset %i)\n",
1930 (int)thunk.fixed_offset,
1931 (int)thunk.virtual_value,
1932 (int)thunk.virtual_offset_p);
1934 if (alias && thunk.alias
1935 && DECL_P (thunk.alias))
1937 fprintf (f, " Alias of %s",
1938 lang_hooks.decl_printable_name (thunk.alias, 2));
1939 if (DECL_ASSEMBLER_NAME_SET_P (thunk.alias))
1940 fprintf (f, " (asm: %s)",
1941 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk.alias)));
1942 fprintf (f, "\n");
1945 fprintf (f, " Called by: ");
1947 for (edge = callers; edge; edge = edge->next_caller)
1949 fprintf (f, "%s/%i ", edge->caller->asm_name (),
1950 edge->caller->order);
1951 dump_edge_flags (f, edge);
1954 fprintf (f, "\n Calls: ");
1955 for (edge = callees; edge; edge = edge->next_callee)
1957 fprintf (f, "%s/%i ", edge->callee->asm_name (),
1958 edge->callee->order);
1959 dump_edge_flags (f, edge);
1961 fprintf (f, "\n");
1963 for (edge = indirect_calls; edge; edge = edge->next_callee)
1965 if (edge->indirect_info->polymorphic)
1967 fprintf (f, " Polymorphic indirect call of type ");
1968 print_generic_expr (f, edge->indirect_info->otr_type, TDF_SLIM);
1969 fprintf (f, " token:%i", (int) edge->indirect_info->otr_token);
1971 else
1972 fprintf (f, " Indirect call");
1973 dump_edge_flags (f, edge);
1974 if (edge->indirect_info->param_index != -1)
1976 fprintf (f, " of param:%i", edge->indirect_info->param_index);
1977 if (edge->indirect_info->agg_contents)
1978 fprintf (f, " loaded from %s %s at offset %i",
1979 edge->indirect_info->member_ptr ? "member ptr" : "aggregate",
1980 edge->indirect_info->by_ref ? "passed by reference":"",
1981 (int)edge->indirect_info->offset);
1982 if (edge->indirect_info->vptr_changed)
1983 fprintf (f, " (vptr maybe changed)");
1985 fprintf (f, "\n");
1986 if (edge->indirect_info->polymorphic)
1987 edge->indirect_info->context.dump (f);
1991 /* Dump call graph node NODE to stderr. */
1993 DEBUG_FUNCTION void
1994 cgraph_node::debug (void)
1996 dump (stderr);
1999 /* Dump the callgraph to file F. */
2001 void
2002 cgraph_node::dump_cgraph (FILE *f)
2004 cgraph_node *node;
2006 fprintf (f, "callgraph:\n\n");
2007 FOR_EACH_FUNCTION (node)
2008 node->dump (f);
2011 /* Return true when the DECL can possibly be inlined. */
2013 bool
2014 cgraph_function_possibly_inlined_p (tree decl)
2016 if (!symtab->global_info_ready)
2017 return !DECL_UNINLINABLE (decl);
2018 return DECL_POSSIBLY_INLINED (decl);
2021 /* cgraph_node is no longer nested function; update cgraph accordingly. */
2022 void
2023 cgraph_node::unnest (void)
2025 cgraph_node **node2 = &origin->nested;
2026 gcc_assert (origin);
2028 while (*node2 != this)
2029 node2 = &(*node2)->next_nested;
2030 *node2 = next_nested;
2031 origin = NULL;
2034 /* Return function availability. See cgraph.h for description of individual
2035 return values. */
2036 enum availability
2037 cgraph_node::get_availability (void)
2039 enum availability avail;
2040 if (!analyzed)
2041 avail = AVAIL_NOT_AVAILABLE;
2042 else if (local.local)
2043 avail = AVAIL_LOCAL;
2044 else if (alias && weakref)
2045 ultimate_alias_target (&avail);
2046 else if (lookup_attribute ("ifunc", DECL_ATTRIBUTES (decl)))
2047 avail = AVAIL_INTERPOSABLE;
2048 else if (!externally_visible)
2049 avail = AVAIL_AVAILABLE;
2050 /* Inline functions are safe to be analyzed even if their symbol can
2051 be overwritten at runtime. It is not meaningful to enforce any sane
2052 behaviour on replacing inline function by different body. */
2053 else if (DECL_DECLARED_INLINE_P (decl))
2054 avail = AVAIL_AVAILABLE;
2056 /* If the function can be overwritten, return OVERWRITABLE. Take
2057 care at least of two notable extensions - the COMDAT functions
2058 used to share template instantiations in C++ (this is symmetric
2059 to code cp_cannot_inline_tree_fn and probably shall be shared and
2060 the inlinability hooks completely eliminated).
2062 ??? Does the C++ one definition rule allow us to always return
2063 AVAIL_AVAILABLE here? That would be good reason to preserve this
2064 bit. */
2066 else if (decl_replaceable_p (decl) && !DECL_EXTERNAL (decl))
2067 avail = AVAIL_INTERPOSABLE;
2068 else avail = AVAIL_AVAILABLE;
2070 return avail;
2073 /* Worker for cgraph_node_can_be_local_p. */
2074 static bool
2075 cgraph_node_cannot_be_local_p_1 (cgraph_node *node, void *)
2077 return !(!node->force_output
2078 && ((DECL_COMDAT (node->decl)
2079 && !node->forced_by_abi
2080 && !node->used_from_object_file_p ()
2081 && !node->same_comdat_group)
2082 || !node->externally_visible));
2085 /* Return true if cgraph_node can be made local for API change.
2086 Extern inline functions and C++ COMDAT functions can be made local
2087 at the expense of possible code size growth if function is used in multiple
2088 compilation units. */
2089 bool
2090 cgraph_node::can_be_local_p (void)
2092 return (!address_taken
2093 && !call_for_symbol_thunks_and_aliases (cgraph_node_cannot_be_local_p_1,
2094 NULL, true));
2097 /* Call calback on cgraph_node, thunks and aliases associated to cgraph_node.
2098 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2099 skipped. */
2101 bool
2102 cgraph_node::call_for_symbol_thunks_and_aliases (bool (*callback)
2103 (cgraph_node *, void *),
2104 void *data,
2105 bool include_overwritable)
2107 cgraph_edge *e;
2108 ipa_ref *ref;
2110 if (callback (this, data))
2111 return true;
2112 for (e = callers; e; e = e->next_caller)
2113 if (e->caller->thunk.thunk_p
2114 && (include_overwritable
2115 || e->caller->get_availability () > AVAIL_INTERPOSABLE))
2116 if (e->caller->call_for_symbol_thunks_and_aliases (callback, data,
2117 include_overwritable))
2118 return true;
2120 FOR_EACH_ALIAS (this, ref)
2122 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2123 if (include_overwritable
2124 || alias->get_availability () > AVAIL_INTERPOSABLE)
2125 if (alias->call_for_symbol_thunks_and_aliases (callback, data,
2126 include_overwritable))
2127 return true;
2129 return false;
2132 /* Call calback on function and aliases associated to the function.
2133 When INCLUDE_OVERWRITABLE is false, overwritable aliases and thunks are
2134 skipped. */
2136 bool
2137 cgraph_node::call_for_symbol_and_aliases (bool (*callback) (cgraph_node *,
2138 void *),
2139 void *data,
2140 bool include_overwritable)
2142 ipa_ref *ref;
2144 if (callback (this, data))
2145 return true;
2147 FOR_EACH_ALIAS (this, ref)
2149 cgraph_node *alias = dyn_cast <cgraph_node *> (ref->referring);
2150 if (include_overwritable
2151 || alias->get_availability () > AVAIL_INTERPOSABLE)
2152 if (alias->call_for_symbol_and_aliases (callback, data,
2153 include_overwritable))
2154 return true;
2156 return false;
2159 /* Worker to bring NODE local. */
2161 bool
2162 cgraph_node::make_local (cgraph_node *node, void *)
2164 gcc_checking_assert (node->can_be_local_p ());
2165 if (DECL_COMDAT (node->decl) || DECL_EXTERNAL (node->decl))
2167 node->make_decl_local ();
2168 node->set_section (NULL);
2169 node->set_comdat_group (NULL);
2170 node->externally_visible = false;
2171 node->forced_by_abi = false;
2172 node->local.local = true;
2173 node->set_section (NULL);
2174 node->unique_name = (node->resolution == LDPR_PREVAILING_DEF_IRONLY
2175 || node->resolution == LDPR_PREVAILING_DEF_IRONLY_EXP);
2176 node->resolution = LDPR_PREVAILING_DEF_IRONLY;
2177 gcc_assert (node->get_availability () == AVAIL_LOCAL);
2179 return false;
2182 /* Bring cgraph node local. */
2184 void
2185 cgraph_node::make_local (void)
2187 call_for_symbol_thunks_and_aliases (cgraph_node::make_local, NULL, true);
2190 /* Worker to set nothrow flag. */
2192 static bool
2193 cgraph_set_nothrow_flag_1 (cgraph_node *node, void *data)
2195 cgraph_edge *e;
2197 TREE_NOTHROW (node->decl) = data != NULL;
2199 if (data != NULL)
2200 for (e = node->callers; e; e = e->next_caller)
2201 e->can_throw_external = false;
2202 return false;
2205 /* Set TREE_NOTHROW on NODE's decl and on aliases of NODE
2206 if any to NOTHROW. */
2208 void
2209 cgraph_node::set_nothrow_flag (bool nothrow)
2211 call_for_symbol_thunks_and_aliases (cgraph_set_nothrow_flag_1,
2212 (void *)(size_t)nothrow, false);
2215 /* Worker to set const flag. */
2217 static bool
2218 cgraph_set_const_flag_1 (cgraph_node *node, void *data)
2220 /* Static constructors and destructors without a side effect can be
2221 optimized out. */
2222 if (data && !((size_t)data & 2))
2224 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2225 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2226 if (DECL_STATIC_DESTRUCTOR (node->decl))
2227 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2229 TREE_READONLY (node->decl) = data != NULL;
2230 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = ((size_t)data & 2) != 0;
2231 return false;
2234 /* Set TREE_READONLY on cgraph_node's decl and on aliases of the node
2235 if any to READONLY. */
2237 void
2238 cgraph_node::set_const_flag (bool readonly, bool looping)
2240 call_for_symbol_thunks_and_aliases (cgraph_set_const_flag_1,
2241 (void *)(size_t)(readonly + (int)looping * 2),
2242 false);
2245 /* Worker to set pure flag. */
2247 static bool
2248 cgraph_set_pure_flag_1 (cgraph_node *node, void *data)
2250 /* Static constructors and destructors without a side effect can be
2251 optimized out. */
2252 if (data && !((size_t)data & 2))
2254 if (DECL_STATIC_CONSTRUCTOR (node->decl))
2255 DECL_STATIC_CONSTRUCTOR (node->decl) = 0;
2256 if (DECL_STATIC_DESTRUCTOR (node->decl))
2257 DECL_STATIC_DESTRUCTOR (node->decl) = 0;
2259 DECL_PURE_P (node->decl) = data != NULL;
2260 DECL_LOOPING_CONST_OR_PURE_P (node->decl) = ((size_t)data & 2) != 0;
2261 return false;
2264 /* Set DECL_PURE_P on cgraph_node's decl and on aliases of the node
2265 if any to PURE. */
2267 void
2268 cgraph_node::set_pure_flag (bool pure, bool looping)
2270 call_for_symbol_thunks_and_aliases (cgraph_set_pure_flag_1,
2271 (void *)(size_t)(pure + (int)looping * 2),
2272 false);
2275 /* Return true when cgraph_node can not return or throw and thus
2276 it is safe to ignore its side effects for IPA analysis. */
2278 bool
2279 cgraph_node::cannot_return_p (void)
2281 int flags = flags_from_decl_or_type (decl);
2282 if (!flag_exceptions)
2283 return (flags & ECF_NORETURN) != 0;
2284 else
2285 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2286 == (ECF_NORETURN | ECF_NOTHROW));
2289 /* Return true when call of edge can not lead to return from caller
2290 and thus it is safe to ignore its side effects for IPA analysis
2291 when computing side effects of the caller.
2292 FIXME: We could actually mark all edges that have no reaching
2293 patch to the exit block or throw to get better results. */
2294 bool
2295 cgraph_edge::cannot_lead_to_return_p (void)
2297 if (caller->cannot_return_p ())
2298 return true;
2299 if (indirect_unknown_callee)
2301 int flags = indirect_info->ecf_flags;
2302 if (!flag_exceptions)
2303 return (flags & ECF_NORETURN) != 0;
2304 else
2305 return ((flags & (ECF_NORETURN | ECF_NOTHROW))
2306 == (ECF_NORETURN | ECF_NOTHROW));
2308 else
2309 return callee->cannot_return_p ();
2312 /* Return true when function can be removed from callgraph
2313 if all direct calls are eliminated. */
2315 bool
2316 cgraph_node::can_remove_if_no_direct_calls_and_refs_p (void)
2318 gcc_assert (!global.inlined_to);
2319 /* Extern inlines can always go, we will use the external definition. */
2320 if (DECL_EXTERNAL (decl))
2321 return true;
2322 /* When function is needed, we can not remove it. */
2323 if (force_output || used_from_other_partition)
2324 return false;
2325 if (DECL_STATIC_CONSTRUCTOR (decl)
2326 || DECL_STATIC_DESTRUCTOR (decl))
2327 return false;
2328 /* Only COMDAT functions can be removed if externally visible. */
2329 if (externally_visible
2330 && (!DECL_COMDAT (decl)
2331 || forced_by_abi
2332 || used_from_object_file_p ()))
2333 return false;
2334 return true;
2337 /* Worker for cgraph_can_remove_if_no_direct_calls_p. */
2339 static bool
2340 nonremovable_p (cgraph_node *node, void *)
2342 return !node->can_remove_if_no_direct_calls_and_refs_p ();
2345 /* Return true when function cgraph_node and its aliases can be removed from
2346 callgraph if all direct calls are eliminated. */
2348 bool
2349 cgraph_node::can_remove_if_no_direct_calls_p (void)
2351 /* Extern inlines can always go, we will use the external definition. */
2352 if (DECL_EXTERNAL (decl))
2353 return true;
2354 if (address_taken)
2355 return false;
2356 return !call_for_symbol_and_aliases (nonremovable_p, NULL, true);
2359 /* Return true when function cgraph_node can be expected to be removed
2360 from program when direct calls in this compilation unit are removed.
2362 As a special case COMDAT functions are
2363 cgraph_can_remove_if_no_direct_calls_p while the are not
2364 cgraph_only_called_directly_p (it is possible they are called from other
2365 unit)
2367 This function behaves as cgraph_only_called_directly_p because eliminating
2368 all uses of COMDAT function does not make it necessarily disappear from
2369 the program unless we are compiling whole program or we do LTO. In this
2370 case we know we win since dynamic linking will not really discard the
2371 linkonce section. */
2373 bool
2374 cgraph_node::will_be_removed_from_program_if_no_direct_calls_p (void)
2376 gcc_assert (!global.inlined_to);
2378 if (call_for_symbol_and_aliases (used_from_object_file_p_worker,
2379 NULL, true))
2380 return false;
2381 if (!in_lto_p && !flag_whole_program)
2382 return only_called_directly_p ();
2383 else
2385 if (DECL_EXTERNAL (decl))
2386 return true;
2387 return can_remove_if_no_direct_calls_p ();
2392 /* Worker for cgraph_only_called_directly_p. */
2394 static bool
2395 cgraph_not_only_called_directly_p_1 (cgraph_node *node, void *)
2397 return !node->only_called_directly_or_aliased_p ();
2400 /* Return true when function cgraph_node and all its aliases are only called
2401 directly.
2402 i.e. it is not externally visible, address was not taken and
2403 it is not used in any other non-standard way. */
2405 bool
2406 cgraph_node::only_called_directly_p (void)
2408 gcc_assert (ultimate_alias_target () == this);
2409 return !call_for_symbol_and_aliases (cgraph_not_only_called_directly_p_1,
2410 NULL, true);
2414 /* Collect all callers of NODE. Worker for collect_callers_of_node. */
2416 static bool
2417 collect_callers_of_node_1 (cgraph_node *node, void *data)
2419 vec<cgraph_edge *> *redirect_callers = (vec<cgraph_edge *> *)data;
2420 cgraph_edge *cs;
2421 enum availability avail;
2422 node->ultimate_alias_target (&avail);
2424 if (avail > AVAIL_INTERPOSABLE)
2425 for (cs = node->callers; cs != NULL; cs = cs->next_caller)
2426 if (!cs->indirect_inlining_edge)
2427 redirect_callers->safe_push (cs);
2428 return false;
2431 /* Collect all callers of cgraph_node and its aliases that are known to lead to
2432 cgraph_node (i.e. are not overwritable). */
2434 vec<cgraph_edge *>
2435 cgraph_node::collect_callers (void)
2437 vec<cgraph_edge *> redirect_callers = vNULL;
2438 call_for_symbol_thunks_and_aliases (collect_callers_of_node_1,
2439 &redirect_callers, false);
2440 return redirect_callers;
2443 /* Return TRUE if NODE2 a clone of NODE or is equivalent to it. */
2445 static bool
2446 clone_of_p (cgraph_node *node, cgraph_node *node2)
2448 bool skipped_thunk = false;
2449 node = node->ultimate_alias_target ();
2450 node2 = node2->ultimate_alias_target ();
2452 /* There are no virtual clones of thunks so check former_clone_of or if we
2453 might have skipped thunks because this adjustments are no longer
2454 necessary. */
2455 while (node->thunk.thunk_p)
2457 if (node2->former_clone_of == node->decl)
2458 return true;
2459 if (!node->thunk.this_adjusting)
2460 return false;
2461 node = node->callees->callee->ultimate_alias_target ();
2462 skipped_thunk = true;
2465 if (skipped_thunk)
2467 if (!node2->clone.args_to_skip
2468 || !bitmap_bit_p (node2->clone.args_to_skip, 0))
2469 return false;
2470 if (node2->former_clone_of == node->decl)
2471 return true;
2472 else if (!node2->clone_of)
2473 return false;
2476 while (node != node2 && node2)
2477 node2 = node2->clone_of;
2478 return node2 != NULL;
2481 /* Verify edge E count and frequency. */
2483 static bool
2484 verify_edge_count_and_frequency (cgraph_edge *e)
2486 bool error_found = false;
2487 if (e->count < 0)
2489 error ("caller edge count is negative");
2490 error_found = true;
2492 if (e->frequency < 0)
2494 error ("caller edge frequency is negative");
2495 error_found = true;
2497 if (e->frequency > CGRAPH_FREQ_MAX)
2499 error ("caller edge frequency is too large");
2500 error_found = true;
2502 if (gimple_has_body_p (e->caller->decl)
2503 && !e->caller->global.inlined_to
2504 && !e->speculative
2505 /* FIXME: Inline-analysis sets frequency to 0 when edge is optimized out.
2506 Remove this once edges are actually removed from the function at that time. */
2507 && (e->frequency
2508 || (inline_edge_summary_vec.exists ()
2509 && ((inline_edge_summary_vec.length () <= (unsigned) e->uid)
2510 || !inline_edge_summary (e)->predicate)))
2511 && (e->frequency
2512 != compute_call_stmt_bb_frequency (e->caller->decl,
2513 gimple_bb (e->call_stmt))))
2515 error ("caller edge frequency %i does not match BB frequency %i",
2516 e->frequency,
2517 compute_call_stmt_bb_frequency (e->caller->decl,
2518 gimple_bb (e->call_stmt)));
2519 error_found = true;
2521 return error_found;
2524 /* Switch to THIS_CFUN if needed and print STMT to stderr. */
2525 static void
2526 cgraph_debug_gimple_stmt (function *this_cfun, gimple stmt)
2528 bool fndecl_was_null = false;
2529 /* debug_gimple_stmt needs correct cfun */
2530 if (cfun != this_cfun)
2531 set_cfun (this_cfun);
2532 /* ...and an actual current_function_decl */
2533 if (!current_function_decl)
2535 current_function_decl = this_cfun->decl;
2536 fndecl_was_null = true;
2538 debug_gimple_stmt (stmt);
2539 if (fndecl_was_null)
2540 current_function_decl = NULL;
2543 /* Verify that call graph edge E corresponds to DECL from the associated
2544 statement. Return true if the verification should fail. */
2546 static bool
2547 verify_edge_corresponds_to_fndecl (cgraph_edge *e, tree decl)
2549 cgraph_node *node;
2551 if (!decl || e->callee->global.inlined_to)
2552 return false;
2553 if (symtab->state == LTO_STREAMING)
2554 return false;
2555 node = cgraph_node::get (decl);
2557 /* We do not know if a node from a different partition is an alias or what it
2558 aliases and therefore cannot do the former_clone_of check reliably. When
2559 body_removed is set, we have lost all information about what was alias or
2560 thunk of and also cannot proceed. */
2561 if (!node
2562 || node->body_removed
2563 || node->in_other_partition
2564 || e->callee->in_other_partition)
2565 return false;
2567 node = node->ultimate_alias_target ();
2569 /* Optimizers can redirect unreachable calls or calls triggering undefined
2570 behaviour to builtin_unreachable. */
2571 if (DECL_BUILT_IN_CLASS (e->callee->decl) == BUILT_IN_NORMAL
2572 && DECL_FUNCTION_CODE (e->callee->decl) == BUILT_IN_UNREACHABLE)
2573 return false;
2575 if (e->callee->former_clone_of != node->decl
2576 && (node != e->callee->ultimate_alias_target ())
2577 && !clone_of_p (node, e->callee))
2578 return true;
2579 else
2580 return false;
2583 /* Verify cgraph nodes of given cgraph node. */
2584 DEBUG_FUNCTION void
2585 cgraph_node::verify_node (void)
2587 cgraph_edge *e;
2588 function *this_cfun = DECL_STRUCT_FUNCTION (decl);
2589 basic_block this_block;
2590 gimple_stmt_iterator gsi;
2591 bool error_found = false;
2593 if (seen_error ())
2594 return;
2596 timevar_push (TV_CGRAPH_VERIFY);
2597 error_found |= verify_base ();
2598 for (e = callees; e; e = e->next_callee)
2599 if (e->aux)
2601 error ("aux field set for edge %s->%s",
2602 identifier_to_locale (e->caller->name ()),
2603 identifier_to_locale (e->callee->name ()));
2604 error_found = true;
2606 if (count < 0)
2608 error ("execution count is negative");
2609 error_found = true;
2611 if (global.inlined_to && same_comdat_group)
2613 error ("inline clone in same comdat group list");
2614 error_found = true;
2616 if (!definition && !in_other_partition && local.local)
2618 error ("local symbols must be defined");
2619 error_found = true;
2621 if (global.inlined_to && externally_visible)
2623 error ("externally visible inline clone");
2624 error_found = true;
2626 if (global.inlined_to && address_taken)
2628 error ("inline clone with address taken");
2629 error_found = true;
2631 if (global.inlined_to && force_output)
2633 error ("inline clone is forced to output");
2634 error_found = true;
2636 for (e = indirect_calls; e; e = e->next_callee)
2638 if (e->aux)
2640 error ("aux field set for indirect edge from %s",
2641 identifier_to_locale (e->caller->name ()));
2642 error_found = true;
2644 if (!e->indirect_unknown_callee
2645 || !e->indirect_info)
2647 error ("An indirect edge from %s is not marked as indirect or has "
2648 "associated indirect_info, the corresponding statement is: ",
2649 identifier_to_locale (e->caller->name ()));
2650 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2651 error_found = true;
2654 bool check_comdat = comdat_local_p ();
2655 for (e = callers; e; e = e->next_caller)
2657 if (verify_edge_count_and_frequency (e))
2658 error_found = true;
2659 if (check_comdat
2660 && !in_same_comdat_group_p (e->caller))
2662 error ("comdat-local function called by %s outside its comdat",
2663 identifier_to_locale (e->caller->name ()));
2664 error_found = true;
2666 if (!e->inline_failed)
2668 if (global.inlined_to
2669 != (e->caller->global.inlined_to
2670 ? e->caller->global.inlined_to : e->caller))
2672 error ("inlined_to pointer is wrong");
2673 error_found = true;
2675 if (callers->next_caller)
2677 error ("multiple inline callers");
2678 error_found = true;
2681 else
2682 if (global.inlined_to)
2684 error ("inlined_to pointer set for noninline callers");
2685 error_found = true;
2688 for (e = indirect_calls; e; e = e->next_callee)
2689 if (verify_edge_count_and_frequency (e))
2690 error_found = true;
2691 if (!callers && global.inlined_to)
2693 error ("inlined_to pointer is set but no predecessors found");
2694 error_found = true;
2696 if (global.inlined_to == this)
2698 error ("inlined_to pointer refers to itself");
2699 error_found = true;
2702 if (clone_of)
2704 cgraph_node *n;
2705 for (n = clone_of->clones; n; n = n->next_sibling_clone)
2706 if (n == this)
2707 break;
2708 if (!n)
2710 error ("cgraph_node has wrong clone_of");
2711 error_found = true;
2714 if (clones)
2716 cgraph_node *n;
2717 for (n = clones; n; n = n->next_sibling_clone)
2718 if (n->clone_of != this)
2719 break;
2720 if (n)
2722 error ("cgraph_node has wrong clone list");
2723 error_found = true;
2726 if ((prev_sibling_clone || next_sibling_clone) && !clone_of)
2728 error ("cgraph_node is in clone list but it is not clone");
2729 error_found = true;
2731 if (!prev_sibling_clone && clone_of && clone_of->clones != this)
2733 error ("cgraph_node has wrong prev_clone pointer");
2734 error_found = true;
2736 if (prev_sibling_clone && prev_sibling_clone->next_sibling_clone != this)
2738 error ("double linked list of clones corrupted");
2739 error_found = true;
2742 if (analyzed && alias)
2744 bool ref_found = false;
2745 int i;
2746 ipa_ref *ref = NULL;
2748 if (callees)
2750 error ("Alias has call edges");
2751 error_found = true;
2753 for (i = 0; iterate_reference (i, ref); i++)
2754 if (ref->use != IPA_REF_ALIAS)
2756 error ("Alias has non-alias reference");
2757 error_found = true;
2759 else if (ref_found)
2761 error ("Alias has more than one alias reference");
2762 error_found = true;
2764 else
2765 ref_found = true;
2766 if (!ref_found)
2768 error ("Analyzed alias has no reference");
2769 error_found = true;
2772 if (analyzed && thunk.thunk_p)
2774 if (!callees)
2776 error ("No edge out of thunk node");
2777 error_found = true;
2779 else if (callees->next_callee)
2781 error ("More than one edge out of thunk node");
2782 error_found = true;
2784 if (gimple_has_body_p (decl))
2786 error ("Thunk is not supposed to have body");
2787 error_found = true;
2790 else if (analyzed && gimple_has_body_p (decl)
2791 && !TREE_ASM_WRITTEN (decl)
2792 && (!DECL_EXTERNAL (decl) || global.inlined_to)
2793 && !flag_wpa)
2795 if (this_cfun->cfg)
2797 hash_set<gimple> stmts;
2798 int i;
2799 ipa_ref *ref = NULL;
2801 /* Reach the trees by walking over the CFG, and note the
2802 enclosing basic-blocks in the call edges. */
2803 FOR_EACH_BB_FN (this_block, this_cfun)
2805 for (gsi = gsi_start_phis (this_block);
2806 !gsi_end_p (gsi); gsi_next (&gsi))
2807 stmts.add (gsi_stmt (gsi));
2808 for (gsi = gsi_start_bb (this_block);
2809 !gsi_end_p (gsi);
2810 gsi_next (&gsi))
2812 gimple stmt = gsi_stmt (gsi);
2813 stmts.add (stmt);
2814 if (is_gimple_call (stmt))
2816 cgraph_edge *e = get_edge (stmt);
2817 tree decl = gimple_call_fndecl (stmt);
2818 if (e)
2820 if (e->aux)
2822 error ("shared call_stmt:");
2823 cgraph_debug_gimple_stmt (this_cfun, stmt);
2824 error_found = true;
2826 if (!e->indirect_unknown_callee)
2828 if (verify_edge_corresponds_to_fndecl (e, decl))
2830 error ("edge points to wrong declaration:");
2831 debug_tree (e->callee->decl);
2832 fprintf (stderr," Instead of:");
2833 debug_tree (decl);
2834 error_found = true;
2837 else if (decl)
2839 error ("an indirect edge with unknown callee "
2840 "corresponding to a call_stmt with "
2841 "a known declaration:");
2842 error_found = true;
2843 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2845 e->aux = (void *)1;
2847 else if (decl)
2849 error ("missing callgraph edge for call stmt:");
2850 cgraph_debug_gimple_stmt (this_cfun, stmt);
2851 error_found = true;
2856 for (i = 0; iterate_reference (i, ref); i++)
2857 if (ref->stmt && !stmts.contains (ref->stmt))
2859 error ("reference to dead statement");
2860 cgraph_debug_gimple_stmt (this_cfun, ref->stmt);
2861 error_found = true;
2864 else
2865 /* No CFG available?! */
2866 gcc_unreachable ();
2868 for (e = callees; e; e = e->next_callee)
2870 if (!e->aux)
2872 error ("edge %s->%s has no corresponding call_stmt",
2873 identifier_to_locale (e->caller->name ()),
2874 identifier_to_locale (e->callee->name ()));
2875 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2876 error_found = true;
2878 e->aux = 0;
2880 for (e = indirect_calls; e; e = e->next_callee)
2882 if (!e->aux && !e->speculative)
2884 error ("an indirect edge from %s has no corresponding call_stmt",
2885 identifier_to_locale (e->caller->name ()));
2886 cgraph_debug_gimple_stmt (this_cfun, e->call_stmt);
2887 error_found = true;
2889 e->aux = 0;
2892 if (error_found)
2894 dump (stderr);
2895 internal_error ("verify_cgraph_node failed");
2897 timevar_pop (TV_CGRAPH_VERIFY);
2900 /* Verify whole cgraph structure. */
2901 DEBUG_FUNCTION void
2902 cgraph_node::verify_cgraph_nodes (void)
2904 cgraph_node *node;
2906 if (seen_error ())
2907 return;
2909 FOR_EACH_FUNCTION (node)
2910 node->verify ();
2913 /* Walk the alias chain to return the function cgraph_node is alias of.
2914 Walk through thunk, too.
2915 When AVAILABILITY is non-NULL, get minimal availability in the chain. */
2917 cgraph_node *
2918 cgraph_node::function_symbol (enum availability *availability)
2920 cgraph_node *node = this;
2924 node = node->ultimate_alias_target (availability);
2925 if (node->thunk.thunk_p)
2927 node = node->callees->callee;
2928 if (availability)
2930 enum availability a;
2931 a = node->get_availability ();
2932 if (a < *availability)
2933 *availability = a;
2935 node = node->ultimate_alias_target (availability);
2937 } while (node && node->thunk.thunk_p);
2938 return node;
2941 /* When doing LTO, read cgraph_node's body from disk if it is not already
2942 present. */
2944 bool
2945 cgraph_node::get_body (void)
2947 lto_file_decl_data *file_data;
2948 const char *data, *name;
2949 size_t len;
2950 tree decl = this->decl;
2952 if (DECL_RESULT (decl))
2953 return false;
2955 gcc_assert (in_lto_p);
2957 timevar_push (TV_IPA_LTO_GIMPLE_IN);
2959 file_data = lto_file_data;
2960 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
2962 /* We may have renamed the declaration, e.g., a static function. */
2963 name = lto_get_decl_name_mapping (file_data, name);
2965 data = lto_get_section_data (file_data, LTO_section_function_body,
2966 name, &len);
2967 if (!data)
2968 fatal_error ("%s: section %s is missing",
2969 file_data->file_name,
2970 name);
2972 gcc_assert (DECL_STRUCT_FUNCTION (decl) == NULL);
2974 lto_input_function_body (file_data, this, data);
2975 lto_stats.num_function_bodies++;
2976 lto_free_section_data (file_data, LTO_section_function_body, name,
2977 data, len);
2978 lto_free_function_in_decl_state_for_node (this);
2980 timevar_pop (TV_IPA_LTO_GIMPLE_IN);
2982 return true;
2985 /* Return the DECL_STRUCT_FUNCTION of the function. */
2987 struct function *
2988 cgraph_node::get_fun (void)
2990 cgraph_node *node = this;
2991 struct function *fun = DECL_STRUCT_FUNCTION (node->decl);
2993 while (!fun && node->clone_of)
2995 node = node->clone_of;
2996 fun = DECL_STRUCT_FUNCTION (node->decl);
2999 return fun;
3002 /* Verify if the type of the argument matches that of the function
3003 declaration. If we cannot verify this or there is a mismatch,
3004 return false. */
3006 static bool
3007 gimple_check_call_args (gimple stmt, tree fndecl, bool args_count_match)
3009 tree parms, p;
3010 unsigned int i, nargs;
3012 /* Calls to internal functions always match their signature. */
3013 if (gimple_call_internal_p (stmt))
3014 return true;
3016 nargs = gimple_call_num_args (stmt);
3018 /* Get argument types for verification. */
3019 if (fndecl)
3020 parms = TYPE_ARG_TYPES (TREE_TYPE (fndecl));
3021 else
3022 parms = TYPE_ARG_TYPES (gimple_call_fntype (stmt));
3024 /* Verify if the type of the argument matches that of the function
3025 declaration. If we cannot verify this or there is a mismatch,
3026 return false. */
3027 if (fndecl && DECL_ARGUMENTS (fndecl))
3029 for (i = 0, p = DECL_ARGUMENTS (fndecl);
3030 i < nargs;
3031 i++, p = DECL_CHAIN (p))
3033 tree arg;
3034 /* We cannot distinguish a varargs function from the case
3035 of excess parameters, still deferring the inlining decision
3036 to the callee is possible. */
3037 if (!p)
3038 break;
3039 arg = gimple_call_arg (stmt, i);
3040 if (p == error_mark_node
3041 || DECL_ARG_TYPE (p) == error_mark_node
3042 || arg == error_mark_node
3043 || (!types_compatible_p (DECL_ARG_TYPE (p), TREE_TYPE (arg))
3044 && !fold_convertible_p (DECL_ARG_TYPE (p), arg)))
3045 return false;
3047 if (args_count_match && p)
3048 return false;
3050 else if (parms)
3052 for (i = 0, p = parms; i < nargs; i++, p = TREE_CHAIN (p))
3054 tree arg;
3055 /* If this is a varargs function defer inlining decision
3056 to callee. */
3057 if (!p)
3058 break;
3059 arg = gimple_call_arg (stmt, i);
3060 if (TREE_VALUE (p) == error_mark_node
3061 || arg == error_mark_node
3062 || TREE_CODE (TREE_VALUE (p)) == VOID_TYPE
3063 || (!types_compatible_p (TREE_VALUE (p), TREE_TYPE (arg))
3064 && !fold_convertible_p (TREE_VALUE (p), arg)))
3065 return false;
3068 else
3070 if (nargs != 0)
3071 return false;
3073 return true;
3076 /* Verify if the type of the argument and lhs of CALL_STMT matches
3077 that of the function declaration CALLEE. If ARGS_COUNT_MATCH is
3078 true, the arg count needs to be the same.
3079 If we cannot verify this or there is a mismatch, return false. */
3081 bool
3082 gimple_check_call_matching_types (gimple call_stmt, tree callee,
3083 bool args_count_match)
3085 tree lhs;
3087 if ((DECL_RESULT (callee)
3088 && !DECL_BY_REFERENCE (DECL_RESULT (callee))
3089 && (lhs = gimple_call_lhs (call_stmt)) != NULL_TREE
3090 && !useless_type_conversion_p (TREE_TYPE (DECL_RESULT (callee)),
3091 TREE_TYPE (lhs))
3092 && !fold_convertible_p (TREE_TYPE (DECL_RESULT (callee)), lhs))
3093 || !gimple_check_call_args (call_stmt, callee, args_count_match))
3094 return false;
3095 return true;
3098 #include "gt-cgraph.h"