[m-rev.] for review: --use-atomic-cells

[Julien Fischer]

On Fri, 18 Aug 2006, Zoltan Somogyi wrote:

> runtime/mercury_heap.h:
> 	Define atomic equivalents of the few heap allocation macros
> 	that didn't already have one. These macros are used by the LLDS
> 	backend.
>
> runtime/mercury.h:
> 	Define an atomic equivalent of the MR_new_object macro.
> 	These macros are used by the MLDS backend.
>
> 	Use MR_new_object_atomic instead of MR_new_object to box floats.
>
> compiler/hlds_data.m:
> compiler/llds.m:
> compiler/mlds.m:
> 	Modify the representations of the heap allocations constructs
> 	to include a flag that says whether we should use the atomic variants
> 	of the heap allocation macros.
>
> compiler/llds_out.m:
> compiler/mlds_to_c.m:
> 	Respect this extract flag when emitting C code.
>
> 	In mlds_to_c.m, also add some white space that makes the code easier
> 	for humans to read.
>
> compiler/type_util.m:
> 	Add a mechanism for finding out whether we can put a value of a given
> 	type into an atomic cell.
>
> 	Put the definitions of functions and predicates in this module
> 	in the same order as their declarations.
>
> 	Turn some predicates into functions. Change the argument order of
> 	some predicates to conform to our usual conventions.
>
> compiler/unify_gen.m:
> compiler/ml_unify_gen.m:
> 	Use the new mechanism in type_util.m to generate code that creates
> 	atomic heap cells if this is possible and is requested.
>
> compiler/code_info.m:
> compiler/var_locn.m:
> 	Act on the information provided by unify_gen.m.
>
> compiler/options.m:
> doc/user_guide.texi:
> 	Add an option to control whether the compiler should try to use
> 	atomic cells.
>

...

That looks okay.

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