|
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::LatticeAnchor anchor)=0 | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protectedpure virtual |
| 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(AbstractDenseLattice *lattice)=0 | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protectedpure virtual |
| tables | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | protected |
| visit(mlir::ProgramPoint *point) override | llzk::dataflow::AbstractDenseForwardDataFlowAnalysis | |
| visitCallControlFlowTransfer(mlir::CallOpInterface, 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, 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 |