|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This is the complete list of members for llzk::SourceRefAnalysis, including all inherited members.
| AbstractSparseForwardDataFlowAnalysis(mlir::DataFlowSolver &solver) | llzk::dataflow::AbstractSparseForwardDataFlowAnalysis | explicitprotected |
| arraySubdivisionOpUpdate(array::ArrayAccessOpInterface op, const OperandValues &operandVals) | llzk::SourceRefAnalysis | protectedstatic |
| Base typedef | llzk::SourceRefAnalysis | |
| fallbackOpUpdate(mlir::Operation *op, const OperandValues &operandVals, mlir::ArrayRef< Lattice * > results) | llzk::SourceRefAnalysis | protectedstatic |
| getLattice(mlir::DataFlowSolver &solver, mlir::Value val) | llzk::SourceRefAnalysis | static |
| getLatticeElement(mlir::Value value) override | llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice > | inlineprotectedvirtual |
| getLatticeElementFor(mlir::ProgramPoint *point, mlir::Value value) | llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice > | inlineprotected |
| getValueState(mlir::DataFlowSolver &solver, mlir::Value val) | llzk::SourceRefAnalysis | static |
| getWriteTargetState(mlir::DataFlowSolver &solver, mlir::Operation *op) | llzk::SourceRefAnalysis | static |
| initialize(mlir::Operation *top) override | llzk::dataflow::AbstractSparseForwardDataFlowAnalysis | |
| join(AbstractSparseLattice *lhs, const AbstractSparseLattice &rhs) | llzk::dataflow::AbstractSparseForwardDataFlowAnalysis | protected |
| Lattice typedef | llzk::SourceRefAnalysis | |
| OperandValues typedef | llzk::SourceRefAnalysis | |
| setAllToEntryStates(mlir::ArrayRef< SourceRefLattice * > lattices) | llzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice > | inlineprotected |
| llzk::dataflow::AbstractSparseForwardDataFlowAnalysis::setAllToEntryStates(mlir::ArrayRef< AbstractSparseLattice * > lattices) | llzk::dataflow::AbstractSparseForwardDataFlowAnalysis | protected |
| setToEntryState(Lattice *lattice) override | llzk::SourceRefAnalysis | protectedvirtual |
| llzk::dataflow::AbstractSparseForwardDataFlowAnalysis::setToEntryState(AbstractSparseLattice *lattice)=0 | llzk::dataflow::AbstractSparseForwardDataFlowAnalysis | protectedpure virtual |
| SparseForwardDataFlowAnalysis(mlir::DataFlowSolver &s) | llzk::SourceRefAnalysis | inlineexplicit |
| visit(mlir::ProgramPoint *point) override | llzk::dataflow::AbstractSparseForwardDataFlowAnalysis | |
| visitExternalCall(mlir::CallOpInterface call, mlir::ArrayRef< const Lattice * > argumentLattices, mlir::ArrayRef< Lattice * > resultLattices) override | llzk::SourceRefAnalysis | virtual |
| 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) override | llzk::SourceRefAnalysis | virtual |