LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
LLZKTransformationPasses.capi.cpp.inc
Go to the documentation of this file.
1/* Autogenerated by mlir-tblgen; don't manually edit. */
2//===----------------------------------------------------------------------===//
3// LLZKTransformation Group Registration
4//===----------------------------------------------------------------------===//
5
7 registerLLZKTransformationPasses();
8}
9
11 return wrap(llzk::createPolyLoweringPass().release());
12}
14 registerPolyLoweringPass();
15}
16
17
19 return wrap(llzk::createR1CSLoweringPass().release());
20}
22 registerR1CSLoweringPass();
23}
24
25
30 registerRedundantOperationEliminationPass();
31}
32
33
38 registerRedundantReadAndWriteEliminationPass();
39}
40
41
46 registerUnusedDeclarationEliminationPass();
47}
48
void mlirRegisterLLZKTransformationRedundantReadAndWriteEliminationPass(void)
MlirPass mlirCreateLLZKTransformationR1CSLoweringPass(void)
MlirPass mlirCreateLLZKTransformationRedundantOperationEliminationPass(void)
MlirPass mlirCreateLLZKTransformationPolyLoweringPass(void)
void mlirRegisterLLZKTransformationPasses(void)
MlirPass mlirCreateLLZKTransformationUnusedDeclarationEliminationPass(void)
void mlirRegisterLLZKTransformationUnusedDeclarationEliminationPass(void)
void mlirRegisterLLZKTransformationRedundantOperationEliminationPass(void)
MlirPass mlirCreateLLZKTransformationRedundantReadAndWriteEliminationPass(void)
void mlirRegisterLLZKTransformationPolyLoweringPass(void)
void mlirRegisterLLZKTransformationR1CSLoweringPass(void)
std::unique_ptr< mlir::Pass > createRedundantOperationEliminationPass()
std::unique_ptr< mlir::Pass > createRedundantReadAndWriteEliminationPass()
std::unique_ptr< mlir::Pass > createUnusedDeclarationEliminationPass()
std::unique_ptr< mlir::Pass > createPolyLoweringPass()
std::unique_ptr< mlir::Pass > createR1CSLoweringPass()