LLZK 0.1.0
Veridise's ZK Language IR
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/Util/SymbolHelper.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

struct  llzk::IntervalAnalysisPrinterPassOptions
 
class  llzk::impl::IntervalAnalysisPrinterPassBase< DerivedT >
 
class  llzk::IntervalAnalysisPrinterPass
 

Namespaces

namespace  llzk
 
namespace  llzk::impl
 

Macros

#define GEN_PASS_DECL_INTERVALANALYSISPRINTERPASS
 
#define GEN_PASS_DEF_INTERVALANALYSISPRINTERPASS
 

Functions

std::unique_ptr< mlir::Pass > llzk::createIntervalAnalysisPrinterPass (llvm::raw_ostream &os=llvm::errs())
 

Detailed Description

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

Definition in file IntervalAnalysisPass.cpp.

Macro Definition Documentation

◆ GEN_PASS_DECL_INTERVALANALYSISPRINTERPASS

#define GEN_PASS_DECL_INTERVALANALYSISPRINTERPASS

Definition at line 26 of file IntervalAnalysisPass.cpp.

◆ GEN_PASS_DEF_INTERVALANALYSISPRINTERPASS

#define GEN_PASS_DEF_INTERVALANALYSISPRINTERPASS

Definition at line 27 of file IntervalAnalysisPass.cpp.