[m-rev.] for review: improve trail usage optimization for LLDS backend

[Julien Fischer]

On Thu, 15 Dec 2005, Ralph Becket wrote:

> Julien Fischer, Tuesday, 13 December 2005:
> >
> > For review by Ralph or Mark.
> >
> > Estimated hours taken: 6
> > Branches: main
> >
> > Improve trail usage optimization of disjunctions for the LLDS backend.
> >
> > Fix a bug in my previous change which implemented this for the MLDS backend.
>
> That all looks fine.
>
>
> > compiler/handle_options.m:
> > 	`--analyse-trail-usage' implies `--optimize-trail-usage' because the
> > 	analysis results assume that the redundant trailing instructions are
> > 	removed.  The reverse implication is not true but trying to optimize
> > 	trail usage without running the analysis won't have any effect.
>
> In that case I think --optimize-trail-usage should imply
> --analyse-trail-usage - if I turn on an optimization, I shouldn't be
> expected to know that it also requires me to turn on the necessary
> analysis.
>
--optimize-trail-usage will become a developer-only option, so end
users won't need to know about it.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------