LLZK 0.1.0
Veridise's ZK Language IR
|
Go to the source code of this file.
Functions | |
void | mlirRegisterLLZKTransformationPasses (void) |
MlirPass | mlirCreateLLZKTransformationPolyLoweringPass (void) |
void | mlirRegisterLLZKTransformationPolyLoweringPass (void) |
MlirPass | mlirCreateLLZKTransformationR1CSLoweringPass (void) |
void | mlirRegisterLLZKTransformationR1CSLoweringPass (void) |
MlirPass | mlirCreateLLZKTransformationRedundantOperationEliminationPass (void) |
void | mlirRegisterLLZKTransformationRedundantOperationEliminationPass (void) |
MlirPass | mlirCreateLLZKTransformationRedundantReadAndWriteEliminationPass (void) |
void | mlirRegisterLLZKTransformationRedundantReadAndWriteEliminationPass (void) |
MlirPass | mlirCreateLLZKTransformationUnusedDeclarationEliminationPass (void) |
void | mlirRegisterLLZKTransformationUnusedDeclarationEliminationPass (void) |
MlirPass mlirCreateLLZKTransformationPolyLoweringPass | ( | void | ) |
Definition at line 10 of file LLZKTransformationPasses.capi.cpp.inc.
MlirPass mlirCreateLLZKTransformationR1CSLoweringPass | ( | void | ) |
Definition at line 18 of file LLZKTransformationPasses.capi.cpp.inc.
MlirPass mlirCreateLLZKTransformationRedundantOperationEliminationPass | ( | void | ) |
Definition at line 26 of file LLZKTransformationPasses.capi.cpp.inc.
MlirPass mlirCreateLLZKTransformationRedundantReadAndWriteEliminationPass | ( | void | ) |
Definition at line 34 of file LLZKTransformationPasses.capi.cpp.inc.
MlirPass mlirCreateLLZKTransformationUnusedDeclarationEliminationPass | ( | void | ) |
Definition at line 42 of file LLZKTransformationPasses.capi.cpp.inc.
void mlirRegisterLLZKTransformationPasses | ( | void | ) |
Definition at line 6 of file LLZKTransformationPasses.capi.cpp.inc.
void mlirRegisterLLZKTransformationPolyLoweringPass | ( | void | ) |
Definition at line 13 of file LLZKTransformationPasses.capi.cpp.inc.
void mlirRegisterLLZKTransformationR1CSLoweringPass | ( | void | ) |
Definition at line 21 of file LLZKTransformationPasses.capi.cpp.inc.
void mlirRegisterLLZKTransformationRedundantOperationEliminationPass | ( | void | ) |
Definition at line 29 of file LLZKTransformationPasses.capi.cpp.inc.
void mlirRegisterLLZKTransformationRedundantReadAndWriteEliminationPass | ( | void | ) |
Definition at line 37 of file LLZKTransformationPasses.capi.cpp.inc.
void mlirRegisterLLZKTransformationUnusedDeclarationEliminationPass | ( | void | ) |
Definition at line 45 of file LLZKTransformationPasses.capi.cpp.inc.