Zdenek Dvorak <[EMAIL PROTECTED]> writes: > Proposal: > > For each memory reference, we remember the following information: > > -- base of the reference > -- constant offset > -- vector of indices > -- type of the accessed location > -- original tree of the memory reference (or another summary of the > structure of the access, for aliasing purposes) > -- flags > > for each index, we remeber > -- lower and upper bound > -- step > -- value of the index
Sounds promising but I'm concerned about additional memory overhead in the data structures for the common case of pointer dereference when we don't know what the pointer points to. Would it make sense to keep INDIRECT_REF, essentially as a specific space optimization? Ian
