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...? Ciao! Steven