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

[Julien Fischer]

On Tue, 13 Dec 2005, Julien Fischer wrote:

> 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.
>
> compiler/disj_gen.m:
> 	Improve the trail usage optimization of disjunctions for the LLDS
> 	backend.
>
> 	Reformat some comments to take advantage of the extra space provided by
> 	the conversion to four-space indentation.
>
> compiler/code_info.m:
> 	Add some utility predicates for use by the above.
>
> compiler/add_trail_ops.m:
> 	Fix a bug where we weren't emitting instructions to prune the trail
> 	ticket in model_semi and model_det disjunctions.
>
> 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.
>

I'm going to commit this.  I'll deal with any review comments post-commit.

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