diff options
| author | rakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-23 12:21:31 +0000 |
|---|---|---|
| committer | rakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-23 12:21:31 +0000 |
| commit | e12d05910eaffcc746f6f3be59df3ca511179037 (patch) | |
| tree | 4eca96bd1993934aaf193e1ddbcaa3b752254965 /gcc/doc/passes.texi | |
| parent | 0a88af73a41751ffa4ad7ac078d780c61453d503 (diff) | |
| download | gcc-e12d05910eaffcc746f6f3be59df3ca511179037.tar.gz | |
* cfgloop.h (update_single_exits_after_duplication): Declare.
(loopify, split_loop_bb): Declaration changed.
* cfgloopmanip.c (split_loop_bb): Take void * as an argument instead
of rtx.
(loopify): Added redirect_all_edges argument.
(update_single_exits_after_duplication): Export.
* loop-unswitch.c (unswitch_loop): Changed due to loopify change.
* tree-flow.h (tree_duplicate_loop_to_header_edge,
tree_ssa_loop_version): Declare.
* tree-ssa-loop-manip.c (copy_phi_node_args, rename_variables,
set_phi_def_stmts, tree_duplicate_loop_to_header_edge,
lv_adjust_loop_header_phi, lv_adjust_loop_entry_edge,
lv_update_pending_stmts, tree_ssa_loop_version): New functions.
* tree-ssa-loop-unswitch.c: New file.
* Makefile.in (tree-ssa-loop-unswitch.o): Add.
* timevar.def (TV_TREE_LOOP_UNSWITCH): New timevar.
* tree-flow.h (tree_ssa_unswitch_loops): Declare.
* tree-optimize.c (init_tree_optimization_passes): Add pass_unswitch.
* tree-pass.h (pass_unswitch): Declare.
* tree-ssa-loop.c (tree_ssa_loop_unswitch,
gate_tree_ssa_loop_unswitch, pass_unswitch): New pass.
* doc/passes.texi: Documen tree level loop unswitching.
* gcc.dg/tree-ssa/loop-6.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@87943 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc/passes.texi')
| -rw-r--r-- | gcc/doc/passes.texi | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/doc/passes.texi b/gcc/doc/passes.texi index 00a53978a7d..bf0c421e9e0 100644 --- a/gcc/doc/passes.texi +++ b/gcc/doc/passes.texi @@ -380,6 +380,14 @@ variable optimizations, including strength reduction, induction variable merging and induction variable elimination. The pass is implemented in @file{tree-ssa-loop-ivopts.c}. +Loop unswitching. This pass moves the conditional jumps that are invariant +out of the loops. To achieve this, a duplicate of the loop is created for +each possible outcome of conditional jump(s). The pass is implemented in +@file{tree-ssa-loop-unswitch.c}. This pass should eventually replace the +rtl-level loop unswitching in @file{loop-unswitch.c}, but currently +the rtl-level pass is not completely redundant yet due to deficiences +in tree level alias analysis. + The optimizations also use various utility functions contained in @file{tree-ssa-loop-manip.c}, @file{cfgloop.c}, @file{cfgloopanal.c} and @file{cfgloopmanip.c}. |