LLZK 0.1.0
Veridise's ZK Language IR
|
This is the complete list of members for llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >, including all inherited members.
getLattice(mlir::ProgramPoint point) override | llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT > | inlineprotectedvirtual |
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(LatticeT *lattice)=0 | llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT > | protectedpure virtual |
setToEntryState(AbstractDenseLattice *lattice) override | llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT > | inlineprotectedvirtual |
tables | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protected |
visit(mlir::ProgramPoint point) override | llzk::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) final | llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT > | inlineprotectedvirtual |
visitOperation(mlir::Operation *op, const LatticeT &before, LatticeT *after)=0 | llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT > | pure virtual |
visitOperationImpl(mlir::Operation *op, const AbstractDenseLattice &before, AbstractDenseLattice *after) final | llzk::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) final | llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT > | inlineprotectedvirtual |
visitRegionBranchOperation(mlir::ProgramPoint point, mlir::RegionBranchOpInterface branch, AbstractDenseLattice *after) | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protected |