|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | Base = WildcardArraySpecializationPassBase |
Public Member Functions | |
| WildcardArraySpecializationPassBase () | |
| WildcardArraySpecializationPassBase (const WildcardArraySpecializationPassBase &other) | |
| WildcardArraySpecializationPassBase & | operator= (const WildcardArraySpecializationPassBase &)=delete |
| WildcardArraySpecializationPassBase (WildcardArraySpecializationPassBase &&)=delete | |
| WildcardArraySpecializationPassBase & | operator= (WildcardArraySpecializationPassBase &&)=delete |
| ~WildcardArraySpecializationPassBase ()=default | |
| ::llvm::StringRef | getArgument () const override |
| ::llvm::StringRef | getDescription () const override |
| ::llvm::StringRef | getName () const override |
| std::unique_ptr<::mlir::Pass > | clonePass () const override |
| A clone method to create a copy of this pass. | |
| void | getDependentDialects (::mlir::DialectRegistry ®istry) const override |
| Return the dialect that must be loaded in the context before this pass. | |
| WildcardArraySpecializationPassBase (WildcardArraySpecializationPassOptions options) | |
| Explicitly declare the TypeID for this class. We declare an explicit private instantiation because Pass classes should only be visible by the current library. | |
Static Public Member Functions | |
| static constexpr ::llvm::StringLiteral | getArgumentName () |
| Returns the command-line argument attached to this pass. | |
| static constexpr ::llvm::StringLiteral | getPassName () |
| Returns the derived pass name. | |
| static bool | classof (const ::mlir::Pass *pass) |
| Support isa/dyn_cast functionality for the derived pass class. | |
Protected Attributes | |
| ::mlir::Pass::Option< unsigned > | iterationLimit {*this, "max-iter", ::llvm::cl::desc(R"PO(Maximum number of iterations before the pass gives up reaching a fixpoint.)PO"), ::llvm::cl::init(1000)} |
Friends | |
| std::unique_ptr<::mlir::Pass > | createWildcardArraySpecializationPass () |
| std::unique_ptr<::mlir::Pass > | createWildcardArraySpecializationPass (WildcardArraySpecializationPassOptions options) |
Definition at line 532 of file WildcardArraySpecializationPass.cpp.
| using llzk::polymorphic::impl::WildcardArraySpecializationPassBase< DerivedT >::Base = WildcardArraySpecializationPassBase |
Definition at line 534 of file WildcardArraySpecializationPass.cpp.
|
inline |
Definition at line 536 of file WildcardArraySpecializationPass.cpp.
|
inline |
Definition at line 537 of file WildcardArraySpecializationPass.cpp.
|
delete |
|
default |
|
inline |
Explicitly declare the TypeID for this class. We declare an explicit private instantiation because Pass classes should only be visible by the current library.
Definition at line 589 of file WildcardArraySpecializationPass.cpp.
|
inlinestatic |
Support isa/dyn_cast functionality for the derived pass class.
Definition at line 558 of file WildcardArraySpecializationPass.cpp.
|
inlineoverride |
A clone method to create a copy of this pass.
Definition at line 563 of file WildcardArraySpecializationPass.cpp.
|
inlineoverride |
Definition at line 547 of file WildcardArraySpecializationPass.cpp.
|
inlinestatic |
Returns the command-line argument attached to this pass.
Definition at line 544 of file WildcardArraySpecializationPass.cpp.
|
inlineoverride |
Return the dialect that must be loaded in the context before this pass.
Definition at line 568 of file WildcardArraySpecializationPass.cpp.
|
inlineoverride |
Definition at line 549 of file WildcardArraySpecializationPass.cpp.
|
inlineoverride |
Definition at line 555 of file WildcardArraySpecializationPass.cpp.
|
inlinestatic |
Returns the derived pass name.
Definition at line 552 of file WildcardArraySpecializationPass.cpp.
|
delete |
|
delete |
|
friend |
Definition at line 596 of file WildcardArraySpecializationPass.cpp.
|
friend |
Definition at line 600 of file WildcardArraySpecializationPass.cpp.
|
protected |
Definition at line 593 of file WildcardArraySpecializationPass.cpp.