llvm::SimpleAAQueryInfo

Name

Description

AAQueryInfo

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.

Name

CacheEntry

Name

AliasCacheT

LocPair

Name

Description

SimpleAAQueryInfo [constructor]

Construct from AAResults

Name

Description

AAR

AliasCache

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.

CA

Depth

Query depth used to distinguish recursive queries.

MayBeCrossIteration

Tracks whether the accesses may be on different cycle iterations.

NumAssumptionUses

How many active NoAlias assumption uses there are.

UseDominatorTree

Whether alias analysis is allowed to use the dominator tree, for use by passes that lazily update the DT while performing AA queries.