OSDN Git Service

2010-02-10 Tobias Burnus <burnus@net-b.de>
[pf3gnuchains/gcc-fork.git] / gcc / cgraphunit.c
1 /* Callgraph based interprocedural optimizations.
2    Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
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 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         Analyzing of all functions is deferred
81         to cgraph_finalize_compilation_unit and expansion into cgraph_optimize.
82
83         In cgraph_finalize_compilation_unit the reachable functions are
84         analyzed.  During analysis the call-graph edges from reachable
85         functions are constructed and their destinations are marked as
86         reachable.  References to functions and variables are discovered too
87         and variables found to be needed output to the assembly file.  Via
88         mark_referenced call in assemble_variable functions referenced by
89         static variables are noticed too.
90
91         The intra-procedural information is produced and its existence
92         indicated by global_info_ready.  Once this flag is set it is impossible
93         to change function from !reachable to reachable and thus
94         assemble_variable no longer call mark_referenced.
95
96         Finally the call-graph is topologically sorted and all reachable functions
97         that has not been completely inlined or are not external are output.
98
99         ??? It is possible that reference to function or variable is optimized
100         out.  We can not deal with this nicely because topological order is not
101         suitable for it.  For tree-ssa we may consider another pass doing
102         optimization and re-discovering reachable functions.
103
104         ??? Reorganize code so variables are output very last and only if they
105         really has been referenced by produced code, so we catch more cases
106         where reference has been optimized out.  */
107
108
109 #include "config.h"
110 #include "system.h"
111 #include "coretypes.h"
112 #include "tm.h"
113 #include "tree.h"
114 #include "rtl.h"
115 #include "tree-flow.h"
116 #include "tree-inline.h"
117 #include "langhooks.h"
118 #include "pointer-set.h"
119 #include "toplev.h"
120 #include "flags.h"
121 #include "ggc.h"
122 #include "debug.h"
123 #include "target.h"
124 #include "cgraph.h"
125 #include "diagnostic.h"
126 #include "timevar.h"
127 #include "params.h"
128 #include "fibheap.h"
129 #include "intl.h"
130 #include "function.h"
131 #include "ipa-prop.h"
132 #include "gimple.h"
133 #include "tree-iterator.h"
134 #include "tree-pass.h"
135 #include "tree-dump.h"
136 #include "output.h"
137 #include "coverage.h"
138 #include "plugin.h"
139
140 static void cgraph_expand_all_functions (void);
141 static void cgraph_mark_functions_to_output (void);
142 static void cgraph_expand_function (struct cgraph_node *);
143 static void cgraph_output_pending_asms (void);
144 static void cgraph_analyze_function (struct cgraph_node *);
145
146 static FILE *cgraph_dump_file;
147
148 /* A vector of FUNCTION_DECLs declared as static constructors.  */
149 static GTY (()) VEC(tree, gc) *static_ctors;
150 /* A vector of FUNCTION_DECLs declared as static destructors.  */
151 static GTY (()) VEC(tree, gc) *static_dtors;
152
153 /* Used for vtable lookup in thunk adjusting.  */
154 static GTY (()) tree vtable_entry_type;
155
156 /* When target does not have ctors and dtors, we call all constructor
157    and destructor by special initialization/destruction function
158    recognized by collect2.
159
160    When we are going to build this function, collect all constructors and
161    destructors and turn them into normal functions.  */
162
163 static void
164 record_cdtor_fn (tree fndecl)
165 {
166   struct cgraph_node *node;
167   if (targetm.have_ctors_dtors
168       || (!DECL_STATIC_CONSTRUCTOR (fndecl)
169           && !DECL_STATIC_DESTRUCTOR (fndecl)))
170     return;
171
172   if (DECL_STATIC_CONSTRUCTOR (fndecl))
173     {
174       VEC_safe_push (tree, gc, static_ctors, fndecl);
175       DECL_STATIC_CONSTRUCTOR (fndecl) = 0;
176     }
177   if (DECL_STATIC_DESTRUCTOR (fndecl))
178     {
179       VEC_safe_push (tree, gc, static_dtors, fndecl);
180       DECL_STATIC_DESTRUCTOR (fndecl) = 0;
181     }
182   node = cgraph_node (fndecl);
183   node->local.disregard_inline_limits = 1;
184   cgraph_mark_reachable_node (node);
185 }
186
187 /* Define global constructors/destructor functions for the CDTORS, of
188    which they are LEN.  The CDTORS are sorted by initialization
189    priority.  If CTOR_P is true, these are constructors; otherwise,
190    they are destructors.  */
191
192 static void
193 build_cdtor (bool ctor_p, tree *cdtors, size_t len)
194 {
195   size_t i;
196
197   i = 0;
198   while (i < len)
199     {
200       tree body;
201       tree fn;
202       priority_type priority;
203
204       priority = 0;
205       body = NULL_TREE;
206       /* Find the next batch of constructors/destructors with the same
207          initialization priority.  */
208       do
209         {
210           priority_type p;
211           fn = cdtors[i];
212           p = ctor_p ? DECL_INIT_PRIORITY (fn) : DECL_FINI_PRIORITY (fn);
213           if (!body)
214             priority = p;
215           else if (p != priority)
216             break;
217           append_to_statement_list (build_function_call_expr (UNKNOWN_LOCATION,
218                                                               fn, 0),
219                                     &body);
220           ++i;
221         }
222       while (i < len);
223       gcc_assert (body != NULL_TREE);
224       /* Generate a function to call all the function of like
225          priority.  */
226       cgraph_build_static_cdtor (ctor_p ? 'I' : 'D', body, priority);
227     }
228 }
229
230 /* Comparison function for qsort.  P1 and P2 are actually of type
231    "tree *" and point to static constructors.  DECL_INIT_PRIORITY is
232    used to determine the sort order.  */
233
234 static int
235 compare_ctor (const void *p1, const void *p2)
236 {
237   tree f1;
238   tree f2;
239   int priority1;
240   int priority2;
241
242   f1 = *(const tree *)p1;
243   f2 = *(const tree *)p2;
244   priority1 = DECL_INIT_PRIORITY (f1);
245   priority2 = DECL_INIT_PRIORITY (f2);
246
247   if (priority1 < priority2)
248     return -1;
249   else if (priority1 > priority2)
250     return 1;
251   else
252     /* Ensure a stable sort.  */
253     return (const tree *)p1 - (const tree *)p2;
254 }
255
256 /* Comparison function for qsort.  P1 and P2 are actually of type
257    "tree *" and point to static destructors.  DECL_FINI_PRIORITY is
258    used to determine the sort order.  */
259
260 static int
261 compare_dtor (const void *p1, const void *p2)
262 {
263   tree f1;
264   tree f2;
265   int priority1;
266   int priority2;
267
268   f1 = *(const tree *)p1;
269   f2 = *(const tree *)p2;
270   priority1 = DECL_FINI_PRIORITY (f1);
271   priority2 = DECL_FINI_PRIORITY (f2);
272
273   if (priority1 < priority2)
274     return -1;
275   else if (priority1 > priority2)
276     return 1;
277   else
278     /* Ensure a stable sort.  */
279     return (const tree *)p1 - (const tree *)p2;
280 }
281
282 /* Generate functions to call static constructors and destructors
283    for targets that do not support .ctors/.dtors sections.  These
284    functions have magic names which are detected by collect2.  */
285
286 static void
287 cgraph_build_cdtor_fns (void)
288 {
289   if (!VEC_empty (tree, static_ctors))
290     {
291       gcc_assert (!targetm.have_ctors_dtors);
292       qsort (VEC_address (tree, static_ctors),
293              VEC_length (tree, static_ctors),
294              sizeof (tree),
295              compare_ctor);
296       build_cdtor (/*ctor_p=*/true,
297                    VEC_address (tree, static_ctors),
298                    VEC_length (tree, static_ctors));
299       VEC_truncate (tree, static_ctors, 0);
300     }
301
302   if (!VEC_empty (tree, static_dtors))
303     {
304       gcc_assert (!targetm.have_ctors_dtors);
305       qsort (VEC_address (tree, static_dtors),
306              VEC_length (tree, static_dtors),
307              sizeof (tree),
308              compare_dtor);
309       build_cdtor (/*ctor_p=*/false,
310                    VEC_address (tree, static_dtors),
311                    VEC_length (tree, static_dtors));
312       VEC_truncate (tree, static_dtors, 0);
313     }
314 }
315
316 /* Determine if function DECL is needed.  That is, visible to something
317    either outside this translation unit, something magic in the system
318    configury.  */
319
320 bool
321 cgraph_decide_is_function_needed (struct cgraph_node *node, tree decl)
322 {
323   /* If the user told us it is used, then it must be so.  */
324   if (node->local.externally_visible)
325     return true;
326
327   /* ??? If the assembler name is set by hand, it is possible to assemble
328      the name later after finalizing the function and the fact is noticed
329      in assemble_name then.  This is arguably a bug.  */
330   if (DECL_ASSEMBLER_NAME_SET_P (decl)
331       && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
332     return true;
333
334   /* With -fkeep-inline-functions we are keeping all inline functions except
335      for extern inline ones.  */
336   if (flag_keep_inline_functions
337       && DECL_DECLARED_INLINE_P (decl)
338       && !DECL_EXTERNAL (decl)
339       && !lookup_attribute ("always_inline", DECL_ATTRIBUTES (decl)))
340      return true;
341
342   /* If we decided it was needed before, but at the time we didn't have
343      the body of the function available, then it's still needed.  We have
344      to go back and re-check its dependencies now.  */
345   if (node->needed)
346     return true;
347
348   /* Externally visible functions must be output.  The exception is
349      COMDAT functions that must be output only when they are needed.
350
351      When not optimizing, also output the static functions. (see
352      PR24561), but don't do so for always_inline functions, functions
353      declared inline and nested functions.  These was optimized out
354      in the original implementation and it is unclear whether we want
355      to change the behavior here.  */
356   if (((TREE_PUBLIC (decl)
357         || (!optimize && !node->local.disregard_inline_limits
358             && !DECL_DECLARED_INLINE_P (decl)
359             && !node->origin))
360        && !flag_whole_program
361        && !flag_lto
362        && !flag_whopr)
363       && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl))
364     return true;
365
366   /* Constructors and destructors are reachable from the runtime by
367      some mechanism.  */
368   if (DECL_STATIC_CONSTRUCTOR (decl) || DECL_STATIC_DESTRUCTOR (decl))
369     return true;
370
371   return false;
372 }
373
374 /* Process CGRAPH_NEW_FUNCTIONS and perform actions necessary to add these
375    functions into callgraph in a way so they look like ordinary reachable
376    functions inserted into callgraph already at construction time.  */
377
378 bool
379 cgraph_process_new_functions (void)
380 {
381   bool output = false;
382   tree fndecl;
383   struct cgraph_node *node;
384
385   /*  Note that this queue may grow as its being processed, as the new
386       functions may generate new ones.  */
387   while (cgraph_new_nodes)
388     {
389       node = cgraph_new_nodes;
390       fndecl = node->decl;
391       cgraph_new_nodes = cgraph_new_nodes->next_needed;
392       switch (cgraph_state)
393         {
394         case CGRAPH_STATE_CONSTRUCTION:
395           /* At construction time we just need to finalize function and move
396              it into reachable functions list.  */
397
398           node->next_needed = NULL;
399           cgraph_finalize_function (fndecl, false);
400           cgraph_mark_reachable_node (node);
401           output = true;
402           break;
403
404         case CGRAPH_STATE_IPA:
405         case CGRAPH_STATE_IPA_SSA:
406           /* When IPA optimization already started, do all essential
407              transformations that has been already performed on the whole
408              cgraph but not on this function.  */
409
410           gimple_register_cfg_hooks ();
411           if (!node->analyzed)
412             cgraph_analyze_function (node);
413           push_cfun (DECL_STRUCT_FUNCTION (fndecl));
414           current_function_decl = fndecl;
415           compute_inline_parameters (node);
416           if ((cgraph_state == CGRAPH_STATE_IPA_SSA
417               && !gimple_in_ssa_p (DECL_STRUCT_FUNCTION (fndecl)))
418               /* When not optimizing, be sure we run early local passes anyway
419                  to expand OMP.  */
420               || !optimize)
421             execute_pass_list (pass_early_local_passes.pass.sub);
422           free_dominance_info (CDI_POST_DOMINATORS);
423           free_dominance_info (CDI_DOMINATORS);
424           pop_cfun ();
425           current_function_decl = NULL;
426           break;
427
428         case CGRAPH_STATE_EXPANSION:
429           /* Functions created during expansion shall be compiled
430              directly.  */
431           node->process = 0;
432           cgraph_expand_function (node);
433           break;
434
435         default:
436           gcc_unreachable ();
437           break;
438         }
439       cgraph_call_function_insertion_hooks (node);
440     }
441   return output;
442 }
443
444 /* As an GCC extension we allow redefinition of the function.  The
445    semantics when both copies of bodies differ is not well defined.
446    We replace the old body with new body so in unit at a time mode
447    we always use new body, while in normal mode we may end up with
448    old body inlined into some functions and new body expanded and
449    inlined in others.
450
451    ??? It may make more sense to use one body for inlining and other
452    body for expanding the function but this is difficult to do.  */
453
454 static void
455 cgraph_reset_node (struct cgraph_node *node)
456 {
457   /* If node->process is set, then we have already begun whole-unit analysis.
458      This is *not* testing for whether we've already emitted the function.
459      That case can be sort-of legitimately seen with real function redefinition
460      errors.  I would argue that the front end should never present us with
461      such a case, but don't enforce that for now.  */
462   gcc_assert (!node->process);
463
464   /* Reset our data structures so we can analyze the function again.  */
465   memset (&node->local, 0, sizeof (node->local));
466   memset (&node->global, 0, sizeof (node->global));
467   memset (&node->rtl, 0, sizeof (node->rtl));
468   node->analyzed = false;
469   node->local.redefined_extern_inline = true;
470   node->local.finalized = false;
471
472   cgraph_node_remove_callees (node);
473
474   /* We may need to re-queue the node for assembling in case
475      we already proceeded it and ignored as not needed or got
476      a re-declaration in IMA mode.  */
477   if (node->reachable)
478     {
479       struct cgraph_node *n;
480
481       for (n = cgraph_nodes_queue; n; n = n->next_needed)
482         if (n == node)
483           break;
484       if (!n)
485         node->reachable = 0;
486     }
487 }
488
489 static void
490 cgraph_lower_function (struct cgraph_node *node)
491 {
492   if (node->lowered)
493     return;
494
495   if (node->nested)
496     lower_nested_functions (node->decl);
497   gcc_assert (!node->nested);
498
499   tree_lowering_passes (node->decl);
500   node->lowered = true;
501 }
502
503 /* DECL has been parsed.  Take it, queue it, compile it at the whim of the
504    logic in effect.  If NESTED is true, then our caller cannot stand to have
505    the garbage collector run at the moment.  We would need to either create
506    a new GC context, or just not compile right now.  */
507
508 void
509 cgraph_finalize_function (tree decl, bool nested)
510 {
511   struct cgraph_node *node = cgraph_node (decl);
512
513   if (node->local.finalized)
514     cgraph_reset_node (node);
515
516   node->pid = cgraph_max_pid ++;
517   notice_global_symbol (decl);
518   node->local.finalized = true;
519   node->lowered = DECL_STRUCT_FUNCTION (decl)->cfg != NULL;
520   node->finalized_by_frontend = true;
521   record_cdtor_fn (node->decl);
522
523   if (cgraph_decide_is_function_needed (node, decl))
524     cgraph_mark_needed_node (node);
525
526   /* Since we reclaim unreachable nodes at the end of every language
527      level unit, we need to be conservative about possible entry points
528      there.  */
529   if ((TREE_PUBLIC (decl) && !DECL_COMDAT (decl) && !DECL_EXTERNAL (decl)))
530     cgraph_mark_reachable_node (node);
531
532   /* If we've not yet emitted decl, tell the debug info about it.  */
533   if (!TREE_ASM_WRITTEN (decl))
534     (*debug_hooks->deferred_inline_function) (decl);
535
536   /* Possibly warn about unused parameters.  */
537   if (warn_unused_parameter)
538     do_warn_unused_parameter (decl);
539
540   if (!nested)
541     ggc_collect ();
542 }
543
544 /* C99 extern inline keywords allow changing of declaration after function
545    has been finalized.  We need to re-decide if we want to mark the function as
546    needed then.   */
547
548 void
549 cgraph_mark_if_needed (tree decl)
550 {
551   struct cgraph_node *node = cgraph_node (decl);
552   if (node->local.finalized && cgraph_decide_is_function_needed (node, decl))
553     cgraph_mark_needed_node (node);
554 }
555
556 /* Return TRUE if NODE2 is equivalent to NODE or its clone.  */
557 static bool
558 clone_of_p (struct cgraph_node *node, struct cgraph_node *node2)
559 {
560   while (node != node2 && node2)
561     node2 = node2->clone_of;
562   return node2 != NULL;
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 function *this_cfun = DECL_STRUCT_FUNCTION (node->decl);
571   struct function *saved_cfun = cfun;
572   basic_block this_block;
573   gimple_stmt_iterator gsi;
574   bool error_found = false;
575
576   if (errorcount || sorrycount)
577     return;
578
579   timevar_push (TV_CGRAPH_VERIFY);
580   /* debug_generic_stmt needs correct cfun */
581   set_cfun (this_cfun);
582   for (e = node->callees; e; e = e->next_callee)
583     if (e->aux)
584       {
585         error ("aux field set for edge %s->%s",
586                identifier_to_locale (cgraph_node_name (e->caller)),
587                identifier_to_locale (cgraph_node_name (e->callee)));
588         error_found = true;
589       }
590   if (node->count < 0)
591     {
592       error ("Execution count is negative");
593       error_found = true;
594     }
595   if (node->global.inlined_to && node->local.externally_visible)
596     {
597       error ("Externally visible inline clone");
598       error_found = true;
599     }
600   if (node->global.inlined_to && node->address_taken)
601     {
602       error ("Inline clone with address taken");
603       error_found = true;
604     }
605   if (node->global.inlined_to && node->needed)
606     {
607       error ("Inline clone is needed");
608       error_found = true;
609     }
610   for (e = node->callers; e; e = e->next_caller)
611     {
612       if (e->count < 0)
613         {
614           error ("caller edge count is negative");
615           error_found = true;
616         }
617       if (e->frequency < 0)
618         {
619           error ("caller edge frequency is negative");
620           error_found = true;
621         }
622       if (e->frequency > CGRAPH_FREQ_MAX)
623         {
624           error ("caller edge frequency is too large");
625           error_found = true;
626         }
627       if (gimple_has_body_p (e->caller->decl)
628           && !e->caller->global.inlined_to
629           && (e->frequency
630               != compute_call_stmt_bb_frequency (e->caller->decl,
631                                                  gimple_bb (e->call_stmt))))
632         {
633           error ("caller edge frequency %i does not match BB freqency %i",
634                  e->frequency,
635                  compute_call_stmt_bb_frequency (e->caller->decl,
636                                                  gimple_bb (e->call_stmt)));
637           error_found = true;
638         }
639       if (!e->inline_failed)
640         {
641           if (node->global.inlined_to
642               != (e->caller->global.inlined_to
643                   ? e->caller->global.inlined_to : e->caller))
644             {
645               error ("inlined_to pointer is wrong");
646               error_found = true;
647             }
648           if (node->callers->next_caller)
649             {
650               error ("multiple inline callers");
651               error_found = true;
652             }
653         }
654       else
655         if (node->global.inlined_to)
656           {
657             error ("inlined_to pointer set for noninline callers");
658             error_found = true;
659           }
660     }
661   if (!node->callers && node->global.inlined_to)
662     {
663       error ("inlined_to pointer is set but no predecessors found");
664       error_found = true;
665     }
666   if (node->global.inlined_to == node)
667     {
668       error ("inlined_to pointer refers to itself");
669       error_found = true;
670     }
671
672   if (!cgraph_node (node->decl))
673     {
674       error ("node not found in cgraph_hash");
675       error_found = true;
676     }
677
678   if (node->clone_of)
679     {
680       struct cgraph_node *n;
681       for (n = node->clone_of->clones; n; n = n->next_sibling_clone)
682         if (n == node)
683           break;
684       if (!n)
685         {
686           error ("node has wrong clone_of");
687           error_found = true;
688         }
689     }
690   if (node->clones)
691     {
692       struct cgraph_node *n;
693       for (n = node->clones; n; n = n->next_sibling_clone)
694         if (n->clone_of != node)
695           break;
696       if (n)
697         {
698           error ("node has wrong clone list");
699           error_found = true;
700         }
701     }
702   if ((node->prev_sibling_clone || node->next_sibling_clone) && !node->clone_of)
703     {
704        error ("node is in clone list but it is not clone");
705        error_found = true;
706     }
707   if (!node->prev_sibling_clone && node->clone_of && node->clone_of->clones != node)
708     {
709       error ("node has wrong prev_clone pointer");
710       error_found = true;
711     }
712   if (node->prev_sibling_clone && node->prev_sibling_clone->next_sibling_clone != node)
713     {
714       error ("double linked list of clones corrupted");
715       error_found = true;
716     }
717
718   if (node->analyzed && gimple_has_body_p (node->decl)
719       && !TREE_ASM_WRITTEN (node->decl)
720       && (!DECL_EXTERNAL (node->decl) || node->global.inlined_to)
721       && !flag_wpa)
722     {
723       if (this_cfun->cfg)
724         {
725           /* The nodes we're interested in are never shared, so walk
726              the tree ignoring duplicates.  */
727           struct pointer_set_t *visited_nodes = pointer_set_create ();
728           /* Reach the trees by walking over the CFG, and note the
729              enclosing basic-blocks in the call edges.  */
730           FOR_EACH_BB_FN (this_block, this_cfun)
731             for (gsi = gsi_start_bb (this_block);
732                  !gsi_end_p (gsi);
733                  gsi_next (&gsi))
734               {
735                 gimple stmt = gsi_stmt (gsi);
736                 tree decl;
737                 if (is_gimple_call (stmt) && (decl = gimple_call_fndecl (stmt)))
738                   {
739                     struct cgraph_edge *e = cgraph_edge (node, stmt);
740                     if (e)
741                       {
742                         if (e->aux)
743                           {
744                             error ("shared call_stmt:");
745                             debug_gimple_stmt (stmt);
746                             error_found = true;
747                           }
748                         if (e->callee->same_body_alias)
749                           {
750                             error ("edge points to same body alias:");
751                             debug_tree (e->callee->decl);
752                             error_found = true;
753                           }
754                         else if (!clone_of_p (cgraph_node (decl), e->callee)
755                                  && !e->callee->global.inlined_to)
756                           {
757                             error ("edge points to wrong declaration:");
758                             debug_tree (e->callee->decl);
759                             fprintf (stderr," Instead of:");
760                             debug_tree (decl);
761                             error_found = true;
762                           }
763                         e->aux = (void *)1;
764                       }
765                     else
766                       {
767                         error ("missing callgraph edge for call stmt:");
768                         debug_gimple_stmt (stmt);
769                         error_found = true;
770                       }
771                   }
772               }
773           pointer_set_destroy (visited_nodes);
774         }
775       else
776         /* No CFG available?!  */
777         gcc_unreachable ();
778
779       for (e = node->callees; e; e = e->next_callee)
780         {
781           if (!e->aux && !e->indirect_call)
782             {
783               error ("edge %s->%s has no corresponding call_stmt",
784                      identifier_to_locale (cgraph_node_name (e->caller)),
785                      identifier_to_locale (cgraph_node_name (e->callee)));
786               debug_gimple_stmt (e->call_stmt);
787               error_found = true;
788             }
789           e->aux = 0;
790         }
791     }
792   if (error_found)
793     {
794       dump_cgraph_node (stderr, node);
795       internal_error ("verify_cgraph_node failed");
796     }
797   set_cfun (saved_cfun);
798   timevar_pop (TV_CGRAPH_VERIFY);
799 }
800
801 /* Verify whole cgraph structure.  */
802 void
803 verify_cgraph (void)
804 {
805   struct cgraph_node *node;
806
807   if (sorrycount || errorcount)
808     return;
809
810   for (node = cgraph_nodes; node; node = node->next)
811     verify_cgraph_node (node);
812 }
813
814 /* Output all asm statements we have stored up to be output.  */
815
816 static void
817 cgraph_output_pending_asms (void)
818 {
819   struct cgraph_asm_node *can;
820
821   if (errorcount || sorrycount)
822     return;
823
824   for (can = cgraph_asm_nodes; can; can = can->next)
825     assemble_asm (can->asm_str);
826   cgraph_asm_nodes = NULL;
827 }
828
829 /* Analyze the function scheduled to be output.  */
830 static void
831 cgraph_analyze_function (struct cgraph_node *node)
832 {
833   tree save = current_function_decl;
834   tree decl = node->decl;
835
836   current_function_decl = decl;
837   push_cfun (DECL_STRUCT_FUNCTION (decl));
838
839   /* Make sure to gimplify bodies only once.  During analyzing a
840      function we lower it, which will require gimplified nested
841      functions, so we can end up here with an already gimplified
842      body.  */
843   if (!gimple_body (decl))
844     gimplify_function_tree (decl);
845   dump_function (TDI_generic, decl);
846
847   cgraph_lower_function (node);
848   node->analyzed = true;
849
850   pop_cfun ();
851   current_function_decl = save;
852 }
853
854 /* Look for externally_visible and used attributes and mark cgraph nodes
855    accordingly.
856
857    We cannot mark the nodes at the point the attributes are processed (in
858    handle_*_attribute) because the copy of the declarations available at that
859    point may not be canonical.  For example, in:
860
861     void f();
862     void f() __attribute__((used));
863
864    the declaration we see in handle_used_attribute will be the second
865    declaration -- but the front end will subsequently merge that declaration
866    with the original declaration and discard the second declaration.
867
868    Furthermore, we can't mark these nodes in cgraph_finalize_function because:
869
870     void f() {}
871     void f() __attribute__((externally_visible));
872
873    is valid.
874
875    So, we walk the nodes at the end of the translation unit, applying the
876    attributes at that point.  */
877
878 static void
879 process_function_and_variable_attributes (struct cgraph_node *first,
880                                           struct varpool_node *first_var)
881 {
882   struct cgraph_node *node;
883   struct varpool_node *vnode;
884
885   for (node = cgraph_nodes; node != first; node = node->next)
886     {
887       tree decl = node->decl;
888       if (lookup_attribute ("used", DECL_ATTRIBUTES (decl)))
889         {
890           mark_decl_referenced (decl);
891           if (node->local.finalized)
892              cgraph_mark_needed_node (node);
893         }
894       if (lookup_attribute ("externally_visible", DECL_ATTRIBUTES (decl)))
895         {
896           if (! TREE_PUBLIC (node->decl))
897             warning_at (DECL_SOURCE_LOCATION (node->decl), OPT_Wattributes,
898                         "%<externally_visible%>"
899                         " attribute have effect only on public objects");
900           else if (node->local.finalized)
901              cgraph_mark_needed_node (node);
902         }
903     }
904   for (vnode = varpool_nodes; vnode != first_var; vnode = vnode->next)
905     {
906       tree decl = vnode->decl;
907       if (lookup_attribute ("used", DECL_ATTRIBUTES (decl)))
908         {
909           mark_decl_referenced (decl);
910           vnode->force_output = true;
911           if (vnode->finalized)
912             varpool_mark_needed_node (vnode);
913         }
914       if (lookup_attribute ("externally_visible", DECL_ATTRIBUTES (decl)))
915         {
916           if (! TREE_PUBLIC (vnode->decl))
917             warning_at (DECL_SOURCE_LOCATION (vnode->decl), OPT_Wattributes,
918                         "%<externally_visible%>"
919                         " attribute have effect only on public objects");
920           else if (vnode->finalized)
921             varpool_mark_needed_node (vnode);
922         }
923     }
924 }
925
926 /* Process CGRAPH_NODES_NEEDED queue, analyze each function (and transitively
927    each reachable functions) and build cgraph.
928    The function can be called multiple times after inserting new nodes
929    into beginning of queue.  Just the new part of queue is re-scanned then.  */
930
931 static void
932 cgraph_analyze_functions (void)
933 {
934   /* Keep track of already processed nodes when called multiple times for
935      intermodule optimization.  */
936   static struct cgraph_node *first_analyzed;
937   struct cgraph_node *first_processed = first_analyzed;
938   static struct varpool_node *first_analyzed_var;
939   struct cgraph_node *node, *next;
940
941   process_function_and_variable_attributes (first_processed,
942                                             first_analyzed_var);
943   first_processed = cgraph_nodes;
944   first_analyzed_var = varpool_nodes;
945   varpool_analyze_pending_decls ();
946   if (cgraph_dump_file)
947     {
948       fprintf (cgraph_dump_file, "Initial entry points:");
949       for (node = cgraph_nodes; node != first_analyzed; node = node->next)
950         if (node->needed)
951           fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
952       fprintf (cgraph_dump_file, "\n");
953     }
954   cgraph_process_new_functions ();
955
956   /* Propagate reachability flag and lower representation of all reachable
957      functions.  In the future, lowering will introduce new functions and
958      new entry points on the way (by template instantiation and virtual
959      method table generation for instance).  */
960   while (cgraph_nodes_queue)
961     {
962       struct cgraph_edge *edge;
963       tree decl = cgraph_nodes_queue->decl;
964
965       node = cgraph_nodes_queue;
966       cgraph_nodes_queue = cgraph_nodes_queue->next_needed;
967       node->next_needed = NULL;
968
969       /* ??? It is possible to create extern inline function and later using
970          weak alias attribute to kill its body. See
971          gcc.c-torture/compile/20011119-1.c  */
972       if (!DECL_STRUCT_FUNCTION (decl))
973         {
974           cgraph_reset_node (node);
975           continue;
976         }
977
978       if (!node->analyzed)
979         cgraph_analyze_function (node);
980
981       for (edge = node->callees; edge; edge = edge->next_callee)
982         if (!edge->callee->reachable)
983           cgraph_mark_reachable_node (edge->callee);
984
985       if (node->same_comdat_group)
986         {
987           for (next = node->same_comdat_group;
988                next != node;
989                next = next->same_comdat_group)
990             cgraph_mark_reachable_node (next);
991         }
992
993       /* If decl is a clone of an abstract function, mark that abstract
994          function so that we don't release its body. The DECL_INITIAL() of that
995          abstract function declaration will be later needed to output debug info.  */
996       if (DECL_ABSTRACT_ORIGIN (decl))
997         {
998           struct cgraph_node *origin_node = cgraph_node (DECL_ABSTRACT_ORIGIN (decl));
999           origin_node->abstract_and_needed = true;
1000         }
1001
1002       /* We finalize local static variables during constructing callgraph
1003          edges.  Process their attributes too.  */
1004       process_function_and_variable_attributes (first_processed,
1005                                                 first_analyzed_var);
1006       first_processed = cgraph_nodes;
1007       first_analyzed_var = varpool_nodes;
1008       varpool_analyze_pending_decls ();
1009       cgraph_process_new_functions ();
1010     }
1011
1012   /* Collect entry points to the unit.  */
1013   if (cgraph_dump_file)
1014     {
1015       fprintf (cgraph_dump_file, "Unit entry points:");
1016       for (node = cgraph_nodes; node != first_analyzed; node = node->next)
1017         if (node->needed)
1018           fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1019       fprintf (cgraph_dump_file, "\n\nInitial ");
1020       dump_cgraph (cgraph_dump_file);
1021     }
1022
1023   if (cgraph_dump_file)
1024     fprintf (cgraph_dump_file, "\nReclaiming functions:");
1025
1026   for (node = cgraph_nodes; node != first_analyzed; node = next)
1027     {
1028       tree decl = node->decl;
1029       next = node->next;
1030
1031       if (node->local.finalized && !gimple_has_body_p (decl))
1032         cgraph_reset_node (node);
1033
1034       if (!node->reachable && gimple_has_body_p (decl))
1035         {
1036           if (cgraph_dump_file)
1037             fprintf (cgraph_dump_file, " %s", cgraph_node_name (node));
1038           cgraph_remove_node (node);
1039           continue;
1040         }
1041       else
1042         node->next_needed = NULL;
1043       gcc_assert (!node->local.finalized || gimple_has_body_p (decl));
1044       gcc_assert (node->analyzed == node->local.finalized);
1045     }
1046   if (cgraph_dump_file)
1047     {
1048       fprintf (cgraph_dump_file, "\n\nReclaimed ");
1049       dump_cgraph (cgraph_dump_file);
1050     }
1051   first_analyzed = cgraph_nodes;
1052   ggc_collect ();
1053 }
1054
1055
1056 /* Analyze the whole compilation unit once it is parsed completely.  */
1057
1058 void
1059 cgraph_finalize_compilation_unit (void)
1060 {
1061   timevar_push (TV_CGRAPH);
1062
1063   /* Do not skip analyzing the functions if there were errors, we
1064      miss diagnostics for following functions otherwise.  */
1065
1066   /* Emit size functions we didn't inline.  */
1067   finalize_size_functions ();
1068
1069   /* Call functions declared with the "constructor" or "destructor"
1070      attribute.  */
1071   cgraph_build_cdtor_fns ();
1072
1073   /* Mark alias targets necessary and emit diagnostics.  */
1074   finish_aliases_1 ();
1075
1076   if (!quiet_flag)
1077     {
1078       fprintf (stderr, "\nAnalyzing compilation unit\n");
1079       fflush (stderr);
1080     }
1081
1082   /* Gimplify and lower all functions, compute reachability and
1083      remove unreachable nodes.  */
1084   cgraph_analyze_functions ();
1085
1086   /* Mark alias targets necessary and emit diagnostics.  */
1087   finish_aliases_1 ();
1088
1089   /* Gimplify and lower thunks.  */
1090   cgraph_analyze_functions ();
1091
1092   /* Finally drive the pass manager.  */
1093   cgraph_optimize ();
1094
1095   timevar_pop (TV_CGRAPH);
1096 }
1097
1098
1099 /* Figure out what functions we want to assemble.  */
1100
1101 static void
1102 cgraph_mark_functions_to_output (void)
1103 {
1104   struct cgraph_node *node;
1105 #ifdef ENABLE_CHECKING
1106   bool check_same_comdat_groups = false;
1107
1108   for (node = cgraph_nodes; node; node = node->next)
1109     gcc_assert (!node->process);
1110 #endif
1111
1112   for (node = cgraph_nodes; node; node = node->next)
1113     {
1114       tree decl = node->decl;
1115       struct cgraph_edge *e;
1116
1117       gcc_assert (!node->process || node->same_comdat_group);
1118       if (node->process)
1119         continue;
1120
1121       for (e = node->callers; e; e = e->next_caller)
1122         if (e->inline_failed)
1123           break;
1124
1125       /* We need to output all local functions that are used and not
1126          always inlined, as well as those that are reachable from
1127          outside the current compilation unit.  */
1128       if (node->analyzed
1129           && !node->global.inlined_to
1130           && (node->needed
1131               || (e && node->reachable))
1132           && !TREE_ASM_WRITTEN (decl)
1133           && !DECL_EXTERNAL (decl))
1134         {
1135           node->process = 1;
1136           if (node->same_comdat_group)
1137             {
1138               struct cgraph_node *next;
1139               for (next = node->same_comdat_group;
1140                    next != node;
1141                    next = next->same_comdat_group)
1142                 next->process = 1;
1143             }
1144         }
1145       else if (node->same_comdat_group)
1146         {
1147 #ifdef ENABLE_CHECKING
1148           check_same_comdat_groups = true;
1149 #endif
1150         }
1151       else
1152         {
1153           /* We should've reclaimed all functions that are not needed.  */
1154 #ifdef ENABLE_CHECKING
1155           if (!node->global.inlined_to
1156               && gimple_has_body_p (decl)
1157               && !DECL_EXTERNAL (decl))
1158             {
1159               dump_cgraph_node (stderr, node);
1160               internal_error ("failed to reclaim unneeded function");
1161             }
1162 #endif
1163           gcc_assert (node->global.inlined_to
1164                       || !gimple_has_body_p (decl)
1165                       || DECL_EXTERNAL (decl));
1166
1167         }
1168
1169     }
1170 #ifdef ENABLE_CHECKING
1171   if (check_same_comdat_groups)
1172     for (node = cgraph_nodes; node; node = node->next)
1173       if (node->same_comdat_group && !node->process)
1174         {
1175           tree decl = node->decl;
1176           if (!node->global.inlined_to
1177               && gimple_has_body_p (decl)
1178               && !DECL_EXTERNAL (decl))
1179             {
1180               dump_cgraph_node (stderr, node);
1181               internal_error ("failed to reclaim unneeded function");
1182             }
1183         }
1184 #endif
1185 }
1186
1187 /* DECL is FUNCTION_DECL.  Initialize datastructures so DECL is a function
1188    in lowered gimple form.
1189    
1190    Set current_function_decl and cfun to newly constructed empty function body.
1191    return basic block in the function body.  */
1192
1193 static basic_block
1194 init_lowered_empty_function (tree decl)
1195 {
1196   basic_block bb;
1197
1198   current_function_decl = decl;
1199   allocate_struct_function (decl, false);
1200   gimple_register_cfg_hooks ();
1201   init_empty_tree_cfg ();
1202   init_tree_ssa (cfun);
1203   init_ssa_operands ();
1204   cfun->gimple_df->in_ssa_p = true;
1205   DECL_INITIAL (decl) = make_node (BLOCK);
1206
1207   DECL_SAVED_TREE (decl) = error_mark_node;
1208   cfun->curr_properties |=
1209     (PROP_gimple_lcf | PROP_gimple_leh | PROP_cfg | PROP_referenced_vars |
1210      PROP_ssa);
1211
1212   /* Create BB for body of the function and connect it properly.  */
1213   bb = create_basic_block (NULL, (void *) 0, ENTRY_BLOCK_PTR);
1214   make_edge (ENTRY_BLOCK_PTR, bb, 0);
1215   make_edge (bb, EXIT_BLOCK_PTR, 0);
1216
1217   return bb;
1218 }
1219
1220 /* Adjust PTR by the constant FIXED_OFFSET, and by the vtable
1221    offset indicated by VIRTUAL_OFFSET, if that is
1222    non-null. THIS_ADJUSTING is nonzero for a this adjusting thunk and
1223    zero for a result adjusting thunk.  */
1224
1225 static tree
1226 thunk_adjust (gimple_stmt_iterator * bsi,
1227               tree ptr, bool this_adjusting,
1228               HOST_WIDE_INT fixed_offset, tree virtual_offset)
1229 {
1230   gimple stmt;
1231   tree ret;
1232
1233   if (this_adjusting)
1234     {
1235       stmt = gimple_build_assign (ptr,
1236                                   fold_build2_loc (input_location,
1237                                                    POINTER_PLUS_EXPR,
1238                                                    TREE_TYPE (ptr), ptr,
1239                                                    size_int (fixed_offset)));
1240       gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1241     }
1242
1243   /* If there's a virtual offset, look up that value in the vtable and
1244      adjust the pointer again.  */
1245   if (virtual_offset)
1246     {
1247       tree vtabletmp;
1248       tree vtabletmp2;
1249       tree vtabletmp3;
1250       tree offsettmp;
1251
1252       if (!vtable_entry_type)
1253         {
1254           tree vfunc_type = make_node (FUNCTION_TYPE);
1255           TREE_TYPE (vfunc_type) = integer_type_node;
1256           TYPE_ARG_TYPES (vfunc_type) = NULL_TREE;
1257           layout_type (vfunc_type);
1258
1259           vtable_entry_type = build_pointer_type (vfunc_type);
1260         }
1261
1262       vtabletmp =
1263         create_tmp_var (build_pointer_type
1264                         (build_pointer_type (vtable_entry_type)), "vptr");
1265
1266       /* The vptr is always at offset zero in the object.  */
1267       stmt = gimple_build_assign (vtabletmp,
1268                                   build1 (NOP_EXPR, TREE_TYPE (vtabletmp),
1269                                           ptr));
1270       gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1271       mark_symbols_for_renaming (stmt);
1272       find_referenced_vars_in (stmt);
1273
1274       /* Form the vtable address.  */
1275       vtabletmp2 = create_tmp_var (TREE_TYPE (TREE_TYPE (vtabletmp)),
1276                                    "vtableaddr");
1277       stmt = gimple_build_assign (vtabletmp2,
1278                                   build1 (INDIRECT_REF,
1279                                           TREE_TYPE (vtabletmp2), vtabletmp));
1280       gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1281       mark_symbols_for_renaming (stmt);
1282       find_referenced_vars_in (stmt);
1283
1284       /* Find the entry with the vcall offset.  */
1285       stmt = gimple_build_assign (vtabletmp2,
1286                                   fold_build2_loc (input_location,
1287                                                    POINTER_PLUS_EXPR,
1288                                                    TREE_TYPE (vtabletmp2),
1289                                                    vtabletmp2,
1290                                                    fold_convert (sizetype,
1291                                                                  virtual_offset)));
1292       gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1293
1294       /* Get the offset itself.  */
1295       vtabletmp3 = create_tmp_var (TREE_TYPE (TREE_TYPE (vtabletmp2)),
1296                                    "vcalloffset");
1297       stmt = gimple_build_assign (vtabletmp3,
1298                                   build1 (INDIRECT_REF,
1299                                           TREE_TYPE (vtabletmp3),
1300                                           vtabletmp2));
1301       gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1302       mark_symbols_for_renaming (stmt);
1303       find_referenced_vars_in (stmt);
1304
1305       /* Cast to sizetype.  */
1306       offsettmp = create_tmp_var (sizetype, "offset");
1307       stmt = gimple_build_assign (offsettmp, fold_convert (sizetype, vtabletmp3));
1308       gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1309       mark_symbols_for_renaming (stmt);
1310       find_referenced_vars_in (stmt);
1311
1312       /* Adjust the `this' pointer.  */
1313       ptr = fold_build2_loc (input_location,
1314                              POINTER_PLUS_EXPR, TREE_TYPE (ptr), ptr,
1315                              offsettmp);
1316     }
1317
1318   if (!this_adjusting)
1319     /* Adjust the pointer by the constant.  */
1320     {
1321       tree ptrtmp;
1322
1323       if (TREE_CODE (ptr) == VAR_DECL)
1324         ptrtmp = ptr;
1325       else
1326         {
1327           ptrtmp = create_tmp_var (TREE_TYPE (ptr), "ptr");
1328           stmt = gimple_build_assign (ptrtmp, ptr);
1329           gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1330           mark_symbols_for_renaming (stmt);
1331           find_referenced_vars_in (stmt);
1332         }
1333       ptr = fold_build2_loc (input_location,
1334                              POINTER_PLUS_EXPR, TREE_TYPE (ptrtmp), ptrtmp,
1335                              size_int (fixed_offset));
1336     }
1337
1338   /* Emit the statement and gimplify the adjustment expression.  */
1339   ret = create_tmp_var (TREE_TYPE (ptr), "adjusted_this");
1340   stmt = gimple_build_assign (ret, ptr);
1341   mark_symbols_for_renaming (stmt);
1342   find_referenced_vars_in (stmt);
1343   gsi_insert_after (bsi, stmt, GSI_NEW_STMT);
1344
1345   return ret;
1346 }
1347
1348 /* Produce assembler for thunk NODE.  */
1349
1350 static void
1351 assemble_thunk (struct cgraph_node *node)
1352 {
1353   bool this_adjusting = node->thunk.this_adjusting;
1354   HOST_WIDE_INT fixed_offset = node->thunk.fixed_offset;
1355   HOST_WIDE_INT virtual_value = node->thunk.virtual_value;
1356   tree virtual_offset = NULL;
1357   tree alias = node->thunk.alias;
1358   tree thunk_fndecl = node->decl;
1359   tree a = DECL_ARGUMENTS (thunk_fndecl);
1360
1361   current_function_decl = thunk_fndecl;
1362
1363   if (this_adjusting
1364       && targetm.asm_out.can_output_mi_thunk (thunk_fndecl, fixed_offset,
1365                                               virtual_value, alias))
1366     {
1367       const char *fnname;
1368       tree fn_block;
1369       
1370       DECL_RESULT (thunk_fndecl)
1371         = build_decl (DECL_SOURCE_LOCATION (thunk_fndecl),
1372                       RESULT_DECL, 0, integer_type_node);
1373       fnname = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (thunk_fndecl));
1374
1375       /* The back end expects DECL_INITIAL to contain a BLOCK, so we
1376          create one.  */
1377       fn_block = make_node (BLOCK);
1378       BLOCK_VARS (fn_block) = a;
1379       DECL_INITIAL (thunk_fndecl) = fn_block;
1380       init_function_start (thunk_fndecl);
1381       cfun->is_thunk = 1;
1382       assemble_start_function (thunk_fndecl, fnname);
1383
1384       targetm.asm_out.output_mi_thunk (asm_out_file, thunk_fndecl,
1385                                        fixed_offset, virtual_value, alias);
1386
1387       assemble_end_function (thunk_fndecl, fnname);
1388       init_insn_lengths ();
1389       free_after_compilation (cfun);
1390       set_cfun (NULL);
1391       TREE_ASM_WRITTEN (thunk_fndecl) = 1;
1392     }
1393   else
1394     {
1395       tree restype;
1396       basic_block bb, then_bb, else_bb, return_bb;
1397       gimple_stmt_iterator bsi;
1398       int nargs = 0;
1399       tree arg;
1400       int i;
1401       tree resdecl;
1402       tree restmp = NULL;
1403       VEC(tree, heap) *vargs;
1404
1405       gimple call;
1406       gimple ret;
1407
1408       DECL_IGNORED_P (thunk_fndecl) = 1;
1409       bitmap_obstack_initialize (NULL);
1410
1411       if (node->thunk.virtual_offset_p)
1412         virtual_offset = size_int (virtual_value);
1413
1414       /* Build the return declaration for the function.  */
1415       restype = TREE_TYPE (TREE_TYPE (thunk_fndecl));
1416       if (DECL_RESULT (thunk_fndecl) == NULL_TREE)
1417         {
1418           resdecl = build_decl (input_location, RESULT_DECL, 0, restype);
1419           DECL_ARTIFICIAL (resdecl) = 1;
1420           DECL_IGNORED_P (resdecl) = 1;
1421           DECL_RESULT (thunk_fndecl) = resdecl;
1422         }
1423       else
1424         resdecl = DECL_RESULT (thunk_fndecl);
1425
1426       bb = then_bb = else_bb = return_bb = init_lowered_empty_function (thunk_fndecl);
1427
1428       bsi = gsi_start_bb (bb);
1429
1430       /* Build call to the function being thunked.  */
1431       if (!VOID_TYPE_P (restype))
1432         {
1433           if (!is_gimple_reg_type (restype))
1434             {
1435               restmp = resdecl;
1436               cfun->local_decls = tree_cons (NULL_TREE, restmp, cfun->local_decls);
1437               BLOCK_VARS (DECL_INITIAL (current_function_decl)) = restmp;
1438             }
1439           else
1440             restmp = create_tmp_var_raw (restype, "retval");
1441         }
1442
1443       for (arg = a; arg; arg = TREE_CHAIN (arg))
1444         nargs++;
1445       vargs = VEC_alloc (tree, heap, nargs);
1446       if (this_adjusting)
1447         VEC_quick_push (tree, vargs,
1448                         thunk_adjust (&bsi,
1449                                       a, 1, fixed_offset,
1450                                       virtual_offset));
1451       else
1452         VEC_quick_push (tree, vargs, a);
1453       for (i = 1, arg = TREE_CHAIN (a); i < nargs; i++, arg = TREE_CHAIN (arg))
1454         VEC_quick_push (tree, vargs, arg);
1455       call = gimple_build_call_vec (build_fold_addr_expr_loc (0, alias), vargs);
1456       VEC_free (tree, heap, vargs);
1457       gimple_call_set_cannot_inline (call, true);
1458       gimple_call_set_from_thunk (call, true);
1459       if (restmp)
1460         gimple_call_set_lhs (call, restmp);
1461       gsi_insert_after (&bsi, call, GSI_NEW_STMT);
1462       mark_symbols_for_renaming (call);
1463       find_referenced_vars_in (call);
1464       update_stmt (call);
1465
1466       if (restmp && !this_adjusting)
1467         {
1468           tree true_label = NULL_TREE;
1469
1470           if (TREE_CODE (TREE_TYPE (restmp)) == POINTER_TYPE)
1471             {
1472               gimple stmt;
1473               /* If the return type is a pointer, we need to
1474                  protect against NULL.  We know there will be an
1475                  adjustment, because that's why we're emitting a
1476                  thunk.  */
1477               then_bb = create_basic_block (NULL, (void *) 0, bb);
1478               return_bb = create_basic_block (NULL, (void *) 0, then_bb);
1479               else_bb = create_basic_block (NULL, (void *) 0, else_bb);
1480               remove_edge (single_succ_edge (bb));
1481               true_label = gimple_block_label (then_bb);
1482               stmt = gimple_build_cond (NE_EXPR, restmp,
1483                                         fold_convert (TREE_TYPE (restmp),
1484                                                       integer_zero_node),
1485                                         NULL_TREE, NULL_TREE);
1486               gsi_insert_after (&bsi, stmt, GSI_NEW_STMT);
1487               make_edge (bb, then_bb, EDGE_TRUE_VALUE);
1488               make_edge (bb, else_bb, EDGE_FALSE_VALUE);
1489               make_edge (return_bb, EXIT_BLOCK_PTR, 0);
1490               make_edge (then_bb, return_bb, EDGE_FALLTHRU);
1491               make_edge (else_bb, return_bb, EDGE_FALLTHRU);
1492               bsi = gsi_last_bb (then_bb);
1493             }
1494
1495           restmp = thunk_adjust (&bsi, restmp, /*this_adjusting=*/0,
1496                                  fixed_offset, virtual_offset);
1497           if (true_label)
1498             {
1499               gimple stmt;
1500               bsi = gsi_last_bb (else_bb);
1501               stmt = gimple_build_assign (restmp, fold_convert (TREE_TYPE (restmp),
1502                                                                 integer_zero_node));
1503               gsi_insert_after (&bsi, stmt, GSI_NEW_STMT);
1504               bsi = gsi_last_bb (return_bb);
1505             }
1506         }
1507       else
1508         gimple_call_set_tail (call, true);
1509
1510       /* Build return value.  */
1511       ret = gimple_build_return (restmp);
1512       gsi_insert_after (&bsi, ret, GSI_NEW_STMT);
1513
1514       delete_unreachable_blocks ();
1515       update_ssa (TODO_update_ssa);
1516
1517       cgraph_remove_same_body_alias (node);
1518       /* Since we want to emit the thunk, we explicitly mark its name as
1519          referenced.  */
1520       mark_decl_referenced (thunk_fndecl);
1521       cgraph_add_new_function (thunk_fndecl, true);
1522       bitmap_obstack_release (NULL);
1523     }
1524   current_function_decl = NULL;
1525 }
1526
1527 /* Expand function specified by NODE.  */
1528
1529 static void
1530 cgraph_expand_function (struct cgraph_node *node)
1531 {
1532   tree decl = node->decl;
1533
1534   /* We ought to not compile any inline clones.  */
1535   gcc_assert (!node->global.inlined_to);
1536
1537   announce_function (decl);
1538   node->process = 0;
1539
1540   gcc_assert (node->lowered);
1541
1542   /* Generate RTL for the body of DECL.  */
1543   tree_rest_of_compilation (decl);
1544
1545   /* Make sure that BE didn't give up on compiling.  */
1546   gcc_assert (TREE_ASM_WRITTEN (decl));
1547   current_function_decl = NULL;
1548   if (node->same_body)
1549     {
1550       struct cgraph_node *alias, *next;
1551       bool saved_alias = node->alias;
1552       for (alias = node->same_body;
1553            alias && alias->next; alias = alias->next)
1554         ;
1555       /* Walk aliases in the order they were created; it is possible that
1556          thunks reffers to the aliases made earlier.  */
1557       for (; alias; alias = next)
1558         {
1559           next = alias->previous;
1560           if (!alias->thunk.thunk_p)
1561             assemble_alias (alias->decl,
1562                             DECL_ASSEMBLER_NAME (alias->thunk.alias));
1563           else
1564             assemble_thunk (alias);
1565         }
1566       node->alias = saved_alias;
1567     }
1568   gcc_assert (!cgraph_preserve_function_body_p (decl));
1569   cgraph_release_function_body (node);
1570   /* Eliminate all call edges.  This is important so the GIMPLE_CALL no longer
1571      points to the dead function body.  */
1572   cgraph_node_remove_callees (node);
1573
1574   cgraph_function_flags_ready = true;
1575 }
1576
1577 /* Return true when CALLER_DECL should be inlined into CALLEE_DECL.  */
1578
1579 bool
1580 cgraph_inline_p (struct cgraph_edge *e, cgraph_inline_failed_t *reason)
1581 {
1582   *reason = e->inline_failed;
1583   return !e->inline_failed;
1584 }
1585
1586
1587
1588 /* Expand all functions that must be output.
1589
1590    Attempt to topologically sort the nodes so function is output when
1591    all called functions are already assembled to allow data to be
1592    propagated across the callgraph.  Use a stack to get smaller distance
1593    between a function and its callees (later we may choose to use a more
1594    sophisticated algorithm for function reordering; we will likely want
1595    to use subsections to make the output functions appear in top-down
1596    order).  */
1597
1598 static void
1599 cgraph_expand_all_functions (void)
1600 {
1601   struct cgraph_node *node;
1602   struct cgraph_node **order = XCNEWVEC (struct cgraph_node *, cgraph_n_nodes);
1603   int order_pos, new_order_pos = 0;
1604   int i;
1605
1606   order_pos = cgraph_postorder (order);
1607   gcc_assert (order_pos == cgraph_n_nodes);
1608
1609   /* Garbage collector may remove inline clones we eliminate during
1610      optimization.  So we must be sure to not reference them.  */
1611   for (i = 0; i < order_pos; i++)
1612     if (order[i]->process)
1613       order[new_order_pos++] = order[i];
1614
1615   for (i = new_order_pos - 1; i >= 0; i--)
1616     {
1617       node = order[i];
1618       if (node->process)
1619         {
1620           gcc_assert (node->reachable);
1621           node->process = 0;
1622           cgraph_expand_function (node);
1623         }
1624     }
1625   cgraph_process_new_functions ();
1626
1627   free (order);
1628
1629 }
1630
1631 /* This is used to sort the node types by the cgraph order number.  */
1632
1633 enum cgraph_order_sort_kind
1634 {
1635   ORDER_UNDEFINED = 0,
1636   ORDER_FUNCTION,
1637   ORDER_VAR,
1638   ORDER_ASM
1639 };
1640
1641 struct cgraph_order_sort
1642 {
1643   enum cgraph_order_sort_kind kind;
1644   union
1645   {
1646     struct cgraph_node *f;
1647     struct varpool_node *v;
1648     struct cgraph_asm_node *a;
1649   } u;
1650 };
1651
1652 /* Output all functions, variables, and asm statements in the order
1653    according to their order fields, which is the order in which they
1654    appeared in the file.  This implements -fno-toplevel-reorder.  In
1655    this mode we may output functions and variables which don't really
1656    need to be output.  */
1657
1658 static void
1659 cgraph_output_in_order (void)
1660 {
1661   int max;
1662   size_t size;
1663   struct cgraph_order_sort *nodes;
1664   int i;
1665   struct cgraph_node *pf;
1666   struct varpool_node *pv;
1667   struct cgraph_asm_node *pa;
1668
1669   max = cgraph_order;
1670   size = max * sizeof (struct cgraph_order_sort);
1671   nodes = (struct cgraph_order_sort *) alloca (size);
1672   memset (nodes, 0, size);
1673
1674   varpool_analyze_pending_decls ();
1675
1676   for (pf = cgraph_nodes; pf; pf = pf->next)
1677     {
1678       if (pf->process)
1679         {
1680           i = pf->order;
1681           gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1682           nodes[i].kind = ORDER_FUNCTION;
1683           nodes[i].u.f = pf;
1684         }
1685     }
1686
1687   for (pv = varpool_nodes_queue; pv; pv = pv->next_needed)
1688     {
1689       i = pv->order;
1690       gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1691       nodes[i].kind = ORDER_VAR;
1692       nodes[i].u.v = pv;
1693     }
1694
1695   for (pa = cgraph_asm_nodes; pa; pa = pa->next)
1696     {
1697       i = pa->order;
1698       gcc_assert (nodes[i].kind == ORDER_UNDEFINED);
1699       nodes[i].kind = ORDER_ASM;
1700       nodes[i].u.a = pa;
1701     }
1702
1703   /* In toplevel reorder mode we output all statics; mark them as needed.  */
1704   for (i = 0; i < max; ++i)
1705     {
1706       if (nodes[i].kind == ORDER_VAR)
1707         {
1708           varpool_mark_needed_node (nodes[i].u.v);
1709         }
1710     }
1711   varpool_empty_needed_queue ();
1712
1713   for (i = 0; i < max; ++i)
1714     {
1715       switch (nodes[i].kind)
1716         {
1717         case ORDER_FUNCTION:
1718           nodes[i].u.f->process = 0;
1719           cgraph_expand_function (nodes[i].u.f);
1720           break;
1721
1722         case ORDER_VAR:
1723           varpool_assemble_decl (nodes[i].u.v);
1724           break;
1725
1726         case ORDER_ASM:
1727           assemble_asm (nodes[i].u.a->asm_str);
1728           break;
1729
1730         case ORDER_UNDEFINED:
1731           break;
1732
1733         default:
1734           gcc_unreachable ();
1735         }
1736     }
1737
1738   cgraph_asm_nodes = NULL;
1739 }
1740
1741 /* Return true when function body of DECL still needs to be kept around
1742    for later re-use.  */
1743 bool
1744 cgraph_preserve_function_body_p (tree decl)
1745 {
1746   struct cgraph_node *node;
1747
1748   gcc_assert (cgraph_global_info_ready);
1749   /* Look if there is any clone around.  */
1750   node = cgraph_node (decl);
1751   if (node->clones)
1752     return true;
1753   return false;
1754 }
1755
1756 static void
1757 ipa_passes (void)
1758 {
1759   set_cfun (NULL);
1760   current_function_decl = NULL;
1761   gimple_register_cfg_hooks ();
1762   bitmap_obstack_initialize (NULL);
1763
1764   invoke_plugin_callbacks (PLUGIN_ALL_IPA_PASSES_START, NULL);
1765
1766   if (!in_lto_p)
1767     execute_ipa_pass_list (all_small_ipa_passes);
1768
1769   /* If pass_all_early_optimizations was not scheduled, the state of
1770      the cgraph will not be properly updated.  Update it now.  */
1771   if (cgraph_state < CGRAPH_STATE_IPA_SSA)
1772     cgraph_state = CGRAPH_STATE_IPA_SSA;
1773
1774   if (!in_lto_p)
1775     {
1776       /* Generate coverage variables and constructors.  */
1777       coverage_finish ();
1778
1779       /* Process new functions added.  */
1780       set_cfun (NULL);
1781       current_function_decl = NULL;
1782       cgraph_process_new_functions ();
1783
1784       execute_ipa_summary_passes
1785         ((struct ipa_opt_pass_d *) all_regular_ipa_passes);
1786     }
1787   execute_ipa_summary_passes ((struct ipa_opt_pass_d *) all_lto_gen_passes);
1788
1789   if (!in_lto_p)
1790     ipa_write_summaries ();
1791
1792   if (!flag_ltrans)
1793     execute_ipa_pass_list (all_regular_ipa_passes);
1794   invoke_plugin_callbacks (PLUGIN_ALL_IPA_PASSES_END, NULL);
1795
1796   bitmap_obstack_release (NULL);
1797 }
1798
1799
1800 /* Perform simple optimizations based on callgraph.  */
1801
1802 void
1803 cgraph_optimize (void)
1804 {
1805   if (errorcount || sorrycount)
1806     return;
1807
1808 #ifdef ENABLE_CHECKING
1809   verify_cgraph ();
1810 #endif
1811
1812   /* Frontend may output common variables after the unit has been finalized.
1813      It is safe to deal with them here as they are always zero initialized.  */
1814   varpool_analyze_pending_decls ();
1815
1816   timevar_push (TV_CGRAPHOPT);
1817   if (pre_ipa_mem_report)
1818     {
1819       fprintf (stderr, "Memory consumption before IPA\n");
1820       dump_memory_report (false);
1821     }
1822   if (!quiet_flag)
1823     fprintf (stderr, "Performing interprocedural optimizations\n");
1824   cgraph_state = CGRAPH_STATE_IPA;
1825
1826   /* Don't run the IPA passes if there was any error or sorry messages.  */
1827   if (errorcount == 0 && sorrycount == 0)
1828     ipa_passes ();
1829
1830   /* Do nothing else if any IPA pass found errors.  */
1831   if (errorcount || sorrycount)
1832     {
1833       timevar_pop (TV_CGRAPHOPT);
1834       return;
1835     }
1836
1837   /* This pass remove bodies of extern inline functions we never inlined.
1838      Do this later so other IPA passes see what is really going on.  */
1839   cgraph_remove_unreachable_nodes (false, dump_file);
1840   cgraph_global_info_ready = true;
1841   if (cgraph_dump_file)
1842     {
1843       fprintf (cgraph_dump_file, "Optimized ");
1844       dump_cgraph (cgraph_dump_file);
1845       dump_varpool (cgraph_dump_file);
1846     }
1847   if (post_ipa_mem_report)
1848     {
1849       fprintf (stderr, "Memory consumption after IPA\n");
1850       dump_memory_report (false);
1851     }
1852   timevar_pop (TV_CGRAPHOPT);
1853
1854   /* Output everything.  */
1855   (*debug_hooks->assembly_start) ();
1856   if (!quiet_flag)
1857     fprintf (stderr, "Assembling functions:\n");
1858 #ifdef ENABLE_CHECKING
1859   verify_cgraph ();
1860 #endif
1861
1862   cgraph_materialize_all_clones ();
1863   cgraph_mark_functions_to_output ();
1864
1865   cgraph_state = CGRAPH_STATE_EXPANSION;
1866   if (!flag_toplevel_reorder)
1867     cgraph_output_in_order ();
1868   else
1869     {
1870       cgraph_output_pending_asms ();
1871
1872       cgraph_expand_all_functions ();
1873       varpool_remove_unreferenced_decls ();
1874
1875       varpool_assemble_pending_decls ();
1876     }
1877   cgraph_process_new_functions ();
1878   cgraph_state = CGRAPH_STATE_FINISHED;
1879
1880   if (cgraph_dump_file)
1881     {
1882       fprintf (cgraph_dump_file, "\nFinal ");
1883       dump_cgraph (cgraph_dump_file);
1884     }
1885 #ifdef ENABLE_CHECKING
1886   verify_cgraph ();
1887   /* Double check that all inline clones are gone and that all
1888      function bodies have been released from memory.  */
1889   if (!(sorrycount || errorcount))
1890     {
1891       struct cgraph_node *node;
1892       bool error_found = false;
1893
1894       for (node = cgraph_nodes; node; node = node->next)
1895         if (node->analyzed
1896             && (node->global.inlined_to
1897                 || gimple_has_body_p (node->decl)))
1898           {
1899             error_found = true;
1900             dump_cgraph_node (stderr, node);
1901           }
1902       if (error_found)
1903         internal_error ("nodes with unreleased memory found");
1904     }
1905 #endif
1906 }
1907
1908
1909 /* Generate and emit a static constructor or destructor.  WHICH must
1910    be one of 'I' (for a constructor) or 'D' (for a destructor).  BODY
1911    is a STATEMENT_LIST containing GENERIC statements.  PRIORITY is the
1912    initialization priority for this constructor or destructor.  */
1913
1914 void
1915 cgraph_build_static_cdtor (char which, tree body, int priority)
1916 {
1917   static int counter = 0;
1918   char which_buf[16];
1919   tree decl, name, resdecl;
1920
1921   /* The priority is encoded in the constructor or destructor name.
1922      collect2 will sort the names and arrange that they are called at
1923      program startup.  */
1924   sprintf (which_buf, "%c_%.5d_%d", which, priority, counter++);
1925   name = get_file_function_name (which_buf);
1926
1927   decl = build_decl (input_location, FUNCTION_DECL, name,
1928                      build_function_type (void_type_node, void_list_node));
1929   current_function_decl = decl;
1930
1931   resdecl = build_decl (input_location,
1932                         RESULT_DECL, NULL_TREE, void_type_node);
1933   DECL_ARTIFICIAL (resdecl) = 1;
1934   DECL_RESULT (decl) = resdecl;
1935   DECL_CONTEXT (resdecl) = decl;
1936
1937   allocate_struct_function (decl, false);
1938
1939   TREE_STATIC (decl) = 1;
1940   TREE_USED (decl) = 1;
1941   DECL_ARTIFICIAL (decl) = 1;
1942   DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (decl) = 1;
1943   DECL_SAVED_TREE (decl) = body;
1944   TREE_PUBLIC (decl) = ! targetm.have_ctors_dtors;
1945   DECL_UNINLINABLE (decl) = 1;
1946
1947   DECL_INITIAL (decl) = make_node (BLOCK);
1948   TREE_USED (DECL_INITIAL (decl)) = 1;
1949
1950   DECL_SOURCE_LOCATION (decl) = input_location;
1951   cfun->function_end_locus = input_location;
1952
1953   switch (which)
1954     {
1955     case 'I':
1956       DECL_STATIC_CONSTRUCTOR (decl) = 1;
1957       decl_init_priority_insert (decl, priority);
1958       break;
1959     case 'D':
1960       DECL_STATIC_DESTRUCTOR (decl) = 1;
1961       decl_fini_priority_insert (decl, priority);
1962       break;
1963     default:
1964       gcc_unreachable ();
1965     }
1966
1967   gimplify_function_tree (decl);
1968
1969   cgraph_add_new_function (decl, false);
1970   cgraph_mark_needed_node (cgraph_node (decl));
1971   set_cfun (NULL);
1972 }
1973
1974 void
1975 init_cgraph (void)
1976 {
1977   cgraph_dump_file = dump_begin (TDI_cgraph, NULL);
1978 }
1979
1980 /* The edges representing the callers of the NEW_VERSION node were
1981    fixed by cgraph_function_versioning (), now the call_expr in their
1982    respective tree code should be updated to call the NEW_VERSION.  */
1983
1984 static void
1985 update_call_expr (struct cgraph_node *new_version)
1986 {
1987   struct cgraph_edge *e;
1988
1989   gcc_assert (new_version);
1990
1991   /* Update the call expr on the edges to call the new version.  */
1992   for (e = new_version->callers; e; e = e->next_caller)
1993     {
1994       struct function *inner_function = DECL_STRUCT_FUNCTION (e->caller->decl);
1995       gimple_call_set_fndecl (e->call_stmt, new_version->decl);
1996       maybe_clean_eh_stmt_fn (inner_function, e->call_stmt);
1997     }
1998 }
1999
2000
2001 /* Create a new cgraph node which is the new version of
2002    OLD_VERSION node.  REDIRECT_CALLERS holds the callers
2003    edges which should be redirected to point to
2004    NEW_VERSION.  ALL the callees edges of OLD_VERSION
2005    are cloned to the new version node.  Return the new
2006    version node.  */
2007
2008 static struct cgraph_node *
2009 cgraph_copy_node_for_versioning (struct cgraph_node *old_version,
2010                                  tree new_decl,
2011                                  VEC(cgraph_edge_p,heap) *redirect_callers)
2012  {
2013    struct cgraph_node *new_version;
2014    struct cgraph_edge *e, *new_e;
2015    struct cgraph_edge *next_callee;
2016    unsigned i;
2017
2018    gcc_assert (old_version);
2019
2020    new_version = cgraph_node (new_decl);
2021
2022    new_version->analyzed = true;
2023    new_version->local = old_version->local;
2024    new_version->global = old_version->global;
2025    new_version->rtl = new_version->rtl;
2026    new_version->reachable = true;
2027    new_version->count = old_version->count;
2028
2029    /* Clone the old node callees.  Recursive calls are
2030       also cloned.  */
2031    for (e = old_version->callees;e; e=e->next_callee)
2032      {
2033        new_e = cgraph_clone_edge (e, new_version, e->call_stmt,
2034                                   e->lto_stmt_uid, 0, e->frequency,
2035                                   e->loop_nest, true);
2036        new_e->count = e->count;
2037      }
2038    /* Fix recursive calls.
2039       If OLD_VERSION has a recursive call after the
2040       previous edge cloning, the new version will have an edge
2041       pointing to the old version, which is wrong;
2042       Redirect it to point to the new version. */
2043    for (e = new_version->callees ; e; e = next_callee)
2044      {
2045        next_callee = e->next_callee;
2046        if (e->callee == old_version)
2047          cgraph_redirect_edge_callee (e, new_version);
2048
2049        if (!next_callee)
2050          break;
2051      }
2052    for (i = 0; VEC_iterate (cgraph_edge_p, redirect_callers, i, e); i++)
2053      {
2054        /* Redirect calls to the old version node to point to its new
2055           version.  */
2056        cgraph_redirect_edge_callee (e, new_version);
2057      }
2058
2059    return new_version;
2060  }
2061
2062  /* Perform function versioning.
2063     Function versioning includes copying of the tree and
2064     a callgraph update (creating a new cgraph node and updating
2065     its callees and callers).
2066
2067     REDIRECT_CALLERS varray includes the edges to be redirected
2068     to the new version.
2069
2070     TREE_MAP is a mapping of tree nodes we want to replace with
2071     new ones (according to results of prior analysis).
2072     OLD_VERSION_NODE is the node that is versioned.
2073     It returns the new version's cgraph node.
2074     ARGS_TO_SKIP lists arguments to be omitted from functions
2075     */
2076
2077 struct cgraph_node *
2078 cgraph_function_versioning (struct cgraph_node *old_version_node,
2079                             VEC(cgraph_edge_p,heap) *redirect_callers,
2080                             VEC (ipa_replace_map_p,gc)* tree_map,
2081                             bitmap args_to_skip)
2082 {
2083   tree old_decl = old_version_node->decl;
2084   struct cgraph_node *new_version_node = NULL;
2085   tree new_decl;
2086
2087   if (!tree_versionable_function_p (old_decl))
2088     return NULL;
2089
2090   /* Make a new FUNCTION_DECL tree node for the
2091      new version. */
2092   if (!args_to_skip)
2093     new_decl = copy_node (old_decl);
2094   else
2095     new_decl = build_function_decl_skip_args (old_decl, args_to_skip);
2096
2097   /* Create the new version's call-graph node.
2098      and update the edges of the new node. */
2099   new_version_node =
2100     cgraph_copy_node_for_versioning (old_version_node, new_decl,
2101                                      redirect_callers);
2102
2103   /* Copy the OLD_VERSION_NODE function tree to the new version.  */
2104   tree_function_versioning (old_decl, new_decl, tree_map, false, args_to_skip);
2105
2106   /* Update the new version's properties.
2107      Make The new version visible only within this translation unit.  Make sure
2108      that is not weak also.
2109      ??? We cannot use COMDAT linkage because there is no
2110      ABI support for this.  */
2111   DECL_EXTERNAL (new_version_node->decl) = 0;
2112   DECL_COMDAT_GROUP (new_version_node->decl) = NULL_TREE;
2113   TREE_PUBLIC (new_version_node->decl) = 0;
2114   DECL_COMDAT (new_version_node->decl) = 0;
2115   DECL_WEAK (new_version_node->decl) = 0;
2116   DECL_VIRTUAL_P (new_version_node->decl) = 0;
2117   new_version_node->local.externally_visible = 0;
2118   new_version_node->local.local = 1;
2119   new_version_node->lowered = true;
2120
2121   /* Update the call_expr on the edges to call the new version node. */
2122   update_call_expr (new_version_node);
2123
2124   cgraph_call_function_insertion_hooks (new_version_node);
2125   return new_version_node;
2126 }
2127
2128 /* Produce separate function body for inline clones so the offline copy can be
2129    modified without affecting them.  */
2130 struct cgraph_node *
2131 save_inline_function_body (struct cgraph_node *node)
2132 {
2133   struct cgraph_node *first_clone, *n;
2134
2135   gcc_assert (node == cgraph_node (node->decl));
2136
2137   cgraph_lower_function (node);
2138
2139   first_clone = node->clones;
2140
2141   first_clone->decl = copy_node (node->decl);
2142   cgraph_insert_node_to_hashtable (first_clone);
2143   gcc_assert (first_clone == cgraph_node (first_clone->decl));
2144   if (first_clone->next_sibling_clone)
2145     {
2146       for (n = first_clone->next_sibling_clone; n->next_sibling_clone; n = n->next_sibling_clone)
2147         n->clone_of = first_clone;
2148       n->clone_of = first_clone;
2149       n->next_sibling_clone = first_clone->clones;
2150       if (first_clone->clones)
2151         first_clone->clones->prev_sibling_clone = n;
2152       first_clone->clones = first_clone->next_sibling_clone;
2153       first_clone->next_sibling_clone->prev_sibling_clone = NULL;
2154       first_clone->next_sibling_clone = NULL;
2155       gcc_assert (!first_clone->prev_sibling_clone);
2156     }
2157   first_clone->clone_of = NULL;
2158   node->clones = NULL;
2159
2160   if (first_clone->clones)
2161     for (n = first_clone->clones; n != first_clone;)
2162       {
2163         gcc_assert (n->decl == node->decl);
2164         n->decl = first_clone->decl;
2165         if (n->clones)
2166           n = n->clones;
2167         else if (n->next_sibling_clone)
2168           n = n->next_sibling_clone;
2169         else
2170           {
2171             while (n != first_clone && !n->next_sibling_clone)
2172               n = n->clone_of;
2173             if (n != first_clone)
2174               n = n->next_sibling_clone;
2175           }
2176       }
2177
2178   /* Copy the OLD_VERSION_NODE function tree to the new version.  */
2179   tree_function_versioning (node->decl, first_clone->decl, NULL, true, NULL);
2180
2181   DECL_EXTERNAL (first_clone->decl) = 0;
2182   DECL_COMDAT_GROUP (first_clone->decl) = NULL_TREE;
2183   TREE_PUBLIC (first_clone->decl) = 0;
2184   DECL_COMDAT (first_clone->decl) = 0;
2185   VEC_free (ipa_opt_pass, heap,
2186             first_clone->ipa_transforms_to_apply);
2187   first_clone->ipa_transforms_to_apply = NULL;
2188
2189 #ifdef ENABLE_CHECKING
2190   verify_cgraph_node (first_clone);
2191 #endif
2192   return first_clone;
2193 }
2194
2195 /* Given virtual clone, turn it into actual clone.  */
2196 static void
2197 cgraph_materialize_clone (struct cgraph_node *node)
2198 {
2199   bitmap_obstack_initialize (NULL);
2200   /* Copy the OLD_VERSION_NODE function tree to the new version.  */
2201   tree_function_versioning (node->clone_of->decl, node->decl,
2202                             node->clone.tree_map, true,
2203                             node->clone.args_to_skip);
2204   if (cgraph_dump_file)
2205     {
2206       dump_function_to_file (node->clone_of->decl, cgraph_dump_file, dump_flags);
2207       dump_function_to_file (node->decl, cgraph_dump_file, dump_flags);
2208     }
2209
2210   /* Function is no longer clone.  */
2211   if (node->next_sibling_clone)
2212     node->next_sibling_clone->prev_sibling_clone = node->prev_sibling_clone;
2213   if (node->prev_sibling_clone)
2214     node->prev_sibling_clone->next_sibling_clone = node->next_sibling_clone;
2215   else
2216     node->clone_of->clones = node->next_sibling_clone;
2217   node->next_sibling_clone = NULL;
2218   node->prev_sibling_clone = NULL;
2219   if (!node->clone_of->analyzed && !node->clone_of->clones)
2220     cgraph_remove_node (node->clone_of);
2221   node->clone_of = NULL;
2222   bitmap_obstack_release (NULL);
2223 }
2224
2225 /* Once all functions from compilation unit are in memory, produce all clones
2226    and update all calls.
2227    We might also do this on demand if we don't want to bring all functions to
2228    memory prior compilation, but current WHOPR implementation does that and it is
2229    is bit easier to keep everything right in this order.  */
2230 void
2231 cgraph_materialize_all_clones (void)
2232 {
2233   struct cgraph_node *node;
2234   bool stabilized = false;
2235
2236   if (cgraph_dump_file)
2237     fprintf (cgraph_dump_file, "Materializing clones\n");
2238 #ifdef ENABLE_CHECKING
2239   verify_cgraph ();
2240 #endif
2241
2242   /* We can also do topological order, but number of iterations should be
2243      bounded by number of IPA passes since single IPA pass is probably not
2244      going to create clones of clones it created itself.  */
2245   while (!stabilized)
2246     {
2247       stabilized = true;
2248       for (node = cgraph_nodes; node; node = node->next)
2249         {
2250           if (node->clone_of && node->decl != node->clone_of->decl
2251               && !gimple_has_body_p (node->decl))
2252             {
2253               if (gimple_has_body_p (node->clone_of->decl))
2254                 {
2255                   if (cgraph_dump_file)
2256                     {
2257                       fprintf (cgraph_dump_file, "clonning %s to %s\n",
2258                                cgraph_node_name (node->clone_of),
2259                                cgraph_node_name (node));
2260                       if (node->clone.tree_map)
2261                         {
2262                           unsigned int i;
2263                           fprintf (cgraph_dump_file, "   replace map: ");
2264                           for (i = 0; i < VEC_length (ipa_replace_map_p,
2265                                                       node->clone.tree_map);
2266                                                       i++)
2267                             {
2268                               struct ipa_replace_map *replace_info;
2269                               replace_info = VEC_index (ipa_replace_map_p,
2270                                                         node->clone.tree_map,
2271                                                         i);
2272                               print_generic_expr (cgraph_dump_file, replace_info->old_tree, 0);
2273                               fprintf (cgraph_dump_file, " -> ");
2274                               print_generic_expr (cgraph_dump_file, replace_info->new_tree, 0);
2275                               fprintf (cgraph_dump_file, "%s%s;",
2276                                        replace_info->replace_p ? "(replace)":"",
2277                                        replace_info->ref_p ? "(ref)":"");
2278                             }
2279                           fprintf (cgraph_dump_file, "\n");
2280                         }
2281                       if (node->clone.args_to_skip)
2282                         {
2283                           fprintf (cgraph_dump_file, "   args_to_skip: ");
2284                           dump_bitmap (cgraph_dump_file, node->clone.args_to_skip);
2285                         }
2286                       if (node->clone.args_to_skip)
2287                         {
2288                           fprintf (cgraph_dump_file, "   combined_args_to_skip:");
2289                           dump_bitmap (cgraph_dump_file, node->clone.combined_args_to_skip);
2290                         }
2291                     }
2292                   cgraph_materialize_clone (node);
2293                 }
2294               else
2295                 stabilized = false;
2296             }
2297         }
2298     }
2299   for (node = cgraph_nodes; node; node = node->next)
2300     if (!node->analyzed && node->callees)
2301       cgraph_node_remove_callees (node);
2302   if (cgraph_dump_file)
2303     fprintf (cgraph_dump_file, "Updating call sites\n");
2304   for (node = cgraph_nodes; node; node = node->next)
2305     if (node->analyzed && gimple_has_body_p (node->decl)
2306         && (!node->clone_of || node->clone_of->decl != node->decl))
2307       {
2308         struct cgraph_edge *e;
2309
2310         current_function_decl = node->decl;
2311         push_cfun (DECL_STRUCT_FUNCTION (node->decl));
2312         for (e = node->callees; e; e = e->next_callee)
2313           {
2314             tree decl = gimple_call_fndecl (e->call_stmt);
2315             /* When function gets inlined, indirect inlining might've invented
2316                new edge for orginally indirect stmt.  Since we are not
2317                preserving clones in the original form, we must not update here
2318                since other inline clones don't need to contain call to the same
2319                call.  Inliner will do the substitution for us later.  */
2320             if (decl && decl != e->callee->decl)
2321               {
2322                 gimple new_stmt;
2323                 gimple_stmt_iterator gsi;
2324
2325                 if (cgraph_get_node (decl) == cgraph_get_node (e->callee->decl))
2326                   /* Don't update call from same body alias to the real function.  */
2327                   continue;
2328
2329                 if (cgraph_dump_file)
2330                   {
2331                     fprintf (cgraph_dump_file, "updating call of %s in %s:",
2332                              cgraph_node_name (node),
2333                              cgraph_node_name (e->callee));
2334                     print_gimple_stmt (cgraph_dump_file, e->call_stmt, 0, dump_flags);
2335                   }
2336
2337                 if (e->callee->clone.combined_args_to_skip)
2338                   new_stmt = gimple_call_copy_skip_args (e->call_stmt,
2339                                                          e->callee->clone.combined_args_to_skip);
2340                 else
2341                   new_stmt = e->call_stmt;
2342                 if (gimple_vdef (new_stmt)
2343                     && TREE_CODE (gimple_vdef (new_stmt)) == SSA_NAME)
2344                   SSA_NAME_DEF_STMT (gimple_vdef (new_stmt)) = new_stmt;
2345                 gimple_call_set_fndecl (new_stmt, e->callee->decl);
2346
2347                 gsi = gsi_for_stmt (e->call_stmt);
2348                 gsi_replace (&gsi, new_stmt, true);
2349
2350                 /* Update EH information too, just in case.  */
2351                 maybe_clean_or_replace_eh_stmt (e->call_stmt, new_stmt);
2352
2353                 cgraph_set_call_stmt_including_clones (node, e->call_stmt, new_stmt);
2354
2355                 if (cgraph_dump_file)
2356                   {
2357                     fprintf (cgraph_dump_file, "  updated to:");
2358                     print_gimple_stmt (cgraph_dump_file, e->call_stmt, 0, dump_flags);
2359                   }
2360               }
2361           }
2362         pop_cfun ();
2363         current_function_decl = NULL;
2364 #ifdef ENABLE_CHECKING
2365         verify_cgraph_node (node);
2366 #endif
2367       }
2368 #ifdef ENABLE_CHECKING
2369   verify_cgraph ();
2370 #endif
2371   cgraph_remove_unreachable_nodes (false, cgraph_dump_file);
2372 }
2373
2374 #include "gt-cgraphunit.h"