LLZK 0.1.0
Veridise's ZK Language IR
|
This is the complete list of members for llzk::dataflow::AbstractDenseForwardDataFlowAnalysis, including all inherited members.
getLattice(mlir::ProgramPoint point)=0 | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protectedpure virtual |
getLatticeFor(mlir::ProgramPoint dependent, mlir::ProgramPoint point) | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protected |
initialize(mlir::Operation *top) override | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | |
join(AbstractDenseLattice *lhs, const AbstractDenseLattice &rhs) | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | inlineprotected |
processOperation(mlir::Operation *op) | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protectedvirtual |
setToEntryState(AbstractDenseLattice *lattice)=0 | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protectedpure virtual |
tables | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protected |
visit(mlir::ProgramPoint point) override | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | |
visitCallControlFlowTransfer(mlir::CallOpInterface call, CallControlFlowAction action, const AbstractDenseLattice &before, AbstractDenseLattice *after) | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | inlineprotectedvirtual |
visitOperationImpl(mlir::Operation *op, const AbstractDenseLattice &before, AbstractDenseLattice *after)=0 | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protectedpure virtual |
visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const AbstractDenseLattice &before, AbstractDenseLattice *after) | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | inlineprotectedvirtual |
visitRegionBranchOperation(mlir::ProgramPoint point, mlir::RegionBranchOpInterface branch, AbstractDenseLattice *after) | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protected |