LLVM  6.0.0svn
Public Member Functions | List of all members
llvm::TBAAVerifier Class Reference

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. More...
 

Detailed Description

Verify that the TBAA Metadatas are valid.

Definition at line 40 of file Verifier.h.

Constructor & Destructor Documentation

◆ TBAAVerifier()

llvm::TBAAVerifier::TBAAVerifier ( VerifierSupport Diagnostic = nullptr)
inline

Member Function Documentation

◆ visitTBAAMetadata()

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 4893 of file Verifier.cpp.

References AssertTBAA, llvm::VerifierSupport::CheckFailed(), llvm::APInt::getBitWidth(), llvm::MDNode::getNumOperands(), llvm::MDNode::getOperand(), I, INITIALIZE_PASS, llvm::SmallPtrSetImpl< PtrType >::insert(), and IsRootTBAANode().

Referenced by TBAAVerifier().


The documentation for this class was generated from the following files: