OSDN Git Service

Daily bump.
[pf3gnuchains/gcc-fork.git] / gcc / cgraphunit.c
1 /* Callgraph based intraprocedural optimizations.
2    Copyright (C) 2003, 2004, 2005 Free Software Foundation, Inc.
3    Contributed by Jan Hubicka
4
5 This file is part of GCC.
6
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
10 version.
11
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.
16
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
20 02111-1307, USA.  */
21
22 /* This module implements main driver of compilation process as well as
23    few basic intraprocedural optimizers.
24
25    The main scope of this file is to act as an interface in between
26    tree based frontends and the backend (and middle end)
27
28    The front-end is supposed to use following functionality:
29
30     - cgraph_finalize_function
31
32       This function is called once front-end has parsed whole body of function
33       and it is certain that the function body nor the declaration will change.
34
35       (There is one exception needed for implementing GCC extern inline function.)
36
37     - cgraph_varpool_finalize_variable
38
39       This function has same behavior as the above but is used for static
40       variables.
41
42     - cgraph_finalize_compilation_unit
43
44       This function is called once compilation unit is finalized and it will
45       no longer change.
46
47       In the unit-at-a-time the call-graph construction and local function
48       analysis takes place here.  Bodies of unreachable functions are released
49       to conserve memory usage.
50
51       ???  The compilation unit in this point of view should be compilation
52       unit as defined by the language - for instance C frontend allows multiple
53       compilation units to be parsed at once and it should call function each
54       time parsing is done so we save memory.
55
56     - cgraph_optimize
57
58       In this unit-at-a-time compilation the intra procedural analysis takes
59       place here.  In particular the static functions whose address is never
60       taken are marked as local.  Backend can then use this information to
61       modify calling conventions, do better inlining or similar optimizations.
62
63     - cgraph_assemble_pending_functions
64     - cgraph_varpool_assemble_pending_variables
65
66       In non-unit-at-a-time mode these functions can be used to force compilation
67       of functions or variables that are known to be needed at given stage
68       of compilation
69
70     - cgraph_mark_needed_node
71     - cgraph_varpool_mark_needed_node
72
73       When function or variable is referenced by some hidden way (for instance
74       via assembly code and marked by attribute "used"), the call-graph data structure
75       must be updated accordingly by this function.
76
77     - analyze_expr callback
78
79       This function is responsible for lowering tree nodes not understood by
80       generic code into understandable ones or alternatively marking
81       callgraph and varpool nodes referenced by the as needed.
82
83       ??? On the tree-ssa genericizing should take place here and we will avoid
84       need for these hooks (replacing them by genericizing hook)
85
86     - expand_function callback
87
88       This function is used to expand function and pass it into RTL back-end.
89       Front-end should not make any assumptions about when this function can be
90       called.  In particular cgraph_assemble_pending_functions,
91       cgraph_varpool_assemble_pending_variables, cgraph_finalize_function,
92       cgraph_varpool_finalize_function, cgraph_optimize can cause arbitrarily
93       previously finalized functions to be expanded.
94
95     We implement two compilation modes.
96
97       - unit-at-a-time:  In this mode analyzing of all functions is deferred
98         to cgraph_finalize_compilation_unit and expansion into cgraph_optimize.
99
100         In cgraph_finalize_compilation_unit the reachable functions are
101         analyzed.  During analysis the call-graph edges from reachable
102         functions are constructed and their destinations are marked as
103         reachable.  References to functions and variables are discovered too
104         and variables found to be needed output to the assembly file.  Via
105         mark_referenced call in assemble_variable functions referenced by
106         static variables are noticed too.
107
108         The intra-procedural information is produced and its existence
109         indicated by global_info_ready.  Once this flag is set it is impossible
110         to change function from !reachable to reachable and thus
111         assemble_variable no longer call mark_referenced.
112
113         Finally the call-graph is topologically sorted and all reachable functions
114         that has not been completely inlined or are not external are output.
115
116         ??? It is possible that reference to function or variable is optimized
117         out.  We can not deal with this nicely because topological order is not
118         suitable for it.  For tree-ssa we may consider another pass doing
119         optimization and re-discovering reachable functions.
120
121         ??? Reorganize code so variables are output very last and only if they
122         really has been referenced by produced code, so we catch more cases
123         where reference has been optimized out.
124
125       - non-unit-at-a-time
126
127         All functions are variables are output as early as possible to conserve
128         memory consumption.  This may or may not result in less memory used but
129         it is still needed for some legacy code that rely on particular ordering
130         of things output from the compiler.
131
132         Varpool data structures are not used and variables are output directly.
133
134         Functions are output early using call of
135         cgraph_assemble_pending_function from cgraph_finalize_function.  The
136         decision on whether function is needed is made more conservative so
137         uninlininable static functions are needed too.  During the call-graph
138         construction the edge destinations are not marked as reachable and it
139         is completely relied upn assemble_variable to mark them.  */
140
141
142 #include "config.h"
143 #include "system.h"
144 #include "coretypes.h"
145 #include "tm.h"
146 #include "tree.h"
147 #include "rtl.h"
148 #include "tree-flow.h"
149 #include "tree-inline.h"
150 #include "langhooks.h"
151 #include "pointer-set.h"
152 #include "toplev.h"
153 #include "flags.h"
154 #include "ggc.h"
155 #include "debug.h"
156 #include "target.h"
157 #include "cgraph.h"
158 #include "diagnostic.h"
159 #include "timevar.h"
160 #include "params.h"
161 #include "fibheap.h"
162 #include "c-common.h"
163 #include "intl.h"
164 #include "function.h"
165 #include "tree-gimple.h"
166 #include "tree-pass.h"
167 #include "output.h"
168
169 static void cgraph_expand_all_functions (void);
170 static void cgraph_mark_functions_to_output (void);
171 static void cgraph_expand_function (struct cgraph_node *);
172 static tree record_reference (tree *, int *, void *);
173 static void cgraph_analyze_function (struct cgraph_node *node);
174
175 /* Records tree nodes seen in record_reference.  Simply using
176    walk_tree_without_duplicates doesn't guarantee each node is visited
177    once because it gets a new htab upon each recursive call from
178    record_reference itself.  */
179 static struct pointer_set_t *visited_nodes;
180
181 static FILE *cgraph_dump_file;
182
183 /* Determine if function DECL is needed.  That is, visible to something
184    either outside this translation unit, something magic in the system
185    configury, or (if not doing unit-at-a-time) to something we havn't
186    seen yet.  */
187
188 static bool
189 decide_is_function_needed (struct cgraph_node *node, tree decl)
190 {
191   tree origin;
192
193   /* If the user told us it is used, then it must be so.  */
194   if (lookup_attribute ("used", DECL_ATTRIBUTES (decl)))
195     return true;
196
197   /* ??? If the assembler name is set by hand, it is possible to assemble
198      the name later after finalizing the function and the fact is noticed
199      in assemble_name then.  This is arguably a bug.  */
200   if (DECL_ASSEMBLER_NAME_SET_P (decl)
201       && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
202     return true;
203
204   /* If we decided it was needed before, but at the time we didn't have
205      the body of the function available, then it's still needed.  We have
206      to go back and re-check its dependencies now.  */
207   if (node->needed)
208     return true;
209
210   /* Externally visible functions must be output.  The exception is
211      COMDAT functions that must be output only when they are needed.  */
212   if (TREE_PUBLIC (decl) && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl))
213     return true;
214
215   /* Constructors and destructors are reachable from the runtime by
216      some mechanism.  */
217   if (DECL_STATIC_CONSTRUCTOR (decl) || DECL_STATIC_DESTRUCTOR (decl))
218     return true;
219
220   if (flag_unit_at_a_time)
221     return false;
222
223   /* If not doing unit at a time, then we'll only defer this function
224      if its marked for inlining.  Otherwise we want to emit it now.  */
225
226   /* "extern inline" functions are never output locally.  */
227   if (DECL_EXTERNAL (decl))
228     return false;
229   /* Nested functions of extern inline function shall not be emit unless
230      we inlined the origin.  */
231   for (origin = decl_function_context (decl); origin;
232        origin = decl_function_context (origin))
233     if (DECL_EXTERNAL (origin))
234       return false;
235   /* We want to emit COMDAT functions only when absolutely necessary.  */
236   if (DECL_COMDAT (decl))
237     return false;
238   if (!DECL_INLINE (decl)
239       || (!node->local.disregard_inline_limits
240           /* When declared inline, defer even the uninlinable functions.
241              This allows them to be eliminated when unused.  */
242           && !DECL_DECLARED_INLINE_P (decl) 
243           && (!node->local.inlinable || !cgraph_default_inline_p (node))))
244     return true;
245
246   return false;
247 }
248
249 /* Walk the decls we marked as necessary and see if they reference new
250    variables or functions and add them into the worklists.  */
251 static bool
252 cgraph_varpool_analyze_pending_decls (void)
253 {
254   bool changed = false;
255   timevar_push (TV_CGRAPH);
256
257   while (cgraph_varpool_first_unanalyzed_node)
258     {
259       tree decl = cgraph_varpool_first_unanalyzed_node->decl;
260
261       cgraph_varpool_first_unanalyzed_node->analyzed = true;
262
263       cgraph_varpool_first_unanalyzed_node = cgraph_varpool_first_unanalyzed_node->next_needed;
264
265       if (DECL_INITIAL (decl))
266         {
267           visited_nodes = pointer_set_create ();
268           walk_tree (&DECL_INITIAL (decl), record_reference, NULL, visited_nodes);
269           pointer_set_destroy (visited_nodes);
270           visited_nodes = NULL;
271         }
272       changed = true;
273     }
274   timevar_pop (TV_CGRAPH);
275   return changed;
276 }
277
278 /* Optimization of function bodies might've rendered some variables as
279    unnecessary so we want to avoid these from being compiled.
280
281    This is done by pruning the queue and keeping only the variables that
282    really appear needed (ie they are either externally visible or referenced
283    by compiled function). Re-doing the reachability analysis on variables
284    brings back the remaining variables referenced by these.  */
285 static void
286 cgraph_varpool_remove_unreferenced_decls (void)
287 {
288   struct cgraph_varpool_node *next, *node = cgraph_varpool_nodes_queue;
289
290   cgraph_varpool_reset_queue ();
291
292   if (errorcount || sorrycount)
293     return;
294
295   while (node)
296     {
297       tree decl = node->decl;
298       next = node->next_needed;
299       node->needed = 0;
300
301       if (node->finalized
302           && ((DECL_ASSEMBLER_NAME_SET_P (decl)
303                && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
304               || node->force_output
305               || decide_is_variable_needed (node, decl)))
306         cgraph_varpool_mark_needed_node (node);
307
308       node = next;
309     }
310   cgraph_varpool_analyze_pending_decls ();
311 }
312
313
314 /* When not doing unit-at-a-time, output all functions enqueued.
315    Return true when such a functions were found.  */
316
317 bool
318 cgraph_assemble_pending_functions (void)
319 {
320   bool output = false;
321
322   if (flag_unit_at_a_time)
323     return false;
324
325   while (cgraph_nodes_queue)
326     {
327       struct cgraph_node *n = cgraph_nodes_queue;
328
329       cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
330       n->next_needed = NULL;
331       if (!n->global.inlined_to
332           && !n->alias
333           && !DECL_EXTERNAL (n->decl))
334         {
335           cgraph_expand_function (n);
336           output = true;
337         }
338     }
339
340   return output;
341 }
342 /* As an GCC extension we allow redefinition of the function.  The
343    semantics when both copies of bodies differ is not well defined.
344    We replace the old body with new body so in unit at a time mode
345    we always use new body, while in normal mode we may end up with
346    old body inlined into some functions and new body expanded and
347    inlined in others.
348
349    ??? It may make more sense to use one body for inlining and other
350    body for expanding the function but this is difficult to do.  */
351
352 static void
353 cgraph_reset_node (struct cgraph_node *node)
354 {
355   /* If node->output is set, then this is a unit-at-a-time compilation
356      and we have already begun whole-unit analysis.  This is *not*
357      testing for whether we've already emitted the function.  That
358      case can be sort-of legitimately seen with real function 
359      redefinition errors.  I would argue that the front end should
360      never present us with such a case, but don't enforce that for now.  */
361   gcc_assert (!node->output);
362
363   /* Reset our data structures so we can analyze the function again.  */
364   memset (&node->local, 0, sizeof (node->local));
365   memset (&node->global, 0, sizeof (node->global));
366   memset (&node->rtl, 0, sizeof (node->rtl));
367   node->analyzed = false;
368   node->local.redefined_extern_inline = true;
369   node->local.finalized = false;
370
371   if (!flag_unit_at_a_time)
372     {
373       struct cgraph_node *n;
374
375       for (n = cgraph_nodes; n; n = n->next)
376         if (n->global.inlined_to == node)
377           cgraph_remove_node (n);
378     }
379
380   cgraph_node_remove_callees (node);
381
382   /* We may need to re-queue the node for assembling in case
383      we already proceeded it and ignored as not needed.  */
384   if (node->reachable && !flag_unit_at_a_time)
385     {
386       struct cgraph_node *n;
387
388       for (n = cgraph_nodes_queue; n; n = n->next_needed)
389         if (n == node)
390           break;
391       if (!n)
392         node->reachable = 0;
393     }
394 }
395
396 /* DECL has been parsed.  Take it, queue it, compile it at the whim of the
397    logic in effect.  If NESTED is true, then our caller cannot stand to have
398    the garbage collector run at the moment.  We would need to either create
399    a new GC context, or just not compile right now.  */
400
401 void
402 cgraph_finalize_function (tree decl, bool nested)
403 {
404   struct cgraph_node *node = cgraph_node (decl);
405
406   if (node->local.finalized)
407     cgraph_reset_node (node);
408
409   notice_global_symbol (decl);
410   node->decl = decl;
411   node->local.finalized = true;
412   node->lowered = DECL_STRUCT_FUNCTION (decl)->cfg != NULL;
413   if (node->nested)
414     lower_nested_functions (decl);
415   gcc_assert (!node->nested);
416
417   /* If not unit at a time, then we need to create the call graph
418      now, so that called functions can be queued and emitted now.  */
419   if (!flag_unit_at_a_time)
420     {
421       cgraph_analyze_function (node);
422       cgraph_decide_inlining_incrementally (node);
423     }
424
425   if (decide_is_function_needed (node, decl))
426     cgraph_mark_needed_node (node);
427
428   /* Since we reclaim unreachable nodes at the end of every language
429      level unit, we need to be conservative about possible entry points
430      there.  */
431   if (TREE_PUBLIC (decl) && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl))
432     cgraph_mark_reachable_node (node);
433
434   /* If not unit at a time, go ahead and emit everything we've found
435      to be reachable at this time.  */
436   if (!nested)
437     {
438       if (!cgraph_assemble_pending_functions ())
439         ggc_collect ();
440     }
441
442   /* If we've not yet emitted decl, tell the debug info about it.  */
443   if (!TREE_ASM_WRITTEN (decl))
444     (*debug_hooks->deferred_inline_function) (decl);
445
446   /* Possibly warn about unused parameters.  */
447   if (warn_unused_parameter)
448     do_warn_unused_parameter (decl);
449 }
450
451 void
452 cgraph_lower_function (struct cgraph_node *node)
453 {
454   if (node->lowered)
455     return;
456   tree_lowering_passes (node->decl);
457   node->lowered = true;
458 }
459
460 /* Walk tree and record all calls.  Called via walk_tree.  */
461 static tree
462 record_reference (tree *tp, int *walk_subtrees, void *data)
463 {
464   tree t = *tp;
465
466   switch (TREE_CODE (t))
467     {
468     case VAR_DECL:
469       /* ??? Really, we should mark this decl as *potentially* referenced
470          by this function and re-examine whether the decl is actually used
471          after rtl has been generated.  */
472       if (TREE_STATIC (t) || DECL_EXTERNAL (t))
473         {
474           cgraph_varpool_mark_needed_node (cgraph_varpool_node (t));
475           if (lang_hooks.callgraph.analyze_expr)
476             return lang_hooks.callgraph.analyze_expr (tp, walk_subtrees, 
477                                                       data);
478         }
479       break;
480
481     case FDESC_EXPR:
482     case ADDR_EXPR:
483       if (flag_unit_at_a_time)
484         {
485           /* Record dereferences to the functions.  This makes the
486              functions reachable unconditionally.  */
487           tree decl = TREE_OPERAND (*tp, 0);
488           if (TREE_CODE (decl) == FUNCTION_DECL)
489             cgraph_mark_needed_node (cgraph_node (decl));
490         }
491       break;
492
493     default:
494       /* Save some cycles by not walking types and declaration as we
495          won't find anything useful there anyway.  */
496       if (IS_TYPE_OR_DECL_P (*tp))
497         {
498           *walk_subtrees = 0;
499           break;
500         }
501
502       if ((unsigned int) TREE_CODE (t) >= LAST_AND_UNUSED_TREE_CODE)
503         return lang_hooks.callgraph.analyze_expr (tp, walk_subtrees, data);
504       break;
505     }
506
507   return NULL;
508 }
509
510 /* Create cgraph edges for function calls inside BODY from NODE.  */
511
512 static void
513 cgraph_create_edges (struct cgraph_node *node, tree body)
514 {
515   basic_block bb;
516
517   struct function *this_cfun = DECL_STRUCT_FUNCTION (body);
518   block_stmt_iterator bsi;
519   tree step;
520   visited_nodes = pointer_set_create ();
521
522   /* Reach the trees by walking over the CFG, and note the 
523      enclosing basic-blocks in the call edges.  */
524   FOR_EACH_BB_FN (bb, this_cfun)
525     for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi))
526       {
527         tree stmt = bsi_stmt (bsi);
528         tree call = get_call_expr_in (stmt);
529         tree decl;
530
531         if (call && (decl = get_callee_fndecl (call)))
532           {
533             cgraph_create_edge (node, cgraph_node (decl), stmt,
534                                 bb->count,
535                                 bb->loop_depth);
536             walk_tree (&TREE_OPERAND (call, 1),
537                        record_reference, node, visited_nodes);
538             if (TREE_CODE (stmt) == MODIFY_EXPR)
539               walk_tree (&TREE_OPERAND (stmt, 0),
540                          record_reference, node, visited_nodes);
541           }
542         else 
543           walk_tree (bsi_stmt_ptr (bsi), record_reference, node, visited_nodes);
544       }
545
546   /* Look for initializers of constant variables and private statics.  */
547   for (step = DECL_STRUCT_FUNCTION (body)->unexpanded_var_list;
548        step;
549        step = TREE_CHAIN (step))
550     {
551       tree decl = TREE_VALUE (step);
552       if (TREE_CODE (decl) == VAR_DECL
553           && (TREE_STATIC (decl) && !DECL_EXTERNAL (decl))
554           && flag_unit_at_a_time)
555         cgraph_varpool_finalize_decl (decl);
556       else if (TREE_CODE (decl) == VAR_DECL && DECL_INITIAL (decl))
557         walk_tree (&DECL_INITIAL (decl), record_reference, node, visited_nodes);
558     }
559     
560   pointer_set_destroy (visited_nodes);
561   visited_nodes = NULL;
562 }
563
564
565 /* Verify cgraph nodes of given cgraph node.  */
566 void
567 verify_cgraph_node (struct cgraph_node *node)
568 {
569   struct cgraph_edge *e;
570   struct cgraph_node *main_clone;
571   struct function *this_cfun = DECL_STRUCT_FUNCTION (node->decl);
572   basic_block this_block;
573   block_stmt_iterator bsi;
574   bool error_found = false;
575
576   timevar_push (TV_CGRAPH_VERIFY);
577   for (e = node->callees; e; e = e->next_callee)
578     if (e->aux)
579       {
580         error ("Aux field set for edge %s->%s",
581                cgraph_node_name (e->caller), cgraph_node_name (e->callee));
582         error_found = true;
583       }
584   for (e = node->callers; e; e = e->next_caller)
585     {
586       if (!e->inline_failed)
587         {
588           if (node->global.inlined_to
589               != (e->caller->global.inlined_to
590                   ? e->caller->global.inlined_to : e->caller))
591             {
592               error ("Inlined_to pointer is wrong");
593               error_found = true;
594             }
595           if (node->callers->next_caller)
596             {
597               error ("Multiple inline callers");
598               error_found = true;
599             }
600         }
601       else
602         if (node->global.inlined_to)
603           {
604             error ("Inlined_to pointer set for noninline callers");
605             error_found = true;
606           }
607     }
608   if (!node->callers && node->global.inlined_to)
609     {
610       error ("Inlined_to pointer is set but no predecesors found");
611       error_found = true;
612     }
613   if (node->global.inlined_to == node)
614     {
615       error ("Inlined_to pointer refers to itself");
616       error_found = true;
617     }
618
619   for (main_clone = cgraph_node (node->decl); main_clone;
620        main_clone = main_clone->next_clone)
621     if (main_clone == node)
622       break;
623   if (!node)
624     {
625       error ("Node not found in DECL_ASSEMBLER_NAME hash");
626       error_found = true;
627     }
628   
629   if (node->analyzed
630       && DECL_SAVED_TREE (node->decl) && !TREE_ASM_WRITTEN (node->decl)
631       && (!DECL_EXTERNAL (node->decl) || node->global.inlined_to))
632     {
633       if (this_cfun->cfg)
634         {
635           /* The nodes we're interested in are never shared, so walk
636              the tree ignoring duplicates.  */
637           visited_nodes = pointer_set_create ();
638           /* Reach the trees by walking over the CFG, and note the
639              enclosing basic-blocks in the call edges.  */
640           FOR_EACH_BB_FN (this_block, this_cfun)
641             for (bsi = bsi_start (this_block); !bsi_end_p (bsi); bsi_next (&bsi))
642               {
643                 tree stmt = bsi_stmt (bsi);
644                 tree call = get_call_expr_in (stmt);
645                 tree decl;
646                 if (call && (decl = get_callee_fndecl (call)))
647                   {
648                     struct cgraph_edge *e = cgraph_edge (node, stmt);
649                     if (e)
650                       {
651                         if (e->aux)
652                           {
653                             error ("Shared call_stmt:");
654                             debug_generic_stmt (stmt);
655                             error_found = true;
656                           }
657                         if (e->callee->decl != cgraph_node (decl)->decl)
658                           {
659                             error ("Edge points to wrong declaration:");
660                             debug_tree (e->callee->decl);
661                             fprintf (stderr," Instead of:");
662                             debug_tree (decl);
663                           }
664                         e->aux = (void *)1;
665                       }
666                     else
667                       {
668                         error ("Missing callgraph edge for call stmt:");
669                         debug_generic_stmt (stmt);
670                         error_found = true;
671                       }
672                   }
673               }
674           pointer_set_destroy (visited_nodes);
675           visited_nodes = NULL;
676         }
677       else
678         /* No CFG available?!  */
679         gcc_unreachable ();
680
681       for (e = node->callees; e; e = e->next_callee)
682         {
683           if (!e->aux)
684             {
685               error ("Edge %s->%s has no corresponding call_stmt",
686                      cgraph_node_name (e->caller),
687                      cgraph_node_name (e->callee));
688               debug_generic_stmt (e->call_stmt);
689               error_found = true;
690             }
691           e->aux = 0;
692         }
693     }
694   if (error_found)
695     {
696       dump_cgraph_node (stderr, node);
697       internal_error ("verify_cgraph_node failed.");
698     }
699   timevar_pop (TV_CGRAPH_VERIFY);
700 }
701
702 /* Verify whole cgraph structure.  */
703 void
704 verify_cgraph (void)
705 {
706   struct cgraph_node *node;
707
708   if (sorrycount || errorcount)
709     return;
710
711   for (node = cgraph_nodes; node; node = node->next)
712     verify_cgraph_node (node);
713 }
714
715
716 /* Output all variables enqueued to be assembled.  */
717 bool
718 cgraph_varpool_assemble_pending_decls (void)
719 {
720   bool changed = false;
721
722   if (errorcount || sorrycount)
723     return false;
724  
725   /* EH might mark decls as needed during expansion.  This should be safe since
726      we don't create references to new function, but it should not be used
727      elsewhere.  */
728   cgraph_varpool_analyze_pending_decls ();
729
730   while (cgraph_varpool_nodes_queue)
731     {
732       tree decl = cgraph_varpool_nodes_queue->decl;
733       struct cgraph_varpool_node *node = cgraph_varpool_nodes_queue;
734
735       cgraph_varpool_nodes_queue = cgraph_varpool_nodes_queue->next_needed;
736       if (!TREE_ASM_WRITTEN (decl) && !node->alias && !DECL_EXTERNAL (decl))
737         {
738           assemble_variable (decl, 0, 1, 0);
739           /* Local static variables are never seen by check_global_declarations
740              so we need to output debug info by hand.  */
741           if (decl_function_context (decl) && errorcount == 0 && sorrycount == 0)
742             {
743               timevar_push (TV_SYMOUT);
744               (*debug_hooks->global_decl) (decl);
745               timevar_pop (TV_SYMOUT);
746             }
747           changed = true;
748         }
749       node->next_needed = NULL;
750     }
751   return changed;
752 }
753
754 /* Analyze the function scheduled to be output.  */
755 static void
756 cgraph_analyze_function (struct cgraph_node *node)
757 {
758   tree decl = node->decl;
759   struct cgraph_edge *e;
760
761   current_function_decl = decl;
762   push_cfun (DECL_STRUCT_FUNCTION (decl));
763   cgraph_lower_function (node);
764
765   /* First kill forward declaration so reverse inlining works properly.  */
766   cgraph_create_edges (node, decl);
767
768   node->local.inlinable = tree_inlinable_function_p (decl);
769   node->local.self_insns = estimate_num_insns (decl);
770   if (node->local.inlinable)
771     node->local.disregard_inline_limits
772       = lang_hooks.tree_inlining.disregard_inline_limits (decl);
773   for (e = node->callers; e; e = e->next_caller)
774     {
775       if (node->local.redefined_extern_inline)
776         e->inline_failed = N_("redefined extern inline functions are not "
777                            "considered for inlining");
778       else if (!node->local.inlinable)
779         e->inline_failed = N_("function not inlinable");
780       else
781         e->inline_failed = N_("function not considered for inlining");
782     }
783   if (flag_really_no_inline && !node->local.disregard_inline_limits)
784     node->local.inlinable = 0;
785   /* Inlining characteristics are maintained by the cgraph_mark_inline.  */
786   node->global.insns = node->local.self_insns;
787
788   node->analyzed = true;
789   pop_cfun ();
790   current_function_decl = NULL;
791 }
792
793 /* Analyze the whole compilation unit once it is parsed completely.  */
794
795 void
796 cgraph_finalize_compilation_unit (void)
797 {
798   struct cgraph_node *node;
799   /* Keep track of already processed nodes when called multiple times for
800      intermodule optimization.  */
801   static struct cgraph_node *first_analyzed;
802
803   finish_aliases_1 ();
804
805   if (!flag_unit_at_a_time)
806     {
807       cgraph_assemble_pending_functions ();
808       return;
809     }
810
811   if (!quiet_flag)
812     {
813       fprintf (stderr, "\nAnalyzing compilation unit");
814       fflush (stderr);
815     }
816
817   timevar_push (TV_CGRAPH);
818   cgraph_varpool_analyze_pending_decls ();
819   if (cgraph_dump_file)
820     {
821       fprintf (cgraph_dump_file, "Initial entry points:");
822       for (node = cgraph_nodes; node != first_analyzed; node = node->next)
823         if (node->needed && DECL_SAVED_TREE (node->decl))
824           fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
825       fprintf (cgraph_dump_file, "\n");
826     }
827
828   /* Propagate reachability flag and lower representation of all reachable
829      functions.  In the future, lowering will introduce new functions and
830      new entry points on the way (by template instantiation and virtual
831      method table generation for instance).  */
832   while (cgraph_nodes_queue)
833     {
834       struct cgraph_edge *edge;
835       tree decl = cgraph_nodes_queue->decl;
836
837       node = cgraph_nodes_queue;
838       cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
839       node->next_needed = NULL;
840
841       /* ??? It is possible to create extern inline function and later using
842          weak alias attribute to kill its body. See
843          gcc.c-torture/compile/20011119-1.c  */
844       if (!DECL_SAVED_TREE (decl))
845         {
846           cgraph_reset_node (node);
847           continue;
848         }
849
850       gcc_assert (!node->analyzed && node->reachable);
851       gcc_assert (DECL_SAVED_TREE (decl));
852
853       cgraph_analyze_function (node);
854
855       for (edge = node->callees; edge; edge = edge->next_callee)
856         if (!edge->callee->reachable)
857           cgraph_mark_reachable_node (edge->callee);
858
859       cgraph_varpool_analyze_pending_decls ();
860     }
861
862   /* Collect entry points to the unit.  */
863
864   if (cgraph_dump_file)
865     {
866       fprintf (cgraph_dump_file, "Unit entry points:");
867       for (node = cgraph_nodes; node != first_analyzed; node = node->next)
868         if (node->needed && DECL_SAVED_TREE (node->decl))
869           fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
870       fprintf (cgraph_dump_file, "\n\nInitial ");
871       dump_cgraph (cgraph_dump_file);
872     }
873
874   if (cgraph_dump_file)
875     fprintf (cgraph_dump_file, "\nReclaiming functions:");
876
877   for (node = cgraph_nodes; node != first_analyzed; node = node->next)
878     {
879       tree decl = node->decl;
880
881       if (node->local.finalized && !DECL_SAVED_TREE (decl))
882         cgraph_reset_node (node);
883
884       if (!node->reachable && DECL_SAVED_TREE (decl))
885         {
886           if (cgraph_dump_file)
887             fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
888           cgraph_remove_node (node);
889           continue;
890         }
891       else
892         node->next_needed = NULL;
893       gcc_assert (!node->local.finalized || DECL_SAVED_TREE (decl));
894       gcc_assert (node->analyzed == node->local.finalized);
895     }
896   if (cgraph_dump_file)
897     {
898       fprintf (cgraph_dump_file, "\n\nReclaimed ");
899       dump_cgraph (cgraph_dump_file);
900     }
901   first_analyzed = cgraph_nodes;
902   ggc_collect ();
903   timevar_pop (TV_CGRAPH);
904 }
905 /* Figure out what functions we want to assemble.  */
906
907 static void
908 cgraph_mark_functions_to_output (void)
909 {
910   struct cgraph_node *node;
911
912   for (node = cgraph_nodes; node; node = node->next)
913     {
914       tree decl = node->decl;
915       struct cgraph_edge *e;
916       
917       gcc_assert (!node->output);
918
919       for (e = node->callers; e; e = e->next_caller)
920         if (e->inline_failed)
921           break;
922
923       /* We need to output all local functions that are used and not
924          always inlined, as well as those that are reachable from
925          outside the current compilation unit.  */
926       if (DECL_SAVED_TREE (decl)
927           && !node->global.inlined_to
928           && (node->needed
929               || (e && node->reachable))
930           && !TREE_ASM_WRITTEN (decl)
931           && !DECL_EXTERNAL (decl))
932         node->output = 1;
933       else
934         {
935           /* We should've reclaimed all functions that are not needed.  */
936 #ifdef ENABLE_CHECKING
937           if (!node->global.inlined_to && DECL_SAVED_TREE (decl)
938               && !DECL_EXTERNAL (decl))
939             {
940               dump_cgraph_node (stderr, node);
941               internal_error ("failed to reclaim unneeded function");
942             }
943 #endif
944           gcc_assert (node->global.inlined_to || !DECL_SAVED_TREE (decl)
945                       || DECL_EXTERNAL (decl));
946
947         }
948       
949     }
950 }
951
952 /* Expand function specified by NODE.  */
953
954 static void
955 cgraph_expand_function (struct cgraph_node *node)
956 {
957   tree decl = node->decl;
958
959   /* We ought to not compile any inline clones.  */
960   gcc_assert (!node->global.inlined_to);
961
962   if (flag_unit_at_a_time)
963     announce_function (decl);
964
965   cgraph_lower_function (node);
966
967   /* Generate RTL for the body of DECL.  */
968   lang_hooks.callgraph.expand_function (decl);
969
970   /* Make sure that BE didn't give up on compiling.  */
971   /* ??? Can happen with nested function of extern inline.  */
972   gcc_assert (TREE_ASM_WRITTEN (node->decl));
973
974   current_function_decl = NULL;
975   if (!cgraph_preserve_function_body_p (node->decl))
976     {
977       DECL_SAVED_TREE (node->decl) = NULL;
978       DECL_STRUCT_FUNCTION (node->decl) = NULL;
979       DECL_INITIAL (node->decl) = error_mark_node;
980       /* Eliminate all call edges.  This is important so the call_expr no longer
981          points to the dead function body.  */
982       cgraph_node_remove_callees (node);
983     }
984
985   cgraph_function_flags_ready = true;
986 }
987
988 /* Return true when CALLER_DECL should be inlined into CALLEE_DECL.  */
989
990 bool
991 cgraph_inline_p (struct cgraph_edge *e, const char **reason)
992 {
993   *reason = e->inline_failed;
994   return !e->inline_failed;
995 }
996
997
998
999 /* Expand all functions that must be output.
1000
1001    Attempt to topologically sort the nodes so function is output when
1002    all called functions are already assembled to allow data to be
1003    propagated across the callgraph.  Use a stack to get smaller distance
1004    between a function and its callees (later we may choose to use a more
1005    sophisticated algorithm for function reordering; we will likely want
1006    to use subsections to make the output functions appear in top-down
1007    order).  */
1008
1009 static void
1010 cgraph_expand_all_functions (void)
1011 {
1012   struct cgraph_node *node;
1013   struct cgraph_node **order =
1014     xcalloc (cgraph_n_nodes, sizeof (struct cgraph_node *));
1015   int order_pos = 0, new_order_pos = 0;
1016   int i;
1017
1018   order_pos = cgraph_postorder (order);
1019   gcc_assert (order_pos == cgraph_n_nodes);
1020
1021   /* Garbage collector may remove inline clones we eliminate during
1022      optimization.  So we must be sure to not reference them.  */
1023   for (i = 0; i < order_pos; i++)
1024     if (order[i]->output)
1025       order[new_order_pos++] = order[i];
1026
1027   for (i = new_order_pos - 1; i >= 0; i--)
1028     {
1029       node = order[i];
1030       if (node->output)
1031         {
1032           gcc_assert (node->reachable);
1033           node->output = 0;
1034           cgraph_expand_function (node);
1035         }
1036     }
1037   free (order);
1038 }
1039
1040 /* Mark visibility of all functions.
1041    
1042    A local function is one whose calls can occur only in the current
1043    compilation unit and all its calls are explicit, so we can change
1044    its calling convention.  We simply mark all static functions whose
1045    address is not taken as local.
1046
1047    We also change the TREE_PUBLIC flag of all declarations that are public
1048    in language point of view but we want to overwrite this default
1049    via visibilities for the backend point of view.  */
1050
1051 static void
1052 cgraph_function_and_variable_visibility (void)
1053 {
1054   struct cgraph_node *node;
1055   struct cgraph_varpool_node *vnode;
1056
1057   for (node = cgraph_nodes; node; node = node->next)
1058     {
1059       if (node->reachable
1060           && (DECL_COMDAT (node->decl)
1061               || (TREE_PUBLIC (node->decl) && !DECL_EXTERNAL (node->decl))))
1062         node->local.externally_visible = 1;
1063       node->local.local = (!node->needed
1064                            && node->analyzed
1065                            && !DECL_EXTERNAL (node->decl)
1066                            && !node->local.externally_visible);
1067     }
1068   for (vnode = cgraph_varpool_nodes_queue; vnode; vnode = vnode->next_needed)
1069     {
1070       if (vnode->needed
1071           && (DECL_COMDAT (vnode->decl) || TREE_PUBLIC (vnode->decl)))
1072         vnode->externally_visible = 1;
1073      gcc_assert (TREE_STATIC (vnode->decl));
1074     }
1075
1076   /* Because we have to be conservative on the boundaries of source
1077      level units, it is possible that we marked some functions in
1078      reachable just because they might be used later via external
1079      linkage, but after making them local they are really unreachable
1080      now.  */
1081   cgraph_remove_unreachable_nodes (true, cgraph_dump_file);
1082
1083   if (cgraph_dump_file)
1084     {
1085       fprintf (cgraph_dump_file, "\nMarking local functions:");
1086       for (node = cgraph_nodes; node; node = node->next)
1087         if (node->local.local)
1088           fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1089       fprintf (cgraph_dump_file, "\n\n");
1090       fprintf (cgraph_dump_file, "\nMarking externally visible functions:");
1091       for (node = cgraph_nodes; node; node = node->next)
1092         if (node->local.externally_visible)
1093           fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1094       fprintf (cgraph_dump_file, "\n\n");
1095     }
1096   cgraph_function_flags_ready = true;
1097 }
1098
1099 /* Return true when function body of DECL still needs to be kept around
1100    for later re-use.  */
1101 bool
1102 cgraph_preserve_function_body_p (tree decl)
1103 {
1104   struct cgraph_node *node;
1105   /* Keep the body; we're going to dump it.  */
1106   if (dump_enabled_p (TDI_tree_all))
1107     return true;
1108   if (!cgraph_global_info_ready)
1109     return (DECL_INLINE (decl) && !flag_really_no_inline);
1110   /* Look if there is any clone around.  */
1111   for (node = cgraph_node (decl); node; node = node->next_clone)
1112     if (node->global.inlined_to)
1113       return true;
1114   return false;
1115 }
1116
1117 /* Perform simple optimizations based on callgraph.  */
1118
1119 void
1120 cgraph_optimize (void)
1121 {
1122 #ifdef ENABLE_CHECKING
1123   verify_cgraph ();
1124 #endif
1125   if (!flag_unit_at_a_time)
1126     {
1127       cgraph_varpool_assemble_pending_decls ();
1128       return;
1129     }
1130
1131   process_pending_assemble_externals ();
1132   
1133   /* Frontend may output common variables after the unit has been finalized.
1134      It is safe to deal with them here as they are always zero initialized.  */
1135   cgraph_varpool_analyze_pending_decls ();
1136
1137   timevar_push (TV_CGRAPHOPT);
1138   if (!quiet_flag)
1139     fprintf (stderr, "Performing intraprocedural optimizations\n");
1140
1141   cgraph_function_and_variable_visibility ();
1142   if (cgraph_dump_file)
1143     {
1144       fprintf (cgraph_dump_file, "Marked ");
1145       dump_cgraph (cgraph_dump_file);
1146     }
1147   ipa_passes ();
1148   /* This pass remove bodies of extern inline functions we never inlined.
1149      Do this later so other IPA passes see what is really going on.  */
1150   cgraph_remove_unreachable_nodes (false, dump_file);
1151   cgraph_global_info_ready = true;
1152   if (cgraph_dump_file)
1153     {
1154       fprintf (cgraph_dump_file, "Optimized ");
1155       dump_cgraph (cgraph_dump_file);
1156       dump_varpool (cgraph_dump_file);
1157     }
1158   timevar_pop (TV_CGRAPHOPT);
1159
1160   /* Output everything.  */
1161   if (!quiet_flag)
1162     fprintf (stderr, "Assembling functions:\n");
1163 #ifdef ENABLE_CHECKING
1164   verify_cgraph ();
1165 #endif
1166   
1167   cgraph_mark_functions_to_output ();
1168   cgraph_expand_all_functions ();
1169   cgraph_varpool_remove_unreferenced_decls ();
1170
1171   cgraph_varpool_assemble_pending_decls ();
1172
1173   if (cgraph_dump_file)
1174     {
1175       fprintf (cgraph_dump_file, "\nFinal ");
1176       dump_cgraph (cgraph_dump_file);
1177     }
1178 #ifdef ENABLE_CHECKING
1179   verify_cgraph ();
1180   /* Double check that all inline clones are gone and that all
1181      function bodies have been released from memory.  */
1182   if (flag_unit_at_a_time
1183       && !dump_enabled_p (TDI_tree_all)
1184       && !(sorrycount || errorcount))
1185     {
1186       struct cgraph_node *node;
1187       bool error_found = false;
1188
1189       for (node = cgraph_nodes; node; node = node->next)
1190         if (node->analyzed
1191             && (node->global.inlined_to
1192                 || DECL_SAVED_TREE (node->decl)))
1193           {
1194             error_found = true;
1195             dump_cgraph_node (stderr, node);
1196           }
1197       if (error_found)
1198         internal_error ("Nodes with no released memory found.");
1199     }
1200 #endif
1201 }
1202
1203 /* Generate and emit a static constructor or destructor.  WHICH must be
1204    one of 'I' or 'D'.  BODY should be a STATEMENT_LIST containing 
1205    GENERIC statements.  */
1206
1207 void
1208 cgraph_build_static_cdtor (char which, tree body, int priority)
1209 {
1210   static int counter = 0;
1211   char which_buf[16];
1212   tree decl, name, resdecl;
1213
1214   sprintf (which_buf, "%c_%d", which, counter++);
1215   name = get_file_function_name_long (which_buf);
1216
1217   decl = build_decl (FUNCTION_DECL, name,
1218                      build_function_type (void_type_node, void_list_node));
1219   current_function_decl = decl;
1220
1221   resdecl = build_decl (RESULT_DECL, NULL_TREE, void_type_node);
1222   DECL_ARTIFICIAL (resdecl) = 1;
1223   DECL_IGNORED_P (resdecl) = 1;
1224   DECL_RESULT (decl) = resdecl;
1225
1226   allocate_struct_function (decl);
1227
1228   TREE_STATIC (decl) = 1;
1229   TREE_USED (decl) = 1;
1230   DECL_ARTIFICIAL (decl) = 1;
1231   DECL_IGNORED_P (decl) = 1;
1232   DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (decl) = 1;
1233   DECL_SAVED_TREE (decl) = body;
1234   TREE_PUBLIC (decl) = ! targetm.have_ctors_dtors;
1235   DECL_UNINLINABLE (decl) = 1;
1236
1237   DECL_INITIAL (decl) = make_node (BLOCK);
1238   TREE_USED (DECL_INITIAL (decl)) = 1;
1239
1240   DECL_SOURCE_LOCATION (decl) = input_location;
1241   cfun->function_end_locus = input_location;
1242
1243   switch (which)
1244     {
1245     case 'I':
1246       DECL_STATIC_CONSTRUCTOR (decl) = 1;
1247       break;
1248     case 'D':
1249       DECL_STATIC_DESTRUCTOR (decl) = 1;
1250       break;
1251     default:
1252       gcc_unreachable ();
1253     }
1254
1255   gimplify_function_tree (decl);
1256
1257   /* ??? We will get called LATE in the compilation process.  */
1258   if (cgraph_global_info_ready)
1259     {
1260       tree_lowering_passes (decl);
1261       tree_rest_of_compilation (decl);
1262     }
1263   else
1264     cgraph_finalize_function (decl, 0);
1265   
1266   if (targetm.have_ctors_dtors)
1267     {
1268       void (*fn) (rtx, int);
1269
1270       if (which == 'I')
1271         fn = targetm.asm_out.constructor;
1272       else
1273         fn = targetm.asm_out.destructor;
1274       fn (XEXP (DECL_RTL (decl), 0), priority);
1275     }
1276 }
1277
1278 void
1279 init_cgraph (void)
1280 {
1281   cgraph_dump_file = dump_begin (TDI_cgraph, NULL);
1282 }