Displaying 1 result from an estimated 1 matches for "verifydominatortree".
2017 Jul 17
2
An update on the DominatorTree and incremental dominators
...er. You can get it by
calling .getLevel() on a DomTreeNode.
-
We have a new set of verifiers that are able to prove or disprove
correctness of a DomTree -- you can explicitly do it by calling
DT.verify(). The check has a disadvantage of being quite slow (O(n^3)), so
the legacy DT.verifyDominatorTree() uses it only when
ENABLE_EXPENSIVE_CHECK is enabled, or when the -verify-dom-info command
line option is set to 1. Some of the transforms assume that calling
DT.verifyDomTree() is fast, so we cannot turn it on by default.
-
Dominators and Postdominators are now different types, i....