[m-rev.] for post-commit review: make zm_eq20.m compile in 2.5s (hlc.gc)

[Julien Fischer]

On Wed, 16 Sep 2009, Zoltan Somogyi wrote:

> Significant further improvements in the worst-case behavior of the compiler
> when working on code such as zm_eq20.m and zm_coerce_tuples.m. On my laptop,
> zm_eq20.m and zm_coerce_tuples.m now compile in 2.5s and 12.9s respectively;
> the times before were 86.4s and 54.0s. The sizes of the stage 110 HLDS dumps
> (the stage just after lambda expansion) go from 8.5Mb and 760Mb (!) to
> just 0.4Mb and 7.4Mb respectively.

I've tried this on a more extensive set of programs that likely to bump
into the above behaviour, namely Zinc's FD/IC evaluation tests (~340
instances).  Prior to this change they took 17m45s, after they run in
8m42s.

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