diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2006-11-04 08:36:45 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gcc.gnu.org> | 2006-11-04 08:36:45 +0000 |
| commit | a52b023a5f0316a63cd52c45cd4cfd11794d40ca (patch) | |
| tree | ba024c11cf4d0fba9de80471ac1eedc16e891dca /gcc/doc/passes.texi | |
| parent | c7cc12b01d5c608fb214cb7a69e7f40a35ac8fe8 (diff) | |
| download | gcc-a52b023a5f0316a63cd52c45cd4cfd11794d40ca.zip gcc-a52b023a5f0316a63cd52c45cd4cfd11794d40ca.tar.gz gcc-a52b023a5f0316a63cd52c45cd4cfd11794d40ca.tar.bz2 | |
fwprop.c: New file.
2006-11-03 Paolo Bonzini <bonzini@gnu.org>
Steven Bosscher <stevenb.gcc@gmail.com>
* fwprop.c: New file.
* Makefile.in: Add fwprop.o.
* tree-pass.h (pass_rtl_fwprop, pass_rtl_fwprop_with_addr): New.
* passes.c (init_optimization_passes): Schedule forward propagation.
* rtlanal.c (loc_mentioned_in_p): Support NULL value of the second
parameter.
* timevar.def (TV_FWPROP): New.
* common.opt (-fforward-propagate): New.
* opts.c (decode_options): Enable forward propagation at -O2.
* gcse.c (one_cprop_pass): Do not run local cprop unless touching jumps.
* cse.c (fold_rtx_subreg, fold_rtx_mem, fold_rtx_mem_1, find_best_addr,
canon_for_address, table_size): Remove.
(new_basic_block, insert, remove_from_table): Remove references to
table_size.
(fold_rtx): Process SUBREGs and MEMs with equiv_constant, make
simplification loop more straightforward by not calling fold_rtx
recursively.
(equiv_constant): Move here a small part of fold_rtx_subreg,
do not call fold_rtx. Call avoid_constant_pool_reference
to process MEMs.
* recog.c (canonicalize_change_group): New.
* recog.h (canonicalize_change_group): New.
* doc/invoke.texi (Optimization Options): Document fwprop.
* doc/passes.texi (RTL passes): Document fwprop.
Co-Authored-By: Steven Bosscher <stevenb.gcc@gmail.com>
From-SVN: r118475
Diffstat (limited to 'gcc/doc/passes.texi')
| -rw-r--r-- | gcc/doc/passes.texi | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/doc/passes.texi b/gcc/doc/passes.texi index 9da9191..fc6aa26 100644 --- a/gcc/doc/passes.texi +++ b/gcc/doc/passes.texi @@ -685,6 +685,15 @@ optimization pass''. The bulk of the code for this pass is in @file{cfgcleanup.c}, and there are support routines in @file{cfgrtl.c} and @file{jump.c}. +@item Forward propagation of single-def values + +This pass attempts to remove redundant computation by substituting +variables that come from a single definition, and +seeing if the result can be simplified. It performs copy propagation +and addressing mode selection. The pass is run twice, with values +being propagated into loops only on the second run. It is located in +@file{fwprop.c}. + @item Common subexpression elimination This pass removes redundant computation within basic blocks, and |