Patchwork * doc/install.texi: Document availability of cloog-0.16

login
register
mail settings
Submitter Tobias Grosser
Date Jan. 5, 2011, 5:55 p.m.
Message ID <1294250132-30205-1-git-send-email-grosser@fim.uni-passau.de>
Download mbox | patch
Permalink /patch/77619/
State New
Headers show

Comments

Tobias Grosser - Jan. 5, 2011, 5:55 p.m.
Hi,

I would like to update the install documentation for CLooG and also use this
to talk about the version of CLooG included with gcc 4.6.

I propose to stay for gcc 4.6 with CLooG-PPL 0.15 as default CLooG version,
as it is well tested and has proven to be stable enough.

I believe cloog-0.16 (isl) is very stable, however it was not yet exposed to testing
throught the larger gcc audience. I propose therefore to just document it
as being in testing stage and the default for future releases. This
will give us a whole release cycle to test cloog isl.

Cheers
Tobi

 gcc/doc/install.texi |   19 +++++++++++++------
 1 files changed, 13 insertions(+), 6 deletions(-)
Jack Howarth - Jan. 5, 2011, 10:58 p.m.
On Wed, Jan 05, 2011 at 12:55:32PM -0500, Tobias Grosser wrote:
> Hi,
> 
> I would like to update the install documentation for CLooG and also use this
> to talk about the version of CLooG included with gcc 4.6.
> 
> I propose to stay for gcc 4.6 with CLooG-PPL 0.15 as default CLooG version,
> as it is well tested and has proven to be stable enough.
> 
> I believe cloog-0.16 (isl) is very stable, however it was not yet exposed to testing
> throught the larger gcc audience. I propose therefore to just document it
> as being in testing stage and the default for future releases. This
> will give us a whole release cycle to test cloog isl.
> 
> Cheers
> Tobi

Tobi,
   Don't we need to apply...

http://gcc.gnu.org/ml/gcc-patches/2010-12/msg01924.html

to gcc trunk so that cloog-backend=cloog-isl will recognize
the version of 0.16?
               Jack

