LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Classes | Namespaces | Macros | Functions
LLZKTransformationPasses.h File Reference
#include "llzk/Config/Config.h"
#include "llzk/Pass/PassBase.h"
#include <llvm/ADT/StringRef.h>
#include "llzk/Transforms/LLZKTransformationPasses.h.inc"
Include dependency graph for LLZKTransformationPasses.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  llzk::ComputeConstrainToProductPassOptions
struct  llzk::InlineStructsPassOptions
struct  llzk::PolyLoweringPassOptions
struct  llzk::RemoveUnusedDiscardableAllocationsPassOptions
struct  llzk::UnusedDeclarationEliminationPassOptions

Namespaces

namespace  llzk

Macros

#define GEN_PASS_DECL
#define GEN_PASS_REGISTRATION
#define GEN_PASS_DECL_COMPUTECONSTRAINTOPRODUCTPASS
#define GEN_PASS_DECL_ENFORCENOMEMBEROVERWRITEPASS
#define GEN_PASS_DECL_FUSEPRODUCTLOOPSPASS
#define GEN_PASS_DECL_INLINESTRUCTSPASS
#define GEN_PASS_DECL_POLYLOWERINGPASS
#define GEN_PASS_DECL_REDUNDANTOPERATIONELIMINATIONPASS
#define GEN_PASS_DECL_REDUNDANTREADANDWRITEELIMINATIONPASS
#define GEN_PASS_DECL_REMOVEUNUSEDDISCARDABLEALLOCATIONSPASS
#define GEN_PASS_DECL_UNUSEDDECLARATIONELIMINATIONPASS
#define GEN_PASS_DECL_WHILETOFORPASS

Functions

void llzk::addRemoveUnnecessaryOpsAndDefsPipeline (mlir::OpPassManager &pm)
void llzk::registerTransformationPassPipelines ()
void llzk::registerInliningExtensions (mlir::DialectRegistry &registry)
std::unique_ptr<::mlir::Pass > llzk::createComputeConstrainToProductPass ()
std::unique_ptr<::mlir::Pass > llzk::createComputeConstrainToProductPass (ComputeConstrainToProductPassOptions options)
std::unique_ptr<::mlir::Pass > llzk::createEnforceNoMemberOverwritePass ()
std::unique_ptr<::mlir::Pass > llzk::createFuseProductLoopsPass ()
std::unique_ptr<::mlir::Pass > llzk::createInlineStructsPass ()
std::unique_ptr<::mlir::Pass > llzk::createInlineStructsPass (InlineStructsPassOptions options)
std::unique_ptr<::mlir::Pass > llzk::createPolyLoweringPass ()
std::unique_ptr<::mlir::Pass > llzk::createPolyLoweringPass (PolyLoweringPassOptions options)
std::unique_ptr<::mlir::Pass > llzk::createRedundantOperationEliminationPass ()
std::unique_ptr<::mlir::Pass > llzk::createRedundantReadAndWriteEliminationPass ()
std::unique_ptr<::mlir::Pass > llzk::createRemoveUnusedDiscardableAllocationsPass ()
std::unique_ptr<::mlir::Pass > llzk::createRemoveUnusedDiscardableAllocationsPass (RemoveUnusedDiscardableAllocationsPassOptions options)
std::unique_ptr<::mlir::Pass > llzk::createUnusedDeclarationEliminationPass ()
std::unique_ptr<::mlir::Pass > llzk::createUnusedDeclarationEliminationPass (UnusedDeclarationEliminationPassOptions options)
std::unique_ptr<::mlir::Pass > llzk::createWhileToForPass ()
void llzk::registerComputeConstrainToProductPass ()
void llzk::registerComputeConstrainToProductPassPass ()
void llzk::registerEnforceNoMemberOverwritePass ()
void llzk::registerEnforceNoMemberOverwritePassPass ()
void llzk::registerFuseProductLoopsPass ()
void llzk::registerFuseProductLoopsPassPass ()
void llzk::registerInlineStructsPass ()
void llzk::registerInlineStructsPassPass ()
void llzk::registerPolyLoweringPass ()
void llzk::registerPolyLoweringPassPass ()
void llzk::registerRedundantOperationEliminationPass ()
void llzk::registerRedundantOperationEliminationPassPass ()
void llzk::registerRedundantReadAndWriteEliminationPass ()
void llzk::registerRedundantReadAndWriteEliminationPassPass ()
void llzk::registerRemoveUnusedDiscardableAllocationsPass ()
void llzk::registerRemoveUnusedDiscardableAllocationsPassPass ()
void llzk::registerUnusedDeclarationEliminationPass ()
void llzk::registerUnusedDeclarationEliminationPassPass ()
void llzk::registerWhileToForPass ()
void llzk::registerWhileToForPassPass ()
void llzk::registerTransformationPasses ()

Macro Definition Documentation

◆ GEN_PASS_DECL

#define GEN_PASS_DECL

Definition at line 25 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_COMPUTECONSTRAINTOPRODUCTPASS

#define GEN_PASS_DECL_COMPUTECONSTRAINTOPRODUCTPASS

Definition at line 6 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_ENFORCENOMEMBEROVERWRITEPASS

#define GEN_PASS_DECL_ENFORCENOMEMBEROVERWRITEPASS

Definition at line 7 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_FUSEPRODUCTLOOPSPASS

#define GEN_PASS_DECL_FUSEPRODUCTLOOPSPASS

Definition at line 8 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_INLINESTRUCTSPASS

#define GEN_PASS_DECL_INLINESTRUCTSPASS

Definition at line 9 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_POLYLOWERINGPASS

#define GEN_PASS_DECL_POLYLOWERINGPASS

Definition at line 10 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_REDUNDANTOPERATIONELIMINATIONPASS

#define GEN_PASS_DECL_REDUNDANTOPERATIONELIMINATIONPASS

Definition at line 11 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_REDUNDANTREADANDWRITEELIMINATIONPASS

#define GEN_PASS_DECL_REDUNDANTREADANDWRITEELIMINATIONPASS

Definition at line 12 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_REMOVEUNUSEDDISCARDABLEALLOCATIONSPASS

#define GEN_PASS_DECL_REMOVEUNUSEDDISCARDABLEALLOCATIONSPASS

Definition at line 13 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_UNUSEDDECLARATIONELIMINATIONPASS

#define GEN_PASS_DECL_UNUSEDDECLARATIONELIMINATIONPASS

Definition at line 14 of file LLZKTransformationPasses.h.

◆ GEN_PASS_DECL_WHILETOFORPASS

#define GEN_PASS_DECL_WHILETOFORPASS

Definition at line 15 of file LLZKTransformationPasses.h.

◆ GEN_PASS_REGISTRATION

#define GEN_PASS_REGISTRATION

Definition at line 26 of file LLZKTransformationPasses.h.