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

Classes

class  ConstraintFlatteningPassBase
class  EmptyTemplateRemovalPassBase
class  FlatteningPassBase
class  TemplateMonomorphizationPassBase
class  TypeVarInferencePassBase
class  WildcardArraySpecializationPassBase

Functions

std::unique_ptr<::mlir::Pass > createConstraintFlatteningPass ()
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 > createTemplateMonomorphizationPass ()
std::unique_ptr<::mlir::Pass > createTemplateMonomorphizationPass (TemplateMonomorphizationPassOptions options)
std::unique_ptr<::mlir::Pass > createTypeVarInferencePass ()
std::unique_ptr<::mlir::Pass > createWildcardArraySpecializationPass ()
std::unique_ptr<::mlir::Pass > createWildcardArraySpecializationPass (WildcardArraySpecializationPassOptions options)

Function Documentation

◆ createConstraintFlatteningPass()

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

Definition at line 90 of file ConstraintFlatteningPass.cpp.

◆ createEmptyTemplateRemovalPass()

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

Definition at line 177 of file EmptyTemplateRemovalPass.cpp.

◆ createFlatteningPass() [1/2]

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

Definition at line 295 of file FlatteningPass.cpp.

◆ createFlatteningPass() [2/2]

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

Definition at line 299 of file FlatteningPass.cpp.

◆ createTemplateMonomorphizationPass() [1/2]

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

Definition at line 402 of file TemplateMonomorphization.cpp.

◆ createTemplateMonomorphizationPass() [2/2]

std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createTemplateMonomorphizationPass ( TemplateMonomorphizationPassOptions options)

Definition at line 406 of file TemplateMonomorphization.cpp.

◆ createTypeVarInferencePass()

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

Definition at line 497 of file TypeVarInferencePass.cpp.

◆ createWildcardArraySpecializationPass() [1/2]

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

Definition at line 596 of file WildcardArraySpecializationPass.cpp.

◆ createWildcardArraySpecializationPass() [2/2]

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

Definition at line 600 of file WildcardArraySpecializationPass.cpp.