LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
MemberOverwriteAnalysis.cpp File Reference
#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>
Include dependency graph for MemberOverwriteAnalysis.cpp:

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)

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "member-overwrite-analysis"

Definition at line 19 of file MemberOverwriteAnalysis.cpp.