[Bug tree-optimization/67700] [graphite] miscompile due to wrong codegen

[spop at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67700

--- Comment #2 from Sebastian Pop <spop at gcc dot gnu.org> ---
Author: spop
Date: Mon Sep 28 17:29:59 2015
New Revision: 228214

URL: https://gcc.gnu.org/viewcvs?rev=228214&root=gcc&view=rev
Log:
fix PR67700

The patch makes the detection of scop parameters in parameter_index_in_region a
bit more conservative by discarding scalar variables defined in function of
data
references defined in the scop.

2015-09-25  Aditya Kumar  <aditya...@samsung.com>
                Sebastian Pop  <s....@samsung.com>

                PR tree-optimization/67700
                * graphite-sese-to-poly.c (parameter_index_in_region): Call
                invariant_in_sese_p_rec.
                (extract_affine): Same.
                (rewrite_cross_bb_scalar_deps): Call update_ssa.
                * sese.c (invariant_in_sese_p_rec): Export.  Handle vdefs and
vuses.
                * sese.h (invariant_in_sese_p_rec): Declare.

                * testsuite/gcc.dg/graphite/run-id-pr67700.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/run-id-pr67700.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite-sese-to-poly.c
    trunk/gcc/sese.c
    trunk/gcc/sese.h
    trunk/gcc/testsuite/ChangeLog