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

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

getLattice(mlir::ProgramPoint point) overridellzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >inlineprotectedvirtual
getLatticeFor(mlir::ProgramPoint dependent, mlir::ProgramPoint point)llzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotected
initialize(mlir::Operation *top) overridellzk::dataflow::AbstractDenseForwardDataFlowAnalysis
join(AbstractDenseLattice *lhs, const AbstractDenseLattice &rhs)llzk::dataflow::AbstractDenseForwardDataFlowAnalysisinlineprotected
processOperation(mlir::Operation *op)llzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotectedvirtual
setToEntryState(LatticeT *lattice)=0llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >protectedpure virtual
setToEntryState(AbstractDenseLattice *lattice) overridellzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >inlineprotectedvirtual
tablesllzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotected
visit(mlir::ProgramPoint point) overridellzk::dataflow::AbstractDenseForwardDataFlowAnalysis
visitCallControlFlowTransfer(mlir::CallOpInterface call, CallControlFlowAction action, const LatticeT &before, LatticeT *after)llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >inlinevirtual
visitCallControlFlowTransfer(mlir::CallOpInterface call, CallControlFlowAction action, const AbstractDenseLattice &before, AbstractDenseLattice *after) finalllzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >inlineprotectedvirtual
visitOperation(mlir::Operation *op, const LatticeT &before, LatticeT *after)=0llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >pure virtual
visitOperationImpl(mlir::Operation *op, const AbstractDenseLattice &before, AbstractDenseLattice *after) finalllzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >inlineprotectedvirtual
visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const LatticeT &before, LatticeT *after)llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >inlinevirtual
visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const AbstractDenseLattice &before, AbstractDenseLattice *after) finalllzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >inlineprotectedvirtual
visitRegionBranchOperation(mlir::ProgramPoint point, mlir::RegionBranchOpInterface branch, AbstractDenseLattice *after)llzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotected