LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
AnalysisUtil.h File Reference
#include <mlir/Analysis/DataFlowFramework.h>
Include dependency graph for AnalysisUtil.h:
This graph shows which files directly or indirectly include this file:

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.