|
CooperDominance
|
Cooper et al.'s algorithm for dominance computation. A Simple, Fast
Dominance Algorithm, SPE 2001.
|
|
CooperDominanceFrontier<'V, 'E>
|
Dominance frontier algorithm presented by Cooper et al. in their paper
"A Simple, Fast Dominance Algorithm", SPE 2001.
|
|
CytronDominanceFrontier<'V, 'E>
|
Dominance frontier algorithm presented by Cytron et al. in their paper
"Efficiently Computing Static Single Assignment Form and the Control
Dependence Graph", TOPLAS 1991.
|
|
DepthBasedSearchDominance
|
Georgiadis et al.'s algorithm for dynamic dominance computation. An
Experimental Study of Dynamic Dominators, ESA 2012.
|
|
IterativeDominance
|
Simplisitic iterative dominance algorithm.
|
|
LengauerTarjanDominance
|
Lengauer-Tarjan dominance algorithm for dominator computation. A fast
algorithm for finding dominators in a flow graph, TOPLAS 1979.
This sofisticated version balances when constructing the ancestor forest.
|
|
SemiNCADominance
|
Semi-NCA algorithm for dominator computation. Finding dominators in
practice, ESA 2004.
|
|
SimpleLengauerTarjanDominance
|
Simple Lengauer-Tarjan dominance algorithm for dominator computation. A fast
algorithm for finding dominators in a flow graph, TOPLAS 1979.
This simple version does not balance when constructing the ancestor forest.
|
B2R2