|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Struct/IR/Ops.h"#include <mlir/Analysis/DataFlow/DenseAnalysis.h>#include <llvm/Support/Debug.h>Go to the source code of this file.
Classes | |
| class | llzk::FuzzySet |
| Represents a set where the membership predicate can take three values: true, false, and "unknown". More... | |
| class | llzk::MemberOverwriteLattice |
| class | llzk::MemberOverwriteAnalysis |
Namespaces | |
| namespace | llzk |
Typedefs | |
| using | llzk::Overwrite = std::pair<component::MemberWriteOp, component::MemberWriteOp> |
Functions | |
| llvm::raw_ostream & | llzk::operator<< (llvm::raw_ostream &os, const FuzzySet &set) |
| llvm::FailureOr< std::pair< llvm::SetVector< Overwrite >, FuzzySet > > | llzk::analyzeStruct (component::StructDefOp structDef) |