[m-rev.] for review: [CTGC] 2 bugfixes obtaining a working CTGC system

[Julien Fischer]

On Thu, 12 Oct 2006, Nancy wrote:

> Julien Fischer wrote:
>> 
>> On Mon, 9 Oct 2006, Nancy Mazur wrote:
>> 
>>> - problem with the mmake-sequence of doing structure reuse, intermodule
>>>  optimization, and generating trans-opts. When MCFLAGS contains the
>>>  combination of the options --structure-reuse --intermodule-optimization
>>>  and --make-trans-opt, then the compile-to-c stage will halt after 
>>> generating
>>>  the trans-opts again. So what should the options be, taking into account
>>>  that structure reuse analysis will be needed in every mmake-phase of a
>>>  set of modules. It is needed when generating the trans-opts, and it is
>>>  again needed when generating the resulting C files;
>> 
>> s/--make-tans-opt/--trans-intermod-opt/
>> 
>> Specifying --make-trans-opt will cause the compiler to finish execution
>> after it has created the .trans_opt file - what you actually want to do
>> is tell the compiler to use transitive intermodule optimization, i.e.
>> generate the .trans_opt files *and* use them to generate the C code.
>> That's what --trans-intermod-opt does.
>
> Ok, thanks!
>
> I assume I may commit the changes?

The change to structure_resuse.versions is fine, the one to
structure_reuse.indirect should at the very least have an XXX comment
in the source code.  Do you know which compiler generated predicates
are causing the problem?

Julien.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------