LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
SourceRefLattice.h File Reference
#include "llzk/Analysis/AbstractLatticeValue.h"
#include "llzk/Analysis/DenseAnalysis.h"
#include "llzk/Analysis/SourceRef.h"
#include "llzk/Util/ErrorHelper.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
 A lattice for use in dense analysis. 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)