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

login
register
mail settings
Submitter Tobias Grosser
Date Jan. 7, 2011, 4:18 a.m.
Message ID <4D269405.5080409@fim.uni-passau.de>
Download mbox | patch
Permalink /patch/77850/
State New
Headers show

Comments

Tobias Grosser - Jan. 7, 2011, 4:18 a.m.
On 01/05/2011 06:35 PM, Gerald Pfeifer 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
> --with-ppl, whereas CLooG 0.16 via --enable-cloog-backend=isl ??
>
> Gerald
Hi Gerald,

thanks for the comments. I just added information to that install.texi 
file, which made it really hard to read. I now tried to restructure the 
whole comment and hope it became easier to read.
I hope the attached patch addresses your comments. Could you have 
another look and see if it answers your questions?

Cheers
Tobi
Gerald Pfeifer - Jan. 8, 2011, 12:10 p.m.
On Thu, 6 Jan 2011, Tobias Grosser wrote:
> thanks for the comments. I just added information to that install.texi 
> file, which made it really hard to read. I now tried to restructure the 
> whole comment and hope it became easier to read.

Definitely, thanks a lot.  Now I managed to parse this just fine. ;-)

Mind the long lines and break them, otherwise this looks good.

Gerald
Tobias Grosser - Jan. 8, 2011, 3:44 p.m.
On 01/08/2011 07:10 AM, Gerald Pfeifer wrote:
> On Thu, 6 Jan 2011, Tobias Grosser wrote:
>> thanks for the comments. I just added information to that install.texi
>> file, which made it really hard to read. I now tried to restructure
>> the whole comment and hope it became easier to read.
>
> Definitely, thanks a lot. Now I managed to parse this just fine. ;-)
>
> Mind the long lines and break them, otherwise this looks good.

OK. Thanks.

I will commit this as soon as the related CLooG packages are uploaded.

Cheers
Tobi
Jack Howarth - Jan. 8, 2011, 8:35 p.m.
On Sat, Jan 08, 2011 at 10:44:54AM -0500, Tobias Grosser wrote:
> On 01/08/2011 07:10 AM, Gerald Pfeifer wrote:
>> On Thu, 6 Jan 2011, Tobias Grosser wrote:
>>> thanks for the comments. I just added information to that install.texi
>>> file, which made it really hard to read. I now tried to restructure
>>> the whole comment and hope it became easier to read.
>>
>> Definitely, thanks a lot. Now I managed to parse this just fine. ;-)
>>
>> Mind the long lines and break them, otherwise this looks good.
>
> OK. Thanks.
>
> I will commit this as soon as the related CLooG packages are uploaded.
>
> Cheers
> Tobi

Tobi,
   I am confused by the configure code that sets CFLAGS to -O1 when
gcc 4.2.x is in use. Reverting this change on x86_64-apple-darwin10
still allows cloog 0.16.1 to build on x86_64-apple-darwin10 without
any regressions in the cloog testsuite. This is built against the
gcc 4.2.1 compiler in Xcode 3.2.5. I also find that building against
gcc-4.2 and g++-4.2 from Xcode 3.1.4 under powerpc-apple-darwin9
produces no cloog testsuite failures. Perhaps the cloog/isl/configure
test could be enhanced to not set -O1 if the gcc 4.2.x is "Apple Inc. build"
since Apple uses a very forked branch of gcc 4.2.1...

gcc -v
Using built-in specs.
Target: i686-apple-darwin10
Configured with: /var/tmp/gcc/gcc-5664~89/src/configure --disable-checking --enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin10 --program-prefix=i686-apple-darwin10- --host=x86_64-apple-darwin10 --target=i686-apple-darwin10 --with-gxx-include-dir=/include/c++/4.2.1
Thread model: posix
gcc version 4.2.1 (Apple Inc. build 5664)

I'll test current gcc trunk built with -enable-cloog-backend=isl against
a -O3 isl build to check for regressions in graphite.
           Jack
