SourceRefLattice.cpp File Reference

#include "llzk/Analysis/ConstraintDependencyGraph.h"
#include "llzk/Analysis/DenseAnalysis.h"
#include "llzk/Analysis/SourceRefLattice.h"
#include "llzk/Dialect/Felt/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 SourceRefLattice.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llvm

Macros
#define	DEBUG_TYPE   "llzk-constrain-ref-lattice"

Functions
mlir::raw_ostream &	llzk::operator<< (mlir::raw_ostream &os, const SourceRefLatticeValue &v)
llvm::raw_ostream &	llzk::operator<< (llvm::raw_ostream &os, const SourceRefLattice &lattice)
raw_ostream &	llvm::operator<< (raw_ostream &os, llvm::PointerUnion< mlir::Value, mlir::Operation * > ptr)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "llzk-constrain-ref-lattice"

Definition at line 26 of file SourceRefLattice.cpp.