[DomTree] verifyDomTree to unconditionally perform DT verification
authorAdam Nemet <anemet@apple.com>
Wed, 6 May 2015 08:18:41 +0000 (08:18 +0000)
committerAdam Nemet <anemet@apple.com>
Wed, 6 May 2015 08:18:41 +0000 (08:18 +0000)
commit3a1777818d1c7783f3468b6744f6e5ce8bfa3b2b
tree64b22b8ae0e16d8e19050fadb33d50e2afbebf55
parentcaa560cfb9178526bcc13a9b51f5fefa23a0e84a
[DomTree] verifyDomTree to unconditionally perform DT verification

I folded the check for the flag -verify-dom-info into the only caller
where I think it is supposed to be checked: verifyAnalysis.  (The idea
of the flag is to enable this expensive verification in
verifyPreservedAnalysis.)

I'm assuming that when manually scheduling the verification pass
with -passes=verify<domtree>, we do want to perform the verification.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236575 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Dominators.cpp
lib/Transforms/Scalar/PlaceSafepoints.cpp