Class DominatorTree

java.lang.Object

de.mirkosertic.bytecoder.core.backend.sequencer.DominatorTree

public class DominatorTree
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private final Graph	graph
private final Map<ControlTokenConsumer, ControlTokenConsumer>	idom
private final List<ControlTokenConsumer>	preOrder
private final List<ControlTokenConsumer>	rpo

Constructor Summary

Constructors

Constructor	Description
DominatorTree(Graph graph)

Method Summary

Modifier and Type	Method	Description
private void	addToDomSet(ControlTokenConsumer n, Set<ControlTokenConsumer> domset)
private void	computeDominators()
private void	computeRPO(ControlTokenConsumer consumer)
private void	computeRPO(ControlTokenConsumer current, List<ControlTokenConsumer> finished, Set<ControlTokenConsumer> visited)
boolean	dominates(ControlTokenConsumer dominator, ControlTokenConsumer dominated)	Check wheter a node dominates another one.
Set<ControlTokenConsumer>	domSetOf(ControlTokenConsumer n)
ControlTokenConsumer	getIDom(ControlTokenConsumer node)
List<ControlTokenConsumer>	getPreOrder()
List<ControlTokenConsumer>	getRpo()
Set<ControlTokenConsumer>	getStrictDominators(ControlTokenConsumer n)
Set<ControlTokenConsumer>	immediatelyDominatedNodesOf(ControlTokenConsumer n)
private ControlTokenConsumer	intersectIDoms(ControlTokenConsumer v1, ControlTokenConsumer v2)
void	writeDebugTo(OutputStream fileOutputStream)
void	writeDebugTo(OutputStream fileOutputStream, ControlTokenConsumer sourceHighlight, Set<ControlTokenConsumer> destHighlight)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

graph

private final Graph graph

preOrder

private final List<ControlTokenConsumer> preOrder

idom

private final Map<ControlTokenConsumer, ControlTokenConsumer> idom

rpo

private final List<ControlTokenConsumer> rpo

Constructor Details

DominatorTree

public DominatorTree(Graph graph)

Method Details

computeRPO

private void computeRPO(ControlTokenConsumer consumer)

computeRPO

private void computeRPO(ControlTokenConsumer current,
 List<ControlTokenConsumer> finished,
 Set<ControlTokenConsumer> visited)

getPreOrder

public List<ControlTokenConsumer> getPreOrder()

getRpo

public List<ControlTokenConsumer> getRpo()

computeDominators

private void computeDominators()

getIDom

public ControlTokenConsumer getIDom(ControlTokenConsumer node)

intersectIDoms

private ControlTokenConsumer intersectIDoms(ControlTokenConsumer v1,
 ControlTokenConsumer v2)

dominates

public boolean dominates(ControlTokenConsumer dominator,
 ControlTokenConsumer dominated)

Check wheter a node dominates another one.

Parameters:

dominator -

dominated -

Returns:

true, if dominator dominates dominated w.r.t to the entry node

getStrictDominators

public Set<ControlTokenConsumer> getStrictDominators(ControlTokenConsumer n)

immediatelyDominatedNodesOf

public Set<ControlTokenConsumer> immediatelyDominatedNodesOf(ControlTokenConsumer n)

domSetOf

public Set<ControlTokenConsumer> domSetOf(ControlTokenConsumer n)

addToDomSet

private void addToDomSet(ControlTokenConsumer n,
 Set<ControlTokenConsumer> domset)

writeDebugTo

public void writeDebugTo(OutputStream fileOutputStream)

writeDebugTo

public void writeDebugTo(OutputStream fileOutputStream,
 ControlTokenConsumer sourceHighlight,
 Set<ControlTokenConsumer> destHighlight)