Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| [2 earlier articles] |
| 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: | prener@watson.ibm.com (Dan Prener) |
| Newsgroups: | comp.compilers |
| Date: | 3 May 1996 00:04:46 -0400 |
| Organization: | IBM T.J. Watson Research Center, Yorktown, New York |
| References: | 96-04-140 |
| Keywords: | optimize |
Stephen Adams wondered whether any compilers detected that certain
straight-forward array references are safe, so that array indexes need
not be checked.
Our estimed moderator asked whether the pl.8 compiler didn't do
that.
Indeed the pl.8 compiler did do that. This is described in the
paper
Optimization of Range Checking
Victoria Markstein
John Cocke
Peter Markstein
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction
(aka SIGPLAN Notices, v. 17 no. 6, June 1982
The compiler does, in effect, do the "theorem proving" to which
others have referred.
--
Dan Prener (prener@watson.ibm.com)
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.