[m-rev.] for review: [CTGC] structure sharing analysis. (1/3)

[Julien Fischer]

On Tue, 14 Feb 2006, Nancy wrote:

> Hi,
>
> here is the full structure sharing analysis system, meant to be a part of the
> CTGC system. The analysis system is a rewrite of what was once kept in the
> separate reuse-branch of the compiler. Some of the essential routines for
> handling sharing information have been rewritten and will ask some further
> testing, but I wanted to submit this for review so that things can get going.
>
> Some remarks:
> - the system is activated using the compiler option structure-sharing.
> Widening is also implemented, using the option structure-sharing-widening,
> with some integer indicating the threshold.
> - not yet implemented: user annotated structure sharing pragma, to be used
> mainly for annotating pieces of foreign code in the library. That will be a
> separate diff.
>
> I hope I have documented my code sufficiently...
> regards,
> Nancy
>
>

Hi Nancy,

I have had quick look through this and it seems okay - I'll post some more
detailed comments at a later date.  In the meantime, assuming that all of the
CTGC stuff is turned off by default (which seems to be the case) and that the
compiler bootchecks with your changes, it would be best if you commit it as is
and you can deal with any review comments post-commit.

The test cases that are currently failing with the rotd (and that you should
expect to fail when bootchecking) are available from the webpage:

	<http://www.cs.mu.oz.au/research/mercury/download/rotd.html>

Click on the link labeled: "Failing test cases for the current ROTD".

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