LLZK 0.1.0
Veridise's ZK Language IR
|
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"
Go to the source code of this file.
Classes | |
class | llzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT > |
class | llzk::ConstraintDependencyGraphPrinterPass |
Namespaces | |
namespace | llzk |
namespace | llzk::impl |
Macros | |
#define | GEN_PASS_DEF_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS |
Functions | |
std::unique_ptr< mlir::Pass > | llzk::createConstraintDependencyGraphPrinterPass (llvm::raw_ostream &os=llvm::errs()) |
This file implements the -llzk-print-constraint-dependency-graphs
pass.
Definition in file ConstraintDependencyGraphPass.cpp.
#define GEN_PASS_DEF_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS |
Definition at line 26 of file ConstraintDependencyGraphPass.cpp.