1 /* Callgraph construction.
2 Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
3 Free Software Foundation, Inc.
4 Contributed by Jan Hubicka
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
24 #include "coretypes.h"
27 #include "tree-flow.h"
28 #include "langhooks.h"
29 #include "pointer-set.h"
33 #include "tree-pass.h"
34 #include "ipa-utils.h"
36 #include "ipa-inline.h"
38 /* Context of record_reference. */
39 struct record_reference_ctx
42 struct varpool_node
*varpool_node
;
45 /* Walk tree and record all calls and references to functions/variables.
46 Called via walk_tree: TP is pointer to tree to be examined.
47 When DATA is non-null, record references to callgraph.
51 record_reference (tree
*tp
, int *walk_subtrees
, void *data
)
55 struct record_reference_ctx
*ctx
= (struct record_reference_ctx
*)data
;
57 t
= canonicalize_constructor_val (t
);
63 switch (TREE_CODE (t
))
72 /* Record dereferences to the functions. This makes the
73 functions reachable unconditionally. */
74 decl
= get_base_var (*tp
);
75 if (TREE_CODE (decl
) == FUNCTION_DECL
)
77 struct cgraph_node
*node
= cgraph_get_create_node (decl
);
79 cgraph_mark_address_taken_node (node
);
80 ipa_record_reference (NULL
, ctx
->varpool_node
, node
, NULL
,
84 if (TREE_CODE (decl
) == VAR_DECL
)
86 struct varpool_node
*vnode
= varpool_node (decl
);
87 if (lang_hooks
.callgraph
.analyze_expr
)
88 lang_hooks
.callgraph
.analyze_expr (&decl
, walk_subtrees
);
89 varpool_mark_needed_node (vnode
);
90 ipa_record_reference (NULL
, ctx
->varpool_node
,
98 /* Save some cycles by not walking types and declaration as we
99 won't find anything useful there anyway. */
100 if (IS_TYPE_OR_DECL_P (*tp
))
106 if ((unsigned int) TREE_CODE (t
) >= LAST_AND_UNUSED_TREE_CODE
)
107 return lang_hooks
.callgraph
.analyze_expr (tp
, walk_subtrees
);
114 /* Record references to typeinfos in the type list LIST. */
117 record_type_list (struct cgraph_node
*node
, tree list
)
119 for (; list
; list
= TREE_CHAIN (list
))
121 tree type
= TREE_VALUE (list
);
124 type
= lookup_type_for_runtime (type
);
126 if (TREE_CODE (type
) == ADDR_EXPR
)
128 type
= TREE_OPERAND (type
, 0);
129 if (TREE_CODE (type
) == VAR_DECL
)
131 struct varpool_node
*vnode
= varpool_node (type
);
132 varpool_mark_needed_node (vnode
);
133 ipa_record_reference (node
, NULL
,
141 /* Record all references we will introduce by producing EH tables
145 record_eh_tables (struct cgraph_node
*node
, struct function
*fun
)
149 if (DECL_FUNCTION_PERSONALITY (node
->decl
))
151 struct cgraph_node
*per_node
;
153 per_node
= cgraph_get_create_node (DECL_FUNCTION_PERSONALITY (node
->decl
));
154 ipa_record_reference (node
, NULL
, per_node
, NULL
, IPA_REF_ADDR
, NULL
);
155 cgraph_mark_address_taken_node (per_node
);
158 i
= fun
->eh
->region_tree
;
167 case ERT_MUST_NOT_THROW
:
173 for (c
= i
->u
.eh_try
.first_catch
; c
; c
= c
->next_catch
)
174 record_type_list (node
, c
->type_list
);
178 case ERT_ALLOWED_EXCEPTIONS
:
179 record_type_list (node
, i
->u
.allowed
.type_list
);
182 /* If there are sub-regions, process them. */
185 /* If there are peers, process them. */
186 else if (i
->next_peer
)
188 /* Otherwise, step back up the tree to the next peer. */
197 while (i
->next_peer
== NULL
);
203 /* Reset inlining information of all incoming call edges of NODE. */
206 reset_inline_failed (struct cgraph_node
*node
)
208 struct cgraph_edge
*e
;
210 for (e
= node
->callers
; e
; e
= e
->next_caller
)
212 e
->callee
->global
.inlined_to
= NULL
;
213 initialize_inline_failed (e
);
217 /* Computes the frequency of the call statement so that it can be stored in
218 cgraph_edge. BB is the basic block of the call statement. */
220 compute_call_stmt_bb_frequency (tree decl
, basic_block bb
)
222 int entry_freq
= ENTRY_BLOCK_PTR_FOR_FUNCTION
223 (DECL_STRUCT_FUNCTION (decl
))->frequency
;
224 int freq
= bb
->frequency
;
226 if (profile_status_for_function (DECL_STRUCT_FUNCTION (decl
)) == PROFILE_ABSENT
)
227 return CGRAPH_FREQ_BASE
;
230 entry_freq
= 1, freq
++;
232 freq
= freq
* CGRAPH_FREQ_BASE
/ entry_freq
;
233 if (freq
> CGRAPH_FREQ_MAX
)
234 freq
= CGRAPH_FREQ_MAX
;
239 /* Mark address taken in STMT. */
242 mark_address (gimple stmt
, tree addr
, void *data
)
244 addr
= get_base_address (addr
);
245 if (TREE_CODE (addr
) == FUNCTION_DECL
)
247 struct cgraph_node
*node
= cgraph_get_create_node (addr
);
248 cgraph_mark_address_taken_node (node
);
249 ipa_record_reference ((struct cgraph_node
*)data
, NULL
,
253 else if (addr
&& TREE_CODE (addr
) == VAR_DECL
254 && (TREE_STATIC (addr
) || DECL_EXTERNAL (addr
)))
256 struct varpool_node
*vnode
= varpool_node (addr
);
259 if (lang_hooks
.callgraph
.analyze_expr
)
260 lang_hooks
.callgraph
.analyze_expr (&addr
, &walk_subtrees
);
261 varpool_mark_needed_node (vnode
);
262 ipa_record_reference ((struct cgraph_node
*)data
, NULL
,
270 /* Mark load of T. */
273 mark_load (gimple stmt
, tree t
, void *data
)
275 t
= get_base_address (t
);
276 if (t
&& TREE_CODE (t
) == FUNCTION_DECL
)
278 /* ??? This can happen on platforms with descriptors when these are
279 directly manipulated in the code. Pretend that it's an address. */
280 struct cgraph_node
*node
= cgraph_get_create_node (t
);
281 cgraph_mark_address_taken_node (node
);
282 ipa_record_reference ((struct cgraph_node
*)data
, NULL
,
286 else if (t
&& TREE_CODE (t
) == VAR_DECL
287 && (TREE_STATIC (t
) || DECL_EXTERNAL (t
)))
289 struct varpool_node
*vnode
= varpool_node (t
);
292 if (lang_hooks
.callgraph
.analyze_expr
)
293 lang_hooks
.callgraph
.analyze_expr (&t
, &walk_subtrees
);
294 varpool_mark_needed_node (vnode
);
295 ipa_record_reference ((struct cgraph_node
*)data
, NULL
,
302 /* Mark store of T. */
305 mark_store (gimple stmt
, tree t
, void *data
)
307 t
= get_base_address (t
);
308 if (t
&& TREE_CODE (t
) == VAR_DECL
309 && (TREE_STATIC (t
) || DECL_EXTERNAL (t
)))
311 struct varpool_node
*vnode
= varpool_node (t
);
314 if (lang_hooks
.callgraph
.analyze_expr
)
315 lang_hooks
.callgraph
.analyze_expr (&t
, &walk_subtrees
);
316 varpool_mark_needed_node (vnode
);
317 ipa_record_reference ((struct cgraph_node
*)data
, NULL
,
319 IPA_REF_STORE
, stmt
);
324 /* Create cgraph edges for function calls.
325 Also look for functions and variables having addresses taken. */
328 build_cgraph_edges (void)
331 struct cgraph_node
*node
= cgraph_get_node (current_function_decl
);
332 struct pointer_set_t
*visited_nodes
= pointer_set_create ();
333 gimple_stmt_iterator gsi
;
337 /* Create the callgraph edges and record the nodes referenced by the function.
341 for (gsi
= gsi_start_bb (bb
); !gsi_end_p (gsi
); gsi_next (&gsi
))
343 gimple stmt
= gsi_stmt (gsi
);
346 if (is_gimple_call (stmt
))
348 int freq
= compute_call_stmt_bb_frequency (current_function_decl
,
350 decl
= gimple_call_fndecl (stmt
);
352 cgraph_create_edge (node
, cgraph_get_create_node (decl
),
353 stmt
, bb
->count
, freq
);
355 cgraph_create_indirect_edge (node
, stmt
,
356 gimple_call_flags (stmt
),
359 walk_stmt_load_store_addr_ops (stmt
, node
, mark_load
,
360 mark_store
, mark_address
);
361 if (gimple_code (stmt
) == GIMPLE_OMP_PARALLEL
362 && gimple_omp_parallel_child_fn (stmt
))
364 tree fn
= gimple_omp_parallel_child_fn (stmt
);
365 ipa_record_reference (node
, NULL
, cgraph_get_create_node (fn
),
366 NULL
, IPA_REF_ADDR
, stmt
);
368 if (gimple_code (stmt
) == GIMPLE_OMP_TASK
)
370 tree fn
= gimple_omp_task_child_fn (stmt
);
372 ipa_record_reference (node
, NULL
, cgraph_get_create_node (fn
),
373 NULL
, IPA_REF_ADDR
, stmt
);
374 fn
= gimple_omp_task_copy_fn (stmt
);
376 ipa_record_reference (node
, NULL
, cgraph_get_create_node (fn
),
377 NULL
, IPA_REF_ADDR
, stmt
);
380 for (gsi
= gsi_start (phi_nodes (bb
)); !gsi_end_p (gsi
); gsi_next (&gsi
))
381 walk_stmt_load_store_addr_ops (gsi_stmt (gsi
), node
,
382 mark_load
, mark_store
, mark_address
);
385 /* Look for initializers of constant variables and private statics. */
386 FOR_EACH_LOCAL_DECL (cfun
, ix
, decl
)
387 if (TREE_CODE (decl
) == VAR_DECL
388 && (TREE_STATIC (decl
) && !DECL_EXTERNAL (decl
)))
389 varpool_finalize_decl (decl
);
390 record_eh_tables (node
, cfun
);
392 pointer_set_destroy (visited_nodes
);
396 struct gimple_opt_pass pass_build_cgraph_edges
=
400 "*build_cgraph_edges", /* name */
402 build_cgraph_edges
, /* execute */
405 0, /* static_pass_number */
407 PROP_cfg
, /* properties_required */
408 0, /* properties_provided */
409 0, /* properties_destroyed */
410 0, /* todo_flags_start */
411 0 /* todo_flags_finish */
415 /* Record references to functions and other variables present in the
416 initial value of DECL, a variable.
417 When ONLY_VARS is true, we mark needed only variables, not functions. */
420 record_references_in_initializer (tree decl
, bool only_vars
)
422 struct pointer_set_t
*visited_nodes
= pointer_set_create ();
423 struct varpool_node
*node
= varpool_node (decl
);
424 struct record_reference_ctx ctx
= {false, NULL
};
426 ctx
.varpool_node
= node
;
427 ctx
.only_vars
= only_vars
;
428 walk_tree (&DECL_INITIAL (decl
), record_reference
,
429 &ctx
, visited_nodes
);
430 pointer_set_destroy (visited_nodes
);
433 /* Rebuild cgraph edges for current function node. This needs to be run after
434 passes that don't update the cgraph. */
437 rebuild_cgraph_edges (void)
440 struct cgraph_node
*node
= cgraph_get_node (current_function_decl
);
441 gimple_stmt_iterator gsi
;
443 cgraph_node_remove_callees (node
);
444 ipa_remove_all_references (&node
->ref_list
);
446 node
->count
= ENTRY_BLOCK_PTR
->count
;
450 for (gsi
= gsi_start_bb (bb
); !gsi_end_p (gsi
); gsi_next (&gsi
))
452 gimple stmt
= gsi_stmt (gsi
);
455 if (is_gimple_call (stmt
))
457 int freq
= compute_call_stmt_bb_frequency (current_function_decl
,
459 decl
= gimple_call_fndecl (stmt
);
461 cgraph_create_edge (node
, cgraph_get_create_node (decl
), stmt
,
464 cgraph_create_indirect_edge (node
, stmt
,
465 gimple_call_flags (stmt
),
468 walk_stmt_load_store_addr_ops (stmt
, node
, mark_load
,
469 mark_store
, mark_address
);
472 for (gsi
= gsi_start (phi_nodes (bb
)); !gsi_end_p (gsi
); gsi_next (&gsi
))
473 walk_stmt_load_store_addr_ops (gsi_stmt (gsi
), node
,
474 mark_load
, mark_store
, mark_address
);
476 record_eh_tables (node
, cfun
);
477 gcc_assert (!node
->global
.inlined_to
);
482 /* Rebuild cgraph edges for current function node. This needs to be run after
483 passes that don't update the cgraph. */
486 cgraph_rebuild_references (void)
489 struct cgraph_node
*node
= cgraph_get_node (current_function_decl
);
490 gimple_stmt_iterator gsi
;
492 ipa_remove_all_references (&node
->ref_list
);
494 node
->count
= ENTRY_BLOCK_PTR
->count
;
498 for (gsi
= gsi_start_bb (bb
); !gsi_end_p (gsi
); gsi_next (&gsi
))
500 gimple stmt
= gsi_stmt (gsi
);
502 walk_stmt_load_store_addr_ops (stmt
, node
, mark_load
,
503 mark_store
, mark_address
);
506 for (gsi
= gsi_start (phi_nodes (bb
)); !gsi_end_p (gsi
); gsi_next (&gsi
))
507 walk_stmt_load_store_addr_ops (gsi_stmt (gsi
), node
,
508 mark_load
, mark_store
, mark_address
);
510 record_eh_tables (node
, cfun
);
513 struct gimple_opt_pass pass_rebuild_cgraph_edges
=
517 "*rebuild_cgraph_edges", /* name */
519 rebuild_cgraph_edges
, /* execute */
522 0, /* static_pass_number */
523 TV_CGRAPH
, /* tv_id */
524 PROP_cfg
, /* properties_required */
525 0, /* properties_provided */
526 0, /* properties_destroyed */
527 0, /* todo_flags_start */
528 0, /* todo_flags_finish */
534 remove_cgraph_callee_edges (void)
536 cgraph_node_remove_callees (cgraph_get_node (current_function_decl
));
540 struct gimple_opt_pass pass_remove_cgraph_callee_edges
=
544 "*remove_cgraph_callee_edges", /* name */
546 remove_cgraph_callee_edges
, /* execute */
549 0, /* static_pass_number */
551 0, /* properties_required */
552 0, /* properties_provided */
553 0, /* properties_destroyed */
554 0, /* todo_flags_start */
555 0, /* todo_flags_finish */