|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir/Analysis/DataFlowFramework.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::dataflow |
Functions | |
| void | llzk::dataflow::loadRequiredAnalyses (mlir::DataFlowSolver &solver) |
| Loads analyses required to initialize the Executable and PredecessorState analysis states, which are required for the MLIR Dataflow analyses to properly traverse the LLZK IR. | |
| mlir::LogicalResult | llzk::dataflow::loadAndRunRequiredAnalyses (mlir::DataFlowSolver &solver, mlir::Operation *op) |
| Loads and runs analyses required to initialize the Executable and PredecessorState analysis states, which are required for the MLIR Dataflow analyses to properly traverse the LLZK IR. | |