Re: array index checking optimizations?

mad@math.keio.ac.jp (MAEDA Atusi)
3 May 1996 00:01:32 -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)
Re: array index checking optimizations? Patrick.Cousot@ens.fr (Patrick Cousot) (1996-05-08)
| List of all articles for this month |

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


Post a followup to this message

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