diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2005-06-02 17:13:26 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2005-06-02 13:13:26 -0400 |
| commit | 08873e963f1f773f831220d2544e50739dc5a609 (patch) | |
| tree | e09fbdae484cb516c5dc0d27b422a4352d83484a | |
| parent | ed3c16fbe6ae0685a7617b5287d3de1ff464d5ae (diff) | |
| download | gcc-08873e963f1f773f831220d2544e50739dc5a609.zip gcc-08873e963f1f773f831220d2544e50739dc5a609.tar.gz gcc-08873e963f1f773f831220d2544e50739dc5a609.tar.bz2 | |
re PR tree-optimization/21765 (-free-vrp is undocumented.)
PR 21765
* doc/invoke.texi: Document -ftree-vrp.
From-SVN: r100495
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/doc/invoke.texi | 16 |
2 files changed, 21 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ced17d5..d1c6397 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-06-02 Diego Novillo <dnovillo@redhat.com> + + PR 21765 + * doc/invoke.texi: Document -ftree-vrp. + 2005-06-02 Dorit Nuzman <dorit@il.ibm.com> PR tree-optimization/21734 diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 94c4b2e..0bcd3d9 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -277,6 +277,7 @@ Objective-C and Objective-C++ Dialects}. -fdump-tree-sra@r{[}-@var{n}@r{]} @gol -fdump-tree-salias @gol -fdump-tree-fre@r{[}-@var{n}@r{]} @gol +-fdump-tree-vrp@r{[}-@var{n}@r{]} @gol -ftree-vectorizer-verbose=@var{n} @gol -fdump-tree-storeccp@r{[}-@var{n}@r{]} @gol -feliminate-dwarf2-dups -feliminate-unused-debug-types @gol @@ -4067,6 +4068,11 @@ file name. Dump each function after applying vectorization of loops. The file name is made by appending @file{.vect} to the source file name. +@item vrp +@opindex fdump-tree-vrp +Dump each function after Value Range Propagation (VRP). The file name +is made by appending @file{.vrp} to the source file name. + @item all @opindex fdump-tree-all Enable all the available tree dumps with the flags provided in this option. @@ -4321,6 +4327,7 @@ also turns on the following optimization flags: -funit-at-a-time @gol -falign-functions -falign-jumps @gol -falign-loops -falign-labels @gol +-ftree-vrp @gol -ftree-pre} Please note the warning under @option{-fgcse} about @@ -4963,6 +4970,15 @@ optimization later. This is enabled by default at @option{-O} and higher. @item -ftree-vectorize Perform loop vectorization on trees. +@item -ftree-vrp +Perform Value Range Propagation on trees. This is similar to the +constant propagation pass, but instead of values, ranges of values are +propagated. This allows the optimizers to remove unnecessary range +checks like array bound checks and null pointer checks. This is +enabled by default at @option{-O2} and higher. Null pointer check +elimination is only done if @option{-fdelete-null-pointer-checks} is +enabled. + @item -ftracer @opindex ftracer Perform tail duplication to enlarge superblock size. This transformation |