LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
IntervalAnalysisPass.cpp File Reference

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"
Include dependency graph for IntervalAnalysisPass.cpp:

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)

Detailed Description

This file implements the -llzk-print-interval-analysis pass.

Definition in file IntervalAnalysisPass.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-interval-analysis-pass"

Definition at line 34 of file IntervalAnalysisPass.cpp.

◆ GEN_PASS_DEF_INTERVALANALYSISPRINTERPASS

#define GEN_PASS_DEF_INTERVALANALYSISPRINTERPASS

Definition at line 30 of file IntervalAnalysisPass.cpp.