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

[Ralph Becket]

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.

-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------