OSDN Git Service

36b13d155fbf44feb5261c7a9304c1c8db8b62ec
[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 Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING.  If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA.  */
21
22 /* This 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 "alloc-pool.h"
82 #include "tree-pass.h"
83 #include "tree-dump.h"
84
85 #if defined (DWARF2_UNWIND_INFO) || defined (DWARF2_DEBUGGING_INFO)
86 #include "dwarf2out.h"
87 #endif
88
89 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
90 #include "dbxout.h"
91 #endif
92
93 #ifdef SDB_DEBUGGING_INFO
94 #include "sdbout.h"
95 #endif
96
97 #ifdef XCOFF_DEBUGGING_INFO
98 #include "xcoffout.h"           /* Needed for external data
99                                    declarations for e.g. AIX 4.x.  */
100 #endif
101
102 #ifndef HAVE_conditional_execution
103 #define HAVE_conditional_execution 0
104 #endif
105
106 /* Format to use to print dumpfile index value */
107 #ifndef DUMPFILE_FORMAT
108 #define DUMPFILE_FORMAT ".%02d."
109 #endif
110
111 static int initializing_dump = 0;
112
113 /* Routine to open a dump file.  Return true if the dump file is enabled.  */
114
115 static int
116 open_dump_file (enum tree_dump_index index, tree decl)
117 {
118   if (! dump_enabled_p (index))
119     return 0;
120
121   timevar_push (TV_DUMP);
122
123   if (dump_file != NULL || dump_file_name != NULL)
124     abort ();
125
126   dump_file_name = get_dump_file_name (index);
127   initializing_dump = !dump_initialized_p (index);
128   dump_file = dump_begin (index, NULL);
129
130   if (dump_file == NULL)
131     fatal_error ("can't open %s: %m", dump_file_name);
132
133   if (decl)
134     fprintf (dump_file, "\n;; Function %s%s\n\n",
135              lang_hooks.decl_printable_name (decl, 2),
136              cfun->function_frequency == FUNCTION_FREQUENCY_HOT
137              ? " (hot)"
138              : cfun->function_frequency == FUNCTION_FREQUENCY_UNLIKELY_EXECUTED
139              ? " (unlikely executed)"
140              : "");
141
142   timevar_pop (TV_DUMP);
143   return 1;
144 }
145
146 /* Routine to close a dump file.  */
147
148 static void
149 close_dump_file (enum tree_dump_index index,
150                  void (*func) (FILE *, rtx),
151                  rtx insns)
152 {
153   if (! dump_file)
154     return;
155
156   timevar_push (TV_DUMP);
157   if (insns
158       && graph_dump_format != no_graph)
159     {
160       /* If we've not initialized the files, do so now.  */
161       if (initializing_dump)
162         clean_graph_dump_file (dump_file_name);
163
164       print_rtl_graph_with_bb (dump_file_name, insns);
165     }
166
167   if (func && insns)
168     func (dump_file, insns);
169
170   dump_end (index, dump_file);
171   free ((char *) dump_file_name);
172
173   dump_file = NULL;
174   dump_file_name = NULL;
175   timevar_pop (TV_DUMP);
176 }
177
178 /* This is called from various places for FUNCTION_DECL, VAR_DECL,
179    and TYPE_DECL nodes.
180
181    This does nothing for local (non-static) variables, unless the
182    variable is a register variable with DECL_ASSEMBLER_NAME set.  In
183    that case, or if the variable is not an automatic, it sets up the
184    RTL and outputs any assembler code (label definition, storage
185    allocation and initialization).
186
187    DECL is the declaration.  TOP_LEVEL is nonzero
188    if this declaration is not within a function.  */
189
190 void
191 rest_of_decl_compilation (tree decl,
192                           int top_level,
193                           int at_end)
194 {
195   /* We deferred calling assemble_alias so that we could collect
196      other attributes such as visibility.  Emit the alias now.  */
197   {
198     tree alias;
199     alias = lookup_attribute ("alias", DECL_ATTRIBUTES (decl));
200     if (alias)
201       {
202         alias = TREE_VALUE (TREE_VALUE (alias));
203         alias = get_identifier (TREE_STRING_POINTER (alias));
204         assemble_alias (decl, alias);
205       }
206   }
207
208   /* Can't defer this, because it needs to happen before any
209      later function definitions are processed.  */
210   if (DECL_REGISTER (decl) && DECL_ASSEMBLER_NAME_SET_P (decl))
211     make_decl_rtl (decl);
212
213   /* Forward declarations for nested functions are not "external",
214      but we need to treat them as if they were.  */
215   if (TREE_STATIC (decl) || DECL_EXTERNAL (decl)
216       || TREE_CODE (decl) == FUNCTION_DECL)
217     {
218       timevar_push (TV_VARCONST);
219
220       /* Don't output anything when a tentative file-scope definition
221          is seen.  But at end of compilation, do output code for them.
222
223          We do output all variables when unit-at-a-time is active and rely on
224          callgraph code to defer them except for forward declarations
225          (see gcc.c-torture/compile/920624-1.c) */
226       if ((at_end
227            || !DECL_DEFER_OUTPUT (decl)
228            || (flag_unit_at_a_time && DECL_INITIAL (decl)))
229           && !DECL_EXTERNAL (decl))
230         {
231           if (flag_unit_at_a_time && !cgraph_global_info_ready
232               && TREE_CODE (decl) != FUNCTION_DECL && top_level)
233             cgraph_varpool_finalize_decl (decl);
234           else
235             assemble_variable (decl, top_level, at_end, 0);
236         }
237
238 #ifdef ASM_FINISH_DECLARE_OBJECT
239       if (decl == last_assemble_variable_decl)
240         {
241           ASM_FINISH_DECLARE_OBJECT (asm_out_file, decl,
242                                      top_level, at_end);
243         }
244 #endif
245
246       timevar_pop (TV_VARCONST);
247     }
248   else if (TREE_CODE (decl) == TYPE_DECL)
249     {
250       timevar_push (TV_SYMOUT);
251       debug_hooks->type_decl (decl, !top_level);
252       timevar_pop (TV_SYMOUT);
253     }
254 }
255
256 /* Called after finishing a record, union or enumeral type.  */
257
258 void
259 rest_of_type_compilation (tree type, int toplev)
260 {
261   /* Avoid confusing the debug information machinery when there are
262      errors.  */
263   if (errorcount != 0 || sorrycount != 0)
264     return;
265
266   timevar_push (TV_SYMOUT);
267   debug_hooks->type_decl (TYPE_STUB_DECL (type), !toplev);
268   timevar_pop (TV_SYMOUT);
269 }
270
271 /* Turn the RTL into assembly.  */
272 static void
273 rest_of_handle_final (void)
274 {
275   timevar_push (TV_FINAL);
276   {
277     rtx x;
278     const char *fnname;
279
280     /* Get the function's name, as described by its RTL.  This may be
281        different from the DECL_NAME name used in the source file.  */
282
283     x = DECL_RTL (current_function_decl);
284     if (!MEM_P (x))
285       abort ();
286     x = XEXP (x, 0);
287     if (GET_CODE (x) != SYMBOL_REF)
288       abort ();
289     fnname = XSTR (x, 0);
290
291     assemble_start_function (current_function_decl, fnname);
292     final_start_function (get_insns (), asm_out_file, optimize);
293     final (get_insns (), asm_out_file, optimize, 0);
294     final_end_function ();
295
296 #ifdef TARGET_UNWIND_INFO
297     /* ??? The IA-64 ".handlerdata" directive must be issued before
298        the ".endp" directive that closes the procedure descriptor.  */
299     output_function_exception_table ();
300 #endif
301
302     assemble_end_function (current_function_decl, fnname);
303
304 #ifndef TARGET_UNWIND_INFO
305     /* Otherwise, it feels unclean to switch sections in the middle.  */
306     output_function_exception_table ();
307 #endif
308
309     user_defined_section_attribute = false;
310
311     if (! quiet_flag)
312       fflush (asm_out_file);
313
314     /* Release all memory allocated by flow.  */
315     free_basic_block_vars ();
316   }
317
318   /* Write DBX symbols if requested.  */
319
320   /* Note that for those inline functions where we don't initially
321      know for certain that we will be generating an out-of-line copy,
322      the first invocation of this routine (rest_of_compilation) will
323      skip over this code by doing a `goto exit_rest_of_compilation;'.
324      Later on, wrapup_global_declarations will (indirectly) call
325      rest_of_compilation again for those inline functions that need
326      to have out-of-line copies generated.  During that call, we
327      *will* be routed past here.  */
328
329   timevar_push (TV_SYMOUT);
330   (*debug_hooks->function_decl) (current_function_decl);
331   timevar_pop (TV_SYMOUT);
332
333   ggc_collect ();
334   timevar_pop (TV_FINAL);
335 }
336
337 #ifdef DELAY_SLOTS
338 /* Run delay slot optimization.  */
339 static void
340 rest_of_handle_delay_slots (void)
341 {
342   timevar_push (TV_DBR_SCHED);
343   open_dump_file (DFI_dbr, current_function_decl);
344
345   dbr_schedule (get_insns (), dump_file);
346
347   close_dump_file (DFI_dbr, print_rtl, get_insns ());
348
349   ggc_collect ();
350
351   timevar_pop (TV_DBR_SCHED);
352 }
353 #endif
354
355 #ifdef STACK_REGS
356 /* Convert register usage from flat register file usage to a stack
357    register file.  */
358 static void
359 rest_of_handle_stack_regs (void)
360 {
361 #if defined (HAVE_ATTR_length)
362   /* If flow2 creates new instructions which need splitting
363      and scheduling after reload is not done, they might not be
364      split until final which doesn't allow splitting
365      if HAVE_ATTR_length.  */
366 #ifdef INSN_SCHEDULING
367   if (optimize && !flag_schedule_insns_after_reload)
368 #else
369   if (optimize)
370 #endif
371     {
372       timevar_push (TV_SHORTEN_BRANCH);
373       split_all_insns (1);
374       timevar_pop (TV_SHORTEN_BRANCH);
375     }
376 #endif
377
378   timevar_push (TV_REG_STACK);
379   open_dump_file (DFI_stack, current_function_decl);
380
381   if (reg_to_stack (dump_file) && optimize)
382     {
383       if (cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_POST_REGSTACK
384                        | (flag_crossjumping ? CLEANUP_CROSSJUMP : 0))
385           && (flag_reorder_blocks || flag_reorder_blocks_and_partition))
386         {
387           reorder_basic_blocks (0);
388           cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_POST_REGSTACK);
389         }
390     }
391
392   close_dump_file (DFI_stack, print_rtl_with_bb, get_insns ());
393
394   ggc_collect ();
395   timevar_pop (TV_REG_STACK);
396 }
397 #endif
398
399 /* Track the variables, i.e. compute where the variable is stored at each position in function.  */
400 static void
401 rest_of_handle_variable_tracking (void)
402 {
403   timevar_push (TV_VAR_TRACKING);
404   open_dump_file (DFI_vartrack, current_function_decl);
405
406   variable_tracking_main ();
407
408   close_dump_file (DFI_vartrack, print_rtl_with_bb, get_insns ());
409   timevar_pop (TV_VAR_TRACKING);
410 }
411
412 /* Machine dependent reorg pass.  */
413 static void
414 rest_of_handle_machine_reorg (void)
415 {
416   timevar_push (TV_MACH_DEP);
417   open_dump_file (DFI_mach, current_function_decl);
418
419   targetm.machine_dependent_reorg ();
420
421   close_dump_file (DFI_mach, print_rtl, get_insns ());
422
423   ggc_collect ();
424   timevar_pop (TV_MACH_DEP);
425 }
426
427
428 /* Run new register allocator.  Return TRUE if we must exit
429    rest_of_compilation upon return.  */
430 static bool
431 rest_of_handle_new_regalloc (void)
432 {
433   int failure;
434
435   timevar_push (TV_LOCAL_ALLOC);
436   open_dump_file (DFI_lreg, current_function_decl);
437
438   delete_trivially_dead_insns (get_insns (), max_reg_num ());
439   reg_alloc ();
440
441   timevar_pop (TV_LOCAL_ALLOC);
442   close_dump_file (DFI_lreg, NULL, NULL);
443
444   /* XXX clean up the whole mess to bring live info in shape again.  */
445   timevar_push (TV_GLOBAL_ALLOC);
446   open_dump_file (DFI_greg, current_function_decl);
447
448   build_insn_chain (get_insns ());
449   failure = reload (get_insns (), 0);
450
451   timevar_pop (TV_GLOBAL_ALLOC);
452
453   ggc_collect ();
454
455   if (dump_enabled_p (DFI_greg))
456     {
457       timevar_push (TV_DUMP);
458       dump_global_regs (dump_file);
459       timevar_pop (TV_DUMP);
460       close_dump_file (DFI_greg, print_rtl_with_bb, get_insns ());
461     }
462
463   if (failure)
464     return true;
465
466   reload_completed = 1;
467
468   return false;
469 }
470
471 /* Run old register allocator.  Return TRUE if we must exit
472    rest_of_compilation upon return.  */
473 static bool
474 rest_of_handle_old_regalloc (void)
475 {
476   int failure;
477   int rebuild_notes;
478
479   timevar_push (TV_LOCAL_ALLOC);
480   open_dump_file (DFI_lreg, current_function_decl);
481
482   /* Allocate the reg_renumber array.  */
483   allocate_reg_info (max_regno, FALSE, TRUE);
484
485   /* And the reg_equiv_memory_loc array.  */
486   VARRAY_GROW (reg_equiv_memory_loc_varray, max_regno);
487   reg_equiv_memory_loc = &VARRAY_RTX (reg_equiv_memory_loc_varray, 0);
488
489   allocate_initial_values (reg_equiv_memory_loc);
490
491   regclass (get_insns (), max_reg_num (), dump_file);
492   rebuild_notes = local_alloc ();
493
494   timevar_pop (TV_LOCAL_ALLOC);
495
496   /* Local allocation may have turned an indirect jump into a direct
497      jump.  If so, we must rebuild the JUMP_LABEL fields of jumping
498      instructions.  */
499   if (rebuild_notes)
500     {
501       timevar_push (TV_JUMP);
502
503       rebuild_jump_labels (get_insns ());
504       purge_all_dead_edges (0);
505
506       timevar_pop (TV_JUMP);
507     }
508
509   if (dump_enabled_p (DFI_lreg))
510     {
511       timevar_push (TV_DUMP);
512       dump_flow_info (dump_file);
513       dump_local_alloc (dump_file);
514       timevar_pop (TV_DUMP);
515     }
516
517   close_dump_file (DFI_lreg, print_rtl_with_bb, get_insns ());
518
519   ggc_collect ();
520
521   timevar_push (TV_GLOBAL_ALLOC);
522   open_dump_file (DFI_greg, current_function_decl);
523
524   /* If optimizing, allocate remaining pseudo-regs.  Do the reload
525      pass fixing up any insns that are invalid.  */
526
527   if (optimize)
528     failure = global_alloc (dump_file);
529   else
530     {
531       build_insn_chain (get_insns ());
532       failure = reload (get_insns (), 0);
533     }
534
535   if (dump_enabled_p (DFI_greg))
536     {
537       timevar_push (TV_DUMP);
538       dump_global_regs (dump_file);
539       timevar_pop (TV_DUMP);
540
541       close_dump_file (DFI_greg, print_rtl_with_bb, get_insns ());
542     }
543
544   ggc_collect ();
545
546   timevar_pop (TV_GLOBAL_ALLOC);
547
548   return failure;
549 }
550
551 /* Run the regrename and cprop passes.  */
552 static void
553 rest_of_handle_regrename (void)
554 {
555   timevar_push (TV_RENAME_REGISTERS);
556   open_dump_file (DFI_rnreg, current_function_decl);
557
558   if (flag_rename_registers)
559     regrename_optimize ();
560   if (flag_cprop_registers)
561     copyprop_hardreg_forward ();
562
563   close_dump_file (DFI_rnreg, print_rtl_with_bb, get_insns ());
564   timevar_pop (TV_RENAME_REGISTERS);
565 }
566
567 /* Reorder basic blocks.  */
568 static void
569 rest_of_handle_reorder_blocks (void)
570 {
571   bool changed;
572   unsigned int liveness_flags;
573
574   open_dump_file (DFI_bbro, current_function_decl);
575
576   /* Last attempt to optimize CFG, as scheduling, peepholing and insn
577      splitting possibly introduced more crossjumping opportunities.  */
578   liveness_flags = (!HAVE_conditional_execution ? CLEANUP_UPDATE_LIFE : 0);
579   changed = cleanup_cfg (CLEANUP_EXPENSIVE | liveness_flags);
580
581   if (flag_sched2_use_traces && flag_schedule_insns_after_reload)
582     tracer (liveness_flags);
583   if (flag_reorder_blocks || flag_reorder_blocks_and_partition)
584     reorder_basic_blocks (liveness_flags);
585   if (flag_reorder_blocks || flag_reorder_blocks_and_partition
586       || (flag_sched2_use_traces && flag_schedule_insns_after_reload))
587     changed |= cleanup_cfg (CLEANUP_EXPENSIVE | liveness_flags);
588
589   /* On conditional execution targets we can not update the life cheaply, so
590      we deffer the updating to after both cleanups.  This may lose some cases
591      but should not be terribly bad.  */
592   if (changed && HAVE_conditional_execution)
593     update_life_info (NULL, UPDATE_LIFE_GLOBAL_RM_NOTES,
594                       PROP_DEATH_NOTES);
595   close_dump_file (DFI_bbro, print_rtl_with_bb, get_insns ());
596 }
597
598 /* Partition hot and cold basic blocks.  */
599 static void
600 rest_of_handle_partition_blocks (void)
601 {
602   no_new_pseudos = 0;
603   partition_hot_cold_basic_blocks ();
604   allocate_reg_life_data ();
605   update_life_info (NULL, UPDATE_LIFE_GLOBAL_RM_NOTES, 
606                     PROP_LOG_LINKS | PROP_REG_INFO | PROP_DEATH_NOTES);
607   no_new_pseudos = 1;
608 }
609
610 #ifdef INSN_SCHEDULING
611 /* Run instruction scheduler.  */
612 /* Perform SMS module scheduling.  */
613 static void
614 rest_of_handle_sms (void)
615 {
616   timevar_push (TV_SMS);
617   open_dump_file (DFI_sms, current_function_decl);
618
619   /* We want to be able to create new pseudos.  */
620   no_new_pseudos = 0;
621   sms_schedule (dump_file);
622   close_dump_file (DFI_sms, print_rtl, get_insns ());
623
624
625   /* Update the life information, because we add pseudos.  */
626   max_regno = max_reg_num ();
627   allocate_reg_info (max_regno, FALSE, FALSE);
628   update_life_info_in_dirty_blocks (UPDATE_LIFE_GLOBAL_RM_NOTES,
629                                     (PROP_DEATH_NOTES
630                                      | PROP_KILL_DEAD_CODE
631                                      | PROP_SCAN_DEAD_CODE));
632   no_new_pseudos = 1;
633
634   ggc_collect ();
635   timevar_pop (TV_SMS);
636 }
637
638 /* Run instruction scheduler.  */
639 static void
640 rest_of_handle_sched (void)
641 {
642   timevar_push (TV_SCHED);
643
644   /* Print function header into sched dump now
645      because doing the sched analysis makes some of the dump.  */
646   open_dump_file (DFI_sched, current_function_decl);
647
648   /* Do control and data sched analysis,
649      and write some of the results to dump file.  */
650
651   schedule_insns (dump_file);
652
653   close_dump_file (DFI_sched, print_rtl_with_bb, get_insns ());
654
655   ggc_collect ();
656   timevar_pop (TV_SCHED);
657 }
658
659 /* Run second scheduling pass after reload.  */
660 static void
661 rest_of_handle_sched2 (void)
662 {
663   timevar_push (TV_SCHED2);
664   open_dump_file (DFI_sched2, current_function_decl);
665
666   /* Do control and data sched analysis again,
667      and write some more of the results to dump file.  */
668
669   split_all_insns (1);
670
671   if (flag_sched2_use_superblocks || flag_sched2_use_traces)
672     {
673       schedule_ebbs (dump_file);
674       /* No liveness updating code yet, but it should be easy to do.
675          reg-stack recomputes the liveness when needed for now.  */
676       count_or_remove_death_notes (NULL, 1);
677       cleanup_cfg (CLEANUP_EXPENSIVE);
678     }
679   else
680     schedule_insns (dump_file);
681
682   close_dump_file (DFI_sched2, print_rtl_with_bb, get_insns ());
683
684   ggc_collect ();
685
686   timevar_pop (TV_SCHED2);
687 }
688 #endif
689
690 static void
691 rest_of_handle_gcse2 (void)
692 {
693   timevar_push (TV_GCSE_AFTER_RELOAD);
694   open_dump_file (DFI_gcse2, current_function_decl);
695
696   gcse_after_reload_main (get_insns ());
697   rebuild_jump_labels (get_insns ());
698   delete_trivially_dead_insns (get_insns (), max_reg_num ());
699   close_dump_file (DFI_gcse2, print_rtl_with_bb, get_insns ());
700
701   ggc_collect ();
702
703 #ifdef ENABLE_CHECKING
704   verify_flow_info ();
705 #endif
706
707   timevar_pop (TV_GCSE_AFTER_RELOAD);
708 }
709
710 /* Register allocation pre-pass, to reduce number of moves necessary
711    for two-address machines.  */
712 static void
713 rest_of_handle_regmove (void)
714 {
715   timevar_push (TV_REGMOVE);
716   open_dump_file (DFI_regmove, current_function_decl);
717
718   regmove_optimize (get_insns (), max_reg_num (), dump_file);
719
720   cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE);
721   close_dump_file (DFI_regmove, print_rtl_with_bb, get_insns ());
722
723   ggc_collect ();
724   timevar_pop (TV_REGMOVE);
725 }
726
727 /* Run tracer.  */
728 static void
729 rest_of_handle_tracer (void)
730 {
731   open_dump_file (DFI_tracer, current_function_decl);
732   if (dump_file)
733     dump_flow_info (dump_file);
734   tracer (0);
735   cleanup_cfg (CLEANUP_EXPENSIVE);
736   reg_scan (get_insns (), max_reg_num (), 0);
737   close_dump_file (DFI_tracer, print_rtl_with_bb, get_insns ());
738 }
739
740 /* If-conversion and CFG cleanup.  */
741 static void
742 rest_of_handle_if_conversion (void)
743 {
744   timevar_push (TV_IFCVT);
745   open_dump_file (DFI_ce1, current_function_decl);
746
747   if (flag_if_conversion)
748     {
749       if (dump_file)
750         dump_flow_info (dump_file);
751       cleanup_cfg (CLEANUP_EXPENSIVE);
752       reg_scan (get_insns (), max_reg_num (), 0);
753       if_convert (0);
754     }
755
756   timevar_push (TV_JUMP);
757   cleanup_cfg (CLEANUP_EXPENSIVE);
758   reg_scan (get_insns (), max_reg_num (), 0);
759   timevar_pop (TV_JUMP);
760
761   close_dump_file (DFI_ce1, print_rtl_with_bb, get_insns ());
762   timevar_pop (TV_IFCVT);
763 }
764
765 /* Rerun if-conversion, as combine may have simplified things enough
766    to now meet sequence length restrictions.  */
767 static void
768 rest_of_handle_if_after_combine (void)
769 {
770   timevar_push (TV_IFCVT);
771   open_dump_file (DFI_ce2, current_function_decl);
772
773   no_new_pseudos = 0;
774   if_convert (1);
775   no_new_pseudos = 1;
776
777   close_dump_file (DFI_ce2, print_rtl_with_bb, get_insns ());
778   timevar_pop (TV_IFCVT);
779 }
780
781 static void
782 rest_of_handle_if_after_reload (void)
783 {
784   timevar_push (TV_IFCVT2);
785   open_dump_file (DFI_ce3, current_function_decl);
786
787   /* Last attempt to optimize CFG, as scheduling, peepholing and insn
788      splitting possibly introduced more crossjumping opportunities.  */
789   cleanup_cfg (CLEANUP_EXPENSIVE
790                | CLEANUP_UPDATE_LIFE 
791                | (flag_crossjumping ? CLEANUP_CROSSJUMP : 0));
792   if (flag_if_conversion2)
793     if_convert (1);
794   close_dump_file (DFI_ce3, print_rtl_with_bb, get_insns ());
795   timevar_pop (TV_IFCVT2);
796 }
797
798 static void
799 rest_of_handle_web (void)
800 {
801   open_dump_file (DFI_web, current_function_decl);
802   timevar_push (TV_WEB);
803   web_main ();
804   delete_trivially_dead_insns (get_insns (), max_reg_num ());
805   cleanup_cfg (CLEANUP_EXPENSIVE);
806
807   timevar_pop (TV_WEB);
808   close_dump_file (DFI_web, print_rtl_with_bb, get_insns ());
809   reg_scan (get_insns (), max_reg_num (), 0);
810 }
811
812 /* Do branch profiling and static profile estimation passes.  */
813 static void
814 rest_of_handle_branch_prob (void)
815 {
816   struct loops loops;
817
818   timevar_push (TV_BRANCH_PROB);
819   open_dump_file (DFI_bp, current_function_decl);
820
821   if (profile_arc_flag || flag_test_coverage || flag_branch_probabilities)
822     branch_prob ();
823
824   /* Discover and record the loop depth at the head of each basic
825      block.  The loop infrastructure does the real job for us.  */
826   flow_loops_find (&loops, LOOP_TREE);
827
828   if (dump_file)
829     flow_loops_dump (&loops, dump_file, NULL, 0);
830
831   /* Estimate using heuristics if no profiling info is available.  */
832   if (flag_guess_branch_prob)
833     estimate_probability (&loops);
834
835   flow_loops_free (&loops);
836   free_dominance_info (CDI_DOMINATORS);
837   close_dump_file (DFI_bp, print_rtl_with_bb, get_insns ());
838   timevar_pop (TV_BRANCH_PROB);
839 }
840
841 /* Do optimizations based on expression value profiles.  */
842 static void
843 rest_of_handle_value_profile_transformations (void)
844 {
845   open_dump_file (DFI_vpt, current_function_decl);
846   timevar_push (TV_VPT);
847
848   if (value_profile_transformations ())
849     cleanup_cfg (CLEANUP_EXPENSIVE);
850
851   timevar_pop (TV_VPT);
852   close_dump_file (DFI_vpt, print_rtl_with_bb, get_insns ());
853 }
854
855 /* Do control and data flow analysis; write some of the results to the
856    dump file.  */
857 static void
858 rest_of_handle_cfg (void)
859 {
860   open_dump_file (DFI_cfg, current_function_decl);
861   if (dump_file)
862     dump_flow_info (dump_file);
863   if (optimize)
864     cleanup_cfg (CLEANUP_EXPENSIVE
865                  | (flag_thread_jumps ? CLEANUP_THREADING : 0));
866
867   /* It may make more sense to mark constant functions after dead code is
868      eliminated by life_analysis, but we need to do it early, as -fprofile-arcs
869      may insert code making function non-constant, but we still must consider
870      it as constant, otherwise -fbranch-probabilities will not read data back.
871
872      life_analysis rarely eliminates modification of external memory.
873
874      FIXME: now with tree based profiling we are in the trap described above
875      again.  It seems to be easiest to disable the optimization for time
876      being before the problem is either solved by moving the transformation
877      to the IPA level (we need the CFG for this) or the very early optimization
878      passes are made to ignore the const/pure flags so code does not change.  */
879   if (optimize
880       && (!flag_tree_based_profiling
881           || (!profile_arc_flag && !flag_branch_probabilities)))
882     {
883       /* Alias analysis depends on this information and mark_constant_function
884        depends on alias analysis.  */
885       reg_scan (get_insns (), max_reg_num (), 1);
886       mark_constant_function ();
887     }
888
889   close_dump_file (DFI_cfg, print_rtl_with_bb, get_insns ());
890 }
891
892 /* Perform jump bypassing and control flow optimizations.  */
893 static void
894 rest_of_handle_jump_bypass (void)
895 {
896   timevar_push (TV_BYPASS);
897   open_dump_file (DFI_bypass, current_function_decl);
898
899   cleanup_cfg (CLEANUP_EXPENSIVE);
900   reg_scan (get_insns (), max_reg_num (), 1);
901
902   if (bypass_jumps (dump_file))
903     {
904       rebuild_jump_labels (get_insns ());
905       cleanup_cfg (CLEANUP_EXPENSIVE);
906       delete_trivially_dead_insns (get_insns (), max_reg_num ());
907     }
908
909   close_dump_file (DFI_bypass, print_rtl_with_bb, get_insns ());
910   timevar_pop (TV_BYPASS);
911
912   ggc_collect ();
913
914 #ifdef ENABLE_CHECKING
915   verify_flow_info ();
916 #endif
917 }
918
919 /* Try combining insns through substitution.  */
920 static void
921 rest_of_handle_combine (void)
922 {
923   int rebuild_jump_labels_after_combine = 0;
924
925   timevar_push (TV_COMBINE);
926   open_dump_file (DFI_combine, current_function_decl);
927
928   rebuild_jump_labels_after_combine
929     = combine_instructions (get_insns (), max_reg_num ());
930
931   /* Combining insns may have turned an indirect jump into a
932      direct jump.  Rebuild the JUMP_LABEL fields of jumping
933      instructions.  */
934   if (rebuild_jump_labels_after_combine)
935     {
936       timevar_push (TV_JUMP);
937       rebuild_jump_labels (get_insns ());
938       timevar_pop (TV_JUMP);
939
940       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE);
941     }
942
943   close_dump_file (DFI_combine, print_rtl_with_bb, get_insns ());
944   timevar_pop (TV_COMBINE);
945
946   ggc_collect ();
947 }
948
949 /* Perform life analysis.  */
950 static void
951 rest_of_handle_life (void)
952 {
953   open_dump_file (DFI_life, current_function_decl);
954   regclass_init ();
955
956 #ifdef ENABLE_CHECKING
957   verify_flow_info ();
958 #endif
959   life_analysis (dump_file, PROP_FINAL);
960   if (optimize)
961     cleanup_cfg ((optimize ? CLEANUP_EXPENSIVE : 0) | CLEANUP_UPDATE_LIFE
962                  | CLEANUP_LOG_LINKS
963                  | (flag_thread_jumps ? CLEANUP_THREADING : 0));
964
965   if (extra_warnings)
966     {
967       setjmp_vars_warning (DECL_INITIAL (current_function_decl));
968       setjmp_args_warning ();
969     }
970
971   if (optimize)
972     {
973       if (!flag_new_regalloc && initialize_uninitialized_subregs ())
974         {
975           /* Insns were inserted, and possibly pseudos created, so
976              things might look a bit different.  */
977           allocate_reg_life_data ();
978           update_life_info (NULL, UPDATE_LIFE_GLOBAL_RM_NOTES,
979                             PROP_LOG_LINKS | PROP_REG_INFO | PROP_DEATH_NOTES);
980         }
981     }
982
983   no_new_pseudos = 1;
984
985   close_dump_file (DFI_life, print_rtl_with_bb, get_insns ());
986
987   ggc_collect ();
988 }
989
990 /* Perform common subexpression elimination.  Nonzero value from
991    `cse_main' means that jumps were simplified and some code may now
992    be unreachable, so do jump optimization again.  */
993 static void
994 rest_of_handle_cse (void)
995 {
996   int tem;
997
998   open_dump_file (DFI_cse, current_function_decl);
999   if (dump_file)
1000     dump_flow_info (dump_file);
1001   timevar_push (TV_CSE);
1002
1003   reg_scan (get_insns (), max_reg_num (), 1);
1004
1005   tem = cse_main (get_insns (), max_reg_num (), dump_file);
1006   if (tem)
1007     rebuild_jump_labels (get_insns ());
1008   if (purge_all_dead_edges (0))
1009     delete_unreachable_blocks ();
1010
1011   delete_trivially_dead_insns (get_insns (), max_reg_num ());
1012
1013   /* If we are not running more CSE passes, then we are no longer
1014      expecting CSE to be run.  But always rerun it in a cheap mode.  */
1015   cse_not_expected = !flag_rerun_cse_after_loop && !flag_gcse;
1016
1017   if (tem || optimize > 1)
1018     cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
1019
1020   timevar_pop (TV_CSE);
1021   close_dump_file (DFI_cse, print_rtl_with_bb, get_insns ());
1022
1023   ggc_collect ();
1024 }
1025
1026 /* Run second CSE pass after loop optimizations.  */
1027 static void
1028 rest_of_handle_cse2 (void)
1029 {
1030   int tem;
1031
1032   timevar_push (TV_CSE2);
1033   open_dump_file (DFI_cse2, current_function_decl);
1034   if (dump_file)
1035     dump_flow_info (dump_file);
1036   /* CFG is no longer maintained up-to-date.  */
1037   tem = cse_main (get_insns (), max_reg_num (), dump_file);
1038
1039   /* Run a pass to eliminate duplicated assignments to condition code
1040      registers.  We have to run this after bypass_jumps, because it
1041      makes it harder for that pass to determine whether a jump can be
1042      bypassed safely.  */
1043   cse_condition_code_reg ();
1044
1045   purge_all_dead_edges (0);
1046   delete_trivially_dead_insns (get_insns (), max_reg_num ());
1047
1048   if (tem)
1049     {
1050       timevar_push (TV_JUMP);
1051       rebuild_jump_labels (get_insns ());
1052       cleanup_cfg (CLEANUP_EXPENSIVE);
1053       timevar_pop (TV_JUMP);
1054     }
1055   reg_scan (get_insns (), max_reg_num (), 0);
1056   close_dump_file (DFI_cse2, print_rtl_with_bb, get_insns ());
1057   timevar_pop (TV_CSE2);
1058
1059   ggc_collect ();
1060 }
1061
1062 /* Perform global cse.  */
1063 static void
1064 rest_of_handle_gcse (void)
1065 {
1066   int save_csb, save_cfj;
1067   int tem2 = 0, tem;
1068
1069   timevar_push (TV_GCSE);
1070   open_dump_file (DFI_gcse, current_function_decl);
1071
1072   tem = gcse_main (get_insns (), dump_file);
1073   rebuild_jump_labels (get_insns ());
1074   delete_trivially_dead_insns (get_insns (), max_reg_num ());
1075
1076   save_csb = flag_cse_skip_blocks;
1077   save_cfj = flag_cse_follow_jumps;
1078   flag_cse_skip_blocks = flag_cse_follow_jumps = 0;
1079
1080   /* If -fexpensive-optimizations, re-run CSE to clean up things done
1081      by gcse.  */
1082   if (flag_expensive_optimizations)
1083     {
1084       timevar_push (TV_CSE);
1085       reg_scan (get_insns (), max_reg_num (), 1);
1086       tem2 = cse_main (get_insns (), max_reg_num (), dump_file);
1087       purge_all_dead_edges (0);
1088       delete_trivially_dead_insns (get_insns (), max_reg_num ());
1089       timevar_pop (TV_CSE);
1090       cse_not_expected = !flag_rerun_cse_after_loop;
1091     }
1092
1093   /* If gcse or cse altered any jumps, rerun jump optimizations to clean
1094      things up.  Then possibly re-run CSE again.  */
1095   while (tem || tem2)
1096     {
1097       tem = tem2 = 0;
1098       timevar_push (TV_JUMP);
1099       rebuild_jump_labels (get_insns ());
1100       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
1101       timevar_pop (TV_JUMP);
1102
1103       if (flag_expensive_optimizations)
1104         {
1105           timevar_push (TV_CSE);
1106           reg_scan (get_insns (), max_reg_num (), 1);
1107           tem2 = cse_main (get_insns (), max_reg_num (), dump_file);
1108           purge_all_dead_edges (0);
1109           delete_trivially_dead_insns (get_insns (), max_reg_num ());
1110           timevar_pop (TV_CSE);
1111         }
1112     }
1113
1114   close_dump_file (DFI_gcse, print_rtl_with_bb, get_insns ());
1115   timevar_pop (TV_GCSE);
1116
1117   ggc_collect ();
1118   flag_cse_skip_blocks = save_csb;
1119   flag_cse_follow_jumps = save_cfj;
1120 #ifdef ENABLE_CHECKING
1121   verify_flow_info ();
1122 #endif
1123 }
1124
1125 /* Move constant computations out of loops.  */
1126 static void
1127 rest_of_handle_loop_optimize (void)
1128 {
1129   int do_prefetch;
1130
1131   timevar_push (TV_LOOP);
1132   delete_dead_jumptables ();
1133   cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
1134   open_dump_file (DFI_loop, current_function_decl);
1135
1136   /* CFG is no longer maintained up-to-date.  */
1137   free_bb_for_insn ();
1138   profile_status = PROFILE_ABSENT;
1139
1140   do_prefetch = flag_prefetch_loop_arrays ? LOOP_PREFETCH : 0;
1141
1142   if (flag_rerun_loop_opt)
1143     {
1144       cleanup_barriers ();
1145
1146       /* We only want to perform unrolling once.  */
1147       loop_optimize (get_insns (), dump_file, 0);
1148
1149       /* The first call to loop_optimize makes some instructions
1150          trivially dead.  We delete those instructions now in the
1151          hope that doing so will make the heuristics in loop work
1152          better and possibly speed up compilation.  */
1153       delete_trivially_dead_insns (get_insns (), max_reg_num ());
1154
1155       /* The regscan pass is currently necessary as the alias
1156          analysis code depends on this information.  */
1157       reg_scan (get_insns (), max_reg_num (), 1);
1158     }
1159   cleanup_barriers ();
1160   loop_optimize (get_insns (), dump_file, do_prefetch);
1161
1162   /* Loop can create trivially dead instructions.  */
1163   delete_trivially_dead_insns (get_insns (), max_reg_num ());
1164   find_basic_blocks (get_insns (), max_reg_num (), dump_file);
1165   close_dump_file (DFI_loop, print_rtl, get_insns ());
1166   timevar_pop (TV_LOOP);
1167
1168   ggc_collect ();
1169 }
1170
1171 /* Perform loop optimizations.  It might be better to do them a bit
1172    sooner, but we want the profile feedback to work more
1173    efficiently.  */
1174 static void
1175 rest_of_handle_loop2 (void)
1176 {
1177   struct loops *loops;
1178   basic_block bb;
1179
1180   if (!flag_move_loop_invariants
1181       && !flag_unswitch_loops
1182       && !flag_peel_loops
1183       && !flag_unroll_loops
1184       && !flag_branch_on_count_reg)
1185     return;
1186
1187   timevar_push (TV_LOOP);
1188   open_dump_file (DFI_loop2, current_function_decl);
1189   if (dump_file)
1190     dump_flow_info (dump_file);
1191
1192   /* Initialize structures for layout changes.  */
1193   cfg_layout_initialize (0);
1194
1195   loops = loop_optimizer_init (dump_file);
1196
1197   if (loops)
1198     {
1199       /* The optimizations:  */
1200       if (flag_move_loop_invariants)
1201         move_loop_invariants (loops);
1202
1203       if (flag_unswitch_loops)
1204         unswitch_loops (loops);
1205
1206       if (flag_peel_loops || flag_unroll_loops)
1207         unroll_and_peel_loops (loops,
1208                                (flag_peel_loops ? UAP_PEEL : 0) |
1209                                (flag_unroll_loops ? UAP_UNROLL : 0) |
1210                                (flag_unroll_all_loops ? UAP_UNROLL_ALL : 0));
1211
1212 #ifdef HAVE_doloop_end
1213       if (flag_branch_on_count_reg && HAVE_doloop_end)
1214         doloop_optimize_loops (loops);
1215 #endif /* HAVE_doloop_end */
1216
1217       loop_optimizer_finalize (loops, dump_file);
1218     }
1219
1220   free_dominance_info (CDI_DOMINATORS);
1221
1222   /* Finalize layout changes.  */
1223   FOR_EACH_BB (bb)
1224     if (bb->next_bb != EXIT_BLOCK_PTR)
1225       bb->rbi->next = bb->next_bb;
1226   cfg_layout_finalize ();
1227
1228   cleanup_cfg (CLEANUP_EXPENSIVE);
1229   delete_trivially_dead_insns (get_insns (), max_reg_num ());
1230   reg_scan (get_insns (), max_reg_num (), 0);
1231   if (dump_file)
1232     dump_flow_info (dump_file);
1233   close_dump_file (DFI_loop2, print_rtl_with_bb, get_insns ());
1234   timevar_pop (TV_LOOP);
1235   ggc_collect ();
1236 }
1237
1238 static void
1239 rest_of_handle_branch_target_load_optimize (void)
1240 {
1241   static int warned = 0;
1242
1243   /* Leave this a warning for now so that it is possible to experiment
1244      with running this pass twice.  In 3.6, we should either make this
1245      an error, or use separate dump files.  */
1246   if (flag_branch_target_load_optimize
1247       && flag_branch_target_load_optimize2
1248       && !warned)
1249     {
1250       warning ("branch target register load optimization is not intended "
1251                "to be run twice");
1252
1253       warned = 1;
1254     }
1255
1256   open_dump_file (DFI_branch_target_load, current_function_decl);
1257   branch_target_load_optimize (epilogue_completed);
1258   close_dump_file (DFI_branch_target_load, print_rtl_with_bb, get_insns ());
1259   ggc_collect ();
1260 }
1261
1262 #ifdef OPTIMIZE_MODE_SWITCHING
1263 static void
1264 rest_of_handle_mode_switching (void)
1265 {
1266   timevar_push (TV_MODE_SWITCH);
1267
1268   no_new_pseudos = 0;
1269   optimize_mode_switching (NULL);
1270   no_new_pseudos = 1;
1271
1272   timevar_pop (TV_MODE_SWITCH);
1273 }
1274 #endif
1275
1276 static void
1277 rest_of_handle_jump (void)
1278 {
1279   ggc_collect ();
1280
1281   timevar_push (TV_JUMP);
1282   open_dump_file (DFI_sibling, current_function_decl);
1283
1284   delete_unreachable_blocks ();
1285 #ifdef ENABLE_CHECKING
1286   verify_flow_info ();
1287 #endif
1288
1289   if (cfun->tail_call_emit)
1290     fixup_tail_calls ();
1291
1292   close_dump_file (DFI_sibling, print_rtl, get_insns ());
1293   timevar_pop (TV_JUMP);
1294 }
1295
1296 static void
1297 rest_of_handle_eh (void)
1298 {
1299   insn_locators_initialize ();
1300   /* Complete generation of exception handling code.  */
1301   if (doing_eh (0))
1302     {
1303       timevar_push (TV_JUMP);
1304       open_dump_file (DFI_eh, current_function_decl);
1305
1306       cleanup_cfg (CLEANUP_PRE_LOOP | CLEANUP_NO_INSN_DEL);
1307
1308       finish_eh_generation ();
1309
1310       cleanup_cfg (CLEANUP_PRE_LOOP | CLEANUP_NO_INSN_DEL);
1311
1312       close_dump_file (DFI_eh, print_rtl, get_insns ());
1313       timevar_pop (TV_JUMP);
1314     }
1315 }
1316
1317 static void
1318 rest_of_handle_stack_adjustments (void)
1319 {
1320   life_analysis (dump_file, PROP_POSTRELOAD);
1321   cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE
1322                | (flag_crossjumping ? CLEANUP_CROSSJUMP : 0));
1323     
1324   /* This is kind of a heuristic.  We need to run combine_stack_adjustments
1325      even for machines with possibly nonzero RETURN_POPS_ARGS
1326      and ACCUMULATE_OUTGOING_ARGS.  We expect that only ports having
1327      push instructions will have popping returns.  */
1328 #ifndef PUSH_ROUNDING
1329   if (!ACCUMULATE_OUTGOING_ARGS)
1330 #endif
1331     combine_stack_adjustments ();
1332 }
1333
1334 static void
1335 rest_of_handle_flow2 (void)
1336 {
1337   timevar_push (TV_FLOW2);
1338   open_dump_file (DFI_flow2, current_function_decl);
1339
1340   /* Re-create the death notes which were deleted during reload.  */
1341 #ifdef ENABLE_CHECKING
1342   verify_flow_info ();
1343 #endif
1344
1345   /* If optimizing, then go ahead and split insns now.  */
1346 #ifndef STACK_REGS
1347   if (optimize > 0)
1348 #endif
1349     split_all_insns (0);
1350
1351   if (flag_branch_target_load_optimize)
1352     rest_of_handle_branch_target_load_optimize ();
1353
1354   if (optimize)
1355     cleanup_cfg (CLEANUP_EXPENSIVE);
1356
1357   /* On some machines, the prologue and epilogue code, or parts thereof,
1358      can be represented as RTL.  Doing so lets us schedule insns between
1359      it and the rest of the code and also allows delayed branch
1360      scheduling to operate in the epilogue.  */
1361   thread_prologue_and_epilogue_insns (get_insns ());
1362   epilogue_completed = 1;
1363
1364   if (optimize)
1365     rest_of_handle_stack_adjustments ();
1366
1367   flow2_completed = 1;
1368
1369   close_dump_file (DFI_flow2, print_rtl_with_bb, get_insns ());
1370   timevar_pop (TV_FLOW2);
1371
1372   ggc_collect ();
1373 }
1374
1375
1376 static void
1377 rest_of_handle_jump2 (void)
1378 {
1379   open_dump_file (DFI_jump, current_function_decl);
1380
1381   /* Always do one jump optimization pass to ensure that JUMP_LABEL fields
1382      are initialized and to compute whether control can drop off the end
1383      of the function.  */
1384
1385   timevar_push (TV_JUMP);
1386   /* Turn NOTE_INSN_EXPECTED_VALUE into REG_BR_PROB.  Do this
1387      before jump optimization switches branch directions.  */
1388   if (flag_guess_branch_prob)
1389     expected_value_to_br_prob ();
1390
1391   delete_trivially_dead_insns (get_insns (), max_reg_num ());
1392   reg_scan (get_insns (), max_reg_num (), 0);
1393   if (dump_file)
1394     dump_flow_info (dump_file);
1395   cleanup_cfg ((optimize ? CLEANUP_EXPENSIVE : 0) | CLEANUP_PRE_LOOP
1396                | (flag_thread_jumps ? CLEANUP_THREADING : 0));
1397
1398   create_loop_notes ();
1399
1400   purge_line_number_notes (get_insns ());
1401
1402   if (optimize)
1403     cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
1404
1405   /* Jump optimization, and the removal of NULL pointer checks, may
1406      have reduced the number of instructions substantially.  CSE, and
1407      future passes, allocate arrays whose dimensions involve the
1408      maximum instruction UID, so if we can reduce the maximum UID
1409      we'll save big on memory.  */
1410   renumber_insns (dump_file);
1411
1412   close_dump_file (DFI_jump, print_rtl_with_bb, get_insns ());
1413   timevar_pop (TV_JUMP);
1414
1415   ggc_collect ();
1416 }
1417
1418 #ifdef HAVE_peephole2
1419 static void
1420 rest_of_handle_peephole2 (void)
1421 {
1422   timevar_push (TV_PEEPHOLE2);
1423   open_dump_file (DFI_peephole2, current_function_decl);
1424
1425   peephole2_optimize (dump_file);
1426
1427   close_dump_file (DFI_peephole2, print_rtl_with_bb, get_insns ());
1428   timevar_pop (TV_PEEPHOLE2);
1429 }
1430 #endif
1431
1432 static void
1433 rest_of_handle_postreload (void)
1434 {
1435   timevar_push (TV_RELOAD_CSE_REGS);
1436   open_dump_file (DFI_postreload, current_function_decl);
1437
1438   /* Do a very simple CSE pass over just the hard registers.  */
1439   reload_cse_regs (get_insns ());
1440   /* reload_cse_regs can eliminate potentially-trapping MEMs.
1441      Remove any EH edges associated with them.  */
1442   if (flag_non_call_exceptions)
1443     purge_all_dead_edges (0);
1444
1445   close_dump_file (DFI_postreload, print_rtl_with_bb, get_insns ());
1446   timevar_pop (TV_RELOAD_CSE_REGS);
1447 }
1448
1449 static void
1450 rest_of_handle_shorten_branches (void)
1451 {
1452   /* Shorten branches.  */
1453   timevar_push (TV_SHORTEN_BRANCH);
1454   shorten_branches (get_insns ());
1455   timevar_pop (TV_SHORTEN_BRANCH);
1456 }
1457
1458 static void
1459 rest_of_clean_state (void)
1460 {
1461   rtx insn, next;
1462   coverage_end_function ();
1463
1464   /* It is very important to decompose the RTL instruction chain here:
1465      debug information keeps pointing into CODE_LABEL insns inside the function
1466      body.  If these remain pointing to the other insns, we end up preserving
1467      whole RTL chain and attached detailed debug info in memory.  */
1468   for (insn = get_insns (); insn; insn = next)
1469     {
1470       next = NEXT_INSN (insn);
1471       NEXT_INSN (insn) = NULL;
1472       PREV_INSN (insn) = NULL;
1473     }
1474
1475   /* In case the function was not output,
1476      don't leave any temporary anonymous types
1477      queued up for sdb output.  */
1478 #ifdef SDB_DEBUGGING_INFO
1479   if (write_symbols == SDB_DEBUG)
1480     sdbout_types (NULL_TREE);
1481 #endif
1482
1483   reload_completed = 0;
1484   epilogue_completed = 0;
1485   flow2_completed = 0;
1486   no_new_pseudos = 0;
1487
1488   timevar_push (TV_FINAL);
1489
1490   /* Clear out the insn_length contents now that they are no
1491      longer valid.  */
1492   init_insn_lengths ();
1493
1494   /* Show no temporary slots allocated.  */
1495   init_temp_slots ();
1496
1497   free_basic_block_vars ();
1498   free_bb_for_insn ();
1499
1500   timevar_pop (TV_FINAL);
1501
1502   if (targetm.binds_local_p (current_function_decl))
1503     {
1504       int pref = cfun->preferred_stack_boundary;
1505       if (cfun->recursive_call_emit
1506           && cfun->stack_alignment_needed > cfun->preferred_stack_boundary)
1507         pref = cfun->stack_alignment_needed;
1508       cgraph_rtl_info (current_function_decl)->preferred_incoming_stack_boundary
1509         = pref;
1510     }
1511
1512   /* Make sure volatile mem refs aren't considered valid operands for
1513      arithmetic insns.  We must call this here if this is a nested inline
1514      function, since the above code leaves us in the init_recog state
1515      (from final.c), and the function context push/pop code does not
1516      save/restore volatile_ok.
1517
1518      ??? Maybe it isn't necessary for expand_start_function to call this
1519      anymore if we do it here?  */
1520
1521   init_recog_no_volatile ();
1522
1523   /* We're done with this function.  Free up memory if we can.  */
1524   free_after_parsing (cfun);
1525   free_after_compilation (cfun);
1526 }
1527 \f
1528
1529 /* This function is called from the pass manager in tree-optimize.c
1530    after all tree passes have finished for a single function, and we
1531    have expanded the function body from trees to RTL.
1532    Once we are here, we have decided that we're supposed to output
1533    that function, i.e. that we should write assembler code for it.
1534
1535    We run a series of low-level passes here on the function's RTL
1536    representation.  Each pass is called via a rest_of_* function.  */
1537
1538 static void
1539 rest_of_compilation (void)
1540 {
1541   /* Convert from NOTE_INSN_EH_REGION style notes, and do other
1542      sorts of eh initialization.  */
1543   convert_from_eh_region_ranges ();
1544
1545   /* If we're emitting a nested function, make sure its parent gets
1546      emitted as well.  Doing otherwise confuses debug info.  */
1547   {
1548     tree parent;
1549     for (parent = DECL_CONTEXT (current_function_decl);
1550          parent != NULL_TREE;
1551          parent = get_containing_scope (parent))
1552       if (TREE_CODE (parent) == FUNCTION_DECL)
1553         TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (parent)) = 1;
1554   }
1555
1556   /* We are now committed to emitting code for this function.  Do any
1557      preparation, such as emitting abstract debug info for the inline
1558      before it gets mangled by optimization.  */
1559   if (cgraph_function_possibly_inlined_p (current_function_decl))
1560     (*debug_hooks->outlining_inline_function) (current_function_decl);
1561
1562   /* Remove any notes we don't need.  That will make iterating
1563      over the instruction sequence faster, and allow the garbage
1564      collector to reclaim the memory used by the notes.  */
1565   remove_unnecessary_notes ();
1566
1567   /* Initialize some variables used by the optimizers.  */
1568   init_function_for_compilation ();
1569
1570   TREE_ASM_WRITTEN (current_function_decl) = 1;
1571
1572   /* Early return if there were errors.  We can run afoul of our
1573      consistency checks, and there's not really much point in fixing them.  */
1574   if (rtl_dump_and_exit || flag_syntax_only || errorcount || sorrycount)
1575     goto exit_rest_of_compilation;
1576
1577   rest_of_handle_jump ();
1578
1579   rest_of_handle_eh ();
1580
1581   /* Delay emitting hard_reg_initial_value sets until after EH landing pad
1582      generation, which might create new sets.  */
1583   emit_initial_value_sets ();
1584
1585 #ifdef FINALIZE_PIC
1586   /* If we are doing position-independent code generation, now
1587      is the time to output special prologues and epilogues.
1588      We do not want to do this earlier, because it just clutters
1589      up inline functions with meaningless insns.  */
1590   if (flag_pic)
1591     FINALIZE_PIC;
1592 #endif
1593
1594   /* Copy any shared structure that should not be shared.  */
1595   unshare_all_rtl ();
1596
1597 #ifdef SETJMP_VIA_SAVE_AREA
1598   /* This must be performed before virtual register instantiation.
1599      Please be aware that everything in the compiler that can look
1600      at the RTL up to this point must understand that REG_SAVE_AREA
1601      is just like a use of the REG contained inside.  */
1602   if (current_function_calls_alloca)
1603     optimize_save_area_alloca ();
1604 #endif
1605
1606   /* Instantiate all virtual registers.  */
1607   instantiate_virtual_regs ();
1608
1609   rest_of_handle_jump2 ();
1610
1611   if (optimize > 0)
1612     rest_of_handle_cse ();
1613
1614   if (optimize > 0)
1615     {
1616       if (flag_gcse)
1617         rest_of_handle_gcse ();
1618
1619       if (flag_loop_optimize)
1620         rest_of_handle_loop_optimize ();
1621
1622       if (flag_gcse)
1623         rest_of_handle_jump_bypass ();
1624     }
1625
1626   timevar_push (TV_FLOW);
1627   rest_of_handle_cfg ();
1628
1629   if (!flag_tree_based_profiling
1630       && (optimize > 0 || profile_arc_flag
1631           || flag_test_coverage || flag_branch_probabilities))
1632     {
1633       rtl_register_profile_hooks ();
1634       rtl_register_value_prof_hooks ();
1635       rest_of_handle_branch_prob ();
1636
1637       if (flag_branch_probabilities
1638           && flag_profile_values
1639           && (flag_value_profile_transformations
1640               || flag_speculative_prefetching))
1641         rest_of_handle_value_profile_transformations ();
1642
1643       /* Remove the death notes created for vpt.  */
1644       if (flag_profile_values)
1645         count_or_remove_death_notes (NULL, 1);
1646     }
1647
1648   if (optimize > 0)
1649     rest_of_handle_if_conversion ();
1650
1651   if (optimize > 0 && flag_tracer)
1652     rest_of_handle_tracer ();
1653
1654   if (optimize > 0
1655       && flag_loop_optimize2)
1656     rest_of_handle_loop2 ();
1657
1658   if (optimize > 0 && flag_web)
1659     rest_of_handle_web ();
1660
1661   if (optimize > 0 && flag_rerun_cse_after_loop)
1662     rest_of_handle_cse2 ();
1663
1664   cse_not_expected = 1;
1665
1666   rest_of_handle_life ();
1667   timevar_pop (TV_FLOW);
1668
1669   if (optimize > 0)
1670     rest_of_handle_combine ();
1671
1672   if (optimize > 0 && flag_if_conversion)
1673     rest_of_handle_if_after_combine ();
1674
1675   /* The optimization to partition hot/cold basic blocks into separate
1676      sections of the .o file does not work well with linkonce or with
1677      user defined section attributes.  Don't call it if either case
1678      arises.  */
1679
1680   if (flag_reorder_blocks_and_partition 
1681       && !DECL_ONE_ONLY (current_function_decl)
1682       && !user_defined_section_attribute)
1683     rest_of_handle_partition_blocks ();
1684
1685   if (optimize > 0 && (flag_regmove || flag_expensive_optimizations))
1686     rest_of_handle_regmove ();
1687
1688   /* Do unconditional splitting before register allocation to allow machine
1689      description to add extra information not needed previously.  */
1690   split_all_insns (1);
1691
1692 #ifdef OPTIMIZE_MODE_SWITCHING
1693   rest_of_handle_mode_switching ();
1694 #endif
1695
1696   /* Any of the several passes since flow1 will have munged register
1697      lifetime data a bit.  We need it to be up to date for scheduling
1698      (see handling of reg_known_equiv in init_alias_analysis).  */
1699   recompute_reg_usage (get_insns (), !optimize_size);
1700
1701 #ifdef INSN_SCHEDULING
1702   if (optimize > 0 && flag_modulo_sched)
1703     rest_of_handle_sms ();
1704
1705   if (flag_schedule_insns)
1706     rest_of_handle_sched ();
1707 #endif
1708
1709   /* Determine if the current function is a leaf before running reload
1710      since this can impact optimizations done by the prologue and
1711      epilogue thus changing register elimination offsets.  */
1712   current_function_is_leaf = leaf_function_p ();
1713
1714   if (flag_new_regalloc)
1715     {
1716       if (rest_of_handle_new_regalloc ())
1717         goto exit_rest_of_compilation;
1718     }
1719   else
1720     {
1721       if (rest_of_handle_old_regalloc ())
1722         goto exit_rest_of_compilation;
1723     }
1724
1725   if (optimize > 0)
1726     rest_of_handle_postreload ();
1727
1728   if (optimize > 0 && flag_gcse_after_reload)
1729     rest_of_handle_gcse2 ();
1730
1731   rest_of_handle_flow2 ();
1732
1733 #ifdef HAVE_peephole2
1734   if (optimize > 0 && flag_peephole2)
1735     rest_of_handle_peephole2 ();
1736 #endif
1737
1738   if (optimize > 0)
1739     rest_of_handle_if_after_reload ();
1740
1741   if (optimize > 0)
1742     {
1743       if (flag_rename_registers || flag_cprop_registers)
1744         rest_of_handle_regrename ();
1745
1746       rest_of_handle_reorder_blocks ();
1747     }
1748
1749   if (flag_branch_target_load_optimize2)
1750     rest_of_handle_branch_target_load_optimize ();
1751
1752 #ifdef LEAF_REGISTERS
1753   current_function_uses_only_leaf_regs
1754     = optimize > 0 && only_leaf_regs_used () && leaf_function_p ();
1755 #endif
1756
1757 #ifdef INSN_SCHEDULING
1758   if (optimize > 0 && flag_schedule_insns_after_reload)
1759     rest_of_handle_sched2 ();
1760 #endif
1761
1762 #ifdef STACK_REGS
1763   rest_of_handle_stack_regs ();
1764 #endif
1765
1766   compute_alignments ();
1767
1768   if (flag_var_tracking)
1769     rest_of_handle_variable_tracking ();
1770
1771   /* CFG is no longer maintained up-to-date.  */
1772   free_bb_for_insn ();
1773
1774   if (targetm.machine_dependent_reorg != 0)
1775     rest_of_handle_machine_reorg ();
1776
1777   purge_line_number_notes (get_insns ());
1778   cleanup_barriers ();
1779
1780 #ifdef DELAY_SLOTS
1781   if (flag_delayed_branch)
1782     rest_of_handle_delay_slots ();
1783 #endif
1784
1785 #if defined (HAVE_ATTR_length) && !defined (STACK_REGS)
1786   timevar_push (TV_SHORTEN_BRANCH);
1787   split_all_insns_noflow ();
1788   timevar_pop (TV_SHORTEN_BRANCH);
1789 #endif
1790
1791   convert_to_eh_region_ranges ();
1792
1793   rest_of_handle_shorten_branches ();
1794
1795   set_nothrow_function_flags ();
1796
1797   rest_of_handle_final ();
1798
1799  exit_rest_of_compilation:
1800
1801   rest_of_clean_state ();
1802 }
1803
1804 void
1805 finish_optimization_passes (void)
1806 {
1807   enum tree_dump_index i;
1808   struct dump_file_info *dfi;
1809   char *name;
1810
1811   timevar_push (TV_DUMP);
1812   if (profile_arc_flag || flag_test_coverage || flag_branch_probabilities)
1813     {
1814       open_dump_file (DFI_bp, NULL);
1815       end_branch_prob ();
1816       close_dump_file (DFI_bp, NULL, NULL_RTX);
1817     }
1818
1819   if (optimize > 0 && open_dump_file (DFI_combine, NULL))
1820     {
1821       dump_combine_total_stats (dump_file);
1822       close_dump_file (DFI_combine, NULL, NULL_RTX);
1823     }
1824
1825   /* Do whatever is necessary to finish printing the graphs.  */
1826   if (graph_dump_format != no_graph)
1827     for (i = DFI_MIN; (dfi = get_dump_file_info (i)) != NULL; ++i)
1828       if (dump_initialized_p (i)
1829           && (dfi->flags & TDF_RTL) != 0
1830           && (name = get_dump_file_name (i)) != NULL)
1831         {
1832           finish_graph_dump_file (name);
1833           free (name);
1834         }
1835
1836   timevar_pop (TV_DUMP);
1837 }
1838
1839 struct tree_opt_pass pass_rest_of_compilation =
1840 {
1841   NULL,                                 /* name */
1842   NULL,                                 /* gate */
1843   rest_of_compilation,                  /* execute */
1844   NULL,                                 /* sub */
1845   NULL,                                 /* next */
1846   0,                                    /* static_pass_number */
1847   TV_REST_OF_COMPILATION,               /* tv_id */
1848   PROP_rtl,                             /* properties_required */
1849   0,                                    /* properties_provided */
1850   PROP_rtl,                             /* properties_destroyed */
1851   0,                                    /* todo_flags_start */
1852   TODO_ggc_collect,                     /* todo_flags_finish */
1853   0                                     /* letter */
1854 };
1855
1856