|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This file implements logic for registering several pass pipelines. More...
#include "llzk/Transforms/LLZKTransformationPassPipelines.h"#include "llzk/Dialect/Array/Transforms/TransformationPasses.h"#include "llzk/Dialect/POD/Transforms/TransformationPasses.h"#include <mlir/Pass/PassManager.h>#include <mlir/Pass/PassRegistry.h>#include <mlir/Transforms/Passes.h>#include <utility>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
Functions | |
| void | llzk::buildRemoveUnnecessaryOpsPipeline (mlir::OpPassManager &pm) |
| void | llzk::buildRemoveUnnecessaryOpsAndDefsPipeline (mlir::OpPassManager &pm) |
| void | llzk::buildProductProgramPipeline (OpPassManager &pm) |
| void | llzk::buildFullStructInliningPipeline (OpPassManager &pm, const FullStructInliningConfig &cfg) |
| void | llzk::buildFullInliningPipeline (OpPassManager &pm, const FullStructInliningConfig &cfg) |
| void | llzk::buildFullPolyLoweringPipeline (OpPassManager &pm, const FullPolyLoweringConfig &cfg) |
| void | llzk::registerTransformationPassPipelines () |
This file implements logic for registering several pass pipelines.
Definition in file LLZKTransformationPassPipelines.cpp.