|
LLZK 0.1.0
Veridise's ZK Language IR
|
This file implements the -llzk-product-program pass. More...
#include "llzk/Analysis/LightweightSignalEquivalenceAnalysis.h"#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include "llzk/Transforms/LLZKTransformationPasses.h"#include "llzk/Util/Constants.h"#include "llzk/Util/SymbolHelper.h"#include <mlir/IR/Builders.h>#include <mlir/Transforms/InliningUtils.h>#include <llvm/Support/Debug.h>#include <memory>#include <ranges>#include "llzk/Transforms/LLZKTransformationPasses.h.inc"Go to the source code of this file.
Classes | |
| struct | llzk::ComputeConstrainToProductPassOptions |
| class | llzk::impl::ComputeConstrainToProductPassBase< DerivedT > |
| class | llzk::ComputeConstrainToProductPass |
Namespaces | |
| namespace | llzk |
| namespace | llzk::impl |
Macros | |
| #define | GEN_PASS_DECL_COMPUTECONSTRAINTOPRODUCTPASS |
| #define | GEN_PASS_DEF_COMPUTECONSTRAINTOPRODUCTPASS |
| #define | DEBUG_TYPE "llzk-compute-constrain-to-product-pass" |
Functions | |
| bool | llzk::isValidRoot (StructDefOp root) |
| std::unique_ptr< mlir::Pass > | llzk::createComputeConstrainToProductPass () |
This file implements the -llzk-product-program pass.
Definition in file LLZKComputeConstrainToProductPass.cpp.
| #define DEBUG_TYPE "llzk-compute-constrain-to-product-pass" |
Definition at line 36 of file LLZKComputeConstrainToProductPass.cpp.
| #define GEN_PASS_DECL_COMPUTECONSTRAINTOPRODUCTPASS |
Definition at line 31 of file LLZKComputeConstrainToProductPass.cpp.
| #define GEN_PASS_DEF_COMPUTECONSTRAINTOPRODUCTPASS |
Definition at line 32 of file LLZKComputeConstrainToProductPass.cpp.