This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PPL-devel] Cloog and PPL 0.10
- From: Jack Howarth <howarth at bromo dot msbb dot uc dot edu>
- To: Sebastian Pop <sebpop at gmail dot com>
- Cc: Roberto Bagnara <bagnara at cs dot unipr dot it>, Paolo Bonzini <bonzini at gnu dot org>, "Jagasia, Harsha" <harsha dot jagasia at amd dot com>, "Harle, Christophe" <christophe dot harle at amd dot com>, Jan Sjodin <Jan dot Sjodin at amd dot com>, Albert Cohen <Albert dot Cohen at inria dot fr>, Cédric Bastoul <cedric dot bastoul at inria dot fr>, "The Parma Polyhedra Library developers' list" <ppl-devel at cs dot unipr dot it>, GCC Patches <gcc-patches at gcc dot gnu dot org>, "rajagopal, dwarak" <dwarak dot rajagopal at amd dot com>, Sven Verdoolaege <skimo at kotnet dot org>
- Date: Thu, 21 Aug 2008 15:29:29 -0400
- Subject: Re: [PPL-devel] Cloog and PPL 0.10
- References: <489549F5.6000703@cs.unipr.it> <cb9d34b20808031043r75a94c4fvfa653cd11367b62e@mail.gmail.com> <48A58B9E.4080808@cs.unipr.it> <48A58E6D.9070100@cs.unipr.it> <cb9d34b20808200952m45fa1623tf19fa7b3f331a049@mail.gmail.com> <cb9d34b20808201115tbbb7f27g76b53359d55859ba@mail.gmail.com> <48AD6BA2.1060308@gnu.org> <20080821133323.GA16092@bromo.msbb.uc.edu> <48ADA154.1030904@cs.unipr.it> <cb9d34b20808211040m67f928bdhd688b2770a6e5745@mail.gmail.com>
On Thu, Aug 21, 2008 at 12:40:08PM -0500, Sebastian Pop wrote:
> On Thu, Aug 21, 2008 at 12:09 PM, Roberto Bagnara <bagnara@cs.unipr.it> wrote:
> > I don't know if the reason of this was the lack of a simplification
> > operation in the PPL. This has now be implemented and is available
> > in the snapshot
> >
> > ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ppl-0.10pre23.tar.bz2
>
> Excellent! Many thanks Roberto for this quick fix ;-) I'm going to
> modify CLooG to call this function and see what happens to CLooG's
> testsuite.
>
> Sebastian
Sebastian,
Are there options in graphite to dump the loop optimization details
for each loop detected; similar to how vectorization will report...
a.f90:8: note: not vectorized: data ref analysis failed D.1462_61 =
(*aa_60(D))[D.1461_59]
for code like...
subroutine sub(aa,bb,n,m)
implicit none
integer, intent(in) :: n,m
real, intent(inout) :: aa(n,m)
real, intent(in) :: bb(n,m)
integer :: i,j
do i = 1,m
do j= 2,n
aa(i,j)= aa(i,j-1)+bb(i,j-1)
enddo
enddo
do j= 2,n
do i = 1,m
aa(i,j)= aa(i,j-1)+bb(i,j-1)
enddo
enddo
end subroutine
that can't currently be vectorized.
Jack