From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-498510-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 45819 invoked by alias); 1 Oct 2015 15:18:35 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 44726 invoked by uid 55); 1 Oct 2015 15:18:31 -0000
From: "spop at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/67754] [graphite] Many testsuite failures
Date: Thu, 01 Oct 2015 15:18:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: spop at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: spop at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-67754-4-oyfVHsLOaZ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-67754-4@http.gcc.gnu.org/bugzilla/>
References: <bug-67754-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-10/txt/msg00065.txt.bz2

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

--- Comment #12 from Sebastian Pop <spop at gcc dot gnu.org> ---
Author: spop
Date: Thu Oct  1 15:17:58 2015
New Revision: 228347

URL: https://gcc.gnu.org/viewcvs?rev=228347&root=gcc&view=rev
Log:
call scev analysis in scop-detection as in sese-to-poly

Before our rewrite of the scop detection, we used to not have a valid SESE
region under hand, and so we used to do more ad-hoc analysis of data references
by trying to prove that at all levels of a loop nest the data references would
be still valid.

Now that we have a valid SESE region, we can call the scev analysis in the same
way on the same computed loop nest in the scop-detection as in the
sese-to-poly.

Next step will be to cache the data references analyzed in the scop detection
and not compute the same info in sese-to-poly.

The patch fixes block-1.f90 that used to ICE on x86_64-linux when compiled with
-m32.  Patch passed bootstrap with BOOT_CFLAGS="-g -O2 -fgraphite-identity
-floop-nest-optimize" and check on x86_64-linux using ISL-0.15.

2015-09-28  Sebastian Pop  <s.pop@samsung.com>
        Aditya Kumar  <aditya.k7@samsung.com>

        PR tree-optimization/67754
        * graphite-scop-detection.c (stmt_has_simple_data_refs_p): Call
        scev analysis on the same loop nest as analyze_drs_in_stmts.
        * graphite-sese-to-poly.c (outermost_loop_in_sese_1): Moved and
renamed...
        (try_generate_gimple_bb): Call outermost_loop_in_sese.
        (analyze_drs_in_stmts): Same.
        * sese.c (outermost_loop_in_sese): ...here.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite-scop-detection.c
    trunk/gcc/graphite-sese-to-poly.c
    trunk/gcc/sese.c