BlockGraph graph = new EnhancedBlockGraph(body);\r
DominatorsFinder<Block> domFinder = new MHGPostDominatorsFinder<>(graph);\r
for (Block b2: graph.getBlocks()) {\r
- List<Block> nodes = new ArrayList<>(graph.getBlocks());\r
- List<Block> doms = domFinder.getDominators(b2);\r
- nodes.retainAll(doms);\r
- nodes.remove(b2);\r
- for (Block b1: nodes) {\r
- System.out.println(b1.toShortString() + " -> " + b2.toShortString());\r
- }\r
}\r
// DominatorsFinder<Block> domFinder = new MHGDominatorsFinder<>(graph);\r
// DirectedGraph<Block> postDomGraph = domFinder.getGraph();\r