mlir::enzyme::SparseSetLattice< ValueT > Class Template Reference

#include "MLIR/Analysis/DataFlowLattice.h"

Inheritance diagram for mlir::enzyme::SparseSetLattice< ValueT >:

Collaboration diagram for mlir::enzyme::SparseSetLattice< ValueT >:

Public Member Functions
	SparseSetLattice (Value value, SetLattice< ValueT > &&elements)
Attribute	serialize (MLIRContext *ctx) const
ChangeResult	merge (const SetLattice< ValueT > &other)
ChangeResult	insert (const DenseSet< ValueT > &newElements)
ChangeResult	markUnknown ()
bool	isUnknown () const
bool	isUndefined () const
const DenseSet< ValueT > &	getElements () const

Protected Attributes
SetLattice< ValueT >	elements

Detailed Description

template<typename ValueT>
class mlir::enzyme::SparseSetLattice< ValueT >

Definition at line 198 of file DataFlowLattice.h.

Constructor & Destructor Documentation

SparseSetLattice()

template<typename ValueT >

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

inline

Definition at line 201 of file DataFlowLattice.h.

Member Function Documentation

getElements()

template<typename ValueT >

const DenseSet< ValueT > & mlir::enzyme::SparseSetLattice< ValueT >::getElements ( ) const

inline

Definition at line 220 of file DataFlowLattice.h.

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

insert()

template<typename ValueT >

ChangeResult mlir::enzyme::SparseSetLattice< ValueT >::insert ( const DenseSet< ValueT > & newElements )

inline

Definition at line 210 of file DataFlowLattice.h.

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

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

isUndefined()

template<typename ValueT >

bool mlir::enzyme::SparseSetLattice< ValueT >::isUndefined ( ) const

inline

Definition at line 218 of file DataFlowLattice.h.

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

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

isUnknown()

template<typename ValueT >

bool mlir::enzyme::SparseSetLattice< ValueT >::isUnknown ( ) const

inline

Definition at line 216 of file DataFlowLattice.h.

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

markUnknown()

template<typename ValueT >

ChangeResult mlir::enzyme::SparseSetLattice< ValueT >::markUnknown ( )

inline

Definition at line 214 of file DataFlowLattice.h.

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

Referenced by mlir::enzyme::BackwardActivityAnnotationAnalysis::setToExitState(), and mlir::enzyme::AliasAnalysis::visitExternalCall().

merge()

template<typename ValueT >

ChangeResult mlir::enzyme::SparseSetLattice< ValueT >::merge ( const SetLattice< ValueT > & other )

inline

Definition at line 206 of file DataFlowLattice.h.

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

serialize()

template<typename ValueT >

Attribute mlir::enzyme::SparseSetLattice< ValueT >::serialize ( MLIRContext * ctx ) const

inline

Definition at line 204 of file DataFlowLattice.h.

Member Data Documentation

elements

template<typename ValueT >

SetLattice<ValueT> mlir::enzyme::SparseSetLattice< ValueT >::elements

protected

Definition at line 223 of file DataFlowLattice.h.

Referenced by mlir::enzyme::SparseSetLattice< ValueT >::getElements(), mlir::enzyme::SparseSetLattice< ValueT >::insert(), mlir::enzyme::SparseSetLattice< ValueT >::isUndefined(), mlir::enzyme::SparseSetLattice< ValueT >::isUnknown(), mlir::enzyme::SparseSetLattice< ValueT >::markUnknown(), and mlir::enzyme::SparseSetLattice< ValueT >::merge().

---

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

• MLIR/Analysis/DataFlowLattice.h