verify-di: Implement DebugInfoVerifier

Press ? to show keyboard shortcuts.
Committed
dexonsmithApr 15 2014, 9:27 AM
Parents
rL206299: verify-di: split out VerifierSupport
Branches
Unknown
Tags
Unknown
Description

verify-di: Implement DebugInfoVerifier

Implement DebugInfoVerifier, which steals verification relying on
DebugInfoFinder from Verifier.

  • Adds LegacyDebugInfoVerifierPassPass, a ModulePass which wraps DebugInfoVerifier. Uses -verify-di command-line flag.
  • Change verifyModule() to invoke DebugInfoVerifier as well as Verifier.
  • Add a call to createDebugInfoVerifierPass() wherever there was a call to createVerifierPass().

This implementation as a module pass should sidestep efficiency issues,
allowing us to turn debug info verification back on.

rdar://problem/15500563

rL206300

llvm/trunk/include/llvm/IR/Verifier.h

Loading...

llvm/trunk/include/llvm/InitializePasses.h

Loading...

llvm/trunk/lib/CodeGen/Passes.cpp

Loading...

llvm/trunk/lib/IR/Verifier.cpp

Loading...

llvm/trunk/lib/LTO/LTOCodeGenerator.cpp

Loading...

llvm/trunk/lib/Transforms/Scalar/Scalar.cpp

Loading...

llvm/trunk/tools/bugpoint/CrashDebugger.cpp

Loading...

llvm/trunk/tools/llvm-stress/llvm-stress.cpp

Loading...

llvm/trunk/tools/opt/opt.cpp

Loading...

llvm/trunk/unittests/Bitcode/BitReaderTest.cpp

Loading...

Add Comment