LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::PredecessorLattice Class Reference
Inheritance diagram for llzk::PredecessorLattice:
[legend]
Collaboration diagram for llzk::PredecessorLattice:
[legend]

Public Member Functions

ChangeResult visit (Operation *op, Operation *pred)
ChangeResult join (const AbstractDenseLattice &rhs) override
ChangeResult meet (const AbstractDenseLattice &) override
void print (raw_ostream &os) const override

Detailed Description

Definition at line 57 of file PredecessorAnalysisPass.cpp.

Member Function Documentation

◆ join()

ChangeResult llzk::PredecessorLattice::join ( const AbstractDenseLattice & rhs)
inlineoverride

Definition at line 69 of file PredecessorAnalysisPass.cpp.

◆ meet()

ChangeResult llzk::PredecessorLattice::meet ( const AbstractDenseLattice & )
inlineoverride

Definition at line 83 of file PredecessorAnalysisPass.cpp.

◆ print()

void llzk::PredecessorLattice::print ( raw_ostream & os) const
inlineoverride

Definition at line 88 of file PredecessorAnalysisPass.cpp.

◆ visit()

ChangeResult llzk::PredecessorLattice::visit ( Operation * op,
Operation * pred )
inline

Definition at line 64 of file PredecessorAnalysisPass.cpp.


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