[m-rev.] for review: improve trail usage optimization of disjunctions

[Ralph Becket]

Julien Fischer, Wednesday,  7 December 2005:
> 
> For review by anyone.
> 
> Estimated hours taken: 3
> Branches: main
> 
> Further improve trail usage optimization by omitting reset_undo_ticket
> instructions from disjuncts where the previous disjunct did not modify the
> trail.  This can be done even in disjunctions where some of the disjuncts do
> modify the trail.  At the moment this optimization is only implemented
> for the MLDS backend - I'll add it to the lowlevel backend as a separate
> change.

That looks fine.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------