Re: array index checking optimizations?

markt@harlequin.co.uk (Mark Tillotson)
1 May 1996 23:18:06 -0400

          From comp.compilers
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)
[1 later articles]
| List of all articles for this month |
From: markt@harlequin.co.uk (Mark Tillotson)
Newsgroups: comp.compilers
Date: 1 May 1996 23:18:06 -0400
Organization: Harlequin Limited, Cambridge, England
References: 96-04-140
Keywords: optimize, bibliography

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


Quite by chance I have this reference on the problem to hand:


Chin, W & Goh, E: `A re-examination of "Optimization of Array
  Subscript Range Checks"',
  TOPLAS March '95, Vol 17 #2, pages 217--227,


and this refers in turn to


Asuru J., `Optimization of Array Subscript Range Checks',
  ACM Lett. Prog. Lang. Syst. 1, 2 (June), 109--118, 1992


and others...


__Mark
[ markt@harlequin.co.uk | http://www.harlequin.co.uk/ | +44 1223 873829 ]
[ homepage http://www.hal.com/services/juggle/home/markt@harlequin.co.uk/ ]
--

Post a followup to this message

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