[m-dev.] Re: inlining paper

[Simon Taylor]

On 30-Nov-2006, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> The inlining paper I mentioned the other day was:
> 
> @inproceedings{717859,
> 	author = {Oscar Waddell and R. Kent Dybvig},
> 	title = {Fast and Effective Procedure Inlining},
> 	booktitle = {SAS '97: Proceedings of the 4th International Symposium 
> 	on Static Analysis},
> 	year = {1997},
> 	isbn = {3-540-63468-1},
>  	pages = {35--52},
> 	publisher = {Springer-Verlag},
>         address = {London, UK},
> }

Deforestation already does this sort of speculative inlining, but more
targeted at the sort of optimizations that can result in deforestation
(mainly inlining where the alternative taken in the top level branched
goal is known).  It doesn't inline for the sake of inlining because it
assumes that has already been done by the inlining pass, but it should
be fairly simple to make it do that.  

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------