[m-rev.] for review: optimize successive field updates

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed May 18 13:34:52 AEST 2005

On 17-May-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> Are you planning to merge this onto the release branch?  If not, can you
> let me know and I'll do it as this is something that should definitely
> be included.

It won't be trivial, due to the change from "some" goals to "scope" since
the branch. If you want to do it, go ahead. I have left the diffs with and
without -b in ~zs/tmp/DIFF.simplify.*.

> > 	too conservative. The concern about increasing the set of output
> > 	variables of an existentially quantified scope is now addressed
> > 	only when simplify__goal_2 when processing scope goals, not in two
> > 	places (redundantly) as before.
> >
> That last sentence doesn't parse well.

s/only when/only in/

> That looks fine.  Do you know if fixing this problem has had any impact
> on the performance of the compiler itself?

The executable is 0.3% smaller than before. I haven't measured times,
but it is likely that any difference is in the same ballpark.

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