In mem-ssa, you have VDEF's of the
same symbol all over the place.
version of a symbol
Memory SSA brings down the number of virtual operators to exactly one per
statement.
However, it does so in a way that makes the traditional things that
actually want to do cool memory optimizations, harder.
I'm still on the fence over whether it's a good idea or not.
> verified before we i
A detailed proposal:
So here is what i was thinking of. When i say symbols below, I mean
"some VAR_DECL or structure that has a name" (like our memory tags
do). A symbol is *not* a real variable that occurred in the user
program. When I say "varaible" i mean a variable that occurred in the
use
Zdenek, can you revert your patch until we fix this?
It might be a month or two before i get back to it.
(Yeah, i know it sucks to have to do this, but)
On 6 Nov 2006 15:12:30 -, hjl at lucon dot org
<[EMAIL PROTECTED]> wrote:
--- Comment #14 from hjl at lucon dot org 2006-11-06 15:
