[m-rev.] for review: fix equivalence type performance problems

[Fergus Henderson]

On 12-Dec-2003, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Fix excessive memory usage caused by the equiv_type_hlds pass.
> 
> compiler/equiv_type_hlds.m:
> compiler/equiv_type.m:
> 	Maintain sharing in insts in the equiv_type_hlds pass.
> 
> 	Avoid duplicating types and insts which do not contain
> 	equivalence types to expand.  (It should be possible
> 	and may be worthwhile to implement a source to source
> 	transformation to do this sort of thing automatically.
> 	There are plenty of other instances of this in the
> 	compiler and library).
> 
> compiler/make_hlds.m:
> 	Change required by the above.

Those parts are fine.

> compiler/mercury_compile.m:
> 	Re-enable equiv_type_hlds.m.
> 
> tests/hard_coded/Mmakefile:
> 	Re-enable testing of equiv_type_hlds.m.

I would like to see some performance figures for how much
it costs to run this extra pass before we re-enable it.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------