[m-rev.] for review: reserved address data representation (part 3)

[Tyson Dowd]

On 24-Oct-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 24-Oct-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > Allow the compiler to optionally make use of reserved addresses --
> > null pointers, ints cast to pointers, and addresses of global variables --
> > to optimize the representation of constants in discriminated union types.
> > 
> > This will be particularly useful for the .NET and Java back-ends.
> > 
> > There are several parts to this change:
> > 	- compiler support
> > 	- RTTI support
> > 	- fixes for code which makes assumptions that no longer hold
> > 	- optimizing trivial switches in the MLDS back-end
> > 
> > For ease of review, I will post each of these parts separately.
> 
> Branches: main
> Estimated hours taken: 2
> 
> compiler/mlds_to_il.m:
> compiler/mlds.m:
> 	Fix a place in mlds_to_il.m where we were assuming that the
> 	arguments always included a secondary tag; this assumption is
> 	not robust and will be broken by my change to represent
> 	constants in discriminated union types using reserved addresses.
> 	This fix required adding a new boolean field to the `new_object'
> 	instruction to record whether or not the arguments include a
> 	secondary tag.
> 
> compiler/ml_elim_nested.m:
> compiler/ml_unify_gen.m:
> compiler/mlds_to_c.m:
> compiler/mlds_to_gcc.m:
> compiler/mlds_to_il.m:
> compiler/mlds_to_java.m:
> compiler/mlds_to_mcpp.m:
> 	Update to handle the new field of `new_object'.

This looks fine, thanks.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------