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 LogicalResult | 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... | |
| virtual void | initializeEquivalentLatticeAnchor (Operation *top) override |
| Initialize lattice anchor equivalence class from the provided top-level operation. 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 (LatticeAnchor anchor) override |
| Get the dense lattice on this lattice anchor. More... | |
| const AbstractDenseLattice * | getLatticeFor (ProgramPoint *dependent, LatticeAnchor anchor) override |
| Get the dense lattice on the given lattice anchor and add dependent as its dependency. 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... | |
| LogicalResult | 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 | |
| void | join (AbstractDenseLattice *lhs, const AbstractDenseLattice &rhs) |
| Join a lattice with another and propagate an update if it changed. More... | |
| virtual LogicalResult | processOperation (Operation *op) |
| Visit an operation. More... | |
| virtual void | buildOperationEquivalentLatticeAnchor (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 lattice anchor on this analysis. More... | |
| void | propagateIfChanged (AnalysisState *state, ChangeResult changed) |
| Propagate an update to a state if it changed. More... | |
| template<typename AnchorT > | |
| void | registerAnchorKind () |
| Register a custom lattice anchor class. More... | |
| template<typename AnchorT , typename... Args> | |
| AnchorT * | getLatticeAnchor (Args &&...args) |
| Get or create a custom lattice anchor. More... | |
| template<typename StateT , typename AnchorT > | |
| void | unionLatticeAnchors (AnchorT anchor, AnchorT other) |
| Union input anchors under the given state. More... | |
| template<typename StateT , typename AnchorT > | |
| StateT * | getOrCreate (AnchorT anchor) |
| Get the analysis state associated with the lattice anchor. More... | |
| template<typename StateT , typename AnchorT > | |
| const StateT * | getOrCreateFor (ProgramPoint *dependent, AnchorT anchor) |
Get a read-only analysis state for the given point and create a dependency on dependent. More... | |
| ProgramPoint * | getProgramPointBefore (Operation *op) |
| Get a uniqued program point instance. More... | |
| ProgramPoint * | getProgramPointBefore (Block *block) |
| ProgramPoint * | getProgramPointAfter (Operation *op) |
| ProgramPoint * | getProgramPointAfter (Block *block) |
| 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 192 of file DenseAnalysis.h.
Member Function Documentation
◆ getLattice()
|
inlineoverrideprotectedvirtual |
Get the dense lattice on this lattice anchor.
Implements mlir::dataflow::AbstractDenseForwardDataFlowAnalysis.
Definition at line 264 of file DenseAnalysis.h.
◆ getLatticeFor()
|
inlineoverrideprotectedvirtual |
Get the dense lattice on the given lattice anchor and add dependent as its dependency.
That is, every time the lattice after anchor is updated, the dependent program point must be visited, and the newly triggered visit might update the lattice on dependent.
Implements mlir::dataflow::AbstractDenseForwardDataFlowAnalysis.
Definition at line 272 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 280 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 292 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 223 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.
Referenced by mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >::visitOperationImpl().
◆ 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 286 of file DenseAnalysis.h.
References mlir::dataflow::DenseForwardDataFlowAnalysis< LatticeT >::visitOperation().
◆ 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 300 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 254 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
