public void LoopFrontiers()
{
var info = new DominatorInfo(LoopGraph.Nodes["1"]);
var frontier = new HashSet <Node>(new[] { LoopGraph.Nodes["2"] });
Assert.Equal(frontier, info.GetDominanceFrontier(LoopGraph.Nodes["2"]));
Assert.Equal(frontier, info.GetDominanceFrontier(LoopGraph.Nodes["3"]));
}
public void IfStatementFrontiers()
{
var cfg = IfStatementGraph;
var info = new DominatorInfo(IfStatementGraph.Nodes["1"]);
var frontier = new HashSet <Node>(new[] { IfStatementGraph.Nodes["4"] });
Assert.Equal(frontier, info.GetDominanceFrontier(IfStatementGraph.Nodes["3"]));
Assert.Equal(frontier, info.GetDominanceFrontier(IfStatementGraph.Nodes["3"]));
}
