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

#include <MemberOverwriteAnalysis.h>

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

Public Member Functions

mlir::LogicalResult visitOperation (mlir::Operation *op, const MemberOverwriteLattice &before, MemberOverwriteLattice *after) override
void setToEntryState (MemberOverwriteLattice *lattice) override

Detailed Description

Definition at line 141 of file MemberOverwriteAnalysis.h.

Member Function Documentation

◆ setToEntryState()

void llzk::MemberOverwriteAnalysis::setToEntryState ( MemberOverwriteLattice * lattice)
inlineoverride

Definition at line 149 of file MemberOverwriteAnalysis.h.

◆ visitOperation()

LogicalResult llzk::MemberOverwriteAnalysis::visitOperation ( mlir::Operation * op,
const MemberOverwriteLattice & before,
MemberOverwriteLattice * after )
override

Definition at line 85 of file MemberOverwriteAnalysis.cpp.


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