LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZKComputeConstrainToProductPass.h File Reference
#include "llzk/Analysis/LightweightSignalEquivalenceAnalysis.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/Struct/IR/Ops.h"
#include <mlir/Support/LogicalResult.h>
#include <vector>
Include dependency graph for LLZKComputeConstrainToProductPass.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  llzk::ProductAligner

Namespaces

namespace  llzk

Functions

mlir::LogicalResult llzk::alignStartingAt (component::StructDefOp root, mlir::SymbolTableCollection &tables, LightweightSignalEquivalenceAnalysis &equivalence)