[m-dev.] for review: MLDS backend to do structure reuse and compile time gc

[Tyson Dowd]

On 06-Oct-2000, Peter Ross <peter.ross at miscrit.be> wrote:
> 
> mlds.m:
>     Add a new instruction delete_object which is to be inserted
>     whenever a lval can be compile time garbage collected.

> @@ -834,3 +833,3 @@
> -	;	compile_time_gc(mlds__lval)
> -			% Compile time garbage collect the memory used
> -			% by the lval.
> +	;	delete_object(mlds__lval)
> +			% Compile time garbage collect (ie explicitly
> +			% deallocate) the memory used by the lval.

It would be nice if that were

	;	delete_object(mlds__lval, mlds__type)

so we know the type of the lval.  In a typed backend (IL or Java)
it is often important to know the type of something before performing
operations on it -- particularly if you want to generate verifiable
code.

Tyson.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------