LLVM 19.0.0git
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.
 
bool visitTBAAStructMetadata (Instruction &I, const MDNode *MD)
 

Detailed Description

Verify that the TBAA Metadatas are valid.

Definition at line 39 of file Verifier.h.

Constructor & Destructor Documentation

◆ TBAAVerifier()

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

Definition at line 75 of file Verifier.h.

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

References CheckTBAA, llvm::MDNode::getNumOperands(), llvm::MDNode::getOperand(), I, llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::Invalid, isNewFormatTBAATypeNode(), IsRootTBAANode(), and llvm::Offset.

Referenced by visitTBAAStructMetadata().

◆ visitTBAAStructMetadata()

bool TBAAVerifier::visitTBAAStructMetadata ( Instruction I,
const MDNode MD 
)

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