Mercurial > hg > graal-compiler
changeset 16509:1c96b77dcc80
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);