A dense forward data-flow analysis for propagating lattices before and after the execution of every operation across the IR by implementing transfer functions for operations. More...
#include "mlir/Analysis/DataFlow/DenseAnalysis.h"
Inheritance diagram for mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >:
Public Member Functions | |
| virtual void | visitOperation (Operation *op, const LatticeT &before, LatticeT *after)=0 |
| Visit an operation with the dense lattice before its execution. More... | |
| virtual void | visitCallControlFlowTransfer (CallOpInterface call, CallControlFlowAction action, const LatticeT &before, LatticeT *after) |
| Hook for customizing the behavior of lattice propagation along the call control flow edges. More... | |
| virtual void | visitRegionBranchControlFlowTransfer (RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const LatticeT &before, LatticeT *after) |
| Hook for customizing the behavior of lattice propagation along the control flow edges between regions and their parent op. More... | |
| Public Member Functions inherited from mlir::dataflow::AbstractDenseForwardDataFlowAnalysis | |
| LogicalResult | initialize (Operation *top) override |
| Initialize the analysis by visiting every program point whose execution may modify the program state; that is, every operation and block. More... | |
| LogicalResult | visit (ProgramPoint point) override |
| Visit a program point that modifies the state of the program. More... | |
| DataFlowAnalysis (DataFlowSolver &solver) | |
| Create an analysis with a reference to the parent solver. More... | |
| Public Member Functions inherited from mlir::DataFlowAnalysis | |
| virtual | ~DataFlowAnalysis () |
| DataFlowAnalysis (DataFlowSolver &solver) | |
| Create an analysis with a reference to the parent solver. More... | |
Protected Member Functions | |
| LatticeT * | getLattice (ProgramPoint point) override |
| Get the dense lattice after this program point. More... | |
| virtual void | setToEntryState (LatticeT *lattice)=0 |
| Set the dense lattice at control flow entry point and propagate an update if it changed. More... | |
| void | setToEntryState (AbstractDenseLattice *lattice) override |
| Set the dense lattice at control flow entry point and propagate an update if it changed. More... | |
| void | visitOperationImpl (Operation *op, const AbstractDenseLattice &before, AbstractDenseLattice *after) final |
| Type-erased wrappers that convert the abstract dense lattice to a derived lattice and invoke the virtual hooks operating on the derived lattice. More... | |
| void | visitCallControlFlowTransfer (CallOpInterface call, CallControlFlowAction action, const AbstractDenseLattice &before, AbstractDenseLattice *after) final |
| Propagate the dense lattice forward along the call control flow edge, which can be either entering or exiting the callee. More... | |
| void | visitRegionBranchControlFlowTransfer (RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const AbstractDenseLattice &before, AbstractDenseLattice *after) final |
Propagate the dense lattice forward along the control flow edge from regionFrom to regionTo regions of the branch operation. More... | |
| Protected Member Functions inherited from mlir::dataflow::AbstractDenseForwardDataFlowAnalysis | |
| const AbstractDenseLattice * | getLatticeFor (ProgramPoint dependent, ProgramPoint point) |
| Get the dense lattice after the execution of the given program point and add it as a dependency to a program point. More... | |
| void | join (AbstractDenseLattice *lhs, const AbstractDenseLattice &rhs) |
| Join a lattice with another and propagate an update if it changed. More... | |
| virtual void | processOperation (Operation *op) |
| Visit an operation. More... | |
| void | visitRegionBranchOperation (ProgramPoint point, RegionBranchOpInterface branch, AbstractDenseLattice *after) |
| Visit a program point within a region branch operation with predecessors in it. More... | |
| Protected Member Functions inherited from mlir::DataFlowAnalysis | |
| void | addDependency (AnalysisState *state, ProgramPoint point) |
| Create a dependency between the given analysis state and program point on this analysis. More... | |
| void | propagateIfChanged (AnalysisState *state, ChangeResult changed) |
| Propagate an update to a state if it changed. More... | |
| template<typename PointT > | |
| void | registerPointKind () |
| Register a custom program point class. More... | |
| template<typename PointT , typename... Args> | |
| PointT * | getProgramPoint (Args &&...args) |
| Get or create a custom program point. More... | |
| template<typename StateT , typename PointT > | |
| StateT * | getOrCreate (PointT point) |
| Get the analysis state associated with the program point. More... | |
| template<typename StateT , typename PointT > | |
| const StateT * | getOrCreateFor (ProgramPoint dependent, PointT point) |
Get a read-only analysis state for the given point and create a dependency on dependent. More... | |
| const DataFlowConfig & | getSolverConfig () const |
| Return the configuration of the solver used for this analysis. More... | |
Detailed Description
template<typename LatticeT>
class mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >
A dense forward data-flow analysis for propagating lattices before and after the execution of every operation across the IR by implementing transfer functions for operations.
LatticeT is expected to be a subclass of AbstractDenseLattice.
Definition at line 181 of file DenseAnalysis.h.
Member Function Documentation
◆ getLattice()
|
inlineoverrideprotectedvirtual |
Get the dense lattice after this program point.
Implements mlir::dataflow::AbstractDenseForwardDataFlowAnalysis.
Definition at line 253 of file DenseAnalysis.h.
◆ setToEntryState() [1/2]
|
inlineoverrideprotectedvirtual |
Set the dense lattice at control flow entry point and propagate an update if it changed.
Implements mlir::dataflow::AbstractDenseForwardDataFlowAnalysis.
Definition at line 260 of file DenseAnalysis.h.
References mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >::setToEntryState().
◆ setToEntryState() [2/2]
|
protectedpure virtual |
Set the dense lattice at control flow entry point and propagate an update if it changed.
Referenced by mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >::setToEntryState().
◆ visitCallControlFlowTransfer() [1/2]
|
inlinefinalprotectedvirtual |
Propagate the dense lattice forward along the call control flow edge, which can be either entering or exiting the callee.
Default implementation for enter and exit callee actions just meets the states, meaning that operations implementing CallOpInterface don't have any effect on the lattice that isn't already expressed by the interface itself. Default implementation for the external callee action additionally sets the "after" lattice to the entry state.
Reimplemented from mlir::dataflow::AbstractDenseForwardDataFlowAnalysis.
Definition at line 271 of file DenseAnalysis.h.
References mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >::visitCallControlFlowTransfer().
◆ visitCallControlFlowTransfer() [2/2]
|
inlinevirtual |
Hook for customizing the behavior of lattice propagation along the call control flow edges.
Two types of (forward) propagation are possible here:
action == CallControlFlowAction::Enterindicates that:beforeis the state before the call operation;afteris the state at the beginning of the callee entry block;
action == CallControlFlowAction::Exitindicates that:beforeis the state at the end of a callee exit block;afteris the state after the call operation. By default, theafterstate is simply joined with thebeforestate. Concrete analyses can override this behavior or delegate to the parent call for the default behavior. Specifically, if thecallop may affect the lattice prior to entering the callee, the custom behavior can be added foraction == CallControlFlowAction::Enter. If thecallop may affect the lattice post exiting the callee, the custom behavior can be added foraction == CallControlFlowAction::Exit.
Definition at line 212 of file DenseAnalysis.h.
References mlir::dataflow::AbstractDenseForwardDataFlowAnalysis::visitCallControlFlowTransfer().
Referenced by mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >::visitCallControlFlowTransfer().
◆ visitOperation()
|
pure virtual |
Visit an operation with the dense lattice before its execution.
This function is expected to set the dense lattice after its execution and trigger change propagation in case of change.
◆ visitOperationImpl()
|
inlinefinalprotectedvirtual |
Type-erased wrappers that convert the abstract dense lattice to a derived lattice and invoke the virtual hooks operating on the derived lattice.
Implements mlir::dataflow::AbstractDenseForwardDataFlowAnalysis.
Definition at line 266 of file DenseAnalysis.h.
◆ visitRegionBranchControlFlowTransfer() [1/2]
|
inlinefinalprotectedvirtual |
Propagate the dense lattice forward along the control flow edge from regionFrom to regionTo regions of the branch operation.
nullopt values correspond to control flow branches originating at or targeting the branch operation itself. Default implementation just joins the states, meaning that operations implementing RegionBranchOpInterface don't have any effect on the lattice that isn't already expressed by the interface itself.
Reimplemented from mlir::dataflow::AbstractDenseForwardDataFlowAnalysis.
Definition at line 279 of file DenseAnalysis.h.
References mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >::visitRegionBranchControlFlowTransfer().
◆ visitRegionBranchControlFlowTransfer() [2/2]
|
inlinevirtual |
Hook for customizing the behavior of lattice propagation along the control flow edges between regions and their parent op.
The control flows from regionFrom to regionTo, both of which may be nullopt to indicate the parent op. The lattice is propagated forward along this edge. The lattices are as follows:
before:- if
regionFromis a region, this is the lattice at the end of the block that exits the region; note that for multi-exit regions, the lattices are equal at the end of all exiting blocks, but they are associated with different program points. - otherwise, this is the lattice before the parent op.
- if
after:- if
regionTois a region, this is the lattice at the beginning of the entry block of that region; - otherwise, this is the lattice after the parent op. By default, the
afterstate is simply joined with thebeforestate. Concrete analyses can override this behavior or delegate to the parent call for the default behavior. Specifically, if thebranchop may affect the lattice before entering any region, the custom behavior can be added forregionFrom == nullopt. If thebranchop may affect the lattice after all terminated, the custom behavior can be added forregionTo == nullptr. The behavior can be further refined for specific pairs of "from" and "to" regions.
- if
Definition at line 243 of file DenseAnalysis.h.
References mlir::dataflow::AbstractDenseForwardDataFlowAnalysis::visitRegionBranchControlFlowTransfer().
Referenced by mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >::visitRegionBranchControlFlowTransfer().
The documentation for this class was generated from the following file:
- include/mlir/Analysis/DataFlow/DenseAnalysis.h
