|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
This file implements the -llzk-print-interval-analysis pass. More...
#include "llzk/Analysis/AnalysisPasses.h"#include "llzk/Analysis/IntervalAnalysis.h"#include "llzk/Dialect/Bool/IR/Ops.h"#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Util/Constants.h"#include "llzk/Util/SymbolHelper.h"#include <mlir/IR/AsmState.h>#include <llvm/ADT/STLExtras.h>#include <llvm/ADT/SmallVector.h>#include <llvm/Support/Debug.h>#include <llvm/Support/ErrorHandling.h>#include "llzk/Analysis/AnalysisPasses.h.inc"Go to the source code of this file.
Classes | |
| class | llzk::impl::IntervalAnalysisPrinterPassBase< DerivedT > |
Namespaces | |
| namespace | llzk |
| namespace | llzk::impl |
Macros | |
| #define | GEN_PASS_DEF_INTERVALANALYSISPRINTERPASS |
| #define | DEBUG_TYPE "llzk-interval-analysis-pass" |
Functions | |
| std::unique_ptr<::mlir::Pass > | llzk::impl::createIntervalAnalysisPrinterPass () |
| std::unique_ptr<::mlir::Pass > | llzk::impl::createIntervalAnalysisPrinterPass (IntervalAnalysisPrinterPassOptions options) |
| std::unique_ptr<::mlir::Pass > | llzk::createIntervalAnalysisPrinterPass () |
| std::unique_ptr<::mlir::Pass > | llzk::createIntervalAnalysisPrinterPass (IntervalAnalysisPrinterPassOptions options) |
This file implements the -llzk-print-interval-analysis pass.
Definition in file IntervalAnalysisPass.cpp.
| #define DEBUG_TYPE "llzk-interval-analysis-pass" |
Definition at line 34 of file IntervalAnalysisPass.cpp.
| #define GEN_PASS_DEF_INTERVALANALYSISPRINTERPASS |
Definition at line 30 of file IntervalAnalysisPass.cpp.