LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
ConstraintDependencyGraphPass.cpp File Reference

This file implements the -llzk-print-constraint-dependency-graphs pass. More...

#include "llzk/Analysis/AnalysisPasses.h"
#include "llzk/Analysis/ConstraintDependencyGraph.h"
#include "llzk/Util/SymbolHelper.h"
#include <llvm/ADT/SmallVector.h>
#include <llvm/Support/ErrorHandling.h>
#include "llzk/Analysis/AnalysisPasses.h.inc"
Include dependency graph for ConstraintDependencyGraphPass.cpp:

Go to the source code of this file.

Classes

struct  llzk::ConstraintDependencyGraphPrinterPassOptions
class  llzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT >
class  llzk::ConstraintDependencyGraphPrinterPass

Namespaces

namespace  llzk
namespace  llzk::impl

Macros

#define GEN_PASS_DECL_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS
#define GEN_PASS_DEF_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS

Functions

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

Detailed Description

This file implements the -llzk-print-constraint-dependency-graphs pass.

Definition in file ConstraintDependencyGraphPass.cpp.

Macro Definition Documentation

◆ GEN_PASS_DECL_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS

#define GEN_PASS_DECL_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS

Definition at line 28 of file ConstraintDependencyGraphPass.cpp.

◆ GEN_PASS_DEF_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS

#define GEN_PASS_DEF_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS

Definition at line 29 of file ConstraintDependencyGraphPass.cpp.