llvm::BatchAAResults Class Reference

This class is a wrapper over an AAResults, and it is intended to be used only when there are no IR changes inbetween queries. More...

#include "llvm/Analysis/AliasAnalysis.h"

Public Member Functions
	BatchAAResults (AAResults &AAR)
	BatchAAResults (AAResults &AAR, CaptureInfo *CI)
AliasResult	alias (const MemoryLocation &LocA, const MemoryLocation &LocB)
bool	pointsToConstantMemory (const MemoryLocation &Loc, bool OrLocal=false)
ModRefInfo	getModRefInfo (const CallBase *Call, const MemoryLocation &Loc)
ModRefInfo	getModRefInfo (const CallBase *Call1, const CallBase *Call2)
ModRefInfo	getModRefInfo (const Instruction *I, const Optional< MemoryLocation > &OptLoc)
ModRefInfo	getModRefInfo (Instruction *I, const CallBase *Call2)
ModRefInfo	getArgModRefInfo (const CallBase *Call, unsigned ArgIdx)
FunctionModRefBehavior	getModRefBehavior (const CallBase *Call)
bool	isMustAlias (const MemoryLocation &LocA, const MemoryLocation &LocB)
bool	isMustAlias (const Value *V1, const Value *V2)
ModRefInfo	callCapturesBefore (const Instruction *I, const MemoryLocation &MemLoc, DominatorTree *DT)

Detailed Description

This class is a wrapper over an AAResults, and it is intended to be used only when there are no IR changes inbetween queries.

BatchAAResults is reusing the same AAQueryInfo to preserve the state across queries, esentially making AA work in "batch mode". The internal state cannot be cleared, so to go "out-of-batch-mode", the user must either use AAResults, or create a new BatchAAResults.

Definition at line 951 of file AliasAnalysis.h.

Constructor & Destructor Documentation

BatchAAResults() [1/2]

llvm::BatchAAResults::BatchAAResults ( AAResults &  AAR )

inline

Definition at line 957 of file AliasAnalysis.h.

BatchAAResults() [2/2]

llvm::BatchAAResults::BatchAAResults ( AAResults &  AAR, CaptureInfo *  CI  )

inline

Definition at line 958 of file AliasAnalysis.h.

Member Function Documentation

alias()

AliasResult llvm::BatchAAResults::alias ( const MemoryLocation &  LocA, const MemoryLocation &  LocB  )

inline

Definition at line 960 of file AliasAnalysis.h.

Referenced by llvm::MemoryDependenceResults::getSimplePointerDependencyFrom(), and isMustAlias().

callCapturesBefore()

ModRefInfo llvm::BatchAAResults::callCapturesBefore ( const Instruction *  I, const MemoryLocation &  MemLoc, DominatorTree *  DT  )

inline

Definition at line 993 of file AliasAnalysis.h.

References I.

Referenced by llvm::MemoryDependenceResults::getSimplePointerDependencyFrom().

getArgModRefInfo()

ModRefInfo llvm::BatchAAResults::getArgModRefInfo ( const CallBase *  Call, unsigned  ArgIdx  )

inline

Definition at line 979 of file AliasAnalysis.h.

getModRefBehavior()

FunctionModRefBehavior llvm::BatchAAResults::getModRefBehavior ( const CallBase *  Call )

inline

Definition at line 982 of file AliasAnalysis.h.

getModRefInfo() [1/4]

ModRefInfo llvm::BatchAAResults::getModRefInfo ( const CallBase *  Call, const MemoryLocation &  Loc  )

inline

Definition at line 966 of file AliasAnalysis.h.

Referenced by llvm::MemoryDependenceResults::getSimplePointerDependencyFrom().

getModRefInfo() [2/4]

ModRefInfo llvm::BatchAAResults::getModRefInfo ( const CallBase *  Call1, const CallBase *  Call2  )

inline

Definition at line 969 of file AliasAnalysis.h.

getModRefInfo() [3/4]

ModRefInfo llvm::BatchAAResults::getModRefInfo ( const Instruction *  I, const Optional< MemoryLocation > &  OptLoc  )

inline

Definition at line 972 of file AliasAnalysis.h.

References I.

getModRefInfo() [4/4]

ModRefInfo llvm::BatchAAResults::getModRefInfo ( Instruction *  I, const CallBase *  Call2  )

inline

Definition at line 976 of file AliasAnalysis.h.

References I.

isMustAlias() [1/2]

bool llvm::BatchAAResults::isMustAlias ( const MemoryLocation &  LocA, const MemoryLocation &  LocB  )

inline

Definition at line 985 of file AliasAnalysis.h.

References alias(), and llvm::AliasResult::MustAlias.

Referenced by llvm::MemoryDependenceResults::getSimplePointerDependencyFrom().

isMustAlias() [2/2]

bool llvm::BatchAAResults::isMustAlias ( const Value *  V1, const Value *  V2  )

inline

Definition at line 988 of file AliasAnalysis.h.

References alias(), llvm::AliasResult::MustAlias, llvm::LocationSize::precise(), and llvm::NVPTX::PTXLdStInstCode::V2.

pointsToConstantMemory()

bool llvm::BatchAAResults::pointsToConstantMemory ( const MemoryLocation &  Loc, bool  OrLocal = false  )

inline

Definition at line 963 of file AliasAnalysis.h.

Referenced by llvm::MemoryDependenceResults::getSimplePointerDependencyFrom().

---

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

• include/llvm/Analysis/AliasAnalysis.h