mlir::enzyme::MapOfSetsLattice< KeyT, ElementT > Class Template Reference

#include "MLIR/Analysis/DataFlowLattice.h"

Inheritance diagram for mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >:

Collaboration diagram for mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >:

Public Member Functions
Attribute	serialize (MLIRContext *ctx) const
ChangeResult	join (const AbstractDenseLattice &other)
ChangeResult	insert (const SetLattice< KeyT > &keysToUpdate, const SetLattice< ElementT > &values)
	Map all keys to all values.
ChangeResult	markAllUnknown ()
const SetLattice< ElementT > &	lookup (KeyT key) const

Protected Member Functions
ChangeResult	joinPotentiallyMissing (KeyT key, const SetLattice< ElementT > &value)

Protected Attributes
DenseMap< KeyT, SetLattice< ElementT > >	map
	Maps a key to a set of values.

Detailed Description

template<typename KeyT, typename ElementT>
class mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >

Definition at line 245 of file DataFlowLattice.h.

Member Function Documentation

insert()

template<typename KeyT , typename ElementT >

ChangeResult mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::insert ( const SetLattice< KeyT > & keysToUpdate, const SetLattice< ElementT > & values )

inline

Map all keys to all values.

Definition at line 286 of file DataFlowLattice.h.

References mlir::enzyme::SetLattice< ValueT >::foreachElement(), mlir::enzyme::SetLattice< ValueT >::isUndefined(), mlir::enzyme::SetLattice< ValueT >::isUnknown(), mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::joinPotentiallyMissing(), and mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::markAllUnknown().

Referenced by mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::join(), mlir::enzyme::DenseActivityAnnotationAnalysis::setToEntryState(), and mlir::enzyme::DenseActivityAnnotationAnalysis::visitOperation().

join()

template<typename KeyT , typename ElementT >

ChangeResult mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::join ( const AbstractDenseLattice & other )

inline

Definition at line 253 of file DataFlowLattice.h.

References mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::insert(), and mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::map.

Referenced by mlir::enzyme::runActivityAnnotations().

joinPotentiallyMissing()

template<typename KeyT , typename ElementT >

ChangeResult mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::joinPotentiallyMissing ( KeyT key, const SetLattice< ElementT > & value )

inlineprotected

Definition at line 317 of file DataFlowLattice.h.

References mlir::enzyme::SetLattice< ValueT >::isUndefined(), and mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::map.

Referenced by mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::insert().

lookup()

template<typename KeyT , typename ElementT >

const SetLattice< ElementT > & mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::lookup ( KeyT key ) const

inline

Definition at line 309 of file DataFlowLattice.h.

References mlir::enzyme::SetLattice< ValueT >::getUndefined(), and mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::map.

markAllUnknown()

template<typename KeyT , typename ElementT >

ChangeResult mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::markAllUnknown ( )

inline

Definition at line 302 of file DataFlowLattice.h.

References mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::map.

Referenced by mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::insert().

serialize()

template<typename KeyT , typename ElementT >

Attribute mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::serialize ( MLIRContext * ctx ) const

inline

Definition at line 249 of file DataFlowLattice.h.

Referenced by mlir::enzyme::runActivityAnnotations().

Member Data Documentation

map

template<typename KeyT , typename ElementT >

DenseMap<KeyT, SetLattice<ElementT> > mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::map

protected

Maps a key to a set of values.

When a key is not present in this map, it is considered to map to an uninitialized set.

Definition at line 334 of file DataFlowLattice.h.

Referenced by mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::join(), mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::joinPotentiallyMissing(), mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::lookup(), and mlir::enzyme::MapOfSetsLattice< KeyT, ElementT >::markAllUnknown().

---

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

• MLIR/Analysis/DataFlowLattice.h