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"])); }