[m-rev.] for review: Modify the code generator to generate code for constructing terms in region.

[Julien Fischer]

On Fri, 29 Jun 2007, Quan Phan wrote:

> Estimated hours taken: 20.
> Branch: main.
>
> Modify the code generator so that it recognizes construct_in_region and
> generates suitable code when RBMM is used. The main
> changes are in unify_gen.m. incr_hp is also changed to receive one more
> (maybe) argument for region.
>
>
> The region runtime system will be posted in another email.
>
> compiler/code_info.m:
> compiler/var_locn.m:
>        Change in accordance with the introduction of how_to_construct in
> 	unify_gen.m.
>
> compiler/llds.m:
> 	Add one extra argument to incr_hp for the region to construct terms
> 	in.


> compiler/llds_out.m:
> 	Modify so that when RBMM is used it generates suitable call to
> 	the region runtime for allocating terms in regions. The region
> 	runtime (in C code) will be posted in anothe email.
>
> compiler/hlds_data.m:
> 	Fix a typo.
>
> compiler/rbmm.interproc_region_lifetime.m:
> 	Change to comply with coding standard.
>
> compiler/unify_gen.m:
> 	Make it aware of HowToConstruct. This is the starting point of the
> 	changes in the code generator so that it can generate code which
> 	constructs terms in regions.

That looks okay.  Please be sure to bootcheck it in several lowlevel
C grades before committing.

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