[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)
commite340f851a34e1df081d1999e95a56331e8555968
tree321e9102e122a07c489161f661680b61ea2867d7
parentf2453a01fb13b337aec87eaa058ba2eb576a9773
[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.

llvm-svn: 236575
llvm/lib/IR/Dominators.cpp
llvm/lib/Transforms/Scalar/PlaceSafepoints.cpp