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: Simple Value Range Propagation

From: Andrew Haley <aph at redhat dot com>
To: Daniel Jacobowitz <drow at mvista dot com>
Cc: Josef Zlomek <zlomj9am at artax dot karlin dot mff dot cuni dot cz>, gcc-patches at gcc dot gnu dot org
Date: Mon, 9 Jun 2003 12:23:31 +0100
Subject: Re: Simple Value Range Propagation
References: <20030608202033.GD28080@artax.karlin.mff.cuni.cz><20030608202817.GA6920@nevyn.them.org>

Daniel Jacobowitz writes:
 > On Sun, Jun 08, 2003 at 10:20:33PM +0200, Josef Zlomek wrote:
 > > Hi,
 > > 
 > > this patch contains a simple Value Range Propagation.
 > > It tracks const -> reg and reg -> reg stores,
 > > and also branches, for example:
 > > 
> 
 > Is it really necessary to add new essentially high-level optimizers at
 > the RTL level?  This pass would be quite straightforward on tree-ssa.

I welcome a VRP pass that will suffice until tree-SSA is in the
mainline.  I would like to do bounds checking elimination for Java.

Andrew.

References:
- Simple Value Range Propagation
  - From: Josef Zlomek
- Re: Simple Value Range Propagation
  - From: Daniel Jacobowitz

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