|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Analysis/AnalysisUtil.h"#include <mlir/Analysis/DataFlow/ConstantPropagationAnalysis.h>#include <mlir/Analysis/DataFlow/DeadCodeAnalysis.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::dataflow |
Typedefs | |
| using | Executable = mlir::dataflow::Executable |
Functions | |
| void | llzk::dataflow::loadRequiredAnalyses (DataFlowSolver &solver) |
| LogicalResult | llzk::dataflow::loadAndRunRequiredAnalyses (DataFlowSolver &solver, Operation *op) |
| using Executable = mlir::dataflow::Executable |
Definition at line 17 of file AnalysisUtil.cpp.