LLVM: llvm::SCEVAAResult Class Reference (original) (raw)

A simple alias analysis implementation that uses ScalarEvolution to answer queries. More...

#include "[llvm/Analysis/ScalarEvolutionAliasAnalysis.h](ScalarEvolutionAliasAnalysis%5F8h%5Fsource.html)"

Inheritance diagram for llvm::SCEVAAResult:

Public Member Functions
SCEVAAResult (ScalarEvolution &SE)
SCEVAAResult (SCEVAAResult &&Arg)
LLVM_ABI AliasResult alias (const MemoryLocation &LocA, const MemoryLocation &LocB, AAQueryInfo &AAQI, const Instruction *CtxI)
LLVM_ABI bool invalidate (Function &F, const PreservedAnalyses &PA, FunctionAnalysisManager::Invalidator &Inv)
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 Module *M)
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)

Detailed Description

Constructor & Destructor Documentation

◆ SCEVAAResult() [2/2]

llvm::SCEVAAResult::SCEVAAResult ( SCEVAAResult && Arg) inline

Member Function Documentation

◆ alias()

Definition at line 36 of file ScalarEvolutionAliasAnalysis.cpp.

References llvm::MemoryLocation::AATags, alias(), llvm::LocationSize::beforeOrAfterPointer(), llvm::BitWidth, canComputePointerDiff(), llvm::SCEV::getType(), llvm::LocationSize::getValue(), llvm::LocationSize::hasValue(), llvm::isa(), llvm::LocationSize::isZero(), llvm::AliasResult::MayAlias, llvm::AliasResult::MustAlias, llvm::AliasResult::NoAlias, llvm::MemoryLocation::Ptr, llvm::MemoryLocation::Size, llvm::APInt::ule(), and llvm::MemoryLocation::UnknownSize.

Referenced by alias().

◆ invalidate()

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