|
LLZK 2.1.1
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>#include <mlir/IR/Operation.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) |
| bool | llzk::dataflow::isOperationLive (DataFlowSolver &solver, Operation *op) |
| using Executable = mlir::dataflow::Executable |
Definition at line 18 of file AnalysisUtil.cpp.