LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::impl Namespace Reference

Classes

class  CallGraphPrinterPassBase
class  CallGraphSCCsPrinterPassBase
class  ComputeConstrainToProductPassBase
class  ConstraintDependencyGraphPrinterPassBase
class  EnforceNoMemberOverwritePassBase
class  FuseProductLoopsPassBase
class  InlineStructsPassBase
class  IntervalAnalysisPrinterPassBase
class  MemberWriteValidatorPassBase
class  PolyLoweringPassBase
class  PredecessorPrinterPassBase
class  RedundantOperationEliminationPassBase
class  RedundantReadAndWriteEliminationPassBase
class  RemoveUnusedDiscardableAllocationsPassBase
class  SymbolDefTreePrinterPassBase
class  SymbolUseGraphPrinterPassBase
class  UnusedDeclarationEliminationPassBase
class  WhileToForPassBase

Functions

std::unique_ptr<::mlir::Pass > createCallGraphPrinterPass ()
std::unique_ptr<::mlir::Pass > createCallGraphPrinterPass (CallGraphPrinterPassOptions options)
std::unique_ptr<::mlir::Pass > createCallGraphSCCsPrinterPass ()
std::unique_ptr<::mlir::Pass > createCallGraphSCCsPrinterPass (CallGraphSCCsPrinterPassOptions options)
std::unique_ptr<::mlir::Pass > createConstraintDependencyGraphPrinterPass ()
std::unique_ptr<::mlir::Pass > createConstraintDependencyGraphPrinterPass (ConstraintDependencyGraphPrinterPassOptions options)
std::unique_ptr<::mlir::Pass > createIntervalAnalysisPrinterPass ()
std::unique_ptr<::mlir::Pass > createIntervalAnalysisPrinterPass (IntervalAnalysisPrinterPassOptions options)
std::unique_ptr<::mlir::Pass > createPredecessorPrinterPass ()
std::unique_ptr<::mlir::Pass > createPredecessorPrinterPass (PredecessorPrinterPassOptions options)
std::unique_ptr<::mlir::Pass > createSymbolDefTreePrinterPass ()
std::unique_ptr<::mlir::Pass > createSymbolDefTreePrinterPass (SymbolDefTreePrinterPassOptions options)
std::unique_ptr<::mlir::Pass > createSymbolUseGraphPrinterPass ()
std::unique_ptr<::mlir::Pass > createSymbolUseGraphPrinterPass (SymbolUseGraphPrinterPassOptions options)
std::unique_ptr<::mlir::Pass > createComputeConstrainToProductPass ()
std::unique_ptr<::mlir::Pass > createComputeConstrainToProductPass (ComputeConstrainToProductPassOptions options)
std::unique_ptr<::mlir::Pass > createEnforceNoMemberOverwritePass ()
std::unique_ptr<::mlir::Pass > createFuseProductLoopsPass ()
std::unique_ptr<::mlir::Pass > createInlineStructsPass ()
std::unique_ptr<::mlir::Pass > createInlineStructsPass (InlineStructsPassOptions options)
std::unique_ptr<::mlir::Pass > createPolyLoweringPass ()
std::unique_ptr<::mlir::Pass > createPolyLoweringPass (PolyLoweringPassOptions options)
std::unique_ptr<::mlir::Pass > createRedundantOperationEliminationPass ()
std::unique_ptr<::mlir::Pass > createRedundantReadAndWriteEliminationPass ()
std::unique_ptr<::mlir::Pass > createRemoveUnusedDiscardableAllocationsPass ()
std::unique_ptr<::mlir::Pass > createRemoveUnusedDiscardableAllocationsPass (RemoveUnusedDiscardableAllocationsPassOptions options)
std::unique_ptr<::mlir::Pass > createUnusedDeclarationEliminationPass ()
std::unique_ptr<::mlir::Pass > createUnusedDeclarationEliminationPass (UnusedDeclarationEliminationPassOptions options)
std::unique_ptr<::mlir::Pass > createWhileToForPass ()
std::unique_ptr<::mlir::Pass > createMemberWriteValidatorPass ()

Function Documentation

◆ createCallGraphPrinterPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createCallGraphPrinterPass ( )

Definition at line 110 of file CallGraphPasses.cpp.

◆ createCallGraphPrinterPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createCallGraphPrinterPass ( CallGraphPrinterPassOptions options)

Definition at line 114 of file CallGraphPasses.cpp.

◆ createCallGraphSCCsPrinterPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createCallGraphSCCsPrinterPass ( )

Definition at line 224 of file CallGraphPasses.cpp.

◆ createCallGraphSCCsPrinterPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createCallGraphSCCsPrinterPass ( CallGraphSCCsPrinterPassOptions options)

Definition at line 228 of file CallGraphPasses.cpp.

◆ createComputeConstrainToProductPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createComputeConstrainToProductPass ( )

Definition at line 106 of file LLZKComputeConstrainToProductPass.cpp.

◆ createComputeConstrainToProductPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createComputeConstrainToProductPass ( ComputeConstrainToProductPassOptions options)

