search for: deletearc

...remental algorithm that allows to keep (post)dominator tree up to date as CFG changes. To achieve that, we would implement the dynamic depth based search algorithm (DBS) described in this paper [1] <https://arxiv.org/pdf/1604.02711.pdf> and expose 2 main new functions: insertArc(From, To) and deleteArc(From, To). The algorithm uses SemiNCA under the hood which would replace Lengauer-Tarjan implementation currently used. The second part of the proposal is to gradually deprecate and remove the existing API for manually manipulating dominator tree (changeImmediateDominator, addNewBlock) and replace...

...to keep (post)dominator tree up to date as CFG changes. To achieve > > that, we would implement the dynamic depth based search algorithm (DBS) > > described in this paper [1] <https://arxiv.org/pdf/1604.02711.pdf> and > > expose 2 main new functions: insertArc(From, To) and deleteArc(From, To). > > The algorithm uses SemiNCA under the hood which would replace > > Lengauer-Tarjan implementation currently used. > > > > The second part of the proposal is to gradually deprecate and remove the > > existing API for manually manipulating dominator tree &g...