llzk::dataflow::AbstractSparseForwardDataFlowAnalysis Member List

This is the complete list of members for llzk::dataflow::AbstractSparseForwardDataFlowAnalysis, including all inherited members.

AbstractSparseForwardDataFlowAnalysis(mlir::DataFlowSolver &solver)	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	explicitprotected
getLatticeElement(mlir::Value value)=0	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protectedpure virtual
getLatticeElementFor(mlir::ProgramPoint *point, mlir::Value value)	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protected
initialize(mlir::Operation *top) override	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
join(AbstractSparseLattice *lhs, const AbstractSparseLattice &rhs)	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protected
setAllToEntryStates(mlir::ArrayRef< AbstractSparseLattice * > lattices)	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protected
setToEntryState(AbstractSparseLattice *lattice)=0	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protectedpure virtual
tables	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protected
visit(mlir::ProgramPoint *point) override	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
visitExternalCallImpl(mlir::CallOpInterface call, mlir::ArrayRef< const AbstractSparseLattice * > argumentLattices, mlir::ArrayRef< AbstractSparseLattice * > resultLattices)=0	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protectedpure virtual
visitNonControlFlowArgumentsImpl(mlir::Operation *op, const mlir::RegionSuccessor &successor, mlir::ArrayRef< AbstractSparseLattice * > argLattices, unsigned firstIndex)=0	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protectedpure virtual
visitOperationImpl(mlir::Operation *op, mlir::ArrayRef< const AbstractSparseLattice * > operandLattices, mlir::ArrayRef< AbstractSparseLattice * > resultLattices)=0	llzk::dataflow::AbstractSparseForwardDataFlowAnalysis	protectedpure virtual