On Fri, Mar 17, 2017 at 11:55 AM, Martin Jambor <mjam...@suse.cz> wrote:
> Hi,
>
> I have noticed that -fipa-vrp was not documented in
> gcc/doc/invoke.texi so I propose the following. When at ti, I took
> the liberty of replacing "ipa" with "interprocedural" in the
> description of -fipa-bit-cp.
>
> Tested with make info, OK for trunk?
Ok.
Richard.
> Thanks,
>
> Martin
>
>
> 2017-03-17 Martin Jambor <mjam...@suse.cz>
>
> * doc/invoke.texi (Option Options): Include -fipa-vrp in the list.
> (List of -O2 options): Likewise.
> (-fipa-bit-cp): Replace "ipa" with "interprocedural."
> (-fipa-vrp) New.
> ---
> gcc/doc/invoke.texi | 15 +++++++++++----
> 1 file changed, 11 insertions(+), 4 deletions(-)
>
> diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
> index 15eb0e0289a..d7854760b8b 100644
> --- a/gcc/doc/invoke.texi
> +++ b/gcc/doc/invoke.texi
> @@ -372,7 +372,7 @@ Objective-C and Objective-C++ Dialects}.
> -fif-conversion2 -findirect-inlining @gol
> -finline-functions -finline-functions-called-once -finline-limit=@var{n}
> @gol
> -finline-small-functions -fipa-cp -fipa-cp-clone @gol
> --fipa-bit-cp @gol
> +-fipa-bit-cp -fipa-vrp @gol
> -fipa-pta -fipa-profile -fipa-pure-const -fipa-reference -fipa-icf @gol
> -fira-algorithm=@var{algorithm} @gol
> -fira-region=@var{region} -fira-hoist-pressure @gol
> @@ -7079,6 +7079,7 @@ also turns on the following optimization flags:
> -findirect-inlining @gol
> -fipa-cp @gol
> -fipa-bit-cp @gol
> +-fipa-vrp @gol
> -fipa-sra @gol
> -fipa-icf @gol
> -fisolate-erroneous-paths-dereference @gol
> @@ -8089,9 +8090,15 @@ This flag is enabled by default at @option{-O3}.
>
> @item -fipa-bit-cp
> @opindex -fipa-bit-cp
> -When enabled, perform ipa bitwise constant propagation. This flag is
> -enabled by default at @option{-O2}. It requires that @option{-fipa-cp}
> -is enabled.
> +When enabled, perform interprocedural bitwise constant
> +propagation. This flag is enabled by default at @option{-O2}. It
> +requires that @option{-fipa-cp} is enabled.
> +
> +@item -fipa-vrp
> +@opindex -fipa-vrp
> +When enabled, perform interprocedural propagation of value
> +ranges. This flag is enabled by default at @option{-O2}. It requires
> +that @option{-fipa-cp} is enabled.
>
> @item -fipa-icf
> @opindex fipa-icf
> --
> 2.12.0
>
>
