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

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

Referenced by visitTBAAStructMetadata().

visitTBAAStructMetadata()

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

Definition at line 8406 of file Verifier.cpp.

References CheckTBAA, llvm::dyn_cast(), llvm::mdconst::dyn_extract_or_null(), llvm::MDNode::getNumOperands(), llvm::MDNode::getOperand(), I, llvm::Offset, llvm::Tag, and visitTBAAMetadata().

---

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

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