|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <LLZKComputeConstrainToProductPass.h>
Public Member Functions | |
| ProductAligner (mlir::SymbolTableCollection &_tables, LightweightSignalEquivalenceAnalysis &_equivalence) | |
| mlir::LogicalResult | alignCalls (function::FuncDefOp product) |
| function::FuncDefOp | alignFuncs (component::StructDefOp root, function::FuncDefOp compute, function::FuncDefOp constrain) |
Public Attributes | |
| std::vector< component::StructDefOp > | alignedStructs |
Definition at line 22 of file LLZKComputeConstrainToProductPass.h.
|
inline |
Definition at line 28 of file LLZKComputeConstrainToProductPass.h.
| LogicalResult ProductAligner::alignCalls | ( | function::FuncDefOp | product | ) |
Definition at line 108 of file LLZKComputeConstrainToProductPass.cpp.
| FuncDefOp ProductAligner::alignFuncs | ( | component::StructDefOp | root, |
| function::FuncDefOp | compute, | ||
| function::FuncDefOp | constrain ) |
Definition at line 46 of file LLZKComputeConstrainToProductPass.cpp.
| std::vector<component::StructDefOp> llzk::ProductAligner::alignedStructs |
Definition at line 27 of file LLZKComputeConstrainToProductPass.h.