On Thu, Dec 10, 2015 at 6:05 PM, Sebastian Pop <[email protected]> wrote:
> also update ISL to isl as requested by its author Sven Verdoolaege.
Ok. Please always post ChangeLog entries as well.
Richard.
> ---
> gcc/doc/install.texi | 9 +++++----
> gcc/doc/invoke.texi | 4 ++--
> 2 files changed, 7 insertions(+), 6 deletions(-)
>
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index 0b71bef..b43a3ec 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -383,14 +383,15 @@ installed but it is not in your default library search
> path, the
> @option{--with-mpc} configure option should be used. See also
> @option{--with-mpc-lib} and @option{--with-mpc-include}.
>
> -@item ISL Library version 0.15 or 0.14.
> +@item isl Library version 0.15 or 0.14.
>
> +Minimal isl version supported is 0.14 and it is highly recommended to use
> 0.15.
> Necessary to build GCC with the Graphite loop optimizations.
> It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
> -If an ISL source distribution is found
> +If an isl source distribution is found
> in a subdirectory of your GCC sources named @file{isl}, it will be
> built together with GCC. Alternatively, the @option{--with-isl} configure
> -option should be used if ISL is not installed in your default library
> +option should be used if isl is not installed in your default library
> search path.
>
> @end table
> @@ -1850,7 +1851,7 @@ a cross compiler, they will not be used to configure
> target libraries.
> @item --with-isl=@var{pathname}
> @itemx --with-isl-include=@var{pathname}
> @itemx --with-isl-lib=@var{pathname}
> -If you do not have the ISL library installed in a standard location and you
> +If you do not have the isl library installed in a standard location and you
> want to build GCC, you can explicitly specify the directory where it is
> installed (@samp{--with-isl=@/@var{islinstalldir}}). The
> @option{--with-isl=@/@var{islinstalldir}} option is shorthand for
> diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
> index 5256031..7ae0849 100644
> --- a/gcc/doc/invoke.texi
> +++ b/gcc/doc/invoke.texi
> @@ -8939,12 +8939,12 @@ Enable the identity transformation for graphite. For
> every SCoP we generate
> the polyhedral representation and transform it back to gimple. Using
> @option{-fgraphite-identity} we can check the costs or benefits of the
> GIMPLE -> GRAPHITE -> GIMPLE transformation. Some minimal optimizations
> -are also performed by the code generator ISL, like index splitting and
> +are also performed by the code generator isl, like index splitting and
> dead code elimination in loops.
>
> @item -floop-nest-optimize
> @opindex floop-nest-optimize
> -Enable the ISL based loop nest optimizer. This is a generic loop nest
> +Enable the isl based loop nest optimizer. This is a generic loop nest
> optimizer based on the Pluto optimization algorithms. It calculates a loop
> structure optimized for data-locality and parallelism. This option
> is experimental.
> --
> 1.9.1
>
