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

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

Base typedefllzk::PredecessorAnalysis
PredecessorAnalysis(DataFlowSolver &s, raw_ostream &ro)llzk::PredecessorAnalysisinline
setToEntryState(PredecessorLattice *lattice) overridellzk::PredecessorAnalysisinlineprotected
visitCallControlFlowTransfer(CallOpInterface call, mlir::dataflow::CallControlFlowAction action, const PredecessorLattice &before, PredecessorLattice *after) overridellzk::PredecessorAnalysisinline
visitOperation(Operation *op, const PredecessorLattice &before, PredecessorLattice *after) overridellzk::PredecessorAnalysisinline
visitRegionBranchControlFlowTransfer(RegionBranchOpInterface branch, std::optional< unsigned >, std::optional< unsigned >, const PredecessorLattice &before, PredecessorLattice *after) overridellzk::PredecessorAnalysisinline