What to remove after tree-ssa is merged?

[Michael Matz]

Hi,

On Wed, 4 Feb 2004, Richard Kenner wrote:

> But I don't see how to eliminate the usage in (2).  So the node can't be
> eliminated.

The question (to me) is, what purpose does it have inside types?  Is it
just for describing the type accurately, and ultimately only to decide
sameness of types.  In that case a frontend dependend type_equal_p would
help.

Or are P_E in types also used to actually influence code generation 
(instead of P_E just in expressions/statements).  And in that case: why is 
this so, and why are P_E in statements not usable for this?

FWIW I know that you indeed need this treecode somewhere, it's just the
question if it needs to be in GIMPLE, and hence has to be handled by the
middle end, or if it can be isolated to the frontend.


Ciao,
Michael.