This lattice element represents the integer value range of an SSA value. More...
#include "mlir/Analysis/DataFlow/IntegerRangeAnalysis.h"
Public Member Functions | |
| void | onUpdate (DataFlowSolver *solver) const override |
| If the range can be narrowed to an integer constant, update the constant value of the SSA value. | |
| Public Member Functions inherited from mlir::dataflow::Lattice< IntegerValueRange > | |
| AbstractSparseLattice (Value value) | |
| Lattices can only be created for values. | |
| Value | getAnchor () const |
| Return the value this lattice is located at. | |
| IntegerValueRange & | 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 | 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. | |
Additional Inherited Members | |
| Public Types inherited from mlir::dataflow::Lattice< IntegerValueRange > | |
| using | LatticeT |
| using | has_meet |
| Trait to check if T provides a meet method. | |
| using | lattice_has_meet |
| Protected Attributes inherited from mlir::AnalysisState | |
| LatticeAnchor | anchor |
| The lattice anchor to which the state belongs. | |
Detailed Description
This lattice element represents the integer value range of an SSA value.
When this lattice is updated, it automatically updates the constant value of the SSA value (if the range can be narrowed to one).
Definition at line 31 of file IntegerRangeAnalysis.h.
Member Function Documentation
◆ onUpdate()
|
overridevirtual |
If the range can be narrowed to an integer constant, update the constant value of the SSA value.
Reimplemented from mlir::dataflow::AbstractSparseLattice.
Definition at line 62 of file IntegerRangeAnalysis.cpp.
References mlir::AnalysisState::anchor, mlir::AnalysisState::DataFlowSolver, mlir::debugString(), mlir::DenseElementsAttr::get(), mlir::ConstantIntRanges::getConstantValue(), mlir::DataFlowSolver::getOrCreateState(), mlir::dataflow::ConstantValue::getUnknownConstant(), mlir::dataflow::Lattice< IntegerValueRange >::getValue(), mlir::IntegerValueRange::getValue(), mlir::dataflow::AbstractSparseLattice::onUpdate(), and mlir::DataFlowSolver::propagateIfChanged().
The documentation for this class was generated from the following files:
- include/mlir/Analysis/DataFlow/IntegerRangeAnalysis.h
- lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp
Generated on for MLIR by
1.14.0