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

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