> 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