1 /* Callgraph handling code.
2 Copyright (C) 2003 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 2, or (at your option) any later
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
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
24 #include "coretypes.h"
27 #include "langhooks.h"
39 /* Hash table used to convert declarations into nodes. */
40 static GTY((param_is (struct cgraph_node
))) htab_t cgraph_hash
;
42 /* The linked list of cgraph nodes. */
43 struct cgraph_node
*cgraph_nodes
;
45 /* Queue of cgraph nodes scheduled to be lowered. */
46 struct cgraph_node
*cgraph_nodes_queue
;
48 /* Number of nodes in existence. */
51 /* Maximal uid used in cgraph nodes. */
54 /* Set when whole unit has been analyzed so we can access global info. */
55 bool cgraph_global_info_ready
= false;
57 /* Hash table used to convert declarations into nodes. */
58 static GTY((param_is (struct cgraph_varpool_node
))) htab_t cgraph_varpool_hash
;
60 /* Queue of cgraph nodes scheduled to be lowered and output. */
61 struct cgraph_varpool_node
*cgraph_varpool_nodes_queue
;
63 /* Number of nodes in existence. */
64 int cgraph_varpool_n_nodes
;
66 /* The linked list of cgraph varpool nodes. */
67 static GTY(()) struct cgraph_varpool_node
*cgraph_varpool_nodes
;
69 static struct cgraph_edge
*create_edge (struct cgraph_node
*,
70 struct cgraph_node
*);
71 static void cgraph_remove_edge (struct cgraph_node
*, struct cgraph_node
*);
72 static hashval_t
hash_node (const void *);
73 static int eq_node (const void *, const void *);
75 /* Returns a hash code for P. */
78 hash_node (const void *p
)
81 IDENTIFIER_HASH_VALUE (DECL_ASSEMBLER_NAME
82 (((struct cgraph_node
*) p
)->decl
)));
85 /* Returns nonzero if P1 and P2 are equal. */
88 eq_node (const void *p1
, const void *p2
)
90 return ((DECL_ASSEMBLER_NAME (((struct cgraph_node
*) p1
)->decl
)) ==
94 /* Return cgraph node assigned to DECL. Create new one when needed. */
96 cgraph_node (tree decl
)
98 struct cgraph_node
*node
;
99 struct cgraph_node
**slot
;
101 if (TREE_CODE (decl
) != FUNCTION_DECL
)
105 cgraph_hash
= htab_create_ggc (10, hash_node
, eq_node
, NULL
);
107 slot
= (struct cgraph_node
**)
108 htab_find_slot_with_hash (cgraph_hash
, DECL_ASSEMBLER_NAME (decl
),
109 IDENTIFIER_HASH_VALUE
110 (DECL_ASSEMBLER_NAME (decl
)), 1);
113 node
= ggc_alloc_cleared (sizeof (*node
));
115 node
->next
= cgraph_nodes
;
116 node
->uid
= cgraph_max_uid
++;
118 cgraph_nodes
->previous
= node
;
119 node
->previous
= NULL
;
123 if (DECL_CONTEXT (decl
) && TREE_CODE (DECL_CONTEXT (decl
)) == FUNCTION_DECL
)
125 node
->origin
= cgraph_node (DECL_CONTEXT (decl
));
126 node
->next_nested
= node
->origin
->nested
;
127 node
->origin
->nested
= node
;
132 /* Try to find existing function for identifier ID. */
134 cgraph_node_for_identifier (tree id
)
136 struct cgraph_node
**slot
;
138 if (TREE_CODE (id
) != IDENTIFIER_NODE
)
144 slot
= (struct cgraph_node
**)
145 htab_find_slot_with_hash (cgraph_hash
, id
,
146 IDENTIFIER_HASH_VALUE (id
), 0);
152 /* Create edge from CALLER to CALLEE in the cgraph. */
154 static struct cgraph_edge
*
155 create_edge (struct cgraph_node
*caller
, struct cgraph_node
*callee
)
157 struct cgraph_edge
*edge
= ggc_alloc (sizeof (struct cgraph_edge
));
158 struct cgraph_edge
*edge2
;
160 edge
->inline_call
= false;
161 /* At the moment we don't associate calls with specific CALL_EXPRs
162 as we probably ought to, so we must preserve inline_call flags to
163 be the same in all copies of the same edge. */
164 if (cgraph_global_info_ready
)
165 for (edge2
= caller
->callees
; edge2
; edge2
= edge2
->next_callee
)
166 if (edge2
->callee
== callee
)
168 edge
->inline_call
= edge2
->inline_call
;
172 edge
->caller
= caller
;
173 edge
->callee
= callee
;
174 edge
->next_caller
= callee
->callers
;
175 edge
->next_callee
= caller
->callees
;
176 caller
->callees
= edge
;
177 callee
->callers
= edge
;
181 /* Remove the edge from CALLER to CALLEE in the cgraph. */
184 cgraph_remove_edge (struct cgraph_node
*caller
, struct cgraph_node
*callee
)
186 struct cgraph_edge
**edge
, **edge2
;
188 for (edge
= &callee
->callers
; *edge
&& (*edge
)->caller
!= caller
;
189 edge
= &((*edge
)->next_caller
))
193 *edge
= (*edge
)->next_caller
;
194 for (edge2
= &caller
->callees
; *edge2
&& (*edge2
)->callee
!= callee
;
195 edge2
= &(*edge2
)->next_callee
)
199 *edge2
= (*edge2
)->next_callee
;
202 /* Remove the node from cgraph. */
205 cgraph_remove_node (struct cgraph_node
*node
)
208 while (node
->callers
)
209 cgraph_remove_edge (node
->callers
->caller
, node
);
210 while (node
->callees
)
211 cgraph_remove_edge (node
, node
->callees
->callee
);
213 cgraph_remove_node (node
->nested
);
216 struct cgraph_node
**node2
= &node
->origin
->nested
;
218 while (*node2
!= node
)
219 node2
= &(*node2
)->next_nested
;
220 *node2
= node
->next_nested
;
223 node
->previous
->next
= node
->next
;
227 node
->next
->previous
= node
->previous
;
228 DECL_SAVED_TREE (node
->decl
) = NULL
;
230 htab_find_slot_with_hash (cgraph_hash
, DECL_ASSEMBLER_NAME (node
->decl
),
231 IDENTIFIER_HASH_VALUE (DECL_ASSEMBLER_NAME
233 htab_clear_slot (cgraph_hash
, slot
);
234 /* Do not free the structure itself so the walk over chain can continue. */
237 /* Notify finalize_compilation_unit that given node is reachable
240 cgraph_mark_needed_node (struct cgraph_node
*node
, int needed
)
245 if (!node
->reachable
&& DECL_SAVED_TREE (node
->decl
))
249 node
->next_needed
= cgraph_nodes_queue
;
250 cgraph_nodes_queue
= node
;
252 /* At the moment frontend automatically emits all nested functions. */
255 struct cgraph_node
*node2
;
257 for (node2
= node
->nested
; node2
; node2
= node2
->next_nested
)
258 if (!node2
->reachable
)
259 cgraph_mark_needed_node (node2
, 0);
265 /* Record call from CALLER to CALLEE */
268 cgraph_record_call (tree caller
, tree callee
)
270 return create_edge (cgraph_node (caller
), cgraph_node (callee
));
274 cgraph_remove_call (tree caller
, tree callee
)
276 cgraph_remove_edge (cgraph_node (caller
), cgraph_node (callee
));
279 /* Return true when CALLER_DECL calls CALLEE_DECL. */
282 cgraph_calls_p (tree caller_decl
, tree callee_decl
)
284 struct cgraph_node
*caller
= cgraph_node (caller_decl
);
285 struct cgraph_node
*callee
= cgraph_node (callee_decl
);
286 struct cgraph_edge
*edge
;
288 for (edge
= callee
->callers
; edge
&& (edge
)->caller
!= caller
;
289 edge
= (edge
->next_caller
))
294 /* Return local info for the compiled function. */
296 struct cgraph_local_info
*
297 cgraph_local_info (tree decl
)
299 struct cgraph_node
*node
;
300 if (TREE_CODE (decl
) != FUNCTION_DECL
)
302 node
= cgraph_node (decl
);
306 /* Return local info for the compiled function. */
308 struct cgraph_global_info
*
309 cgraph_global_info (tree decl
)
311 struct cgraph_node
*node
;
312 if (TREE_CODE (decl
) != FUNCTION_DECL
|| !cgraph_global_info_ready
)
314 node
= cgraph_node (decl
);
315 return &node
->global
;
318 /* Return local info for the compiled function. */
320 struct cgraph_rtl_info
*
321 cgraph_rtl_info (tree decl
)
323 struct cgraph_node
*node
;
324 if (TREE_CODE (decl
) != FUNCTION_DECL
)
326 node
= cgraph_node (decl
);
327 if (decl
!= current_function_decl
328 && !TREE_ASM_WRITTEN (node
->decl
))
333 /* Return name of the node used in debug output. */
335 cgraph_node_name (struct cgraph_node
*node
)
337 return (*lang_hooks
.decl_printable_name
) (node
->decl
, 2);
340 /* Dump the callgraph. */
343 dump_cgraph (FILE *f
)
345 struct cgraph_node
*node
;
347 fprintf (f
, "\nCallgraph:\n\n");
348 for (node
= cgraph_nodes
; node
; node
= node
->next
)
350 struct cgraph_edge
*edge
;
351 fprintf (f
, "%s", cgraph_node_name (node
));
352 if (node
->local
.self_insns
)
353 fprintf (f
, " %i insns", node
->local
.self_insns
);
355 fprintf (f
, " nested in: %s", cgraph_node_name (node
->origin
));
357 fprintf (f
, " needed");
358 else if (node
->reachable
)
359 fprintf (f
, " reachable");
360 if (DECL_SAVED_TREE (node
->decl
))
361 fprintf (f
, " tree");
363 if (node
->local
.disregard_inline_limits
)
364 fprintf (f
, " always_inline");
365 else if (node
->local
.inlinable
)
366 fprintf (f
, " inlinable");
367 if (node
->global
.insns
&& node
->global
.insns
!= node
->local
.self_insns
)
368 fprintf (f
, " %i insns after inlining", node
->global
.insns
);
369 if (node
->global
.cloned_times
> 1)
370 fprintf (f
, " cloned %ix", node
->global
.cloned_times
);
372 fprintf (f
, "\n called by :");
373 for (edge
= node
->callers
; edge
; edge
= edge
->next_caller
)
375 fprintf (f
, "%s ", cgraph_node_name (edge
->caller
));
376 if (edge
->inline_call
)
377 fprintf(f
, "(inlined) ");
380 fprintf (f
, "\n calls: ");
381 for (edge
= node
->callees
; edge
; edge
= edge
->next_callee
)
383 fprintf (f
, "%s ", cgraph_node_name (edge
->callee
));
384 if (edge
->inline_call
)
385 fprintf(f
, "(inlined) ");
391 /* Returns a hash code for P. */
394 cgraph_varpool_hash_node (const void *p
)
397 IDENTIFIER_HASH_VALUE (DECL_ASSEMBLER_NAME
398 (((struct cgraph_varpool_node
*) p
)->decl
)));
401 /* Returns nonzero if P1 and P2 are equal. */
404 eq_cgraph_varpool_node (const void *p1
, const void *p2
)
406 return ((DECL_ASSEMBLER_NAME (((struct cgraph_varpool_node
*) p1
)->decl
)) ==
410 /* Return cgraph_varpool node assigned to DECL. Create new one when needed. */
411 struct cgraph_varpool_node
*
412 cgraph_varpool_node (tree decl
)
414 struct cgraph_varpool_node
*node
;
415 struct cgraph_varpool_node
**slot
;
417 if (!DECL_P (decl
) || TREE_CODE (decl
) == FUNCTION_DECL
)
420 if (!cgraph_varpool_hash
)
421 cgraph_varpool_hash
= htab_create_ggc (10, cgraph_varpool_hash_node
,
422 eq_cgraph_varpool_node
, NULL
);
425 slot
= (struct cgraph_varpool_node
**)
426 htab_find_slot_with_hash (cgraph_varpool_hash
, DECL_ASSEMBLER_NAME (decl
),
427 IDENTIFIER_HASH_VALUE (DECL_ASSEMBLER_NAME (decl
)),
431 node
= ggc_alloc_cleared (sizeof (*node
));
433 cgraph_varpool_n_nodes
++;
434 cgraph_varpool_nodes
= node
;
439 /* Try to find existing function for identifier ID. */
440 struct cgraph_varpool_node
*
441 cgraph_varpool_node_for_identifier (tree id
)
443 struct cgraph_varpool_node
**slot
;
445 if (TREE_CODE (id
) != IDENTIFIER_NODE
)
448 if (!cgraph_varpool_hash
)
451 slot
= (struct cgraph_varpool_node
**)
452 htab_find_slot_with_hash (cgraph_varpool_hash
, id
,
453 IDENTIFIER_HASH_VALUE (id
), 0);
459 /* Notify finalize_compilation_unit that given node is reachable
462 cgraph_varpool_mark_needed_node (struct cgraph_varpool_node
*node
)
464 if (!node
->needed
&& node
->finalized
)
466 node
->next_needed
= cgraph_varpool_nodes_queue
;
467 cgraph_varpool_nodes_queue
= node
;
473 cgraph_varpool_finalize_decl (tree decl
)
475 struct cgraph_varpool_node
*node
= cgraph_varpool_node (decl
);
477 if (node
->needed
&& !node
->finalized
)
479 node
->next_needed
= cgraph_varpool_nodes_queue
;
480 cgraph_varpool_nodes_queue
= node
;
482 node
->finalized
= true;
484 if (/* Externally visible variables must be output. The exception are
485 COMDAT functions that must be output only when they are needed. */
486 (TREE_PUBLIC (decl
) && !DECL_COMDAT (decl
))
487 /* Function whose name is output to the assembler file must be produced.
488 It is possible to assemble the name later after finalizing the function
489 and the fact is noticed in assemble_name then. */
490 || (DECL_ASSEMBLER_NAME_SET_P (decl
)
491 && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl
))))
493 cgraph_varpool_mark_needed_node (node
);
498 cgraph_varpool_assemble_pending_decls (void)
500 bool changed
= false;
502 while (cgraph_varpool_nodes_queue
)
504 tree decl
= cgraph_varpool_nodes_queue
->decl
;
505 struct cgraph_varpool_node
*node
= cgraph_varpool_nodes_queue
;
507 cgraph_varpool_nodes_queue
= cgraph_varpool_nodes_queue
->next_needed
;
508 if (!TREE_ASM_WRITTEN (decl
))
510 assemble_variable (decl
, 0, 1, 0);
513 node
->next_needed
= NULL
;
519 #include "gt-cgraph.h"