|
LLVM
4.0.0
|
Verify that the TBAA Metadatas are valid. More...
#include <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. More... | |
Verify that the TBAA Metadatas are valid.
Definition at line 36 of file Verifier.h.
|
inline |
Definition at line 70 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 4707 of file Verifier.cpp.
References AssertTBAA, llvm::APInt::getBitWidth(), llvm::MDNode::getNumOperands(), llvm::MDNode::getOperand(), I, llvm::SmallPtrSetImpl< PtrType >::insert(), and IsRootTBAANode().
1.8.6