| commit | 7c35de124abd754b8e98f67be848a37c0b8d975e | [log] [tgz] |
|---|---|---|
| author | David Green <david.green@arm.com> | Wed Feb 28 11:00:08 2018 +0000 |
| committer | David Green <david.green@arm.com> | Wed Feb 28 11:00:08 2018 +0000 |
| tree | 11f0b4013f548bc9ff1243cadb7429a0e64b671f | |
| parent | a94a4308e1bccddfa76d7836ad6c2ddf401caa09 [diff] |
[Dominators] Remove verifyDomTree and add some verifying for Post Dom Trees Removes verifyDomTree, using assert(verify()) everywhere instead, and changes verify a little to always run IsSameAsFreshTree first in order to print good output when we find errors. Also adds verifyAnalysis for PostDomTrees, which will allow checking of PostDomTrees it the same way we check DomTrees and MachineDomTrees. Differential Revision: https://reviews.llvm.org/D41298 llvm-svn: 326315