diff options
| author | Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz> | 2004-09-23 14:21:31 +0200 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2004-09-23 12:21:31 +0000 |
| commit | 92fc4a2f399b92bf6f9ee3b50373216b01b1ca5e (patch) | |
| tree | 4eca96bd1993934aaf193e1ddbcaa3b752254965 /gcc/doc | |
| parent | b8b94c5ba81744d325f235a0409660f50ac3f361 (diff) | |
| download | gcc-92fc4a2f399b92bf6f9ee3b50373216b01b1ca5e.zip gcc-92fc4a2f399b92bf6f9ee3b50373216b01b1ca5e.tar.gz gcc-92fc4a2f399b92bf6f9ee3b50373216b01b1ca5e.tar.bz2 | |
cfgloop.h (update_single_exits_after_duplication): Declare.
* 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.
From-SVN: r87943
Diffstat (limited to 'gcc/doc')
| -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 00a5397..bf0c421 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}. |