LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
LLZKTransformationPasses.capi.cpp.inc File Reference
This graph shows which files directly or indirectly include this file:

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)
 

Function Documentation

◆ mlirCreateLLZKTransformationPolyLoweringPass()

MlirPass mlirCreateLLZKTransformationPolyLoweringPass ( void )

Definition at line 10 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirCreateLLZKTransformationR1CSLoweringPass()

MlirPass mlirCreateLLZKTransformationR1CSLoweringPass ( void )

Definition at line 18 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirCreateLLZKTransformationRedundantOperationEliminationPass()

MlirPass mlirCreateLLZKTransformationRedundantOperationEliminationPass ( void )

Definition at line 26 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirCreateLLZKTransformationRedundantReadAndWriteEliminationPass()

MlirPass mlirCreateLLZKTransformationRedundantReadAndWriteEliminationPass ( void )

Definition at line 34 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirCreateLLZKTransformationUnusedDeclarationEliminationPass()

MlirPass mlirCreateLLZKTransformationUnusedDeclarationEliminationPass ( void )

Definition at line 42 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirRegisterLLZKTransformationPasses()

void mlirRegisterLLZKTransformationPasses ( void )

Definition at line 6 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirRegisterLLZKTransformationPolyLoweringPass()

void mlirRegisterLLZKTransformationPolyLoweringPass ( void )

Definition at line 13 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirRegisterLLZKTransformationR1CSLoweringPass()

void mlirRegisterLLZKTransformationR1CSLoweringPass ( void )

Definition at line 21 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirRegisterLLZKTransformationRedundantOperationEliminationPass()

void mlirRegisterLLZKTransformationRedundantOperationEliminationPass ( void )

Definition at line 29 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirRegisterLLZKTransformationRedundantReadAndWriteEliminationPass()

void mlirRegisterLLZKTransformationRedundantReadAndWriteEliminationPass ( void )

Definition at line 37 of file LLZKTransformationPasses.capi.cpp.inc.

◆ mlirRegisterLLZKTransformationUnusedDeclarationEliminationPass()

void mlirRegisterLLZKTransformationUnusedDeclarationEliminationPass ( void )

Definition at line 45 of file LLZKTransformationPasses.capi.cpp.inc.