SSA Vs unSSA

[Fran Baena]

>  You'd want to avoid translating from tuples back to nested trees.  Instead when
>  expanding from SSA form (ok, let's make that "semi"-SSA form that just keeps
>  the UD chains but gets rid of PHI nodes (and maybe overlapping life ranges))
>  the expander can do expression combining by following the UD chain instead
>  of relying on complex expressions re-constructed by TER.

Sorry, i didn't understand the whole explanation. I think that you are
talking about generation directly from SSA form, without translating
back to GIMPLE, aren't you?

Fran