|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Analysis/AbstractLatticeValue.h"#include "llzk/Dialect/Felt/IR/Ops.h"#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"#include "llzk/Dialect/LLZK/IR/Ops.h"#include "llzk/Dialect/POD/IR/Types.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/ArrayRef.h>#include <llvm/ADT/DynamicAPInt.h>#include <llvm/ADT/EquivalenceClasses.h>#include <llvm/ADT/TypeSwitch.h>#include <compare>#include <unordered_set>#include <variant>#include <vector>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) |