]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/cgraphbuild.c
Zero-initialize pass_manager
[thirdparty/gcc.git] / gcc / cgraphbuild.c
CommitLineData
2dee695b 1/* Callgraph construction.
d1e082c2 2 Copyright (C) 2003-2013 Free Software Foundation, Inc.
2dee695b
JH
3 Contributed by Jan Hubicka
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9dcd6f09 9Software Foundation; either version 3, or (at your option) any later
2dee695b
JH
10version.
11
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
16
17You should have received a copy of the GNU General Public License
9dcd6f09
NC
18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
2dee695b
JH
20
21#include "config.h"
22#include "system.h"
23#include "coretypes.h"
24#include "tm.h"
25#include "tree.h"
26#include "tree-flow.h"
27#include "langhooks.h"
28#include "pointer-set.h"
29#include "cgraph.h"
30#include "intl.h"
726a989a 31#include "gimple.h"
2dee695b 32#include "tree-pass.h"
85912441 33#include "ipa-utils.h"
de61f467 34#include "except.h"
e7f23018 35#include "ipa-inline.h"
85912441
JH
36
37/* Context of record_reference. */
38struct record_reference_ctx
39{
40 bool only_vars;
369451ec 41 struct varpool_node *varpool_node;
85912441 42};
2dee695b
JH
43
44/* Walk tree and record all calls and references to functions/variables.
b8698a0f 45 Called via walk_tree: TP is pointer to tree to be examined.
625f802c
JH
46 When DATA is non-null, record references to callgraph.
47 */
2dee695b
JH
48
49static tree
625f802c 50record_reference (tree *tp, int *walk_subtrees, void *data)
2dee695b
JH
51{
52 tree t = *tp;
7e8b322a 53 tree decl;
85912441 54 struct record_reference_ctx *ctx = (struct record_reference_ctx *)data;
2dee695b 55
c44c2088 56 t = canonicalize_constructor_val (t, NULL);
0038d4e0
MM
57 if (!t)
58 t = *tp;
59 else if (t != *tp)
60 *tp = t;
61
2dee695b
JH
62 switch (TREE_CODE (t))
63 {
64 case VAR_DECL:
85912441
JH
65 case FUNCTION_DECL:
66 gcc_unreachable ();
2dee695b
JH
67 break;
68
69 case FDESC_EXPR:
70 case ADDR_EXPR:
7e8b322a
JH
71 /* Record dereferences to the functions. This makes the
72 functions reachable unconditionally. */
85912441 73 decl = get_base_var (*tp);
369451ec
JH
74 if (TREE_CODE (decl) == FUNCTION_DECL)
75 {
48f4a6fa 76 struct cgraph_node *node = cgraph_get_create_real_symbol_node (decl);
369451ec 77 if (!ctx->only_vars)
a358e188 78 cgraph_mark_address_taken_node (node);
5932a4d4
JH
79 ipa_record_reference ((symtab_node)ctx->varpool_node,
80 (symtab_node)node,
369451ec
JH
81 IPA_REF_ADDR, NULL);
82 }
85912441
JH
83
84 if (TREE_CODE (decl) == VAR_DECL)
85 {
5d59b5e1 86 struct varpool_node *vnode = varpool_node_for_decl (decl);
5932a4d4
JH
87 ipa_record_reference ((symtab_node)ctx->varpool_node,
88 (symtab_node)vnode,
369451ec 89 IPA_REF_ADDR, NULL);
85912441
JH
90 }
91 *walk_subtrees = 0;
2dee695b
JH
92 break;
93
94 default:
95 /* Save some cycles by not walking types and declaration as we
96 won't find anything useful there anyway. */
97 if (IS_TYPE_OR_DECL_P (*tp))
98 {
99 *walk_subtrees = 0;
100 break;
101 }
2dee695b
JH
102 break;
103 }
104
105 return NULL_TREE;
106}
107
de61f467
JH
108/* Record references to typeinfos in the type list LIST. */
109
110static void
111record_type_list (struct cgraph_node *node, tree list)
112{
113 for (; list; list = TREE_CHAIN (list))
114 {
115 tree type = TREE_VALUE (list);
116
117 if (TYPE_P (type))
118 type = lookup_type_for_runtime (type);
119 STRIP_NOPS (type);
120 if (TREE_CODE (type) == ADDR_EXPR)
121 {
122 type = TREE_OPERAND (type, 0);
123 if (TREE_CODE (type) == VAR_DECL)
124 {
5d59b5e1 125 struct varpool_node *vnode = varpool_node_for_decl (type);
5932a4d4
JH
126 ipa_record_reference ((symtab_node)node,
127 (symtab_node)vnode,
de61f467
JH
128 IPA_REF_ADDR, NULL);
129 }
130 }
131 }
132}
133
134/* Record all references we will introduce by producing EH tables
135 for NODE. */
136
137static void
138record_eh_tables (struct cgraph_node *node, struct function *fun)
139{
140 eh_region i;
141
960bfb69 142 if (DECL_FUNCTION_PERSONALITY (node->symbol.decl))
9cf4fb5a
JH
143 {
144 struct cgraph_node *per_node;
145
48f4a6fa 146 per_node = cgraph_get_create_real_symbol_node (DECL_FUNCTION_PERSONALITY (node->symbol.decl));
5932a4d4 147 ipa_record_reference ((symtab_node)node, (symtab_node)per_node, IPA_REF_ADDR, NULL);
9cf4fb5a
JH
148 cgraph_mark_address_taken_node (per_node);
149 }
21d6a1c7 150
de61f467
JH
151 i = fun->eh->region_tree;
152 if (!i)
153 return;
154
155 while (1)
156 {
157 switch (i->type)
158 {
159 case ERT_CLEANUP:
160 case ERT_MUST_NOT_THROW:
161 break;
162
163 case ERT_TRY:
164 {
165 eh_catch c;
166 for (c = i->u.eh_try.first_catch; c; c = c->next_catch)
167 record_type_list (node, c->type_list);
168 }
169 break;
170
171 case ERT_ALLOWED_EXCEPTIONS:
172 record_type_list (node, i->u.allowed.type_list);
173 break;
174 }
175 /* If there are sub-regions, process them. */
176 if (i->inner)
177 i = i->inner;
178 /* If there are peers, process them. */
179 else if (i->next_peer)
180 i = i->next_peer;
181 /* Otherwise, step back up the tree to the next peer. */
182 else
183 {
184 do
185 {
186 i = i->outer;
187 if (i == NULL)
188 return;
189 }
190 while (i->next_peer == NULL);
191 i = i->next_peer;
192 }
193 }
194}
195
3e293154
MJ
196/* Computes the frequency of the call statement so that it can be stored in
197 cgraph_edge. BB is the basic block of the call statement. */
198int
9187e02d 199compute_call_stmt_bb_frequency (tree decl, basic_block bb)
3e293154 200{
0d63a740
JH
201 int entry_freq = ENTRY_BLOCK_PTR_FOR_FUNCTION
202 (DECL_STRUCT_FUNCTION (decl))->frequency;
c0ee0021 203 int freq = bb->frequency;
3e293154 204
9187e02d
JH
205 if (profile_status_for_function (DECL_STRUCT_FUNCTION (decl)) == PROFILE_ABSENT)
206 return CGRAPH_FREQ_BASE;
207
3e293154 208 if (!entry_freq)
c0ee0021 209 entry_freq = 1, freq++;
3e293154 210
c0ee0021 211 freq = freq * CGRAPH_FREQ_BASE / entry_freq;
3e293154
MJ
212 if (freq > CGRAPH_FREQ_MAX)
213 freq = CGRAPH_FREQ_MAX;
214
215 return freq;
216}
217
85912441
JH
218/* Mark address taken in STMT. */
219
220static bool
3ebb5ca6 221mark_address (gimple stmt, tree addr, void *data)
85912441 222{
e9615971 223 addr = get_base_address (addr);
85912441
JH
224 if (TREE_CODE (addr) == FUNCTION_DECL)
225 {
48f4a6fa 226 struct cgraph_node *node = cgraph_get_create_real_symbol_node (addr);
85912441 227 cgraph_mark_address_taken_node (node);
5932a4d4
JH
228 ipa_record_reference ((symtab_node)data,
229 (symtab_node)node,
369451ec 230 IPA_REF_ADDR, stmt);
85912441 231 }
e9615971
RG
232 else if (addr && TREE_CODE (addr) == VAR_DECL
233 && (TREE_STATIC (addr) || DECL_EXTERNAL (addr)))
85912441 234 {
5d59b5e1 235 struct varpool_node *vnode = varpool_node_for_decl (addr);
85912441 236
5932a4d4
JH
237 ipa_record_reference ((symtab_node)data,
238 (symtab_node)vnode,
e9615971 239 IPA_REF_ADDR, stmt);
85912441
JH
240 }
241
242 return false;
243}
244
245/* Mark load of T. */
246
247static bool
3ebb5ca6 248mark_load (gimple stmt, tree t, void *data)
85912441
JH
249{
250 t = get_base_address (t);
3ebb5ca6
EB
251 if (t && TREE_CODE (t) == FUNCTION_DECL)
252 {
253 /* ??? This can happen on platforms with descriptors when these are
254 directly manipulated in the code. Pretend that it's an address. */
48f4a6fa 255 struct cgraph_node *node = cgraph_get_create_real_symbol_node (t);
3ebb5ca6 256 cgraph_mark_address_taken_node (node);
5932a4d4
JH
257 ipa_record_reference ((symtab_node)data,
258 (symtab_node)node,
3ebb5ca6
EB
259 IPA_REF_ADDR, stmt);
260 }
261 else if (t && TREE_CODE (t) == VAR_DECL
262 && (TREE_STATIC (t) || DECL_EXTERNAL (t)))
85912441 263 {
5d59b5e1 264 struct varpool_node *vnode = varpool_node_for_decl (t);
85912441 265
5932a4d4
JH
266 ipa_record_reference ((symtab_node)data,
267 (symtab_node)vnode,
369451ec 268 IPA_REF_LOAD, stmt);
85912441
JH
269 }
270 return false;
271}
272
273/* Mark store of T. */
274
275static bool
3ebb5ca6 276mark_store (gimple stmt, tree t, void *data)
85912441
JH
277{
278 t = get_base_address (t);
70f34814 279 if (t && TREE_CODE (t) == VAR_DECL
85912441
JH
280 && (TREE_STATIC (t) || DECL_EXTERNAL (t)))
281 {
5d59b5e1 282 struct varpool_node *vnode = varpool_node_for_decl (t);
85912441 283
5932a4d4
JH
284 ipa_record_reference ((symtab_node)data,
285 (symtab_node)vnode,
3ebb5ca6 286 IPA_REF_STORE, stmt);
85912441
JH
287 }
288 return false;
289}
290
82338059
MJ
291/* Record all references from NODE that are taken in statement STMT. */
292void
293ipa_record_stmt_references (struct cgraph_node *node, gimple stmt)
294{
295 walk_stmt_load_store_addr_ops (stmt, node, mark_load, mark_store,
296 mark_address);
297}
298
2dee695b
JH
299/* Create cgraph edges for function calls.
300 Also look for functions and variables having addresses taken. */
301
302static unsigned int
303build_cgraph_edges (void)
304{
305 basic_block bb;
581985d7 306 struct cgraph_node *node = cgraph_get_node (current_function_decl);
2dee695b 307 struct pointer_set_t *visited_nodes = pointer_set_create ();
726a989a 308 gimple_stmt_iterator gsi;
c021f10b
NF
309 tree decl;
310 unsigned ix;
2dee695b
JH
311
312 /* Create the callgraph edges and record the nodes referenced by the function.
313 body. */
314 FOR_EACH_BB (bb)
85912441
JH
315 {
316 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
317 {
318 gimple stmt = gsi_stmt (gsi);
319 tree decl;
320
5f902d76
JH
321 if (is_gimple_call (stmt))
322 {
323 int freq = compute_call_stmt_bb_frequency (current_function_decl,
324 bb);
325 decl = gimple_call_fndecl (stmt);
326 if (decl)
a358e188 327 cgraph_create_edge (node, cgraph_get_create_node (decl),
898b8927 328 stmt, bb->count, freq);
5f902d76
JH
329 else
330 cgraph_create_indirect_edge (node, stmt,
331 gimple_call_flags (stmt),
898b8927 332 bb->count, freq);
5f902d76 333 }
82338059 334 ipa_record_stmt_references (node, stmt);
85912441
JH
335 if (gimple_code (stmt) == GIMPLE_OMP_PARALLEL
336 && gimple_omp_parallel_child_fn (stmt))
337 {
338 tree fn = gimple_omp_parallel_child_fn (stmt);
5932a4d4 339 ipa_record_reference ((symtab_node)node,
48f4a6fa 340 (symtab_node)cgraph_get_create_real_symbol_node (fn),
5932a4d4 341 IPA_REF_ADDR, stmt);
85912441
JH
342 }
343 if (gimple_code (stmt) == GIMPLE_OMP_TASK)
344 {
345 tree fn = gimple_omp_task_child_fn (stmt);
346 if (fn)
5932a4d4 347 ipa_record_reference ((symtab_node)node,
48f4a6fa 348 (symtab_node) cgraph_get_create_real_symbol_node (fn),
5932a4d4 349 IPA_REF_ADDR, stmt);
85912441
JH
350 fn = gimple_omp_task_copy_fn (stmt);
351 if (fn)
5932a4d4 352 ipa_record_reference ((symtab_node)node,
48f4a6fa 353 (symtab_node)cgraph_get_create_real_symbol_node (fn),
5932a4d4 354 IPA_REF_ADDR, stmt);
85912441
JH
355 }
356 }
355a7673 357 for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
82338059 358 ipa_record_stmt_references (node, gsi_stmt (gsi));
85912441 359 }
2dee695b
JH
360
361 /* Look for initializers of constant variables and private statics. */
c021f10b
NF
362 FOR_EACH_LOCAL_DECL (cfun, ix, decl)
363 if (TREE_CODE (decl) == VAR_DECL
0d6bf48c
JH
364 && (TREE_STATIC (decl) && !DECL_EXTERNAL (decl))
365 && !DECL_HAS_VALUE_EXPR_P (decl))
c021f10b 366 varpool_finalize_decl (decl);
de61f467 367 record_eh_tables (node, cfun);
2dee695b
JH
368
369 pointer_set_destroy (visited_nodes);
2dee695b
JH
370 return 0;
371}
372
8ddbbcae 373struct gimple_opt_pass pass_build_cgraph_edges =
2dee695b 374{
8ddbbcae
JH
375 {
376 GIMPLE_PASS,
e0a42b0f 377 "*build_cgraph_edges", /* name */
2b4e6bf1 378 OPTGROUP_NONE, /* optinfo_flags */
2dee695b
JH
379 NULL, /* gate */
380 build_cgraph_edges, /* execute */
381 NULL, /* sub */
382 NULL, /* next */
383 0, /* static_pass_number */
7072a650 384 TV_NONE, /* tv_id */
2dee695b
JH
385 PROP_cfg, /* properties_required */
386 0, /* properties_provided */
387 0, /* properties_destroyed */
388 0, /* todo_flags_start */
8ddbbcae
JH
389 0 /* todo_flags_finish */
390 }
2dee695b
JH
391};
392
393/* Record references to functions and other variables present in the
b8698a0f 394 initial value of DECL, a variable.
625f802c 395 When ONLY_VARS is true, we mark needed only variables, not functions. */
2dee695b
JH
396
397void
625f802c 398record_references_in_initializer (tree decl, bool only_vars)
2dee695b
JH
399{
400 struct pointer_set_t *visited_nodes = pointer_set_create ();
5d59b5e1 401 struct varpool_node *node = varpool_node_for_decl (decl);
369451ec 402 struct record_reference_ctx ctx = {false, NULL};
85912441 403
369451ec 404 ctx.varpool_node = node;
85912441 405 ctx.only_vars = only_vars;
b8698a0f 406 walk_tree (&DECL_INITIAL (decl), record_reference,
85912441 407 &ctx, visited_nodes);
2dee695b
JH
408 pointer_set_destroy (visited_nodes);
409}
410
411/* Rebuild cgraph edges for current function node. This needs to be run after
412 passes that don't update the cgraph. */
413
917948d3 414unsigned int
2dee695b
JH
415rebuild_cgraph_edges (void)
416{
417 basic_block bb;
581985d7 418 struct cgraph_node *node = cgraph_get_node (current_function_decl);
726a989a 419 gimple_stmt_iterator gsi;
2dee695b
JH
420
421 cgraph_node_remove_callees (node);
960bfb69 422 ipa_remove_all_references (&node->symbol.ref_list);
2dee695b
JH
423
424 node->count = ENTRY_BLOCK_PTR->count;
425
426 FOR_EACH_BB (bb)
85912441
JH
427 {
428 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
429 {
430 gimple stmt = gsi_stmt (gsi);
431 tree decl;
432
5f902d76
JH
433 if (is_gimple_call (stmt))
434 {
435 int freq = compute_call_stmt_bb_frequency (current_function_decl,
436 bb);
437 decl = gimple_call_fndecl (stmt);
438 if (decl)
a358e188 439 cgraph_create_edge (node, cgraph_get_create_node (decl), stmt,
898b8927 440 bb->count, freq);
5f902d76
JH
441 else
442 cgraph_create_indirect_edge (node, stmt,
443 gimple_call_flags (stmt),
898b8927 444 bb->count, freq);
5f902d76 445 }
82338059 446 ipa_record_stmt_references (node, stmt);
85912441 447 }
355a7673 448 for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
82338059 449 ipa_record_stmt_references (node, gsi_stmt (gsi));
85912441 450 }
de61f467 451 record_eh_tables (node, cfun);
2dee695b 452 gcc_assert (!node->global.inlined_to);
3dc9eaa6 453
2dee695b
JH
454 return 0;
455}
456
99b766fc
JH
457/* Rebuild cgraph edges for current function node. This needs to be run after
458 passes that don't update the cgraph. */
459
460void
461cgraph_rebuild_references (void)
462{
463 basic_block bb;
581985d7 464 struct cgraph_node *node = cgraph_get_node (current_function_decl);
99b766fc
JH
465 gimple_stmt_iterator gsi;
466
960bfb69 467 ipa_remove_all_references (&node->symbol.ref_list);
99b766fc
JH
468
469 node->count = ENTRY_BLOCK_PTR->count;
470
471 FOR_EACH_BB (bb)
472 {
473 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
82338059 474 ipa_record_stmt_references (node, gsi_stmt (gsi));
355a7673 475 for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
82338059 476 ipa_record_stmt_references (node, gsi_stmt (gsi));
99b766fc
JH
477 }
478 record_eh_tables (node, cfun);
479}
480
8ddbbcae 481struct gimple_opt_pass pass_rebuild_cgraph_edges =
2dee695b 482{
8ddbbcae
JH
483 {
484 GIMPLE_PASS,
e0a42b0f 485 "*rebuild_cgraph_edges", /* name */
2b4e6bf1 486 OPTGROUP_NONE, /* optinfo_flags */
2dee695b
JH
487 NULL, /* gate */
488 rebuild_cgraph_edges, /* execute */
489 NULL, /* sub */
490 NULL, /* next */
491 0, /* static_pass_number */
a222c01a 492 TV_CGRAPH, /* tv_id */
2dee695b
JH
493 PROP_cfg, /* properties_required */
494 0, /* properties_provided */
495 0, /* properties_destroyed */
496 0, /* todo_flags_start */
497 0, /* todo_flags_finish */
8ddbbcae 498 }
2dee695b 499};
133f9369
MJ
500
501
502static unsigned int
503remove_cgraph_callee_edges (void)
504{
581985d7 505 cgraph_node_remove_callees (cgraph_get_node (current_function_decl));
133f9369
MJ
506 return 0;
507}
508
509struct gimple_opt_pass pass_remove_cgraph_callee_edges =
510{
511 {
512 GIMPLE_PASS,
e0a42b0f 513 "*remove_cgraph_callee_edges", /* name */
2b4e6bf1 514 OPTGROUP_NONE, /* optinfo_flags */
133f9369
MJ
515 NULL, /* gate */
516 remove_cgraph_callee_edges, /* execute */
517 NULL, /* sub */
518 NULL, /* next */
519 0, /* static_pass_number */
7072a650 520 TV_NONE, /* tv_id */
133f9369
MJ
521 0, /* properties_required */
522 0, /* properties_provided */
523 0, /* properties_destroyed */
524 0, /* todo_flags_start */
525 0, /* todo_flags_finish */
526 }
527};