]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/cgraphbuild.c
lra-constraints.c (emit_spill_move): Use smaller mode for mem-mem moves.
[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
2dee695b
JH
291/* Create cgraph edges for function calls.
292 Also look for functions and variables having addresses taken. */
293
294static unsigned int
295build_cgraph_edges (void)
296{
297 basic_block bb;
581985d7 298 struct cgraph_node *node = cgraph_get_node (current_function_decl);
2dee695b 299 struct pointer_set_t *visited_nodes = pointer_set_create ();
726a989a 300 gimple_stmt_iterator gsi;
c021f10b
NF
301 tree decl;
302 unsigned ix;
2dee695b
JH
303
304 /* Create the callgraph edges and record the nodes referenced by the function.
305 body. */
306 FOR_EACH_BB (bb)
85912441
JH
307 {
308 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
309 {
310 gimple stmt = gsi_stmt (gsi);
311 tree decl;
312
5f902d76
JH
313 if (is_gimple_call (stmt))
314 {
315 int freq = compute_call_stmt_bb_frequency (current_function_decl,
316 bb);
317 decl = gimple_call_fndecl (stmt);
318 if (decl)
a358e188 319 cgraph_create_edge (node, cgraph_get_create_node (decl),
898b8927 320 stmt, bb->count, freq);
5f902d76
JH
321 else
322 cgraph_create_indirect_edge (node, stmt,
323 gimple_call_flags (stmt),
898b8927 324 bb->count, freq);
5f902d76 325 }
85912441
JH
326 walk_stmt_load_store_addr_ops (stmt, node, mark_load,
327 mark_store, mark_address);
328 if (gimple_code (stmt) == GIMPLE_OMP_PARALLEL
329 && gimple_omp_parallel_child_fn (stmt))
330 {
331 tree fn = gimple_omp_parallel_child_fn (stmt);
5932a4d4 332 ipa_record_reference ((symtab_node)node,
48f4a6fa 333 (symtab_node)cgraph_get_create_real_symbol_node (fn),
5932a4d4 334 IPA_REF_ADDR, stmt);
85912441
JH
335 }
336 if (gimple_code (stmt) == GIMPLE_OMP_TASK)
337 {
338 tree fn = gimple_omp_task_child_fn (stmt);
339 if (fn)
5932a4d4 340 ipa_record_reference ((symtab_node)node,
48f4a6fa 341 (symtab_node) cgraph_get_create_real_symbol_node (fn),
5932a4d4 342 IPA_REF_ADDR, stmt);
85912441
JH
343 fn = gimple_omp_task_copy_fn (stmt);
344 if (fn)
5932a4d4 345 ipa_record_reference ((symtab_node)node,
48f4a6fa 346 (symtab_node)cgraph_get_create_real_symbol_node (fn),
5932a4d4 347 IPA_REF_ADDR, stmt);
85912441
JH
348 }
349 }
355a7673 350 for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
85912441
JH
351 walk_stmt_load_store_addr_ops (gsi_stmt (gsi), node,
352 mark_load, mark_store, mark_address);
353 }
2dee695b
JH
354
355 /* Look for initializers of constant variables and private statics. */
c021f10b
NF
356 FOR_EACH_LOCAL_DECL (cfun, ix, decl)
357 if (TREE_CODE (decl) == VAR_DECL
0d6bf48c
JH
358 && (TREE_STATIC (decl) && !DECL_EXTERNAL (decl))
359 && !DECL_HAS_VALUE_EXPR_P (decl))
c021f10b 360 varpool_finalize_decl (decl);
de61f467 361 record_eh_tables (node, cfun);
2dee695b
JH
362
363 pointer_set_destroy (visited_nodes);
2dee695b
JH
364 return 0;
365}
366
8ddbbcae 367struct gimple_opt_pass pass_build_cgraph_edges =
2dee695b 368{
8ddbbcae
JH
369 {
370 GIMPLE_PASS,
e0a42b0f 371 "*build_cgraph_edges", /* name */
2b4e6bf1 372 OPTGROUP_NONE, /* optinfo_flags */
2dee695b
JH
373 NULL, /* gate */
374 build_cgraph_edges, /* execute */
375 NULL, /* sub */
376 NULL, /* next */
377 0, /* static_pass_number */
7072a650 378 TV_NONE, /* tv_id */
2dee695b
JH
379 PROP_cfg, /* properties_required */
380 0, /* properties_provided */
381 0, /* properties_destroyed */
382 0, /* todo_flags_start */
8ddbbcae
JH
383 0 /* todo_flags_finish */
384 }
2dee695b
JH
385};
386
387/* Record references to functions and other variables present in the
b8698a0f 388 initial value of DECL, a variable.
625f802c 389 When ONLY_VARS is true, we mark needed only variables, not functions. */
2dee695b
JH
390
391void
625f802c 392record_references_in_initializer (tree decl, bool only_vars)
2dee695b
JH
393{
394 struct pointer_set_t *visited_nodes = pointer_set_create ();
5d59b5e1 395 struct varpool_node *node = varpool_node_for_decl (decl);
369451ec 396 struct record_reference_ctx ctx = {false, NULL};
85912441 397
369451ec 398 ctx.varpool_node = node;
85912441 399 ctx.only_vars = only_vars;
b8698a0f 400 walk_tree (&DECL_INITIAL (decl), record_reference,
85912441 401 &ctx, visited_nodes);
2dee695b
JH
402 pointer_set_destroy (visited_nodes);
403}
404
405/* Rebuild cgraph edges for current function node. This needs to be run after
406 passes that don't update the cgraph. */
407
917948d3 408unsigned int
2dee695b
JH
409rebuild_cgraph_edges (void)
410{
411 basic_block bb;
581985d7 412 struct cgraph_node *node = cgraph_get_node (current_function_decl);
726a989a 413 gimple_stmt_iterator gsi;
2dee695b
JH
414
415 cgraph_node_remove_callees (node);
960bfb69 416 ipa_remove_all_references (&node->symbol.ref_list);
2dee695b
JH
417
418 node->count = ENTRY_BLOCK_PTR->count;
419
420 FOR_EACH_BB (bb)
85912441
JH
421 {
422 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
423 {
424 gimple stmt = gsi_stmt (gsi);
425 tree decl;
426
5f902d76
JH
427 if (is_gimple_call (stmt))
428 {
429 int freq = compute_call_stmt_bb_frequency (current_function_decl,
430 bb);
431 decl = gimple_call_fndecl (stmt);
432 if (decl)
a358e188 433 cgraph_create_edge (node, cgraph_get_create_node (decl), stmt,
898b8927 434 bb->count, freq);
5f902d76
JH
435 else
436 cgraph_create_indirect_edge (node, stmt,
437 gimple_call_flags (stmt),
898b8927 438 bb->count, freq);
5f902d76 439 }
85912441
JH
440 walk_stmt_load_store_addr_ops (stmt, node, mark_load,
441 mark_store, mark_address);
442
443 }
355a7673 444 for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
85912441
JH
445 walk_stmt_load_store_addr_ops (gsi_stmt (gsi), node,
446 mark_load, mark_store, mark_address);
447 }
de61f467 448 record_eh_tables (node, cfun);
2dee695b 449 gcc_assert (!node->global.inlined_to);
3dc9eaa6 450
2dee695b
JH
451 return 0;
452}
453
99b766fc
JH
454/* Rebuild cgraph edges for current function node. This needs to be run after
455 passes that don't update the cgraph. */
456
457void
458cgraph_rebuild_references (void)
459{
460 basic_block bb;
581985d7 461 struct cgraph_node *node = cgraph_get_node (current_function_decl);
99b766fc
JH
462 gimple_stmt_iterator gsi;
463
960bfb69 464 ipa_remove_all_references (&node->symbol.ref_list);
99b766fc
JH
465
466 node->count = ENTRY_BLOCK_PTR->count;
467
468 FOR_EACH_BB (bb)
469 {
470 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
471 {
472 gimple stmt = gsi_stmt (gsi);
473
474 walk_stmt_load_store_addr_ops (stmt, node, mark_load,
475 mark_store, mark_address);
476
477 }
355a7673 478 for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
99b766fc
JH
479 walk_stmt_load_store_addr_ops (gsi_stmt (gsi), node,
480 mark_load, mark_store, mark_address);
481 }
482 record_eh_tables (node, cfun);
483}
484
8ddbbcae 485struct gimple_opt_pass pass_rebuild_cgraph_edges =
2dee695b 486{
8ddbbcae
JH
487 {
488 GIMPLE_PASS,
e0a42b0f 489 "*rebuild_cgraph_edges", /* name */
2b4e6bf1 490 OPTGROUP_NONE, /* optinfo_flags */
2dee695b
JH
491 NULL, /* gate */
492 rebuild_cgraph_edges, /* execute */
493 NULL, /* sub */
494 NULL, /* next */
495 0, /* static_pass_number */
a222c01a 496 TV_CGRAPH, /* tv_id */
2dee695b
JH
497 PROP_cfg, /* properties_required */
498 0, /* properties_provided */
499 0, /* properties_destroyed */
500 0, /* todo_flags_start */
501 0, /* todo_flags_finish */
8ddbbcae 502 }
2dee695b 503};
133f9369
MJ
504
505
506static unsigned int
507remove_cgraph_callee_edges (void)
508{
581985d7 509 cgraph_node_remove_callees (cgraph_get_node (current_function_decl));
133f9369
MJ
510 return 0;
511}
512
513struct gimple_opt_pass pass_remove_cgraph_callee_edges =
514{
515 {
516 GIMPLE_PASS,
e0a42b0f 517 "*remove_cgraph_callee_edges", /* name */
2b4e6bf1 518 OPTGROUP_NONE, /* optinfo_flags */
133f9369
MJ
519 NULL, /* gate */
520 remove_cgraph_callee_edges, /* execute */
521 NULL, /* sub */
522 NULL, /* next */
523 0, /* static_pass_number */
7072a650 524 TV_NONE, /* tv_id */
133f9369
MJ
525 0, /* properties_required */
526 0, /* properties_provided */
527 0, /* properties_destroyed */
528 0, /* todo_flags_start */
529 0, /* todo_flags_finish */
530 }
531};