[m-dev.] for review: specializing comparisons

[Fergus Henderson]

On 01-Nov-2000, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> compiler/unify_proc.m:
> 	Generate specialized comparison predicates for types with less than
> 	four functors. This should speed up comparisons on such types, and
> 	since we can generate a dummy index predicate for such types, should
> 	not increase code size much, or at all. (Avoiding the generation of
> 	index predicates altogether for such types would be much harder
> 	to arrange.)

That change looks fine.  But it would be interesting to know
what effect it had on code size and speed.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------