LLVM 24.0.0git
Public Member Functions | List of all members
llvm::TypeBasedAAResult Class Reference

A simple AA result that uses TBAA metadata to answer queries. More...

#include "llvm/Analysis/TypeBasedAliasAnalysis.h"

Inheritance diagram for llvm::TypeBasedAAResult:
[legend]

Public Member Functions

LLVM_ABI TypeBasedAAResult (const LLVMContext &C, bool UsingTypeSanitizer)
bool invalidate (Function &, const PreservedAnalyses &, FunctionAnalysisManager::Invalidator &)
 Handle invalidation events from the new pass manager.
LLVM_ABI AliasResult alias (const MemoryLocation &LocA, const MemoryLocation &LocB, AAQueryInfo &AAQI, const Instruction *CtxI)
LLVM_ABI AliasResult aliasErrno (const MemoryLocation &Loc, const Instruction *CtxI)
LLVM_ABI ModRefInfo getModRefInfoMask (const MemoryLocation &Loc, AAQueryInfo &AAQI, bool IgnoreLocals)
LLVM_ABI MemoryEffects getMemoryEffects (const CallBase *Call, AAQueryInfo &AAQI)
LLVM_ABI MemoryEffects getMemoryEffects (const Function *F)
LLVM_ABI ModRefInfo getModRefInfo (const CallBase *Call, const MemoryLocation &Loc, AAQueryInfo &AAQI)
LLVM_ABI ModRefInfo getModRefInfo (const CallBase *Call1, const CallBase *Call2, AAQueryInfo &AAQI)
ModRefInfo getModRefInfo (const FenceInst *F, const MemoryLocation &Loc, AAQueryInfo &AAQI)
Public Member Functions inherited from llvm::AAResultBase
AliasResult alias (const MemoryLocation &LocA, const MemoryLocation &LocB, AAQueryInfo &AAQI, const Instruction *I)
AliasResult aliasErrno (const MemoryLocation &Loc, const Instruction *CtxI)
ModRefInfo getModRefInfoMask (const MemoryLocation &Loc, AAQueryInfo &AAQI, bool IgnoreLocals)
ModRefInfo getArgModRefInfo (const CallBase *Call, unsigned ArgIdx)
MemoryEffects getMemoryEffects (const CallBase *Call, AAQueryInfo &AAQI)
MemoryEffects getMemoryEffects (const Function *F)
ModRefInfo getModRefInfo (const CallBase *Call, const MemoryLocation &Loc, AAQueryInfo &AAQI)
ModRefInfo getModRefInfo (const CallBase *Call1, const CallBase *Call2, AAQueryInfo &AAQI)
ModRefInfo getModRefInfo (const FenceInst *F, const MemoryLocation &Loc, AAQueryInfo &AAQI)

Additional Inherited Members

Protected Member Functions inherited from llvm::AAResultBase
 AAResultBase ()=default
 AAResultBase (const AAResultBase &Arg)=default
 AAResultBase (AAResultBase &&Arg)

Detailed Description

A simple AA result that uses TBAA metadata to answer queries.

Definition at line 34 of file TypeBasedAliasAnalysis.h.

Constructor & Destructor Documentation

◆ TypeBasedAAResult()

TypeBasedAAResult::TypeBasedAAResult ( const LLVMContext & C,
bool UsingTypeSanitizer )

Definition at line 678 of file TypeBasedAliasAnalysis.cpp.

References C(), and llvm::getAnalysisOptions().

Member Function Documentation

◆ alias()

AliasResult TypeBasedAAResult::alias ( const MemoryLocation & LocA,
const MemoryLocation & LocB,
AAQueryInfo & AAQI,
const Instruction * CtxI )

Definition at line 327 of file TypeBasedAliasAnalysis.cpp.

References llvm::MemoryLocation::AATags, llvm::AliasResult::MayAlias, llvm::AliasResult::NoAlias, and llvm::AAMDNodes::TBAA.

◆ aliasErrno()

AliasResult TypeBasedAAResult::aliasErrno ( const MemoryLocation & Loc,
const Instruction * CtxI )

Definition at line 340 of file TypeBasedAliasAnalysis.cpp.

References llvm::any_of(), llvm::Instruction::getModule(), llvm::Module::getNamedMetadata(), llvm::AliasResult::MayAlias, N, and llvm::AliasResult::NoAlias.

◆ getMemoryEffects() [1/2]

MemoryEffects TypeBasedAAResult::getMemoryEffects ( const CallBase * Call,
AAQueryInfo & AAQI )

Definition at line 378 of file TypeBasedAliasAnalysis.cpp.

References Call, llvm::MemoryEffectsBase< IRMemLocation >::none(), and llvm::MemoryEffectsBase< IRMemLocation >::unknown().

◆ getMemoryEffects() [2/2]

MemoryEffects TypeBasedAAResult::getMemoryEffects ( const Function * F)

Definition at line 391 of file TypeBasedAliasAnalysis.cpp.

References F, and llvm::MemoryEffectsBase< IRMemLocation >::unknown().

◆ getModRefInfo() [1/3]

ModRefInfo TypeBasedAAResult::getModRefInfo ( const CallBase * Call,
const MemoryLocation & Loc,
AAQueryInfo & AAQI )

Definition at line 396 of file TypeBasedAliasAnalysis.cpp.

References Call, llvm::ModRef, and llvm::NoModRef.

◆ getModRefInfo() [2/3]

ModRefInfo TypeBasedAAResult::getModRefInfo ( const CallBase * Call1,
const CallBase * Call2,
AAQueryInfo & AAQI )

Definition at line 410 of file TypeBasedAliasAnalysis.cpp.

References llvm::Instruction::getMetadata(), llvm::M1(), llvm::ModRef, and llvm::NoModRef.

◆ getModRefInfo() [3/3]

ModRefInfo llvm::AAResultBase::getModRefInfo ( const FenceInst * F,
const MemoryLocation & Loc,
AAQueryInfo & AAQI )
inline

Definition at line 887 of file AliasAnalysis.h.

◆ getModRefInfoMask()

ModRefInfo TypeBasedAAResult::getModRefInfoMask ( const MemoryLocation & Loc,
AAQueryInfo & AAQI,
bool IgnoreLocals )

Definition at line 360 of file TypeBasedAliasAnalysis.cpp.

References llvm::ModRef, and llvm::NoModRef.

◆ invalidate()

bool llvm::TypeBasedAAResult::invalidate ( Function & ,
const PreservedAnalyses & ,
FunctionAnalysisManager::Invalidator &  )
inline

Handle invalidation events from the new pass manager.

By definition, this result is stateless and so remains valid.

Definition at line 47 of file TypeBasedAliasAnalysis.h.

The documentation for this class was generated from the following files:
Generated on for LLVM by doxygen 1.14.0