On Mon, Aug 22, 2011 at 07:49:43PM +0200, Steven Bosscher wrote: > On Mon, Aug 22, 2011 at 1:54 PM, Jakub Jelinek <ja...@redhat.com> wrote: > >> * From a very wide field of view, all this DF solving reminded me a > >> lot of what I've seen in df-*.c. Why can't variable tracking be > >> integrated in the main DF pass of the compiler, the one that happens > >> *after* register allocation? > > > > I don't think there is any significant overlap. Yes, var-tracking is a data > > flow algorithm, but the code that does that is just a few lines, the big > > part is how the merges are done and how the tracking propagates through a > > basic block, and that has nothing in common with df-*.c. > > But perhaps with the DF solver fewer blocks are visited...?
Or perhaps more. Who knows. Jakub