|
LLVM
4.0.0
|
A CRTP-driven "mixin" base class to help implement the function alias analysis results concept. More...
#include <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 () | |
| 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 > |
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 763 of file AliasAnalysis.h.
|
inlineexplicitprotected |
Definition at line 823 of file AliasAnalysis.h.
|
inlineprotected |
Definition at line 827 of file AliasAnalysis.h.
|
inlineprotected |
Definition at line 828 of file AliasAnalysis.h.
|
inline |
Definition at line 843 of file AliasAnalysis.h.
Referenced by llvm::SCEVAAResult::alias(), llvm::ScopedNoAliasAAResult::alias(), llvm::TypeBasedAAResult::alias(), llvm::objcarc::ObjCARCAAResult::alias(), llvm::CFLSteensAAResult::alias(), and llvm::GlobalsAAResult::alias().
|
inline |
Definition at line 851 of file AliasAnalysis.h.
Referenced by llvm::BasicAAResult::getArgModRefInfo().
|
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 840 of file AliasAnalysis.h.
Referenced by llvm::BasicAAResult::getModRefBehavior(), and llvm::BasicAAResult::getModRefInfo().
|
inline |
Definition at line 855 of file AliasAnalysis.h.
Referenced by llvm::TypeBasedAAResult::getModRefBehavior(), llvm::objcarc::ObjCARCAAResult::getModRefBehavior(), and llvm::GlobalsAAResult::getModRefBehavior().
|
inline |
Definition at line 859 of file AliasAnalysis.h.
|
inline |
Definition at line 863 of file AliasAnalysis.h.
Referenced by llvm::ScopedNoAliasAAResult::getModRefInfo(), llvm::TypeBasedAAResult::getModRefInfo(), llvm::objcarc::ObjCARCAAResult::getModRefInfo(), llvm::BasicAAResult::getModRefInfo(), and llvm::GlobalsAAResult::getModRefInfo().
|
inline |
Definition at line 867 of file AliasAnalysis.h.
|
inline |
Definition at line 847 of file AliasAnalysis.h.
Referenced by llvm::TypeBasedAAResult::pointsToConstantMemory(), llvm::objcarc::ObjCARCAAResult::pointsToConstantMemory(), and llvm::BasicAAResult::pointsToConstantMemory().
|
friend |
Definition at line 767 of file AliasAnalysis.h.
1.8.6