LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::SourceRefAnalysis Member List

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

AbstractSparseForwardDataFlowAnalysis(mlir::DataFlowSolver &solver)llzk::dataflow::AbstractSparseForwardDataFlowAnalysisexplicitprotected
arraySubdivisionOpUpdate(array::ArrayAccessOpInterface op, const OperandValues &operandVals)llzk::SourceRefAnalysisprotectedstatic
Base typedefllzk::SourceRefAnalysis
fallbackOpUpdate(mlir::Operation *op, const OperandValues &operandVals, mlir::ArrayRef< Lattice * > results)llzk::SourceRefAnalysisprotectedstatic
getLattice(mlir::DataFlowSolver &solver, mlir::Value val)llzk::SourceRefAnalysisstatic
getLatticeElement(mlir::Value value) overridellzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice >inlineprotectedvirtual
getLatticeElementFor(mlir::ProgramPoint *point, mlir::Value value)llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice >inlineprotected
getValueState(mlir::DataFlowSolver &solver, mlir::Value val)llzk::SourceRefAnalysisstatic
getWriteTargetState(mlir::DataFlowSolver &solver, mlir::Operation *op)llzk::SourceRefAnalysisstatic
initialize(mlir::Operation *top) overridellzk::dataflow::AbstractSparseForwardDataFlowAnalysis
join(AbstractSparseLattice *lhs, const AbstractSparseLattice &rhs)llzk::dataflow::AbstractSparseForwardDataFlowAnalysisprotected
Lattice typedefllzk::SourceRefAnalysis
OperandValues typedefllzk::SourceRefAnalysis
setAllToEntryStates(mlir::ArrayRef< SourceRefLattice * > lattices)llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice >inlineprotected
llzk::dataflow::AbstractSparseForwardDataFlowAnalysis::setAllToEntryStates(mlir::ArrayRef< AbstractSparseLattice * > lattices)llzk::dataflow::AbstractSparseForwardDataFlowAnalysisprotected
setToEntryState(Lattice *lattice) overridellzk::SourceRefAnalysisprotectedvirtual
llzk::dataflow::AbstractSparseForwardDataFlowAnalysis::setToEntryState(AbstractSparseLattice *lattice)=0llzk::dataflow::AbstractSparseForwardDataFlowAnalysisprotectedpure virtual
SparseForwardDataFlowAnalysis(mlir::DataFlowSolver &s)llzk::SourceRefAnalysisinlineexplicit
visit(mlir::ProgramPoint *point) overridellzk::dataflow::AbstractSparseForwardDataFlowAnalysis
visitExternalCall(mlir::CallOpInterface call, mlir::ArrayRef< const Lattice * > argumentLattices, mlir::ArrayRef< Lattice * > resultLattices) overridellzk::SourceRefAnalysisvirtual
visitNonControlFlowArguments(mlir::Operation *, const mlir::RegionSuccessor &successor, mlir::ArrayRef< SourceRefLattice * > argLattices, unsigned firstIndex)llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice >inlinevirtual
visitOperation(mlir::Operation *op, mlir::ArrayRef< const Lattice * > operands, mlir::ArrayRef< Lattice * > results) overridellzk::SourceRefAnalysisvirtual