|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This is the complete list of members for llzk::PredecessorAnalysis, including all inherited members.
| Base typedef | llzk::PredecessorAnalysis | |
| PredecessorAnalysis(DataFlowSolver &s, raw_ostream &ro) | llzk::PredecessorAnalysis | inline |
| setToEntryState(PredecessorLattice *lattice) override | llzk::PredecessorAnalysis | inlineprotected |
| visitCallControlFlowTransfer(CallOpInterface call, mlir::dataflow::CallControlFlowAction action, const PredecessorLattice &before, PredecessorLattice *after) override | llzk::PredecessorAnalysis | inline |
| visitOperation(Operation *op, const PredecessorLattice &before, PredecessorLattice *after) override | llzk::PredecessorAnalysis | inline |
| visitRegionBranchControlFlowTransfer(RegionBranchOpInterface branch, std::optional< unsigned >, std::optional< unsigned >, const PredecessorLattice &before, PredecessorLattice *after) override | llzk::PredecessorAnalysis | inline |