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

#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::StructDefOpalignedStructs

Detailed Description

Definition at line 13 of file LLZKComputeConstrainToProductPass.h.

Constructor & Destructor Documentation

◆ ProductAligner()

llzk::ProductAligner::ProductAligner ( mlir::SymbolTableCollection & _tables,
LightweightSignalEquivalenceAnalysis & _equivalence )
inline

Definition at line 19 of file LLZKComputeConstrainToProductPass.h.

Member Function Documentation

◆ alignCalls()

LogicalResult llzk::ProductAligner::alignCalls ( function::FuncDefOp product)

Definition at line 161 of file LLZKComputeConstrainToProductPass.cpp.

◆ alignFuncs()

FuncDefOp llzk::ProductAligner::alignFuncs ( component::StructDefOp root,
function::FuncDefOp compute,
function::FuncDefOp constrain )

Definition at line 109 of file LLZKComputeConstrainToProductPass.cpp.

Member Data Documentation

◆ alignedStructs

std::vector<component::StructDefOp> llzk::ProductAligner::alignedStructs

Definition at line 18 of file LLZKComputeConstrainToProductPass.h.


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