small changes to dfa/control trees

Hi,


I wrote a data flow analysis library using control trees and interval
analysis and I'd like to add the ability to make small changes to the
basic blocks within the leaf nodes of the tree. Than I want to
recompute the data flow values without recomputing everything. Can I
do the following: Recompute the transfer functions of each basic block
that has changed, then go up the control tree recomputing the transfer
function of each node that's a parent of a node that has a changed
transfer function. If, after recomputing a transfer function, it's the
same as before, there's no need to go any higher. I assume this should
work because transfer function info travels up the control tree. The
next part is recomputing the data flow values. Is it possible to just
recompute the values from the highest node with a changed transfer
function (and everything below it)?


If I'm missing something obvious or there's a better way to do this
please let me know.


Thanks,


Matt

Return to the comp.compilers page.
Search the comp.compilers archives again.