|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This file implements the -llzk-print-predecessors pass. More...
#include "llzk/Analysis/AnalysisPasses.h"#include "llzk/Analysis/AnalysisUtil.h"#include "llzk/Dialect/Function/IR/Ops.h"#include <mlir/Analysis/DataFlow/ConstantPropagationAnalysis.h>#include <mlir/Analysis/DataFlow/DeadCodeAnalysis.h>#include <mlir/Analysis/DataFlow/DenseAnalysis.h>#include <mlir/Analysis/DataFlowFramework.h>#include <llvm/ADT/MapVector.h>#include <llvm/ADT/SetVector.h>#include <llvm/Support/ErrorHandling.h>#include "llzk/Analysis/AnalysisPasses.h.inc"Go to the source code of this file.
Classes | |
| struct | llzk::PredecessorPrinterPassOptions |
| class | llzk::impl::PredecessorPrinterPassBase< DerivedT > |
| class | llzk::PredecessorLattice |
| class | llzk::PredecessorAnalysis |
| class | llzk::PredecessorPrinterPass |
Namespaces | |
| namespace | llzk |
| namespace | llzk::impl |
Macros | |
| #define | GEN_PASS_DECL_PREDECESSORPRINTERPASS |
| #define | GEN_PASS_DEF_PREDECESSORPRINTERPASS |
Functions | |
| raw_ostream & | llzk::printRegionless (raw_ostream &os, Operation *op, bool withParent=false) |
| Prints op without region. | |
| std::unique_ptr< mlir::Pass > | llzk::createPredecessorPrinterPass () |
This file implements the -llzk-print-predecessors pass.
Definition in file PredecessorAnalysisPass.cpp.
| #define GEN_PASS_DECL_PREDECESSORPRINTERPASS |
Definition at line 34 of file PredecessorAnalysisPass.cpp.
| #define GEN_PASS_DEF_PREDECESSORPRINTERPASS |
Definition at line 35 of file PredecessorAnalysisPass.cpp.