[mercury-users] Optimisations

[Julien Fischer]

On Wed, 3 May 2006, Michael Day wrote:

>
> Hi Julien,
>
> > The best place to look would be in the compiler/options.m.
> > Search for the predicate opt_level/3.
>
> The comments say this:
>

Most of these comments look fairly out-of-date.

> %   type_specialization:
> %       XXX why not?

I'm not sure about that one.

> %   introduce_accumulators:
> %       XXX Disabled until a bug in extras/trailed_update/var.m
> %       is resolved.

I'm pretty sure that bug was fixed back in 2000.  I think the current
reason for it being disabled is that it sometimes causes slowdowns.

> %   optimize_constructor_last_call:
> %       Not implemented yet.
> Any clarification on the XXX comments? Also, the man page seems to
> indicate that --optimize-constructor-last-call is in fact implemented?

It is implemented.  IIRC it's not enabled by default because it was
causing slowdowns at higher optimization levels (at least on the Mercury
compiler itself.)

Julien.

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------