Begin sketching out a bitcode verifier pass. Idea is to emit a .bc file and

then read the file back in to verify use-list serialization/deserialization.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@146439 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chad Rosier
2011-12-12 22:57:31 +00:00
parent 86d34100cf
commit b3025864e5
2 changed files with 60 additions and 2 deletions

View File

@ -60,8 +60,12 @@ namespace llvm {
/// createBitcodeWriterPass - Create and return a pass that writes the module
/// to the specified ostream.
ModulePass *createBitcodeWriterPass(raw_ostream &Str);
/// createBitcodeVerifierPass - Create a pass that writes a module to disk and
/// then reads the module back in to verify bitcode serialization and
/// deserialization.
ModulePass *createBitcodeVerifierPass(raw_ostream &Str);
/// isBitcodeWrapper - Return true if the given bytes are the magic bytes
/// for an LLVM IR bitcode wrapper.
///