# HG changeset patch
# User Josef Eisl <josef.eisl@jku.at>
# Date 1405416930 -7200
# Node ID 1c96b77dcc80a41e54b80a68f8e03a0c20aa37e1
# Parent  79bbd0e9f1c91087fc0f5df73bfd1aa36db71f02
BaselineControlFlowGraph compute dominators and verify.

diff -r 79bbd0e9f1c9 -r 1c96b77dcc80 graal/com.oracle.graal.baseline/src/com/oracle/graal/baseline/BaselineControlFlowGraph.java
--- a/graal/com.oracle.graal.baseline/src/com/oracle/graal/baseline/BaselineControlFlowGraph.java	Tue Jul 15 10:25:40 2014 +0200
+++ b/graal/com.oracle.graal.baseline/src/com/oracle/graal/baseline/BaselineControlFlowGraph.java	Tue Jul 15 11:35:30 2014 +0200
@@ -39,6 +39,10 @@
         try (Scope ds = Debug.scope("BaselineCFG", blockMap)) {
             BaselineControlFlowGraph cfg = new BaselineControlFlowGraph(blockMap);
             cfg.computeLoopInformation(blockMap);
+            AbstractControlFlowGraph.computeDominators(cfg);
+
+            assert CFGVerifier.verify(cfg);
+
             return cfg;
         } catch (Throwable e) {
             throw Debug.handle(e);