LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::dataflow::SparseForwardDataFlowAnalysis< StateT > Member List

This is the complete list of members for llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >, including all inherited members.

AbstractSparseForwardDataFlowAnalysis(mlir::DataFlowSolver &solver)llzk::dataflow::AbstractSparseForwardDataFlowAnalysisexplicitprotected
getLatticeElement(mlir::Value value) overridellzk::dataflow::SparseForwardDataFlowAnalysis< StateT >inlineprotectedvirtual
getLatticeElementFor(mlir::ProgramPoint *point, mlir::Value value)llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >inlineprotected
initialize(mlir::Operation *top) overridellzk::dataflow::AbstractSparseForwardDataFlowAnalysis
join(AbstractSparseLattice *lhs, const AbstractSparseLattice &rhs)llzk::dataflow::AbstractSparseForwardDataFlowAnalysisprotected
setAllToEntryStates(mlir::ArrayRef< StateT * > lattices)llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >inlineprotected
llzk::dataflow::AbstractSparseForwardDataFlowAnalysis::setAllToEntryStates(mlir::ArrayRef< AbstractSparseLattice * > lattices)llzk::dataflow::AbstractSparseForwardDataFlowAnalysisprotected
setToEntryState(StateT *lattice)=0llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >protectedpure virtual
SparseForwardDataFlowAnalysis(mlir::DataFlowSolver &s)llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >inlineexplicit
tablesllzk::dataflow::AbstractSparseForwardDataFlowAnalysisprotected
visit(mlir::ProgramPoint *point) overridellzk::dataflow::AbstractSparseForwardDataFlowAnalysis
visitExternalCall(mlir::CallOpInterface call, mlir::ArrayRef< const StateT * > argumentLattices, mlir::ArrayRef< StateT * > resultLattices)llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >inlinevirtual
visitNonControlFlowArguments(mlir::Operation *op, const mlir::RegionSuccessor &successor, mlir::ArrayRef< StateT * > argLattices, unsigned firstIndex)llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >inlinevirtual
visitOperation(mlir::Operation *op, mlir::ArrayRef< const StateT * > operands, mlir::ArrayRef< StateT * > results)=0llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >pure virtual