mlir::enzyme::AliasClassLattice Class Reference

#include "MLIR/Analysis/DataFlowAliasAnalysis.h"

Inheritance diagram for mlir::enzyme::AliasClassLattice:

Collaboration diagram for mlir::enzyme::AliasClassLattice:

Public Member Functions
void	print (raw_ostream &os) const override
::mlir::AliasResult	alias (const AbstractSparseLattice &other) const
ChangeResult	join (const AbstractSparseLattice &other) override
const DenseSet< DistinctAttr > &	getAliasClasses () const
const AliasClassSet &	getAliasClassesObject () const
	SparseSetLattice (Value value, SetLattice< ValueT > &&elements)
Public Member Functions inherited from mlir::enzyme::SparseSetLattice< DistinctAttr >
	SparseSetLattice (Value value, SetLattice< DistinctAttr > &&elements)
Attribute	serialize (MLIRContext *ctx) const
ChangeResult	merge (const SetLattice< DistinctAttr > &other)
ChangeResult	insert (const DenseSet< DistinctAttr > &newElements)
ChangeResult	markUnknown ()
bool	isUnknown () const
bool	isUndefined () const
const DenseSet< DistinctAttr > &	getElements () const

Static Public Member Functions
static AliasClassLattice	single (Value point, DistinctAttr value)

Additional Inherited Members
Protected Attributes inherited from mlir::enzyme::SparseSetLattice< DistinctAttr >
SetLattice< DistinctAttr >	elements

Detailed Description

Definition at line 205 of file DataFlowAliasAnalysis.h.

Member Function Documentation

alias()

AliasResult enzyme::AliasClassLattice::alias

(

const AbstractSparseLattice &

other

)

const

Definition at line 746 of file DataFlowAliasAnalysis.cpp.

getAliasClasses()

const DenseSet< DistinctAttr > & mlir::enzyme::AliasClassLattice::getAliasClasses ( ) const

inline

Definition at line 219 of file DataFlowAliasAnalysis.h.

References mlir::enzyme::SparseSetLattice< DistinctAttr >::elements, and mlir::enzyme::SetLattice< ValueT >::getElements().

getAliasClassesObject()

const AliasClassSet & mlir::enzyme::AliasClassLattice::getAliasClassesObject ( ) const

inline

Definition at line 223 of file DataFlowAliasAnalysis.h.

References mlir::enzyme::SparseSetLattice< DistinctAttr >::elements.

Referenced by mlir::enzyme::AliasAnalysis::visitExternalCall().

join()

ChangeResult enzyme::AliasClassLattice::join ( const AbstractSparseLattice & other )

override

Definition at line 777 of file DataFlowAliasAnalysis.cpp.

References join().

Referenced by join(), mlir::enzyme::AliasAnalysis::setToEntryState(), and mlir::enzyme::AliasAnalysis::visitExternalCall().

print()

void enzyme::AliasClassLattice::print ( raw_ostream & os ) const

override

Definition at line 732 of file DataFlowAliasAnalysis.cpp.

single()

static AliasClassLattice mlir::enzyme::AliasClassLattice::single ( Value point, DistinctAttr value )

inlinestatic

Definition at line 215 of file DataFlowAliasAnalysis.h.

Referenced by mlir::enzyme::AliasAnalysis::setToEntryState(), mlir::enzyme::PointsToPointerAnalysis::visitCallControlFlowTransfer(), and mlir::enzyme::AliasAnalysis::visitExternalCall().

SparseSetLattice()

mlir::enzyme::SparseSetLattice< ValueT >::SparseSetLattice ( Value value, SetLattice< ValueT > && elements )

inline

Definition at line 201 of file DataFlowLattice.h.

---

The documentation for this class was generated from the following files:

• MLIR/Analysis/DataFlowAliasAnalysis.h
• MLIR/Analysis/DataFlowAliasAnalysis.cpp