LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::MemberOverwriteLattice Class Reference

#include <MemberOverwriteAnalysis.h>

Inheritance diagram for llzk::MemberOverwriteLattice:
[legend]
Collaboration diagram for llzk::MemberOverwriteLattice:
[legend]

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< OverwritegetOverwrites () 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)

Detailed Description

Definition at line 103 of file MemberOverwriteAnalysis.h.

Member Function Documentation

◆ checkWritten()

bool llzk::MemberOverwriteLattice::checkWritten ( component::MemberDefOp memberDef) const

Definition at line 79 of file MemberOverwriteAnalysis.cpp.

◆ entry()

void llzk::MemberOverwriteLattice::entry ( )
inline

Definition at line 124 of file MemberOverwriteAnalysis.h.

◆ getOverwrites()

llvm::SetVector< Overwrite > llzk::MemberOverwriteLattice::getOverwrites ( ) const

Definition at line 77 of file MemberOverwriteAnalysis.cpp.

◆ hasOverwrites()

bool llzk::MemberOverwriteLattice::hasOverwrites ( ) const

Definition at line 75 of file MemberOverwriteAnalysis.cpp.

◆ join()

ChangeResult llzk::MemberOverwriteLattice::join ( const mlir::dataflow::AbstractDenseLattice & other)
override

Definition at line 50 of file MemberOverwriteAnalysis.cpp.

◆ operator==()

bool llzk::MemberOverwriteLattice::operator== ( const MemberOverwriteLattice & other) const
inline

Definition at line 117 of file MemberOverwriteAnalysis.h.

◆ print()

void llzk::MemberOverwriteLattice::print ( llvm::raw_ostream & os) const
override

Definition at line 83 of file MemberOverwriteAnalysis.cpp.

◆ record()

ChangeResult llzk::MemberOverwriteLattice::record ( component::MemberWriteOp write)

Definition at line 32 of file MemberOverwriteAnalysis.cpp.

◆ analyzeStruct

llvm::FailureOr< std::pair< llvm::SetVector< Overwrite >, FuzzySet > > analyzeStruct ( component::StructDefOp structDef)
friend

Definition at line 101 of file MemberOverwriteAnalysis.cpp.

◆ operator<<

llvm::raw_ostream & operator<< ( llvm::raw_ostream & os,
const MemberOverwriteLattice & lat )
friend

Definition at line 27 of file MemberOverwriteAnalysis.cpp.


The documentation for this class was generated from the following files: