LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
SourceRefLattice.h File Reference
#include "llzk/Analysis/AbstractLatticeValue.h"
#include "llzk/Analysis/SourceRef.h"
#include "llzk/Analysis/SparseAnalysis.h"
#include "llzk/Util/ErrorHelper.h"
#include <mlir/Analysis/DataFlow/DenseAnalysis.h>
#include <llvm/ADT/PointerUnion.h>
Include dependency graph for SourceRefLattice.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  llzk::SourceRefLatticeValue
 A value at a given point of the SourceRefLattice. More...
class  llzk::SourceRefLattice
 Sparse SSA-value lattice for SourceRef propagation. More...

Namespaces

namespace  llzk
namespace  llvm

Typedefs

using llzk::TranslationMap = std::unordered_map<SourceRef, SourceRefLatticeValue, SourceRef::Hash>

Functions

raw_ostream & llvm::operator<< (raw_ostream &os, llvm::PointerUnion< mlir::Value, mlir::Operation * > ptr)