The possible results of an alias query.

Synopsis

Declared in <llvm/Analysis/AliasAnalysis.h>

class AliasResult;

Description

These results are always computed between two MemoryLocation objects as a query to some alias analysis.

Note that these are unscoped enumerations because we would like to support implicitly testing a result for the existence of any possible aliasing with a conversion to bool, but an "enum class" doesn't support this. The canonical names from the literature are suffixed and unique anyways, and so they serve as global constants in LLVM for these results.

See docs/AliasAnalysis.html for more information on the specific meanings of these values.

Enums

Name

Description

Kind

Classification of whether two memory locations alias.

Member Functions

Name

Description

AliasResult [constructor]

Constructors

getOffset

Return the offset between the aliased locations.

hasOffset

Return true if this result has an associated offset.

setOffset

Set the offset between the aliased locations.

swap

Helper for processing AliasResult for swapped memory location pairs.

operator Kind

Convert this result to its Kind.

operator==

Equality operators

operator!=

Inequality operators

Created with MrDocs