mlir::dataflow::AbstractDenseLattice Class Reference

This class represents a dense lattice. More...

#include "mlir/Analysis/DataFlow/DenseAnalysis.h"

Inheritance diagram for mlir::dataflow::AbstractDenseLattice:

Public Member Functions
virtual ChangeResult	join (const AbstractDenseLattice &rhs)
	Join the lattice across control-flow or callgraph edges.
virtual ChangeResult	meet (const AbstractDenseLattice &rhs)
	AnalysisState (LatticeAnchor anchor)
	A dense lattice can only be created for operations and blocks.
Public Member Functions inherited from mlir::AnalysisState
virtual	~AnalysisState ()
	AnalysisState (LatticeAnchor anchor)
	Create the analysis state on the given lattice anchor.
LatticeAnchor	getAnchor () const
	Returns the lattice anchor this state is located at.
virtual void	print (raw_ostream &os) const =0
	Print the contents of the analysis state.
LLVM_DUMP_METHOD void	dump () const
void	addDependency (ProgramPoint *point, DataFlowAnalysis *analysis)
	Add a dependency to this analysis state on a lattice anchor and an analysis.

Additional Inherited Members
Protected Member Functions inherited from mlir::AnalysisState
virtual void	onUpdate (DataFlowSolver *solver) const
	This function is called by the solver when the analysis state is updated to enqueue more work items.
Protected Attributes inherited from mlir::AnalysisState
LatticeAnchor	anchor
	The lattice anchor to which the state belongs.

Detailed Description

This class represents a dense lattice.

A dense lattice is attached to program point to represent the program state at the program point. lattice is propagated through the IR by dense data-flow analysis.

Definition at line 41 of file DenseAnalysis.h.

Member Function Documentation

AnalysisState()

AnalysisState::AnalysisState ( LatticeAnchor anchor )

inline

A dense lattice can only be created for operations and blocks.

Definition at line 493 of file DataFlowFramework.h.

join()

virtual ChangeResult mlir::dataflow::AbstractDenseLattice::join ( const AbstractDenseLattice & rhs )

inlinevirtual

Join the lattice across control-flow or callgraph edges.

Definition at line 47 of file DenseAnalysis.h.

References mlir::NoChange, and rhs.

meet()

virtual ChangeResult mlir::dataflow::AbstractDenseLattice::meet ( const AbstractDenseLattice & rhs )

inlinevirtual

Definition at line 51 of file DenseAnalysis.h.

References mlir::NoChange, and rhs.

---

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

• include/mlir/Analysis/DataFlow/DenseAnalysis.h