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

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())
 

Detailed Description

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

Definition in file ConstraintDependencyGraphPass.cpp.

Macro Definition Documentation

◆ GEN_PASS_DEF_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS

#define GEN_PASS_DEF_CONSTRAINTDEPENDENCYGRAPHPRINTERPASS

Definition at line 26 of file ConstraintDependencyGraphPass.cpp.