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