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

[Nancy]

Julien Fischer wrote:
> 
> 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, 

ok

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

I'm actually considering removing the part about "removing the typeinfo" 
-headvars from the actual headvars.... as it seems it might not be 
needed. So I will not commit these changes yet.

(Just FYI, the compiler generated these errors for procedures such as
"UnusedArgs__pred__loop__inv__Compare...etc..")

In the meantime I will post two other fixes..

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