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