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. More... | |
| virtual ChangeResult | meet (const AbstractDenseLattice &rhs) |
| AnalysisState (LatticeAnchor anchor) | |
| A dense lattice can only be created for operations and blocks. More... | |
| Public Member Functions inherited from mlir::AnalysisState | |
| virtual | ~AnalysisState () |
| AnalysisState (LatticeAnchor anchor) | |
| Create the analysis state on the given lattice anchor. More... | |
| LatticeAnchor | getAnchor () const |
| Returns the lattice anchor this state is located at. More... | |
| virtual void | print (raw_ostream &os) const =0 |
| Print the contents of the analysis state. More... | |
| 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. More... | |
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. More... | |
| Protected Attributes inherited from mlir::AnalysisState | |
| LatticeAnchor | anchor |
| The lattice anchor to which the state belongs. More... | |
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()
|
inline |
A dense lattice can only be created for operations and blocks.
Definition at line 493 of file DataFlowFramework.h.
◆ join()
|
inlinevirtual |
Join the lattice across control-flow or callgraph edges.
Definition at line 47 of file DenseAnalysis.h.
References mlir::NoChange.
Referenced by mlir::dataflow::AbstractDenseForwardDataFlowAnalysis::join().
◆ meet()
|
inlinevirtual |
Definition at line 51 of file DenseAnalysis.h.
References mlir::NoChange.
Referenced by mlir::dataflow::AbstractDenseBackwardDataFlowAnalysis::meet().
The documentation for this class was generated from the following file:
- include/mlir/Analysis/DataFlow/DenseAnalysis.h
