Opened 8 years ago

Last modified 3 years ago

#12666 closed enhancement

Optional CLooG-PPL spkg — at Version 12

Reported by: SimonKing Owned by: tbd
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: packages: optional Keywords: CLooG PPL ISL GCC LTO
Cc: leif Merged in:
Authors: Simon King Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #12672 Stopgaps:

Description (last modified by 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

Change History (12)

comment:1 Changed 8 years ago by SimonKing

  • Status changed from new to needs_review

comment:2 Changed 8 years ago by SimonKing

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

comment:3 Changed 8 years ago by 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.

comment:4 Changed 8 years ago by jdemeyer

  • Description modified (diff)

comment:5 Changed 8 years ago by jdemeyer

  • Status changed from needs_review to needs_work

I think you are missing the configure option

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

comment:6 follow-up: Changed 8 years ago by jdemeyer

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

comment:7 in reply to: ↑ 6 Changed 8 years ago by 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...

comment:8 Changed 8 years ago by SimonKing

  • Cc leif added
  • Dependencies set to #12672 #12661
  • Description modified (diff)
  • Keywords PPL added
  • Status changed from needs_work to needs_review
  • Summary changed from Optional CLooG spkg to Optional CLooG-PPL spkg

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.

comment:9 follow-up: Changed 8 years ago by jdemeyer

  • Dependencies changed from #12672 #12661 to #12672
  • Status changed from needs_review to needs_work

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

    diff -r 93c792cfd365 spkg-install
    a b  
    1010SAGE_CONF_OPTS="--enable-shared --disable-static"
    1111
    1212cd src
    13 ./configure --libdir="$SAGE_LOCAL/lib" --prefix="$SAGE_LOCAL"  --with-gmp --with-ppl $SAGE_CONF_OPTS
     13./configure --libdir="$SAGE_LOCAL/lib" --prefix="$SAGE_LOCAL"  --with-gmp="$SAGE_LOCAL" --with-ppl="$SAGE_LOCAL" $SAGE_CONF_OPTS
    1414$MAKE
    1515if [ $? -ne 0 ]; then
    1616    echo "Error building CLooG PPL."

comment:10 in reply to: ↑ 9 Changed 8 years ago by SimonKing

  • Status changed from needs_work to needs_review

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

comment:11 Changed 8 years ago by 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.

comment:12 Changed 8 years ago by SimonKing

  • Description modified (diff)
Note: See TracTickets for help on using tickets.