Jack Howarth - Jan. 8, 2011, 10:52 p.m.
On Sat, Jan 08, 2011 at 03:35:49PM -0500, Jack Howarth wrote:
> On Sat, Jan 08, 2011 at 10:44:54AM -0500, Tobias Grosser wrote:
> > On 01/08/2011 07:10 AM, Gerald Pfeifer wrote:
> >> On Thu, 6 Jan 2011, Tobias Grosser wrote:
> >>> thanks for the comments. I just added information to that install.texi
> >>> file, which made it really hard to read. I now tried to restructure
> >>> the whole comment and hope it became easier to read.
> >>
> >> Definitely, thanks a lot. Now I managed to parse this just fine. ;-)
> >>
> >> Mind the long lines and break them, otherwise this looks good.
> >
> > OK. Thanks.
> >
> > I will commit this as soon as the related CLooG packages are uploaded.
> >
> > Cheers
> > Tobi
> 
> Tobi,
>    I am confused by the configure code that sets CFLAGS to -O1 when
> gcc 4.2.x is in use. Reverting this change on x86_64-apple-darwin10
> still allows cloog 0.16.1 to build on x86_64-apple-darwin10 without
> any regressions in the cloog testsuite. This is built against the
> gcc 4.2.1 compiler in Xcode 3.2.5. I also find that building against
> gcc-4.2 and g++-4.2 from Xcode 3.1.4 under powerpc-apple-darwin9
> produces no cloog testsuite failures. Perhaps the cloog/isl/configure
> test could be enhanced to not set -O1 if the gcc 4.2.x is "Apple Inc. build"
> since Apple uses a very forked branch of gcc 4.2.1...
> 
> gcc -v
> Using built-in specs.
> Target: i686-apple-darwin10
> Configured with: /var/tmp/gcc/gcc-5664~89/src/configure --disable-checking --enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin10 --program-prefix=i686-apple-darwin10- --host=x86_64-apple-darwin10 --target=i686-apple-darwin10 --with-gxx-include-dir=/include/c++/4.2.1
> Thread model: posix
> gcc version 4.2.1 (Apple Inc. build 5664)
> 
> I'll test current gcc trunk built with -enable-cloog-backend=isl against
> a -O3 isl build to check for regressions in graphite.
>            Jack

Tobi,
  A build of current gcc trunk with -enable-cloog-backend=isl against cloog 0.16.1 built
entirely at -O3 shows no regressions in the graphite.exp tests on x86_64-apple-darwin10.
So it seems unnecessary to resort to -O1 in the isl build within cloog when Apple's
gcc 4.2.1 is in use.
             Jack
Tobias Grosser - Jan. 8, 2011, 11:09 p.m.
On 01/08/2011 05:52 PM, Jack Howarth wrote:
> On Sat, Jan 08, 2011 at 03:35:49PM -0500, Jack Howarth wrote:
>> On Sat, Jan 08, 2011 at 10:44:54AM -0500, Tobias Grosser wrote:
>>> On 01/08/2011 07:10 AM, Gerald Pfeifer wrote:
>>>> On Thu, 6 Jan 2011, Tobias Grosser wrote:
>>>>> thanks for the comments. I just added information to that install.texi
>>>>> file, which made it really hard to read. I now tried to restructure
>>>>> the whole comment and hope it became easier to read.
>>>>
>>>> Definitely, thanks a lot. Now I managed to parse this just fine. ;-)
>>>>
>>>> Mind the long lines and break them, otherwise this looks good.
>>>
>>> OK. Thanks.
>>>
>>> I will commit this as soon as the related CLooG packages are uploaded.
>>>
>>> Cheers
>>> Tobi
>>
>> Tobi,
>>     I am confused by the configure code that sets CFLAGS to -O1 when
>> gcc 4.2.x is in use. Reverting this change on x86_64-apple-darwin10
>> still allows cloog 0.16.1 to build on x86_64-apple-darwin10 without
>> any regressions in the cloog testsuite. This is built against the
>> gcc 4.2.1 compiler in Xcode 3.2.5. I also find that building against
>> gcc-4.2 and g++-4.2 from Xcode 3.1.4 under powerpc-apple-darwin9
>> produces no cloog testsuite failures. Perhaps the cloog/isl/configure
>> test could be enhanced to not set -O1 if the gcc 4.2.x is "Apple Inc. build"
>> since Apple uses a very forked branch of gcc 4.2.1...
>>
>> gcc -v
>> Using built-in specs.
>> Target: i686-apple-darwin10
>> Configured with: /var/tmp/gcc/gcc-5664~89/src/configure --disable-checking --enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin10 --program-prefix=i686-apple-darwin10- --host=x86_64-apple-darwin10 --target=i686-apple-darwin10 --with-gxx-include-dir=/include/c++/4.2.1
>> Thread model: posix
>> gcc version 4.2.1 (Apple Inc. build 5664)
>>
>> I'll test current gcc trunk built with -enable-cloog-backend=isl against
>> a -O3 isl build to check for regressions in graphite.
>>             Jack
>
> Tobi,
>    A build of current gcc trunk with -enable-cloog-backend=isl against cloog 0.16.1 built
> entirely at -O3 shows no regressions in the graphite.exp tests on x86_64-apple-darwin10.
> So it seems unnecessary to resort to -O1 in the isl build within cloog when Apple's
> gcc 4.2.1 is in use.
>               Jack

