LLVM 20.0.0git
|
Verify that the TBAA Metadatas are valid. More...
#include "llvm/IR/Verifier.h"
Public Member Functions | |
TBAAVerifier (VerifierSupport *Diagnostic=nullptr) | |
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. | |
Verify that the TBAA Metadatas are valid.
Definition at line 39 of file Verifier.h.
|
inline |
Definition at line 75 of file Verifier.h.
bool TBAAVerifier::visitTBAAMetadata | ( | Instruction & | I, |
const MDNode * | MD | ||
) |
Visit an instruction and return true if it is valid, return false if an invalid TBAA is attached.
Definition at line 7466 of file Verifier.cpp.
References CheckTBAA, llvm::MDNode::getNumOperands(), llvm::MDNode::getOperand(), I, llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::Invalid, isNewFormatTBAATypeNode(), IsRootTBAANode(), and llvm::Offset.