LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::dataflow::AbstractDenseForwardDataFlowAnalysis Member List

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

getLattice(mlir::ProgramPoint point)=0llzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotectedpure virtual
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(AbstractDenseLattice *lattice)=0llzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotectedpure virtual
tablesllzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotected
visit(mlir::ProgramPoint point) overridellzk::dataflow::AbstractDenseForwardDataFlowAnalysis
visitCallControlFlowTransfer(mlir::CallOpInterface call, CallControlFlowAction action, const AbstractDenseLattice &before, AbstractDenseLattice *after)llzk::dataflow::AbstractDenseForwardDataFlowAnalysisinlineprotectedvirtual
visitOperationImpl(mlir::Operation *op, const AbstractDenseLattice &before, AbstractDenseLattice *after)=0llzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotectedpure virtual
visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const AbstractDenseLattice &before, AbstractDenseLattice *after)llzk::dataflow::AbstractDenseForwardDataFlowAnalysisinlineprotectedvirtual
visitRegionBranchOperation(mlir::ProgramPoint point, mlir::RegionBranchOpInterface branch, AbstractDenseLattice *after)llzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotected