Re: array index checking optimizations?

prener@watson.ibm.com (Dan Prener)
3 May 1996 00:04:46 -0400

          From comp.compilers

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)
| List of all articles for this month |

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)
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.