Go to the documentation of this file.
20 #ifndef LLVM_IR_VERIFIER_H
21 #define LLVM_IR_VERIFIER_H
36 struct VerifierSupport;
43 template <
typename... Tys>
void CheckFailed(Tys &&...
Args);
53 using TBAABaseNodeSummary = std::pair<bool, unsigned>;
63 APInt &Offset,
bool IsNewFormat);
64 TBAAVerifier::TBAABaseNodeSummary verifyTBAABaseNode(
Instruction &
I,
67 TBAABaseNodeSummary verifyTBAABaseNodeImpl(
Instruction &
I,
71 bool isValidScalarTBAANode(
const MDNode *MD);
76 : Diagnostic(Diagnostic) {}
101 bool *BrokenDebugInfo =
nullptr);
141 explicit VerifierPass(
bool FatalErrors =
true) : FatalErrors(FatalErrors) {}
150 #endif // LLVM_IR_VERIFIER_H
A set of analyses that are preserved following a run of a transformation pass.
PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM)
This is an optimization pass for GlobalISel generic memory operations.
A CRTP mix-in to automatically provide informational APIs needed for passes.
bool verifyFunction(const Function &F, raw_ostream *OS=nullptr)
Check a function for errors, useful for use when debugging a pass.
Verify that the TBAA Metadatas are valid.
Result run(Module &M, ModuleAnalysisManager &)
bool visitTBAAMetadata(Instruction &I, const MDNode *MD)
Visit an instruction and return true if it is valid, return false if an invalid TBAA is attached.
A special type used by analysis passes to provide an address that identifies that particular analysis...
A Module instance is used to store all the information related to an LLVM module.
A CRTP mix-in that provides informational APIs needed for analysis passes.
Class for arbitrary precision integers.
Machine Check Debug Module
FunctionPass * createVerifierPass(bool FatalErrors=true)
VerifierPass(bool FatalErrors=true)
TBAAVerifier(VerifierSupport *Diagnostic=nullptr)
A container for analyses that lazily runs them and caches their results.
constexpr char Args[]
Key for Kernel::Metadata::mArgs.
Check a module for errors, and report separate error states for IR and debug info errors.
bool verifyModule(const Module &M, raw_ostream *OS=nullptr, bool *BrokenDebugInfo=nullptr)
Check a module for errors.