|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <MemberOverwriteAnalysis.h>
Public Member Functions | |
| mlir::ChangeResult | join (const mlir::dataflow::AbstractDenseLattice &other) override |
| bool | operator== (const MemberOverwriteLattice &other) const |
| void | print (llvm::raw_ostream &os) const override |
| void | entry () |
| mlir::ChangeResult | record (component::MemberWriteOp write) |
| bool | hasOverwrites () const |
| llvm::SetVector< Overwrite > | getOverwrites () const |
| bool | checkWritten (component::MemberDefOp) const |
Friends | |
| llvm::raw_ostream & | operator<< (llvm::raw_ostream &os, const MemberOverwriteLattice &lat) |
| llvm::FailureOr< std::pair< llvm::SetVector< Overwrite >, FuzzySet > > | analyzeStruct (component::StructDefOp structDef) |
Definition at line 103 of file MemberOverwriteAnalysis.h.
| bool llzk::MemberOverwriteLattice::checkWritten | ( | component::MemberDefOp | memberDef | ) | const |
Definition at line 79 of file MemberOverwriteAnalysis.cpp.
|
inline |
Definition at line 124 of file MemberOverwriteAnalysis.h.
| llvm::SetVector< Overwrite > llzk::MemberOverwriteLattice::getOverwrites | ( | ) | const |
Definition at line 77 of file MemberOverwriteAnalysis.cpp.
| bool llzk::MemberOverwriteLattice::hasOverwrites | ( | ) | const |
Definition at line 75 of file MemberOverwriteAnalysis.cpp.
|
override |
Definition at line 50 of file MemberOverwriteAnalysis.cpp.
|
inline |
Definition at line 117 of file MemberOverwriteAnalysis.h.
|
override |
Definition at line 83 of file MemberOverwriteAnalysis.cpp.
| ChangeResult llzk::MemberOverwriteLattice::record | ( | component::MemberWriteOp | write | ) |
Definition at line 32 of file MemberOverwriteAnalysis.cpp.
|
friend |
Definition at line 101 of file MemberOverwriteAnalysis.cpp.
|
friend |
Definition at line 27 of file MemberOverwriteAnalysis.cpp.