Package sootup.core.graph

Class DominanceFinder

java.lang.Object

sootup.core.graph.DominanceFinder

Direct Known Subclasses:

PostDominanceFinder

public class DominanceFinder
extends Object

Author:

Zun Wang

See Also:

• https://www.researchgate.net/publication/2569680_A_Simple_Fast_Dominance_Algorithm

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	DominanceFinder.AnalysisDirection

Field Summary

Fields

Modifier and Type	Field	Description
protected DominanceFinder.AnalysisDirection	direction

Constructor Summary

Constructors

Modifier	Constructor	Description
	DominanceFinder(StmtGraph<?> blockGraph)
protected	DominanceFinder(StmtGraph<?> blockGraph, DominanceFinder.AnalysisDirection direction)

Method Summary

Modifier and Type	Method	Description
Map<BasicBlock<?>,Integer>	getBlockToIdx()
Set<BasicBlock<?>>	getDominanceFrontiers(BasicBlock<?> block)
List<BasicBlock<?>>	getIdxToBlock()
BasicBlock<?>	getImmediateDominator(BasicBlock<?> block)
int[]	getImmediateDominators()
void	replaceBlock(BasicBlock<?> newBlock, BasicBlock<?> oldBlock)

Methods inherited from class java.lang.Object

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

Field Details

direction

protected DominanceFinder.AnalysisDirection direction

Constructor Details

DominanceFinder

public DominanceFinder(@Nonnull
 StmtGraph<?> blockGraph)

DominanceFinder

protected DominanceFinder(@Nonnull
 StmtGraph<?> blockGraph,
 DominanceFinder.AnalysisDirection direction)

Method Details

replaceBlock

public void replaceBlock(@Nonnull
 BasicBlock<?> newBlock,
 BasicBlock<?> oldBlock)

getImmediateDominator

public BasicBlock<?> getImmediateDominator(@Nonnull
 BasicBlock<?> block)

getDominanceFrontiers

@Nonnull
public Set<BasicBlock<?>> getDominanceFrontiers(@Nonnull
 BasicBlock<?> block)

getIdxToBlock

@Nonnull
public List<BasicBlock<?>> getIdxToBlock()

getBlockToIdx

@Nonnull
public Map<BasicBlock<?>,Integer> getBlockToIdx()

getImmediateDominators

@Nonnull
public int[] getImmediateDominators()