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: [tcb] Value Range Propagation

From: Diego Novillo <dnovillo at redhat dot com>
To: Andrew Haley <aph at redhat dot com>
Cc: gcc-patches at gcc dot gnu dot org
Date: Mon, 07 Feb 2005 08:04:05 -0500
Subject: Re: [tcb] Value Range Propagation
Organization: Red Hat Canada
References: <20050203184146.GD743@topo.toronto.redhat.com> <16903.20870.160734.690683@cuddles.cambridge.redhat.com>

Andrew Haley wrote:

Diego Novillo writes:
 > This pass is essentially the same as constant propagation, except
 > that instead of propagating single values, we propagate value
 > ranges.

Thanks, Diego!  I really wanted this in order to get bounds check
elimination working for Java.  I'll see if it does that.

I wouldn't be surprised if it needs a little tweaking. I will be evaluating this and elimination of redundant mudflap instrumentation in the next few days.

Diego.

Follow-Ups:
- Re: [tcb] Value Range Propagation
  - From: Tom Tromey

References:
- [tcb] Value Range Propagation
  - From: Diego Novillo
- Re: [tcb] Value Range Propagation
  - From: Andrew Haley

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