This class stores info we want to provide to or retain within an alias query. More...
#include "llvm/Analysis/AliasAnalysis.h"
Classes | |
| struct | CacheEntry |
Public Types | |
| using | LocPair = std::pair< AACacheLoc, AACacheLoc > |
| using | AliasCacheT = SmallDenseMap< LocPair, CacheEntry, 8 > |
| using | IsCapturedCacheT = SmallDenseMap< const Value *, bool, 8 > |
Public Member Functions | |
| AAQueryInfo () | |
| AAQueryInfo | withEmptyCache () |
| Create a new AAQueryInfo based on this one, but with the cache cleared. More... | |
Public Attributes | |
| AliasCacheT | AliasCache |
| IsCapturedCacheT | IsCapturedCache |
| unsigned | Depth = 0 |
| Query depth used to distinguish recursive queries. More... | |
| int | NumAssumptionUses = 0 |
| How many active NoAlias assumption uses there are. More... | |
| SmallVector< AAQueryInfo::LocPair, 4 > | AssumptionBasedResults |
| Location pairs for which an assumption based result is currently stored. More... | |
Detailed Description
This class stores info we want to provide to or retain within an alias query.
By default, the root query is stateless and starts with a freshly constructed info object. Specific alias analyses can use this query info to store per-query state that is important for recursive or nested queries to avoid recomputing. To enable preserving this state across multiple queries where safe (due to the IR not changing), use a BatchAAResults wrapper. The information stored in an AAQueryInfo is currently limitted to the caches used by BasicAA, but can further be extended to fit other AA needs.
Definition at line 414 of file AliasAnalysis.h.
Member Typedef Documentation
◆ AliasCacheT
| using llvm::AAQueryInfo::AliasCacheT = SmallDenseMap<LocPair, CacheEntry, 8> |
Definition at line 425 of file AliasAnalysis.h.
◆ IsCapturedCacheT
| using llvm::AAQueryInfo::IsCapturedCacheT = SmallDenseMap<const Value *, bool, 8> |
Definition at line 428 of file AliasAnalysis.h.
◆ LocPair
| using llvm::AAQueryInfo::LocPair = std::pair<AACacheLoc, AACacheLoc> |
Definition at line 416 of file AliasAnalysis.h.
Constructor & Destructor Documentation
◆ AAQueryInfo()
|
inline |
Definition at line 442 of file AliasAnalysis.h.
Member Function Documentation
◆ withEmptyCache()
|
inline |
Create a new AAQueryInfo based on this one, but with the cache cleared.
This is used for recursive queries across phis, where cache results may not be valid.
Definition at line 447 of file AliasAnalysis.h.
References Depth.
Member Data Documentation
◆ AliasCache
| AliasCacheT llvm::AAQueryInfo::AliasCache |
Definition at line 426 of file AliasAnalysis.h.
◆ AssumptionBasedResults
| SmallVector<AAQueryInfo::LocPair, 4> llvm::AAQueryInfo::AssumptionBasedResults |
Location pairs for which an assumption based result is currently stored.
Used to remove all potentially incorrect results from the cache if an assumption is disproven.
Definition at line 440 of file AliasAnalysis.h.
◆ Depth
| unsigned llvm::AAQueryInfo::Depth = 0 |
Query depth used to distinguish recursive queries.
Definition at line 432 of file AliasAnalysis.h.
Referenced by withEmptyCache().
◆ IsCapturedCache
| IsCapturedCacheT llvm::AAQueryInfo::IsCapturedCache |
Definition at line 429 of file AliasAnalysis.h.
Referenced by llvm::BasicAAResult::getModRefInfo().
◆ NumAssumptionUses
| int llvm::AAQueryInfo::NumAssumptionUses = 0 |
How many active NoAlias assumption uses there are.
Definition at line 435 of file AliasAnalysis.h.
The documentation for this class was generated from the following file:
- include/llvm/Analysis/AliasAnalysis.h
