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

Classes

class  EmptyTemplateRemovalPassBase
class  FlatteningPassBase
class  TypeVarInferencePassBase
class  WildcardArraySpecializationPassBase

Functions

std::unique_ptr<::mlir::Pass > createEmptyTemplateRemovalPass ()
std::unique_ptr<::mlir::Pass > createFlatteningPass ()
std::unique_ptr<::mlir::Pass > createFlatteningPass (FlatteningPassOptions options)
std::unique_ptr<::mlir::Pass > createTypeVarInferencePass ()
std::unique_ptr<::mlir::Pass > createWildcardArraySpecializationPass ()
std::unique_ptr<::mlir::Pass > createWildcardArraySpecializationPass (WildcardArraySpecializationPassOptions options)

Function Documentation

◆ createEmptyTemplateRemovalPass()

std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createEmptyTemplateRemovalPass ( )

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

Definition at line 88 of file EmptyTemplateRemovalPass.cpp.

◆ createFlatteningPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createFlatteningPass ( )

Definition at line 206 of file FlatteningPass.cpp.

◆ createFlatteningPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createFlatteningPass ( FlatteningPassOptions options)

Definition at line 210 of file FlatteningPass.cpp.

◆ createTypeVarInferencePass()

std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createTypeVarInferencePass ( )

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

Definition at line 301 of file TypeVarInferencePass.cpp.

◆ createWildcardArraySpecializationPass() [1/2]

std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createWildcardArraySpecializationPass ( )

Definition at line 400 of file WildcardArraySpecializationPass.cpp.

◆ createWildcardArraySpecializationPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createWildcardArraySpecializationPass ( WildcardArraySpecializationPassOptions options)

Definition at line 404 of file WildcardArraySpecializationPass.cpp.