OSDN Git Service

Daily bump.
[pf3gnuchains/gcc-fork.git] / gcc / cgraphunit.c
1 /* Callgraph based interprocedural optimizations.
2    Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008
3    Free Software Foundation, Inc.
4    Contributed by Jan Hubicka
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
12
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
16 for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3.  If not see
20 <http://www.gnu.org/licenses/>.  */
21
22 /* This module implements main driver of compilation process as well as
23    few basic interprocedural 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
36         function.)
37
38     - varpool_finalize_variable
39
40       This function has same behavior as the above but is used for static
41       variables.
42
43     - cgraph_finalize_compilation_unit
44
45       This function is called once (source level) compilation unit is finalized
46       and it will no longer change.
47
48       In the unit-at-a-time the call-graph construction and local function
49       analysis takes place here.  Bodies of unreachable functions are released
50       to conserve memory usage.
51
52       The function can be called multiple times when multiple source level
53       compilation units are combined (such as in C frontend)
54
55     - cgraph_optimize
56
57       In this unit-at-a-time compilation the intra procedural analysis takes
58       place here.  In particular the static functions whose address is never
59       taken are marked as local.  Backend can then use this information to
60       modify calling conventions, do better inlining or similar optimizations.
61
62     - cgraph_mark_needed_node
63     - varpool_mark_needed_node
64
65       When function or variable is referenced by some hidden way the call-graph
66       data structure must be updated accordingly by this function.
67       There should be little need to call this function and all the references
68       should be made explicit to cgraph code.  At present these functions are
69       used by C++ frontend to explicitly mark the keyed methods.
70
71     - analyze_expr callback
72
73       This function is responsible for lowering tree nodes not understood by
74       generic code into understandable ones or alternatively marking
75       callgraph and varpool nodes referenced by the as needed.
76
77       ??? On the tree-ssa genericizing should take place here and we will avoid
78       need for these hooks (replacing them by genericizing hook)
79
80     We implement two compilation modes.
81
82       - unit-at-a-time:  In this mode analyzing of all functions is deferred
83         to cgraph_finalize_compilation_unit and expansion into cgraph_optimize.
84
85         In cgraph_finalize_compilation_unit the reachable functions are
86         analyzed.  During analysis the call-graph edges from reachable
87         functions are constructed and their destinations are marked as
88         reachable.  References to functions and variables are discovered too
89         and variables found to be needed output to the assembly file.  Via
90         mark_referenced call in assemble_variable functions referenced by
91         static variables are noticed too.
92
93         The intra-procedural information is produced and its existence
94         indicated by global_info_ready.  Once this flag is set it is impossible
95         to change function from !reachable to reachable and thus
96         assemble_variable no longer call mark_referenced.
97
98         Finally the call-graph is topologically sorted and all reachable functions
99         that has not been completely inlined or are not external are output.
100
101         ??? It is possible that reference to function or variable is optimized
102         out.  We can not deal with this nicely because topological order is not
103         suitable for it.  For tree-ssa we may consider another pass doing
104         optimization and re-discovering reachable functions.
105
106         ??? Reorganize code so variables are output very last and only if they
107         really has been referenced by produced code, so we catch more cases
108         where reference has been optimized out.
109
110       - non-unit-at-a-time
111
112         All functions are variables are output as early as possible to conserve
113         memory consumption.  This may or may not result in less memory used but
114         it is still needed for some legacy code that rely on particular ordering
115         of things output from the compiler.
116
117         Varpool data structures are not used and variables are output directly.
118
119         Functions are output early using call of
120         cgraph_assemble_pending_function from cgraph_finalize_function.  The
121         decision on whether function is needed is made more conservative so
122         uninlinable static functions are needed too.  During the call-graph
123         construction the edge destinations are not marked as reachable and it
124         is completely relied upon assemble_variable to mark them.  */
125
126
127 #include "config.h"
128 #include "system.h"
129 #include "coretypes.h"
130 #include "tm.h"
131 #include "tree.h"
132 #include "rtl.h"
133 #include "tree-flow.h"
134 #include "tree-inline.h"
135 #include "langhooks.h"
136 #include "pointer-set.h"
137 #include "toplev.h"
138 #include "flags.h"
139 #include "ggc.h"
140 #include "debug.h"
141 #include "target.h"
142 #include "cgraph.h"
143 #include "diagnostic.h"
144 #include "timevar.h"
145 #include "params.h"
146 #include "fibheap.h"
147 #include "c-common.h"
148 #include "intl.h"
149 #include "function.h"
150 #include "ipa-prop.h"
151 #include "tree-gimple.h"
152 #include "tree-pass.h"
153 #include "output.h"
154
155 static void cgraph_expand_all_functions (void);
156 static void cgraph_mark_functions_to_output (void);
157 static void cgraph_expand_function (struct cgraph_node *);
158 static void cgraph_output_pending_asms (void);
159
160 static FILE *cgraph_dump_file;
161
162 /* A vector of FUNCTION_DECLs declared as static constructors.  */
163 static GTY (()) VEC(tree, gc) *static_ctors;
164 /* A vector of FUNCTION_DECLs declared as static destructors.  */
165 static GTY (()) VEC(tree, gc) *static_dtors;
166
167 /* When target does not have ctors and dtors, we call all constructor
168    and destructor by special initialization/destruction function
169    recognized by collect2.  
170    
171    When we are going to build this function, collect all constructors and
172    destructors and turn them into normal functions.  */
173
174 static void
175 record_cdtor_fn (tree fndecl)
176 {
177   struct cgraph_node *node;
178   if (targetm.have_ctors_dtors
179       || (!DECL_STATIC_CONSTRUCTOR (fndecl)
180           && !DECL_STATIC_DESTRUCTOR (fndecl)))
181     return;
182
183   if (DECL_STATIC_CONSTRUCTOR (fndecl))
184     {
185       VEC_safe_push (tree, gc, static_ctors, fndecl);
186       DECL_STATIC_CONSTRUCTOR (fndecl) = 0;
187     }
188   if (DECL_STATIC_DESTRUCTOR (fndecl))
189     {
190       VEC_safe_push (tree, gc, static_dtors, fndecl);
191       DECL_STATIC_DESTRUCTOR (fndecl) = 0;
192     }
193   DECL_INLINE (fndecl) = 1;
194   node = cgraph_node (fndecl);
195   node->local.disregard_inline_limits = 1;
196   cgraph_mark_reachable_node (node);
197 }
198
199 /* Define global constructors/destructor functions for the CDTORS, of
200    which they are LEN.  The CDTORS are sorted by initialization
201    priority.  If CTOR_P is true, these are constructors; otherwise,
202    they are destructors.  */
203
204 static void
205 build_cdtor (bool ctor_p, tree *cdtors, size_t len)
206 {
207   size_t i;
208
209   i = 0;
210   while (i < len)
211     {
212       tree body;
213       tree fn;
214       priority_type priority;
215
216       priority = 0;
217       body = NULL_TREE;
218       /* Find the next batch of constructors/destructors with the same
219          initialization priority.  */
220       do
221         {
222           priority_type p;
223           fn = cdtors[i];
224           p = ctor_p ? DECL_INIT_PRIORITY (fn) : DECL_FINI_PRIORITY (fn);
225           if (!body)
226             priority = p;
227           else if (p != priority)
228             break;
229           append_to_statement_list (build_function_call_expr (fn, 0),
230                                     &body);
231           ++i;
232         }
233       while (i < len);
234       gcc_assert (body != NULL_TREE);
235       /* Generate a function to call all the function of like
236          priority.  */
237       cgraph_build_static_cdtor (ctor_p ? 'I' : 'D', body, priority);
238     }
239 }
240
241 /* Comparison function for qsort.  P1 and P2 are actually of type
242    "tree *" and point to static constructors.  DECL_INIT_PRIORITY is
243    used to determine the sort order.  */
244
245 static int
246 compare_ctor (const void *p1, const void *p2)
247 {
248   tree f1;
249   tree f2;
250   int priority1;
251   int priority2;
252
253   f1 = *(const tree *)p1;
254   f2 = *(const tree *)p2;
255   priority1 = DECL_INIT_PRIORITY (f1);
256   priority2 = DECL_INIT_PRIORITY (f2);
257   
258   if (priority1 < priority2)
259     return -1;
260   else if (priority1 > priority2)
261     return 1;
262   else
263     /* Ensure a stable sort.  */
264     return (const tree *)p1 - (const tree *)p2;
265 }
266
267 /* Comparison function for qsort.  P1 and P2 are actually of type
268    "tree *" and point to static destructors.  DECL_FINI_PRIORITY is
269    used to determine the sort order.  */
270
271 static int
272 compare_dtor (const void *p1, const void *p2)
273 {
274   tree f1;
275   tree f2;
276   int priority1;
277   int priority2;
278
279   f1 = *(const tree *)p1;
280   f2 = *(const tree *)p2;
281   priority1 = DECL_FINI_PRIORITY (f1);
282   priority2 = DECL_FINI_PRIORITY (f2);
283   
284   if (priority1 < priority2)
285     return -1;
286   else if (priority1 > priority2)
287     return 1;
288   else
289     /* Ensure a stable sort.  */
290     return (const tree *)p1 - (const tree *)p2;
291 }
292
293 /* Generate functions to call static constructors and destructors
294    for targets that do not support .ctors/.dtors sections.  These
295    functions have magic names which are detected by collect2.  */
296
297 static void
298 cgraph_build_cdtor_fns (void)
299 {
300   if (!VEC_empty (tree, static_ctors))
301     {
302       gcc_assert (!targetm.have_ctors_dtors);
303       qsort (VEC_address (tree, static_ctors),
304              VEC_length (tree, static_ctors), 
305              sizeof (tree),
306              compare_ctor);
307       build_cdtor (/*ctor_p=*/true,
308                    VEC_address (tree, static_ctors),
309                    VEC_length (tree, static_ctors)); 
310       VEC_truncate (tree, static_ctors, 0);
311     }
312
313   if (!VEC_empty (tree, static_dtors))
314     {
315       gcc_assert (!targetm.have_ctors_dtors);
316       qsort (VEC_address (tree, static_dtors),
317              VEC_length (tree, static_dtors), 
318              sizeof (tree),
319              compare_dtor);
320       build_cdtor (/*ctor_p=*/false,
321                    VEC_address (tree, static_dtors),
322                    VEC_length (tree, static_dtors)); 
323       VEC_truncate (tree, static_dtors, 0);
324     }
325 }
326
327 /* Determine if function DECL is needed.  That is, visible to something
328    either outside this translation unit, something magic in the system
329    configury, or (if not doing unit-at-a-time) to something we haven't
330    seen yet.  */
331
332 static bool
333 decide_is_function_needed (struct cgraph_node *node, tree decl)
334 {
335   tree origin;
336   if (MAIN_NAME_P (DECL_NAME (decl))
337       && TREE_PUBLIC (decl))
338     {
339       node->local.externally_visible = true;
340       return true;
341     }
342
343   /* If the user told us it is used, then it must be so.  */
344   if (node->local.externally_visible)
345     return true;
346
347   if (!flag_unit_at_a_time && lookup_attribute ("used", DECL_ATTRIBUTES (decl)))
348     return true;
349
350   /* ??? If the assembler name is set by hand, it is possible to assemble
351      the name later after finalizing the function and the fact is noticed
352      in assemble_name then.  This is arguably a bug.  */
353   if (DECL_ASSEMBLER_NAME_SET_P (decl)
354       && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
355     return true;
356
357   /* With -fkeep-inline-functions we are keeping all inline functions except
358      for extern inline ones.  */
359   if (flag_keep_inline_functions
360       && DECL_DECLARED_INLINE_P (decl)
361       && !DECL_EXTERNAL (decl)
362       && !lookup_attribute ("always_inline", DECL_ATTRIBUTES (decl)))
363      return true;
364
365   /* If we decided it was needed before, but at the time we didn't have
366      the body of the function available, then it's still needed.  We have
367      to go back and re-check its dependencies now.  */
368   if (node->needed)
369     return true;
370
371   /* Externally visible functions must be output.  The exception is
372      COMDAT functions that must be output only when they are needed.
373
374      When not optimizing, also output the static functions. (see
375      PR24561), but don't do so for always_inline functions, functions
376      declared inline and nested functions.  These was optimized out
377      in the original implementation and it is unclear whether we want
378      to change the behavior here.  */
379   if (((TREE_PUBLIC (decl)
380         || (!optimize && !node->local.disregard_inline_limits
381             && !DECL_DECLARED_INLINE_P (decl)
382             && !node->origin))
383       && !flag_whole_program)
384       && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl))
385     return true;
386
387   /* Constructors and destructors are reachable from the runtime by
388      some mechanism.  */
389   if (DECL_STATIC_CONSTRUCTOR (decl) || DECL_STATIC_DESTRUCTOR (decl))
390     return true;
391
392   if (flag_unit_at_a_time)
393     return false;
394
395   /* If not doing unit at a time, then we'll only defer this function
396      if its marked for inlining.  Otherwise we want to emit it now.  */
397
398   /* "extern inline" functions are never output locally.  */
399   if (DECL_EXTERNAL (decl))
400     return false;
401   /* Nested functions of extern inline function shall not be emit unless
402      we inlined the origin.  */
403   for (origin = decl_function_context (decl); origin;
404        origin = decl_function_context (origin))
405     if (DECL_EXTERNAL (origin))
406       return false;
407   /* We want to emit COMDAT functions only when absolutely necessary.  */
408   if (DECL_COMDAT (decl))
409     return false;
410   if (!DECL_INLINE (decl)
411       || (!node->local.disregard_inline_limits
412           /* When declared inline, defer even the uninlinable functions.
413              This allows them to be eliminated when unused.  */
414           && !DECL_DECLARED_INLINE_P (decl)
415           && (!node->local.inlinable || !cgraph_default_inline_p (node, NULL))))
416     return true;
417
418   return false;
419 }
420
421 /* Process CGRAPH_NEW_FUNCTIONS and perform actions necessary to add these
422    functions into callgraph in a way so they look like ordinary reachable
423    functions inserted into callgraph already at construction time.  */
424
425 bool
426 cgraph_process_new_functions (void)
427 {
428   bool output = false;
429   tree fndecl;
430   struct cgraph_node *node;
431
432   /*  Note that this queue may grow as its being processed, as the new
433       functions may generate new ones.  */
434   while (cgraph_new_nodes)
435     {
436       node = cgraph_new_nodes;
437       fndecl = node->decl;
438       cgraph_new_nodes = cgraph_new_nodes->next_needed;
439       switch (cgraph_state)
440         {
441         case CGRAPH_STATE_CONSTRUCTION:
442           /* At construction time we just need to finalize function and move
443              it into reachable functions list.  */
444
445           node->next_needed = NULL;
446           cgraph_finalize_function (fndecl, false);
447           cgraph_mark_reachable_node (node);
448           output = true;
449           break;
450
451         case CGRAPH_STATE_IPA:
452         case CGRAPH_STATE_IPA_SSA:
453           /* When IPA optimization already started, do all essential
454              transformations that has been already performed on the whole
455              cgraph but not on this function.  */
456
457           tree_register_cfg_hooks ();
458           if (!node->analyzed)
459             cgraph_analyze_function (node);
460           push_cfun (DECL_STRUCT_FUNCTION (fndecl));
461           current_function_decl = fndecl;
462           compute_inline_parameters (node);
463           if ((cgraph_state == CGRAPH_STATE_IPA_SSA
464               && !gimple_in_ssa_p (DECL_STRUCT_FUNCTION (fndecl)))
465               /* When not optimizing, be sure we run early local passes anyway
466                  to expand OMP.  */
467               || !optimize)
468             execute_pass_list (pass_early_local_passes.pass.sub);
469           free_dominance_info (CDI_POST_DOMINATORS);
470           free_dominance_info (CDI_DOMINATORS);
471           pop_cfun ();
472           current_function_decl = NULL;
473           break;
474
475         case CGRAPH_STATE_EXPANSION:
476           /* Functions created during expansion shall be compiled
477              directly.  */
478           node->output = 0;
479           cgraph_expand_function (node);
480           break;
481
482         default:
483           gcc_unreachable ();
484           break;
485         }
486     }
487   return output;
488 }
489
490 /* When not doing unit-at-a-time, output all functions enqueued.
491    Return true when such a functions were found.  */
492
493 static bool
494 cgraph_assemble_pending_functions (void)
495 {
496   bool output = false;
497
498   if (flag_unit_at_a_time || errorcount || sorrycount)
499     return false;
500
501   cgraph_output_pending_asms ();
502
503   while (cgraph_nodes_queue)
504     {
505       struct cgraph_node *n = cgraph_nodes_queue;
506
507       cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
508       n->next_needed = NULL;
509       if (!n->global.inlined_to
510           && !n->alias
511           && !DECL_EXTERNAL (n->decl))
512         {
513           cgraph_expand_function (n);
514           output = true;
515         }
516       output |= cgraph_process_new_functions ();
517     }
518
519   return output;
520 }
521
522
523 /* As an GCC extension we allow redefinition of the function.  The
524    semantics when both copies of bodies differ is not well defined.
525    We replace the old body with new body so in unit at a time mode
526    we always use new body, while in normal mode we may end up with
527    old body inlined into some functions and new body expanded and
528    inlined in others.
529
530    ??? It may make more sense to use one body for inlining and other
531    body for expanding the function but this is difficult to do.  */
532
533 static void
534 cgraph_reset_node (struct cgraph_node *node)
535 {
536   /* If node->output is set, then this is a unit-at-a-time compilation
537      and we have already begun whole-unit analysis.  This is *not*
538      testing for whether we've already emitted the function.  That
539      case can be sort-of legitimately seen with real function
540      redefinition errors.  I would argue that the front end should
541      never present us with such a case, but don't enforce that for now.  */
542   gcc_assert (!node->output);
543
544   /* Reset our data structures so we can analyze the function again.  */
545   memset (&node->local, 0, sizeof (node->local));
546   memset (&node->global, 0, sizeof (node->global));
547   memset (&node->rtl, 0, sizeof (node->rtl));
548   node->analyzed = false;
549   node->local.redefined_extern_inline = true;
550   node->local.finalized = false;
551
552   if (!flag_unit_at_a_time)
553     {
554       struct cgraph_node *n, *next;
555
556       for (n = cgraph_nodes; n; n = next)
557         {
558           next = n->next;
559           if (n->global.inlined_to == node)
560             cgraph_remove_node (n);
561         }
562     }
563
564   cgraph_node_remove_callees (node);
565
566   /* We may need to re-queue the node for assembling in case
567      we already proceeded it and ignored as not needed or got
568      a re-declaration in IMA mode.  */
569   if (node->reachable)
570     {
571       struct cgraph_node *n;
572
573       for (n = cgraph_nodes_queue; n; n = n->next_needed)
574         if (n == node)
575           break;
576       if (!n)
577         node->reachable = 0;
578     }
579 }
580
581 static void
582 cgraph_lower_function (struct cgraph_node *node)
583 {
584   if (node->lowered)
585     return;
586   tree_lowering_passes (node->decl);
587   node->lowered = true;
588 }
589
590 /* DECL has been parsed.  Take it, queue it, compile it at the whim of the
591    logic in effect.  If NESTED is true, then our caller cannot stand to have
592    the garbage collector run at the moment.  We would need to either create
593    a new GC context, or just not compile right now.  */
594
595 void
596 cgraph_finalize_function (tree decl, bool nested)
597 {
598   struct cgraph_node *node = cgraph_node (decl);
599
600   if (node->local.finalized)
601     cgraph_reset_node (node);
602
603   node->pid = cgraph_max_pid ++;
604   notice_global_symbol (decl);
605   node->local.finalized = true;
606   node->lowered = DECL_STRUCT_FUNCTION (decl)->cfg != NULL;
607   record_cdtor_fn (node->decl);
608   if (node->nested)
609     lower_nested_functions (decl);
610   gcc_assert (!node->nested);
611
612   /* If not unit at a time, then we need to create the call graph
613      now, so that called functions can be queued and emitted now.  */
614   if (!flag_unit_at_a_time)
615     cgraph_analyze_function (node);
616
617   if (decide_is_function_needed (node, decl))
618     cgraph_mark_needed_node (node);
619
620   /* Since we reclaim unreachable nodes at the end of every language
621      level unit, we need to be conservative about possible entry points
622      there.  */
623   if ((TREE_PUBLIC (decl) && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl)))
624     cgraph_mark_reachable_node (node);
625
626   /* If not unit at a time, go ahead and emit everything we've found
627      to be reachable at this time.  */
628   if (!nested)
629     {
630       if (!cgraph_assemble_pending_functions ())
631         ggc_collect ();
632     }
633
634   /* If we've not yet emitted decl, tell the debug info about it.  */
635   if (!TREE_ASM_WRITTEN (decl))
636     (*debug_hooks->deferred_inline_function) (decl);
637
638   /* Possibly warn about unused parameters.  */
639   if (warn_unused_parameter)
640     do_warn_unused_parameter (decl);
641 }
642
643 /* C99 extern inline keywords allow changing of declaration after function
644    has been finalized.  We need to re-decide if we want to mark the function as
645    needed then.   */
646
647 void
648 cgraph_mark_if_needed (tree decl)
649 {
650   struct cgraph_node *node = cgraph_node (decl);
651   if (node->local.finalized && decide_is_function_needed (node, decl))
652     cgraph_mark_needed_node (node);
653 }
654
655 /* Verify cgraph nodes of given cgraph node.  */
656 void
657 verify_cgraph_node (struct cgraph_node *node)
658 {
659   struct cgraph_edge *e;
660   struct cgraph_node *main_clone;
661   struct function *this_cfun = DECL_STRUCT_FUNCTION (node->decl);
662   struct function *saved_cfun = cfun;
663   basic_block this_block;
664   block_stmt_iterator bsi;
665   bool error_found = false;
666
667   if (errorcount || sorrycount)
668     return;
669
670   timevar_push (TV_CGRAPH_VERIFY);
671   /* debug_generic_stmt needs correct cfun */
672   set_cfun (this_cfun);
673   for (e = node->callees; e; e = e->next_callee)
674     if (e->aux)
675       {
676         error ("aux field set for edge %s->%s",
677                cgraph_node_name (e->caller), cgraph_node_name (e->callee));
678         error_found = true;
679       }
680   if (node->count < 0)
681     {
682       error ("Execution count is negative");
683       error_found = true;
684     }
685   for (e = node->callers; e; e = e->next_caller)
686     {
687       if (e->count < 0)
688         {
689           error ("caller edge count is negative");
690           error_found = true;
691         }
692       if (e->frequency < 0)
693         {
694           error ("caller edge frequency is negative");
695           error_found = true;
696         }
697       if (e->frequency > CGRAPH_FREQ_MAX)
698         {
699           error ("caller edge frequency is too large");
700           error_found = true;
701         }
702       if (!e->inline_failed)
703         {
704           if (node->global.inlined_to
705               != (e->caller->global.inlined_to
706                   ? e->caller->global.inlined_to : e->caller))
707             {
708               error ("inlined_to pointer is wrong");
709               error_found = true;
710             }
711           if (node->callers->next_caller)
712             {
713               error ("multiple inline callers");
714               error_found = true;
715             }
716         }
717       else
718         if (node->global.inlined_to)
719           {
720             error ("inlined_to pointer set for noninline callers");
721             error_found = true;
722           }
723     }
724   if (!node->callers && node->global.inlined_to)
725     {
726       error ("inlined_to pointer is set but no predecessors found");
727       error_found = true;
728     }
729   if (node->global.inlined_to == node)
730     {
731       error ("inlined_to pointer refers to itself");
732       error_found = true;
733     }
734
735   for (main_clone = cgraph_node (node->decl); main_clone;
736        main_clone = main_clone->next_clone)
737     if (main_clone == node)
738       break;
739   if (!cgraph_node (node->decl))
740     {
741       error ("node not found in cgraph_hash");
742       error_found = true;
743     }
744
745   if (node->analyzed
746       && DECL_SAVED_TREE (node->decl) && !TREE_ASM_WRITTEN (node->decl)
747       && (!DECL_EXTERNAL (node->decl) || node->global.inlined_to))
748     {
749       if (this_cfun->cfg)
750         {
751           /* The nodes we're interested in are never shared, so walk
752              the tree ignoring duplicates.  */
753           struct pointer_set_t *visited_nodes = pointer_set_create ();
754           /* Reach the trees by walking over the CFG, and note the
755              enclosing basic-blocks in the call edges.  */
756           FOR_EACH_BB_FN (this_block, this_cfun)
757             for (bsi = bsi_start (this_block); !bsi_end_p (bsi); bsi_next (&bsi))
758               {
759                 tree stmt = bsi_stmt (bsi);
760                 tree call = get_call_expr_in (stmt);
761                 tree decl;
762                 if (call && (decl = get_callee_fndecl (call)))
763                   {
764                     struct cgraph_edge *e = cgraph_edge (node, stmt);
765                     if (e)
766                       {
767                         if (e->aux)
768                           {
769                             error ("shared call_stmt:");
770                             debug_generic_stmt (stmt);
771                             error_found = true;
772                           }
773                         if (e->callee->decl != cgraph_node (decl)->decl
774                             && e->inline_failed)
775                           {
776                             error ("edge points to wrong declaration:");
777                             debug_tree (e->callee->decl);
778                             fprintf (stderr," Instead of:");
779                             debug_tree (decl);
780                           }
781                         e->aux = (void *)1;
782                       }
783                     else
784                       {
785                         error ("missing callgraph edge for call stmt:");
786                         debug_generic_stmt (stmt);
787                         error_found = true;
788                       }
789                   }
790               }
791           pointer_set_destroy (visited_nodes);
792         }
793       else
794         /* No CFG available?!  */
795         gcc_unreachable ();
796
797       for (e = node->callees; e; e = e->next_callee)
798         {
799           if (!e->aux)
800             {
801               error ("edge %s->%s has no corresponding call_stmt",
802                      cgraph_node_name (e->caller),
803                      cgraph_node_name (e->callee));
804               debug_generic_stmt (e->call_stmt);
805               error_found = true;
806             }
807           e->aux = 0;
808         }
809     }
810   if (error_found)
811     {
812       dump_cgraph_node (stderr, node);
813       internal_error ("verify_cgraph_node failed");
814     }
815   set_cfun (saved_cfun);
816   timevar_pop (TV_CGRAPH_VERIFY);
817 }
818
819 /* Verify whole cgraph structure.  */
820 void
821 verify_cgraph (void)
822 {
823   struct cgraph_node *node;
824
825   if (sorrycount || errorcount)
826     return;
827
828   for (node = cgraph_nodes; node; node = node->next)
829     verify_cgraph_node (node);
830 }
831
832 /* Output all asm statements we have stored up to be output.  */
833
834 static void
835 cgraph_output_pending_asms (void)
836 {
837   struct cgraph_asm_node *can;
838
839   if (errorcount || sorrycount)
840     return;
841
842   for (can = cgraph_asm_nodes; can; can = can->next)
843     assemble_asm (can->asm_str);
844   cgraph_asm_nodes = NULL;
845 }
846
847 /* Analyze the function scheduled to be output.  */
848 void
849 cgraph_analyze_function (struct cgraph_node *node)
850 {
851   tree decl = node->decl;
852
853   current_function_decl = decl;
854   push_cfun (DECL_STRUCT_FUNCTION (decl));
855   cgraph_lower_function (node);
856   node->analyzed = true;
857
858   if (!flag_unit_at_a_time && !sorrycount && !errorcount)
859     {
860       bitmap_obstack_initialize (NULL);
861       tree_register_cfg_hooks ();
862       execute_pass_list (pass_early_local_passes.pass.sub);
863       free_dominance_info (CDI_POST_DOMINATORS);
864       free_dominance_info (CDI_DOMINATORS);
865       bitmap_obstack_release (NULL);
866     }
867
868   pop_cfun ();
869   current_function_decl = NULL;
870 }
871
872 /* Look for externally_visible and used attributes and mark cgraph nodes
873    accordingly.
874
875    We cannot mark the nodes at the point the attributes are processed (in
876    handle_*_attribute) because the copy of the declarations available at that
877    point may not be canonical.  For example, in:
878
879     void f();
880     void f() __attribute__((used));
881
882    the declaration we see in handle_used_attribute will be the second
883    declaration -- but the front end will subsequently merge that declaration
884    with the original declaration and discard the second declaration.
885
886    Furthermore, we can't mark these nodes in cgraph_finalize_function because:
887
888     void f() {}
889     void f() __attribute__((externally_visible));
890
891    is valid.
892
893    So, we walk the nodes at the end of the translation unit, applying the
894    attributes at that point.  */
895
896 static void
897 process_function_and_variable_attributes (struct cgraph_node *first,
898                                           struct varpool_node *first_var)
899 {
900   struct cgraph_node *node;
901   struct varpool_node *vnode;
902
903   for (node = cgraph_nodes; node != first; node = node->next)
904     {
905       tree decl = node->decl;
906       if (lookup_attribute ("used", DECL_ATTRIBUTES (decl)))
907         {
908           mark_decl_referenced (decl);
909           if (node->local.finalized)
910              cgraph_mark_needed_node (node);
911         }
912       if (lookup_attribute ("externally_visible", DECL_ATTRIBUTES (decl)))
913         {
914           if (! TREE_PUBLIC (node->decl))
915             warning (OPT_Wattributes,
916                      "%J%<externally_visible%> attribute have effect only on public objects",
917                      node->decl);
918           else
919             {
920               if (node->local.finalized)
921                 cgraph_mark_needed_node (node);
922               node->local.externally_visible = true;
923             }
924         }
925     }
926   for (vnode = varpool_nodes; vnode != first_var; vnode = vnode->next)
927     {
928       tree decl = vnode->decl;
929       if (lookup_attribute ("used", DECL_ATTRIBUTES (decl)))
930         {
931           mark_decl_referenced (decl);
932           if (vnode->finalized)
933             varpool_mark_needed_node (vnode);
934         }
935       if (lookup_attribute ("externally_visible", DECL_ATTRIBUTES (decl)))
936         {
937           if (! TREE_PUBLIC (vnode->decl))
938             warning (OPT_Wattributes,
939                      "%J%<externally_visible%> attribute have effect only on public objects",
940                      vnode->decl);
941           else
942             {
943               if (vnode->finalized)
944                 varpool_mark_needed_node (vnode);
945               vnode->externally_visible = true;
946             }
947         }
948     }
949 }
950
951 /* Process CGRAPH_NODES_NEEDED queue, analyze each function (and transitively
952    each reachable functions) and build cgraph.
953    The function can be called multiple times after inserting new nodes
954    into beginning of queue.  Just the new part of queue is re-scanned then.  */
955
956 static void
957 cgraph_analyze_functions (void)
958 {
959   /* Keep track of already processed nodes when called multiple times for
960      intermodule optimization.  */
961   static struct cgraph_node *first_analyzed;
962   struct cgraph_node *first_processed = first_analyzed;
963   static struct varpool_node *first_analyzed_var;
964   struct cgraph_node *node, *next;
965
966   process_function_and_variable_attributes (first_processed,
967                                             first_analyzed_var);
968   first_processed = cgraph_nodes;
969   first_analyzed_var = varpool_nodes;
970   varpool_analyze_pending_decls ();
971   if (cgraph_dump_file)
972     {
973       fprintf (cgraph_dump_file, "Initial entry points:");
974       for (node = cgraph_nodes; node != first_analyzed; node = node->next)
975         if (node->needed && DECL_SAVED_TREE (node->decl))
976           fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
977       fprintf (cgraph_dump_file, "\n");
978     }
979   cgraph_process_new_functions ();
980
981   /* Propagate reachability flag and lower representation of all reachable
982      functions.  In the future, lowering will introduce new functions and
983      new entry points on the way (by template instantiation and virtual
984      method table generation for instance).  */
985   while (cgraph_nodes_queue)
986     {
987       struct cgraph_edge *edge;
988       tree decl = cgraph_nodes_queue->decl;
989
990       node = cgraph_nodes_queue;
991       cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
992       node->next_needed = NULL;
993
994       /* ??? It is possible to create extern inline function and later using
995          weak alias attribute to kill its body. See
996          gcc.c-torture/compile/20011119-1.c  */
997       if (!DECL_SAVED_TREE (decl))
998         {
999           cgraph_reset_node (node);
1000           continue;
1001         }
1002
1003       gcc_assert (!node->analyzed && node->reachable);
1004       gcc_assert (DECL_SAVED_TREE (decl));
1005
1006       cgraph_analyze_function (node);
1007
1008       for (edge = node->callees; edge; edge = edge->next_callee)
1009         if (!edge->callee->reachable)
1010           cgraph_mark_reachable_node (edge->callee);
1011
1012       /* We finalize local static variables during constructing callgraph
1013          edges.  Process their attributes too.  */
1014       process_function_and_variable_attributes (first_processed,
1015                                                 first_analyzed_var);
1016       first_processed = cgraph_nodes;
1017       first_analyzed_var = varpool_nodes;
1018       varpool_analyze_pending_decls ();
1019       cgraph_process_new_functions ();
1020     }
1021
1022   /* Collect entry points to the unit.  */
1023   if (cgraph_dump_file)
1024     {
1025       fprintf (cgraph_dump_file, "Unit entry points:");
1026       for (node = cgraph_nodes; node != first_analyzed; node = node->next)
1027         if (node->needed && DECL_SAVED_TREE (node->decl))
1028           fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1029       fprintf (cgraph_dump_file, "\n\nInitial ");
1030       dump_cgraph (cgraph_dump_file);
1031     }
1032
1033   if (cgraph_dump_file)
1034     fprintf (cgraph_dump_file, "\nReclaiming functions:");
1035
1036   for (node = cgraph_nodes; node != first_analyzed; node = next)
1037     {
1038       tree decl = node->decl;
1039       next = node->next;
1040
1041       if (node->local.finalized && !DECL_SAVED_TREE (decl))
1042         cgraph_reset_node (node);
1043
1044       if (!node->reachable && DECL_SAVED_TREE (decl))
1045         {
1046           if (cgraph_dump_file)
1047             fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1048           cgraph_remove_node (node);
1049           continue;
1050         }
1051       else
1052         node->next_needed = NULL;
1053       gcc_assert (!node->local.finalized || DECL_SAVED_TREE (decl));
1054       gcc_assert (node->analyzed == node->local.finalized);
1055     }
1056   if (cgraph_dump_file)
1057     {
1058       fprintf (cgraph_dump_file, "\n\nReclaimed ");
1059       dump_cgraph (cgraph_dump_file);
1060     }
1061   first_analyzed = cgraph_nodes;
1062   ggc_collect ();
1063 }
1064
1065 /* Analyze the whole compilation unit once it is parsed completely.  */
1066
1067 void
1068 cgraph_finalize_compilation_unit (void)
1069 {
1070   if (errorcount || sorrycount)
1071     return;
1072
1073   finish_aliases_1 ();
1074
1075   if (!flag_unit_at_a_time)
1076     {
1077       cgraph_output_pending_asms ();
1078       cgraph_assemble_pending_functions ();
1079       varpool_output_debug_info ();
1080       return;
1081     }
1082
1083   if (!quiet_flag)
1084     {
1085       fprintf (stderr, "\nAnalyzing compilation unit\n");
1086       fflush (stderr);
1087     }
1088
1089   timevar_push (TV_CGRAPH);
1090   cgraph_analyze_functions ();
1091   timevar_pop (TV_CGRAPH);
1092 }
1093 /* Figure out what functions we want to assemble.  */
1094
1095 static void
1096 cgraph_mark_functions_to_output (void)
1097 {
1098   struct cgraph_node *node;
1099
1100   for (node = cgraph_nodes; node; node = node->next)
1101     {
1102       tree decl = node->decl;
1103       struct cgraph_edge *e;
1104
1105       gcc_assert (!node->output);
1106
1107       for (e = node->callers; e; e = e->next_caller)
1108         if (e->inline_failed)
1109           break;
1110
1111       /* We need to output all local functions that are used and not
1112          always inlined, as well as those that are reachable from
1113          outside the current compilation unit.  */
1114       if (DECL_SAVED_TREE (decl)
1115           && !node->global.inlined_to
1116           && (node->needed
1117               || (e && node->reachable))
1118           && !TREE_ASM_WRITTEN (decl)
1119           && !DECL_EXTERNAL (decl))
1120         node->output = 1;
1121       else
1122         {
1123           /* We should've reclaimed all functions that are not needed.  */
1124 #ifdef ENABLE_CHECKING
1125           if (!node->global.inlined_to && DECL_SAVED_TREE (decl)
1126               && !DECL_EXTERNAL (decl))
1127             {
1128               dump_cgraph_node (stderr, node);
1129               internal_error ("failed to reclaim unneeded function");
1130             }
1131 #endif
1132           gcc_assert (node->global.inlined_to || !DECL_SAVED_TREE (decl)
1133                       || DECL_EXTERNAL (decl));
1134
1135         }
1136
1137     }
1138 }
1139
1140 /* Expand function specified by NODE.  */
1141
1142 static void
1143 cgraph_expand_function (struct cgraph_node *node)
1144 {
1145   tree decl = node->decl;
1146
1147   /* We ought to not compile any inline clones.  */
1148   gcc_assert (!node->global.inlined_to);
1149
1150   if (flag_unit_at_a_time)
1151     announce_function (decl);
1152
1153   gcc_assert (node->lowered);
1154
1155   /* Generate RTL for the body of DECL.  */
1156   if (lang_hooks.callgraph.emit_associated_thunks)
1157     lang_hooks.callgraph.emit_associated_thunks (decl);
1158   tree_rest_of_compilation (decl);
1159
1160   /* Make sure that BE didn't give up on compiling.  */
1161   /* ??? Can happen with nested function of extern inline.  */
1162   gcc_assert (TREE_ASM_WRITTEN (decl));
1163
1164   current_function_decl = NULL;
1165   if (!cgraph_preserve_function_body_p (decl))
1166     {
1167       cgraph_release_function_body (node);
1168       /* Eliminate all call edges.  This is important so the call_expr no longer
1169          points to the dead function body.  */
1170       cgraph_node_remove_callees (node);
1171     }
1172
1173   cgraph_function_flags_ready = true;
1174 }
1175
1176 /* Return true when CALLER_DECL should be inlined into CALLEE_DECL.  */
1177
1178 bool
1179 cgraph_inline_p (struct cgraph_edge *e, const char **reason)
1180 {
1181   *reason = e->inline_failed;
1182   return !e->inline_failed;
1183 }
1184
1185
1186
1187 /* Expand all functions that must be output.
1188
1189    Attempt to topologically sort the nodes so function is output when
1190    all called functions are already assembled to allow data to be
1191    propagated across the callgraph.  Use a stack to get smaller distance
1192    between a function and its callees (later we may choose to use a more
1193    sophisticated algorithm for function reordering; we will likely want
1194    to use subsections to make the output functions appear in top-down
1195    order).  */
1196
1197 static void
1198 cgraph_expand_all_functions (void)
1199 {
1200   struct cgraph_node *node;
1201   struct cgraph_node **order = XCNEWVEC (struct cgraph_node *, cgraph_n_nodes);
1202   int order_pos, new_order_pos = 0;
1203   int i;
1204
1205   order_pos = cgraph_postorder (order);
1206   gcc_assert (order_pos == cgraph_n_nodes);
1207
1208   /* Garbage collector may remove inline clones we eliminate during
1209      optimization.  So we must be sure to not reference them.  */
1210   for (i = 0; i < order_pos; i++)
1211     if (order[i]->output)
1212       order[new_order_pos++] = order[i];
1213
1214   for (i = new_order_pos - 1; i >= 0; i--)
1215     {
1216       node = order[i];
1217       if (node->output)
1218         {
1219           gcc_assert (node->reachable);
1220           node->output = 0;
1221           cgraph_expand_function (node);
1222         }
1223     }
1224   cgraph_process_new_functions ();
1225
1226   free (order);
1227
1228 }
1229
1230 /* This is used to sort the node types by the cgraph order number.  */
1231
1232 struct cgraph_order_sort
1233 {
1234   enum { ORDER_UNDEFINED = 0, ORDER_FUNCTION, ORDER_VAR, ORDER_ASM } kind;
1235   union
1236   {
1237     struct cgraph_node *f;
1238     struct varpool_node *v;
1239     struct cgraph_asm_node *a;
1240   } u;
1241 };
1242
1243 /* Output all functions, variables, and asm statements in the order
1244    according to their order fields, which is the order in which they
1245    appeared in the file.  This implements -fno-toplevel-reorder.  In
1246    this mode we may output functions and variables which don't really
1247    need to be output.  */
1248
1249 static void
1250 cgraph_output_in_order (void)
1251 {
1252   int max;
1253   size_t size;
1254   struct cgraph_order_sort *nodes;
1255   int i;
1256   struct cgraph_node *pf;
1257   struct varpool_node *pv;
1258   struct cgraph_asm_node *pa;
1259
1260   max = cgraph_order;
1261   size = max * sizeof (struct cgraph_order_sort);
1262   nodes = (struct cgraph_order_sort *) alloca (size);
1263   memset (nodes, 0, size);
1264
1265   varpool_analyze_pending_decls ();
1266
1267   for (pf = cgraph_nodes; pf; pf = pf->next)
1268     {
1269       if (pf->output)
1270         {
1271           i = pf->order;
1272           gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1273           nodes[i].kind = ORDER_FUNCTION;
1274           nodes[i].u.f = pf;
1275         }
1276     }
1277
1278   for (pv = varpool_nodes_queue; pv; pv = pv->next_needed)
1279     {
1280       i = pv->order;
1281       gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1282       nodes[i].kind = ORDER_VAR;
1283       nodes[i].u.v = pv;
1284     }
1285
1286   for (pa = cgraph_asm_nodes; pa; pa = pa->next)
1287     {
1288       i = pa->order;
1289       gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1290       nodes[i].kind = ORDER_ASM;
1291       nodes[i].u.a = pa;
1292     }
1293
1294   for (i = 0; i < max; ++i)
1295     {
1296       switch (nodes[i].kind)
1297         {
1298         case ORDER_FUNCTION:
1299           nodes[i].u.f->output = 0;
1300           cgraph_expand_function (nodes[i].u.f);
1301           break;
1302
1303         case ORDER_VAR:
1304           varpool_assemble_decl (nodes[i].u.v);
1305           break;
1306
1307         case ORDER_ASM:
1308           assemble_asm (nodes[i].u.a->asm_str);
1309           break;
1310
1311         case ORDER_UNDEFINED:
1312           break;
1313
1314         default:
1315           gcc_unreachable ();
1316         }
1317     }
1318
1319   cgraph_asm_nodes = NULL;
1320 }
1321
1322 /* Return true when function body of DECL still needs to be kept around
1323    for later re-use.  */
1324 bool
1325 cgraph_preserve_function_body_p (tree decl)
1326 {
1327   struct cgraph_node *node;
1328   if (!cgraph_global_info_ready)
1329     return (flag_really_no_inline
1330             ? DECL_DISREGARD_INLINE_LIMITS (decl)
1331             : DECL_INLINE (decl));
1332   /* Look if there is any clone around.  */
1333   for (node = cgraph_node (decl); node; node = node->next_clone)
1334     if (node->global.inlined_to)
1335       return true;
1336   return false;
1337 }
1338
1339 static void
1340 ipa_passes (void)
1341 {
1342   set_cfun (NULL);
1343   current_function_decl = NULL;
1344   tree_register_cfg_hooks ();
1345   bitmap_obstack_initialize (NULL);
1346   execute_ipa_pass_list (all_ipa_passes);
1347   bitmap_obstack_release (NULL);
1348 }
1349
1350 /* Perform simple optimizations based on callgraph.  */
1351
1352 void
1353 cgraph_optimize (void)
1354 {
1355   if (errorcount || sorrycount)
1356     return;
1357
1358 #ifdef ENABLE_CHECKING
1359   verify_cgraph ();
1360 #endif
1361
1362   /* Call functions declared with the "constructor" or "destructor"
1363      attribute.  */
1364   cgraph_build_cdtor_fns ();
1365   if (!flag_unit_at_a_time)
1366     {
1367       cgraph_assemble_pending_functions ();
1368       cgraph_process_new_functions ();
1369       cgraph_state = CGRAPH_STATE_FINISHED;
1370       cgraph_output_pending_asms ();
1371       varpool_assemble_pending_decls ();
1372       varpool_output_debug_info ();
1373       return;
1374     }
1375
1376   /* Frontend may output common variables after the unit has been finalized.
1377      It is safe to deal with them here as they are always zero initialized.  */
1378   varpool_analyze_pending_decls ();
1379   cgraph_analyze_functions ();
1380
1381   timevar_push (TV_CGRAPHOPT);
1382   if (pre_ipa_mem_report)
1383     {
1384       fprintf (stderr, "Memory consumption before IPA\n");
1385       dump_memory_report (false);
1386     }
1387   if (!quiet_flag)
1388     fprintf (stderr, "Performing interprocedural optimizations\n");
1389   cgraph_state = CGRAPH_STATE_IPA;
1390
1391   /* Don't run the IPA passes if there was any error or sorry messages.  */
1392   if (errorcount == 0 && sorrycount == 0)
1393     ipa_passes ();
1394
1395   /* This pass remove bodies of extern inline functions we never inlined.
1396      Do this later so other IPA passes see what is really going on.  */
1397   cgraph_remove_unreachable_nodes (false, dump_file);
1398   cgraph_global_info_ready = true;
1399   if (cgraph_dump_file)
1400     {
1401       fprintf (cgraph_dump_file, "Optimized ");
1402       dump_cgraph (cgraph_dump_file);
1403       dump_varpool (cgraph_dump_file);
1404     }
1405   if (post_ipa_mem_report)
1406     {
1407       fprintf (stderr, "Memory consumption after IPA\n");
1408       dump_memory_report (false);
1409     }
1410   timevar_pop (TV_CGRAPHOPT);
1411
1412   /* Output everything.  */
1413   if (!quiet_flag)
1414     fprintf (stderr, "Assembling functions:\n");
1415 #ifdef ENABLE_CHECKING
1416   verify_cgraph ();
1417 #endif
1418
1419   cgraph_mark_functions_to_output ();
1420
1421   cgraph_state = CGRAPH_STATE_EXPANSION;
1422   if (!flag_toplevel_reorder)
1423     cgraph_output_in_order ();
1424   else
1425     {
1426       cgraph_output_pending_asms ();
1427
1428       cgraph_expand_all_functions ();
1429       varpool_remove_unreferenced_decls ();
1430
1431       varpool_assemble_pending_decls ();
1432     }
1433   varpool_output_debug_info ();
1434   cgraph_process_new_functions ();
1435   cgraph_state = CGRAPH_STATE_FINISHED;
1436
1437   if (cgraph_dump_file)
1438     {
1439       fprintf (cgraph_dump_file, "\nFinal ");
1440       dump_cgraph (cgraph_dump_file);
1441     }
1442 #ifdef ENABLE_CHECKING
1443   verify_cgraph ();
1444   /* Double check that all inline clones are gone and that all
1445      function bodies have been released from memory.  */
1446   if (flag_unit_at_a_time
1447       && !(sorrycount || errorcount))
1448     {
1449       struct cgraph_node *node;
1450       bool error_found = false;
1451
1452       for (node = cgraph_nodes; node; node = node->next)
1453         if (node->analyzed
1454             && (node->global.inlined_to
1455                 || DECL_SAVED_TREE (node->decl)))
1456           {
1457             error_found = true;
1458             dump_cgraph_node (stderr, node);
1459           }
1460       if (error_found)
1461         internal_error ("nodes with unreleased memory found");
1462     }
1463 #endif
1464 }
1465 /* Generate and emit a static constructor or destructor.  WHICH must
1466    be one of 'I' (for a constructor) or 'D' (for a destructor).  BODY
1467    is a STATEMENT_LIST containing GENERIC statements.  PRIORITY is the
1468    initialization priority for this constructor or destructor.  */
1469
1470 void
1471 cgraph_build_static_cdtor (char which, tree body, int priority)
1472 {
1473   static int counter = 0;
1474   char which_buf[16];
1475   tree decl, name, resdecl;
1476
1477   /* The priority is encoded in the constructor or destructor name.
1478      collect2 will sort the names and arrange that they are called at
1479      program startup.  */
1480   sprintf (which_buf, "%c_%.5d_%d", which, priority, counter++);
1481   name = get_file_function_name (which_buf);
1482
1483   decl = build_decl (FUNCTION_DECL, name,
1484                      build_function_type (void_type_node, void_list_node));
1485   current_function_decl = decl;
1486
1487   resdecl = build_decl (RESULT_DECL, NULL_TREE, void_type_node);
1488   DECL_ARTIFICIAL (resdecl) = 1;
1489   DECL_RESULT (decl) = resdecl;
1490
1491   allocate_struct_function (decl, false);
1492
1493   TREE_STATIC (decl) = 1;
1494   TREE_USED (decl) = 1;
1495   DECL_ARTIFICIAL (decl) = 1;
1496   DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (decl) = 1;
1497   DECL_SAVED_TREE (decl) = body;
1498   TREE_PUBLIC (decl) = ! targetm.have_ctors_dtors;
1499   DECL_UNINLINABLE (decl) = 1;
1500
1501   DECL_INITIAL (decl) = make_node (BLOCK);
1502   TREE_USED (DECL_INITIAL (decl)) = 1;
1503
1504   DECL_SOURCE_LOCATION (decl) = input_location;
1505   cfun->function_end_locus = input_location;
1506
1507   switch (which)
1508     {
1509     case 'I':
1510       DECL_STATIC_CONSTRUCTOR (decl) = 1;
1511       decl_init_priority_insert (decl, priority);
1512       break;
1513     case 'D':
1514       DECL_STATIC_DESTRUCTOR (decl) = 1;
1515       decl_fini_priority_insert (decl, priority);
1516       break;
1517     default:
1518       gcc_unreachable ();
1519     }
1520
1521   gimplify_function_tree (decl);
1522
1523   cgraph_add_new_function (decl, false);
1524   cgraph_mark_needed_node (cgraph_node (decl));
1525   set_cfun (NULL);
1526 }
1527
1528 void
1529 init_cgraph (void)
1530 {
1531   cgraph_dump_file = dump_begin (TDI_cgraph, NULL);
1532 }
1533
1534 /* The edges representing the callers of the NEW_VERSION node were
1535    fixed by cgraph_function_versioning (), now the call_expr in their
1536    respective tree code should be updated to call the NEW_VERSION.  */
1537
1538 static void
1539 update_call_expr (struct cgraph_node *new_version)
1540 {
1541   struct cgraph_edge *e;
1542
1543   gcc_assert (new_version);
1544   for (e = new_version->callers; e; e = e->next_caller)
1545     /* Update the call expr on the edges
1546        to call the new version.  */
1547     TREE_OPERAND (CALL_EXPR_FN (get_call_expr_in (e->call_stmt)), 0) = new_version->decl;
1548 }
1549
1550
1551 /* Create a new cgraph node which is the new version of
1552    OLD_VERSION node.  REDIRECT_CALLERS holds the callers
1553    edges which should be redirected to point to
1554    NEW_VERSION.  ALL the callees edges of OLD_VERSION
1555    are cloned to the new version node.  Return the new
1556    version node.  */
1557
1558 static struct cgraph_node *
1559 cgraph_copy_node_for_versioning (struct cgraph_node *old_version,
1560                                  tree new_decl,
1561                                  VEC(cgraph_edge_p,heap) *redirect_callers)
1562  {
1563    struct cgraph_node *new_version;
1564    struct cgraph_edge *e, *new_e;
1565    struct cgraph_edge *next_callee;
1566    unsigned i;
1567
1568    gcc_assert (old_version);
1569
1570    new_version = cgraph_node (new_decl);
1571
1572    new_version->analyzed = true;
1573    new_version->local = old_version->local;
1574    new_version->global = old_version->global;
1575    new_version->rtl = new_version->rtl;
1576    new_version->reachable = true;
1577    new_version->count = old_version->count;
1578
1579    /* Clone the old node callees.  Recursive calls are
1580       also cloned.  */
1581    for (e = old_version->callees;e; e=e->next_callee)
1582      {
1583        new_e = cgraph_clone_edge (e, new_version, e->call_stmt, 0, e->frequency,
1584                                   e->loop_nest, true);
1585        new_e->count = e->count;
1586      }
1587    /* Fix recursive calls.
1588       If OLD_VERSION has a recursive call after the
1589       previous edge cloning, the new version will have an edge
1590       pointing to the old version, which is wrong;
1591       Redirect it to point to the new version. */
1592    for (e = new_version->callees ; e; e = next_callee)
1593      {
1594        next_callee = e->next_callee;
1595        if (e->callee == old_version)
1596          cgraph_redirect_edge_callee (e, new_version);
1597
1598        if (!next_callee)
1599          break;
1600      }
1601    for (i = 0; VEC_iterate (cgraph_edge_p, redirect_callers, i, e); i++)
1602      {
1603        /* Redirect calls to the old version node to point to its new
1604           version.  */
1605        cgraph_redirect_edge_callee (e, new_version);
1606      }
1607
1608    return new_version;
1609  }
1610
1611  /* Perform function versioning.
1612     Function versioning includes copying of the tree and
1613     a callgraph update (creating a new cgraph node and updating
1614     its callees and callers).
1615
1616     REDIRECT_CALLERS varray includes the edges to be redirected
1617     to the new version.
1618
1619     TREE_MAP is a mapping of tree nodes we want to replace with
1620     new ones (according to results of prior analysis).
1621     OLD_VERSION_NODE is the node that is versioned.
1622     It returns the new version's cgraph node.  */
1623
1624 struct cgraph_node *
1625 cgraph_function_versioning (struct cgraph_node *old_version_node,
1626                             VEC(cgraph_edge_p,heap) *redirect_callers,
1627                             varray_type tree_map)
1628 {
1629   tree old_decl = old_version_node->decl;
1630   struct cgraph_node *new_version_node = NULL;
1631   tree new_decl;
1632
1633   if (!tree_versionable_function_p (old_decl))
1634     return NULL;
1635
1636   /* Make a new FUNCTION_DECL tree node for the
1637      new version. */
1638   new_decl = copy_node (old_decl);
1639
1640   /* Create the new version's call-graph node.
1641      and update the edges of the new node. */
1642   new_version_node =
1643     cgraph_copy_node_for_versioning (old_version_node, new_decl,
1644                                      redirect_callers);
1645
1646   /* Copy the OLD_VERSION_NODE function tree to the new version.  */
1647   tree_function_versioning (old_decl, new_decl, tree_map, false);
1648   /* Update the call_expr on the edges to call the new version node. */
1649   update_call_expr (new_version_node);
1650
1651   /* Update the new version's properties.
1652      Make The new version visible only within this translation unit.
1653      ??? We cannot use COMDAT linkage because there is no
1654      ABI support for this.  */
1655   DECL_EXTERNAL (new_version_node->decl) = 0;
1656   DECL_ONE_ONLY (new_version_node->decl) = 0;
1657   TREE_PUBLIC (new_version_node->decl) = 0;
1658   DECL_COMDAT (new_version_node->decl) = 0;
1659   new_version_node->local.externally_visible = 0;
1660   new_version_node->local.local = 1;
1661   new_version_node->lowered = true;
1662   return new_version_node;
1663 }
1664
1665 /* Produce separate function body for inline clones so the offline copy can be
1666    modified without affecting them.  */
1667 struct cgraph_node *
1668 save_inline_function_body (struct cgraph_node *node)
1669 {
1670   struct cgraph_node *first_clone;
1671
1672   gcc_assert (node == cgraph_node (node->decl));
1673
1674   cgraph_lower_function (node);
1675
1676   /* In non-unit-at-a-time we construct full fledged clone we never output to
1677      assembly file.  This clone is pointed out by inline_decl of original function
1678      and inlining infrastructure knows how to deal with this.  */
1679   if (!flag_unit_at_a_time)
1680     {
1681       struct cgraph_edge *e;
1682
1683       first_clone = cgraph_clone_node (node, node->count, 0, CGRAPH_FREQ_BASE,
1684                                        false);
1685       first_clone->needed = 0;
1686       first_clone->reachable = 1;
1687       /* Recursively clone all bodies.  */
1688       for (e = first_clone->callees; e; e = e->next_callee)
1689         if (!e->inline_failed)
1690           cgraph_clone_inlined_nodes (e, true, false);
1691     }
1692   else
1693     first_clone = node->next_clone;
1694
1695   first_clone->decl = copy_node (node->decl);
1696   node->next_clone = NULL;
1697   if (!flag_unit_at_a_time)
1698     node->inline_decl = first_clone->decl;
1699   first_clone->prev_clone = NULL;
1700   cgraph_insert_node_to_hashtable (first_clone);
1701   gcc_assert (first_clone == cgraph_node (first_clone->decl));
1702
1703   /* Copy the OLD_VERSION_NODE function tree to the new version.  */
1704   tree_function_versioning (node->decl, first_clone->decl, NULL, true);
1705
1706   DECL_EXTERNAL (first_clone->decl) = 0;
1707   DECL_ONE_ONLY (first_clone->decl) = 0;
1708   TREE_PUBLIC (first_clone->decl) = 0;
1709   DECL_COMDAT (first_clone->decl) = 0;
1710
1711   for (node = first_clone->next_clone; node; node = node->next_clone)
1712     node->decl = first_clone->decl;
1713 #ifdef ENABLE_CHECKING
1714   verify_cgraph_node (first_clone);
1715 #endif
1716   return first_clone;
1717 }
1718
1719 #include "gt-cgraphunit.h"