LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
ConstraintDependencyGraph.cpp File Reference
#include "llzk/Analysis/ConstrainRefLattice.h"
#include "llzk/Analysis/ConstraintDependencyGraph.h"
#include "llzk/Analysis/DenseAnalysis.h"
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Constrain/IR/Ops.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Util/Hash.h"
#include "llzk/Util/SymbolHelper.h"
#include <mlir/Analysis/DataFlow/DeadCodeAnalysis.h>
#include <mlir/IR/Value.h>
#include <llvm/Support/Debug.h>
#include <numeric>
#include <unordered_set>
Include dependency graph for ConstraintDependencyGraph.cpp:

Go to the source code of this file.

Namespaces

namespace  llzk
 

Macros

#define DEBUG_TYPE   "llzk-cdg"
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-cdg"

Definition at line 27 of file ConstraintDependencyGraph.cpp.