> 
>  gcc/doc/install.texi |   19 +++++++++++++------
>  1 files changed, 13 insertions(+), 6 deletions(-)
> 
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index f990b74..8b77472 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -340,17 +340,24 @@ It can be downloaded from @uref{http://www.cs.unipr.it/ppl/Download/}.
>  The @option{--with-ppl} configure option should be used if PPL is not
>  installed in your default library search path.
>  
> -@item CLooG-PPL version 0.15
> +@item CLooG-PPL version 0.15 / CLooG 0.16
>  
> -Necessary to build GCC with the Graphite loop optimizations.  It can
> -be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
> -The code in @file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG
> -available from @uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL
> -should be configured with @option{--with-ppl}.
> +Necessary to build GCC with the Graphite loop optimizations.  There are
> +two versions available.  CLooG-PPL 0.15 as well as CLooG 0.16.  The current
> +default version used is version 0.15.  It can be downloaded from
> +@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  The code in
> +@file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG available from
> +@uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL should be configured with
> +@option{--with-ppl}.
>  
>  The @option{--with-cloog} configure option should be used if CLooG is
>  not installed in your default library search path.
>  
> +CLooG 0.16 support is still in testing stage, but will be the default in future
> +gcc releases.  It is available at
> +@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  To use it configure with 
> +@option{--enable-cloog-backend=isl}. 
> +
>  @item @command{jar}, or InfoZIP (@command{zip} and @command{unzip})
>  
>  Necessary to build libgcj, the GCJ runtime.
> -- 
> 1.7.1
Tobias Grosser - Jan. 5, 2011, 11:01 p.m.
On 01/05/2011 05:58 PM, Jack Howarth wrote:
> On Wed, Jan 05, 2011 at 12:55:32PM -0500, Tobias Grosser wrote:
>> Hi,
>>
>> I would like to update the install documentation for CLooG and also use this
>> to talk about the version of CLooG included with gcc 4.6.
>>
>> I propose to stay for gcc 4.6 with CLooG-PPL 0.15 as default CLooG version,
>> as it is well tested and has proven to be stable enough.
>>
>> I believe cloog-0.16 (isl) is very stable, however it was not yet exposed to testing
>> throught the larger gcc audience. I propose therefore to just document it
>> as being in testing stage and the default for future releases. This
>> will give us a whole release cycle to test cloog isl.
>>
>> Cheers
>> Tobi
>
> Tobi,
>     Don't we need to apply...
>
> http://gcc.gnu.org/ml/gcc-patches/2010-12/msg01924.html
>
> to gcc trunk so that cloog-backend=cloog-isl will recognize
> the version of 0.16?
>                 Jack

yes, you are right. Sebastian already pointed out. We will apply them 
together, such that we get the documentation with the features.

Cheers
Tobi
Gerald Pfeifer - Jan. 5, 2011, 11:35 p.m.
On Wed, 5 Jan 2011, Tobias Grosser wrote:
> +Necessary to build GCC with the Graphite loop optimizations.  There are
> +two versions available.  CLooG-PPL 0.15 as well as CLooG 0.16.  The current
> +default version used is version 0.15.  It can be downloaded from
> +@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  The code in
> +@file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG available from
> +@uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL should be configured with
> +@option{--with-ppl}.

I find this a bit confusing.  Assuming I managed to parse this correct,
how about saying "The former is the default right now.  It can be
downloaded from...and configured with" (and omit the "The code in...").

On the other hand, if this is the default, why does it need to be
configured explicitly?

>  The @option{--with-cloog} configure option should be used if CLooG is
>  not installed in your default library search path.

Ah, yes.  So is this only necessary for the other case, CLooG 0.16,
or for CLooG-PPL as well?  Or in both cases, in which case this should
be made explicit?

> +CLooG 0.16 support is still in testing stage, but will be the default in future
> +gcc releases.  It is available at
> +@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  To use it configure with 
> +@option{--enable-cloog-backend=isl}. 

"GCC", please, when referring to the overall package.  And the first 
line is too long

Now you are really loosing me.  CLooG-PPL 0.15 is configured with 
--with-ppl, whereas CLooG 0.16 via --enable-cloog-backend=isl ??

Gerald
Ryan Hill - Jan. 6, 2011, 3:54 a.m.
On Thu, 6 Jan 2011 00:35:20 +0100 (CET)
Gerald Pfeifer <gerald@pfeifer.com> wrote:

> On Wed, 5 Jan 2011, Tobias Grosser wrote:
> > +Necessary to build GCC with the Graphite loop optimizations.  There are
> > +two versions available.  CLooG-PPL 0.15 as well as CLooG 0.16.  The current
> > +default version used is version 0.15.  It can be downloaded from
> > +@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  The code in
> > +@file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG available from
> > +@uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL should be configured with
> > +@option{--with-ppl}.
> 
> I find this a bit confusing.  Assuming I managed to parse this correct,
> how about saying "The former is the default right now.  It can be
> downloaded from...and configured with" (and omit the "The code in...").
> 
> On the other hand, if this is the default, why does it need to be
> configured explicitly?
> 
> >  The @option{--with-cloog} configure option should be used if CLooG is
> >  not installed in your default library search path.
> 
> Ah, yes.  So is this only necessary for the other case, CLooG 0.16,
> or for CLooG-PPL as well?  Or in both cases, in which case this should
> be made explicit?
> 
> > +CLooG 0.16 support is still in testing stage, but will be the default in future
> > +gcc releases.  It is available at
> > +@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  To use it configure with 
> > +@option{--enable-cloog-backend=isl}. 
> 
> "GCC", please, when referring to the overall package.  And the first 
> line is too long
> 
> Now you are really loosing me.  CLooG-PPL 0.15 is configured with > 
> Gerald
> 

> --with-ppl, whereas CLooG 0.16 via --enable-cloog-backend=isl ??

CLooG-PPL is configured with --with-ppl.  CLooG 0.16 is configured with
--with-isl (I think this is the default though so maybe not necessary).  To
use CLooG 0.16, GCC itself must be configured with
--enable-cloog-backend=isl.  The default is --enable-cloog-backend=ppl-legacy.

Could you also comment on whether or not PPL is still a dependency of GCC when
using CLooG 0.16 with the ISL backend?  I'm a little confused on this
matter.  Also, if CLooG-PPL will remain the default, will the minimum PPL
version remain 0.10 or be bumped to 0.11?  If the latter, you will need to
update the stated minimum CLooG-PPL filename to cloog-ppl-0.15.10.tar.gz.

Patch

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index f990b74..8b77472 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -340,17 +340,24 @@  It can be downloaded from @uref{http://www.cs.unipr.it/ppl/Download/}.
 The @option{--with-ppl} configure option should be used if PPL is not
 installed in your default library search path.
 
-@item CLooG-PPL version 0.15
+@item CLooG-PPL version 0.15 / CLooG 0.16
 
-Necessary to build GCC with the Graphite loop optimizations.  It can
-be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
-The code in @file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG
-available from @uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL
-should be configured with @option{--with-ppl}.
+Necessary to build GCC with the Graphite loop optimizations.  There are
+two versions available.  CLooG-PPL 0.15 as well as CLooG 0.16.  The current
+default version used is version 0.15.  It can be downloaded from
+@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  The code in
+@file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG available from
+@uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL should be configured with
+@option{--with-ppl}.
 
 The @option{--with-cloog} configure option should be used if CLooG is
 not installed in your default library search path.
 
+CLooG 0.16 support is still in testing stage, but will be the default in future
+gcc releases.  It is available at
+@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  To use it configure with 
+@option{--enable-cloog-backend=isl}. 
+
 @item @command{jar}, or InfoZIP (@command{zip} and @command{unzip})
 
 Necessary to build libgcj, the GCJ runtime.