From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 5809 invoked by alias); 1 Oct 2015 08:00:51 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 5791 invoked by uid 89); 1 Oct 2015 08:00:50 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.8 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_LOW,RCVD_IN_SORBS_WEB autolearn=ham version=3.3.2 X-HELO: out1-smtp.messagingengine.com Received: from out1-smtp.messagingengine.com (HELO out1-smtp.messagingengine.com) (66.111.4.25) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Thu, 01 Oct 2015 08:00:48 +0000 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id D3C2C20665 for ; Thu, 1 Oct 2015 04:00:46 -0400 (EDT) Received: from frontend1 ([10.202.2.160]) by compute1.internal (MEProxy); Thu, 01 Oct 2015 04:00:46 -0400 Received: from [192.168.1.168] (unknown [37.189.172.78]) by mail.messagingengine.com (Postfix) with ESMTPA id 41906C0001A; Thu, 1 Oct 2015 04:00:45 -0400 (EDT) Message-ID: <560CE82C.7010703@grosser.es> Date: Thu, 01 Oct 2015 08:00:00 -0000 From: Tobias Grosser User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 MIME-Version: 1.0 To: Sebastian Pop , gcc-patches@gcc.gnu.org CC: sebpop@gmail.com, aditya.k7@samsung.com, richard.guenther@gmail.com Subject: Re: [PATCH 2/2] call scev analysis in scop-detection as in sese-to-poly References: <1443651097-407-1-git-send-email-s.pop@samsung.com> <1443651097-407-2-git-send-email-s.pop@samsung.com> In-Reply-To: <1443651097-407-2-git-send-email-s.pop@samsung.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2015-10/txt/msg00013.txt.bz2 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