OSDN Git Service

7a39ac70bc18417c2c36c488a2fb8fdb8f8cfa8f
[pf3gnuchains/gcc-fork.git] / gcc / passes.c
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2    Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3    1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
4    Free Software Foundation, Inc.
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 is the top level of cc1/c++.
23    It parses command args, opens files, invokes the various passes
24    in the proper order, and counts the time used by each.
25    Error messages and low-level interface to malloc also handled here.  */
26
27 #include "config.h"
28 #undef FLOAT /* This is for hpux. They should change hpux.  */
29 #undef FFS  /* Some systems define this in param.h.  */
30 #include "system.h"
31 #include "coretypes.h"
32 #include "tm.h"
33 #include <signal.h>
34
35 #ifdef HAVE_SYS_RESOURCE_H
36 # include <sys/resource.h>
37 #endif
38
39 #ifdef HAVE_SYS_TIMES_H
40 # include <sys/times.h>
41 #endif
42
43 #include "line-map.h"
44 #include "input.h"
45 #include "tree.h"
46 #include "rtl.h"
47 #include "tm_p.h"
48 #include "flags.h"
49 #include "insn-attr.h"
50 #include "insn-config.h"
51 #include "insn-flags.h"
52 #include "hard-reg-set.h"
53 #include "recog.h"
54 #include "output.h"
55 #include "except.h"
56 #include "function.h"
57 #include "toplev.h"
58 #include "expr.h"
59 #include "basic-block.h"
60 #include "intl.h"
61 #include "ggc.h"
62 #include "graph.h"
63 #include "regs.h"
64 #include "timevar.h"
65 #include "diagnostic.h"
66 #include "params.h"
67 #include "reload.h"
68 #include "dwarf2asm.h"
69 #include "integrate.h"
70 #include "real.h"
71 #include "debug.h"
72 #include "target.h"
73 #include "langhooks.h"
74 #include "cfglayout.h"
75 #include "cfgloop.h"
76 #include "hosthooks.h"
77 #include "cgraph.h"
78 #include "opts.h"
79 #include "coverage.h"
80 #include "value-prof.h"
81 #include "tree-inline.h"
82 #include "tree-flow.h"
83 #include "tree-pass.h"
84 #include "tree-dump.h"
85 #include "df.h"
86 #include "predict.h"
87
88 #if defined (DWARF2_UNWIND_INFO) || defined (DWARF2_DEBUGGING_INFO)
89 #include "dwarf2out.h"
90 #endif
91
92 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
93 #include "dbxout.h"
94 #endif
95
96 #ifdef SDB_DEBUGGING_INFO
97 #include "sdbout.h"
98 #endif
99
100 #ifdef XCOFF_DEBUGGING_INFO
101 #include "xcoffout.h"           /* Needed for external data
102                                    declarations for e.g. AIX 4.x.  */
103 #endif
104
105 /* This is used for debugging.  It allows the current pass to printed
106    from anywhere in compilation.  */
107 struct opt_pass *current_pass;
108
109 /* Call from anywhere to find out what pass this is.  Useful for
110    printing out debugging information deep inside an service
111    routine.  */
112 void
113 print_current_pass (FILE *file)
114 {
115   if (current_pass)
116     fprintf (file, "current pass = %s (%d)\n", 
117              current_pass->name, current_pass->static_pass_number);
118   else
119     fprintf (file, "no current pass.\n");
120 }
121
122
123 /* Call from the debugger to get the current pass name.  */
124 void
125 debug_pass (void)
126 {
127   print_current_pass (stderr);
128
129
130
131
132 /* Global variables used to communicate with passes.  */
133 int dump_flags;
134 bool in_gimple_form;
135 bool first_pass_instance;
136
137
138 /* This is called from various places for FUNCTION_DECL, VAR_DECL,
139    and TYPE_DECL nodes.
140
141    This does nothing for local (non-static) variables, unless the
142    variable is a register variable with DECL_ASSEMBLER_NAME set.  In
143    that case, or if the variable is not an automatic, it sets up the
144    RTL and outputs any assembler code (label definition, storage
145    allocation and initialization).
146
147    DECL is the declaration.  TOP_LEVEL is nonzero
148    if this declaration is not within a function.  */
149
150 void
151 rest_of_decl_compilation (tree decl,
152                           int top_level,
153                           int at_end)
154 {
155   /* We deferred calling assemble_alias so that we could collect
156      other attributes such as visibility.  Emit the alias now.  */
157   {
158     tree alias;
159     alias = lookup_attribute ("alias", DECL_ATTRIBUTES (decl));
160     if (alias)
161       {
162         alias = TREE_VALUE (TREE_VALUE (alias));
163         alias = get_identifier (TREE_STRING_POINTER (alias));
164         assemble_alias (decl, alias);
165       }
166   }
167
168   /* Can't defer this, because it needs to happen before any
169      later function definitions are processed.  */
170   if (DECL_ASSEMBLER_NAME_SET_P (decl) && DECL_REGISTER (decl))
171     make_decl_rtl (decl);
172
173   /* Forward declarations for nested functions are not "external",
174      but we need to treat them as if they were.  */
175   if (TREE_STATIC (decl) || DECL_EXTERNAL (decl)
176       || TREE_CODE (decl) == FUNCTION_DECL)
177     {
178       timevar_push (TV_VARCONST);
179
180       /* Don't output anything when a tentative file-scope definition
181          is seen.  But at end of compilation, do output code for them.
182
183          We do output all variables and rely on
184          callgraph code to defer them except for forward declarations
185          (see gcc.c-torture/compile/920624-1.c) */
186       if ((at_end
187            || !DECL_DEFER_OUTPUT (decl)
188            || DECL_INITIAL (decl))
189           && !DECL_EXTERNAL (decl))
190         {
191           if (TREE_CODE (decl) != FUNCTION_DECL)
192             varpool_finalize_decl (decl);
193           else
194             assemble_variable (decl, top_level, at_end, 0);
195         }
196
197 #ifdef ASM_FINISH_DECLARE_OBJECT
198       if (decl == last_assemble_variable_decl)
199         {
200           ASM_FINISH_DECLARE_OBJECT (asm_out_file, decl,
201                                      top_level, at_end);
202         }
203 #endif
204
205       timevar_pop (TV_VARCONST);
206     }
207   else if (TREE_CODE (decl) == TYPE_DECL
208            /* Like in rest_of_type_compilation, avoid confusing the debug
209               information machinery when there are errors.  */
210            && !(sorrycount || errorcount))
211     {
212       timevar_push (TV_SYMOUT);
213       debug_hooks->type_decl (decl, !top_level);
214       timevar_pop (TV_SYMOUT);
215     }
216
217   /* Let cgraph know about the existence of variables.  */
218   if (TREE_CODE (decl) == VAR_DECL && !DECL_EXTERNAL (decl))
219     varpool_node (decl);
220 }
221
222 /* Called after finishing a record, union or enumeral type.  */
223
224 void
225 rest_of_type_compilation (tree type, int toplev)
226 {
227   /* Avoid confusing the debug information machinery when there are
228      errors.  */
229   if (errorcount != 0 || sorrycount != 0)
230     return;
231
232   timevar_push (TV_SYMOUT);
233   debug_hooks->type_decl (TYPE_STUB_DECL (type), !toplev);
234   timevar_pop (TV_SYMOUT);
235 }
236
237 \f
238
239 void
240 finish_optimization_passes (void)
241 {
242   enum tree_dump_index i;
243   struct dump_file_info *dfi;
244   char *name;
245
246   timevar_push (TV_DUMP);
247   if (profile_arc_flag || flag_test_coverage || flag_branch_probabilities)
248     {
249       dump_file = dump_begin (pass_profile.pass.static_pass_number, NULL);
250       end_branch_prob ();
251       if (dump_file)
252         dump_end (pass_profile.pass.static_pass_number, dump_file);
253     }
254
255   if (optimize > 0)
256     {
257       dump_file = dump_begin (pass_combine.pass.static_pass_number, NULL);
258       if (dump_file)
259         {
260           dump_combine_total_stats (dump_file);
261           dump_end (pass_combine.pass.static_pass_number, dump_file);
262         }
263     }
264
265   /* Do whatever is necessary to finish printing the graphs.  */
266   if (graph_dump_format != no_graph)
267     for (i = TDI_end; (dfi = get_dump_file_info (i)) != NULL; ++i)
268       if (dump_initialized_p (i)
269           && (dfi->flags & TDF_GRAPH) != 0
270           && (name = get_dump_file_name (i)) != NULL)
271         {
272           finish_graph_dump_file (name);
273           free (name);
274         }
275
276   timevar_pop (TV_DUMP);
277 }
278
279 static bool
280 gate_rest_of_compilation (void)
281 {
282   /* Early return if there were errors.  We can run afoul of our
283      consistency checks, and there's not really much point in fixing them.  */
284   return !(rtl_dump_and_exit || flag_syntax_only || errorcount || sorrycount);
285 }
286
287 struct gimple_opt_pass pass_rest_of_compilation =
288 {
289  {
290   GIMPLE_PASS,
291   NULL,                                 /* name */
292   gate_rest_of_compilation,             /* gate */
293   NULL,                                 /* execute */
294   NULL,                                 /* sub */
295   NULL,                                 /* next */
296   0,                                    /* static_pass_number */
297   TV_REST_OF_COMPILATION,               /* tv_id */
298   PROP_rtl,                             /* properties_required */
299   0,                                    /* properties_provided */
300   0,                                    /* properties_destroyed */
301   0,                                    /* todo_flags_start */
302   TODO_ggc_collect                      /* todo_flags_finish */
303  }
304 };
305
306 static bool
307 gate_postreload (void)
308 {
309   return reload_completed;
310 }
311
312 struct rtl_opt_pass pass_postreload =
313 {
314  {
315   RTL_PASS,
316   NULL,                                 /* name */
317   gate_postreload,                      /* gate */
318   NULL,                                 /* execute */
319   NULL,                                 /* sub */
320   NULL,                                 /* next */
321   0,                                    /* static_pass_number */
322   TV_NONE,                              /* tv_id */
323   PROP_rtl,                             /* properties_required */
324   0,                                    /* properties_provided */
325   0,                                    /* properties_destroyed */
326   0,                                    /* todo_flags_start */
327   TODO_ggc_collect | TODO_verify_rtl_sharing /* todo_flags_finish */
328  }
329 };
330
331
332
333 /* The root of the compilation pass tree, once constructed.  */
334 struct opt_pass *all_passes, *all_ipa_passes, *all_lowering_passes;
335
336 /* A map from static pass id to optimization pass.  */
337 struct opt_pass **passes_by_id;
338 int passes_by_id_size;
339
340 /* Set the static pass number of pass PASS to ID and record that
341    in the mapping from static pass number to pass.  */
342
343 static void
344 set_pass_for_id (int id, struct opt_pass *pass)
345 {
346   pass->static_pass_number = id;
347   if (passes_by_id_size <= id)
348     {
349       passes_by_id = XRESIZEVEC (struct opt_pass *, passes_by_id, id + 1);
350       memset (passes_by_id + passes_by_id_size, 0,
351               (id + 1 - passes_by_id_size) * sizeof (void *));
352       passes_by_id_size = id + 1;
353     }
354   passes_by_id[id] = pass;
355 }
356
357 /* Return the pass with the static pass number ID.  */
358
359 struct opt_pass *
360 get_pass_for_id (int id)
361 {
362   if (id >= passes_by_id_size)
363     return NULL;
364   return passes_by_id[id];
365 }
366
367 /* Iterate over the pass tree allocating dump file numbers.  We want
368    to do this depth first, and independent of whether the pass is
369    enabled or not.  */
370
371 void
372 register_one_dump_file (struct opt_pass *pass)
373 {
374   char *dot_name, *flag_name, *glob_name;
375   const char *prefix;
376   char num[10];
377   int flags, id;
378
379   /* See below in next_pass_1.  */
380   num[0] = '\0';
381   if (pass->static_pass_number != -1)
382     sprintf (num, "%d", ((int) pass->static_pass_number < 0
383                          ? 1 : pass->static_pass_number));
384
385   dot_name = concat (".", pass->name, num, NULL);
386   if (pass->type == SIMPLE_IPA_PASS || pass->type == IPA_PASS)
387     prefix = "ipa-", flags = TDF_IPA;
388   else if (pass->type == GIMPLE_PASS)
389     prefix = "tree-", flags = TDF_TREE;
390   else
391     prefix = "rtl-", flags = TDF_RTL;
392
393   flag_name = concat (prefix, pass->name, num, NULL);
394   glob_name = concat (prefix, pass->name, NULL);
395   id = dump_register (dot_name, flag_name, glob_name, flags);
396   set_pass_for_id (id, pass);
397 }
398
399 /* Recursive worker function for register_dump_files.  */
400
401 static int 
402 register_dump_files_1 (struct opt_pass *pass, int properties)
403 {
404   do
405     {
406       int new_properties = (properties | pass->properties_provided)
407                            & ~pass->properties_destroyed;
408
409       if (pass->name && pass->name[0] != '*')
410         register_one_dump_file (pass);
411
412       if (pass->sub)
413         new_properties = register_dump_files_1 (pass->sub, new_properties);
414
415       /* If we have a gate, combine the properties that we could have with
416          and without the pass being examined.  */
417       if (pass->gate)
418         properties &= new_properties;
419       else
420         properties = new_properties;
421
422       pass = pass->next;
423     }
424   while (pass);
425
426   return properties;
427 }
428
429 /* Register the dump files for the pipeline starting at PASS. 
430    PROPERTIES reflects the properties that are guaranteed to be available at
431    the beginning of the pipeline.  */
432
433 static void 
434 register_dump_files (struct opt_pass *pass,int properties)
435 {
436   pass->properties_required |= properties;
437   register_dump_files_1 (pass, properties);
438 }
439
440 /* Add a pass to the pass list. Duplicate the pass if it's already
441    in the list.  */
442
443 static struct opt_pass **
444 next_pass_1 (struct opt_pass **list, struct opt_pass *pass)
445 {
446   /* A nonzero static_pass_number indicates that the
447      pass is already in the list.  */
448   if (pass->static_pass_number)
449     {
450       struct opt_pass *new_pass;
451
452       new_pass = XNEW (struct opt_pass);
453       memcpy (new_pass, pass, sizeof (*new_pass));
454       new_pass->next = NULL;
455
456       new_pass->todo_flags_start &= ~TODO_mark_first_instance;
457
458       /* Indicate to register_dump_files that this pass has duplicates,
459          and so it should rename the dump file.  The first instance will
460          be -1, and be number of duplicates = -static_pass_number - 1.
461          Subsequent instances will be > 0 and just the duplicate number.  */
462       if (pass->name)
463         {
464           pass->static_pass_number -= 1;
465           new_pass->static_pass_number = -pass->static_pass_number;
466         }
467       
468       *list = new_pass;
469     }
470   else
471     {
472       pass->todo_flags_start |= TODO_mark_first_instance;
473       pass->static_pass_number = -1;
474       *list = pass;
475     }  
476   
477   return &(*list)->next;
478           
479 }
480
481
482 /* Construct the pass tree.  The sequencing of passes is driven by
483    the cgraph routines:
484
485    cgraph_finalize_compilation_unit ()
486        for each node N in the cgraph
487            cgraph_analyze_function (N)
488                cgraph_lower_function (N) -> all_lowering_passes
489
490    If we are optimizing, cgraph_optimize is then invoked:
491
492    cgraph_optimize ()
493        ipa_passes ()                    -> all_ipa_passes
494        cgraph_expand_all_functions ()
495            for each node N in the cgraph
496                cgraph_expand_function (N)
497                   tree_rest_of_compilation (DECL (N))  -> all_passes
498 */
499
500 void
501 init_optimization_passes (void)
502 {
503   struct opt_pass **p;
504
505 #define NEXT_PASS(PASS)  (p = next_pass_1 (p, &((PASS).pass)))
506
507  /* All passes needed to lower the function into shape optimizers can
508     operate on.  These passes are always run first on the function, but
509     backend might produce already lowered functions that are not processed
510     by these passes.  */
511   p = &all_lowering_passes;
512   NEXT_PASS (pass_remove_useless_stmts);
513   NEXT_PASS (pass_mudflap_1);
514   NEXT_PASS (pass_lower_omp);
515   NEXT_PASS (pass_lower_cf);
516   NEXT_PASS (pass_refactor_eh);
517   NEXT_PASS (pass_lower_eh);
518   NEXT_PASS (pass_build_cfg);
519   NEXT_PASS (pass_lower_complex_O0);
520   NEXT_PASS (pass_lower_vector);
521   NEXT_PASS (pass_warn_function_return);
522   NEXT_PASS (pass_build_cgraph_edges);
523   NEXT_PASS (pass_inline_parameters);
524   *p = NULL;
525
526   /* Interprocedural optimization passes.  */
527   p = &all_ipa_passes;
528   NEXT_PASS (pass_ipa_function_and_variable_visibility);
529   NEXT_PASS (pass_ipa_early_inline);
530     {
531       struct opt_pass **p = &pass_ipa_early_inline.pass.sub;
532       NEXT_PASS (pass_early_inline);
533       NEXT_PASS (pass_inline_parameters);
534       NEXT_PASS (pass_rebuild_cgraph_edges);
535     }
536   NEXT_PASS (pass_early_local_passes);
537     {
538       struct opt_pass **p = &pass_early_local_passes.pass.sub;
539       NEXT_PASS (pass_fixup_cfg);
540       NEXT_PASS (pass_tree_profile);
541       NEXT_PASS (pass_cleanup_cfg);
542       NEXT_PASS (pass_init_datastructures);
543       NEXT_PASS (pass_expand_omp);
544
545       NEXT_PASS (pass_referenced_vars);
546       NEXT_PASS (pass_build_ssa);
547       NEXT_PASS (pass_early_warn_uninitialized);
548       NEXT_PASS (pass_all_early_optimizations);
549         {
550           struct opt_pass **p = &pass_all_early_optimizations.pass.sub;
551           NEXT_PASS (pass_rebuild_cgraph_edges);
552           NEXT_PASS (pass_early_inline);
553           NEXT_PASS (pass_remove_cgraph_callee_edges);
554           NEXT_PASS (pass_rename_ssa_copies);
555           NEXT_PASS (pass_ccp);
556           NEXT_PASS (pass_forwprop);
557           NEXT_PASS (pass_update_address_taken);
558           NEXT_PASS (pass_sra_early);
559           NEXT_PASS (pass_copy_prop);
560           NEXT_PASS (pass_merge_phi);
561           NEXT_PASS (pass_cd_dce);
562           NEXT_PASS (pass_tail_recursion);
563           NEXT_PASS (pass_convert_switch);
564           NEXT_PASS (pass_cleanup_eh);
565           NEXT_PASS (pass_profile);
566           NEXT_PASS (pass_local_pure_const);
567         }
568       NEXT_PASS (pass_release_ssa_names);
569       NEXT_PASS (pass_rebuild_cgraph_edges);
570       NEXT_PASS (pass_inline_parameters);
571     }
572   NEXT_PASS (pass_ipa_increase_alignment);
573   NEXT_PASS (pass_ipa_matrix_reorg);
574   NEXT_PASS (pass_ipa_cp);
575   NEXT_PASS (pass_ipa_inline);
576   NEXT_PASS (pass_ipa_reference);
577   NEXT_PASS (pass_ipa_pure_const); 
578   NEXT_PASS (pass_ipa_type_escape);
579   NEXT_PASS (pass_ipa_pta);
580   NEXT_PASS (pass_ipa_struct_reorg);  
581   *p = NULL;
582
583   /* These passes are run after IPA passes on every function that is being
584      output to the assembler file.  */
585   p = &all_passes;
586   NEXT_PASS (pass_all_optimizations);
587     {
588       struct opt_pass **p = &pass_all_optimizations.pass.sub;
589       NEXT_PASS (pass_remove_cgraph_callee_edges);
590       /* Initial scalar cleanups before alias computation.
591          They ensure memory accesses are not indirect wherever possible.  */
592       NEXT_PASS (pass_strip_predict_hints);
593       NEXT_PASS (pass_update_address_taken);
594       NEXT_PASS (pass_rename_ssa_copies);
595       NEXT_PASS (pass_complete_unrolli);
596       NEXT_PASS (pass_ccp);
597       NEXT_PASS (pass_forwprop);
598       /* Ideally the function call conditional
599          dead code elimination phase can be delayed
600          till later where potentially more opportunities
601          can be found.  Due to lack of good ways to
602          update VDEFs associated with the shrink-wrapped
603          calls, it is better to do the transformation
604          here where memory SSA is not built yet.  */
605       NEXT_PASS (pass_call_cdce);
606       /* pass_build_alias is a dummy pass that ensures that we
607          execute TODO_rebuild_alias at this point.  Re-building
608          alias information also rewrites no longer addressed
609          locals into SSA form if possible.  */
610       NEXT_PASS (pass_build_alias);
611       NEXT_PASS (pass_return_slot);
612       NEXT_PASS (pass_phiprop);
613       NEXT_PASS (pass_fre);
614       NEXT_PASS (pass_copy_prop);
615       NEXT_PASS (pass_merge_phi);
616       NEXT_PASS (pass_vrp);
617       NEXT_PASS (pass_dce);
618       NEXT_PASS (pass_cselim);
619       NEXT_PASS (pass_tree_ifcombine);
620       NEXT_PASS (pass_phiopt);
621       NEXT_PASS (pass_tail_recursion);
622       NEXT_PASS (pass_ch);
623       NEXT_PASS (pass_stdarg);
624       NEXT_PASS (pass_lower_complex);
625       NEXT_PASS (pass_sra);
626       NEXT_PASS (pass_rename_ssa_copies);
627       NEXT_PASS (pass_dominator);
628       /* The only const/copy propagation opportunities left after
629          DOM should be due to degenerate PHI nodes.  So rather than
630          run the full propagators, run a specialized pass which
631          only examines PHIs to discover const/copy propagation
632          opportunities.  */
633       NEXT_PASS (pass_phi_only_cprop);
634       NEXT_PASS (pass_dse);
635       NEXT_PASS (pass_reassoc);
636       NEXT_PASS (pass_dce);
637       NEXT_PASS (pass_forwprop);
638       NEXT_PASS (pass_phiopt);
639       NEXT_PASS (pass_object_sizes);
640       NEXT_PASS (pass_ccp);
641       NEXT_PASS (pass_copy_prop);
642       NEXT_PASS (pass_fold_builtins);
643       NEXT_PASS (pass_cse_sincos);
644       NEXT_PASS (pass_split_crit_edges);
645       NEXT_PASS (pass_pre);
646       NEXT_PASS (pass_sink_code);
647       NEXT_PASS (pass_tree_loop);
648         {
649           struct opt_pass **p = &pass_tree_loop.pass.sub;
650           NEXT_PASS (pass_tree_loop_init);
651           NEXT_PASS (pass_copy_prop);
652           NEXT_PASS (pass_dce_loop);
653           NEXT_PASS (pass_lim);
654           NEXT_PASS (pass_predcom);
655           NEXT_PASS (pass_tree_unswitch);
656           NEXT_PASS (pass_scev_cprop);
657           NEXT_PASS (pass_empty_loop);
658           NEXT_PASS (pass_record_bounds);
659           NEXT_PASS (pass_check_data_deps);
660           NEXT_PASS (pass_loop_distribution);
661           NEXT_PASS (pass_linear_transform);
662           NEXT_PASS (pass_graphite_transforms);
663           NEXT_PASS (pass_iv_canon);
664           NEXT_PASS (pass_if_conversion);
665           NEXT_PASS (pass_vectorize);
666             {
667               struct opt_pass **p = &pass_vectorize.pass.sub;
668               NEXT_PASS (pass_lower_vector_ssa);
669               NEXT_PASS (pass_dce_loop);
670             }
671           NEXT_PASS (pass_complete_unroll);
672           NEXT_PASS (pass_parallelize_loops);
673           NEXT_PASS (pass_loop_prefetch);
674           NEXT_PASS (pass_iv_optimize);
675           NEXT_PASS (pass_tree_loop_done);
676         }
677       NEXT_PASS (pass_cse_reciprocals);
678       NEXT_PASS (pass_convert_to_rsqrt);
679       NEXT_PASS (pass_reassoc);
680       NEXT_PASS (pass_vrp);
681       NEXT_PASS (pass_dominator);
682       /* The only const/copy propagation opportunities left after
683          DOM should be due to degenerate PHI nodes.  So rather than
684          run the full propagators, run a specialized pass which
685          only examines PHIs to discover const/copy propagation
686          opportunities.  */
687       NEXT_PASS (pass_phi_only_cprop);
688       NEXT_PASS (pass_cd_dce);
689       NEXT_PASS (pass_tracer);
690
691       /* FIXME: If DCE is not run before checking for uninitialized uses,
692          we may get false warnings (e.g., testsuite/gcc.dg/uninit-5.c).
693          However, this also causes us to misdiagnose cases that should be
694          real warnings (e.g., testsuite/gcc.dg/pr18501.c).
695          
696          To fix the false positives in uninit-5.c, we would have to
697          account for the predicates protecting the set and the use of each
698          variable.  Using a representation like Gated Single Assignment
699          may help.  */
700       NEXT_PASS (pass_late_warn_uninitialized);
701       NEXT_PASS (pass_dse);
702       NEXT_PASS (pass_forwprop);
703       NEXT_PASS (pass_phiopt);
704       NEXT_PASS (pass_tail_calls);
705       NEXT_PASS (pass_rename_ssa_copies);
706       NEXT_PASS (pass_uncprop);
707       NEXT_PASS (pass_local_pure_const);
708     }
709   NEXT_PASS (pass_cleanup_eh);
710   NEXT_PASS (pass_nrv);
711   NEXT_PASS (pass_mudflap_2);
712   NEXT_PASS (pass_cleanup_cfg_post_optimizing);
713   NEXT_PASS (pass_warn_function_noreturn);
714
715   NEXT_PASS (pass_expand);
716
717   NEXT_PASS (pass_rest_of_compilation);
718     {
719       struct opt_pass **p = &pass_rest_of_compilation.pass.sub;
720       NEXT_PASS (pass_init_function);
721       NEXT_PASS (pass_jump);
722       NEXT_PASS (pass_rtl_eh);
723       NEXT_PASS (pass_initial_value_sets);
724       NEXT_PASS (pass_unshare_all_rtl);
725       NEXT_PASS (pass_instantiate_virtual_regs);
726       NEXT_PASS (pass_into_cfg_layout_mode);
727       NEXT_PASS (pass_jump2);
728       NEXT_PASS (pass_lower_subreg);
729       NEXT_PASS (pass_df_initialize_opt);
730       NEXT_PASS (pass_cse);
731       NEXT_PASS (pass_rtl_fwprop);
732       NEXT_PASS (pass_rtl_cprop);
733       NEXT_PASS (pass_rtl_pre);
734       NEXT_PASS (pass_rtl_hoist);
735       NEXT_PASS (pass_rtl_cprop);
736       NEXT_PASS (pass_rtl_store_motion);
737       NEXT_PASS (pass_cse_after_global_opts);
738       NEXT_PASS (pass_rtl_ifcvt);
739       /* Perform loop optimizations.  It might be better to do them a bit
740          sooner, but we want the profile feedback to work more
741          efficiently.  */
742       NEXT_PASS (pass_loop2);
743         {
744           struct opt_pass **p = &pass_loop2.pass.sub;
745           NEXT_PASS (pass_rtl_loop_init);
746           NEXT_PASS (pass_rtl_move_loop_invariants);
747           NEXT_PASS (pass_rtl_unswitch);
748           NEXT_PASS (pass_rtl_unroll_and_peel_loops);
749           NEXT_PASS (pass_rtl_doloop);
750           NEXT_PASS (pass_rtl_loop_done);
751           *p = NULL;
752         }
753       NEXT_PASS (pass_web);
754       NEXT_PASS (pass_rtl_cprop);
755       NEXT_PASS (pass_cse2);
756       NEXT_PASS (pass_rtl_dse1);
757       NEXT_PASS (pass_rtl_fwprop_addr);
758       NEXT_PASS (pass_reginfo_init);
759       NEXT_PASS (pass_inc_dec);
760       NEXT_PASS (pass_initialize_regs);
761       NEXT_PASS (pass_ud_rtl_dce);
762       NEXT_PASS (pass_combine);
763       NEXT_PASS (pass_if_after_combine);
764       NEXT_PASS (pass_partition_blocks);
765       NEXT_PASS (pass_regmove);
766       NEXT_PASS (pass_outof_cfg_layout_mode);
767       NEXT_PASS (pass_split_all_insns);
768       NEXT_PASS (pass_lower_subreg2);
769       NEXT_PASS (pass_df_initialize_no_opt);
770       NEXT_PASS (pass_stack_ptr_mod);
771       NEXT_PASS (pass_mode_switching);
772       NEXT_PASS (pass_see);
773       NEXT_PASS (pass_match_asm_constraints);
774       NEXT_PASS (pass_sms);
775       NEXT_PASS (pass_sched);
776       NEXT_PASS (pass_subregs_of_mode_init);
777       NEXT_PASS (pass_ira);
778       NEXT_PASS (pass_subregs_of_mode_finish);
779       NEXT_PASS (pass_postreload);
780         {
781           struct opt_pass **p = &pass_postreload.pass.sub;
782           NEXT_PASS (pass_postreload_cse);
783           NEXT_PASS (pass_gcse2);
784           NEXT_PASS (pass_split_after_reload);
785           NEXT_PASS (pass_branch_target_load_optimize1);
786           NEXT_PASS (pass_thread_prologue_and_epilogue);
787           NEXT_PASS (pass_rtl_dse2);
788           NEXT_PASS (pass_stack_adjustments);
789           NEXT_PASS (pass_peephole2);
790           NEXT_PASS (pass_if_after_reload);
791           NEXT_PASS (pass_regrename);
792           NEXT_PASS (pass_cprop_hardreg);
793           NEXT_PASS (pass_fast_rtl_dce);
794           NEXT_PASS (pass_reorder_blocks);
795           NEXT_PASS (pass_branch_target_load_optimize2);
796           NEXT_PASS (pass_leaf_regs);
797           NEXT_PASS (pass_split_before_sched2);
798           NEXT_PASS (pass_sched2);
799           NEXT_PASS (pass_stack_regs);
800             {
801               struct opt_pass **p = &pass_stack_regs.pass.sub;
802               NEXT_PASS (pass_split_before_regstack);
803               NEXT_PASS (pass_stack_regs_run);
804             }
805           NEXT_PASS (pass_compute_alignments);
806           NEXT_PASS (pass_duplicate_computed_gotos);
807           NEXT_PASS (pass_variable_tracking);
808           NEXT_PASS (pass_free_cfg);
809           NEXT_PASS (pass_machine_reorg);
810           NEXT_PASS (pass_cleanup_barriers);
811           NEXT_PASS (pass_delay_slots);
812           NEXT_PASS (pass_split_for_shorten_branches);
813           NEXT_PASS (pass_convert_to_eh_region_ranges);
814           NEXT_PASS (pass_shorten_branches);
815           NEXT_PASS (pass_set_nothrow_function_flags);
816           NEXT_PASS (pass_final);
817         }
818       NEXT_PASS (pass_df_finish);
819     }
820   NEXT_PASS (pass_clean_state);
821   *p = NULL;
822
823 #undef NEXT_PASS
824
825   /* Register the passes with the tree dump code.  */
826   register_dump_files (all_lowering_passes, PROP_gimple_any);
827   all_lowering_passes->todo_flags_start |= TODO_set_props;
828   register_dump_files (all_ipa_passes, 
829                        PROP_gimple_any | PROP_gimple_lcf | PROP_gimple_leh
830                        | PROP_cfg);
831   register_dump_files (all_passes, 
832                        PROP_gimple_any | PROP_gimple_lcf | PROP_gimple_leh
833                        | PROP_cfg);
834 }
835
836 /* If we are in IPA mode (i.e., current_function_decl is NULL), call
837    function CALLBACK for every function in the call graph.  Otherwise,
838    call CALLBACK on the current function.  */ 
839
840 static void
841 do_per_function (void (*callback) (void *data), void *data)
842 {
843   if (current_function_decl)
844     callback (data);
845   else
846     {
847       struct cgraph_node *node;
848       for (node = cgraph_nodes; node; node = node->next)
849         if (node->analyzed && gimple_has_body_p (node->decl))
850           {
851             push_cfun (DECL_STRUCT_FUNCTION (node->decl));
852             current_function_decl = node->decl;
853             callback (data);
854             free_dominance_info (CDI_DOMINATORS);
855             free_dominance_info (CDI_POST_DOMINATORS);
856             current_function_decl = NULL;
857             pop_cfun ();
858             ggc_collect ();
859           }
860     }
861 }
862
863 /* Because inlining might remove no-longer reachable nodes, we need to
864    keep the array visible to garbage collector to avoid reading collected
865    out nodes.  */
866 static int nnodes;
867 static GTY ((length ("nnodes"))) struct cgraph_node **order;
868
869 /* If we are in IPA mode (i.e., current_function_decl is NULL), call
870    function CALLBACK for every function in the call graph.  Otherwise,
871    call CALLBACK on the current function.  */ 
872
873 static void
874 do_per_function_toporder (void (*callback) (void *data), void *data)
875 {
876   int i;
877
878   if (current_function_decl)
879     callback (data);
880   else
881     {
882       gcc_assert (!order);
883       order = GGC_NEWVEC (struct cgraph_node *, cgraph_n_nodes);
884       nnodes = cgraph_postorder (order);
885       for (i = nnodes - 1; i >= 0; i--)
886         order[i]->process = 1;
887       for (i = nnodes - 1; i >= 0; i--)
888         {
889           struct cgraph_node *node = order[i];
890
891           /* Allow possibly removed nodes to be garbage collected.  */
892           order[i] = NULL;
893           node->process = 0;
894           if (node->analyzed && (node->needed || node->reachable))
895             {
896               push_cfun (DECL_STRUCT_FUNCTION (node->decl));
897               current_function_decl = node->decl;
898               callback (data);
899               free_dominance_info (CDI_DOMINATORS);
900               free_dominance_info (CDI_POST_DOMINATORS);
901               current_function_decl = NULL;
902               pop_cfun ();
903               ggc_collect ();
904             }
905         }
906     }
907   ggc_free (order);
908   order = NULL;
909   nnodes = 0;
910 }
911
912 /* Perform all TODO actions that ought to be done on each function.  */
913
914 static void
915 execute_function_todo (void *data)
916 {
917   unsigned int flags = (size_t)data;
918   if (cfun->curr_properties & PROP_ssa)
919     flags |= TODO_verify_ssa;
920   flags &= ~cfun->last_verified;
921   if (!flags)
922     return;
923
924   statistics_fini_pass ();
925
926   /* Always cleanup the CFG before trying to update SSA.  */
927   if (flags & TODO_cleanup_cfg)
928     {
929       bool cleanup = cleanup_tree_cfg ();
930
931       if (cleanup && (cfun->curr_properties & PROP_ssa))
932         flags |= TODO_remove_unused_locals;
933         
934       /* When cleanup_tree_cfg merges consecutive blocks, it may
935          perform some simplistic propagation when removing single
936          valued PHI nodes.  This propagation may, in turn, cause the
937          SSA form to become out-of-date (see PR 22037).  So, even
938          if the parent pass had not scheduled an SSA update, we may
939          still need to do one.  */
940       if (!(flags & TODO_update_ssa_any) && need_ssa_update_p (cfun))
941         flags |= TODO_update_ssa;
942     }
943
944   if (flags & TODO_update_ssa_any)
945     {
946       unsigned update_flags = flags & TODO_update_ssa_any;
947       update_ssa (update_flags);
948       cfun->last_verified &= ~TODO_verify_ssa;
949     }
950   
951   if (flags & TODO_update_address_taken)
952     execute_update_addresses_taken (true);
953
954   if (flags & TODO_rebuild_alias)
955     {
956       if (!(flags & TODO_update_address_taken))
957         execute_update_addresses_taken (true);
958       compute_may_aliases ();
959       cfun->curr_properties |= PROP_alias;
960     }
961   
962   if (flags & TODO_remove_unused_locals)
963     remove_unused_locals ();
964
965   if ((flags & TODO_dump_func) && dump_file && current_function_decl)
966     {
967       if (cfun->curr_properties & PROP_trees)
968         dump_function_to_file (current_function_decl, dump_file, dump_flags);
969       else
970         {
971           if (dump_flags & TDF_SLIM)
972             print_rtl_slim_with_bb (dump_file, get_insns (), dump_flags);
973           else if ((cfun->curr_properties & PROP_cfg)
974                    && (dump_flags & TDF_BLOCKS))
975             print_rtl_with_bb (dump_file, get_insns ());
976           else
977             print_rtl (dump_file, get_insns ());
978
979           if ((cfun->curr_properties & PROP_cfg)
980               && graph_dump_format != no_graph
981               && (dump_flags & TDF_GRAPH))
982             print_rtl_graph_with_bb (dump_file_name, get_insns ());
983         }
984
985       /* Flush the file.  If verification fails, we won't be able to
986          close the file before aborting.  */
987       fflush (dump_file);
988     }
989
990   if (flags & TODO_rebuild_frequencies)
991     {
992       if (profile_status == PROFILE_GUESSED)
993         {
994           loop_optimizer_init (0);
995           add_noreturn_fake_exit_edges ();
996           mark_irreducible_loops ();
997           connect_infinite_loops_to_exit ();
998           estimate_bb_frequencies ();
999           remove_fake_exit_edges ();
1000           loop_optimizer_finalize ();
1001         }
1002       else if (profile_status == PROFILE_READ)
1003         counts_to_freqs ();
1004       else
1005         gcc_unreachable ();
1006     }
1007
1008 #if defined ENABLE_CHECKING
1009   if (flags & TODO_verify_ssa)
1010     verify_ssa (true);
1011   if (flags & TODO_verify_flow)
1012     verify_flow_info ();
1013   if (flags & TODO_verify_stmts)
1014     verify_stmts ();
1015   if (flags & TODO_verify_loops)
1016     verify_loop_closed_ssa ();
1017   if (flags & TODO_verify_rtl_sharing)
1018     verify_rtl_sharing ();
1019 #endif
1020
1021   cfun->last_verified = flags & TODO_verify_all;
1022 }
1023
1024 /* Perform all TODO actions.  */
1025 static void
1026 execute_todo (unsigned int flags)
1027 {
1028 #if defined ENABLE_CHECKING
1029   if (cfun
1030       && need_ssa_update_p (cfun))
1031     gcc_assert (flags & TODO_update_ssa_any);
1032 #endif
1033
1034   /* Inform the pass whether it is the first time it is run.  */
1035   first_pass_instance = (flags & TODO_mark_first_instance) != 0;
1036
1037   do_per_function (execute_function_todo, (void *)(size_t) flags);
1038
1039   /* Always remove functions just as before inlining: IPA passes might be
1040      interested to see bodies of extern inline functions that are not inlined
1041      to analyze side effects.  The full removal is done just at the end
1042      of IPA pass queue.  */
1043   if (flags & TODO_remove_functions)
1044     {
1045       gcc_assert (!cfun);
1046       cgraph_remove_unreachable_nodes (true, dump_file);
1047     }
1048
1049   if ((flags & TODO_dump_cgraph) && dump_file && !current_function_decl)
1050     {
1051       gcc_assert (!cfun);
1052       dump_cgraph (dump_file);
1053       /* Flush the file.  If verification fails, we won't be able to
1054          close the file before aborting.  */
1055       fflush (dump_file);
1056     }
1057
1058   if (flags & TODO_ggc_collect)
1059     ggc_collect ();
1060
1061   /* Now that the dumping has been done, we can get rid of the optional 
1062      df problems.  */
1063   if (flags & TODO_df_finish)
1064     df_finish_pass ((flags & TODO_df_verify) != 0);
1065 }
1066
1067 /* Verify invariants that should hold between passes.  This is a place
1068    to put simple sanity checks.  */
1069
1070 static void
1071 verify_interpass_invariants (void)
1072 {
1073 #ifdef ENABLE_CHECKING
1074   gcc_assert (!fold_deferring_overflow_warnings_p ());
1075 #endif
1076 }
1077
1078 /* Clear the last verified flag.  */
1079
1080 static void
1081 clear_last_verified (void *data ATTRIBUTE_UNUSED)
1082 {
1083   cfun->last_verified = 0;
1084 }
1085
1086 /* Helper function. Verify that the properties has been turn into the
1087    properties expected by the pass.  */
1088
1089 #ifdef ENABLE_CHECKING
1090 static void
1091 verify_curr_properties (void *data)
1092 {
1093   unsigned int props = (size_t)data;
1094   gcc_assert ((cfun->curr_properties & props) == props);
1095 }
1096 #endif
1097
1098 /* Initialize pass dump file.  */
1099
1100 static bool
1101 pass_init_dump_file (struct opt_pass *pass)
1102 {
1103   /* If a dump file name is present, open it if enabled.  */
1104   if (pass->static_pass_number != -1)
1105     {
1106       bool initializing_dump = !dump_initialized_p (pass->static_pass_number);
1107       dump_file_name = get_dump_file_name (pass->static_pass_number);
1108       dump_file = dump_begin (pass->static_pass_number, &dump_flags);
1109       if (dump_file && current_function_decl)
1110         {
1111           const char *dname, *aname;
1112           dname = lang_hooks.decl_printable_name (current_function_decl, 2);
1113           aname = (IDENTIFIER_POINTER
1114                    (DECL_ASSEMBLER_NAME (current_function_decl)));
1115           fprintf (dump_file, "\n;; Function %s (%s)%s\n\n", dname, aname,
1116              cfun->function_frequency == FUNCTION_FREQUENCY_HOT
1117              ? " (hot)"
1118              : cfun->function_frequency == FUNCTION_FREQUENCY_UNLIKELY_EXECUTED
1119              ? " (unlikely executed)"
1120              : "");
1121         }
1122       return initializing_dump;
1123     }
1124   else
1125     return false;
1126 }
1127
1128 /* Flush PASS dump file.  */
1129
1130 static void
1131 pass_fini_dump_file (struct opt_pass *pass)
1132 {
1133   /* Flush and close dump file.  */
1134   if (dump_file_name)
1135     {
1136       free (CONST_CAST (char *, dump_file_name));
1137       dump_file_name = NULL;
1138     }
1139
1140   if (dump_file)
1141     {
1142       dump_end (pass->static_pass_number, dump_file);
1143       dump_file = NULL;
1144     }
1145 }
1146
1147 /* After executing the pass, apply expected changes to the function
1148    properties. */
1149
1150 static void
1151 update_properties_after_pass (void *data)
1152 {
1153   struct opt_pass *pass = (struct opt_pass *) data;
1154   cfun->curr_properties = (cfun->curr_properties | pass->properties_provided)
1155                            & ~pass->properties_destroyed;
1156 }
1157
1158 /* Schedule IPA transform pass DATA for CFUN.  */
1159
1160 static void
1161 add_ipa_transform_pass (void *data)
1162 {
1163   struct ipa_opt_pass *ipa_pass = (struct ipa_opt_pass *) data;
1164   VEC_safe_push (ipa_opt_pass, heap, cfun->ipa_transforms_to_apply, ipa_pass);
1165 }
1166
1167 /* Execute summary generation for all of the passes in IPA_PASS.  */
1168
1169 static void
1170 execute_ipa_summary_passes (struct ipa_opt_pass *ipa_pass)
1171 {
1172   while (ipa_pass)
1173     {
1174       struct opt_pass *pass = &ipa_pass->pass;
1175
1176       /* Execute all of the IPA_PASSes in the list.  */
1177       if (ipa_pass->pass.type == IPA_PASS 
1178           && (!pass->gate || pass->gate ()))
1179         {
1180           pass_init_dump_file (pass);
1181           ipa_pass->generate_summary ();
1182           pass_fini_dump_file (pass);
1183         }
1184       ipa_pass = (struct ipa_opt_pass *)ipa_pass->pass.next;
1185     }
1186 }
1187
1188 /* Execute IPA_PASS function transform on NODE.  */
1189
1190 static void
1191 execute_one_ipa_transform_pass (struct cgraph_node *node,
1192                                 struct ipa_opt_pass *ipa_pass)
1193 {
1194   struct opt_pass *pass = &ipa_pass->pass;
1195   unsigned int todo_after = 0;
1196
1197   current_pass = pass;
1198   if (!ipa_pass->function_transform)
1199     return;
1200
1201   /* Note that the folders should only create gimple expressions.
1202      This is a hack until the new folder is ready.  */
1203   in_gimple_form = (cfun && (cfun->curr_properties & PROP_trees)) != 0;
1204
1205   pass_init_dump_file (pass);
1206
1207   /* Run pre-pass verification.  */
1208   execute_todo (ipa_pass->function_transform_todo_flags_start);
1209
1210   /* If a timevar is present, start it.  */
1211   if (pass->tv_id != TV_NONE)
1212     timevar_push (pass->tv_id);
1213
1214   /* Do it!  */
1215   todo_after = ipa_pass->function_transform (node);
1216
1217   /* Stop timevar.  */
1218   if (pass->tv_id != TV_NONE)
1219     timevar_pop (pass->tv_id);
1220
1221   /* Run post-pass cleanup and verification.  */
1222   execute_todo (todo_after);
1223   verify_interpass_invariants ();
1224
1225   pass_fini_dump_file (pass);
1226
1227   current_pass = NULL;
1228 }
1229
1230 static bool
1231 execute_one_pass (struct opt_pass *pass)
1232 {
1233   bool initializing_dump;
1234   unsigned int todo_after = 0;
1235
1236   /* IPA passes are executed on whole program, so cfun should be NULL.
1237      Other passes need function context set.  */
1238   if (pass->type == SIMPLE_IPA_PASS || pass->type == IPA_PASS)
1239     gcc_assert (!cfun && !current_function_decl);
1240   else
1241     gcc_assert (cfun && current_function_decl);
1242
1243   if (cfun && cfun->ipa_transforms_to_apply)
1244     {
1245       unsigned int i;
1246       struct cgraph_node *node = cgraph_node (current_function_decl);
1247
1248       for (i = 0; i < VEC_length (ipa_opt_pass, cfun->ipa_transforms_to_apply);
1249            i++)
1250         execute_one_ipa_transform_pass (node,
1251                                         VEC_index (ipa_opt_pass,
1252                                                    cfun->ipa_transforms_to_apply,
1253                                                    i));
1254       VEC_free (ipa_opt_pass, heap, cfun->ipa_transforms_to_apply);
1255       cfun->ipa_transforms_to_apply = NULL;
1256     }
1257
1258   current_pass = pass;
1259
1260   /* See if we're supposed to run this pass.  */
1261   if (pass->gate && !pass->gate ())
1262     return false;
1263
1264   if (!quiet_flag && !cfun)
1265     fprintf (stderr, " <%s>", pass->name ? pass->name : "");
1266
1267   if (pass->todo_flags_start & TODO_set_props)
1268     cfun->curr_properties = pass->properties_required;
1269
1270   /* Note that the folders should only create gimple expressions.
1271      This is a hack until the new folder is ready.  */
1272   in_gimple_form = (cfun && (cfun->curr_properties & PROP_trees)) != 0;
1273
1274   initializing_dump = pass_init_dump_file (pass);
1275
1276   /* Run pre-pass verification.  */
1277   execute_todo (pass->todo_flags_start);
1278
1279 #ifdef ENABLE_CHECKING
1280   do_per_function (verify_curr_properties,
1281                    (void *)(size_t)pass->properties_required);
1282 #endif
1283
1284   /* If a timevar is present, start it.  */
1285   if (pass->tv_id != TV_NONE)
1286     timevar_push (pass->tv_id);
1287
1288   /* Do it!  */
1289   if (pass->execute)
1290     {
1291       todo_after = pass->execute ();
1292       do_per_function (clear_last_verified, NULL);
1293     }
1294
1295   /* Stop timevar.  */
1296   if (pass->tv_id != TV_NONE)
1297     timevar_pop (pass->tv_id);
1298
1299   do_per_function (update_properties_after_pass, pass);
1300
1301   if (initializing_dump
1302       && dump_file
1303       && graph_dump_format != no_graph
1304       && cfun
1305       && (cfun->curr_properties & (PROP_cfg | PROP_rtl))
1306           == (PROP_cfg | PROP_rtl))
1307     {
1308       get_dump_file_info (pass->static_pass_number)->flags |= TDF_GRAPH;
1309       dump_flags |= TDF_GRAPH;
1310       clean_graph_dump_file (dump_file_name);
1311     }
1312
1313   /* Run post-pass cleanup and verification.  */
1314   execute_todo (todo_after | pass->todo_flags_finish);
1315   verify_interpass_invariants ();
1316   if (pass->type == IPA_PASS)
1317     do_per_function (add_ipa_transform_pass, pass);
1318
1319   if (!current_function_decl)
1320     cgraph_process_new_functions ();
1321
1322   pass_fini_dump_file (pass);
1323
1324   if (pass->type != SIMPLE_IPA_PASS && pass->type != IPA_PASS)
1325     gcc_assert (!(cfun->curr_properties & PROP_trees)
1326                 || pass->type != RTL_PASS);
1327
1328   current_pass = NULL;
1329
1330   return true;
1331 }
1332
1333 void
1334 execute_pass_list (struct opt_pass *pass)
1335 {
1336   do
1337     {
1338       gcc_assert (pass->type == GIMPLE_PASS
1339                   || pass->type == RTL_PASS);
1340       if (execute_one_pass (pass) && pass->sub)
1341         execute_pass_list (pass->sub);
1342       pass = pass->next;
1343     }
1344   while (pass);
1345 }
1346
1347 /* Same as execute_pass_list but assume that subpasses of IPA passes
1348    are local passes.  */
1349 void
1350 execute_ipa_pass_list (struct opt_pass *pass)
1351 {
1352   bool summaries_generated = false;
1353   do
1354     {
1355       gcc_assert (!current_function_decl);
1356       gcc_assert (!cfun);
1357       gcc_assert (pass->type == SIMPLE_IPA_PASS || pass->type == IPA_PASS);
1358       if (pass->type == IPA_PASS && (!pass->gate || pass->gate ()))
1359         {
1360           if (!summaries_generated)
1361             {
1362               if (!quiet_flag && !cfun)
1363                 fprintf (stderr, " <summary generate>");
1364               execute_ipa_summary_passes ((struct ipa_opt_pass *) pass);
1365             }
1366           summaries_generated = true;
1367         }
1368       if (execute_one_pass (pass) && pass->sub)
1369         {
1370           if (pass->sub->type == GIMPLE_PASS)
1371             do_per_function_toporder ((void (*)(void *))execute_pass_list,
1372                                       pass->sub);
1373           else if (pass->sub->type == SIMPLE_IPA_PASS
1374                    || pass->sub->type == IPA_PASS)
1375             execute_ipa_pass_list (pass->sub);
1376           else
1377             gcc_unreachable ();
1378         }
1379       if (!current_function_decl)
1380         cgraph_process_new_functions ();
1381       pass = pass->next;
1382     }
1383   while (pass);
1384 }
1385
1386 /* Called by local passes to see if function is called by already processed nodes.
1387    Because we process nodes in topological order, this means that function is
1388    in recursive cycle or we introduced new direct calls.  */
1389 bool
1390 function_called_by_processed_nodes_p (void)
1391 {
1392   struct cgraph_edge *e;
1393   for (e = cgraph_node (current_function_decl)->callers; e; e = e->next_caller)
1394     {
1395       if (e->caller->decl == current_function_decl)
1396         continue;
1397       if (!e->caller->analyzed || (!e->caller->needed && !e->caller->reachable))
1398         continue;
1399       if (TREE_ASM_WRITTEN (e->caller->decl))
1400         continue;
1401       if (!e->caller->process && !e->caller->global.inlined_to)
1402         break;
1403     }
1404   if (dump_file && e)
1405     {
1406       fprintf (dump_file, "Already processed call to:\n");
1407       dump_cgraph_node (dump_file, e->caller);
1408     }
1409   return e != NULL;
1410 }
1411
1412 #include "gt-passes.h"