|
MLIR 22.0.0git
|
This lattice element represents the strided metadata of an SSA value. More...
#include "mlir/Analysis/DataFlow/StridedMetadataRangeAnalysis.h"
Additional Inherited Members | |
| Public Types inherited from mlir::dataflow::Lattice< StridedMetadataRange > | |
| using | LatticeT |
| using | has_meet |
| Trait to check if T provides a meet method. | |
| using | lattice_has_meet |
| Public Member Functions inherited from mlir::dataflow::Lattice< StridedMetadataRange > | |
| AbstractSparseLattice (Value value) | |
| Lattices can only be created for values. | |
| Value | getAnchor () const |
| Return the value this lattice is located at. | |
| StridedMetadataRange & | getValue () |
| Return the value held by this lattice. | |
| ChangeResult | join (const AbstractSparseLattice &rhs) override |
| Join the information contained in the 'rhs' lattice into this lattice. | |
| ChangeResult | meet (const AbstractSparseLattice &rhs) override |
| Meet (intersect) the information contained in the 'rhs' lattice with this lattice. | |
| void | print (raw_ostream &os) const override |
| Print the lattice element. | |
| Public Member Functions inherited from mlir::dataflow::AbstractSparseLattice | |
| AbstractSparseLattice (Value value) | |
| Lattices can only be created for values. | |
| Value | getAnchor () const |
| Return the value this lattice is located at. | |
| void | onUpdate (DataFlowSolver *solver) const override |
| When the lattice gets updated, propagate an update to users of the value using its use-def chain to subscribed analyses. | |
| void | useDefSubscribe (DataFlowAnalysis *analysis) |
| Subscribe an analysis to updates of the lattice. | |
| 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. | |
| 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. | |
| Protected Attributes inherited from mlir::AnalysisState | |
| LatticeAnchor | anchor |
| The lattice anchor to which the state belongs. | |
This lattice element represents the strided metadata of an SSA value.
Definition at line 19 of file StridedMetadataRangeAnalysis.h.