[m-rev.] for review: dupproc.m

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Jul 4 17:40:08 AEST 2005


On Mon, 4 Jul 2005, Zoltan Somogyi wrote:

> For review by anyone.
>
> Add a new LLDS optimization we discussed on thursday: elimination of procedures
> whose code is an exact copy of the code of another mode of the same predicate.
> This happens with in,out vs di,uo and also possibly with in,out vs any,any.
> The new optimization reduces the compiler's code size by 0.6%.
>
Given that most of predicates in the compiler only have one mode that's
hardly suprising.  Do you have the figures for just the standard library?

The diff looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list