llvm::TBAAVerifier Class Reference

Verify that the TBAA Metadatas are valid. More...

#include "llvm/IR/Verifier.h"

Public Member Functions
	TBAAVerifier (VerifierSupport *Diagnostic=nullptr)
LLVM_ABI bool	visitTBAAMetadata (const Instruction *I, const MDNode *MD)
	Visit an instruction, or a TBAA node itself as part of a metadata, and return true if it is valid, return false if an invalid TBAA is attached.

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

Definition at line 77 of file Verifier.h.

Member Function Documentation

visitTBAAMetadata()

bool TBAAVerifier::visitTBAAMetadata	(	const Instruction *	I,
		const MDNode *	MD )

Visit an instruction, or a TBAA node itself as part of a metadata, and return true if it is valid, return false if an invalid TBAA is attached.

Definition at line 7894 of file Verifier.cpp.

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

---

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

• include/llvm/IR/Verifier.h
• lib/IR/Verifier.cpp