|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Analysis/MemberOverwriteAnalysis.h"#include "llzk/Analysis/AnalysisUtil.h"#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include <llvm/ADT/TypeSwitch.h>#include <llvm/Support/Debug.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
Macros | |
| #define | DEBUG_TYPE "member-overwrite-analysis" |
Functions | |
| llvm::raw_ostream & | llzk::operator<< (llvm::raw_ostream &os, const MemberOverwriteLattice &lat) |
| llvm::FailureOr< std::pair< llvm::SetVector< Overwrite >, FuzzySet > > | llzk::analyzeStruct (component::StructDefOp structDef) |
| #define DEBUG_TYPE "member-overwrite-analysis" |
Definition at line 19 of file MemberOverwriteAnalysis.cpp.