This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Value Range Propagation Pass Status
- To: John Wehle <john at feith dot com>
- Subject: Re: Value Range Propagation Pass Status
- From: Anthony Green <green at cygnus dot com>
- Date: 03 Feb 2000 19:57:23 -0800
- CC: gcc at gcc dot gnu dot org
- References: <200002040035.TAA22792@jwlab.FEITH.COM>
John wrote:
> I've been working on a pass (when time has allowed :-) to track
> and make use of value ranges associated with pseudo registers.
This is great. We can make immediate use of this in gcj to
eliminate some array bounds checking.
Also, can we use this to ask at anytime whether or not we know a
specific pseudo cannot be 0? This will help us do a better job of
dealing with certain exceptions in gcj.
AG
--
Anthony Green Red Hat
Sunnyvale, California