Related articles |
---|
array index checking optimizations? adams@yaroslav.ai.mit.edu (1996-04-29) |
Re: array index checking optimizations? bill@amber.ssd.hcsc.com (1996-04-30) |
Re: array index checking optimizations? kik@zia.cray.com (1996-04-30) |
Re: array index checking optimizations? tmb@best.com (1996-05-01) |
Re: array index checking optimizations? Laurent.Guerby@enst-bretagne.fr (Laurent Guerby) (1996-05-01) |
Re: array index checking optimizations? markt@harlequin.co.uk (1996-05-01) |
array index checking optimizations? dave@occl-cam.demon.co.uk (Dave Lloyd) (1996-05-02) |
Re: array index checking optimizations? mad@math.keio.ac.jp (1996-05-03) |
Re: array index checking optimizations? prener@watson.ibm.com (1996-05-03) |
Re: array index checking optimizations? ben@sys.toronto.edu (1996-05-03) |
Re: array index checking optimizations? dlmoore@ix.netcom.com (1996-05-03) |
Re: array index checking optimizations? tmb@best.com (1996-05-05) |
Re: array index checking optimizations? Patrick.Cousot@ens.fr (Patrick Cousot) (1996-05-08) |
From: | mad@math.keio.ac.jp (MAEDA Atusi) |
Newsgroups: | comp.compilers |
Date: | 3 May 1996 00:01:32 -0400 |
Organization: | Faculty of Sci. and Tech., Keio Univ., Yokohama, Japan. |
References: | 96-04-140 |
Keywords: | analysis, bibliography |
adams@yaroslav.ai.mit.edu (Stephen Adams) writes:
> I am curious if there are any compilers out there that can detect that
> all the array references in the following program are safe, and thus
> no array indexes need to be checked.
Hope this helps.
@article{markstein:82,
title="Optimization of Range Checking",
author="Victoria Markstein and John Cocke and Peter Markstein",
pages="114--119",
journal=sigplan,
year=1982,
month=jun,
volume=17,
number=6,
note={\em Proceedings of the ACM SIGPLAN '82 Symposium on
Compiler Construction}"}
}
> [Didn't the PL.8 compiler optimize this kind of stuff? -John]
If my memory is correct, the article above was description of range
checking optimization of PL.8 compiler.
I don't remember the details (e.g. how fragile, etc), though.
--mad
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.