|
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::LatticeAnchor anchor) override | llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT > | inlineprotectedvirtual |
| getLatticeFor(mlir::ProgramPoint *dependent, mlir::LatticeAnchor anchor) | 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 |