This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: SSA usage question
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: rth at redhat dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Sun, 6 Jun 04 19:41:01 EDT
- Subject: Re: SSA usage question
Implicit references cannot be put into SSA form, and thus cannot
be put through the tree optimizer at all. QED.
Since SSA talks about *assignments* and the implicit references are all
*uses* I don't understand your "proof" above. Can you say more?
That's what rtl did. I don't see that we're really doing anything
different. Yes, we could do *better* if we figured out *some other*
representation that preserved information longer, but I really don't
believe we'll do significantly worse in the mean time.
No, the RTL structure kept the aliasing and alignment information intact. We
knew which fields two references were to and if they were to different
fields, we knew they couldn't alias. With your proposal, we lose that. We
may be able to preserve some of this information, but it'll be much harder if
we collapse it all away.