LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
MemberOverwriteAnalysis.h File Reference
#include "llzk/Dialect/Struct/IR/Ops.h"
#include <mlir/Analysis/DataFlow/DenseAnalysis.h>
#include <llvm/Support/Debug.h>
Include dependency graph for MemberOverwriteAnalysis.h:
This graph shows which files directly or indirectly include this file:

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)