[Bug tree-optimization/43065] [4.5 Regression] gcc.c-torture/execute/20051215-1.c is miscompiled with -fgraphite-identity

[spop at gcc dot gnu dot org]

------- Comment #4 from spop at gcc dot gnu dot org  2010-03-05 22:58 -------
Hi Reza,

In the Graphite branch, we insert in the scop context the bounds on the
parameter kk due to the type of kk:

(gdb) p debug_scop_context (scop)
context (
#  eq     p0    cst
2 3
    1     -1   4294967295  
    1      1      0  
)

and then we end up on generating the following CLAST:

(gdb) p debug_clast_stmt (pc.stmt)
for (scat_1=0;scat_1<=999;scat_1++) {
  S3(scat_1) ;
  if (T_7 >= 1) {
    S4(scat_1) ;
  }
  S5(scat_1) ;
}
S7() ;

Your reduced case is fixed in the Graphite branch and still fails in trunk:
I will have to merge this change to trunk and I will add your reduced testcase:

commit 67570f6e8a33ff312098b7cca6e4bc5638cf6f7e
Author: spop <s...@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Tue Feb 23 13:31:26 2010 +0000

    Add constraints on the type of parameters to the scop context.

    2010-02-23  Sebastian Pop  <sebastian....@amd.com>

        * graphite-sese-to-poly.c (add_param_constraints): Enabled: remove
        early return.

    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graph...@157002
138bc75d-0d04-0410-961f-82ee72b054a4


For the original testcase, gcc.c-torture/execute/20051215-1.c 
I still see that it is miscompiled in the Graphite branch and in trunk.

Sebastian


-- 


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