This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Need advice on bounds checking approaches
- To: Greg McGary <gkm at eng dot ascend dot com>
- Subject: Re: Need advice on bounds checking approaches
- From: Jamie Lokier <jamie dot lokier at cern dot ch>
- Date: Sat, 25 Mar 2000 02:27:02 +0100
- Cc: law at cygnus dot com, Joern Rennecke <amylaar at cygnus dot co dot uk>, gcc at gcc dot gnu dot org
- References: <22486.953942953@upchuck> <msvh2byiu2.fsf@gkm-dsl-194.ascend.com>
Greg McGary wrote:
> > We have kicked around the idea of two levels of RTL where we do some
> > optimizations on the higher level RTL, then drop down to a lower level
> > RTL.
>
> Perhaps I could do that in a limited way, by adding a BP-specific
> optimization pass after loop optimization that eliminates redundant
> checks and expands "check_bounds" into primitive RTL for targets that
> don't HAVE_check_bounds. Could that pass muster?
The general idea works ok for constant_p. But that is removed
relatively early.
-- Jamie