21 #ifndef LLVM_IR_VERIFIER_H
22 #define LLVM_IR_VERIFIER_H
33 class PreservedAnalyses;
49 bool verifyModule(
const Module &M, raw_ostream *OS =
nullptr);
67 explicit VerifierPass(
bool FatalErrors =
true) : FatalErrors(FatalErrors) {}
A Module instance is used to store all the information related to an LLVM module. ...
FunctionPass * createVerifierPass(bool FatalErrors=true)
Create a verifier pass.
VerifierPass(bool FatalErrors=true)
An abstract set of preserved analyses following a transformation pass run.
bool verifyModule(const Module &M, raw_ostream *OS=nullptr)
Check a module for errors.
PreservedAnalyses run(Module &M)
bool verifyFunction(const Function &F, raw_ostream *OS=nullptr)
Check a function for errors, useful for use when debugging a pass.
StringRef - Represent a constant reference to a string, i.e.