|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h"#include "llzk/Dialect/Struct/Transforms/TransformationPasses.h"#include "llzk/Transforms/LLZKTransformationPasses.h"#include "llzk/Transforms/Parsers.h"#include <mlir/Pass/PassManager.h>#include <mlir/Pass/PassOptions.h>Go to the source code of this file.
Classes | |
| struct | llzk::StructInliningFlatteningOptions |
| Typed nested options for the flattening pass when used inside the full struct-inlining and full poly-lowering pipelines. More... | |
| struct | llzk::FullStructInliningConfig |
| Pure C++ configuration for the full struct inlining pipeline. More... | |
| struct | llzk::FullStructInliningOptions |
| CLI Option configuration for the full struct inlining pipeline. More... | |
| struct | llzk::FullPolyLoweringConfig |
| Pure C++ configuration for the full polynomial lowering pipeline. More... | |
| struct | llzk::FullPolyLoweringOptions |
| CLI Option configuration for the full polynomial lowering pipeline. More... | |
Namespaces | |
| namespace | llzk |
Functions | |
| void | llzk::buildRemoveUnnecessaryOpsPipeline (mlir::OpPassManager &pm) |
| void | llzk::buildRemoveUnnecessaryOpsAndDefsPipeline (mlir::OpPassManager &pm) |
| void | llzk::buildFullPolyLoweringPipeline (mlir::OpPassManager &, const FullPolyLoweringConfig &) |
| void | llzk::buildProductProgramPipeline (mlir::OpPassManager &) |
| void | llzk::buildFullStructInliningPipeline (mlir::OpPassManager &, const FullStructInliningConfig &) |
| void | llzk::buildFullInliningPipeline (mlir::OpPassManager &, const FullStructInliningConfig &) |
| void | llzk::registerTransformationPassPipelines () |