LLVM 17.0.0git
|
This is the AA result object for the basic, local, and stateless alias analysis. More...
#include "llvm/Analysis/BasicAliasAnalysis.h"
Classes | |
struct | DecomposedGEP |
Additional Inherited Members | |
![]() | |
AAResultBase ()=default | |
AAResultBase (const AAResultBase &Arg) | |
AAResultBase (AAResultBase &&Arg) | |
This is the AA result object for the basic, local, and stateless alias analysis.
It implements the AA query interface in an entirely stateless manner. As one consequence, it is never invalidated due to IR changes. While it does retain some storage, that is used as an optimization and not to preserve information from query to query. However it does retain handles to various other analyses and must be recomputed when those analyses are.
Definition at line 43 of file BasicAliasAnalysis.h.
|
inline |
Definition at line 51 of file BasicAliasAnalysis.h.
|
inline |
Definition at line 56 of file BasicAliasAnalysis.h.
|
inline |
Definition at line 59 of file BasicAliasAnalysis.h.
AliasResult BasicAAResult::alias | ( | const MemoryLocation & | LocA, |
const MemoryLocation & | LocB, | ||
AAQueryInfo & | AAQI, | ||
const Instruction * | CtxI | ||
) |
Definition at line 828 of file BasicAliasAnalysis.cpp.
References assert(), notDifferentParent(), llvm::MemoryLocation::Ptr, and llvm::MemoryLocation::Size.
ModRefInfo BasicAAResult::getArgModRefInfo | ( | const CallBase * | Call, |
unsigned | ArgIdx | ||
) |
Get the location associated with a pointer argument of a callsite.
Definition at line 791 of file BasicAliasAnalysis.cpp.
References llvm::AAResultBase::getArgModRefInfo(), llvm::Mod, llvm::NoModRef, and llvm::Ref.
MemoryEffects BasicAAResult::getMemoryEffects | ( | const CallBase * | Call, |
AAQueryInfo & | AAQI | ||
) |
Returns the behavior when calling the given call site.
Definition at line 758 of file BasicAliasAnalysis.cpp.
References llvm::AAQueryInfo::AAR, llvm::AAResults::getMemoryEffects(), llvm::MemoryEffects::readOnly(), and llvm::MemoryEffects::writeOnly().
Referenced by getModRefInfo().
MemoryEffects BasicAAResult::getMemoryEffects | ( | const Function * | F | ) |
Returns the behavior when calling the given function.
For use when the call site is not known.
Definition at line 778 of file BasicAliasAnalysis.cpp.
References F, llvm::MemoryEffects::inaccessibleMemOnly(), llvm::ModRef, and llvm::MemoryEffects::readOnly().
ModRefInfo BasicAAResult::getModRefInfo | ( | const CallBase * | Call, |
const MemoryLocation & | Loc, | ||
AAQueryInfo & | AAQI | ||
) |
Checks to see if the specified callsite can clobber the specified memory object.
Since we only look at local properties of this function, we really can't say much about this query. We do, however, use simple "address taken" analysis on local objects.
Definition at line 842 of file BasicAliasAnalysis.cpp.
References llvm::AAQueryInfo::AAR, llvm::AAResults::alias(), assert(), llvm::AAQueryInfo::CI, llvm::MemoryLocation::getBeforeOrAfter(), llvm::AAResultBase::getModRefInfo(), llvm::getUnderlyingObject(), isIntrinsicCall(), llvm::isMallocOrCallocLikeFn(), llvm::isModAndRefSet(), llvm::CaptureInfo::isNotCapturedBeforeOrAt(), llvm::Mod, llvm::ModRef, llvm::AliasResult::NoAlias, llvm::NoModRef, notDifferentParent(), llvm::Object, llvm::MemoryLocation::Ptr, and llvm::Ref.
ModRefInfo BasicAAResult::getModRefInfo | ( | const CallBase * | Call1, |
const CallBase * | Call2, | ||
AAQueryInfo & | AAQI | ||
) |
Definition at line 968 of file BasicAliasAnalysis.cpp.
References getMemoryEffects(), llvm::AAResultBase::getModRefInfo(), isIntrinsicCall(), llvm::isModSet(), llvm::Mod, llvm::NoModRef, and llvm::Ref.
ModRefInfo BasicAAResult::getModRefInfoMask | ( | const MemoryLocation & | Loc, |
AAQueryInfo & | AAQI, | ||
bool | IgnoreLocals = false |
||
) |
Returns a bitmask that should be unconditionally applied to the ModRef info of a memory location.
This allows us to eliminate Mod and/or Ref from the ModRef info based on the knowledge that the memory location points to constant and/or locally-invariant memory.
If IgnoreLocals is true, then this method returns NoModRef for memory that points to a local alloca.
Definition at line 681 of file BasicAliasAnalysis.cpp.
References _, llvm::append_range(), Arg, assert(), llvm::SmallVectorBase< Size_T >::empty(), llvm::AAResultBase::getModRefInfoMask(), llvm::getUnderlyingObject(), llvm::make_scope_exit(), llvm::NoModRef, llvm::SmallVectorImpl< T >::pop_back_val(), llvm::MemoryLocation::Ptr, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::Ref, and SI.
bool BasicAAResult::invalidate | ( | Function & | Fn, |
const PreservedAnalyses & | PA, | ||
FunctionAnalysisManager::Invalidator & | Inv | ||
) |
Handle invalidation events in the new pass manager.
Definition at line 85 of file BasicAliasAnalysis.cpp.
References llvm::AnalysisManager< IRUnitT, ExtraArgTs >::Invalidator::invalidate().