|
LLZK 0.1.0
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 13 of file LLZKComputeConstrainToProductPass.h.
|
inline |
Definition at line 19 of file LLZKComputeConstrainToProductPass.h.
| LogicalResult llzk::ProductAligner::alignCalls | ( | function::FuncDefOp | product | ) |
Definition at line 161 of file LLZKComputeConstrainToProductPass.cpp.
| FuncDefOp llzk::ProductAligner::alignFuncs | ( | component::StructDefOp | root, |
| function::FuncDefOp | compute, | ||
| function::FuncDefOp | constrain ) |
Definition at line 109 of file LLZKComputeConstrainToProductPass.cpp.
| std::vector<component::StructDefOp> llzk::ProductAligner::alignedStructs |
Definition at line 18 of file LLZKComputeConstrainToProductPass.h.