On Sat, Apr 23, 2005 at 07:18:22PM +0200, Martin Koegler wrote:
> For implementing the type attributes, I propose:
> Add the field "tree type;" to "struct mem_attrs". This field holds the type, 
> if present,
> or 0, if no type information is available.
> 
> To access it, I propose:
> #define MEM_TYPE(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->type)

I'd prefer that there be a flags field, akin to SYMBOL_REF_FLAGS.
You're going to have to check this property quite often; I'd rather
the data be cached somewhere easy to get at, rather than burried in
some data structure 4 levels removed.

The flags field of the mem could be initialized by a target function
that receives the decl or type, as received by set_mem_attributes.

> *What to do, if the reload pass copy the REG_EXPR to a
> MEM_EXPR (set_mem_attrs_from_reg)?

I would expect you to do nothing.



r~

Reply via email to