[m-rev.] diff/for review: last call modulo construction

[Zoltan Somogyi]

On 12-Sep-2005, Peter Ross <pro at missioncriticalit.com> wrote:
> PS I thought one couldn't do this optimization without the aliasing
> information.  Why can we do it now?

By cheating: the transformed HLS is not fully mode correct. This is OK
as long as it doesn't violate the requirements of the code generator.

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