On Tue, Aug 7, 2012 at 11:58 AM, Steven Bosscher <stevenb....@gmail.com> wrote: > 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.
I've put it on my TODO to look into. Richard. > Ciao! > Steven