#include "llvm/Analysis/AliasAnalysis.h"

Public Member Functions
bool	isDefinitive () const
	Whether this is a definitive (non-assumption) result.

bool	isAssumption () const
	Whether this is an assumption that has not been proven yet.

Public Attributes
AliasResult	Result

int	NumAssumptionUses
	Number of times a NoAlias assumption has been used, 0 for assumptions that have not been used.

Static Public Attributes
static constexpr int	Definitive = -2
	Cache entry is neither an assumption nor does it use a (non-definitive) assumption.

static constexpr int	AssumptionBased = -1
	Cache entry is not an assumption itself, but may be using an assumption from higher up the stack.

Detailed Description

Definition at line 246 of file AliasAnalysis.h.

Member Function Documentation

◆ isAssumption()

bool llvm::AAQueryInfo::CacheEntry::isAssumption ( ) const

inline

Whether this is an assumption that has not been proven yet.

Definition at line 263 of file AliasAnalysis.h.

References NumAssumptionUses.

◆ isDefinitive()

bool llvm::AAQueryInfo::CacheEntry::isDefinitive ( ) const

inline

Whether this is a definitive (non-assumption) result.

Definition at line 261 of file AliasAnalysis.h.

References Definitive, and NumAssumptionUses.

Member Data Documentation

◆ AssumptionBased

constexpr int llvm::AAQueryInfo::CacheEntry::AssumptionBased = -1

staticconstexpr

Cache entry is not an assumption itself, but may be using an assumption from higher up the stack.

Definition at line 252 of file AliasAnalysis.h.

◆ Definitive

constexpr int llvm::AAQueryInfo::CacheEntry::Definitive = -2

staticconstexpr

Cache entry is neither an assumption nor does it use a (non-definitive) assumption.

Definition at line 249 of file AliasAnalysis.h.

Referenced by isDefinitive().

◆ NumAssumptionUses

int llvm::AAQueryInfo::CacheEntry::NumAssumptionUses

Number of times a NoAlias assumption has been used, 0 for assumptions that have not been used.

Can also take one of the Definitive or AssumptionBased values documented above.

Definition at line 258 of file AliasAnalysis.h.

Referenced by isAssumption(), and isDefinitive().

◆ Result

AliasResult llvm::AAQueryInfo::CacheEntry::Result

Definition at line 254 of file AliasAnalysis.h.

The documentation for this struct was generated from the following file:

include/llvm/Analysis/AliasAnalysis.h

Public Member Functions

Public Attributes

Static Public Attributes