URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.2.2/] [gcc/] [loop-init.c] - Rev 527
Go to most recent revision | Compare with Previous | Blame | View Log
/* Loop optimizer initialization routines and RTL loop optimization passes. Copyright (C) 2002, 2003, 2004, 2005, 2007 Free Software Foundation, Inc. This file is part of GCC. GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version. GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see <http://www.gnu.org/licenses/>. */ #include "config.h" #include "system.h" #include "coretypes.h" #include "tm.h" #include "rtl.h" #include "hard-reg-set.h" #include "obstack.h" #include "basic-block.h" #include "cfgloop.h" #include "cfglayout.h" #include "tree-pass.h" #include "timevar.h" #include "flags.h" /* Initialize loop optimizer. This is used by the tree and RTL loop optimizers. FLAGS specify what properties to compute and/or ensure for loops. */ struct loops * loop_optimizer_init (unsigned flags) { struct loops *loops = XCNEW (struct loops); edge e; edge_iterator ei; static bool first_time = true; if (first_time) { first_time = false; init_set_costs (); } /* Avoid annoying special cases of edges going to exit block. */ for (ei = ei_start (EXIT_BLOCK_PTR->preds); (e = ei_safe_edge (ei)); ) if ((e->flags & EDGE_FALLTHRU) && !single_succ_p (e->src)) split_edge (e); else ei_next (&ei); /* Find the loops. */ if (flow_loops_find (loops) <= 1) { /* No loops. */ flow_loops_free (loops); free (loops); return NULL; } /* Not going to update these. */ free (loops->cfg.rc_order); loops->cfg.rc_order = NULL; free (loops->cfg.dfs_order); loops->cfg.dfs_order = NULL; /* Create pre-headers. */ if (flags & LOOPS_HAVE_PREHEADERS) create_preheaders (loops, CP_SIMPLE_PREHEADERS); /* Force all latches to have only single successor. */ if (flags & LOOPS_HAVE_SIMPLE_LATCHES) force_single_succ_latches (loops); /* Mark irreducible loops. */ if (flags & LOOPS_HAVE_MARKED_IRREDUCIBLE_REGIONS) mark_irreducible_loops (loops); if (flags & LOOPS_HAVE_MARKED_SINGLE_EXITS) mark_single_exit_loops (loops); /* Dump loops. */ flow_loops_dump (loops, dump_file, NULL, 1); #ifdef ENABLE_CHECKING verify_dominators (CDI_DOMINATORS); verify_loop_structure (loops); #endif return loops; } /* Finalize loop optimizer. */ void loop_optimizer_finalize (struct loops *loops) { unsigned i; if (!loops) return; for (i = 1; i < loops->num; i++) if (loops->parray[i]) free_simple_loop_desc (loops->parray[i]); /* Clean up. */ flow_loops_free (loops); free (loops); /* Checking. */ #ifdef ENABLE_CHECKING verify_flow_info (); #endif } /* Gate for the RTL loop superpass. The actual passes are subpasses. See passes.c for more on that. */ static bool gate_handle_loop2 (void) { return (optimize > 0 && (flag_move_loop_invariants || flag_unswitch_loops || flag_peel_loops || flag_unroll_loops #ifdef HAVE_doloop_end || (flag_branch_on_count_reg && HAVE_doloop_end) #endif )); } struct tree_opt_pass pass_loop2 = { "loop2", /* name */ gate_handle_loop2, /* gate */ NULL, /* execute */ NULL, /* sub */ NULL, /* next */ 0, /* static_pass_number */ TV_LOOP, /* tv_id */ 0, /* properties_required */ 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func | TODO_ggc_collect, /* todo_flags_finish */ 'L' /* letter */ }; /* Initialization of the RTL loop passes. */ static unsigned int rtl_loop_init (void) { if (dump_file) dump_flow_info (dump_file, dump_flags); /* Initialize structures for layout changes. */ cfg_layout_initialize (0); current_loops = loop_optimizer_init (LOOPS_NORMAL); return 0; } struct tree_opt_pass pass_rtl_loop_init = { "loop2_init", /* name */ NULL, /* gate */ rtl_loop_init, /* execute */ NULL, /* sub */ NULL, /* next */ 0, /* static_pass_number */ TV_LOOP, /* tv_id */ 0, /* properties_required */ 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func, /* todo_flags_finish */ 'L' /* letter */ }; /* Finalization of the RTL loop passes. */ static unsigned int rtl_loop_done (void) { basic_block bb; if (current_loops) loop_optimizer_finalize (current_loops); free_dominance_info (CDI_DOMINATORS); /* Finalize layout changes. */ FOR_EACH_BB (bb) if (bb->next_bb != EXIT_BLOCK_PTR) bb->aux = bb->next_bb; cfg_layout_finalize (); cleanup_cfg (CLEANUP_EXPENSIVE); delete_trivially_dead_insns (get_insns (), max_reg_num ()); reg_scan (get_insns (), max_reg_num ()); if (dump_file) dump_flow_info (dump_file, dump_flags); current_loops = NULL; return 0; } struct tree_opt_pass pass_rtl_loop_done = { "loop2_done", /* name */ NULL, /* gate */ rtl_loop_done, /* execute */ NULL, /* sub */ NULL, /* next */ 0, /* static_pass_number */ TV_LOOP, /* tv_id */ 0, /* properties_required */ 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func, /* todo_flags_finish */ 'L' /* letter */ }; /* Loop invariant code motion. */ static bool gate_rtl_move_loop_invariants (void) { return flag_move_loop_invariants; } static unsigned int rtl_move_loop_invariants (void) { if (current_loops) move_loop_invariants (current_loops); return 0; } struct tree_opt_pass pass_rtl_move_loop_invariants = { "loop2_invariant", /* name */ gate_rtl_move_loop_invariants, /* gate */ rtl_move_loop_invariants, /* execute */ NULL, /* sub */ NULL, /* next */ 0, /* static_pass_number */ TV_LOOP, /* tv_id */ 0, /* properties_required */ 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func, /* todo_flags_finish */ 'L' /* letter */ }; /* Loop unswitching for RTL. */ static bool gate_rtl_unswitch (void) { return flag_unswitch_loops; } static unsigned int rtl_unswitch (void) { if (current_loops) unswitch_loops (current_loops); return 0; } struct tree_opt_pass pass_rtl_unswitch = { "loop2_unswitch", /* name */ gate_rtl_unswitch, /* gate */ rtl_unswitch, /* execute */ NULL, /* sub */ NULL, /* next */ 0, /* static_pass_number */ TV_LOOP, /* tv_id */ 0, /* properties_required */ 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func, /* todo_flags_finish */ 'L' /* letter */ }; /* Loop unswitching for RTL. */ static bool gate_rtl_unroll_and_peel_loops (void) { return (flag_peel_loops || flag_unroll_loops || flag_unroll_all_loops); } static unsigned int rtl_unroll_and_peel_loops (void) { if (current_loops) { int flags = 0; if (flag_peel_loops) flags |= UAP_PEEL; if (flag_unroll_loops) flags |= UAP_UNROLL; if (flag_unroll_all_loops) flags |= UAP_UNROLL_ALL; unroll_and_peel_loops (current_loops, flags); } return 0; } struct tree_opt_pass pass_rtl_unroll_and_peel_loops = { "loop2_unroll", /* name */ gate_rtl_unroll_and_peel_loops, /* gate */ rtl_unroll_and_peel_loops, /* execute */ NULL, /* sub */ NULL, /* next */ 0, /* static_pass_number */ TV_LOOP, /* tv_id */ 0, /* properties_required */ 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func, /* todo_flags_finish */ 'L' /* letter */ }; /* The doloop optimization. */ static bool gate_rtl_doloop (void) { #ifdef HAVE_doloop_end return (flag_branch_on_count_reg && HAVE_doloop_end); #else return 0; #endif } static unsigned int rtl_doloop (void) { #ifdef HAVE_doloop_end if (current_loops) doloop_optimize_loops (current_loops); #endif return 0; } struct tree_opt_pass pass_rtl_doloop = { "loop2_doloop", /* name */ gate_rtl_doloop, /* gate */ rtl_doloop, /* execute */ NULL, /* sub */ NULL, /* next */ 0, /* static_pass_number */ TV_LOOP, /* tv_id */ 0, /* properties_required */ 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func, /* todo_flags_finish */ 'L' /* letter */ };
Go to most recent revision | Compare with Previous | Blame | View Log