[m-rev.] For review: Filling in rbmm_goal_info field in goal_info

[Julien Fischer]

On Thu, 6 Sep 2007, Quan Phan wrote:

> Estimated hours taken: 15h.
> Branch: main.
>
> Implement a pass to fill in the rbmm_goal_info field in the goal_info
> data structure. (Zoltan added this field several days ago.) This piece of
> information will be used by the code generator to optimize the runtime support
> needed for region-based memory management. It would be too much to describe
> how the information will be used here. I am writing up the runtime support
> needed for RBMM as the whole, which should include the explanation for this.
>
> compiler/rbmm.add_rbmm_goal_infos.m:
> 	New file that contains the implementation of the pass.
>
> compiler/hlds_goal.m:
> 	Add a function that initialize the rbmm_goal_info.
>
> compiler/hlds_out.m:
> 	Add an option, 'e' to --dump-hlds-options to print out rbmm_goal_info.
>
> compiler/rbmm.m:
> 	Include the new module and call the analysis.
>
> compiler/rbmm.actual_region_arguments.m:
> 	Change the data structure that represents actual region arguments to
> 	have there separate lists for constant (carried), input (removed), and
> 	output (created) regions.
>
> compiler/type_util.m:
> 	Add a predicate that check whether the terms of a type will be stored
> 	in regions or not. This predicate must be consistent with the process
> 	of generating allocations in unify_gen.m.
>
> compiler/rbmm.interproc_region_lifetime.m:
> 	Change to use the new predicate in type_util.m.
>
> compiler/rbmm.region_transformation.m:
> 	Change to conform to the change in actual_region_arguments.m.
> 	Change to use the new predicate in type_util.m
>
> doc/user_guide.texi:
> 	Document the new option for --dump-hlds-options.
> 	Provide the missing description for the existing option 'R'.

That looks fine.

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