[tree-ssa] RFC: Dropping INDIRECT_REF variables

[Diego Novillo]

On Wed, 2003-05-14 at 12:01, Daniel Berlin wrote:

> As long as the alias/pta info remains, i can do it there.
> I just need to be able to tell aliasing relationships accurately so 
> that i can determine when a store happens that may affect our load.
> We also end up transforming the loads into temporaries through register 
> promotion, so further passes only need to optimize the variables we've 
> temp stored them in.
> 
OK.  Once I have a working patch I will send it your way so that you can
test whether it's still usable for you.


> We can always revisit this decision later if necessary, right?
> It's not like we are making it impossible somehow for it to be 
> implemented later, it's just something we aren't going to deal with at 
> the moment.
> 
Absolutely.  I was thinking that we could even use the expression-SSA
engine in SSAPRE as a way of building the SSA web for INDIRECT_REF
nodes.  That would give passes that want to deal with pointers a
convenient way of building an SSA web just for them.  I was even
thinking of using it for arrays and structures, but that's just a vague
notion I started playing with today.  I'm still not sure if it's even
feasible.


Diego.