Verifier: Remove the separate -verify-di pass
authorDuncan P. N. Exon Smith <dexonsmith@apple.com>
Thu, 19 Mar 2015 22:24:17 +0000 (22:24 +0000)
committerDuncan P. N. Exon Smith <dexonsmith@apple.com>
Thu, 19 Mar 2015 22:24:17 +0000 (22:24 +0000)
commita60d430e31513a15a381d5af17869223958e3187
tree786ba9bd3d5741af4885a79f08c5614fdeeb8994
parent10f24ca2ada56405f5b13d8acdee9be771f48231
Verifier: Remove the separate -verify-di pass

Remove `DebugInfoVerifierLegacyPass` and the `-verify-di` pass.
Instead, call into the `DebugInfoVerifier` from inside
`VerifierLegacyPass::finalizeModule()`.  This better matches the logic
in `verifyModule()` (used by the new PassManager), avoids requiring two
separate passes to verify the IR, and makes the API for "add a pass to
verify the IR" simple.

Note: the `-verify-debug-info` flag still works (for now, at least;
eventually it might make sense to just remove it).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@232772 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/IR/Verifier.h
include/llvm/InitializePasses.h
lib/CodeGen/Passes.cpp
lib/IR/Verifier.cpp
lib/LTO/LTOCodeGenerator.cpp
lib/Transforms/IPO/PassManagerBuilder.cpp
lib/Transforms/Scalar/Scalar.cpp
tools/bugpoint/CrashDebugger.cpp
tools/llvm-stress/llvm-stress.cpp
tools/opt/opt.cpp