Hi Jack,

thanks for testing. Even if I am not sure that the graphite test suite 
is large enough to find all subtile bugs, but in case of Apple's gcc 
4.2.1 it is probably save to assume it is not a gcc 4.2.1 any more. Do 
you think you could provide a patch for Cloog that implements your 
suggestions, such that Sven can include it in the next Cloog release.

Thanks a lot
Tobi
Sven Verdoolaege - Jan. 8, 2011, 11:33 p.m.
On Sat, Jan 08, 2011 at 03:35:49PM -0500, Jack Howarth wrote:
>    I am confused by the configure code that sets CFLAGS to -O1 when
> gcc 4.2.x is in use. Reverting this change on x86_64-apple-darwin10
> still allows cloog 0.16.1 to build on x86_64-apple-darwin10 without
> any regressions in the cloog testsuite.

How about the isl testsuite?
It fails pretty spectacularly with gcc (GCC) 4.2.4 (Ubuntu 4.2.4-1ubuntu4).

skimo
Jack Howarth - Jan. 8, 2011, 11:52 p.m.
On Sun, Jan 09, 2011 at 12:33:01AM +0100, Sven Verdoolaege wrote:
> On Sat, Jan 08, 2011 at 03:35:49PM -0500, Jack Howarth wrote:
> >    I am confused by the configure code that sets CFLAGS to -O1 when
> > gcc 4.2.x is in use. Reverting this change on x86_64-apple-darwin10
> > still allows cloog 0.16.1 to build on x86_64-apple-darwin10 without
> > any regressions in the cloog testsuite.
> 
> How about the isl testsuite?
> It fails pretty spectacularly with gcc (GCC) 4.2.4 (Ubuntu 4.2.4-1ubuntu4).
> 
> skimo

Skimo,
   Is the isl testsuite contained within cloog? When build entirely at -O3
with Apple gcc 4.2.1 on x86_64-apple-darwin10, I get...

make check
Making check in isl
Making check in .
make  check-TESTS
PASS: isl_test
boulet.pip
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
brisebarre.pip
o
cg1.pip
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
esced.pip
o
ex2.pip
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ex.pip
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
fimmel.pip
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
max.pip
ooooooooooooooooooooooooooooooo
negative.pip
ooooooooooooooooooooooooooooooo
small.pip
o
sor1d.pip
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
square.pip
ooooooooooooooooooooooooooooooo
sven.pip
ooooooooooooooooooooooooooooooo
tobi.pip
ooooooooooooooooooooooooooooooo
PASS: pip_test.sh
basicLinear2.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
basicLinear.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
basicTestParameterPosNeg.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
basicTest.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
devos.pwqp
ooooooooooo
ooooooooooo
equality1.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
equality2.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
equality3.pwqp
ooooooooooo
ooooooooooo
equality4.pwqp
ooooooooooo
ooooooooooo
equality5.pwqp
ooooooooooo
ooooooooooo
faddeev.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
linearExample.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
neg.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
philippe3vars3pars.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
philippe3vars.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
philippeNeg.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
philippePolynomialCoeff1P.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
philippePolynomialCoeff.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
philippe.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
product.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
split.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
test3Deg3Var.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
toplas.pwqp
ooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooo
unexpanded.pwqp
o
o
PASS: bound_test.sh
==================
All 3 tests passed
==================
Making check in doc
make[2]: Nothing to be done for `check'.
Making check in .
cd isl; make  libisl.la
make[2]: `libisl.la' is up to date.
Making check in doc
make[1]: Nothing to be done for `check'.
Making check in test
cd ..; make  libcloog-isl.la
cd isl; make  libisl.la
make[3]: `libisl.la' is up to date.
make test -C test
             /*-----------------------------------------------*
              *                 Testing CLooG                 *
              *-----------------------------------------------*/
