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

[Fergus Henderson]

On 09-Oct-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> On 06-Oct-2000, Peter Ross <peter.ross at miscrit.be> wrote:
> > 
> > +	;	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.

Yes, I agree with that.  The MLDS is (since we did the IL port)
supposed to be designed in such a way that you can figure out the
type for each rval or lval just by looking at the instruction
that uses it.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------