LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
SourceRef.h File Reference
#include "llzk/Analysis/AbstractLatticeValue.h"
#include "llzk/Dialect/Felt/IR/Ops.h"
#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"
#include "llzk/Dialect/Polymorphic/IR/Ops.h"
#include "llzk/Dialect/Struct/IR/Ops.h"
#include "llzk/Util/DynamicAPIntHelper.h"
#include "llzk/Util/ErrorHelper.h"
#include "llzk/Util/Hash.h"
#include <mlir/Analysis/DataFlowFramework.h>
#include <mlir/Dialect/Arith/IR/Arith.h>
#include <mlir/Pass/AnalysisManager.h>
#include <llvm/ADT/DynamicAPInt.h>
#include <llvm/ADT/EquivalenceClasses.h>
#include <unordered_set>
#include <vector>
Include dependency graph for SourceRef.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  llzk::SourceRefIndex
 Defines an index into an LLZK object. More...
struct  llzk::SourceRefIndex::Hash
class  llzk::SourceRef
 A reference to a "source", which is the base value from which other SSA values are derived. More...
struct  llzk::SourceRef::Hash
class  llzk::SourceRefSet
struct  llvm::DenseMapInfo< llzk::SourceRef >

Namespaces

namespace  llzk
namespace  llvm

Functions

mlir::raw_ostream & llzk::operator<< (mlir::raw_ostream &os, const SourceRef &rhs)