LLVM 22.0.0git
Verifier.h File Reference
#include "llvm/ADT/DenseMap.h"
#include "llvm/IR/PassManager.h"
#include "llvm/Support/Compiler.h"
#include <utility>

Go to the source code of this file.

Classes

class  llvm::TBAAVerifier
 Verify that the TBAA Metadatas are valid. More...
class  llvm::VerifierAnalysis
 Check a module for errors, and report separate error states for IR and debug info errors. More...
struct  llvm::VerifierAnalysis::Result
class  llvm::VerifierPass
 Create a verifier pass. More...

Namespaces

namespace  llvm
 This is an optimization pass for GlobalISel generic memory operations.

Functions

LLVM_ABI bool llvm::verifyFunction (const Function &F, raw_ostream *OS=nullptr)
 Check a function for errors, useful for use when debugging a pass.
LLVM_ABI bool llvm::verifyModule (const Module &M, raw_ostream *OS=nullptr, bool *BrokenDebugInfo=nullptr)
 Check a module for errors.
LLVM_ABI FunctionPassllvm::createVerifierPass (bool FatalErrors=true)