On Tue, Aug 7, 2012 at 11:52 AM, Richard Guenther <richard.guent...@gmail.com> wrote: > So I wonder why simply looping over all SSA defs in a loop body and checking > whether a use is outside of it is not enough to compute this information ... > (yes, we might end up creating too many loop closed PHIs, namely on all > exits rather than just on those that the name is live over, but ... at > least maybe we can prune it with DOM info)
I've been thinking the same thing, but I don't understand loop-closed SSA form well enough to try and rewrite it along those lines. Ciao! Steven