[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-12 Thread spop at gcc dot gnu dot org 


--- Comment #11 from spop at gcc dot gnu dot org  2010-02-12 14:54 ---
You need to upgrade your CLooG-PPL to 0.15.8 for this testcase to not fail. 
I've put a comment in the testcase itself for this.

ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-ppl-0.15.8.tar.gz

Sebastian


-- 

spop at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
 Resolution||FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012

[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-11 Thread amonakov at gcc dot gnu dot org 


--- Comment #3 from amonakov at gcc dot gnu dot org  2010-02-11 14:28 
---
(In reply to comment #2)
 Confirming. Reproducible on amd64-linux.
 
 This appears to be a bug in CLooG.  Disable CLooG optimizations on graphite
 branch fixes the bug.  The problem is that CLooG generates wrong bounds for
 parts of strip-mined loop (bounds of the first and the last loops are wrong):

I've sent a CLooG patch.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012

[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-11 Thread rguenth at gcc dot gnu dot org 


--- Comment #4 from rguenth at gcc dot gnu dot org  2010-02-11 16:54 ---
Thus we need a patched CLooG in the infrastructure for 4.5.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012

[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-11 Thread spop at gcc dot gnu dot org 


--- Comment #5 from spop at gcc dot gnu dot org  2010-02-11 17:11 ---
Yes, I'm preparing another release of CLooG-PPL today.

Sebastian


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012

[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-11 Thread spop at gcc dot gnu dot org 


--- Comment #6 from spop at gcc dot gnu dot org  2010-02-11 19:16 ---
You can get the new CLooG-PPL 0.15.8 from
ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-ppl-0.15.8.tar.gz
I will commit the testcase to the Graphite testsuite, and then I will close
this bug.


-- 

spop at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |spop at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED
   Last reconfirmed|2010-02-10 18:41:13 |2010-02-11 19:16:21
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012

[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-11 Thread spop at gcc dot gnu dot org 


--- Comment #7 from spop at gcc dot gnu dot org  2010-02-11 19:19 ---
Subject: Bug 43012

Author: spop
Date: Thu Feb 11 19:19:37 2010
New Revision: 156708

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=156708
Log:
Add testcase for PR43012.

2010-02-11  Sebastian Pop  sebastian@amd.com

PR middle-end/43012
* gcc.dg/graphite/pr43012.c: New.

Added:
branches/graphite/gcc/testsuite/gcc.dg/graphite/pr43012.c
Modified:
branches/graphite/gcc/ChangeLog.graphite


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012

[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-11 Thread spop at gcc dot gnu dot org 


--- Comment #8 from spop at gcc dot gnu dot org  2010-02-11 19:43 ---
Subject: Bug 43012

Author: spop
Date: Thu Feb 11 19:43:14 2010
New Revision: 156716

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=156716
Log:
Add testcase for PR43012.

2010-02-11  Sebastian Pop  sebastian@amd.com

PR middle-end/43012
* gcc.dg/graphite/pr43012.c: New.

Added:
trunk/gcc/testsuite/gcc.dg/graphite/pr43012.c
Modified:
trunk/gcc/ChangeLog.graphite


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012

[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-11 Thread spop at gcc dot gnu dot org 


--- Comment #9 from spop at gcc dot gnu dot org  2010-02-11 19:49 ---
Fixed.


-- 

spop at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012

[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-11 Thread hjl dot tools at gmail dot com 


--- Comment #10 from hjl dot tools at gmail dot com  2010-02-12 01:18 
---
It failed at run-time on Linux/ia32:

FAIL: gcc.dg/graphite/pr43012.c execution test


-- 

hjl dot tools at gmail dot com changed:

   What|Removed |Added

 Status|RESOLVED|REOPENED
 Resolution|FIXED   |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012

[Bug tree-optimization/43012] [4.5 Regression][graphite] wrong code for -floop-strip-mine in 453.povray

2010-02-10 Thread amonakov at gcc dot gnu dot org 


--- Comment #2 from amonakov at gcc dot gnu dot org  2010-02-10 18:41 
---
Confirming. Reproducible on amd64-linux.

This appears to be a bug in CLooG.  Disable CLooG optimizations on graphite
branch fixes the bug.  The problem is that CLooG generates wrong bounds for
parts of strip-mined loop (bounds of the first and the last loops are wrong):

for (scat_3=-51;scat_3=63;scat_3++) {
  S3(scat_3) ;
  S4(scat_3) ;
}
for (scat_3=64;scat_3=76;scat_3++) {
  S3(scat_3) ;
  S6(scat_3) ;
}
for (scat_3=77;scat_3=88;scat_3++) {
  S3(scat_3) ;
  S8(scat_3) ;
}
for (scat_3=89;scat_3=-1;scat_3++) {
  S3(scat_3) ;
}


-- 

amonakov at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||amonakov at gcc dot gnu dot
   ||org
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2010-02-10 18:41:13
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012