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

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

arraySubdivisionOpUpdate(array::ArrayAccessOpInterface op, const SourceRefLattice::ValueMap &operandVals, const SourceRefLattice &before, SourceRefLattice *after)llzk::SourceRefAnalysisprotected
fallbackOpUpdate(mlir::Operation *op, const SourceRefLattice::ValueMap &operandVals, const SourceRefLattice &before, SourceRefLattice *after)llzk::SourceRefAnalysisprotected
getLattice(mlir::LatticeAnchor anchor) overridellzk::dataflow::DenseForwardDataFlowAnalysis< SourceRefLattice >inlineprotectedvirtual
getLatticeFor(mlir::ProgramPoint *dependent, mlir::LatticeAnchor anchor)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(SourceRefLattice *lattice) overridellzk::SourceRefAnalysisinlineprotectedvirtual
llzk::dataflow::AbstractDenseForwardDataFlowAnalysis::setToEntryState(AbstractDenseLattice *lattice)=0llzk::dataflow::AbstractDenseForwardDataFlowAnalysisprotectedpure virtual
visit(mlir::ProgramPoint *point) overridellzk::dataflow::AbstractDenseForwardDataFlowAnalysis
visitCallControlFlowTransfer(mlir::CallOpInterface call, dataflow::CallControlFlowAction action, const SourceRefLattice &before, SourceRefLattice *after) overridellzk::SourceRefAnalysisvirtual
llzk::dataflow::AbstractDenseForwardDataFlowAnalysis::visitCallControlFlowTransfer(mlir::CallOpInterface, CallControlFlowAction action, const AbstractDenseLattice &before, AbstractDenseLattice *after)llzk::dataflow::AbstractDenseForwardDataFlowAnalysisinlineprotectedvirtual
visitOperation(mlir::Operation *op, const SourceRefLattice &before, SourceRefLattice *after) overridellzk::SourceRefAnalysisvirtual
visitOperationImpl(mlir::Operation *op, const AbstractDenseLattice &before, AbstractDenseLattice *after) finalllzk::dataflow::DenseForwardDataFlowAnalysis< SourceRefLattice >inlineprotectedvirtual
visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const SourceRefLattice &before, SourceRefLattice *after)llzk::dataflow::DenseForwardDataFlowAnalysis< SourceRefLattice >inlinevirtual
llzk::dataflow::AbstractDenseForwardDataFlowAnalysis::visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface, 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