Optional CLooG-PPL spkg

[SimonKing]

As much as I understand, for building GCC with "graphite" one needs CLooG-PPL (the Chunky Loop Generator) being installed. Note that CLooG plus PPL seems not to be enough

Hence, I suggest to have an optional spkg. At least on openSuse, the straight forward way to make an spkg (no patches, and an spkg-install and spkg-check that just to ./configure --prefix..., make, make install and make check) seems to work.

This is related with #12369, and depends on #12672.

spkg: ​http://boxen.math.washington.edu/home/SimonKing/SAGE/spkgs/cloog_ppl-0.15.11.spkg

[SimonKing]

I forgot to mention that CLooG needs GMP. Therefore it might be needed to install the spkg from #12661 as well.

[SimonKing]

It turns out that the gcc package from #12369 can not use this cloog package.

I am not sure whether this is because of wrong sources (there seems to be a difference between cloog and cloog-ppl) or a missing configuration option.

Anyway. With a cloog-ppl package using the options --with-gmp --with-ppl, the gcc package seems to pick up CLooG PPL. I'm afraid I can not post the updated packages, as sage.math seems to be down.

[jdemeyer]

I think you are missing the configure option

--with-gmp-prefix="$SAGE_LOCAL"

[jdemeyer]

(even though CLooG seems to build without that option, which I cannot really explain...)

[SimonKing]

Replying to jdemeyer:

(even though CLooG seems to build without that option, which I cannot really explain...)

I guess it is since CLooG looks for GMP in the standard location, "standard" being determined by the --prefix="$SAGE_LOCAL" option that I do provide.

Anyway. What is really missing is at least the option --with-ppl, or even a cloog-ppl package with that option.

Since sage.math seems to be down, I can't post either of the two spkgs...

[SimonKing]

​Leif cited from the GCC prerequisites page:

CLooG-PPL version( 0.15 or CLooG 0.16
    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
former is the default right now. It can be downloaded from
ftp://gcc.gnu.org/pub/gcc/infrastructure/ as cloog-ppl-0.15.tar.gz.

    CLooG 0.16 support is still in testing stage, but will be the
default in future GCC releases. It is also available at
ftp://gcc.gnu.org/pub/gcc/infrastructure/ as cloog-0.16.1.tar.gz. To
use it add the additional configure option --enable-cloog-backend=isl.
Even if CLooG 0.16 does not use PPL, PPL is still required for
Graphite.

Actually, I found that cloog-0.16.1 does not work, i.e., gcc does not build. Hence, I made a cloog_ppl-0.15.11 spkg, that I suggest to make an optional spkg.

[jdemeyer]

You are missing the configure options

--with-gmp="$SAGE_LOCAL" --with-ppl="$SAGE_LOCAL"

If I apply the following patch, CLooG-PPL builds fine (even without the GMP spkg):

spkg-install

@@ -10 +10 @@
 SAGE_CONF_OPTS="--enable-shared --disable-static"
 
 cd src
-./configure --libdir="$SAGE_LOCAL/lib" --prefix="$SAGE_LOCAL"  --with-gmp --with-ppl $SAGE_CONF_OPTS
+./configure --libdir="$SAGE_LOCAL/lib" --prefix="$SAGE_LOCAL"  --with-gmp="$SAGE_LOCAL" --with-ppl="$SAGE_LOCAL" $SAGE_CONF_OPTS
 $MAKE
 if [ $? -ne 0 ]; then
     echo "Error building CLooG PPL."

[SimonKing]

Replying to jdemeyer:

You are missing the configure options

--with-gmp="$SAGE_LOCAL" --with-ppl="$SAGE_LOCAL"

If I apply the following patch, CLooG-PPL builds fine (even without the GMP spkg):

Cool! I just updated my ​spkg on boxen.math

[jdemeyer]

Thanks, that seems to work.

Unfortunately, I'm afraid your earlier performance tests with GCC are now invalidated and should be done again with this spkg and without GMP.

[fbissey]

Should we obsolete this? Recent gcc still use cloog but with isl instead of ppl. Plus we upgraded ppl to 1.1 I don't think anyone patch cloog anymore to interface with ppl after 0.12.x. gcc was the main consumer of that.

[leif]

Replying to fbissey:

Should we obsolete this? Recent gcc still use cloog but with isl instead of ppl. Plus we upgraded ppl to 1.1 I don't think anyone patch cloog anymore to interface with ppl after 0.12.x. gcc was the main consumer of that.

More than two and a half years later...

I think we can close this, as while GCC 4.9 still uses CLooG and ISL, GCC 5.x and 6.x have dropped CLooG and now only use ISL (if at all, i.e., with --enable-lto).

Feel free to open a new ticket making ISL an optional package.

[leif]

P.S.: --enable-lto is meanwhile even the default. GCC will automatically pick up ISL when present (installed library and headers, or source in the build tree) and otherwise simply disable LTO support.

[fbissey]

cloog/isl and previously ppl were for the graphite plugin which does loop optimization, not "link time optimization" unless you know something I don't. In any case I am for closing it too.

[leif]

Replying to fbissey:

cloog/isl and previously ppl were for the graphite plugin which does loop optimization, not "link time optimization" unless you know something I don't.

Yes, but that was (at least years ago) also, if not only, done at link time. But LTO has massively changed (and improved) over the last years, they say.

Not sure whether CLooG was initially used during compilation as well.

In any case I am for closing it too.

Ok, I guess Simon won't complain either.

[leif]

Replying to leif:

Replying to fbissey:

cloog/isl and previously ppl were for the graphite plugin which does loop optimization, not "link time optimization" unless you know something I don't.

Yes, but that was (at least years ago) also, if not only, done at link time. But LTO has massively changed (and improved) over the last years, they say.

Not sure whether CLooG was initially used during compilation as well.

Hmmm, strike that. I couldn't find any reference, and both seem indeed independent, while combining them may of course be advantageous. (Hence you're right, --enable-lto is orthogonal to --with-isl.)

[embray]

Determined to be invalid/duplicate/wontfix (closing as "wontfix" as a catch-all resolution).