LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZKTransformationPassPipelines.cpp File Reference

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>
Include dependency graph for LLZKTransformationPassPipelines.cpp:

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 ()

Detailed Description

This file implements logic for registering several pass pipelines.

Definition in file LLZKTransformationPassPipelines.cpp.