Re: array index checking optimizations?

ben@sys.toronto.edu (Benjamin Gamsa)
3 May 1996 23:52:28 -0400

          From comp.compilers
Related articles
[3 earlier articles]
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: ben@sys.toronto.edu (Benjamin Gamsa)
Newsgroups: comp.compilers
Date: 3 May 1996 23:52:28 -0400
Organization: DCS, University of Toronto
References: 96-04-140
Keywords: optimize

Stephen Adams <adams@yaroslav.ai.mit.edu> wrote:
>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.


Is it safe to assume that many (most?) compilers will at the least,
reduce checking to loop entry code to verify certain constraints
and/or have multiple versions of a loop depending on run-time values?


ben
--
Ben Gamsa ben@sys.toronto.edu - http://www.cs.toronto.edu/~ben
Dept. of C.S., University of Toronto, Toronto, Ont. CANADA, M5S 1A4
[High end workstation compilers, maybe. PC compilers, doubtful. -John]


--

Post a followup to this message

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