Definition at line 110 of file LLZKComputeConstrainToProductPass.cpp.

◆ createConstraintDependencyGraphPrinterPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createConstraintDependencyGraphPrinterPass ( )

Definition at line 341 of file ConstraintDependencyGraphPass.cpp.

◆ createConstraintDependencyGraphPrinterPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createConstraintDependencyGraphPrinterPass ( ConstraintDependencyGraphPrinterPassOptions options)

Definition at line 345 of file ConstraintDependencyGraphPass.cpp.

◆ createEnforceNoMemberOverwritePass()

std::unique_ptr<::mlir::Pass > llzk::impl::createEnforceNoMemberOverwritePass ( )

We declare an explicit private instantiation because Pass classes should only be visible by the current library.

Definition at line 201 of file LLZKEnforceNoOverwritePass.cpp.

◆ createFuseProductLoopsPass()

std::unique_ptr<::mlir::Pass > llzk::impl::createFuseProductLoopsPass ( )

We declare an explicit private instantiation because Pass classes should only be visible by the current library.

Definition at line 288 of file LLZKFuseProductLoopsPass.cpp.

◆ createInlineStructsPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createInlineStructsPass ( )

Definition at line 387 of file LLZKInlineStructsPass.cpp.

◆ createInlineStructsPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createInlineStructsPass ( InlineStructsPassOptions options)

Definition at line 391 of file LLZKInlineStructsPass.cpp.

◆ createIntervalAnalysisPrinterPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createIntervalAnalysisPrinterPass ( )

Definition at line 473 of file IntervalAnalysisPass.cpp.

◆ createIntervalAnalysisPrinterPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createIntervalAnalysisPrinterPass ( IntervalAnalysisPrinterPassOptions options)

Definition at line 477 of file IntervalAnalysisPass.cpp.

◆ createMemberWriteValidatorPass()

std::unique_ptr<::mlir::Pass > llzk::impl::createMemberWriteValidatorPass ( )

We declare an explicit private instantiation because Pass classes should only be visible by the current library.

Definition at line 85 of file LLZKValidationPasses.cpp.

◆ createPolyLoweringPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createPolyLoweringPass ( )

Definition at line 494 of file LLZKPolyLoweringPass.cpp.

◆ createPolyLoweringPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createPolyLoweringPass ( PolyLoweringPassOptions options)

Definition at line 498 of file LLZKPolyLoweringPass.cpp.

◆ createPredecessorPrinterPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createPredecessorPrinterPass ( )

Definition at line 590 of file PredecessorAnalysisPass.cpp.

◆ createPredecessorPrinterPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createPredecessorPrinterPass ( PredecessorPrinterPassOptions options)

Definition at line 594 of file PredecessorAnalysisPass.cpp.

◆ createRedundantOperationEliminationPass()

std::unique_ptr<::mlir::Pass > llzk::impl::createRedundantOperationEliminationPass ( )

We declare an explicit private instantiation because Pass classes should only be visible by the current library.

Definition at line 589 of file LLZKRedundantOperationEliminationPass.cpp.

◆ createRedundantReadAndWriteEliminationPass()

std::unique_ptr<::mlir::Pass > llzk::impl::createRedundantReadAndWriteEliminationPass ( )

We declare an explicit private instantiation because Pass classes should only be visible by the current library.

Definition at line 676 of file LLZKRedundantReadAndWriteEliminationPass.cpp.

◆ createRemoveUnusedDiscardableAllocationsPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createRemoveUnusedDiscardableAllocationsPass ( )

◆ createRemoveUnusedDiscardableAllocationsPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createRemoveUnusedDiscardableAllocationsPass ( RemoveUnusedDiscardableAllocationsPassOptions options)

◆ createSymbolDefTreePrinterPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createSymbolDefTreePrinterPass ( )

Definition at line 707 of file SymbolDefTreePass.cpp.

◆ createSymbolDefTreePrinterPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createSymbolDefTreePrinterPass ( SymbolDefTreePrinterPassOptions options)

Definition at line 711 of file SymbolDefTreePass.cpp.

◆ createSymbolUseGraphPrinterPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createSymbolUseGraphPrinterPass ( )

Definition at line 824 of file SymbolUseGraphPass.cpp.

◆ createSymbolUseGraphPrinterPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createSymbolUseGraphPrinterPass ( SymbolUseGraphPrinterPassOptions options)

Definition at line 828 of file SymbolUseGraphPass.cpp.

◆ createUnusedDeclarationEliminationPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createUnusedDeclarationEliminationPass ( )

Definition at line 882 of file LLZKUnusedDeclarationEliminationPass.cpp.

◆ createUnusedDeclarationEliminationPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::impl::createUnusedDeclarationEliminationPass ( UnusedDeclarationEliminationPassOptions options)

Definition at line 886 of file LLZKUnusedDeclarationEliminationPass.cpp.

◆ createWhileToForPass()

std::unique_ptr<::mlir::Pass > llzk::impl::createWhileToForPass ( )

We declare an explicit private instantiation because Pass classes should only be visible by the current library.

Definition at line 977 of file LLZKWhileToForPass.cpp.