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: [RFC][IPA-VRP] Early VRP Implementation

From: Jeff Law <law at redhat dot com>
To: Andrew Pinski <pinskia at gmail dot com>, kugan <kugan dot vivekanandarajah at linaro dot org>
Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Richard Biener <richard dot guenther at gmail dot com>, Jan Hubicka <hubicka at ucw dot cz>, Martin Jambor <mjambor at suse dot cz>
Date: Tue, 19 Jul 2016 10:19:23 -0600
Subject: Re: [RFC][IPA-VRP] Early VRP Implementation
Authentication-results: sourceware.org; auth=none
References: <57886949.8010300@linaro.org> <57886A71.6030103@linaro.org> <CA+=Sn1mYiB-xs=1H0rR_FxyUP0AaXS410C=+jyGu7MHDgsVOjg@mail.gmail.com>

On 07/14/2016 10:52 PM, Andrew Pinski wrote:

On Thu, Jul 14, 2016 at 9:45 PM, kugan
<kugan.vivekanandarajah@linaro.org> wrote:


Hi,



This patch adds a very simple early vrp implementation. This visits the
basic blocks in the dominance order and set the Value Ranges (VR) for

SSA_NAMEs in the scope. Use this VR to discover more VRs. Restore the old VR
once the scope is exit.



Why separate out early VRP from tree-vrp?  Just a little curious.

I wouldn't mind seeing tree-vrp broken down a little -- it's quite largeand there's at least 4 distinct things going on in that file.


1. ASSERT_EXPR handling.

2. Arithmetic on ranges

3. Propagation engine setup, callbacks, etc

4. Range management

There may be others, but it seems at least some of that ought to befactored out.


Jeff

Follow-Ups:
- Re: [RFC][IPA-VRP] Early VRP Implementation
  - From: Richard Biener

References:
- [RFC][IPA-VRP] IPA VRP Implementation
  - From: kugan
- [RFC][IPA-VRP] Early VRP Implementation
  - From: kugan
- Re: [RFC][IPA-VRP] Early VRP Implementation
  - From: Andrew Pinski

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