MLIR  17.0.0git
Classes
mlir::dataflow Namespace Reference

Classes

class  ConstantValue
 This lattice value represents a known constant value of a lattice. More...
 
class  SparseConstantPropagation
 This analysis implements sparse constant propagation, which attempts to determine constant-valued results for operations using constant-valued operands, by speculatively folding operations. More...
 
class  Executable
 This is a simple analysis state that represents whether the associated program point (either a block or a control-flow edge) is live. More...
 
class  PredecessorState
 This analysis state represents a set of live control-flow "predecessors" of a program point (either an operation or a block), which are the last operations along all execution paths that pass through this point. More...
 
class  CFGEdge
 This program point represents a control-flow edge between a block and one of its successors. More...
 
class  DeadCodeAnalysis
 Dead code analysis analyzes control-flow, as understood by RegionBranchOpInterface and BranchOpInterface, and the callgraph, as understood by CallableOpInterface and CallOpInterface. More...
 
class  AbstractDenseLattice
 This class represents a dense lattice. More...
 
class  AbstractDenseDataFlowAnalysis
 Base class for dense data-flow analyses. More...
 
class  DenseDataFlowAnalysis
 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...
 
class  IntegerValueRange
 This lattice value represents the integer range of an SSA value. More...
 
class  IntegerValueRangeLattice
 This lattice element represents the integer value range of an SSA value. More...
 
class  IntegerRangeAnalysis
 Integer range analysis determines the integer value range of SSA values using operations that define InferIntRangeInterface and also sets the range of iteration indices of loops with known bounds. More...
 
class  AbstractSparseLattice
 This class represents an abstract lattice. More...
 
class  Lattice
 This class represents a lattice holding a specific value of type ValueT. More...
 
class  AbstractSparseDataFlowAnalysis
 Base class for sparse (forward) data-flow analyses. More...
 
class  SparseDataFlowAnalysis
 A sparse (forward) data-flow analysis for propagating SSA value lattices across the IR by implementing transfer functions for operations. More...
 
class  AbstractSparseBackwardDataFlowAnalysis
 Base class for sparse (backward) data-flow analyses. More...
 
class  SparseBackwardDataFlowAnalysis
 A sparse (backward) data-flow analysis for propagating SSA value lattices backwards across the IR by implementing transfer functions for operations. More...