Document -fipa-vrp

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?

Thanks,

Martin


2017-03-17  Martin Jambor  <mjambor@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(-)

On Fri, Mar 17, 2017 at 11:55 AM, Martin Jambor <mjambor@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  <mjambor@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
>
>

On Fri, 17 Mar 2017, Martin Jambor wrote:
> 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.

That's definitely a good change, thank you!

(Richi already okayed, but as a general note, reducing "special lingo"
in our documention generally is a good thing.)

Gerald