A CRTP-driven "mixin" base class to help implement the function alias analysis results concept. More...
#include "llvm/Analysis/AliasAnalysis.h"
Classes | |
| class | AAResultsProxy |
This proxy class models a common pattern where we delegate to either the top-level AAResults aggregation if one is registered, or to the current result if none are registered. More... | |
Public Member Functions | |
| AliasResult | alias (const MemoryLocation &LocA, const MemoryLocation &LocB) |
| bool | pointsToConstantMemory (const MemoryLocation &Loc, bool OrLocal) |
| ModRefInfo | getArgModRefInfo (ImmutableCallSite CS, unsigned ArgIdx) |
| FunctionModRefBehavior | getModRefBehavior (ImmutableCallSite CS) |
| FunctionModRefBehavior | getModRefBehavior (const Function *F) |
| ModRefInfo | getModRefInfo (ImmutableCallSite CS, const MemoryLocation &Loc) |
| ModRefInfo | getModRefInfo (ImmutableCallSite CS1, ImmutableCallSite CS2) |
Protected Member Functions | |
| AAResultBase ()=default | |
| AAResultBase (const AAResultBase &Arg) | |
| AAResultBase (AAResultBase &&Arg) | |
| AAResultsProxy | getBestAAResults () |
| Get a proxy for the best AA result set to query at this time. More... | |
Friends | |
| class | AAResults::Model< DerivedT > |
Detailed Description
template<typename DerivedT>
class llvm::AAResultBase< DerivedT >
A CRTP-driven "mixin" base class to help implement the function alias analysis results concept.
Because of the nature of many alias analysis implementations, they often only implement a subset of the interface. This base class will attempt to implement the remaining portions of the interface in terms of simpler forms of the interface where possible, and otherwise provide conservatively correct fallback implementations.
Implementors of an alias analysis should derive from this CRTP, and then override specific methods that they wish to customize. There is no need to use virtual anywhere, the CRTP base class does static dispatch to the derived type passed into it.
Definition at line 857 of file AliasAnalysis.h.
Constructor & Destructor Documentation
◆ AAResultBase() [1/3]
|
explicitprotecteddefault |
◆ AAResultBase() [2/3]
|
inlineprotected |
Definition at line 921 of file AliasAnalysis.h.
◆ AAResultBase() [3/3]
|
inlineprotected |
Definition at line 922 of file AliasAnalysis.h.
Member Function Documentation
◆ alias()
|
inline |
Definition at line 937 of file AliasAnalysis.h.
Referenced by llvm::SCEVAAResult::alias(), llvm::ScopedNoAliasAAResult::alias(), llvm::TypeBasedAAResult::alias(), llvm::AMDGPUAAResult::alias(), llvm::objcarc::ObjCARCAAResult::alias(), llvm::CFLAndersAAResult::alias(), llvm::CFLSteensAAResult::alias(), and llvm::GlobalsAAResult::alias().
◆ getArgModRefInfo()
|
inline |
Definition at line 945 of file AliasAnalysis.h.
Referenced by llvm::BasicAAResult::getArgModRefInfo().
◆ getBestAAResults()
|
inlineprotected |
Get a proxy for the best AA result set to query at this time.
When this result is part of a larger aggregation, this will proxy to that aggregation. When this result is used in isolation, it will just delegate back to the derived class's implementation.
Note that callers of this need to take considerable care to not cause performance problems when they use this routine, in the case of a large number of alias analyses being aggregated, it can be expensive to walk back across the chain.
Definition at line 934 of file AliasAnalysis.h.
Referenced by llvm::BasicAAResult::getModRefBehavior(), llvm::BasicAAResult::getModRefInfo(), and MergeAliasResults().
◆ getModRefBehavior() [1/2]
|
inline |
Definition at line 949 of file AliasAnalysis.h.
Referenced by llvm::TypeBasedAAResult::getModRefBehavior(), llvm::objcarc::ObjCARCAAResult::getModRefBehavior(), llvm::GlobalsAAResult::getModRefBehavior(), and llvm::objcarc::ObjCARCAAResult::invalidate().
◆ getModRefBehavior() [2/2]
|
inline |
Definition at line 953 of file AliasAnalysis.h.
◆ getModRefInfo() [1/2]
|
inline |
Definition at line 957 of file AliasAnalysis.h.
Referenced by llvm::ScopedNoAliasAAResult::getModRefInfo(), llvm::TypeBasedAAResult::getModRefInfo(), llvm::objcarc::ObjCARCAAResult::getModRefInfo(), llvm::BasicAAResult::getModRefInfo(), llvm::GlobalsAAResult::getModRefInfo(), and llvm::objcarc::ObjCARCAAResult::invalidate().
◆ getModRefInfo() [2/2]
|
inline |
Definition at line 961 of file AliasAnalysis.h.
◆ pointsToConstantMemory()
|
inline |
Definition at line 941 of file AliasAnalysis.h.
Referenced by llvm::TypeBasedAAResult::pointsToConstantMemory(), llvm::AMDGPUAAResult::pointsToConstantMemory(), llvm::objcarc::ObjCARCAAResult::pointsToConstantMemory(), and llvm::BasicAAResult::pointsToConstantMemory().
Friends And Related Function Documentation
◆ AAResults::Model< DerivedT >
|
friend |
Definition at line 861 of file AliasAnalysis.h.
The documentation for this class was generated from the following file:
- include/llvm/Analysis/AliasAnalysis.h
