Mercurial > hg > truffle

changeset 16509:1c96b77dcc80

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
BaselineControlFlowGraph compute dominators and verify.
author Josef Eisl <josef.eisl@jku.at>
date Tue, 15 Jul 2014 11:35:30 +0200
parents 79bbd0e9f1c9
children b0ea5c266655
files graal/com.oracle.graal.baseline/src/com/oracle/graal/baseline/BaselineControlFlowGraph.java
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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);