--- Testing C files... (expected output)
Verify file infinite
infinite passed
Verify file infinite2
infinite2 passed
Verify file infinite3
infinite3 passed
Verify file infinite4
infinite4 passed
Verify file 0D-1
0D-1 passed
Verify file 0D-2
0D-2 passed
Verify file 0D-3
0D-3 passed
Verify file 1point-1
1point-1 passed
Verify file 1point-2
1point-2 passed
Verify file 4-param
4-param passed
Verify file basic-bounds-1
basic-bounds-1 passed
Verify file basic-bounds-2
basic-bounds-2 passed
Verify file basic-bounds-3
basic-bounds-3 passed
Verify file basic-bounds-4
basic-bounds-4 passed
Verify file basic-bounds-5
basic-bounds-5 passed
Verify file basic-bounds-6
basic-bounds-6 passed
Verify file block
[CLooG] INFO: 1 dimensions (over 2) are scalar.
block passed
Verify file block2
[CLooG] INFO: 1 dimensions (over 3) are scalar.
block2 passed
Verify file byu98-1-2-3
byu98-1-2-3 passed
Verify file cholesky
[CLooG] INFO: 3 dimensions (over 6) are scalar.
cholesky passed
Verify file cholesky2
cholesky2 passed
Verify file classen
[CLooG] WARNING: some scattering functions are similar.
[CLooG] INFO: 3 dimensions (over 7) are scalar.
classen passed
Verify file classen2
classen2 passed
Verify file constant
[CLooG] INFO: 1 dimensions (over 3) are scalar.
constant passed
Verify file constbound
[CLooG] INFO: 1 dimensions (over 4) are scalar.
constbound passed
Verify file darte
darte passed
Verify file dealII
dealII passed
Verify file donotsimp
[CLooG] WARNING: some scattering functions are similar.
[CLooG] INFO: 3 dimensions (over 5) are scalar.
donotsimp passed
Verify file dot
dot passed
Verify file dot2
dot2 passed
Verify file double
double passed
Verify file durbin_e_s
durbin_e_s passed
Verify file emploi
emploi passed
Verify file esced
esced passed
Verify file ex1
ex1 passed
Verify file forwardsub-1-1-2
forwardsub-1-1-2 passed
Verify file forwardsub-2-1-2-3
forwardsub-2-1-2-3 passed
Verify file forwardsub-3-1-2
forwardsub-3-1-2 passed
Verify file gauss
[CLooG] WARNING: some scattering functions are similar.
gauss passed
Verify file gesced
gesced passed
Verify file gesced2
gesced2 passed
Verify file gesced3
gesced3 passed
Verify file guide
guide passed
Verify file iftest
iftest passed
Verify file iftest2
iftest2 passed
Verify file largeur
largeur passed
Verify file levenshtein-1-2-3
levenshtein-1-2-3 passed
Verify file lex
[CLooG] INFO: 2 dimensions (over 3) are scalar.
lex passed
Verify file lineality-1-2
lineality-1-2 passed
Verify file lineality-2-1-2
lineality-2-1-2 passed
Verify file logo
logo passed
Verify file logopar
logopar passed
Verify file lu
lu passed
Verify file lu2
lu2 passed
Verify file lub
lub passed
Verify file lux
lux passed
Verify file min-1-1
min-1-1 passed
Verify file min-2-1
min-2-1 passed
Verify file min-3-1
min-3-1 passed
Verify file min-4-1
min-4-1 passed
Verify file mode
mode passed
Verify file multi-mm-1
multi-mm-1 passed
Verify file no_lindep
no_lindep passed
Verify file orc
[CLooG] INFO: 1 domains have been blocked.
[CLooG] INFO: 1 dimensions (over 3) are scalar.
orc passed
Verify file rectangle
rectangle passed
Verify file singleton
[CLooG] INFO: 1 dimensions (over 1) are scalar.
singleton passed
Verify file square+triangle-1-1-2-3
square+triangle-1-1-2-3 passed
Verify file swim
[CLooG] INFO: 12 domains have been blocked.
[CLooG] INFO: 4 dimensions (over 7) are scalar.
swim passed
Verify file test
test passed
Verify file thomasset
thomasset passed
Verify file tiling
tiling passed
Verify file uday_scalars
[CLooG] INFO: 3 dimensions (over 4) are scalar.
uday_scalars passed
Verify file union
union passed
Verify file vivien
vivien passed
Verify file vivien2
vivien2 passed
Verify file walters
walters passed
Verify file walters2
walters2 passed
Verify file walters3
walters3 passed
Verify file wavefront
wavefront passed
Verify file yosr
yosr passed
Verify file yosr2
yosr2 passed
Verify file ./non_optimal/nul_complex1
./non_optimal/nul_complex1 passed
Verify file ./non_optimal/usvd_e_t
./non_optimal/usvd_e_t passed
Verify file ./non_optimal/youcef
./non_optimal/youcef passed
Verify file ./reservoir/cholesky2
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/cholesky2 passed
Verify file ./reservoir/fusion1
[CLooG] INFO: 2 dimensions (over 3) are scalar.
./reservoir/fusion1 passed
Verify file ./reservoir/fusion2
[CLooG] INFO: 3 dimensions (over 5) are scalar.
./reservoir/fusion2 passed
Verify file ./reservoir/jacobi2
[CLooG] INFO: 3 dimensions (over 5) are scalar.
./reservoir/jacobi2 passed
Verify file ./reservoir/jacobi3
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/jacobi3 passed
Verify file ./reservoir/lim-lam1
[CLooG] INFO: 3 dimensions (over 5) are scalar.
./reservoir/lim-lam1 passed
Verify file ./reservoir/lim-lam2
[CLooG] INFO: 3 dimensions (over 5) are scalar.
./reservoir/lim-lam2 passed
Verify file ./reservoir/lim-lam3
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/lim-lam3 passed
Verify file ./reservoir/lim-lam4
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/lim-lam4 passed
Verify file ./reservoir/lim-lam5
[CLooG] INFO: 3 dimensions (over 5) are scalar.
./reservoir/lim-lam5 passed
Verify file ./reservoir/lim-lam6
[CLooG] INFO: 3 dimensions (over 5) are scalar.
./reservoir/lim-lam6 passed
Verify file ./reservoir/liu-zhuge1
[CLooG] INFO: 3 dimensions (over 5) are scalar.
./reservoir/liu-zhuge1 passed
Verify file ./reservoir/loechner3
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/loechner3 passed
Verify file ./reservoir/loechner4
[CLooG] INFO: 5 dimensions (over 9) are scalar.
./reservoir/loechner4 passed
Verify file ./reservoir/loechner5
[CLooG] INFO: 5 dimensions (over 9) are scalar.
./reservoir/loechner5 passed
Verify file ./reservoir/mg-interp2
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/mg-interp2 passed
Verify file ./reservoir/mg-interp
[CLooG] INFO: 1 domains have been blocked.
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/mg-interp passed
Verify file ./reservoir/mg-psinv
[CLooG] INFO: 1 domains have been blocked.
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/mg-psinv passed
Verify file ./reservoir/mg-resid
[CLooG] INFO: 1 domains have been blocked.
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/mg-resid passed
Verify file ./reservoir/mg-rprj3
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/mg-rprj3 passed
Verify file ./reservoir/pingali1
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/pingali1 passed
Verify file ./reservoir/pingali2
[CLooG] INFO: 3 dimensions (over 5) are scalar.
./reservoir/pingali2 passed
Verify file ./reservoir/pingali3
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/pingali3 passed
Verify file ./reservoir/pingali4
[CLooG] INFO: 3 dimensions (over 5) are scalar.
./reservoir/pingali4 passed
Verify file ./reservoir/pingali5
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/pingali5 passed
Verify file ./reservoir/pingali6
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/pingali6 passed
Verify file ./reservoir/QR
[CLooG] INFO: 4 dimensions (over 7) are scalar.
./reservoir/QR passed
Verify file ./reservoir/tang-xue1
[CLooG] INFO: 5 dimensions (over 9) are scalar.
./reservoir/tang-xue1 passed
Verify file ./reservoir/two
./reservoir/two passed
Verify file isl/mod
isl/mod passed
Verify file isl/mod2
isl/mod2 passed
Verify file isl/mod3
isl/mod3 passed
Verify file isl/mod4
isl/mod4 passed
--- Testing FORTRAN files...
Verify file dartef
dartef passed
Verify file iftestf
iftestf passed
Verify file levenshtein-1-2-3f
levenshtein-1-2-3f passed
Verify file yosrf
yosrf passed
--- Testing STRIDED files...
Verify file basic-bounds-2
basic-bounds-2 passed
Verify file mod4
mod4 passed
Verify file nul_basic1
nul_basic1 passed
Verify file nul_basic2
nul_basic2 passed
Verify file nul_lcpc
nul_lcpc passed
Verify file multi-stride
multi-stride passed
Verify file multi-stride2
multi-stride2 passed
Verify file stride3
[CLooG] INFO: 1 dimensions (over 2) are scalar.
stride3 passed
Verify file stride4
stride4 passed
Verify file reservoir/bastoul3
reservoir/bastoul3 passed
Verify file reservoir/stride
[CLooG] INFO: 4 dimensions (over 5) are scalar.
reservoir/stride passed
Verify file reservoir/stride2
[CLooG] INFO: 4 dimensions (over 5) are scalar.
reservoir/stride2 passed
--- Testing SPECIAL OPTIONS files...
Verify file vasilache (-f 8 -l 9)
[CLooG] INFO: 5 dimensions (over 9) are scalar.
vasilache passed
Verify file merge (-f -1)
[CLooG] INFO: 1 dimensions (over 2) are scalar.
[CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set
                to the scattering dimension number (target code may have
                duplicated iterations), -l depth has been automaticaly set to
                this value (use option -override to override).
merge passed
Verify file equality (-f -1 -l 2 -override)
[CLooG] WARNING: you are using -override option, be aware that the generated
                code may be incorrect.
equality passed
Verify file equality2 (-f -1 -l 4 -esp 1 -override)
[CLooG] WARNING: you are using -override option, be aware that the generated
                code may be incorrect.
equality2 passed
Verify file otl (-block 1 -esp 0 -otl 0)
otl passed
Verify file param-split (-f -1)
[CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set
                to the scattering dimension number (target code may have
                duplicated iterations), -l depth has been automaticaly set to
                this value (use option -override to override).
param-split passed
Verify file stride (-f -1 -strides 1)
[CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set
                to the scattering dimension number (target code may have
                duplicated iterations), -l depth has been automaticaly set to
                this value (use option -override to override).
stride passed
Verify file stride2 (-f -1 -strides 1)
[CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set
                to the scattering dimension number (target code may have
                duplicated iterations), -l depth has been automaticaly set to
                this value (use option -override to override).
stride2 passed
Verify file sor1d (-f -1)
[CLooG] INFO: 3 dimensions (over 9) are scalar.
[CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set
                to the scattering dimension number (target code may have
                duplicated iterations), -l depth has been automaticaly set to
                this value (use option -override to override).
sor1d passed
CLooG works correctly :-) !

The powerpc-apple-darwin9 builds passes like that as well.
           Jack
Sven Verdoolaege - Jan. 9, 2011, 9:13 a.m.
On Sat, Jan 08, 2011 at 06:52:54PM -0500, Jack Howarth wrote:
> Skimo,
>    Is the isl testsuite contained within cloog? When build entirely at -O3

That would depend on whether you are using the "bundled" isl or a "system" isl.

> with Apple gcc 4.2.1 on x86_64-apple-darwin10, I get...
> 
> make check
> Making check in isl
> Making check in .
> make  check-TESTS
> PASS: isl_test

OK.  Looks good.

skimo

Patch

From dcaf266685cfa86c44ab48de01f7a557c582cf80 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <grosser@fim.uni-passau.de>
Date: Wed, 5 Jan 2011 12:42:16 -0500
Subject: [PATCH]   * doc/install.texi: Document availability of cloog-0.16

---
 gcc/doc/install.texi |   25 ++++++++++++++++---------
 1 files changed, 16 insertions(+), 9 deletions(-)

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index f990b74..ddd64f8 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -340,15 +340,22 @@  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
-
-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}.
-
-The @option{--with-cloog} configure option should be used if CLooG is
+@item CLooG-PPL version 0.15 / 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
+@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/} as
+@file{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
+@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/} as
+@file{cloog-0.16.tar.gz}.  To use it add the additional configure option
+@option{--enable-cloog-backend=isl}.  Even if CLooG 0.16 does not use PPL,  PPL
+is still required for Graphite.
+
+In both cases @option{--with-cloog} configure option should be used if CLooG is
 not installed in your default library search path.
 
 @item @command{jar}, or InfoZIP (@command{zip} and @command{unzip})
-- 
1.7.1