This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH 2/2] call scev analysis in scop-detection as in sese-to-poly

From: Tobias Grosser <tobias at grosser dot es>
To: Sebastian Pop <s dot pop at samsung dot com>, gcc-patches at gcc dot gnu dot org
Cc: sebpop at gmail dot com, aditya dot k7 at samsung dot com, richard dot guenther at gmail dot com
Date: Thu, 01 Oct 2015 10:00:44 +0200
Subject: Re: [PATCH 2/2] call scev analysis in scop-detection as in sese-to-poly
Authentication-results: sourceware.org; auth=none
References: <1443651097-407-1-git-send-email-s dot pop at samsung dot com> <1443651097-407-2-git-send-email-s dot pop at samsung dot com>

On 10/01/2015 12:11 AM, Sebastian Pop wrote:

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.


Nice.

Tobias

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]