Displaying 2 results from an estimated 2 matches for "insertarc".
2017 Jun 13
9
RFC: Dynamic dominators
...e dominators use the incremental 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,...
2017 Jun 13
2
RFC: Dynamic dominators
...hm 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 manipu...